Edit Profile (opens in new tab) Rutten, Jan J. M. M. Co-Author Distance 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: 95 Publications since 1988, including 1 Book 11 Contributions as Editor · 1 Further Contribution Co-Authors: 57 Co-Authors with 83 Joint Publications 1,402 Co-Co-Authors all top 5 Co-Authors 24 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 Parker, David F. 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 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 107 Computer science (68-XX) 16 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 Order, lattices, ordered algebraic structures (06-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 95 Publications have been cited 1,615 times in 920 Documents Cited by ▼ Year ▼ Universal coalgebra: A theory of systems. Zbl 0951.68038 Rutten, J. J. M. M. 411 2000 A tutorial on (co)algebras and (co)induction. Zbl 0880.68070 Jacobs, Bart; Rutten, Jan 117 1997 Solving reflexive domain equations in a category of complete metric spaces. Zbl 0717.18002 America, Pierre; Rutten, Jan 84 1989 Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding. Zbl 0997.54042 Bonsangue, M. M.; van Breugel, F.; Rutten, J. J. M. M. 66 1998 Bisimulation for probabilistic transition systems: A coalgebraic approach. Zbl 0930.68092 de Vink, E. P.; Rutten, J. J. M. M. 63 1999 Automata and coinduction (an exercise in coalgebra). Zbl 0940.68085 Rutten, J. J. M. M. 61 1998 Elements of generalized ultrametric domain theory. Zbl 0874.68189 Rutten, J. J. M. M. 51 1996 Behavioural differential equations: a coinductive calculus of streams, automata, and power series. Zbl 1071.68050 Rutten, J. J. M. M. 50 2003 Modeling component connectors in Reo by constraint automata. Zbl 1105.68058 Baier, Christel; Sirjani, Marjan; Arbab, Farhad; Rutten, Jan 47 2006 A coinductive calculus of streams. Zbl 1068.68061 Rutten, J. J. M. M. 39 2005 Generalizing determinization from automata to coalgebras. Zbl 1262.18002 Silva, Alexandra; Bonchi, Filippo; Bonsangue, Marcello; Rutten, Jan 32 2013 On the foundations of final coalgebra semantics: Non-well-founded sets, partial orders, metric spaces. Zbl 0917.68140 Turi, Daniele; Rutten, Jan 30 1998 Denotational semantics of a parallel object-oriented language. Zbl 0695.68058 America, Pierre; de Bakker, Jaco; Kok, Joost N.; Rutten, Jan 29 1989 A coalgebraic perspective on linear weighted automata. Zbl 1279.68235 Bonchi, Filippo; Bonsangue, Marcello; Boreale, Michele; Rutten, Jan; Silva, Alexandra 27 2012 Algebra-coalgebra duality in Brzozowski’s minimization algorithm. Zbl 1288.68174 Bonchi, Filippo; Bonsangue, Marcello M.; Hansen, Helle H.; Panangaden, Prakash; Rutten, Jan J. M. M.; Silva, Alexandra 26 2014 Weighted colimits and formal balls in generalized metric spaces. Zbl 0982.54029 Rutten, J. J. M. M. 24 1998 A coinductive calculus of component connectors. Zbl 1278.68200 Arbab, F.; Rutten, J. J. M. M. 24 2003 Mathematical techniques for analyzing concurrent and probabilistic systems. Zbl 1069.68074 21 2004 Relators and metric bisimulations. Zbl 0917.68146 Rutten, J. J. M. M. 19 1998 Generalizing the powerset construction, coalgebraically. Zbl 1245.68141 Silva, Alexandra; Bonchi, Filippo; Bonsangue, Marcello M.; Rutten, Jan J. M. M. 19 2010 Coalgebraic bisimulation-up-to. Zbl 1303.68088 Rot, Jurriaan; Bonsangue, Marcello; Rutten, Jan 18 2013 An introduction to (co)algebra and (co)induction. Zbl 1285.68105 Jacobs, Bart; Rutten, Jan 18 2012 A tutorial on coinductive stream calculus and signal flow graphs. Zbl 1077.68032 Rutten, J. J. M. M. 15 2005 Processes as terms: Non-well-founded models for bisimulation. Zbl 0798.68094 Rutten, J. J. M. M. 14 1992 Elements of stream calculus (an extensive exercise in coinduction). Zbl 1260.68246 Rutten, J. J. M. M. 13 2001 Advanced topics in bisimulation and coinduction. Zbl 1264.68009 12 2012 A Kleene theorem for polynomial coalgebras. Zbl 1234.68272 Bonsangue, Marcello; Rutten, Jan; Silva, Alexandra 11 2009 A note on coinduction and weak bisimiliarity for while programs. Zbl 0945.68073 Rutten, J. J. M. M. 10 1999 Quantitative Kleene coalgebras. Zbl 1227.68075 Silva, Alexandra; Bonchi, Filippo; Bonsangue, Marcello; Rutten, Jan 10 2011 Enhanced coalgebraic bisimulation. Zbl 1380.68300 Rot, Jurriaan; Bonchi, Filippo; Bonsangue, Marcello; Pous, Damien; Rutten, Jan; Silva, Alexandra 10 2015 Coalgebraic characterizations of context-free languages. Zbl 1274.68215 Winter, Joost; Rutten, Jan J. M.; Bonsangue, Marcello M. 10 2013 Rational streams coalgebraically. Zbl 1147.68024 Rutten, Jan 9 2008 Brzozowski’s algorithm (co)algebraically. Zbl 1354.68185 Bonchi, Filippo; Bonsangue, Marcello M.; Rutten, Jan J. M. M.; Silva, Alexandra 9 2012 Non-deterministic Kleene coalgebras. Zbl 1208.68141 Silva, Alexandra; Bonsangue, Marcello; Rutten, Jan 9 2010 Automata, power series, and coinduction: Taking input derivatives seriously. (Extended abstract). Zbl 0941.68638 Rutten, J. J. M. M. 8 1999 Solutions of functorial and non-functorial metric domain equations. Zbl 0910.68130 Alessi, F.; Baldan, P.; Bellè, G.; Rutten, J. J. M. M. 8 1995 Contractions in comparing concurrency semantics. Zbl 0707.68054 Kok, Joost N.; Rutten, Jan J. M. M. 8 1990 Semantic correctness for a parallel object-oriented language. Zbl 0697.68077 Rutten, J. J. M. M. 8 1990 Coalgebraic logic and synthesis of Mealy machines. Zbl 1137.68034 Bonsangue, M. M.; Rutten, Jan; Silva, Alexandra 8 2008 Fully abstract denotational models for nonuniform concurrent languages. Zbl 0824.68060 Horita, E.; de Bakker, J. W.; Rutten, J. J. M. M. 8 1994 From failure to success: Comparing a denotational and a declarative semantics for Horn clause logic. Zbl 0761.68055 de Boer, F. S.; Kok, J. N.; Palamidessi, C.; Rutten, J. J. M. M. 7 1992 Control flow versus logic: A denotational and a declarative model for Guarded Horn Clauses. Zbl 0755.68094 de Boer, Frank S.; Kok, Joost N.; Palamidessi, Catuscia; Rutten, Jan J. M. M. 6 1989 Coalgebra, concurrency, and control. Zbl 1017.93064 Rutten, J. J. M. M. 6 2000 Coinductive counting with weighted automata. Zbl 1089.68058 Rutten, J. J. M. M. 6 2003 Alexandroff and Scott topologies for generalized metric spaces. Zbl 0955.54008 Bonsangue, M. M.; van Breugel, F.; Rutten, J. J. M. M. 6 1996 Contractions in comparing concurrency semantics. Zbl 0649.68011 Kok, J. N.; Rutten, J. J. M. M. 6 1988 Coinductive proof techniques for language equivalence. Zbl 1333.68173 Rot, Jurriaan; Bonsangue, Marcello; Rutten, Jan 6 2013 On the final coalgebra of automatic sequences. Zbl 1354.68183 Kupke, Clemens; Rutten, Jan J. M. M. 6 2012 Formations of monoids, congruences, and formal languages. Zbl 1423.68298 Ballester-Bolinches, A.; Cosme-Llópez, E.; Esteban-Romero, R.; Rutten, J. J. M. M. 6 2015 Stream differential equations: specification formats and solution methods. Zbl 1451.68181 Hansen, Helle Hvid; Kupke, Clemens; Rutten, Jan 6 2017 The dual equivalence of equations and coequations for automata. Zbl 1333.68184 Ballester-Bolinches, A.; Cosme-Llópez, E.; Rutten, J. 6 2015 Bisimulation for probabilistic transition systems: a coalgebraic approach. Zbl 1401.68236 de Vink, E. P.; Rutten, J. J. M. M. 6 1997 Solving reflexive domain equations in a category of complete metric spaces. Zbl 0664.18002 America, Pierre; Rutten, Jan 5 1988 A proof of Moessner’s theorem by coinduction. Zbl 1256.68120 Niqui, M.; Rutten, J. J. M. M. 5 2011 Behavioural differential equations and coinduction for binary trees. Zbl 1213.68393 Silva, Alexandra; Rutten, Jan 5 2007 Context-free coalgebras. Zbl 1328.68133 Winter, Joost; Bonsangue, Marcello M.; Rutten, Jan J. M. M. 5 2015 Coalgebraic methods in computer science, CMCS ’98. Proceedings of the 1st workshop, Lisbon, Portugal, March 28–29, 1998. Zbl 0903.00067 4 1998 A layered semantics for a parallel object-oriented language. Zbl 0752.68052 America, Pierre; Rutten, Jan 4 1992 Defining context-free power series coalgebraically. Zbl 1328.68132 Bonsangue, Marcello M.; Rutten, Jan; Winter, Joost 4 2012 Deriving syntax and axioms for quantitative regular behaviours. Zbl 1254.68129 Bonchi, Filippo; Bonsangue, Marcello; Rutten, Jan; Silva, Alexandra 4 2009 Context-free languages, coalgebraically. Zbl 1344.68152 Winter, Joost; Bonsangue, Marcello M.; Rutten, Jan 4 2011 (Co)algebraic characterizations of signal flow graphs. Zbl 1407.68183 Basold, Henning; Bonsangue, Marcello; Hansen, Helle Hvid; Rutten, Jan 4 2014 It’s all about coordination. Essays to celebrate the lifelong scientific achievements of Farhad Arbab. Zbl 1461.68011 4 2018 Synthesis of Mealy machines using derivatives. Zbl 1276.68111 Hansen, Helle Hvid; Costa, David; Rutten, Jan 4 2006 Semantic models for concurrent logic languages. Zbl 0744.68087 de Boer, F. S.; Rutten, J. J. M. M.; Kok, J. N.; Palamidessi, C. 3 1991 A paradigm for asynchronous communication and its application to concurrent constraint programming. Zbl 0832.68014 de Boer, Frank S.; Kok, Joost N.; Palamidessi, Catuscia; Rutten, Jan J. M. M. 3 1993 CMCS ‘99. Proceedings of the 2nd workshop on Coalgebraic methods in computer science. A satellite event to the European joint conferences on Theory and practice of software, ETAPS ‘99. Amsterdam, the Netherlands, March 20–21, 1999. Zbl 0916.00017 3 1999 Nonwellfounded sets and programming language semantics. Zbl 1518.68064 Rutten, J. J. M. M. 3 1992 Observational coalgebras and complete sets of co-operations. Zbl 1279.68233 Kupke, Clemens; Rutten, Jan 3 2008 Final semantics for decorated traces. Zbl 1342.68224 Bonchi, Filippo; Bonsangue, Marcello; Caltais, Georgiana; Rutten, Jan; Silva, Alexandra 3 2012 Sampling, splitting and merging in coinductive stream calculus. Zbl 1286.68089 Niqui, Milad; Rutten, Jan 3 2010 A semantic approach to fairness. Zbl 0773.68051 Rutten, J. J. M. M.; Zucker, J. I. 2 1992 A parallel object-oriented language: design and semantic foundations. Zbl 0760.68044 America, P. H. M.; Rutten, J. J. M. M. 2 1991 A decision procedure for bisimilarity of generalized regular expressions. Zbl 1325.68127 Bonsangue, Marcello; Caltais, Georgiana; Goriac, Eugen-Ioan; Lucanu, Dorel; Rutten, Jan; Silva, Alexandra 2 2011 Connectors as designs: modeling, refinement and test case generation. Zbl 1242.68070 Meng, Sun; Arbab, Farhad; Aichernig, Bernhard K.; Aştefănoaei, Lăcrămioara; de Boer, Frank S.; Rutten, Jan 2 2012 Complete sets of cooperations. Zbl 1209.68161 Kupke, Clemens; Rutten, Jan 2 2010 Correctness and full abstraction of metric semantics for concurrency. (Technical contribution). Zbl 0683.68073 Rutten, J. J. M. M. 2 1989 A coalgebraic view on decorated traces. Zbl 1364.68276 Bonchi, F.; Bonsangue, M.; Caltais, G.; Rutten, J.; Silva, A. 2 2016 A coinductive calculus of binary trees. Zbl 1200.68082 Silva, Alexandra; Rutten, Jan 2 2010 Algebra, bitstreams, and circuits. Zbl 1083.68043 Rutten, J. J. M. M. 2 2005 Proving language inclusion and equivalence by coinduction. Zbl 1333.68174 Rot, Jurriaan; Bonsangue, Marcello; Rutten, Jan 2 2016 A transition system semantics for the control-driven coordination language MANIFOLD. Zbl 0954.68107 Bonsangue, M. M.; Arbab, F.; de Bakker, J. W.; Rutten, J. J. M. M.; Scutellà, A. 1 2000 Concurrency semantics based on metric domain equations. Zbl 0792.68090 de Bakker, J. W.; Rutten, J. J. M. M. 1 1991 Coalgebraic foundations of linear systems. (An exercise in stream calculus). Zbl 1214.68232 Rutten, J. J. M. M. 1 2007 Intentional automata: a context-dependent model for component connectors (extended abstract). Zbl 1353.68163 Costa, David; Niqui, Milad; Rutten, Jan 1 2012 A final coalgebra for \(k\)-regular sequences. Zbl 1407.68318 Hansen, Helle Hvid; Kupke, Clemens; Rutten, Jan; Winter, Joost 1 2014 Horizons of the mind. A tribute to Prakash Panangaden. Essays dedicated to Prakash Panangaden on the occasion of his 60th birthday. Zbl 1287.68011 1 2014 Newton series, coinductively. Zbl 1407.68316 Basold, Henning; Hansen, Helle Hvid; Pin, Jean-Éric; Rutten, Jan 1 2015 An application of stream calculus to signal flow graphs. Zbl 1104.68423 Rutten, J. J. M. M. 1 2004 Varieties and covarieties of languages (extended abstract). Zbl 1334.68139 Rutten, Jan; Ballester-Bolinches, Adolfo; Cosme-Llópez, Enric 1 2013 Errata to “Formations of monoids, congruences, and formal languages”. Zbl 1423.68299 Ballester-Bolinches, A.; Cosme-Llópez, E.; Esteban-Romero, R.; Rutten, J. J. M. M. 1 2016 Newton series, coinductively: a comparative study of composition. Zbl 1407.68317 Basold, Henning; Hansen, Helle Hvid; Pin, Jean-Éric; Rutten, Jan 1 2019 Coinductive counting: bisimulation in enumerative combinatorics (extended abstract). Zbl 1270.68149 Rutten, J. J. M. M. 1 2002 Regular varieties of automata and coequations. Zbl 1432.68270 Salamanca, 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.68186 Salamanca, Julian; Bonsangue, Marcello; Rutten, Jan 1 2015 Newton series, coinductively: a comparative study of composition. Zbl 1407.68317 Basold, Henning; Hansen, Helle Hvid; Pin, Jean-Éric; Rutten, Jan 1 2019 It’s all about coordination. Essays to celebrate the lifelong scientific achievements of Farhad Arbab. Zbl 1461.68011 4 2018 Stream differential equations: specification formats and solution methods. Zbl 1451.68181 Hansen, Helle Hvid; Kupke, Clemens; Rutten, Jan 6 2017 A coalgebraic view on decorated traces. Zbl 1364.68276 Bonchi, F.; Bonsangue, M.; Caltais, G.; Rutten, J.; Silva, A. 2 2016 Proving language inclusion and equivalence by coinduction. Zbl 1333.68174 Rot, Jurriaan; Bonsangue, Marcello; Rutten, Jan 2 2016 Errata to “Formations of monoids, congruences, and formal languages”. Zbl 1423.68299 Ballester-Bolinches, A.; Cosme-Llópez, E.; Esteban-Romero, R.; Rutten, J. J. M. M. 1 2016 Enhanced coalgebraic bisimulation. Zbl 1380.68300 Rot, Jurriaan; Bonchi, Filippo; Bonsangue, Marcello; Pous, Damien; Rutten, Jan; Silva, Alexandra 10 2015 Formations of monoids, congruences, and formal languages. Zbl 1423.68298 Ballester-Bolinches, A.; Cosme-Llópez, E.; Esteban-Romero, R.; Rutten, J. J. M. M. 6 2015 The dual equivalence of equations and coequations for automata. Zbl 1333.68184 Ballester-Bolinches, A.; Cosme-Llópez, E.; Rutten, J. 6 2015 Context-free coalgebras. Zbl 1328.68133 Winter, Joost; Bonsangue, Marcello M.; Rutten, Jan J. M. M. 5 2015 Newton series, coinductively. Zbl 1407.68316 Basold, Henning; Hansen, Helle Hvid; Pin, Jean-Éric; Rutten, Jan 1 2015 Regular varieties of automata and coequations. Zbl 1432.68270 Salamanca, 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.68186 Salamanca, Julian; Bonsangue, Marcello; Rutten, Jan 1 2015 Algebra-coalgebra duality in Brzozowski’s minimization algorithm. Zbl 1288.68174 Bonchi, Filippo; Bonsangue, Marcello M.; Hansen, Helle H.; Panangaden, Prakash; Rutten, Jan J. M. M.; Silva, Alexandra 26 2014 (Co)algebraic characterizations of signal flow graphs. Zbl 1407.68183 Basold, Henning; Bonsangue, Marcello; Hansen, Helle Hvid; Rutten, Jan 4 2014 A final coalgebra for \(k\)-regular sequences. Zbl 1407.68318 Hansen, Helle Hvid; Kupke, Clemens; Rutten, Jan; Winter, Joost 1 2014 Horizons of the mind. A tribute to Prakash Panangaden. Essays dedicated to Prakash Panangaden on the occasion of his 60th birthday. Zbl 1287.68011 1 2014 Generalizing determinization from automata to coalgebras. Zbl 1262.18002 Silva, Alexandra; Bonchi, Filippo; Bonsangue, Marcello; Rutten, Jan 32 2013 Coalgebraic bisimulation-up-to. Zbl 1303.68088 Rot, Jurriaan; Bonsangue, Marcello; Rutten, Jan 18 2013 Coalgebraic characterizations of context-free languages. Zbl 1274.68215 Winter, Joost; Rutten, Jan J. M.; Bonsangue, Marcello M. 10 2013 Coinductive proof techniques for language equivalence. Zbl 1333.68173 Rot, Jurriaan; Bonsangue, Marcello; Rutten, Jan 6 2013 Varieties and covarieties of languages (extended abstract). Zbl 1334.68139 Rutten, Jan; Ballester-Bolinches, Adolfo; Cosme-Llópez, Enric 1 2013 A coalgebraic perspective on linear weighted automata. Zbl 1279.68235 Bonchi, Filippo; Bonsangue, Marcello; Boreale, Michele; Rutten, Jan; Silva, Alexandra 27 2012 An introduction to (co)algebra and (co)induction. Zbl 1285.68105 Jacobs, Bart; Rutten, Jan 18 2012 Advanced topics in bisimulation and coinduction. Zbl 1264.68009 12 2012 Brzozowski’s algorithm (co)algebraically. Zbl 1354.68185 Bonchi, Filippo; Bonsangue, Marcello M.; Rutten, Jan J. M. M.; Silva, Alexandra 9 2012 On the final coalgebra of automatic sequences. Zbl 1354.68183 Kupke, Clemens; Rutten, Jan J. M. M. 6 2012 Defining context-free power series coalgebraically. Zbl 1328.68132 Bonsangue, Marcello M.; Rutten, Jan; Winter, Joost 4 2012 Final semantics for decorated traces. Zbl 1342.68224 Bonchi, Filippo; Bonsangue, Marcello; Caltais, Georgiana; Rutten, Jan; Silva, Alexandra 3 2012 Connectors as designs: modeling, refinement and test case generation. Zbl 1242.68070 Meng, Sun; Arbab, Farhad; Aichernig, Bernhard K.; Aştefănoaei, Lăcrămioara; de Boer, Frank S.; Rutten, Jan 2 2012 Intentional automata: a context-dependent model for component connectors (extended abstract). Zbl 1353.68163 Costa, David; Niqui, Milad; Rutten, Jan 1 2012 Quantitative Kleene coalgebras. Zbl 1227.68075 Silva, Alexandra; Bonchi, Filippo; Bonsangue, Marcello; Rutten, Jan 10 2011 A proof of Moessner’s theorem by coinduction. Zbl 1256.68120 Niqui, M.; Rutten, J. J. M. M. 5 2011 Context-free languages, coalgebraically. Zbl 1344.68152 Winter, Joost; Bonsangue, Marcello M.; Rutten, Jan 4 2011 A decision procedure for bisimilarity of generalized regular expressions. Zbl 1325.68127 Bonsangue, Marcello; Caltais, Georgiana; Goriac, Eugen-Ioan; Lucanu, Dorel; Rutten, Jan; Silva, Alexandra 2 2011 Generalizing the powerset construction, coalgebraically. Zbl 1245.68141 Silva, Alexandra; Bonchi, Filippo; Bonsangue, Marcello M.; Rutten, Jan J. M. M. 19 2010 Non-deterministic Kleene coalgebras. Zbl 1208.68141 Silva, Alexandra; Bonsangue, Marcello; Rutten, Jan 9 2010 Sampling, splitting and merging in coinductive stream calculus. Zbl 1286.68089 Niqui, Milad; Rutten, Jan 3 2010 Complete sets of cooperations. Zbl 1209.68161 Kupke, Clemens; Rutten, Jan 2 2010 A coinductive calculus of binary trees. Zbl 1200.68082 Silva, Alexandra; Rutten, Jan 2 2010 A Kleene theorem for polynomial coalgebras. Zbl 1234.68272 Bonsangue, Marcello; Rutten, Jan; Silva, Alexandra 11 2009 Deriving syntax and axioms for quantitative regular behaviours. Zbl 1254.68129 Bonchi, Filippo; Bonsangue, Marcello; Rutten, Jan; Silva, Alexandra 4 2009 Rational streams coalgebraically. Zbl 1147.68024 Rutten, Jan 9 2008 Coalgebraic logic and synthesis of Mealy machines. Zbl 1137.68034 Bonsangue, M. M.; Rutten, Jan; Silva, Alexandra 8 2008 Observational coalgebras and complete sets of co-operations. Zbl 1279.68233 Kupke, Clemens; Rutten, Jan 3 2008 Behavioural differential equations and coinduction for binary trees. Zbl 1213.68393 Silva, Alexandra; Rutten, Jan 5 2007 Coalgebraic foundations of linear systems. (An exercise in stream calculus). Zbl 1214.68232 Rutten, J. J. M. M. 1 2007 Modeling component connectors in Reo by constraint automata. Zbl 1105.68058 Baier, Christel; Sirjani, Marjan; Arbab, Farhad; Rutten, Jan 47 2006 Synthesis of Mealy machines using derivatives. Zbl 1276.68111 Hansen, Helle Hvid; Costa, David; Rutten, Jan 4 2006 A coinductive calculus of streams. Zbl 1068.68061 Rutten, J. J. M. M. 39 2005 A tutorial on coinductive stream calculus and signal flow graphs. Zbl 1077.68032 Rutten, J. J. M. M. 15 2005 Algebra, bitstreams, and circuits. Zbl 1083.68043 Rutten, J. J. M. M. 2 2005 Mathematical techniques for analyzing concurrent and probabilistic systems. Zbl 1069.68074 21 2004 An application of stream calculus to signal flow graphs. Zbl 1104.68423 Rutten, J. J. M. M. 1 2004 Behavioural differential equations: a coinductive calculus of streams, automata, and power series. Zbl 1071.68050 Rutten, J. J. M. M. 50 2003 A coinductive calculus of component connectors. Zbl 1278.68200 Arbab, F.; Rutten, J. J. M. M. 24 2003 Coinductive counting with weighted automata. Zbl 1089.68058 Rutten, J. J. M. M. 6 2003 Coinductive counting: bisimulation in enumerative combinatorics (extended abstract). Zbl 1270.68149 Rutten, J. J. M. M. 1 2002 Elements of stream calculus (an extensive exercise in coinduction). Zbl 1260.68246 Rutten, J. J. M. M. 13 2001 Universal coalgebra: A theory of systems. Zbl 0951.68038 Rutten, J. J. M. M. 411 2000 Coalgebra, concurrency, and control. Zbl 1017.93064 Rutten, J. J. M. M. 6 2000 A transition system semantics for the control-driven coordination language MANIFOLD. Zbl 0954.68107 Bonsangue, 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.68092 de Vink, E. P.; Rutten, J. J. M. M. 63 1999 A note on coinduction and weak bisimiliarity for while programs. Zbl 0945.68073 Rutten, J. J. M. M. 10 1999 Automata, power series, and coinduction: Taking input derivatives seriously. (Extended abstract). Zbl 0941.68638 Rutten, J. J. M. M. 8 1999 CMCS ‘99. Proceedings of the 2nd workshop on Coalgebraic methods in computer science. A satellite event to the European joint conferences on Theory and practice of software, ETAPS ‘99. Amsterdam, the Netherlands, March 20–21, 1999. Zbl 0916.00017 3 1999 Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding. Zbl 0997.54042 Bonsangue, M. M.; van Breugel, F.; Rutten, J. J. M. M. 66 1998 Automata and coinduction (an exercise in coalgebra). Zbl 0940.68085 Rutten, J. J. M. M. 61 1998 On the foundations of final coalgebra semantics: Non-well-founded sets, partial orders, metric spaces. Zbl 0917.68140 Turi, Daniele; Rutten, Jan 30 1998 Weighted colimits and formal balls in generalized metric spaces. Zbl 0982.54029 Rutten, J. J. M. M. 24 1998 Relators and metric bisimulations. Zbl 0917.68146 Rutten, J. J. M. M. 19 1998 Coalgebraic methods in computer science, CMCS ’98. Proceedings of the 1st workshop, Lisbon, Portugal, March 28–29, 1998. Zbl 0903.00067 4 1998 A tutorial on (co)algebras and (co)induction. Zbl 0880.68070 Jacobs, Bart; Rutten, Jan 117 1997 Bisimulation for probabilistic transition systems: a coalgebraic approach. Zbl 1401.68236 de Vink, E. P.; Rutten, J. J. M. M. 6 1997 Elements of generalized ultrametric domain theory. Zbl 0874.68189 Rutten, J. J. M. M. 51 1996 Alexandroff and Scott topologies for generalized metric spaces. Zbl 0955.54008 Bonsangue, M. M.; van Breugel, F.; Rutten, J. J. M. M. 6 1996 Solutions of functorial and non-functorial metric domain equations. Zbl 0910.68130 Alessi, F.; Baldan, P.; Bellè, G.; Rutten, J. J. M. M. 8 1995 Fully abstract denotational models for nonuniform concurrent languages. Zbl 0824.68060 Horita, E.; de Bakker, J. W.; Rutten, J. J. M. M. 8 1994 A paradigm for asynchronous communication and its application to concurrent constraint programming. Zbl 0832.68014 de 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.68094 Rutten, J. J. M. M. 14 1992 From failure to success: Comparing a denotational and a declarative semantics for Horn clause logic. Zbl 0761.68055 de 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.68052 America, Pierre; Rutten, Jan 4 1992 Nonwellfounded sets and programming language semantics. Zbl 1518.68064 Rutten, J. J. M. M. 3 1992 A semantic approach to fairness. Zbl 0773.68051 Rutten, J. J. M. M.; Zucker, J. I. 2 1992 Semantic models for concurrent logic languages. Zbl 0744.68087 de 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.68044 America, P. H. M.; Rutten, J. J. M. M. 2 1991 Concurrency semantics based on metric domain equations. Zbl 0792.68090 de Bakker, J. W.; Rutten, J. J. M. M. 1 1991 Contractions in comparing concurrency semantics. Zbl 0707.68054 Kok, Joost N.; Rutten, Jan J. M. M. 8 1990 Semantic correctness for a parallel object-oriented language. Zbl 0697.68077 Rutten, J. J. M. M. 8 1990 Solving reflexive domain equations in a category of complete metric spaces. Zbl 0717.18002 America, Pierre; Rutten, Jan 84 1989 Denotational semantics of a parallel object-oriented language. Zbl 0695.68058 America, Pierre; de Bakker, Jaco; Kok, Joost N.; Rutten, Jan 29 1989 Control flow versus logic: A denotational and a declarative model for Guarded Horn Clauses. Zbl 0755.68094 de 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.68073 Rutten, J. J. M. M. 2 1989 Contractions in comparing concurrency semantics. Zbl 0649.68011 Kok, J. N.; Rutten, J. J. M. M. 6 1988 Solving reflexive domain equations in a category of complete metric spaces. Zbl 0664.18002 America, Pierre; Rutten, Jan 5 1988 all cited Publications top 5 cited Publications all top 5 Cited by 851 Authors 45 Rutten, Jan J. M. M. 31 Schröder, Lutz 31 Silva, Alexandra 29 Bonchi, Filippo 29 Milius, Stefan 23 Bonsangue, Marcello Maria 21 Adámek, Jiří 20 Rot, Jurriaan 18 Arbab, Farhad 18 Montanari, Ugo G. 17 Jacobs, Bart 16 Kurz, Alexander 15 Kupke, Clemens 15 Panangaden, Prakash 15 Pattinson, Dirk 15 Wißmann, Thorsten 14 Birkedal, Lars 13 Venema, Yde 12 Cîrstea, Corina 12 Klin, Bartek 12 Zhang, Dexue 11 Baier, Christel 11 Doberkat, Ernst-Erich 11 Hansen, Helle Hvid 11 Hasuo, Ichiro 11 van Breugel, Franck 10 Boreale, Michele 10 de Vink, Erik P. 10 Hofmann, Dirk 10 Sangiorgi, Davide 9 Barbosa, Luís Soares 9 de Bakker, Jacobus W. 9 Gumm, Heinz-Peter 9 Pous, Damien 9 Sokolova, Ana 8 Desharnais, Josée 8 König, Barbara 8 Kozen, Dexter C. 8 Velebil, Jiří 8 Zanasi, Fabio 7 Lai, Hongliang 7 Moss, Lawrence S. 7 Oliveira, José Nuno 7 Roşu, Grigore 7 Sammartino, Matteo 7 Sobociński, Paweł 7 Støvring, Kristian 7 Talcott, Carolyn L. 7 Urbat, Henning 7 Worrell, James Benjamin 7 Zhao, Bin 6 America, Pierre 6 Bacci, Giorgio 6 Clarke, Dave 6 de Boer, Frank S. 6 Endrullis, Jörg 6 Hausmann, Daniel 6 Kappé, Tobias 6 Kok, Joost N. 6 Komenda, Jan 6 Majster-Cederbaum, Mila E. 6 Miculan, Marino 6 Petrisan, Daniela Luan 6 Thamsborg, Jacob 6 Yao, Wei 5 Blanchette, Jasmin Christian 5 Bruni, Roberto 5 Ciancia, Vincenzo 5 De Groot, Jim 5 Fan, Lei 5 Gadducci, Fabio 5 Goldblatt, Robert Ian 5 Goncharov, Sergeĭ Savost’yanovich 5 Goubault-Larrecq, Jean 5 Grabmayer, Clemens 5 Hendriks, Dimitri 5 Honsell, Furio 5 Hughes, Jesse 5 Katsumata, Shin-ya 5 Küpper, Sebastian 5 Lenisa, Marina 5 Lion, Benjamin 5 Meng, Sun 5 Pavlović, Duško 5 Plotkin, Gordon D. 5 Reus, Bernhard 5 Sun, Meng 5 Traytel, Dmitry 5 Waszkiewicz, Paweł 5 Wild, Paul 5 Zucca, Elena 4 Abramsky, Samson 4 Ballester-Bolinches, Adolfo 4 Brengos, Tomasz 4 Buscemi, Maria Grazia 4 Cosme-Llópez, Enric 4 Czajka, Łukasz 4 Dorsch, Ulrich 4 Dubut, Jérémy 4 Gabbrielli, Maurizio ...and 751 more Authors all top 5 Cited in 108 Serials 144 Theoretical Computer Science 51 Information and Computation 44 Logical Methods in Computer Science 41 Mathematical Structures in Computer Science 27 Journal of Logical and Algebraic Methods in Programming 17 Fuzzy Sets and Systems 16 Annals of Pure and Applied Logic 15 Topology and its Applications 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 6 Theory and Applications of Categories 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 ACM Transactions on Computational Logic 3 Information Sciences 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 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 Optimization 2 New Generation Computing 2 International Journal of Approximate Reasoning 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 Fixed Point Theory and Applications 2 Logica Universalis 2 Categories and General Algebraic Structures with 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 Semigroup Forum 1 SIAM Journal on Control and Optimization 1 Synthese 1 Chinese Annals of Mathematics. Series B 1 Discrete Mathematics and Applications 1 Games and Economic Behavior 1 Automation and Remote Control 1 Archive for Mathematical Logic 1 Topology Proceedings 1 Computational and Applied Mathematics 1 Mathematical Logic Quarterly (MLQ) 1 Journal of Convex Analysis 1 The Journal of Artificial Intelligence Research (JAIR) 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 Fixed Point Theory 1 International Journal of Geometric Methods in Modern Physics 1 Mediterranean Journal of Mathematics 1 Iranian Journal of Fuzzy Systems 1 Mathematics in Computer Science 1 Journal of Fixed Point Theory and Applications 1 Asian-European Journal of Mathematics 1 Acta Universitatis Sapientiae. Mathematica 1 The Review of Symbolic Logic 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 Journal of Mahani Mathematical Research Center ...and 8 more Serials all top 5 Cited in 36 Fields 721 Computer science (68-XX) 237 Category theory; homological algebra (18-XX) 217 Mathematical logic and foundations (03-XX) 87 Order, lattices, ordered algebraic structures (06-XX) 78 General topology (54-XX) 28 General algebraic systems (08-XX) 20 Probability theory and stochastic processes (60-XX) 20 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 16 Systems theory; control (93-XX) 12 Group theory and generalizations (20-XX) 8 Number theory (11-XX) 7 Associative rings and algebras (16-XX) 7 Quantum theory (81-XX) 7 Operations research, mathematical programming (90-XX) 6 Operator theory (47-XX) 5 Commutative algebra (13-XX) 5 Information and communication theory, circuits (94-XX) 4 Linear and multilinear algebra; matrix theory (15-XX) 4 Measure and integration (28-XX) 4 Functional analysis (46-XX) 3 Ordinary differential equations (34-XX) 3 Calculus of variations and optimal control; optimization (49-XX) 3 Geometry (51-XX) 3 Biology and other natural sciences (92-XX) 2 Combinatorics (05-XX) 2 Dynamical systems and ergodic theory (37-XX) 1 General and overarching topics; collections (00-XX) 1 History and biography (01-XX) 1 Field theory and polynomials (12-XX) 1 Nonassociative rings and algebras (17-XX) 1 Topological groups, Lie groups (22-XX) 1 Partial differential equations (35-XX) 1 Convex and discrete geometry (52-XX) 1 Differential geometry (53-XX) 1 Global analysis, analysis on manifolds (58-XX) 1 Statistics (62-XX) Citations by Year