Publication | Date of Publication | Type |
---|
Nonwellfounded sets and programming language semantics | 2023-08-16 | Paper |
A structural co-induction theorem | 2023-04-28 | Paper |
https://portal.mardi4nfdi.de/entity/Q4621141 | 2019-02-08 | Paper |
Formations of Monoids, Congruences, and Formal Languages | 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 |
https://portal.mardi4nfdi.de/entity/Q2980965 | 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 |
https://portal.mardi4nfdi.de/entity/Q2863892 | 2013-12-04 | Paper |
Coalgebraic Characterizations of Context-Free Languages | 2013-09-26 | Paper |
Coinductive Counting | 2013-08-15 | Paper |
Elements of Stream Calculus | 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 |
https://portal.mardi4nfdi.de/entity/Q2908856 | 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 | 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 |
Recent Trends in Algebraic Development Techniques | 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/Q3795188 | 1988-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3815463 | 1988-01-01 | Paper |