publicações selecionadas
-
artigo de revista
- Weak equivalence of higher-dimensional automata. Discrete Mathematics and Theoretical Computer Science. 2021
- Higher-dimensional automata modeling shared-variable systems. Logical Methods in Computer Science. 2019
- Labeled homology of higher-dimensional automata. Journal of Applied and Computational Topology. 2018
- Rational approximations of sectional category and Poincaré duality. Proceedings of the American Mathematical SocIETy. 2016
- Topological abstraction of higher-dimensional automata. Theoretical Computer Science. 2016
- The homology graph of a precubical set. Homology Homotopy and Applications. 2014
- Weak morphisms of higher dimensional automata. Theoretical Computer Science. 2014
- Some collapsing operations for 2-dimensional precubical sets. Journal of Homotopy and Related Structures. 2012
- A fibration category of local pospaces. Electronic Notes in Theoretical Computer Science. 2009
- Simplicial resolutions and Ganea fibrations. Journal of Homotopy and Related Structures. 2008
- Relative directed homotopy theory of partially ordered spaces. Journal of Homotopy and Related Structures. 2006
- Bords homotopiques et modèles de Quillen. Homology Homotopy and Applications. 2006
- Joins of DGA modules and sectional category. Algebraic and Geometric Topology. 2006
- Note on L.-S. category and DGA modules. Bulletin of the Belgian Mathematical SocIETy-Simon Stevin. 2006
- On the algebraic approximation of Lusternik-Schnirelmann category. Journal of Pure and Applied Algebra. 2003
-
documento