Edit Profile (opens in new tab) Rutten, Jan J. M. M. Compute Distance To: Compute Author ID: rutten.jan-j-m-m Published as: Rutten, Jan; Rutten, J. J. M. M.; Rutten, Jan J. M. M.; Rutten, J.; Rutten, Jan J. M. more...less Documents Indexed: 93 Publications since 1988, including 1 Book 11 Contributions as Editor · 1 Further Contribution Co-Authors: 57 Co-Authors with 83 Joint Publications 1,343 Co-Co-Authors all top 5 Co-Authors 22 single-authored 30 Bonsangue, Marcello Maria 18 Silva, Alexandra 10 Bonchi, Filippo 8 Hansen, Helle Hvid 7 de Boer, Frank S. 7 Kok, Joost N. 6 Jacobs, Bart 5 Ballester-Bolinches, Adolfo 5 Cosme-Llópez, Enric 5 Kupke, Clemens 5 Niqui, Milad 5 Palamidessi, Catuscia 5 Rot, Jurriaan 5 Winter, Joost 4 America, Pierre 4 Arbab, Farhad 4 de Bakker, Jacobus W. 4 van Breugel, Franck 3 Basold, Henning 3 Caltais, Georgiana 2 Costa, David Goldstein 2 de Vink, Erik P. 2 Esteban-Romero, Ramón 2 Fiadeiro, José Luiz 2 Panangaden, Prakash 2 Pin, Jean-Eric 2 Salamanca, Julian 1 Aichernig, Bernhard K. 1 Alessi, Fabio 1 America, P. H. M. 1 Ancona, Davide 1 Apt, Krzysztof Rafal 1 Aştefănoaei, Lăcrămioara 1 Baier, Christel 1 Baldan, Paolo 1 Bellè, Gianna 1 Bergstra, Jan A. 1 Boreale, Michele 1 de Bakker, Jaco 1 Fortin, Marie-Josée 1 Gastin, Paul 1 Goriac, Eugen-Ioan 1 Harman, Neil 1 Horita, Eiichi 1 Kashefi, Elham 1 Klop, Jan Willem 1 Kwiatkowska, Marta Z. 1 Lucanu, Dorel 1 Meng, Sun 1 Moss, Larry 1 Norman, Gethin 1 Pous, Damien 1 Reichel, Horst 1 Roggenbach, Markus 1 Sangiorgi, Davide 1 Scutellà, A. 1 Sirjani, Marjan 1 Turi, Daniele 1 Zucker, Jeffery I. all top 5 Serials 13 Theoretical Computer Science 8 Information and Computation 6 MSCS. Mathematical Structures in Computer Science 5 Logical Methods in Computer Science 3 Lecture Notes in Computer Science 3 Electronic Notes in Theoretical Computer Science 3 Scientific Annals of Computer Science 2 Journal of Computer and System Sciences 2 Science of Computer Programming 1 SIAM Journal on Computing 1 Topology and its Applications 1 Annales Societatis Mathematicae Polonae. Series IV 1 Bulletin of the European Association for Theoretical Computer Science (EATCS) 1 Formal Aspects of Computing 1 Journal of Automata, Languages and Combinatorics 1 Bulletin of the European Association for Theoretical Computer Science EATCS 1 Higher-Order and Symbolic Computation 1 RAIRO. Theoretical Informatics and Applications 1 ACM Transactions on Computational Logic 1 Cambridge Tracts in Theoretical Computer Science 1 CRM Monograph Series 1 CWI Tracts all top 5 Fields 105 Computer science (68-XX) 15 Category theory; homological algebra (18-XX) 11 General and overarching topics; collections (00-XX) 7 Mathematical logic and foundations (03-XX) 7 General topology (54-XX) 4 General algebraic systems (08-XX) 2 History and biography (01-XX) 2 Combinatorics (05-XX) 2 Group theory and generalizations (20-XX) 2 Information and communication theory, circuits (94-XX) 1 Number theory (11-XX) 1 Associative rings and algebras (16-XX) 1 Probability theory and stochastic processes (60-XX) 1 Systems theory; control (93-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 87 Publications have been cited 1,400 times in 794 Documents Cited by ▼ Year ▼ Universal coalgebra: A theory of systems. Zbl 0951.68038Rutten, J. J. M. M. 362 2000 A tutorial on (co)algebras and (co)induction. Zbl 0880.68070Jacobs, Bart; Rutten, Jan 110 1997 Solving reflexive domain equations in a category of complete metric spaces. Zbl 0717.18002America, Pierre; Rutten, Jan 70 1989 Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding. Zbl 0997.54042Bonsangue, M. M.; van Breugel, F.; Rutten, J. J. M. M. 61 1998 Bisimulation for probabilistic transition systems: A coalgebraic approach. Zbl 0930.68092de Vink, E. P.; Rutten, J. J. M. M. 58 1999 Automata and coinduction (an exercise in coalgebra). Zbl 0940.68085Rutten, J. J. M. M. 53 1998 Elements of generalized ultrametric domain theory. Zbl 0874.68189Rutten, J. J. M. M. 45 1996 Behavioural differential equations: a coinductive calculus of streams, automata, and power series. Zbl 1071.68050Rutten, J. J. M. M. 44 2003 Modeling component connectors in Reo by constraint automata. Zbl 1105.68058Baier, Christel; Sirjani, Marjan; Arbab, Farhad; Rutten, Jan 41 2006 A coinductive calculus of streams. Zbl 1068.68061Rutten, J. J. M. M. 29 2005 Generalizing determinization from automata to coalgebras. Zbl 1262.18002Silva, Alexandra; Bonchi, Filippo; Bonsangue, Marcello; Rutten, Jan 29 2013 On the foundations of final coalgebra semantics: Non-well-founded sets, partial orders, metric spaces. Zbl 0917.68140Turi, Daniele; Rutten, Jan 28 1998 Denotational semantics of a parallel object-oriented language. Zbl 0695.68058America, Pierre; de Bakker, Jaco; Kok, Joost N.; Rutten, Jan 26 1989 Weighted colimits and formal balls in generalized metric spaces. Zbl 0982.54029Rutten, J. J. M. M. 24 1998 A coinductive calculus of component connectors. Zbl 1278.68200Arbab, F.; Rutten, J. J. M. M. 22 2003 Algebra-coalgebra duality in Brzozowski’s minimization algorithm. Zbl 1288.68174Bonchi, Filippo; Bonsangue, Marcello M.; Hansen, Helle H.; Panangaden, Prakash; Rutten, Jan J. M. M.; Silva, Alexandra 20 2014 A coalgebraic perspective on linear weighted automata. Zbl 1279.68235Bonchi, Filippo; Bonsangue, Marcello; Boreale, Michele; Rutten, Jan; Silva, Alexandra 20 2012 Generalizing the powerset construction, coalgebraically. Zbl 1245.68141Silva, Alexandra; Bonchi, Filippo; Bonsangue, Marcello M.; Rutten, Jan J. M. M. 18 2010 Relators and metric bisimulations. Zbl 0917.68146Rutten, J. J. M. M. 17 1998 An introduction to (co)algebra and (co)induction. Zbl 1285.68105Jacobs, Bart; Rutten, Jan 16 2012 Coalgebraic bisimulation-up-to. Zbl 1303.68088Rot, Jurriaan; Bonsangue, Marcello; Rutten, Jan 15 2013 A tutorial on coinductive stream calculus and signal flow graphs. Zbl 1077.68032Rutten, J. J. M. M. 11 2005 A note on coinduction and weak bisimiliarity for while programs. Zbl 0945.68073Rutten, J. J. M. M. 10 1999 Processes as terms: Non-well-founded models for bisimulation. Zbl 0798.68094Rutten, J. J. M. M. 10 1992 A Kleene theorem for polynomial coalgebras. Zbl 1234.68272Bonsangue, Marcello; Rutten, Jan; Silva, Alexandra 10 2009 Quantitative Kleene coalgebras. Zbl 1227.68075Silva, Alexandra; Bonchi, Filippo; Bonsangue, Marcello; Rutten, Jan 10 2011 Elements of stream calculus (an extensive exercise in coinduction). Zbl 1260.68246Rutten, J. J. M. M. 10 2001 Enhanced coalgebraic bisimulation. Zbl 1380.68300Rot, Jurriaan; Bonchi, Filippo; Bonsangue, Marcello; Pous, Damien; Rutten, Jan; Silva, Alexandra 9 2015 Rational streams coalgebraically. Zbl 1147.68024Rutten, Jan 9 2008 Non-deterministic Kleene coalgebras. Zbl 1208.68141Silva, Alexandra; Bonsangue, Marcello; Rutten, Jan 8 2010 Advanced topics in bisimulation and coinduction. Zbl 1264.68009 8 2012 Coalgebraic logic and synthesis of Mealy machines. Zbl 1137.68034Bonsangue, M. M.; Rutten, Jan; Silva, Alexandra 8 2008 Coalgebraic characterizations of context-free languages. Zbl 1274.68215Winter, Joost; Rutten, Jan J. M.; Bonsangue, Marcello M. 8 2013 Solutions of functorial and non-functorial metric domain equations. Zbl 0910.68130Alessi, F.; Baldan, P.; Bellè, G.; Rutten, J. J. M. M. 8 1995 Semantic correctness for a parallel object-oriented language. Zbl 0697.68077Rutten, J. J. M. M. 8 1990 From failure to success: Comparing a denotational and a declarative semantics for Horn clause logic. Zbl 0761.68055de Boer, F. S.; Kok, J. N.; Palamidessi, C.; Rutten, J. J. M. M. 7 1992 Brzozowski’s algorithm (co)algebraically. Zbl 1354.68185Bonchi, Filippo; Bonsangue, Marcello M.; Rutten, Jan J. M. M.; Silva, Alexandra 7 2012 Automata, power series, and coinduction: Taking input derivatives seriously. (Extended abstract). Zbl 0941.68638Rutten, J. J. M. M. 6 1999 Fully abstract denotational models for nonuniform concurrent languages. Zbl 0824.68060Horita, E.; de Bakker, J. W.; Rutten, J. J. M. M. 6 1994 Control flow versus logic: A denotational and a declarative model for Guarded Horn Clauses. Zbl 0755.68094de Boer, Frank S.; Kok, Joost N.; Palamidessi, Catuscia; Rutten, Jan J. M. M. 6 1989 Formations of monoids, congruences, and formal languages. Zbl 1423.68298Ballester-Bolinches, A.; Cosme-Llópez, E.; Esteban-Romero, R.; Rutten, J. J. M. M. 6 2015 Contractions in comparing concurrency semantics. Zbl 0649.68011Kok, J. N.; Rutten, J. J. M. M. 6 1988 On the final coalgebra of automatic sequences. Zbl 1354.68183Kupke, Clemens; Rutten, Jan J. M. M. 6 2012 Coalgebra, concurrency, and control. Zbl 1017.93064Rutten, J. J. M. M. 6 2000 Coinductive counting with weighted automata. Zbl 1089.68058Rutten, J. J. M. M. 6 2003 Contractions in comparing concurrency semantics. Zbl 0707.68054Kok, Joost N.; Rutten, Jan J. M. M. 6 1990 Alexandroff and Scott topologies for generalized metric spaces. Zbl 0955.54008Bonsangue, M. M.; van Breugel, F.; Rutten, J. J. M. M. 5 1996 Behavioural differential equations and coinduction for binary trees. Zbl 1213.68393Silva, Alexandra; Rutten, Jan 5 2007 Context-free coalgebras. Zbl 1328.68133Winter, Joost; Bonsangue, Marcello M.; Rutten, Jan J. M. M. 5 2015 A proof of Moessner’s theorem by coinduction. Zbl 1256.68120Niqui, M.; Rutten, J. J. M. M. 5 2011 Defining context-free power series coalgebraically. Zbl 1328.68132Bonsangue, Marcello M.; Rutten, Jan; Winter, Joost 4 2012 Bisimulation for probabilistic transition systems: a coalgebraic approach. Zbl 1401.68236de Vink, E. P.; Rutten, J. J. M. M. 4 1997 Deriving syntax and axioms for quantitative regular behaviours. Zbl 1254.68129Bonchi, Filippo; Bonsangue, Marcello; Rutten, Jan; Silva, Alexandra 4 2009 Stream differential equations: specification formats and solution methods. Zbl 1451.68181Hansen, Helle Hvid; Kupke, Clemens; Rutten, Jan 4 2017 The dual equivalence of equations and coequations for automata. Zbl 1333.68184Ballester-Bolinches, A.; Cosme-Llópez, E.; Rutten, J. 4 2015 Context-free languages, coalgebraically. Zbl 1344.68152Winter, Joost; Bonsangue, Marcello M.; Rutten, Jan 4 2011 (Co)algebraic characterizations of signal flow graphs. Zbl 1407.68183Basold, Henning; Bonsangue, Marcello; Hansen, Helle Hvid; Rutten, Jan 3 2014 Final semantics for decorated traces. Zbl 1342.68224Bonchi, Filippo; Bonsangue, Marcello; Caltais, Georgiana; Rutten, Jan; Silva, Alexandra 3 2012 Semantic models for concurrent logic languages. Zbl 0744.68087de Boer, F. S.; Rutten, J. J. M. M.; Kok, J. N.; Palamidessi, C. 3 1991 A layered semantics for a parallel object-oriented language. Zbl 0752.68052America, Pierre; Rutten, Jan 3 1992 Solving reflexive domain equations in a category of complete metric spaces. Zbl 0664.18002America, Pierre; Rutten, Jan 3 1988 A paradigm for asynchronous communication and its application to concurrent constraint programming. Zbl 0832.68014de Boer, Frank S.; Kok, Joost N.; Palamidessi, Catuscia; Rutten, Jan J. M. M. 3 1993 Coinductive proof techniques for language equivalence. Zbl 1333.68173Rot, Jurriaan; Bonsangue, Marcello; Rutten, Jan 3 2013 Synthesis of Mealy machines using derivatives. Zbl 1276.68111Hansen, Helle Hvid; Costa, David; Rutten, Jan 3 2006 Observational coalgebras and complete sets of co-operations. Zbl 1279.68233Kupke, Clemens; Rutten, Jan 3 2008 Sampling, splitting and merging in coinductive stream calculus. Zbl 1286.68089Niqui, Milad; Rutten, Jan 2 2010 A parallel object-oriented language: design and semantic foundations. Zbl 0760.68044America, P. H. M.; Rutten, J. J. M. M. 2 1991 A decision procedure for bisimilarity of generalized regular expressions. Zbl 1325.68127Bonsangue, Marcello; Caltais, Georgiana; Goriac, Eugen-Ioan; Lucanu, Dorel; Rutten, Jan; Silva, Alexandra 2 2011 Proving language inclusion and equivalence by coinduction. Zbl 1333.68174Rot, Jurriaan; Bonsangue, Marcello; Rutten, Jan 2 2016 Coalgebraic methods in computer science, CMCS ’98. Proceedings of the 1st workshop, Lisbon, Portugal, March 28–29, 1998. Zbl 0903.00067 2 1998 Newton series, coinductively. Zbl 1407.68316Basold, Henning; Hansen, Helle Hvid; Pin, Jean-Éric; Rutten, Jan 1 2015 A final coalgebra for \(k\)-regular sequences. Zbl 1407.68318Hansen, Helle Hvid; Kupke, Clemens; Rutten, Jan; Winter, Joost 1 2014 A transition system semantics for the control-driven coordination language MANIFOLD. Zbl 0954.68107Bonsangue, M. M.; Arbab, F.; de Bakker, J. W.; Rutten, J. J. M. M.; Scutellà, A. 1 2000 Mathematical techniques for analyzing concurrent and probabilistic systems. Zbl 1069.68074 1 2004 A coalgebraic view on decorated traces. Zbl 1364.68276Bonchi, F.; Bonsangue, M.; Caltais, G.; Rutten, J.; Silva, A. 1 2016 A semantic approach to fairness. Zbl 0773.68051Rutten, J. J. M. M.; Zucker, J. I. 1 1992 Complete sets of cooperations. Zbl 1209.68161Kupke, Clemens; Rutten, Jan 1 2010 Correctness and full abstraction of metric semantics for concurrency. (Technical contribution). Zbl 0683.68073Rutten, J. J. M. M. 1 1989 Coalgebraic foundations of linear systems. (An exercise in stream calculus). Zbl 1214.68232Rutten, J. J. M. M. 1 2007 Intentional automata: a context-dependent model for component connectors (extended abstract). Zbl 1353.68163Costa, David; Niqui, Milad; Rutten, Jan 1 2012 Connectors as designs: modeling, refinement and test case generation. Zbl 1242.68070Meng, Sun; Arbab, Farhad; Aichernig, Bernhard K.; Aştefănoaei, Lăcrămioara; de Boer, Frank S.; Rutten, Jan 1 2012 Algebra, bitstreams, and circuits. Zbl 1083.68043Rutten, J. J. M. M. 1 2005 Coinductive counting: bisimulation in enumerative combinatorics (extended abstract). Zbl 1270.68149Rutten, J. J. M. M. 1 2002 Regular varieties of automata and coequations. Zbl 1432.68270Salamanca, J.; Ballester-Bolinches, A.; Bonsangue, M. M.; Cosme-Llópez, E.; Rutten, J. J. M. M. 1 2015 Equations and coequations for weighted automata. Zbl 1465.68186Salamanca, Julian; Bonsangue, Marcello; Rutten, Jan 1 2015 Varieties and covarieties of languages (extended abstract). Zbl 1334.68139Rutten, Jan; Ballester-Bolinches, Adolfo; Cosme-Llópez, Enric 1 2013 A coinductive calculus of binary trees. Zbl 1200.68082Silva, Alexandra; Rutten, Jan 1 2010 Stream differential equations: specification formats and solution methods. Zbl 1451.68181Hansen, Helle Hvid; Kupke, Clemens; Rutten, Jan 4 2017 Proving language inclusion and equivalence by coinduction. Zbl 1333.68174Rot, Jurriaan; Bonsangue, Marcello; Rutten, Jan 2 2016 A coalgebraic view on decorated traces. Zbl 1364.68276Bonchi, F.; Bonsangue, M.; Caltais, G.; Rutten, J.; Silva, A. 1 2016 Enhanced coalgebraic bisimulation. Zbl 1380.68300Rot, Jurriaan; Bonchi, Filippo; Bonsangue, Marcello; Pous, Damien; Rutten, Jan; Silva, Alexandra 9 2015 Formations of monoids, congruences, and formal languages. Zbl 1423.68298Ballester-Bolinches, A.; Cosme-Llópez, E.; Esteban-Romero, R.; Rutten, J. J. M. M. 6 2015 Context-free coalgebras. Zbl 1328.68133Winter, Joost; Bonsangue, Marcello M.; Rutten, Jan J. M. M. 5 2015 The dual equivalence of equations and coequations for automata. Zbl 1333.68184Ballester-Bolinches, A.; Cosme-Llópez, E.; Rutten, J. 4 2015 Newton series, coinductively. Zbl 1407.68316Basold, Henning; Hansen, Helle Hvid; Pin, Jean-Éric; Rutten, Jan 1 2015 Regular varieties of automata and coequations. Zbl 1432.68270Salamanca, J.; Ballester-Bolinches, A.; Bonsangue, M. M.; Cosme-Llópez, E.; Rutten, J. J. M. M. 1 2015 Equations and coequations for weighted automata. Zbl 1465.68186Salamanca, Julian; Bonsangue, Marcello; Rutten, Jan 1 2015 Algebra-coalgebra duality in Brzozowski’s minimization algorithm. Zbl 1288.68174Bonchi, Filippo; Bonsangue, Marcello M.; Hansen, Helle H.; Panangaden, Prakash; Rutten, Jan J. M. M.; Silva, Alexandra 20 2014 (Co)algebraic characterizations of signal flow graphs. Zbl 1407.68183Basold, Henning; Bonsangue, Marcello; Hansen, Helle Hvid; Rutten, Jan 3 2014 A final coalgebra for \(k\)-regular sequences. Zbl 1407.68318Hansen, Helle Hvid; Kupke, Clemens; Rutten, Jan; Winter, Joost 1 2014 Generalizing determinization from automata to coalgebras. Zbl 1262.18002Silva, Alexandra; Bonchi, Filippo; Bonsangue, Marcello; Rutten, Jan 29 2013 Coalgebraic bisimulation-up-to. Zbl 1303.68088Rot, Jurriaan; Bonsangue, Marcello; Rutten, Jan 15 2013 Coalgebraic characterizations of context-free languages. Zbl 1274.68215Winter, Joost; Rutten, Jan J. M.; Bonsangue, Marcello M. 8 2013 Coinductive proof techniques for language equivalence. Zbl 1333.68173Rot, Jurriaan; Bonsangue, Marcello; Rutten, Jan 3 2013 Varieties and covarieties of languages (extended abstract). Zbl 1334.68139Rutten, Jan; Ballester-Bolinches, Adolfo; Cosme-Llópez, Enric 1 2013 A coalgebraic perspective on linear weighted automata. Zbl 1279.68235Bonchi, Filippo; Bonsangue, Marcello; Boreale, Michele; Rutten, Jan; Silva, Alexandra 20 2012 An introduction to (co)algebra and (co)induction. Zbl 1285.68105Jacobs, Bart; Rutten, Jan 16 2012 Advanced topics in bisimulation and coinduction. Zbl 1264.68009 8 2012 Brzozowski’s algorithm (co)algebraically. Zbl 1354.68185Bonchi, Filippo; Bonsangue, Marcello M.; Rutten, Jan J. M. M.; Silva, Alexandra 7 2012 On the final coalgebra of automatic sequences. Zbl 1354.68183Kupke, Clemens; Rutten, Jan J. M. M. 6 2012 Defining context-free power series coalgebraically. Zbl 1328.68132Bonsangue, Marcello M.; Rutten, Jan; Winter, Joost 4 2012 Final semantics for decorated traces. Zbl 1342.68224Bonchi, Filippo; Bonsangue, Marcello; Caltais, Georgiana; Rutten, Jan; Silva, Alexandra 3 2012 Intentional automata: a context-dependent model for component connectors (extended abstract). Zbl 1353.68163Costa, David; Niqui, Milad; Rutten, Jan 1 2012 Connectors as designs: modeling, refinement and test case generation. Zbl 1242.68070Meng, Sun; Arbab, Farhad; Aichernig, Bernhard K.; Aştefănoaei, Lăcrămioara; de Boer, Frank S.; Rutten, Jan 1 2012 Quantitative Kleene coalgebras. Zbl 1227.68075Silva, Alexandra; Bonchi, Filippo; Bonsangue, Marcello; Rutten, Jan 10 2011 A proof of Moessner’s theorem by coinduction. Zbl 1256.68120Niqui, M.; Rutten, J. J. M. M. 5 2011 Context-free languages, coalgebraically. Zbl 1344.68152Winter, Joost; Bonsangue, Marcello M.; Rutten, Jan 4 2011 A decision procedure for bisimilarity of generalized regular expressions. Zbl 1325.68127Bonsangue, Marcello; Caltais, Georgiana; Goriac, Eugen-Ioan; Lucanu, Dorel; Rutten, Jan; Silva, Alexandra 2 2011 Generalizing the powerset construction, coalgebraically. Zbl 1245.68141Silva, Alexandra; Bonchi, Filippo; Bonsangue, Marcello M.; Rutten, Jan J. M. M. 18 2010 Non-deterministic Kleene coalgebras. Zbl 1208.68141Silva, Alexandra; Bonsangue, Marcello; Rutten, Jan 8 2010 Sampling, splitting and merging in coinductive stream calculus. Zbl 1286.68089Niqui, Milad; Rutten, Jan 2 2010 Complete sets of cooperations. Zbl 1209.68161Kupke, Clemens; Rutten, Jan 1 2010 A coinductive calculus of binary trees. Zbl 1200.68082Silva, Alexandra; Rutten, Jan 1 2010 A Kleene theorem for polynomial coalgebras. Zbl 1234.68272Bonsangue, Marcello; Rutten, Jan; Silva, Alexandra 10 2009 Deriving syntax and axioms for quantitative regular behaviours. Zbl 1254.68129Bonchi, Filippo; Bonsangue, Marcello; Rutten, Jan; Silva, Alexandra 4 2009 Rational streams coalgebraically. Zbl 1147.68024Rutten, Jan 9 2008 Coalgebraic logic and synthesis of Mealy machines. Zbl 1137.68034Bonsangue, M. M.; Rutten, Jan; Silva, Alexandra 8 2008 Observational coalgebras and complete sets of co-operations. Zbl 1279.68233Kupke, Clemens; Rutten, Jan 3 2008 Behavioural differential equations and coinduction for binary trees. Zbl 1213.68393Silva, Alexandra; Rutten, Jan 5 2007 Coalgebraic foundations of linear systems. (An exercise in stream calculus). Zbl 1214.68232Rutten, J. J. M. M. 1 2007 Modeling component connectors in Reo by constraint automata. Zbl 1105.68058Baier, Christel; Sirjani, Marjan; Arbab, Farhad; Rutten, Jan 41 2006 Synthesis of Mealy machines using derivatives. Zbl 1276.68111Hansen, Helle Hvid; Costa, David; Rutten, Jan 3 2006 A coinductive calculus of streams. Zbl 1068.68061Rutten, J. J. M. M. 29 2005 A tutorial on coinductive stream calculus and signal flow graphs. Zbl 1077.68032Rutten, J. J. M. M. 11 2005 Algebra, bitstreams, and circuits. Zbl 1083.68043Rutten, J. J. M. M. 1 2005 Mathematical techniques for analyzing concurrent and probabilistic systems. Zbl 1069.68074 1 2004 Behavioural differential equations: a coinductive calculus of streams, automata, and power series. Zbl 1071.68050Rutten, J. J. M. M. 44 2003 A coinductive calculus of component connectors. Zbl 1278.68200Arbab, F.; Rutten, J. J. M. M. 22 2003 Coinductive counting with weighted automata. Zbl 1089.68058Rutten, J. J. M. M. 6 2003 Coinductive counting: bisimulation in enumerative combinatorics (extended abstract). Zbl 1270.68149Rutten, J. J. M. M. 1 2002 Elements of stream calculus (an extensive exercise in coinduction). Zbl 1260.68246Rutten, J. J. M. M. 10 2001 Universal coalgebra: A theory of systems. Zbl 0951.68038Rutten, J. J. M. M. 362 2000 Coalgebra, concurrency, and control. Zbl 1017.93064Rutten, J. J. M. M. 6 2000 A transition system semantics for the control-driven coordination language MANIFOLD. Zbl 0954.68107Bonsangue, M. M.; Arbab, F.; de Bakker, J. W.; Rutten, J. J. M. M.; Scutellà, A. 1 2000 Bisimulation for probabilistic transition systems: A coalgebraic approach. Zbl 0930.68092de Vink, E. P.; Rutten, J. J. M. M. 58 1999 A note on coinduction and weak bisimiliarity for while programs. Zbl 0945.68073Rutten, J. J. M. M. 10 1999 Automata, power series, and coinduction: Taking input derivatives seriously. (Extended abstract). Zbl 0941.68638Rutten, J. J. M. M. 6 1999 Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding. Zbl 0997.54042Bonsangue, M. M.; van Breugel, F.; Rutten, J. J. M. M. 61 1998 Automata and coinduction (an exercise in coalgebra). Zbl 0940.68085Rutten, J. J. M. M. 53 1998 On the foundations of final coalgebra semantics: Non-well-founded sets, partial orders, metric spaces. Zbl 0917.68140Turi, Daniele; Rutten, Jan 28 1998 Weighted colimits and formal balls in generalized metric spaces. Zbl 0982.54029Rutten, J. J. M. M. 24 1998 Relators and metric bisimulations. Zbl 0917.68146Rutten, J. J. M. M. 17 1998 Coalgebraic methods in computer science, CMCS ’98. Proceedings of the 1st workshop, Lisbon, Portugal, March 28–29, 1998. Zbl 0903.00067 2 1998 A tutorial on (co)algebras and (co)induction. Zbl 0880.68070Jacobs, Bart; Rutten, Jan 110 1997 Bisimulation for probabilistic transition systems: a coalgebraic approach. Zbl 1401.68236de Vink, E. P.; Rutten, J. J. M. M. 4 1997 Elements of generalized ultrametric domain theory. Zbl 0874.68189Rutten, J. J. M. M. 45 1996 Alexandroff and Scott topologies for generalized metric spaces. Zbl 0955.54008Bonsangue, M. M.; van Breugel, F.; Rutten, J. J. M. M. 5 1996 Solutions of functorial and non-functorial metric domain equations. Zbl 0910.68130Alessi, F.; Baldan, P.; Bellè, G.; Rutten, J. J. M. M. 8 1995 Fully abstract denotational models for nonuniform concurrent languages. Zbl 0824.68060Horita, E.; de Bakker, J. W.; Rutten, J. J. M. M. 6 1994 A paradigm for asynchronous communication and its application to concurrent constraint programming. Zbl 0832.68014de Boer, Frank S.; Kok, Joost N.; Palamidessi, Catuscia; Rutten, Jan J. M. M. 3 1993 Processes as terms: Non-well-founded models for bisimulation. Zbl 0798.68094Rutten, J. J. M. M. 10 1992 From failure to success: Comparing a denotational and a declarative semantics for Horn clause logic. Zbl 0761.68055de Boer, F. S.; Kok, J. N.; Palamidessi, C.; Rutten, J. J. M. M. 7 1992 A layered semantics for a parallel object-oriented language. Zbl 0752.68052America, Pierre; Rutten, Jan 3 1992 A semantic approach to fairness. Zbl 0773.68051Rutten, J. J. M. M.; Zucker, J. I. 1 1992 Semantic models for concurrent logic languages. Zbl 0744.68087de Boer, F. S.; Rutten, J. J. M. M.; Kok, J. N.; Palamidessi, C. 3 1991 A parallel object-oriented language: design and semantic foundations. Zbl 0760.68044America, P. H. M.; Rutten, J. J. M. M. 2 1991 Semantic correctness for a parallel object-oriented language. Zbl 0697.68077Rutten, J. J. M. M. 8 1990 Contractions in comparing concurrency semantics. Zbl 0707.68054Kok, Joost N.; Rutten, Jan J. M. M. 6 1990 Solving reflexive domain equations in a category of complete metric spaces. Zbl 0717.18002America, Pierre; Rutten, Jan 70 1989 Denotational semantics of a parallel object-oriented language. Zbl 0695.68058America, Pierre; de Bakker, Jaco; Kok, Joost N.; Rutten, Jan 26 1989 Control flow versus logic: A denotational and a declarative model for Guarded Horn Clauses. Zbl 0755.68094de Boer, Frank S.; Kok, Joost N.; Palamidessi, Catuscia; Rutten, Jan J. M. M. 6 1989 Correctness and full abstraction of metric semantics for concurrency. (Technical contribution). Zbl 0683.68073Rutten, J. J. M. M. 1 1989 Contractions in comparing concurrency semantics. Zbl 0649.68011Kok, J. N.; Rutten, J. J. M. M. 6 1988 Solving reflexive domain equations in a category of complete metric spaces. Zbl 0664.18002America, Pierre; Rutten, Jan 3 1988 all cited Publications top 5 cited Publications all top 5 Cited by 748 Authors 41 Rutten, Jan J. M. M. 29 Silva, Alexandra 27 Milius, Stefan 24 Bonchi, Filippo 22 Schröder, Lutz 21 Adámek, Jiří 20 Bonsangue, Marcello Maria 18 Montanari, Ugo G. 18 Rot, Jurriaan 17 Jacobs, Bart 16 Arbab, Farhad 15 Kurz, Alexander 13 Kupke, Clemens 12 Klin, Bartek 12 Panangaden, Prakash 12 Zhang, Dexue 11 Baier, Christel 11 Birkedal, Lars 11 Doberkat, Ernst-Erich 11 Hansen, Helle Hvid 11 Pattinson, Dirk 11 Wißmann, Thorsten 10 Cîrstea, Corina 10 Hasuo, Ichiro 10 van Breugel, Franck 10 Venema, Yde 9 Barbosa, Luís Soares 9 de Vink, Erik P. 9 Gumm, Heinz-Peter 9 Hofmann, Dirk 9 Sokolova, Ana 8 Boreale, Michele 8 de Bakker, Jacobus W. 8 Desharnais, Josée 8 Velebil, Jiří 7 Kozen, Dexter C. 7 Lai, Hongliang 7 Pous, Damien 7 Sammartino, Matteo 7 Worrell, James B. 7 Zanasi, Fabio 6 America, Pierre 6 Clarke, Dave 6 de Boer, Frank S. 6 Kok, Joost N. 6 Komenda, Jan 6 König, Barbara 6 Majster-Cederbaum, Mila E. 6 Miculan, Marino 6 Moss, Lawrence S. 6 Roşu, Grigore 6 Sangiorgi, Davide 6 Sobociński, Paweł 6 Støvring, Kristian 6 Talcott, Carolyn L. 6 Urbat, Henning 6 Yao, Wei 6 Zhao, Bin 5 Bacci, Giorgio 5 Bruni, Roberto 5 Endrullis, Jörg 5 Fan, Lei 5 Goldblatt, Robert Ian 5 Honsell, Furio 5 Hughes, Jesse 5 Küpper, Sebastian 5 Meng, Sun 5 Oliveira, José Nuno 5 Pavlović, Duško 5 Thamsborg, Jacob 5 Waszkiewicz, Paweł 4 Abramsky, Samson 4 Blanchette, Jasmin Christian 4 Brengos, Tomasz 4 Ciancia, Vincenzo 4 Czajka, Łukasz 4 Dorsch, Ulrich 4 Gadducci, Fabio 4 Goncharov, Sergeĭ Savost’yanovich 4 Goubault-Larrecq, Jean 4 Hendriks, Dimitri 4 Kappé, Tobias 4 Kianpi, Maurice 4 Klüppelholz, Sascha 4 Krause, Christian 4 Lanese, Ivan 4 Larsen, Kim Guldstrand 4 Laviolette, François 4 Lazovik, Alexander 4 Lenisa, Marina 4 Lion, Benjamin 4 Lucanu, Dorel 4 Neves, Renato 4 Palamidessi, Catuscia 4 Petrisan, Daniela Luan 4 Power, John 4 Reus, Bernhard 4 Romaguera Bonilla, Salvador 4 Sirjani, Marjan 4 Sprunger, David ...and 648 more Authors all top 5 Cited in 97 Serials 139 Theoretical Computer Science 51 Information and Computation 38 MSCS. Mathematical Structures in Computer Science 32 Logical Methods in Computer Science 25 Journal of Logical and Algebraic Methods in Programming 17 Fuzzy Sets and Systems 15 Topology and its Applications 15 Annals of Pure and Applied Logic 15 Formal Aspects of Computing 13 Science of Computer Programming 12 Applied Categorical Structures 10 RAIRO. Theoretical Informatics and Applications 10 The Journal of Logic and Algebraic Programming 9 Journal of Pure and Applied Algebra 8 Journal of Functional Programming 7 Journal of Computer and System Sciences 6 Acta Informatica 5 Journal of Automated Reasoning 4 Information Processing Letters 4 Algebra Universalis 4 Notre Dame Journal of Formal Logic 4 Discrete Event Dynamic Systems 4 Theory and Applications of Categories 3 International Journal of Computer Mathematics 3 Formal Methods in System Design 3 Soft Computing 3 Journal of Applied Logic 3 RAIRO. Theoretical Informatics and Applications 2 Commentationes Mathematicae Universitatis Carolinae 2 Information Sciences 2 International Journal of Mathematics and Mathematical Sciences 2 Journal of Philosophical Logic 2 The Journal of Symbolic Logic 2 Studia Logica 2 Acta Mathematica Hungarica 2 New Generation Computing 2 International Journal of Algebra and Computation 2 International Journal of Foundations of Computer Science 2 Cybernetics and Systems Analysis 2 Higher-Order and Symbolic Computation 2 Journal of Intelligent and Fuzzy Systems 2 ACM Transactions on Computational Logic 2 Fixed Point Theory and Applications 1 Discrete Mathematics 1 Journal of Mathematical Analysis and Applications 1 Mathematical Notes 1 Advances in Mathematics 1 Applied Mathematics and Computation 1 Automatica 1 BIT 1 Demonstratio Mathematica 1 Geometriae Dedicata 1 Journal of Algebra 1 Journal of Econometrics 1 Numerical Functional Analysis and Optimization 1 Quaestiones Mathematicae 1 Rendiconti del Circolo Matemàtico di Palermo. Serie II 1 Rendiconti dell’Istituto di Matematica dell’Università di Trieste 1 Revista de la Unión Matemática Argentina 1 SIAM Journal on Control and Optimization 1 Synthese 1 Chinese Annals of Mathematics. Series B 1 Optimization 1 International Journal of Approximate Reasoning 1 Automation and Remote Control 1 Archive for Mathematical Logic 1 Topology Proceedings 1 Mathematical Logic Quarterly (MLQ) 1 Constraints 1 European Journal of Control 1 Theory of Computing Systems 1 Abstract and Applied Analysis 1 Journal of the ACM 1 Journal of Discrete Mathematical Sciences & Cryptography 1 Annales Mathematicae Silesianae 1 Theory and Practice of Logic Programming 1 Journal of Applied Mathematics 1 Computer Languages, Systems & Structures 1 Hacettepe Journal of Mathematics and Statistics 1 Journal of Algebra and its Applications 1 International Journal of Geometric Methods in Modern Physics 1 Mediterranean Journal of Mathematics 1 Mathematics in Computer Science 1 Logica Universalis 1 Asian-European Journal of Mathematics 1 Acta Universitatis Sapientiae. Mathematica 1 \(p\)-Adic Numbers, Ultrametric Analysis, and Applications 1 Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A: Matemáticas. RACSAM 1 Frontiers of Computer Science 1 International Journal of Analysis 1 Chinese Journal of Mathematics 1 Open Mathematics 1 Philosophical Transactions A. Royal Society of London 1 Categories and General Algebraic Structures with Applications 1 Journal of Applied Mathematics and Computational Mechanics 1 Bollettino dell’Unione Matematica Italiana 1 AIMS Mathematics all top 5 Cited in 34 Fields 622 Computer science (68-XX) 204 Category theory; homological algebra (18-XX) 179 Mathematical logic and foundations (03-XX) 77 Order, lattices, ordered algebraic structures (06-XX) 69 General topology (54-XX) 25 General algebraic systems (08-XX) 17 Probability theory and stochastic processes (60-XX) 15 Systems theory; control (93-XX) 14 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 10 Group theory and generalizations (20-XX) 7 Associative rings and algebras (16-XX) 7 Quantum theory (81-XX) 5 Number theory (11-XX) 5 Operator theory (47-XX) 5 Information and communication theory, circuits (94-XX) 4 Commutative algebra (13-XX) 4 Measure and integration (28-XX) 4 Functional analysis (46-XX) 3 Linear and multilinear algebra; matrix theory (15-XX) 3 Ordinary differential equations (34-XX) 3 Dynamical systems and ergodic theory (37-XX) 3 Operations research, mathematical programming (90-XX) 3 Biology and other natural sciences (92-XX) 2 Combinatorics (05-XX) 2 Geometry (51-XX) 1 General and overarching topics; collections (00-XX) 1 History and biography (01-XX) 1 Nonassociative rings and algebras (17-XX) 1 Topological groups, Lie groups (22-XX) 1 Functions of a complex variable (30-XX) 1 Partial differential equations (35-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Differential geometry (53-XX) 1 Global analysis, analysis on manifolds (58-XX) Citations by Year