| Publication | Date of Publication | Type |
|---|
| Nonwellfounded sets and programming language semantics | 2023-08-16 | Paper |
| A structural co-induction theorem | 2023-04-28 | Paper |
| Formations of Monoids, Congruences, and Formal Languages | 2019-02-08 | Paper |
| Symbolic synthesis of Mealy machines from arithmetic bitstream functions | 2019-02-08 | Paper |
| Errata to "Formations of Monoids, Congruences, and Formal Languages" | 2019-02-08 | Paper |
| Newton series, coinductively: a comparative study of composition | 2018-12-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4584897 | 2018-09-04 | Paper |
| Bisimulation for probabilistic transition systems: a coalgebraic approach | 2018-07-04 | Paper |
| Enhanced coalgebraic bisimulation | 2017-09-27 | Paper |
| Stream differential equations: specification formats and solution methods | 2017-05-08 | Paper |
| A coalgebraic view on decorated traces | 2017-04-03 | Paper |
| Final semantics for decorated traces | 2016-07-08 | Paper |
| Varieties and covarieties of languages (extended abstract) | 2016-04-12 | Paper |
| Coalgebraic Semantics of Heavy-Weighted Automata | 2016-02-25 | Paper |
| Newton series, coinductively | 2016-02-25 | Paper |
| Proving language inclusion and equivalence by coinduction | 2015-12-28 | Paper |
| The dual equivalence of equations and coequations for automata | 2015-09-28 | Paper |
| Equations and coequations for weighted automata | 2015-09-16 | Paper |
| Regular varieties of automata and coequations | 2015-08-27 | 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 |
| A final coalgebra for \(k\)-regular sequences | 2014-06-02 | Paper |
| An introduction to (co)algebra and (co)induction | 2014-04-24 | Paper |
| Algebra-coalgebra duality in Brzozowski's minimization algorithm | 2014-04-16 | Paper |
| Observational coalgebras and complete sets of co-operations | 2014-01-24 | Paper |
| Synthesis of Mealy machines using derivatives | 2013-12-04 | Paper |
| Coalgebraic characterizations of context-free languages | 2013-09-26 | Paper |
| Coinductive counting: bisimulation in enumerative combinatorics (extended abstract) | 2013-08-15 | Paper |
| Elements of stream calculus (an extensive exercise in coinduction) | 2013-04-26 | Paper |
| Generalizing determinization from automata to coalgebras | 2013-04-09 | Paper |
| Coinductive proof techniques for language equivalence | 2013-03-18 | Paper |
| A proof of Moessner's theorem by coinduction | 2013-01-08 | Paper |
| Defining context-free power series coalgebraically | 2012-09-20 | Paper |
| Generalizing the powerset construction, coalgebraically | 2012-08-29 | Paper |
| Brzozowski's algorithm (co)algebraically | 2012-07-16 | Paper |
| On the final coalgebra of automatic sequences | 2012-07-16 | Paper |
| Connectors as designs: modeling, refinement and test case generation | 2012-07-13 | Paper |
| Intentional automata: a context-dependent model for component connectors (extended abstract) | 2012-06-29 | 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 |
| Complete sets of cooperations | 2011-01-14 | Paper |
| Non-deterministic Kleene coalgebras | 2010-09-21 | Paper |
| Sampling, splitting and merging in coinductive stream calculus | 2010-07-26 | Paper |
| A coinductive calculus of binary trees | 2010-04-22 | Paper |
| A coinductive calculus of component connectors. | 2010-04-20 | Paper |
| Deriving Syntax and Axioms for Quantitative Regular Behaviours | 2009-10-22 | Paper |
| A Kleene Theorem for Polynomial Coalgebras | 2009-03-31 | Paper |
| Coalgebraic Foundations of Linear Systems | 2009-03-10 | Paper |
| Behavioural Differential Equations and Coinduction for Binary Trees | 2009-03-10 | Paper |
| Rational streams coalgebraically | 2008-11-13 | Paper |
| A Roman Senator | 2008-06-19 | Paper |
| Coalgebraic Logic and Synthesis of Mealy Machines | 2008-04-11 | Paper |
| Modeling component connectors in Reo by constraint automata | 2006-06-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5701837 | 2005-11-04 | Paper |
| A tutorial on coinductive stream calculus and signal flow graphs | 2005-11-01 | Paper |
| Formal Methods for Components and Objects | 2005-08-22 | Paper |
| A coinductive calculus of streams | 2005-03-14 | Paper |
| Behavioural differential equations: a coinductive calculus of streams, automata, and power series | 2004-10-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4449540 | 2004-02-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4782021 | 2003-08-18 | Paper |
| Weighted colimits and formal balls in generalized metric spaces | 2002-04-11 | Paper |
| Universal coalgebra: A theory of systems | 2000-10-26 | Paper |
| A transition system semantics for the control-driven coordination language MANIFOLD | 2000-08-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4938650 | 2000-07-10 | Paper |
| A note on Coinduction and Weak Bisimilarity for While Programs | 2000-03-16 | Paper |
| Bisimulation for probabilistic transition systems: A coalgebraic approach | 2000-01-12 | Paper |
| On the foundations of final coalgebra semantics: non-well-founded sets, partial orders, metric spaces | 1999-08-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4251915 | 1999-06-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222961 | 1999-01-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222746 | 1998-12-09 | 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/Q4355684 | 1997-11-20 | Paper |
| Elements of generalized ultrametric domain theory | 1997-02-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4858578 | 1995-12-17 | Paper |
| Fully abstract denotational models for nonuniform concurrent languages | 1995-01-09 | Paper |
| Processes as terms: non-well-founded models for bisimulation | 1994-10-18 | Paper |
| A layered semantics for a parallel object-oriented language | 1992-09-27 | Paper |
| From failure to success: Comparing a denotational and a declarative semantics for Horn clause logic | 1992-09-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4003187 | 1992-09-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3993676 | 1992-08-03 | Paper |
| Semantic models for concurrent logic languages | 1992-06-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3975030 | 1992-06-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3975139 | 1992-06-26 | Paper |
| Contractions in comparing concurrency semantics | 1990-01-01 | Paper |
| Semantic Correctness for a Parallel Object-Oriented Language | 1990-01-01 | Paper |
| Solving reflexive domain equations in a category of complete metric spaces | 1989-01-01 | Paper |
| Denotational semantics of a parallel object-oriented language | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4733434 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3815463 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3795188 | 1988-01-01 | Paper |
