2009 |
65 | EE | Marcello M. Bonsangue,
Jan J. M. M. Rutten,
Alexandra Silva:
A Kleene Theorem for Polynomial Coalgebras.
FOSSACS 2009: 122-136 |
2008 |
64 | EE | Jan J. M. M. Rutten:
A Roman Senator.
Concurrency, Graphs and Models 2008: 802-803 |
63 | EE | Marcello M. Bonsangue,
Jan J. M. M. Rutten,
Alexandra Silva:
Coalgebraic Logic and Synthesis of Mealy Machines.
FoSSaCS 2008: 231-245 |
62 | EE | Jan J. M. M. Rutten:
Rational streams coalgebraically
CoRR abs/0807.4073: (2008) |
61 | EE | 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) |
2007 |
60 | EE | Jan J. M. M. Rutten:
Coalgebraic Foundations of Linear Systems.
CALCO 2007: 425-446 |
59 | EE | Alexandra Silva,
Jan J. M. M. Rutten:
Behavioural Differential Equations and Coinduction for Binary Trees.
WoLLIC 2007: 322-336 |
58 | EE | 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 | EE | Jan J. M. M. Rutten:
Algebraic Specification and Coalgebraic Synthesis of Mealy Automata.
Electr. Notes Theor. Comput. Sci. 160: 305-319 (2006) |
56 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Jan J. M. M. Rutten:
A coinductive calculus of streams.
Mathematical Structures in Computer Science 15(1): 93-147 (2005) |
50 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Farhad Arbab,
Jan J. M. M. Rutten:
A Coinductive Calculus of Component Connectors.
WADT 2002: 34-55 |
43 | EE | Jan J. M. M. Rutten:
Coinductive Counting: Bisimulation in Enumerative Combinatorics.
Electr. Notes Theor. Comput. Sci. 65(1): (2002) |
42 | EE | Bart Jacobs,
Jan J. M. M. Rutten:
Coalgebraic Methods in Computer Science - Foreword.
Theor. Comput. Sci. 280(1-2): 1 (2002) |
2001 |
41 | EE | Jan J. M. M. Rutten:
Elements of Stream Calculus (An Extensive Exercise in Coinduction).
Electr. Notes Theor. Comput. Sci. 45: (2001) |
40 | EE | 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 | EE | 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 | EE | Jan J. M. M. Rutten:
Universal coalgebra: a theory of systems.
Theor. Comput. Sci. 249(1): 3-80 (2000) |
1999 |
36 | EE | Jan J. M. M. Rutten:
Automata, Power Series, and Coinduction: Taking Input Derivatives Seriously.
ICALP 1999: 645-654 |
35 | EE | 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 | EE | 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 | EE | Jan J. M. M. Rutten:
Automata and Coinduction (An Exercise in Coalgebra).
CONCUR 1998: 194-218 |
31 | EE | Bart Jacobs,
Larry Moss,
Horst Reichel,
Jan J. M. M. Rutten:
Preface.
Electr. Notes Theor. Comput. Sci. 11: (1998) |
30 | EE | 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 | EE | 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 | EE | Jan J. M. M. Rutten:
Elements of Generalized Ultrametric Domain Theory.
Theor. Comput. Sci. 170(1-2): 349-381 (1996) |
1995 |
25 | EE | 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 |