| Publication | Date of Publication | Type |
|---|
| A categorical approach to coalgebraic fixpoint logic | 2025-01-20 | Paper |
| Proving behavioural apartness | 2025-01-20 | Paper |
| On star expressions and completeness theorems | 2024-12-17 | Paper |
| Forward and backward steps in a fibration | 2024-11-26 | Paper |
| Bisimilar states in uncertain structures | 2024-11-26 | Paper |
| On tools for completeness of Kleene algebra with hypotheses | 2024-06-27 | Paper |
| Processes parametrised by an algebraic theory | 2024-06-24 | Paper |
| A new approach for active automata learning based on apartness | 2024-01-23 | Paper |
| Preservation and reflection of bisimilarity via invertible steps | 2023-11-24 | Paper |
| Concurrent NetKAT. Modeling and analyzing stateful, concurrent networks | 2023-08-03 | Paper |
| Learning language intersections | 2023-07-26 | Paper |
| On tools for completeness of Kleene algebra with hypotheses | 2023-03-30 | Paper |
| Expressive Logics for Coinductive Predicates | 2023-02-07 | Paper |
| Separation and Renaming in Nominal Sets | 2023-02-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5875346 | 2023-02-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5875403 | 2023-02-03 | Paper |
| A categorical framework for learning generalised tree automata | 2022-12-07 | Paper |
| Corecursion up-to via causal transformations | 2022-12-07 | Paper |
| Bisimilarity of open terms in stream GSOS | 2022-11-04 | Paper |
| Fast computations on ordered nominal sets | 2022-10-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5089285 | 2022-07-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5089251 | 2022-07-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5028440 | 2022-02-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5014802 | 2021-12-08 | Paper |
| Steps and traces | 2021-10-21 | Paper |
| Learning pomset automata | 2021-10-18 | Paper |
| Effectively eliminating auxiliaries | 2021-05-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4986256 | 2021-04-27 | Paper |
| Learning weighted automata over principal ideal domains | 2020-09-23 | Paper |
| Up-to Techniques for Branching Bisimilarity | 2020-07-20 | Paper |
| Completeness and incompleteness of synchronous Kleene algebra | 2020-05-05 | Paper |
| Coalgebra learning via duality | 2020-01-28 | Paper |
| Preservation of Equations by Monoidal Monads | 2020-01-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5208779 | 2020-01-10 | Paper |
| Distributive laws for monotone specifications | 2019-10-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5228884 | 2019-08-13 | Paper |
| Verifying OpenJDK's sort method for generic collections | 2019-02-15 | Paper |
| Fast computations on ordered nominal sets | 2018-11-23 | Paper |
| (in)finite trace equivalence of probabilistic transition systems | 2018-10-23 | Paper |
| Steps and traces | 2018-10-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4580200 | 2018-08-13 | Paper |
| Coinduction up-to in a fibrational setting | 2018-04-23 | Paper |
| Coalgebraic minimization of automata by initiality and finality | 2018-04-23 | 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 |
| Coalgebraic trace semantics via forgetful logics | 2017-04-11 | Paper |
| Structural congruence for bialgebraic semantics | 2016-11-07 | Paper |
| Duality of Equations and Coequations via Contravariant Adjunctions | 2016-07-15 | Paper |
| Rational operational models | 2016-04-12 | Paper |
| Proving language inclusion and equivalence by coinduction | 2015-12-28 | Paper |
| Coalgebraic Trace Semantics via Forgetful Logics | 2015-10-01 | Paper |
| Unbounded Allocation in Bounded Heaps | 2015-09-30 | Paper |
| Presenting Distributive Laws | 2015-08-25 | Paper |
| Proof pearl: The KeY to correct and stable sorting | 2015-06-23 | Paper |
| Coalgebraic Bisimulation-Up-To | 2014-11-04 | Paper |
| A Coalgebraic Foundation for Coinductive Union Types | 2014-07-01 | Paper |
| Combining Bialgebraic Semantics and Equations | 2014-04-16 | Paper |
| Presenting Distributive Laws | 2013-09-13 | Paper |
| Bounded Model Checking of Recursive Programs with Pointers in K | 2013-09-13 | Paper |
| Coinductive Proof Techniques for Language Equivalence | 2013-03-18 | Paper |
| Automated Verification of Recursive Programs with Pointers | 2012-09-05 | Paper |
| Composing Codensity Bisimulations | N/A | Paper |
