 | 2009 |
|---|
| 68 |       | Filippo Bonchi,
Marcello M. Bonsangue,
Jan J. M. M. Rutten,
Alexandra Silva:
Deriving Syntax and Axioms for Quantitative Regular Behaviours.
CONCUR 2009: 146-162 |
| 67 | | Marcello M. Bonsangue,
Jan J. M. M. Rutten,
Alexandra Silva:
A Kleene Theorem for Polynomial Coalgebras.
FOSSACS 2009: 122-136 |
| 66 | | Bernhard K. Aichernig,
Farhad Arbab,
Lacramioara Astefanoaei,
Frank S. de Boer,
Sun Meng,
Jan J. M. M. Rutten:
Fault-Based Test Case Generation for Component Connectors.
TASE 2009: 147-154 |
| 2008 |
|---|
| 65 | | Jan J. M. M. Rutten:
A Roman Senator.
Concurrency, Graphs and Models 2008: 802-803 |
| 64 | | Marcello M. Bonsangue,
Jan J. M. M. Rutten,
Alexandra Silva:
Coalgebraic Logic and Synthesis of Mealy Machines.
FoSSaCS 2008: 231-245 |
| 63 | | Jan J. M. M. Rutten:
Rational streams coalgebraically
CoRR abs/0807.4073: (2008) |
| 62 | | Clemens Kupke,
Jan J. M. M. Rutten:
Observational Coalgebras and Complete Sets of Co-operations.
Electr. Notes Theor. Comput. Sci. 203(5): 153-174 (2008) |
| 61 | | Jan J. M. M. Rutten:
Rational Streams Coalgebraically.
Logical Methods in Computer Science 4(3): (2008) |
| 2007 |
|---|
| 60 | | Jan J. M. M. Rutten:
Coalgebraic Foundations of Linear Systems.
CALCO 2007: 425-446 |
| 59 | | Alexandra Silva,
Jan J. M. M. Rutten:
Behavioural Differential Equations and Coinduction for Binary Trees.
WoLLIC 2007: 322-336 |
| 58 | | Farhad Arbab,
Christel Baier,
Frank S. de Boer,
Jan J. M. M. Rutten:
Models and temporal logical specifications for timed component connectors.
Software and System Modeling 6(1): 59-82 (2007) |
| 2006 |
|---|
| 57 | | Jan J. M. M. Rutten:
Algebraic Specification and Coalgebraic Synthesis of Mealy Automata.
Electr. Notes Theor. Comput. Sci. 160: 305-319 (2006) |
| 56 | | Helle Hvid Hansen,
David Costa,
Jan J. M. M. Rutten:
Synthesis of Mealy Machines Using Derivatives.
Electr. Notes Theor. Comput. Sci. 164(1): 27-45 (2006) |
| 55 | | Christel Baier,
Marjan Sirjani,
Farhad Arbab,
Jan J. M. M. Rutten:
Modeling component connectors in Reo by constraint automata.
Sci. Comput. Program. 61(2): 75-113 (2006) |
| 54 | | José Luiz Fiadeiro,
Jan J. M. M. Rutten:
Preface.
Theor. Comput. Sci. 366(1-2): 1-2 (2006) |
| 2005 |
|---|
| 53 |  | José Luiz Fiadeiro,
Neil Harman,
Markus Roggenbach,
Jan J. M. M. Rutten:
Algebra and Coalgebra in Computer Science: First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings
Springer 2005 |
| 52 | | Farhad Arbab,
Christel Baier,
Frank S. de Boer,
Jan J. M. M. Rutten,
Marjan Sirjani:
Synthesis of Reo Circuits for Implementation of Component-Connector Automata Specifications.
COORDINATION 2005: 236-251 |
| 51 | | Jan J. M. M. Rutten:
A coinductive calculus of streams.
Mathematical Structures in Computer Science 15(1): 93-147 (2005) |
| 50 | | Jan J. M. M. Rutten:
A tutorial on coinductive stream calculus and signal flow graphs.
Theor. Comput. Sci. 343(3): 443-481 (2005) |
| 2004 |
|---|
| 49 | | Farhad Arbab,
Christel Baier,
Frank S. de Boer,
Jan J. M. M. Rutten:
Models and Temporal Logics for Timed Component Connectors.
SEFM 2004: 198-207 |
| 48 | | Farhad Arbab,
Christel Baier,
Jan J. M. M. Rutten,
Marjan Sirjani:
Modeling Component Connectors in Reo by Constraint Automata: (Extended Abstract).
Electr. Notes Theor. Comput. Sci. 97: 25-46 (2004) |
| 2003 |
|---|
| 47 | | Jan J. M. M. Rutten:
An Application of Stream Calculus to Signal Flow Graphs.
FMCO 2003: 276-291 |
| 46 | | Jan J. M. M. Rutten:
Coinductive Counting with Weighted Automata.
Journal of Automata, Languages and Combinatorics 8(2): 319-352 (2003) |
| 45 | | Jan J. M. M. Rutten:
Behavioural differential equations: a coinductive calculus of streams, automata, and power series.
Theor. Comput. Sci. 308(1-3): 1-53 (2003) |
| 2002 |
|---|
| 44 | | Farhad Arbab,
Jan J. M. M. Rutten:
A Coinductive Calculus of Component Connectors.
WADT 2002: 34-55 |
| 43 | | Jan J. M. M. Rutten:
Coinductive Counting: Bisimulation in Enumerative Combinatorics.
Electr. Notes Theor. Comput. Sci. 65(1): (2002) |
| 42 | | Bart Jacobs,
Jan J. M. M. Rutten:
Coalgebraic Methods in Computer Science - Foreword.
Theor. Comput. Sci. 280(1-2): 1 (2002) |
| 2001 |
|---|
| 41 | | Jan J. M. M. Rutten:
Elements of Stream Calculus (An Extensive Exercise in Coinduction).
Electr. Notes Theor. Comput. Sci. 45: (2001) |
| 40 | | Bart Jacobs,
Larry Moss,
Horst Reichel,
Jan J. M. M. Rutten:
Foreword : Coalgebraic Methods in Computer Science 1998.
Theor. Comput. Sci. 260(1-2): 1 (2001) |
| 2000 |
|---|
| 39 | | Jan J. M. M. Rutten:
Regular Expressions Revisited: A Coinductive Approach to Streams, Automata, and Power Series.
MPC 2000: 100-101 |
| 38 | | Marcello M. Bonsangue,
Farhad Arbab,
J. W. de Bakker,
Jan J. M. M. Rutten,
A. Secutella,
Gianluigi Zavattaro:
A transition system semantics for the control-driven coordination language MANIFOLD.
Theor. Comput. Sci. 240(1): 3-47 (2000) |
| 37 | | Jan J. M. M. Rutten:
Universal coalgebra: a theory of systems.
Theor. Comput. Sci. 249(1): 3-80 (2000) |
| 1999 |
|---|
| 36 | | Jan J. M. M. Rutten:
Automata, Power Series, and Coinduction: Taking Input Derivatives Seriously.
ICALP 1999: 645-654 |
| 35 | | Bart Jacobs,
Jan J. M. M. Rutten:
Preface.
Electr. Notes Theor. Comput. Sci. 19: (1999) |
| 34 | | Jan J. M. M. Rutten:
A note on coinduction and weak bisimilarity for while programs.
ITA 33(4/5): 393-400 (1999) |
| 33 | | Erik P. de Vink,
Jan J. M. M. Rutten:
Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach.
Theor. Comput. Sci. 221(1-2): 271-293 (1999) |
| 1998 |
|---|
| 32 | | Jan J. M. M. Rutten:
Automata and Coinduction (An Exercise in Coalgebra).
CONCUR 1998: 194-218 |
| 31 | | Bart Jacobs,
Larry Moss,
Horst Reichel,
Jan J. M. M. Rutten:
Preface.
Electr. Notes Theor. Comput. Sci. 11: (1998) |
| 30 | | Jan J. M. M. Rutten:
Relators and Metric Bisimulations.
Electr. Notes Theor. Comput. Sci. 11: (1998) |
| 29 | | Daniele Turi,
Jan J. M. M. Rutten:
On the Foundations of Final Coalgebra Semantics.
Mathematical Structures in Computer Science 8(5): 481-540 (1998) |
| 28 | | Marcello M. Bonsangue,
Franck van Breugel,
Jan J. M. M. Rutten:
Generalized Metric Spaces: Completion, Topology, and Powerdomains via the Yoneda Embedding.
Theor. Comput. Sci. 193(1-2): 1-51 (1998) |
| 1997 |
|---|
| 27 | | Erik P. de Vink,
Jan J. M. M. Rutten:
Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach.
ICALP 1997: 460-470 |
| 1996 |
|---|
| 26 | | Jan J. M. M. Rutten:
Elements of Generalized Ultrametric Domain Theory.
Theor. Comput. Sci. 170(1-2): 349-381 (1996) |
| 1995 |
|---|
| 25 | | Fabio Alessi,
Paolo Baldan,
Gianna Bellè,
Jan J. M. M. Rutten:
Solutions of functorial and non-functorial metric domain equations.
Electr. Notes Theor. Comput. Sci. 1: (1995) |
| 1994 |
|---|
| 24 | | Eiichi Horita,
J. W. de Bakker,
Jan J. M. M. Rutten:
Fully Abstract Denotational Models for Nonuniform Concurrent Languages
Inf. Comput. 115(1): 125-178 (1994) |
| 1993 |
|---|
| 23 | | Frank S. de Boer,
Joost N. Kok,
Catuscia Palamidessi,
Jan J. M. M. Rutten:
Non-monotonic Concurrent Constraint Programming.
ILPS 1993: 315-334 |
| 22 | | Jan J. M. M. Rutten:
A Strucutral Co-Induction Theorem.
MFPS 1993: 83-102 |
| 21 | | Jan J. M. M. Rutten,
Daniele Turi:
Initial Algebra and Final Coalgebra Semantics for Concurrency.
REX School/Symposium 1993: 530-582 |
| 1992 |
|---|
| 20 | | Jan J. M. M. Rutten,
Daniele Turi:
On the Foundation of Final Semantics: Non-Standard Sets, Metric Spaces, Partial Orders.
REX Workshop 1992: 477-530 |
| 19 | | Frank S. de Boer,
Joost N. Kok,
Catuscia Palamidessi,
Jan J. M. M. Rutten:
On Blocks: Locality and Asynchronous Communication (Extended Abstract).
REX Workshop 1992: 73-90 |
| 18 | | Pierre America,
Jan J. M. M. Rutten:
A Layered Semantics for a Parallel Object-Oriented Language.
Formal Asp. Comput. 4(4): 376-408 (1992) |
| 17 | | Jan J. M. M. Rutten,
Jeffery I. Zucker:
A semantic approach to fairness.
Fundam. Inform. 16(1): 1-38 (1992) |
| 16 | | Jan J. M. M. Rutten:
Processes as Terms: Non-Well-Founded Models for Bisimulation.
Mathematical Structures in Computer Science 2(3): 257-275 (1992) |
| 15 | | Frank S. de Boer,
Joost N. Kok,
Catuscia Palamidessi,
Jan J. M. M. Rutten:
From Failure to Success: Comparing a Denotational and a Declarative Semantics for Horn Clause Logic.
Theor. Comput. Sci. 101(2): 239-263 (1992) |
| 1991 |
|---|
| 14 | | Frank S. de Boer,
Joost N. Kok,
Catuscia Palamidessi,
Jan J. M. M. Rutten:
The Failure of Failures in a Paradigm for Asynchronous Communication.
CONCUR 1991: 111-126 |
| 13 | | Jan J. M. M. Rutten:
Nonwellfounded Sets and Programming Language Semantics.
MFPS 1991: 193-206 |
| 12 | | Frank S. de Boer,
Jan J. M. M. Rutten,
Joost N. Kok,
Catuscia Palamidessi:
Semantic Models for Concurrent Logic Languages.
Theor. Comput. Sci. 86(1): 3-33 (1991) |
| 1990 |
|---|
| 11 | | Pierre America,
Jan J. M. M. Rutten:
A Layered Semantics for a Parallel Object-Oriented Language.
REX Workshop 1990: 91-123 |
| 10 | | Jan J. M. M. Rutten:
Semantic Correctness for a Parallel Object-Oriented Language.
SIAM J. Comput. 19(2): 341-383 (1990) |
| 9 | | Joost N. Kok,
Jan J. M. M. Rutten:
Contractions in Comparing Concurrency Semantics.
Theor. Comput. Sci. 76(2-3): 179-222 (1990) |
| 1989 |
|---|
| 8 | | Frank S. de Boer,
Joost N. Kok,
Catuscia Palamidessi,
Jan J. M. M. Rutten:
Semantic Models for a Version of PARLOG.
ICLP 1989: 621-636 |
| 7 | | Frank S. de Boer,
Joost N. Kok,
Catuscia Palamidessi,
Jan J. M. M. Rutten:
Control Flow versus Logic: A Denotational and a Declarative Model for Guarded Horn Clauses.
MFCS 1989: 165-176 |
| 6 | | Pierre America,
Jaco de Bakker,
Joost N. Kok,
Jan J. M. M. Rutten:
Denotational Semantics of a Parallel Object-Oriented Language
Inf. Comput. 83(2): 152-205 (1989) |
| 5 | | Pierre America,
Jan J. M. M. Rutten:
Solving Reflexive Domain Equations in a Category of Complete Metric Spaces.
J. Comput. Syst. Sci. 39(3): 343-375 (1989) |
| 1988 |
|---|
| 4 | | Joost N. Kok,
Jan J. M. M. Rutten:
Contractions in Comparing Concurrent Semantics.
ICALP 1988: 317-332 |
| 3 | | Jan J. M. M. Rutten:
Correctness and full abstraction of metric semantics for concurrency.
REX Workshop 1988: 628-659 |
| 1987 |
|---|
| 2 | | Pierre America,
Jan J. M. M. Rutten:
Solving Reflexive Domain Equations in a Category of Complete Metric Spaces.
MFPS 1987: 254-288 |
| 1986 |
|---|
| 1 | | Pierre America,
Jaco de Bakker,
Joost N. Kok,
Jan J. M. M. Rutten:
Operational Semantics of a Parallel Object-Oriented Language.
POPL 1986: 194-208 |
