| Publication | Date of Publication | Type |
|---|
Persistent homology of partially ordered spaces
Journal of Applied and Computational Topology | 2025-01-22 | Paper |
Geometric and topological methods in computer science (11th GETCO conference, 2022)
Journal of Applied and Computational Topology | 2024-11-29 | Paper |
Simplicial models for the epistemic logic of faulty agents
Boletín de la Sociedad Matemática Mexicana. Third Series | 2024-10-28 | Paper |
A semi-abelian approach to directed homology
Journal of Applied and Computational Topology | 2024-08-19 | Paper |
Estimating the coverage measure and the area explored by a line-sweep sensor on the plane
International Journal of Approximate Reasoning | 2024-07-10 | Paper |
A few lessons learned in reinforcement learning for quadcopter attitude control
Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control | 2024-02-21 | Paper |
On-the-Fly Control of Unknown Systems: From Side Information to Performance Guarantees Through Reachability
IEEE Transactions on Automatic Control | 2023-10-06 | Paper |
| Estimating the Coverage Measure and the Area Explored by a Line-Sweep Sensor on the Plane | 2023-09-07 | Paper |
| A many-sorted epistemic logic for chromatic hypergraphs | 2023-08-01 | Paper |
Inner and outer approximating flowpipes for delay differential equations
Computer Aided Verification | 2023-05-05 | Paper |
| Persistent homology of directed spaces | 2023-05-05 | Paper |
| Abstract strategies and coherence | 2023-03-30 | Paper |
| Wait-free solvability of equality negation tasks | 2023-02-03 | Paper |
| A semi-abelian approach to directed homology | 2023-01-16 | Paper |
Algebraic coherent confluence and higher globular Kleene algebras
Logical Methods in Computer Science | 2023-01-09 | Paper |
| RINO: Robust INner and Outer Approximated Reachability of Neural Networks Controlled Systems | 2022-12-07 | Paper |
| scientific article; zbMATH DE number 7561456 (Why is no real title available?) | 2022-07-21 | Paper |
Static analysis of ReLU neural networks with tropical polyhedra
(available as arXiv preprint) | 2022-06-17 | Paper |
| A simplicial complex model for dynamic epistemic logic to study distributed task computability | 2021-12-17 | Paper |
| A Simplicial Model for $KB4_n$: Epistemic Logic with Agents that May Die | 2021-08-23 | Paper |
A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks
Journal of Logical and Algebraic Methods in Programming | 2021-08-03 | Paper |
A simplicial complex model for dynamic epistemic logic to study distributed task computability
Information and Computation | 2021-06-03 | Paper |
A simplicial complex model for dynamic epistemic logic to study distributed task computability
Information and Computation | 2021-06-03 | Paper |
A topological method for finding invariant sets of continuous systems
Information and Computation | 2021-04-13 | Paper |
Directed homotopy in non-positively curved spaces
(available as arXiv preprint) | 2020-07-30 | Paper |
| Directed homotopy in non-positively curved spaces | 2020-07-30 | Paper |
A dynamic epistemic logic analysis of the equality negation task
(available as arXiv preprint) | 2020-07-08 | Paper |
Time-reversal homotopical properties of concurrent systems
Homology, Homotopy and Applications | 2020-05-27 | Paper |
Directed topological complexity
Journal of Applied and Computational Topology | 2020-03-06 | Paper |
Inner and outer reachability for the verification of control systems
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control | 2019-10-22 | Paper |
| Uncertainty propagation using probabilistic affine forms and concentration of measure inequalities | 2019-09-17 | Paper |
| From geometric semantics to asynchronous computability | 2018-08-24 | Paper |
Geometric and combinatorial views on asynchronous computability
Distributed Computing | 2018-08-13 | Paper |
| Bisimulations and unfolding in P-accessible categorical models | 2018-03-21 | Paper |
Directed homology theories and Eilenberg-Steenrod axioms
Applied Categorical Structures | 2018-02-22 | Paper |
A topological method for finding invariant sets of continuous systems
Lecture Notes in Computer Science | 2017-10-27 | Paper |
| On directed homotopy equivalences and a notion of directed topological complexity | 2017-09-17 | Paper |
| The directed homotopy hypothesis | 2017-07-19 | Paper |
Forward inner-approximated reachability of non-linear continuous systems
Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control | 2017-07-11 | Paper |
A topological method for finding invariant sets of switched systems
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control | 2017-05-19 | Paper |
Inner approximated reachability analysis
Proceedings of the 17th international conference on Hybrid systems: computation and control | 2017-05-16 | Paper |
Future path-components in directed topology
Electronic Notes in Theoretical Computer Science | 2016-07-08 | Paper |
Static analysis by abstract interpretation: a mathematical programming approach
Electronic Notes in Theoretical Computer Science | 2016-06-17 | Paper |
| A geometric view of partial order reduction | 2016-04-12 | Paper |
A zonotopic framework for functional abstractions
Formal Methods in System Design | 2016-02-25 | Paper |
Iterated chromatic subdivisions are collapsible
Applied Categorical Structures | 2015-11-18 | Paper |
Natural Homology
Automata, Languages, and Programming | 2015-11-04 | Paper |
Formal relationships between geometrical and classical models for concurrency
Electronic Notes in Theoretical Computer Science | 2015-03-18 | Paper |
Computing the smallest fixed point of order-preserving nonexpansive mappings arising in positive stochastic games and static analysis of programs
Journal of Mathematical Analysis and Applications | 2015-03-10 | Paper |
Directed algebraic topology and concurrency. With a foreword by Maurice Herlihy and a preface by Samuel Mimram
SpringerBriefs in Applied Sciences and Technology | 2015-02-11 | Paper |
An accurate join for zonotopes, preserving affine input/output relations
Electronic Notes in Theoretical Computer Science | 2014-07-22 | Paper |
| General inner approximation of vector-valued functions | 2013-10-07 | Paper |
Computing the vertices of tropical polyhedra using directed hypergraphs
Discrete & Computational Geometry | 2013-03-20 | Paper |
Abstract interpretation meets convex optimization
Journal of Symbolic Computation | 2012-07-13 | Paper |
Trace spaces: an efficient new technique for state-space reduction
Programming Languages and Systems | 2012-06-22 | Paper |
A generalization of \(p\)-boxes to affine arithmetic
Computing | 2012-04-04 | Paper |
Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis
Logical Methods in Computer Science | 2012-04-03 | Paper |
| The tropical double description method | 2012-01-23 | Paper |
Policy iteration within logico-numerical abstract domains
Automated Technology for Verification and Analysis | 2011-10-07 | Paper |
Static analysis of finite precision computations
Lecture Notes in Computer Science | 2011-02-15 | Paper |
Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis
Programming Languages and Systems | 2010-05-04 | Paper |
| Covering space theory for directed topology | 2009-05-27 | Paper |
Covering space theory for directed topology
(available as arXiv preprint) | 2009-05-27 | Paper |
| Covering space theory for directed topology | 2009-05-27 | Paper |
Static Analysis of Numerical Algorithms
Static Analysis | 2009-03-12 | Paper |
Under-Approximations of Computations in Real Numbers Based on Generalized Affine Arithmetic
Static Analysis | 2009-03-03 | Paper |
Inferring Min and Max Invariants Using Max-Plus Polyhedra
Static Analysis | 2008-08-28 | Paper |
Components of the fundamental category. II
Applied Categorical Structures | 2007-12-06 | Paper |
Numerical Software with Result Verification
Lecture Notes in Computer Science | 2007-09-28 | Paper |
Static Analysis by Policy Iteration on Relational Domains
Programming Languages and Systems | 2007-09-04 | Paper |
CONCUR 2005 – Concurrency Theory
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Algebraic topology and concurrency
Theoretical Computer Science | 2006-08-16 | Paper |
Computer Aided Verification
Lecture Notes in Computer Science | 2006-01-10 | Paper |
| scientific article; zbMATH DE number 2087547 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2086216 (Why is no real title available?) | 2004-08-11 | Paper |
Components of the fundamental category
Applied Categorical Structures | 2004-05-27 | Paper |
Topological deformation of higher dimensional automata
Homology, Homotopy and Applications | 2004-02-22 | Paper |
Topological deformation of higher dimensional automata
Homology, Homotopy and Applications | 2004-02-22 | Paper |
Topological deformation of higher dimensional automata
Homology, Homotopy and Applications | 2004-02-22 | Paper |
On the geometry of intuitionistic S4 proofs
Homology, Homotopy and Applications | 2003-09-25 | Paper |
On the geometry of intuitionistic S4 proofs
Homology, Homotopy and Applications | 2003-09-25 | Paper |
Some geometric perspectives in concurrency theory
Homology, Homotopy and Applications | 2003-01-01 | Paper |
Some geometric perspectives in concurrency theory
Homology, Homotopy and Applications | 2003-01-01 | Paper |
| scientific article; zbMATH DE number 1832227 (Why is no real title available?) | 2002-11-19 | Paper |
Geometry and concurrency: a user's guide
Mathematical Structures in Computer Science | 2000-10-10 | Paper |
| scientific article; zbMATH DE number 77859 (Why is no real title available?) | 1992-12-17 | Paper |
Directed Homology and Persistence Modules
(available as arXiv preprint) | N/A | Paper |
