Jan Rutten

Cited by

	All	Since 2020
Citations	9614	1382
h-index	48	19
i10-index	75	31

500

250

125

375

1988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202524 30 52 90 60 98 81 80 113 116 145 183 217 244 228 259 237 300 335 331 296 382 402 436 367 429 438 488 330 396 383 363 235 266 277 298 282 24

Public access

View all

9 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Marcello BonsangueProfessor of Computer Science, Leiden UniversityVerified email at liacs.leidenuniv.nl
Alexandra SilvaCornell UniversityVerified email at cornell.edu
Joost KokVice-Dean Mathematics and Computer ScienceVerified email at tue.nl
Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Verified email at cwi.nl
Filippo BonchiCNRS ENS-LyonVerified email at ens-lyon.fr
Farhad ArbabProfessor of Computer Science, Leiden UniversityVerified email at liacs.nl
Catuscia PalamidessiInriaVerified email at lix.polytechnique.fr
Helle Hvid HansenAssociate Professor at University of GroningenVerified email at rug.nl
Christel BaierTU DresdenVerified email at tu-dresden.de
Bart JacobsProfessor of Software Security and Correctness, Radboud University NijmegenVerified email at cs.ru.nl
Marjan SirjaniMälardalen UniversityVerified email at mdh.se
Davide SangiorgiProfessor of Computer Science, University of BolognaVerified email at cs.unibo.it
Jurriaan RotRadboud UniversityVerified email at cs.ru.nl
Joost WinterUniversity of WarsawVerified email at mimuw.edu.pl
Erik P. de VinkAssociate Professor, Eindhoven University of TechnologyVerified email at win.tue.nl
Enric Cosme LlópezUniversitat de ValènciaVerified email at uv.es
Adolfo Ballester-BolinchesCatedràtic d'Àlgebra, Universitat de ValènciaVerified email at uv.es
Prakash PanangadenProfessor of Computer Science, McGill UniversityVerified email at cs.mcgill.ca
Henning BasoldLIACS - Leiden UniversityVerified email at liacs.leidenuniv.nl
Meng SunProfessor, School of Mathematical Science, Peking UniversityVerified email at math.pku.edu.cn

Jan Rutten

CWI

Verified email at cwi.nl - Homepage

computer science mathematics logic


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Universal coalgebra: a theory of systems JJMM Rutten Theoretical Computer Science 249 (1), 3-80, 2000	1787	2000
A tutorial on (co) algebras and (co) induction B Jacobs, J Rutten Bulletin-European Association for Theoretical Computer Science 62, 222-259, 1997	907	1997
Advanced topics in bisimulation and coinduction D Sangiorgi, J Rutten Cambridge University Press, 2011	557*	2011
Modeling component connectors in Reo by constraint automata C Baier, M Sirjani, F Arbab, J Rutten Science of Computer Programming 61 (2), 75-113, 2006	471*	2006
Solving reflexive domain equations in a category of complete metric spaces P America, J Rutten Journal of Computer and System Sciences 39 (3), 343-375, 1989	321	1989
Automata and coinduction (an exercise in coalgebra) J Rutten CONCUR'98 Concurrency Theory, 194-218, 1998	303	1998
Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems JJMM Rutten American Mathematical Society, 2004	272	2004
Bisimulation for probabilistic transition systems: a coalgebraic approach EP De Vink, JJMM Rutten Theoretical Computer Science 221 (1-2), 271-293, 1999	247	1999
Behavioural differential equations: a coinductive calculus of streams, automata, and power series JJMM Rutten Theoretical Computer Science 308 (1), 1-53, 2003	239	2003
A coinductive calculus of component connectors F Arbab, J Rutten Recent Trends in Algebraic Development Techniques, 34-55, 2003	230	2003
Generalized metric spaces: completion, topology, and powerdomains via the Yoneda embedding MM Bonsangue, F Van Breugel, J Rutten Theoretical Computer Science 193 (1-2), 1-51, 1998	168	1998
Initial algebra and final coalgebra semantics for concurrency J Rutten, D Turi A Decade of Concurrency Reflections and Perspectives: REX School/Symposium …, 1994	165	1994
Non-deterministic Kleene coalgebras A Silva, M Bonsangue, J Rutten Logical Method in Computer Science 6 (3), 1-39, 2010	157*	2010
Elements of generalized ultrametric domain theory JJMM Rutten Theoretical Computer Science 170 (1-2), 349-381, 1996	157	1996
A coinductive calculus of streams JJMM Rutten Mathematical Structures in Computer Science 15 (1), 93-147, 2005	150	2005
Operational semantics of a parallel object-oriented language P America, J de Bakker, JN Kok, JJMM Rutten Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of …, 1986	149	1986
Denotational semantics of a parallel object-oriented language. P America, J De Bakker, JN Kok, J Rutten Inf. Comput. 83 (2), 152-205, 1989	148	1989
On the foundations of final coalgebra semantics: non-well-founded sets, partial orders, metric spaces D Turi, J Rutten Mathematical Structures in Computer Science 8 (5), 481-540, 1998	137	1998
On the foundations of final semantics: Non-standard sets, metric spaces, partial orders JJMM Rutten, D Turi Semantics: Foundations and Applications: REX Workshop Beekbergen, The …, 1993	136	1993
The failure of failures in a paradigm for asynchronous communication FS de Boer, JN Kok, C Palamidessi, J Rutten Utrecht, 1991	133*	1991

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors