| Publication | Date of Publication | Type |
|---|
| From symbolic constraint automata to Promela | 2022-08-26 | Paper |
| Learning probabilistic automata using residuals | 2022-03-31 | Paper |
| Symbolic execution formally explained | 2021-09-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4986256 | 2021-04-27 | Paper |
| Completeness and incompleteness of synchronous Kleene algebra | 2020-05-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5208779 | 2020-01-10 | Paper |
| Enhanced coalgebraic bisimulation | 2017-09-27 | Paper |
| A coalgebraic view on decorated traces | 2017-04-03 | Paper |
| Structural congruence for bialgebraic semantics | 2016-11-07 | Paper |
| Duality of Equations and Coequations via Contravariant Adjunctions | 2016-07-15 | Paper |
| Final Semantics for Decorated Traces | 2016-07-08 | Paper |
| Rational operational models | 2016-04-12 | Paper |
| Coalgebraic Semantics of Heavy-Weighted Automata | 2016-02-25 | Paper |
| Proving language inclusion and equivalence by coinduction | 2015-12-28 | Paper |
| Unbounded Allocation in Bounded Heaps | 2015-09-30 | Paper |
| Sound and Complete Axiomatizations of Coalgebraic Language Equivalence | 2015-09-17 | Paper |
| Equations and Coequations for Weighted Automata | 2015-09-16 | Paper |
| Regular Varieties of Automata and Coequations | 2015-08-27 | Paper |
| Presenting Distributive Laws | 2015-08-25 | Paper |
| Context-free coalgebras | 2015-04-28 | Paper |
| Coalgebraic Bisimulation-Up-To | 2014-11-04 | Paper |
| A Coalgebraic Foundation for Coinductive Union Types | 2014-07-01 | Paper |
| (Co)Algebraic Characterizations of Signal Flow Graphs | 2014-06-02 | Paper |
| Algebra-coalgebra duality in brzozowski's minimization algorithm | 2014-04-16 | Paper |
| Combining Bialgebraic Semantics and Equations | 2014-04-16 | Paper |
| Coalgebraic Characterizations of Context-Free Languages | 2013-09-26 | Paper |
| Bounded Model Checking of Recursive Programs with Pointers in K | 2013-09-13 | Paper |
| Presenting Distributive Laws | 2013-09-13 | Paper |
| Generalizing determinization from automata to coalgebras | 2013-04-09 | Paper |
| Coinductive Proof Techniques for Language Equivalence | 2013-03-18 | Paper |
| Defining Context-Free Power Series Coalgebraically | 2012-09-20 | Paper |
| Automated Verification of Recursive Programs with Pointers | 2012-09-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2908856 | 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 coalgebraic perspective on linear weighted automata | 2012-05-24 | Paper |
| Context-Free Languages, Coalgebraically | 2011-09-02 | 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 |
| Automata Based Model Checking for Reo Connectors | 2010-01-28 | Paper |
| Deriving Syntax and Axioms for Quantitative Regular Behaviours | 2009-10-22 | Paper |
| A Kleene Theorem for Polynomial Coalgebras | 2009-03-31 | Paper |
| Recasting Constraint Automata into Büchi Automata | 2009-01-27 | Paper |
| Coalgebraic Logic and Synthesis of Mealy Machines | 2008-04-11 | Paper |
| Foundations of Software Science and Computation Structures | 2007-05-02 | Paper |
| Coalgebraic representations of distributive lattices with operators | 2007-03-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3413373 | 2007-01-04 | Paper |
| Formal Methods for Components and Objects | 2006-11-01 | Paper |
| Formal Methods for Components and Objects | 2006-11-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5714453 | 2006-01-02 | Paper |
| Theoretical Aspects of Computing - ICTAC 2004 | 2005-11-30 | Paper |
| Foundations of Software Science and Computational Structures | 2005-11-10 | Paper |
| Infinite intersection types | 2004-11-23 | Paper |
| Comparing coordination models and architectures using embeddings | 2003-05-14 | Paper |
| Toward an infinitary logic of domains: Abramsky logic for transition systems | 2003-01-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536357 | 2002-11-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2707309 | 2001-04-01 | Paper |
| A transition system semantics for the control-driven coordination language MANIFOLD | 2000-08-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4490763 | 2000-07-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4699293 | 1999-11-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4251097 | 1999-06-17 | Paper |
| Topological dualities in semantics | 1998-11-04 | Paper |
| Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding | 1998-08-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4373412 | 1998-02-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4364389 | 1997-11-17 | Paper |
| Duality beyond sober spaces: Topological spaces and observation frames | 1997-02-27 | Paper |
| The weakest precondition calculus: Recursion and duality | 1995-04-09 | Paper |
