| Publication | Date of Publication | Type |
|---|
| On star expressions and completeness theorems | 2024-12-17 | Paper |
| Canonical automata via distributive law homomorphisms | 2024-12-17 | Paper |
| Generators and bases for monadic closures | 2024-11-26 | Paper |
| Probabilistic guarded KAT Modulo bisimilarity: completeness and complexity | 2024-11-14 | Paper |
| Minimisation in logical form | 2024-10-01 | Paper |
| Processes parametrised by an algebraic theory | 2024-06-24 | Paper |
| Symbolic semantics for probabilistic programs | 2024-05-29 | Paper |
| Symbolic register automata | 2024-02-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6061682 | 2023-12-08 | Paper |
| A complete inference system for skip-free guarded Kleene algebra with tests | 2023-11-24 | Paper |
| Concurrent NetKAT. Modeling and analyzing stateful, concurrent networks | 2023-08-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5875346 | 2023-02-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5875403 | 2023-02-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5875638 | 2023-02-03 | Paper |
| A categorical framework for learning generalised tree automata | 2022-12-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5091269 | 2022-07-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5092360 | 2022-07-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5089285 | 2022-07-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5089251 | 2022-07-18 | Paper |
| CONCUR Test-of-time award 2020 announcement | 2022-07-18 | Paper |
| Borel kernels and their approximation, categorically | 2022-05-03 | Paper |
| Hennessy-Milner results for probabilistic PDL | 2022-04-29 | Paper |
| Formalizing Moessner's theorem and generalizations in \textsc{Nuprl} | 2021-11-24 | Paper |
| Learning pomset automata | 2021-10-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5155681 | 2021-10-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5155671 | 2021-10-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5002798 | 2021-07-28 | Paper |
| Learning to coordinate | 2021-06-03 | Paper |
| Moessner's theorem: an exercise in coinductive reasoning in \textsc{Coq} | 2021-05-20 | Paper |
| SDN-actors: modeling and verification of SDN programs | 2021-05-04 | Paper |
| Actor-based model checking for software-defined networks | 2021-02-26 | Paper |
| Learning automata with side-effects | 2021-02-22 | Paper |
| Semantics of Probabilistic Programming: A Gentle Introduction | 2021-02-16 | Paper |
| Learning weighted automata over principal ideal domains | 2020-09-23 | Paper |
| Concurrent Kleene algebra with observations: from hypotheses to completeness | 2020-09-23 | Paper |
| Toward a Uniform Theory of Effectful State Machines | 2020-09-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5111636 | 2020-05-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5111639 | 2020-05-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5111197 | 2020-05-26 | Paper |
| Completeness and incompleteness of synchronous Kleene algebra | 2020-05-05 | Paper |
| Left-handed completeness | 2020-01-22 | Paper |
| Preservation of Equations by Monoidal Monads | 2020-01-17 | Paper |
| Proceedings Fifth Interaction and Concurrency Experience | 2020-01-08 | Paper |
| Concurrent Kleene algebra: free model and completeness | 2019-09-13 | Paper |
| A (co)algebraic theory of succinct automata | 2019-06-20 | Paper |
| On series-parallel pomset languages: rationality, context-freeness and automata | 2019-03-27 | Paper |
| Position Automata for Kleene Algebra with Tests | 2019-02-08 | Paper |
| Convex language semantics for nondeterministic probabilistic automata | 2018-11-23 | Paper |
| Layer by layer -- combining monads | 2018-11-23 | Paper |
| A compositional model to reason about end-to-end QoS in stochastic Reo connectors | 2018-07-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4637688 | 2018-04-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4600775 | 2018-01-12 | Paper |
| CoCaml: Functional Programming with Regular Coinductive Types | 2017-11-10 | Paper |
| Cantor meets Scott: semantic foundations for probabilistic networks | 2017-10-20 | Paper |
| Learning nominal automata | 2017-10-20 | Paper |
| Enhanced coalgebraic bisimulation | 2017-09-27 | Paper |
| Practical coinduction | 2017-09-27 | Paper |
| Well-founded coalgebras, revisited | 2017-09-27 | Paper |
| Completeness and incompleteness in nominal Kleene algebra | 2017-08-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5277876 | 2017-07-12 | Paper |
| A coalgebraic view on decorated traces | 2017-04-03 | Paper |
| A tribute to José Nuno Oliveira | 2016-12-15 | Paper |
| A coalgebraic decision procedure for NetKAT | 2016-09-29 | Paper |
| Sound and Complete Axiomatization of Trace Semantics for Probabilistic Systems | 2016-07-15 | Paper |
| Final Semantics for Decorated Traces | 2016-07-08 | Paper |
| Probabilistic NetKAT | 2016-04-26 | Paper |
| Completeness and Incompleteness in Nominal Kleene Algebra | 2016-01-08 | Paper |
| Killing epsilons with a dagger: a coalgebraic study of systems with algebraic label structure | 2015-11-10 | Paper |
| Nominal Kleene Coalgebra | 2015-11-04 | Paper |
| Sound and Complete Axiomatizations of Coalgebraic Language Equivalence | 2015-09-17 | Paper |
| How to Kill Epsilons with a Dagger | 2015-09-11 | Paper |
| Trace semantics via determinization | 2015-04-28 | Paper |
| Brzozowski’s and Up-To Algorithms for Must Testing | 2015-01-12 | Paper |
| Towards a Coalgebraic Chomsky Hierarchy | 2014-09-15 | Paper |
| Automata Learning: A Categorical Perspective | 2014-06-02 | Paper |
| Initial Algebras of Terms with Binding and Algebraic Structure | 2014-05-08 | Paper |
| Algebra-coalgebra duality in brzozowski's minimization algorithm | 2014-04-16 | Paper |
| A Coalgebraic View of ε-Transitions | 2013-09-13 | Paper |
| Language Constructs for Non-Well-Founded Computation | 2013-08-05 | Paper |
| On Moessner’s Theorem | 2013-05-28 | Paper |
| Generalizing determinization from automata to coalgebras | 2013-04-09 | Paper |
| Left-Handed Completeness | 2012-09-21 | Paper |
| Trace Semantics via Determinization | 2012-09-20 | Paper |
| Generalizing the powerset construction, coalgebraically | 2012-08-29 | Paper |
| A model of context-dependent component connectors | 2012-07-20 | Paper |
| Brzozowski’s Algorithm (Co)Algebraically | 2012-07-16 | Paper |
| A Specification Language for Reo Connectors | 2012-06-29 | Paper |
| A Coalgebraic Perspective on Minimization and Determinization | 2012-06-22 | Paper |
| A coalgebraic perspective on linear weighted automata | 2012-05-24 | Paper |
| A Decision Procedure for Bisimilarity of Generalized Regular Expressions | 2011-05-12 | Paper |
| Quantitative Kleene coalgebras | 2011-05-04 | Paper |
| Non-deterministic Kleene coalgebras | 2010-09-21 | Paper |
| A coinductive calculus of binary trees | 2010-04-22 | Paper |
| Deriving Syntax and Axioms for Quantitative Regular Behaviours | 2009-10-22 | Paper |
| A Kleene Theorem for Polynomial Coalgebras | 2009-03-31 | Paper |
| Behavioural Differential Equations and Coinduction for Binary Trees | 2009-03-10 | Paper |
| Calculating Invariants as Coreflexive Bisimulations | 2009-01-27 | Paper |
| Coalgebraic Logic and Synthesis of Mealy Machines | 2008-04-11 | Paper |
