publicações selecionadas
-
documento
- On the topology of concurrent systems. Journal of Applied and Computational Topology. 2025
- The homology digraph of a preordered space. Journal of Homotopy and Related Structures. 2024
- On the homology language of HDA models of transition systems. Journal of Applied and Computational Topology. 2024
- Geometria - Apontamentos das aulas teóricas 2023
- Topologia - Apontamentos das aulas teóricas 2023
- On symmetric higher-dimensional automata and bisimilarity. Theoretical Computer Science. 2022
- 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
- Análise II: apontamentos das aulas teóricas: [ano lectivo 2006/2007] 2011
- Análise Matemática: [2008-2009] 2011
- Estruturas algébricas 2011
- 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
- On the algebraic approximation of Lusternik-Schnirelmann category. Journal of Pure and Applied Algebra. 2003
- Note on L.-S. category and DGA modules. Bulletin of the Belgian Mathematical SocIETy-Simon Stevin.