| Publication | Date of Publication | Type |
|---|
| Polynomials in homotopy type theory as a Kleisli category | 2026-04-02 | Paper |
| Delooping generated groups in homotopy type theory | 2026-01-14 | Paper |
Rewriting techniques for relative coherence
Logical Methods in Computer Science | 2025-09-25 | Paper |
| Delooping cyclic groups with lens spaces in homotopy type theory | 2025-06-18 | Paper |
| A sequent calculus for opetopes | 2024-12-19 | Paper |
| Describing free \(\omega \)-categories | 2024-12-19 | Paper |
| A Cartesian bicategory of polynomial functors in homotopy type theory | 2024-12-17 | Paper |
| Syntactic regions for concurrent programs | 2024-12-17 | Paper |
| Categorical coherence from term rewriting systems | 2024-10-21 | Paper |
Free precategories as presheaf categories
Theory and Applications of Categories | 2024-07-20 | Paper |
| Division by two, in homotopy type theory | 2024-05-27 | Paper |
| Polygraphs: From Rewriting to Higher Categories | 2023-12-01 | Paper |
Rewriting in Gray categories with applications to coherence
Mathematical Structures in Computer Science | 2023-02-10 | Paper |
| A Sound Foundation for the Topological Approach to Task Solvability | 2023-02-03 | Paper |
| Free precategories as presheaf categories | 2022-11-29 | Paper |
Syntactic approaches to opetopes
(available as arXiv preprint) | 2022-08-04 | Paper |
| Syntactic approaches to opetopes | 2022-08-04 | Paper |
| scientific article; zbMATH DE number 7561456 (Why is no real title available?) | 2022-07-21 | Paper |
Tietze equivalences as weak equivalences
Applied Categorical Structures | 2022-05-19 | Paper |
| Presenting finite posets | 2021-12-02 | Paper |
Presenting finite posets
(available as arXiv preprint) | 2021-12-02 | Paper |
| Coherence of Gray categories via rewriting | 2021-06-15 | Paper |
| A Type-Theoretical Definition of Weak {\omega}-Categories | 2021-01-19 | Paper |
A Type-Theoretical Definition of Weak {\omega}-Categories
(available as arXiv preprint) | 2021-01-19 | 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 |
| From geometric semantics to asynchronous computability | 2018-08-24 | Paper |
Geometric and combinatorial views on asynchronous computability
Distributed Computing | 2018-08-13 | Paper |
| Homological computations for term rewriting systems | 2017-10-17 | Paper |
Coherent presentations of monoidal categories
(available as arXiv preprint) | 2017-10-12 | Paper |
| Presenting a Category Modulo a Rewriting System | 2017-07-12 | Paper |
| scientific article; zbMATH DE number 6679826 (Why is no real title available?) | 2017-02-01 | Paper |
| A geometric view of partial order reduction | 2016-04-12 | Paper |
A categorical theory of patches
(available as arXiv preprint) | 2016-04-12 | Paper |
Iterated chromatic subdivisions are collapsible
Applied Categorical Structures | 2015-11-18 | Paper |
Formal relationships between geometrical and classical models for concurrency
Electronic Notes in Theoretical Computer Science | 2015-03-18 | 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 |
Towards 3-dimensional rewriting theory
Logical Methods in Computer Science | 2014-05-22 | Paper |
| A non-standard semantics for Kahn networks in continuous time | 2012-09-18 | Paper |
A non-standard semantics for Kahn networks in continuous time
(available as arXiv preprint) | 2012-09-18 | Paper |
Trace spaces: an efficient new technique for state-space reduction
Programming Languages and Systems | 2012-06-22 | Paper |
| Computing critical pairs in 2-dimensional rewriting systems | 2012-04-25 | Paper |
The structure of first-order causality
Mathematical Structures in Computer Science | 2011-03-07 | Paper |
Focusing in asynchronous games
Programs, Proofs, Processes | 2010-07-29 | Paper |
Asynchronous Games: Innocence Without Alternation
CONCUR 2007 – Concurrency Theory | 2008-09-18 | Paper |
Globular weak $\omega$-categories as models of a type theory
(available as arXiv preprint) | N/A | Paper |
Coherence in cartesian theories using rewriting
(available as arXiv preprint) | N/A | Paper |
Delooping generated groups in homotopy type theory
(available as arXiv preprint) | N/A | Paper |
