| Publication | Date of Publication | Type |
|---|
| Completeness theorems for Kleene algebra with tests and top | 2024-11-12 | Paper |
| Fully abstract encodings of \(\lambda\)-calculus in HOcore through abstract machines | 2024-09-04 | Paper |
| Completeness theorems for Kleene algebra with top | 2024-08-13 | Paper |
| On tools for completeness of Kleene algebra with hypotheses | 2024-06-27 | Paper |
| On tools for completeness of Kleene algebra with hypotheses | 2023-03-30 | Paper |
| A certificate-based approach to formally verified approximations | 2023-02-03 | Paper |
| Cyclic Proofs and Jumping Automata | 2023-02-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5875344 | 2023-02-03 | Paper |
| Corecursion up-to via causal transformations | 2022-12-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5089295 | 2022-07-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5079743 | 2022-05-28 | Paper |
| Coinductive algorithms for Büchi automata | 2021-10-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5155688 | 2021-10-08 | Paper |
| Treewidth-two graphs as a free algebra | 2021-08-04 | Paper |
| Completeness for identity-free Kleene lattices | 2021-08-04 | Paper |
| Allegories: decidability and graph homomorphisms | 2021-01-20 | Paper |
| Fully abstract encodings of \(\lambda \)-calculus in HOcore through abstract machines | 2021-01-19 | Paper |
| Graph theory in Coq: minors, treewidth, and isomorphisms | 2020-11-02 | Paper |
| On the positive calculus of relations with transitive closure | 2020-08-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5111642 | 2020-05-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5111293 | 2020-05-26 | Paper |
| Kleene algebra with hypotheses | 2020-01-28 | Paper |
| Bisimulation and coinduction enhancements: a historical perspective | 2019-12-18 | Paper |
| Coinductive algorithms for Büchi automata | 2019-10-15 | Paper |
| Companions, causality and codensity | 2019-08-13 | Paper |
| Left-Handed Completeness for Kleene algebra, via Cyclic Proofs | 2019-07-04 | Paper |
| Innocent strategies as presheaves and interactive equivalences for CCS | 2019-02-08 | Paper |
| A formal proof of the minor-exclusion property for treewidth-two graphs | 2018-10-04 | Paper |
| Monoidal company for accessible functors | 2018-08-13 | Paper |
| Coinduction up-to in a fibrational setting | 2018-04-23 | Paper |
| Petri Automata for Kleene Allegories | 2018-04-23 | Paper |
| Coinduction All the Way Up | 2018-04-23 | Paper |
| A formal exploration of nominal Kleene algebra | 2018-03-21 | Paper |
| A cut-free cyclic proof system for Kleene algebra | 2018-02-02 | Paper |
| Petri automata | 2017-10-12 | Paper |
| Enhanced coalgebraic bisimulation | 2017-09-27 | Paper |
| Lax bialgebras and up-to techniques for weak bisimulations | 2017-09-12 | Paper |
| Companions, codensity and causality | 2017-05-19 | Paper |
| A general account of coinduction up-to | 2017-04-20 | Paper |
| Cardinalities of Finite Relations in Coq | 2016-10-27 | Paper |
| Symbolic algorithms for language equivalence and Kleene algebra with tests | 2016-09-29 | Paper |
| Algorithms for Kleene algebra with converse | 2016-06-22 | Paper |
| Relative Hilbert-Post completeness for exceptions | 2016-05-25 | Paper |
| Brzozowski's and up-to algorithms for must testing | 2015-01-12 | Paper |
| Checking NFA equivalence with bisimulations up to congruence | 2014-11-27 | Paper |
| Bisimulations up-to: beyond first-order transition systems | 2014-09-15 | Paper |
| Enhancements of the bisimulation proof method | 2014-04-25 | Paper |
| Kleene algebra with converse | 2014-04-16 | Paper |
| Coalgebraic up-to techniques | 2013-09-13 | Paper |
| Kleene algebra with tests and Coq tools for while programs | 2013-08-07 | Paper |
| Untyping typed algebras and colouring cyclic linear logic | 2012-07-03 | Paper |
| Deciding Kleene algebras in \texttt{Coq} | 2012-04-03 | Paper |
| Tactics for Reasoning Modulo AC in Coq | 2011-11-22 | Paper |
| An efficient Coq tactic for deciding Kleene algebras | 2010-09-14 | Paper |
| On Bisimilarity and Substitution in Presence of Replication | 2010-09-07 | Paper |
| Untyping Typed Algebraic Structures and Colouring Proof Nets of Cyclic Linear Logic | 2010-09-03 | Paper |
| On Bisimulation Proofs for the Analysis of Distributed Abstract Machines | 2009-03-05 | Paper |
| A Distribution Law for CCS and a New Congruence Result for the pi-calculus | 2008-08-07 | Paper |
| Using bisimulation proof techniques for the analysis of distributed abstract machines | 2008-08-06 | Paper |
| Complete Lattices and Up-To Techniques | 2008-05-15 | Paper |
| A Distribution Law for CCS and a New Congruence Result for the π-Calculus | 2007-09-07 | Paper |
| Weak Bisimulation Up to Elaboration | 2007-09-04 | Paper |
| New up-to techniques for weak bisimulation | 2007-07-16 | Paper |
| An efficient abstract machine for safe ambients | 2007-05-23 | Paper |
| Automata, Languages and Programming | 2006-01-10 | Paper |
