| 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 |
| https://portal.mardi4nfdi.de/entity/Q5875344 | 2023-02-03 | Paper |
| A certificate-based approach to formally verified approximations | 2023-02-03 | Paper |
| Cyclic Proofs and Jumping Automata | 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 |
| https://portal.mardi4nfdi.de/entity/Q5005163 | 2021-08-04 | Paper |
| Completeness for Identity-free Kleene Lattices | 2021-08-04 | Paper |
| Allegories | 2021-01-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5144665 | 2021-01-19 | Paper |
| Graph theory in Coq: minors, treewidth, and isomorphisms | 2020-11-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3304097 | 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 |
| https://portal.mardi4nfdi.de/entity/Q5228884 | 2019-08-13 | Paper |
| Left-Handed Completeness for Kleene algebra, via Cyclic Proofs | 2019-07-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4621160 | 2019-02-08 | Paper |
| A formal proof of the minor-exclusion property for treewidth-two graphs | 2018-10-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4580200 | 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 |
| https://portal.mardi4nfdi.de/entity/Q4608581 | 2018-03-21 | Paper |
| A cut-free cyclic proof system for Kleene algebra | 2018-02-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5367072 | 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 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 |
