2019
Newton series, coinductively: a comparative study of composition.
Math. Struct. Comput. Sci., 2019
2017
Enhanced coinduction (NII Shonan Meeting 2017-17).
NII Shonan Meet. Rep., 2017
Enhanced coalgebraic bisimulation.
Math. Struct. Comput. Sci., 2017
Stream Differential Equations: Specification Formats and Solution Methods.
Log. Methods Comput. Sci., 2017
2016
A coalgebraic view on decorated traces.
Math. Struct. Comput. Sci., 2016
Proving language inclusion and equivalence by coinduction.
Inf. Comput., 2016
Errata to "Formations of Monoids, Congruences, and Formal Languages".
Sci. Ann. Comput. Sci., 2016
2015
J. Comput. Syst. Sci., 2015
The dual equivalence of equations and coequations for automata.
Inf. Comput., 2015
Formations of Monoids, Congruences, and Formal Languages.
Sci. Ann. Comput. Sci., 2015
Regular Varieties of Automata and Coequations.
Proceedings of the Mathematics of Program Construction - 12th International Conference, 2015
Equations and Coequations for Weighted Automata.
Proceedings of the Mathematical Foundations of Computer Science 2015, 2015
Newton Series, Coinductively.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2015, 2015
2014
Algebra-coalgebra duality in Brzozowski's minimization algorithm.
ACM Trans. Comput. Log., 2014
Coalgebraic Semantics of Heavy-Weighted Automata.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2014
A Coalgebraic Foundation for Coinductive Union Types.
Proceedings of the Automata, Languages, and Programming - 41st International Colloquium, 2014
A Final Coalgebra for k-regular Sequences.
Proceedings of the Horizons of the Mind. A Tribute to Prakash Panangaden, 2014
(Co)Algebraic Characterizations of Signal Flow Graphs.
Proceedings of the Horizons of the Mind. A Tribute to Prakash Panangaden, 2014
2013
Stream processing coalgebraically.
Sci. Comput. Program., 2013
Automatic equivalence proofs for non-deterministic coalgebras.
Sci. Comput. Program., 2013
Varieties and Covarieties of Languages (Extended Abstract).
Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, 2013
Obituary for Jaco de Bakker, 1939-2012.
Bull. EATCS, 2013
Generalizing determinization from automata to coalgebras
Log. Methods Comput. Sci., 2013
Coalgebraic Characterizations of Context-Free Languages.
Log. Methods Comput. Sci., 2013
Coalgebraic Bisimulation-Up-To.
Proceedings of the SOFSEM 2013: Theory and Practice of Computer Science, 2013
Coinductive Proof Techniques for Language Equivalence.
Proceedings of the Language and Automata Theory and Applications, 2013
2012
Connectors as designs: Modeling, refinement and test case generation.
Sci. Comput. Program., 2012
A coalgebraic perspective on linear weighted automata.
Inf. Comput., 2012
Final Semantics for Decorated Traces.
Proceedings of the 28th Conference on the Mathematical Foundations of Programming Semantics, 2012
Defining Context-Free Power Series Coalgebraically.
Proceedings of the Coalgebraic Methods in Computer Science - 11th International Workshop, 2012
On the Final Coalgebra of Automatic Sequences.
Proceedings of the Logic and Program Semantics, 2012
Brzozowski's Algorithm (Co)Algebraically.
Proceedings of the Logic and Program Semantics, 2012
An introduction to (co)algebra and (co)induction.
Proceedings of the Advanced Topics in Bisimulation and Coinduction., 2012
2011
Theor. Comput. Sci., 2011
A proof of Moessner's theorem by coinduction.
High. Order Symb. Comput., 2011
Quantitative Kleene coalgebras.
Inf. Comput., 2011
Intentional Automata: A Context-Dependent Model for Component Connectors - (Extended Abstract).
Proceedings of the Fundamentals of Software Engineering - 4th IPM International Conference, 2011
Context-Free Languages, Coalgebraically.
Proceedings of the Algebra and Coalgebra in Computer Science, 2011
2010
A coinductive calculus of binary trees.
Inf. Comput., 2010
Complete sets of cooperations.
Inf. Comput., 2010
Symbolic Synthesis of Mealy Machines from Arithmetic Bitstream Functions.
Sci. Ann. Comput. Sci., 2010
Non-Deterministic Kleene Coalgebras
Log. Methods Comput. Sci., 2010
A Decision Procedure for Bisimilarity of Generalized Regular Expressions.
Proceedings of the Formal Methods: Foundations and Applications, 2010
Sampling, Splitting and Merging in Coinductive Stream Calculus.
Proceedings of the Mathematics of Program Construction, 10th International Conference, 2010
Generalizing the powerset construction, coalgebraically.
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2010
2009
Fault-Based Test Case Generation for Component Connectors.
Proceedings of the TASE 2009, 2009
An Algebra for Kripke Polynomial Coalgebras.
Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science, 2009
A Kleene Theorem for Polynomial Coalgebras.
Proceedings of the Foundations of Software Science and Computational Structures, 2009
Coinductive Predicates as Final Coalgebras.
Proceedings of the 6th Workshop on Fixed Points in Computer Science, 2009
Deriving Syntax and Axioms for Quantitative Regular Behaviours.
Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009
2008
Rational Streams Coalgebraically.
Log. Methods Comput. Sci., 2008
Observational Coalgebras and Complete Sets of Co-operations.
Proceedings of the Ninth Workshop on Coalgebraic Methods in Computer Science, 2008
Coalgebraic Logic and Synthesis of Mealy Machines.
Proceedings of the Foundations of Software Science and Computational Structures, 2008
Proceedings of the Concurrency, 2008
2007
Models and temporal logical specifications for timed component connectors.
Softw. Syst. Model., 2007
Behavioural Differential Equations and Coinduction for Binary Trees.
Proceedings of the Logic, 2007
Coalgebraic Foundations of Linear Systems.
Proceedings of the Algebra and Coalgebra in Computer Science, 2007
2006
Theor. Comput. Sci., 2006
Modeling component connectors in Reo by constraint automata.
Sci. Comput. Program., 2006
Synthesis of Mealy Machines Using Derivatives.
Proceedings of the Eighth Workshop on Coalgebraic Methods in Computer Science, 2006
2005
A tutorial on coinductive stream calculus and signal flow graphs.
Theor. Comput. Sci., 2005
A coinductive calculus of streams.
Math. Struct. Comput. Sci., 2005
Algebraic Specification and Coalgebraic Synthesis of Mealy Automata.
Proceedings of the International Workshop on Formal Aspects of Component Software, 2005
Synthesis of Reo Circuits for Implementation of Component-Connector Automata Specifications.
Proceedings of the Coordination Models and Languages, 7th International Conference, 2005
2004
Models and Temporal Logics for Timed Component Connectors.
Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004
Mathematical techniques for analyzing concurrent and probabilistic systems.
CRM monograph series 23, American Mathematical Society, ISBN: 978-0-8218-3571-5, 2004
2003
Behavioural differential equations: a coinductive calculus of streams, automata, and power series.
Theor. Comput. Sci., 2003
Coinductive Counting with Weighted Automata.
J. Autom. Lang. Comb., 2003
Modeling Component Connectors in Reo by Constraint Automata: (Extended Abstract).
Proceedings of FOCLASA 2003, 2003
An Application of Stream Calculus to Signal Flow Graphs.
Proceedings of the Formal Methods for Components and Objects, 2003
2002
Coalgebraic Methods in Computer Science - Foreword.
Theor. Comput. Sci., 2002
Coinductive Counting: Bisimulation in Enumerative Combinatorics.
Proceedings of the Coalgebraic Methods in Computer Science, 2002
A Coinductive Calculus of Component Connectors.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2002
2001
Foreword : Coalgebraic Methods in Computer Science 1998.
Theor. Comput. Sci., 2001
Elements of Stream Calculus (An Extensive Exercise in Coinduction).
Proceedings of the Seventeenth Conference on the Mathematical Foundations of Programming Semantics, 2001
2000
Universal coalgebra: a theory of systems.
Theor. Comput. Sci., 2000
A transition system semantics for the control-driven coordination language MANIFOLD.
Theor. Comput. Sci., 2000
Regular Expressions Revisited: A Coinductive Approach to Streams, Automata, and Power Series.
Proceedings of the Mathematics of Program Construction, 5th International Conference, 2000
1999
Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach.
Theor. Comput. Sci., 1999
A note on coinduction and weak bisimilarity for while programs.
RAIRO Theor. Informatics Appl., 1999
Proceedings of the Coalgebraic Methods in Computer Science, 1999
Automata, Power Series, and Coinduction: Taking Input Derivatives Seriously.
Proceedings of the Automata, 1999
1998
Generalized Metric Spaces: Completion, Topology, and Powerdomains via the Yoneda Embedding.
Theor. Comput. Sci., 1998
On the Foundations of Final Coalgebra Semantics.
Math. Struct. Comput. Sci., 1998
Relators and Metric Bisimulations.
Proceedings of the First Workshop on Coalgebraic Methods in Computer Science, 1998
Proceedings of the First Workshop on Coalgebraic Methods in Computer Science, 1998
Automata and Coinduction (An Exercise in Coalgebra).
Proceedings of the CONCUR '98: Concurrency Theory, 1998
1996
Elements of Generalized Ultrametric Domain Theory.
Theor. Comput. Sci., 1996
1995
Solutions of functorial and non-functorial metric domain equations.
Proceedings of the Eleventh Annual Conference on Mathematical Foundations of Programming Semantics, 1995
1994
Fully Abstract Denotational Models for Nonuniform Concurrent Languages
Inf. Comput., November, 1994
1993
Non-monotonic Concurrent Constraint Programming.
Proceedings of the Logic Programming, 1993
Initial Algebra and Final Coalgebra Semantics for Concurrency.
Proceedings of the A Decade of Concurrency, Reflections and Perspectives, 1993
A Strucutral Co-Induction Theorem.
Proceedings of the Mathematical Foundations of Programming Semantics, 1993
1992
From Failure to Success: Comparing a Denotational and a Declarative Semantics for Horn Clause Logic.
Theor. Comput. Sci., 1992
Processes as Terms: Non-Well-Founded Models for Bisimulation.
Math. Struct. Comput. Sci., 1992
A semantic approach to fairness.
Fundam. Informaticae, 1992
A Layered Semantics for a Parallel Object-Oriented Language.
Formal Aspects Comput., 1992
On the Foundation of Final Semantics: Non-Standard Sets, Metric Spaces, Partial Orders.
Proceedings of the Sematics: Foundations and Applications, 1992
On Blocks: Locality and Asynchronous Communication (Extended Abstract).
Proceedings of the Sematics: Foundations and Applications, 1992
1991
Semantic Models for Concurrent Logic Languages.
Theor. Comput. Sci., 1991
Nonwellfounded Sets and Programming Language Semantics.
Proceedings of the Mathematical Foundations of Programming Semantics, 1991
The Failure of Failures in a Paradigm for Asynchronous Communication.
Proceedings of the CONCUR '91, 1991
1990
Contractions in Comparing Concurrency Semantics.
Theor. Comput. Sci., 1990
Semantic Correctness for a Parallel Object-Oriented Language.
SIAM J. Comput., 1990
Deriving Denotational Models for Bisimulation from Structured Operational Semantics.
Proceedings of the Programming concepts and methods: Proceedings of the IFIP Working Group 2.2, 1990
1989
Denotational Semantics of a Parallel Object-Oriented Language
Inf. Comput., November, 1989
Solving Reflexive Domain Equations in a Category of Complete Metric Spaces.
J. Comput. Syst. Sci., 1989
Control Flow versus Logic: A Denotational and a Declarative Model for Guarded Horn Clauses.
Proceedings of the Mathematical Foundations of Computer Science 1989, 1989
Semantic Models for a Version of PARLOG.
Proceedings of the Logic Programming, 1989
1988
Correctness and full abstraction of metric semantics for concurrency.
Proceedings of the Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30, 1988
Contractions in Comparing Concurrent Semantics.
Proceedings of the Automata, Languages and Programming, 15th International Colloquium, 1988
1986
Operational Semantics of a Parallel Object-Oriented Language.
Proceedings of the Conference Record of the Thirteenth Annual ACM Symposium on Principles of Programming Languages, 1986