Jan J. M. M. Rutten

109 papers A* 5B 21C 3Misc 1Journal 47Unranked 27
YearRankTypeTitle / Venue / Authors
2016 J jnl
Errata to "Formations of Monoids, Congruences, and Formal Languages".
Sci. Ann. Comput. Sci.
Adolfo Ballester-Bolinches, Enric Cosme-Llópez, Ramon Esteban-Romero, Jan J. M. M. Rutten
2015 J jnl
Context-free coalgebras.
J. Comput. Syst. Sci.
Joost Winter, Marcello M. Bonsangue, Jan J. M. M. Rutten
2015 — conf
Equations and Coequations for Weighted Automata.
MFCS (1)
Julian Salamanca, Marcello M. Bonsangue, Jan J. M. M. Rutten
2015 J jnl
Formations of Monoids, Congruences, and Formal Languages.
Sci. Ann. Comput. Sci.
Adolfo Ballester-Bolinches, Enric Cosme-Llópez, Ramon Esteban-Romero, Jan J. M. M. Rutten
2015 B conf
Regular Varieties of Automata and Coequations.
MPC
Julian Salamanca, Adolfo Ballester-Bolinches, Marcello M. Bonsangue, Enric Cosme-Llópez, Jan J. M. M. Rutten
2015 J jnl
The dual equivalence of equations and coequations for automata.
Inf. Comput.
Adolfo Ballester-Bolinches, Enric Cosme-Llópez, Jan J. M. M. Rutten
2014 — conf
A Coalgebraic Foundation for Coinductive Union Types.
ICALP (2)
Marcello M. Bonsangue, Jurriaan Rot, Davide Ancona, Frank S. de Boer, Jan J. M. M. Rutten
2014 J jnl
Algebra-coalgebra duality in Brzozowski's minimization algorithm.
ACM Trans. Comput. Log.
Filippo Bonchi, Marcello M. Bonsangue, Helle Hvid Hansen, Prakash Panangaden, Jan J. M. M. Rutten, Alexandra Silva
2013 J jnl
Automatic Equivalence Proofs for Non-deterministic Coalgebras
CoRR
Marcello M. Bonsangue, Georgiana Caltais, Eugen-Ioan Goriac, Dorel Lucanu, Jan J. M. M. Rutten, Alexandra Silva
2013 J jnl
Automatic equivalence proofs for non-deterministic coalgebras.
Sci. Comput. Program.
Marcello M. Bonsangue, Georgiana Caltais, Eugen-Ioan Goriac, Dorel Lucanu, Jan J. M. M. Rutten, Alexandra Silva
2013 B conf
Coalgebraic Bisimulation-Up-To.
SOFSEM
Jurriaan Rot, Marcello M. Bonsangue, Jan J. M. M. Rutten
2013 J jnl
Coalgebraic Characterizations of Context-Free Languages.
Log. Methods Comput. Sci.
Joost Winter, Marcello M. Bonsangue, Jan J. M. M. Rutten
2013 C conf
Coinductive Proof Techniques for Language Equivalence.
LATA
Jurriaan Rot, Marcello M. Bonsangue, Jan J. M. M. Rutten
2013 J jnl
Generalizing determinization from automata to coalgebras
Log. Methods Comput. Sci.
Alexandra Silva, Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten
2013 J jnl
Stream processing coalgebraically.
Sci. Comput. Program.
Milad Niqui, Jan J. M. M. Rutten
2012 J jnl
A coalgebraic perspective on linear weighted automata.
Inf. Comput.
Filippo Bonchi, Marcello M. Bonsangue, Michele Boreale, Jan J. M. M. Rutten, Alexandra Silva
2012 — book
Advanced Topics in Bisimulation and Coinduction.
Davide Sangiorgi, Jan J. M. M. Rutten
2012 — conf
Brzozowski's Algorithm (Co)Algebraically.
Logic and Program Semantics
Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva
2012 J jnl
Connectors as designs: Modeling, refinement and test case generation.
Sci. Comput. Program.
Sun Meng, Farhad Arbab, Bernhard K. Aichernig, Lacramioara Astefanoaei, Frank S. de Boer, Jan J. M. M. Rutten
2012 — conf
Defining Context-Free Power Series Coalgebraically.
CMCS
Marcello M. Bonsangue, Jan J. M. M. Rutten, Joost Winter
2012 B conf
Final Semantics for Decorated Traces.
MFPS
Filippo Bonchi, Marcello M. Bonsangue, Georgiana Caltais, Jan J. M. M. Rutten, Alexandra Silva
2012 — conf
On the Final Coalgebra of Automatic Sequences.
Logic and Program Semantics
Clemens Kupke, Jan J. M. M. Rutten
2011 J jnl
A proof of Moessner's theorem by coinduction.
High. Order Symb. Comput.
Milad Niqui, Jan J. M. M. Rutten
2011 B conf
Context-Free Languages, Coalgebraically.
CALCO
Joost Winter, Marcello M. Bonsangue, Jan J. M. M. Rutten
2011 — conf
Intentional Automata: A Context-Dependent Model for Component Connectors - (Extended Abstract).
FSEN
David Costa, Milad Niqui, Jan J. M. M. Rutten
2011 J jnl
Preface.
Theor. Comput. Sci.
Bart Jacobs, Milad Niqui, Jan J. M. M. Rutten, Alexandra Silva
2011 J jnl
Quantitative Kleene coalgebras.
Inf. Comput.
Alexandra Silva, Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten
2010 — conf
A Decision Procedure for Bisimilarity of Generalized Regular Expressions.
SBMF
Marcello M. Bonsangue, Georgiana Caltais, Eugen-Ioan Goriac, Dorel Lucanu, Jan J. M. M. Rutten, Alexandra Silva
2010 J jnl
A coinductive calculus of binary trees.
Inf. Comput.
Alexandra Silva, Jan J. M. M. Rutten
2010 J jnl
Complete sets of cooperations.
Inf. Comput.
Clemens Kupke, Jan J. M. M. Rutten
2010 — conf
Generalizing the powerset construction, coalgebraically.
FSTTCS
Alexandra Silva, Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten
2010 J jnl
Non-Deterministic Kleene Coalgebras
Log. Methods Comput. Sci.
Alexandra Silva, Marcello M. Bonsangue, Jan J. M. M. Rutten
2010 — conf
Preface.
CMCS@ETAPS
Bart Jacobs, Milad Niqui, Jan J. M. M. Rutten, Alexandra Silva
2010 — ed.
Proceedings of the Tenth Workshop on Coalgebraic Methods in Computer Science, CMCS@ETAPS 2010, Paphos, Cyprus, March 26-28, 2010
CMCS@ETAPS
Bart Jacobs, Milad Niqui, Jan J. M. M. Rutten, Alexandra Silva
2010 B conf
Sampling, Splitting and Merging in Coinductive Stream Calculus.
MPC
Milad Niqui, Jan J. M. M. Rutten
2010 J jnl
Symbolic Synthesis of Mealy Machines from Arithmetic Bitstream Functions.
Sci. Ann. Comput. Sci.
Helle Hvid Hansen, Jan J. M. M. Rutten
2009 B conf
A Kleene Theorem for Polynomial Coalgebras.
FoSSaCS
Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva
2009 A* conf
An Algebra for Kripke Polynomial Coalgebras.
LICS
Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva
2009 B conf
Deriving Syntax and Axioms for Quantitative Regular Behaviours.
CONCUR
Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva
2009 Misc conf
Fault-Based Test Case Generation for Component Connectors.
TASE
Bernhard K. Aichernig, Farhad Arbab, Lacramioara Astefanoaei, Frank S. de Boer, Sun Meng, Jan J. M. M. Rutten
2008 — conf
A Roman Senator.
Concurrency, Graphs and Models
Jan J. M. M. Rutten
2008 B conf
Coalgebraic Logic and Synthesis of Mealy Machines.
FoSSaCS
Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva
2008 — conf
Observational Coalgebras and Complete Sets of Co-operations.
CMCS
Clemens Kupke, Jan J. M. M. Rutten
2008 J jnl
Rational Streams Coalgebraically.
Log. Methods Comput. Sci.
Jan J. M. M. Rutten
2008 J jnl
Rational streams coalgebraically
CoRR
Jan J. M. M. Rutten
2007 C conf
Behavioural Differential Equations and Coinduction for Binary Trees.
WoLLIC
Alexandra Silva, Jan J. M. M. Rutten
2007 B conf
Coalgebraic Foundations of Linear Systems.
CALCO
Jan J. M. M. Rutten
2007 J jnl
Models and temporal logical specifications for timed component connectors.
Softw. Syst. Model.
Farhad Arbab, Christel Baier, Frank S. de Boer, Jan J. M. M. Rutten
2006 J jnl
Modeling component connectors in Reo by constraint automata.
Sci. Comput. Program.
Christel Baier, Marjan Sirjani, Farhad Arbab, Jan J. M. M. Rutten
2006 J jnl
Preface.
Theor. Comput. Sci.
José Luiz Fiadeiro, Jan J. M. M. Rutten
2006 — conf
Synthesis of Mealy Machines Using Derivatives.
CMCS
Helle Hvid Hansen, David Costa, Jan J. M. M. Rutten
2005 J jnl
A coinductive calculus of streams.
Math. Struct. Comput. Sci.
Jan J. M. M. Rutten
2005 J jnl
A tutorial on coinductive stream calculus and signal flow graphs.
Theor. Comput. Sci.
Jan J. M. M. Rutten
2005 B ed.
Algebra and Coalgebra in Computer Science: First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings
CALCO
José Luiz Fiadeiro, Neil Harman, Markus Roggenbach, Jan J. M. M. Rutten
2005 — conf
Algebraic Specification and Coalgebraic Synthesis of Mealy Automata.
FACS
Jan J. M. M. Rutten
2005 C conf
Synthesis of Reo Circuits for Implementation of Component-Connector Automata Specifications.
COORDINATION
Farhad Arbab, Christel Baier, Frank S. de Boer, Jan J. M. M. Rutten, Marjan Sirjani
2004 — book
Mathematical techniques for analyzing concurrent and probabilistic systems.
Jan J. M. M. Rutten, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Prakash Panangaden
2004 B conf
Models and Temporal Logics for Timed Component Connectors.
SEFM
Farhad Arbab, Christel Baier, Frank S. de Boer, Jan J. M. M. Rutten
2003 — conf
An Application of Stream Calculus to Signal Flow Graphs.
FMCO
Jan J. M. M. Rutten
2003 J jnl
Behavioural differential equations: a coinductive calculus of streams, automata, and power series.
Theor. Comput. Sci.
Jan J. M. M. Rutten
2003 J jnl
Coinductive Counting with Weighted Automata.
J. Autom. Lang. Comb.
Jan J. M. M. Rutten
2003 — conf
Modeling Component Connectors in Reo by Constraint Automata: (Extended Abstract).
FOCLASA
Farhad Arbab, Christel Baier, Jan J. M. M. Rutten, Marjan Sirjani
2002 — conf
A Coinductive Calculus of Component Connectors.
WADT
Farhad Arbab, Jan J. M. M. Rutten
2002 J jnl
Coalgebraic Methods in Computer Science - Foreword.
Theor. Comput. Sci.
Bart Jacobs, Jan J. M. M. Rutten
2002 — conf
Coinductive Counting: Bisimulation in Enumerative Combinatorics.
CMCS
Jan J. M. M. Rutten
2001 B conf
Elements of Stream Calculus (An Extensive Exercise in Coinduction).
MFPS
Jan J. M. M. Rutten
2001 J jnl
Foreword : Coalgebraic Methods in Computer Science 1998.
Theor. Comput. Sci.
Bart Jacobs, Larry Moss, Horst Reichel, Jan J. M. M. Rutten
2000 J jnl
A transition system semantics for the control-driven coordination language MANIFOLD.
Theor. Comput. Sci.
Marcello M. Bonsangue, Farhad Arbab, J. W. de Bakker, Jan J. M. M. Rutten, A. Secutella, Gianluigi Zavattaro
2000 B conf
Regular Expressions Revisited: A Coinductive Approach to Streams, Automata, and Power Series.
MPC
Jan J. M. M. Rutten
2000 J jnl
Universal coalgebra: a theory of systems.
Theor. Comput. Sci.
Jan J. M. M. Rutten
1999 J jnl
A note on coinduction and weak bisimilarity for while programs.
RAIRO Theor. Informatics Appl.
Jan J. M. M. Rutten
1999 A* conf
Automata, Power Series, and Coinduction: Taking Input Derivatives Seriously.
ICALP
Jan J. M. M. Rutten
1999 J jnl
Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach.
Theor. Comput. Sci.
Erik P. de Vink, Jan J. M. M. Rutten
1999 — ed.
Coalgebraic Methods in Computer Science, CMCS 1999, Amsterdam, The Netherlands, March 20-21, 1999
CMCS
Bart Jacobs, Jan J. M. M. Rutten
1999 — conf
Preface.
CMCS
Bart Jacobs, Jan J. M. M. Rutten
1998 B conf
Automata and Coinduction (An Exercise in Coalgebra).
CONCUR
Jan J. M. M. Rutten
1998 — ed.
First Workshop on Coalgebraic Methods in Computer Science, CMCS 1998, Lisbon, Portugal, March 28-29, 1998
CMCS
Bart Jacobs, Larry Moss, Horst Reichel, Jan J. M. M. Rutten
1998 J jnl
Generalized Metric Spaces: Completion, Topology, and Powerdomains via the Yoneda Embedding.
Theor. Comput. Sci.
Marcello M. Bonsangue, Franck van Breugel, Jan J. M. M. Rutten
1998 J jnl
On the Foundations of Final Coalgebra Semantics.
Math. Struct. Comput. Sci.
Daniele Turi, Jan J. M. M. Rutten
1998 — conf
Preface.
CMCS
Bart Jacobs, Larry Moss, Horst Reichel, Jan J. M. M. Rutten
1998 — conf
Relators and Metric Bisimulations.
CMCS
Jan J. M. M. Rutten
1997 A* conf
Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach.
ICALP
Erik P. de Vink, Jan J. M. M. Rutten
1996 J jnl
Elements of Generalized Ultrametric Domain Theory.
Theor. Comput. Sci.
Jan J. M. M. Rutten
1995 B conf
Solutions of functorial and non-functorial metric domain equations.
MFPS
Fabio Alessi, Paolo Baldan, Gianna Bellè, Jan J. M. M. Rutten
1994 J jnl
Fully Abstract Denotational Models for Nonuniform Concurrent Languages
Inf. Comput.
Eiichi Horita, J. W. de Bakker, Jan J. M. M. Rutten
1993 B conf
A Strucutral Co-Induction Theorem.
MFPS
Jan J. M. M. Rutten
1993 — conf
Initial Algebra and Final Coalgebra Semantics for Concurrency.
REX School/Symposium
Jan J. M. M. Rutten, Daniele Turi
1993 — conf
Non-monotonic Concurrent Constraint Programming.
ILPS
Frank S. de Boer, Joost N. Kok, Catuscia Palamidessi, Jan J. M. M. Rutten
1992 J jnl
A Layered Semantics for a Parallel Object-Oriented Language.
Formal Aspects Comput.
Pierre America, Jan J. M. M. Rutten
1992 J jnl
A semantic approach to fairness.
Fundam. Informaticae
Jan J. M. M. Rutten, Jeffery I. Zucker
1992 J jnl
From Failure to Success: Comparing a Denotational and a Declarative Semantics for Horn Clause Logic.
Theor. Comput. Sci.
Frank S. de Boer, Joost N. Kok, Catuscia Palamidessi, Jan J. M. M. Rutten
1992 — conf
On Blocks: Locality and Asynchronous Communication (Extended Abstract).
REX Workshop
Frank S. de Boer, Joost N. Kok, Catuscia Palamidessi, Jan J. M. M. Rutten
1992 — conf
On the Foundation of Final Semantics: Non-Standard Sets, Metric Spaces, Partial Orders.
REX Workshop
Jan J. M. M. Rutten, Daniele Turi
1992 J jnl
Processes as Terms: Non-Well-Founded Models for Bisimulation.
Math. Struct. Comput. Sci.
Jan J. M. M. Rutten
1991 B conf
Nonwellfounded Sets and Programming Language Semantics.
MFPS
Jan J. M. M. Rutten
1991 J jnl
Semantic Models for Concurrent Logic Languages.
Theor. Comput. Sci.
Frank S. de Boer, Jan J. M. M. Rutten, Joost N. Kok, Catuscia Palamidessi
1991 B conf
The Failure of Failures in a Paradigm for Asynchronous Communication.
CONCUR
Frank S. de Boer, Joost N. Kok, Catuscia Palamidessi, Jan J. M. M. Rutten
1990 — conf
A Layered Semantics for a Parallel Object-Oriented Language.
REX Workshop
Pierre America, Jan J. M. M. Rutten
1990 J jnl
Contractions in Comparing Concurrency Semantics.
Theor. Comput. Sci.
Joost N. Kok, Jan J. M. M. Rutten
1990 — conf
Deriving Denotational Models for Bisimulation from Structured Operational Semantics.
Programming Concepts and Methods
Jan J. M. M. Rutten
1990 J jnl
Semantic Correctness for a Parallel Object-Oriented Language.
SIAM J. Comput.
Jan J. M. M. Rutten
1989 B conf
Control Flow versus Logic: A Denotational and a Declarative Model for Guarded Horn Clauses.
MFCS
Frank S. de Boer, Joost N. Kok, Catuscia Palamidessi, Jan J. M. M. Rutten
1989 J jnl
Denotational Semantics of a Parallel Object-Oriented Language
Inf. Comput.
Pierre America, Jaco de Bakker, Joost N. Kok, Jan J. M. M. Rutten
1989 B conf
Semantic Models for a Version of PARLOG.
ICLP
Frank S. de Boer, Joost N. Kok, Catuscia Palamidessi, Jan J. M. M. Rutten
1989 J jnl
Solving Reflexive Domain Equations in a Category of Complete Metric Spaces.
J. Comput. Syst. Sci.
Pierre America, Jan J. M. M. Rutten
1988 A* conf
Contractions in Comparing Concurrent Semantics.
ICALP
Joost N. Kok, Jan J. M. M. Rutten
1988 — conf
Correctness and full abstraction of metric semantics for concurrency.
REX Workshop
Jan J. M. M. Rutten
1987 B conf
Solving Reflexive Domain Equations in a Category of Complete Metric Spaces.
MFPS
Pierre America, Jan J. M. M. Rutten
1986 A* conf
Operational Semantics of a Parallel Object-Oriented Language.
POPL
Pierre America, Jaco de Bakker, Joost N. Kok, Jan J. M. M. Rutten