| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Sun Meng, Farhad Arbab, Bernhard K. Aichernig, Lacramioara Astefanoaei, Frank S. de Boer, Jan J. M. M. Rutten |
Connectors as designs: Modeling, refinement and test case generation.  |
Sci. Comput. Program.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Filippo Bonchi, Marcello M. Bonsangue, Michele Boreale, Jan J. M. M. Rutten, Alexandra Silva |
A coalgebraic perspective on linear weighted automata. |
Inf. Comput. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Clemens Kupke, Jan J. M. M. Rutten |
On the Final Coalgebra of Automatic Sequences. |
Logic and Program Semantics |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva |
Brzozowski's Algorithm (Co)Algebraically. |
Logic and Program Semantics |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Jacobs, Milad Niqui, Jan J. M. M. Rutten, Alexandra Silva |
Preface. |
Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandra Silva, Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten |
Quantitative Kleene coalgebras. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | David Costa, Milad Niqui, Jan J. M. M. Rutten |
Intentional Automata: A Context-Dependent Model for Component Connectors - (Extended Abstract). |
FSEN |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Joost Winter, Marcello M. Bonsangue, Jan J. M. M. Rutten |
Context-Free Languages, Coalgebraically. |
CALCO |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandra Silva, Jan J. M. M. Rutten |
A coinductive calculus of binary trees. |
Inf. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Clemens Kupke, Jan J. M. M. Rutten |
Complete sets of cooperations. |
Inf. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Helle Hvid Hansen, Jan J. M. M. Rutten |
Symbolic Synthesis of Mealy Machines from Arithmetic Bitstream Functions. |
Sci. Ann. Comp. Sci. |
2010 |
DBLP BibTeX RDF |
|
| 1 | Bart Jacobs, Milad Niqui, Jan J. M. M. Rutten, Alexandra Silva |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandra Silva, Marcello M. Bonsangue, Jan J. M. M. Rutten |
Non-Deterministic Kleene Coalgebras |
Logical Methods in Computer Science |
2010 |
DBLP BibTeX RDF |
|
| 1 | Marcello M. Bonsangue, Georgiana Caltais, Eugen-Ioan Goriac, Dorel Lucanu, Jan J. M. M. Rutten, Alexandra Silva |
A Decision Procedure for Bisimilarity of Generalized Regular Expressions. |
SBMF |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Milad Niqui, Jan J. M. M. Rutten |
Sampling, Splitting and Merging in Coinductive Stream Calculus. |
MPC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandra Silva, Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten |
Generalizing the powerset construction, coalgebraically. |
FSTTCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva |
Deriving Syntax and Axioms for Quantitative Regular Behaviours. |
CONCUR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva |
An Algebra for Kripke Polynomial Coalgebras. |
LICS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva |
A Kleene Theorem for Polynomial Coalgebras. |
FOSSACS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan J. M. M. Rutten |
Rational Streams Coalgebraically. |
Logical Methods in Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Clemens Kupke, Jan J. M. M. Rutten |
Observational Coalgebras and Complete Sets of Co-operations. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan J. M. M. Rutten |
Rational streams coalgebraically |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Jan J. M. M. Rutten |
A Roman Senator. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva |
Coalgebraic Logic and Synthesis of Mealy Machines. |
FoSSaCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2007 |
DBLP DOI BibTeX RDF |
1998 ACM Computing Classsification C.2.4, D.1.3, D.2.4, D.2.6, D.2.11, D.2.13, D.3.2, D.3.3, F.1.2, F.3.1, F.3.3, F.3.2 |
| 1 | Alexandra Silva, Jan J. M. M. Rutten |
Behavioural Differential Equations and Coinduction for Binary Trees. |
WoLLIC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan J. M. M. Rutten |
Coalgebraic Foundations of Linear Systems. |
CALCO |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Christel Baier, Marjan Sirjani, Farhad Arbab, Jan J. M. M. Rutten |
Modeling component connectors in Reo by constraint automata. |
Sci. Comput. Program. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | José Luiz Fiadeiro, Jan J. M. M. Rutten |
Preface. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan J. M. M. Rutten |
Algebraic Specification and Coalgebraic Synthesis of Mealy Automata. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Helle Hvid Hansen, David Costa, Jan J. M. M. Rutten |
Synthesis of Mealy Machines Using Derivatives. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan J. M. M. Rutten |
A tutorial on coinductive stream calculus and signal flow graphs. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan J. M. M. Rutten |
A coinductive calculus of streams. |
Mathematical Structures in Computer Science |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | José Luiz Fiadeiro, Neil Harman, Markus Roggenbach, Jan J. M. M. Rutten (eds.) |
Algebra and Coalgebra in Computer Science: First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings |
CALCO |
2005 |
DBLP BibTeX RDF |
|
| 1 | 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. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Farhad Arbab, Christel Baier, Frank S. de Boer, Jan J. M. M. Rutten |
Models and Temporal Logics for Timed Component Connectors. |
SEFM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan J. M. M. Rutten |
Behavioural differential equations: a coinductive calculus of streams, automata, and power series. |
Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan J. M. M. Rutten |
Coinductive Counting with Weighted Automata. |
Journal of Automata, Languages and Combinatorics |
2003 |
DBLP BibTeX RDF |
|
| 1 | Jan J. M. M. Rutten |
An Application of Stream Calculus to Signal Flow Graphs. |
FMCO |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Jacobs, Jan J. M. M. Rutten |
Coalgebraic Methods in Computer Science - Foreword. |
Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan J. M. M. Rutten |
Coinductive Counting: Bisimulation in Enumerative Combinatorics. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Farhad Arbab, Jan J. M. M. Rutten |
A Coinductive Calculus of Component Connectors. |
WADT |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Jacobs, Larry Moss, Horst Reichel, Jan J. M. M. Rutten |
Foreword : Coalgebraic Methods in Computer Science 1998. |
Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan J. M. M. Rutten |
Elements of Stream Calculus (An Extensive Exercise in Coinduction). |
Electr. Notes Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan J. M. M. Rutten |
Universal coalgebra: a theory of systems. |
Theor. Comput. Sci. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan J. M. M. Rutten |
Regular Expressions Revisited: A Coinductive Approach to Streams, Automata, and Power Series. |
MPC |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Erik P. de Vink, Jan J. M. M. Rutten |
Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach. |
Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan J. M. M. Rutten |
A note on coinduction and weak bisimilarity for while programs. |
ITA |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Jacobs, Jan J. M. M. Rutten |
Preface. |
Electr. Notes Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan J. M. M. Rutten |
Automata, Power Series, and Coinduction: Taking Input Derivatives Seriously. |
ICALP |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniele Turi, Jan J. M. M. Rutten |
On the Foundations of Final Coalgebra Semantics. |
Mathematical Structures in Computer Science |
1998 |
DBLP BibTeX RDF |
|
| 1 | Bart Jacobs, Larry Moss, Horst Reichel, Jan J. M. M. Rutten |
Preface. |
Electr. Notes Theor. Comput. Sci. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan J. M. M. Rutten |
Relators and Metric Bisimulations. |
Electr. Notes Theor. Comput. Sci. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan J. M. M. Rutten |
Automata and Coinduction (An Exercise in Coalgebra). |
CONCUR |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Erik P. de Vink, Jan J. M. M. Rutten |
Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach. |
ICALP |
1997 |
DBLP DOI BibTeX RDF |
probabilistic transition system, ultrametric space, Borel measure, final coalgebra, Bisimulation, coalgebra |
| 1 | Jan J. M. M. Rutten |
Elements of Generalized Ultrametric Domain Theory. |
Theor. Comput. Sci. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Eiichi Horita, J. W. de Bakker, Jan J. M. M. Rutten |
Fully Abstract Denotational Models for Nonuniform Concurrent Languages |
Inf. Comput. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan J. M. M. Rutten |
A Strucutral Co-Induction Theorem. |
MFPS |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank S. de Boer, Joost N. Kok, Catuscia Palamidessi, Jan J. M. M. Rutten |
Non-monotonic Concurrent Constraint Programming. |
ILPS |
1993 |
DBLP BibTeX RDF |
|
| 1 | Jan J. M. M. Rutten, Daniele Turi |
Initial Algebra and Final Coalgebra Semantics for Concurrency. |
REX School/Symposium |
1993 |
DBLP DOI BibTeX RDF |
bisimulation, Algebra, algebra, induction, initiality, labelled transition system, congruence, coalgebra, coinduction, finality |
| 1 | Pierre America, Jan J. M. M. Rutten |
A Layered Semantics for a Parallel Object-Oriented Language. |
Formal Asp. Comput. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan J. M. M. Rutten |
Processes as Terms: Non-Well-Founded Models for Bisimulation. |
Mathematical Structures in Computer Science |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan J. M. M. Rutten, Jeffery I. Zucker |
A semantic approach to fairness. |
Fundam. Inform. |
1992 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
Parallelism, locality, asynchronous communication, block structure |
| 1 | Jan J. M. M. Rutten, Daniele Turi |
On the Foundation of Final Semantics: Non-Standard Sets, Metric Spaces, Partial Orders. |
REX Workshop |
1992 |
DBLP DOI BibTeX RDF |
final semantics, non-well-founded sets, non-standard set theory, (F-)bisimulation, ordered F-bisimulation, concurrency, partial orders, metric spaces, fixed point, category, coalgebra, functor, domain equation |
| 1 | Frank S. de Boer, Jan J. M. M. Rutten, Joost N. Kok, Catuscia Palamidessi |
Semantic Models for Concurrent Logic Languages. |
Theor. Comput. Sci. |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan J. M. M. Rutten |
Nonwellfounded Sets and Programming Language Semantics. |
MFPS |
1991 |
DBLP DOI BibTeX RDF |
transition system specification, nonwellfounded sets, anti-foundation-axiom, interpretation, bisimulation, compositionality, labelled transition system, Structured operational semantics |
| 1 | Joost N. Kok, Jan J. M. M. Rutten |
Contractions in Comparing Concurrency Semantics. |
Theor. Comput. Sci. |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan J. M. M. Rutten |
Semantic Correctness for a Parallel Object-Oriented Language. |
SIAM J. Comput. |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre America, Jan J. M. M. Rutten |
A Layered Semantics for a Parallel Object-Oriented Language. |
REX Workshop |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre America, Jaco de Bakker, Joost N. Kok, Jan J. M. M. Rutten |
Denotational Semantics of a Parallel Object-Oriented Language |
Inf. Comput. |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre America, Jan J. M. M. Rutten |
Solving Reflexive Domain Equations in a Category of Complete Metric Spaces. |
J. Comput. Syst. Sci. |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank S. de Boer, Joost N. Kok, Catuscia Palamidessi, Jan J. M. M. Rutten |
Semantic Models for a Version of PARLOG. |
ICLP |
1989 |
DBLP BibTeX RDF |
|
| 1 | Joost N. Kok, Jan J. M. M. Rutten |
Contractions in Comparing Concurrent Semantics. |
ICALP |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan J. M. M. Rutten |
Correctness and full abstraction of metric semantics for concurrency. |
REX Workshop |
1988 |
DBLP DOI BibTeX RDF |
complete metric spaces, concurrency, contractions, correctness, operational semantics, compositionality, denotational semantics, full abstraction |
| 1 | Pierre America, Jan J. M. M. Rutten |
Solving Reflexive Domain Equations in a Category of Complete Metric Spaces. |
MFPS |
1987 |
DBLP DOI BibTeX RDF |
complete metric spaces, converging towers, contracting functors, Banach's fixed-point theorem, category theory, domain equations |
| 1 | Pierre America, Jaco de Bakker, Joost N. Kok, Jan J. M. M. Rutten |
Operational Semantics of a Parallel Object-Oriented Language. |
POPL |
1986 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")