| 2015 | MFCS | Equations and Coequations for Weighted Automata. | Julian Salamanca, Marcello M. Bonsangue, Jan J. M. M. Rutten |
| 2015 | MPC | Regular Varieties of Automata and Coequations. | Julian Salamanca, Adolfo Ballester-Bolinches, Marcello M. Bonsangue, Enric Cosme-Llpez, Jan J. M. M. Rutten |
| 2014 | ICALP | A Coalgebraic Foundation for Coinductive Union Types. | Marcello M. Bonsangue, Jurriaan Rot, Davide Ancona, Frank S. de Boer, Jan J. M. M. Rutten |
| 2013 | LATA | Coinductive Proof Techniques for Language Equivalence. | Jurriaan Rot, Marcello M. Bonsangue, Jan J. M. M. Rutten |
| 2013 | SOFSEM | Coalgebraic Bisimulation-Up-To. | Jurriaan Rot, Marcello M. Bonsangue, Jan J. M. M. Rutten |
| 2011 | CALCO | Context-Free Languages, Coalgebraically. | Joost Winter, Marcello M. Bonsangue, Jan J. M. M. Rutten |
| 2010 | MPC | Sampling, Splitting and Merging in Coinductive Stream Calculus. | Milad Niqui, Jan J. M. M. Rutten |
| 2009 | CONCUR | Deriving Syntax and Axioms for Quantitative Regular Behaviours. | Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva |
| 2009 | FOSSACS | A Kleene Theorem for Polynomial Coalgebras. | Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva |
| 2009 | LICS | An Algebra for Kripke Polynomial Coalgebras. | Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva |
| 2009 | TASE | Fault-Based Test Case Generation for Component Connectors. | Bernhard K. Aichernig, Farhad Arbab, Lacramioara Astefanoaei, Frank S. de Boer, Sun Meng, Jan J. M. M. Rutten |
| 2008 | FOSSACS | Coalgebraic Logic and Synthesis of Mealy Machines. | Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva |
| 2007 | CALCO | Coalgebraic Foundations of Linear Systems. | Jan J. M. M. Rutten |
| 2007 | WoLLIC | Behavioural Differential Equations and Coinduction for Binary Trees. | Alexandra Silva, Jan J. M. M. Rutten |
| 2005 | Coordination | Synthesis of Reo Circuits for Implementation of Component-Connector Automata Specifications. | Farhad Arbab, Christel Baier, Frank S. de Boer, Jan J. M. M. Rutten, Marjan Sirjani |
| 2004 | SEFM | Models and Temporal Logics for Timed Component Connectors. | Farhad Arbab, Christel Baier, Frank S. de Boer, Jan J. M. M. Rutten |
| 2000 | MPC | Regular Expressions Revisited: A Coinductive Approach to Streams, Automata, and Power Series. | Jan J. M. M. Rutten |
| 1999 | ICALP | Automata, Power Series, and Coinduction: Taking Input Derivatives Seriously. | Jan J. M. M. Rutten |
| 1998 | CONCUR | Automata and Coinduction (An Exercise in Coalgebra). | Jan J. M. M. Rutten |
| 1997 | ICALP | Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach. | Erik P. de Vink, Jan J. M. M. Rutten |
| 1993 | MFPS | A Strucutral Co-Induction Theorem. | Jan J. M. M. Rutten |
| 1991 | CONCUR | The Failure of Failures in a Paradigm for Asynchronous Communication. | Frank S. de Boer, Joost N. Kok, Catuscia Palamidessi, Jan J. M. M. Rutten |
| 1991 | MFPS | Nonwellfounded Sets and Programming Language Semantics. | Jan J. M. M. Rutten |
| 1989 | ICLP | Semantic Models for a Version of PARLOG. | Frank S. de Boer, Joost N. Kok, Catuscia Palamidessi, Jan J. M. M. Rutten |
| 1989 | MFCS | Control Flow versus Logic: A Denotational and a Declarative Model for Guarded Horn Clauses. | Frank S. de Boer, Joost N. Kok, Catuscia Palamidessi, Jan J. M. M. Rutten |
| 1988 | ICALP | Contractions in Comparing Concurrent Semantics. | Joost N. Kok, Jan J. M. M. Rutten |
| 1987 | MFPS | Solving Reflexive Domain Equations in a Category of Complete Metric Spaces. | Pierre America, Jan J. M. M. Rutten |
| 1986 | POPL | Operational Semantics of a Parallel Object-Oriented Language. | Pierre America, Jaco de Bakker, Joost N. Kok, Jan J. M. M. Rutten |