dblp.uni-trier.dewww.uni-trier.de

Jan J. M. M. Rutten Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
68EEFilippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva: Deriving Syntax and Axioms for Quantitative Regular Behaviours. CONCUR 2009: 146-162
67EEMarcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva: A Kleene Theorem for Polynomial Coalgebras. FOSSACS 2009: 122-136
66EEBernhard 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
65EEJan J. M. M. Rutten: A Roman Senator. Concurrency, Graphs and Models 2008: 802-803
64EEMarcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva: Coalgebraic Logic and Synthesis of Mealy Machines. FoSSaCS 2008: 231-245
63EEJan J. M. M. Rutten: Rational streams coalgebraically CoRR abs/0807.4073: (2008)
62EEClemens Kupke, Jan J. M. M. Rutten: Observational Coalgebras and Complete Sets of Co-operations. Electr. Notes Theor. Comput. Sci. 203(5): 153-174 (2008)
61EEJan J. M. M. Rutten: Rational Streams Coalgebraically. Logical Methods in Computer Science 4(3): (2008)
2007
60EEJan J. M. M. Rutten: Coalgebraic Foundations of Linear Systems. CALCO 2007: 425-446
59EEAlexandra Silva, Jan J. M. M. Rutten: Behavioural Differential Equations and Coinduction for Binary Trees. WoLLIC 2007: 322-336
58EEFarhad 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
57EEJan J. M. M. Rutten: Algebraic Specification and Coalgebraic Synthesis of Mealy Automata. Electr. Notes Theor. Comput. Sci. 160: 305-319 (2006)
56EEHelle 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)
55EEChristel 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)
54EEJosé 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
52EEFarhad 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
51EEJan J. M. M. Rutten: A coinductive calculus of streams. Mathematical Structures in Computer Science 15(1): 93-147 (2005)
50EEJan J. M. M. Rutten: A tutorial on coinductive stream calculus and signal flow graphs. Theor. Comput. Sci. 343(3): 443-481 (2005)
2004
49EEFarhad Arbab, Christel Baier, Frank S. de Boer, Jan J. M. M. Rutten: Models and Temporal Logics for Timed Component Connectors. SEFM 2004: 198-207
48EEFarhad 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
47EEJan 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)
45EEJan 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
44EEFarhad Arbab, Jan J. M. M. Rutten: A Coinductive Calculus of Component Connectors. WADT 2002: 34-55
43EEJan J. M. M. Rutten: Coinductive Counting: Bisimulation in Enumerative Combinatorics. Electr. Notes Theor. Comput. Sci. 65(1): (2002)
42EEBart Jacobs, Jan J. M. M. Rutten: Coalgebraic Methods in Computer Science - Foreword. Theor. Comput. Sci. 280(1-2): 1 (2002)
2001
41EEJan J. M. M. Rutten: Elements of Stream Calculus (An Extensive Exercise in Coinduction). Electr. Notes Theor. Comput. Sci. 45: (2001)
40EEBart 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
38EEMarcello 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)
37EEJan J. M. M. Rutten: Universal coalgebra: a theory of systems. Theor. Comput. Sci. 249(1): 3-80 (2000)
1999
36EEJan J. M. M. Rutten: Automata, Power Series, and Coinduction: Taking Input Derivatives Seriously. ICALP 1999: 645-654
35EEBart 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)
33EEErik 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
32EEJan J. M. M. Rutten: Automata and Coinduction (An Exercise in Coalgebra). CONCUR 1998: 194-218
31EEBart Jacobs, Larry Moss, Horst Reichel, Jan J. M. M. Rutten: Preface. Electr. Notes Theor. Comput. Sci. 11: (1998)
30EEJan 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)
28EEMarcello 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
27EEErik P. de Vink, Jan J. M. M. Rutten: Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach. ICALP 1997: 460-470
1996
26EEJan J. M. M. Rutten: Elements of Generalized Ultrametric Domain Theory. Theor. Comput. Sci. 170(1-2): 349-381 (1996)
1995
25EEFabio 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
22EEJan J. M. M. Rutten: A Strucutral Co-Induction Theorem. MFPS 1993: 83-102
21EEJan J. M. M. Rutten, Daniele Turi: Initial Algebra and Final Coalgebra Semantics for Concurrency. REX School/Symposium 1993: 530-582
1992
20EEJan J. M. M. Rutten, Daniele Turi: On the Foundation of Final Semantics: Non-Standard Sets, Metric Spaces, Partial Orders. REX Workshop 1992: 477-530
19EEFrank 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
14EEFrank 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
13EEJan 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
11EEPierre 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
7EEFrank 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
4EEJoost N. Kok, Jan J. M. M. Rutten: Contractions in Comparing Concurrent Semantics. ICALP 1988: 317-332
3EEJan J. M. M. Rutten: Correctness and full abstraction of metric semantics for concurrency. REX Workshop 1988: 628-659
1987
2EEPierre 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

Coauthor Index

1Bernhard K. Aichernig [66]
2Fabio Alessi [25]
3Pierre America [1] [2] [5] [6] [11] [18]
4Farhad Arbab [38] [44] [48] [49] [52] [55] [58] [66]
5Lacramioara Astefanoaei [66]
6Christel Baier [48] [49] [52] [55] [58]
7J. W. de Bakker (Jaco de Bakker) [1] [6] [24] [38]
8Paolo Baldan [25]
9Gianna Bellè [25]
10Frank S. de Boer [7] [8] [12] [14] [15] [19] [23] [49] [52] [58] [66]
11Filippo Bonchi [68]
12Marcello M. Bonsangue [28] [38] [64] [67] [68]
13Franck van Breugel [28]
14David Costa [56]
15José Luiz Fiadeiro [53] [54]
16Helle Hvid Hansen [56]
17Neil Harman [53]
18Eiichi Horita [24]
19Bart Jacobs [31] [35] [40] [42]
20Joost N. Kok [1] [4] [6] [7] [8] [9] [12] [14] [15] [19] [23]
21Clemens Kupke [62]
22Sun Meng [66]
23Larry Moss [31] [40]
24Catuscia Palamidessi [7] [8] [12] [14] [15] [19] [23]
25Horst Reichel [31] [40]
26Markus Roggenbach [53]
27A. Secutella [38]
28Alexandra Silva [59] [64] [67] [68]
29Marjan Sirjani [48] [52] [55]
30Daniele Turi [20] [21] [29]
31Erik P. de Vink [27] [33]
32Gianluigi Zavattaro [38]
33Jeffery I. Zucker [17]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)