Jan Rutten

Cited by

	All	Since 2016
Citations	8649	1810
h-index	46	23
i10-index	76	37

540

270

135

405

19891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202135 54 125 70 87 89 92 123 120 160 187 208 249 214 235 238 287 348 345 298 371 423 447 374 445 422 522 375 381 385 344 254 69

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 SilvaProfessor at University College LondonVerified email at ucl.ac.uk
Joost KokDean of the Faculty of Electrical Engineering, Mathematics and Computer Science at the University ofVerified email at utwente.nl
Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Verified email at cwi.nl
Farhad ArbabProfessor of Computer Science, Leiden UniversityVerified email at liacs.nl
Filippo BonchiCNRS ENS-LyonVerified email at ens-lyon.fr
Catuscia PalamidessiInriaVerified email at lix.polytechnique.fr
Christel BaierTU DresdenVerified email at tu-dresden.de
Helle Hvid HansenAssociate Professor at University of GroningenVerified email at rug.nl
Marjan SirjaniMälardalen UniversityVerified email at mdh.se
Daniele TuriCTO, AnyJunk Ltd, London, UKVerified email at anyjunk.co.uk
Bart JacobsProfessor of Software Security and Correctness, Radboud University NijmegenVerified email at cs.ru.nl
Jurriaan RotUniversity College London & Radboud UniversityVerified email at cs.ru.nl
Joost WinterUniversity of WarsawVerified email at mimuw.edu.pl
Davide SangiorgiProfessor of Computer Science, University of BolognaVerified email at cs.unibo.it
Adolfo Ballester-BolinchesCatedràtic d'Àlgebra, Universitat de ValènciaVerified email at uv.es
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
Prakash PanangadenProfessor of Computer Science, McGill UniversityVerified email at cs.mcgill.ca
Gianluigi ZavattaroProfessor in Computer Science, University of BolognaVerified email at cs.unibo.it

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	1550	2000
A tutorial on (co) algebras and (co) induction B Jacobs, J Rutten Bulletin-European Association for Theoretical Computer Science 62, 222-259, 1997	848	1997
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	434*	2006
Advanced topics in bisimulation and coinduction D Sangiorgi, J Rutten Cambridge University Press, 2011	388*	2011
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	298	1989
Automata and coinduction (an exercise in coalgebra) J Rutten CONCUR'98 Concurrency Theory, 194-218, 1998	287	1998
Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems JJMM Rutten American Mathematical Society, 2004	255	2004
Bisimulation for probabilistic transition systems: a coalgebraic approach EP De Vink, JJMM Rutten Theoretical Computer Science 221 (1-2), 271-293, 1999	221	1999
Behavioural differential equations: a coinductive calculus of streams, automata, and power series JJMM Rutten Theoretical Computer Science 308 (1), 1-53, 2003	213	2003
A coinductive calculus of component connectors F Arbab, J Rutten Recent Trends in Algebraic Development Techniques, 34-55, 2003	210	2003
Initial algebra and final coalgebra semantics for concurrency J Rutten, D Turi Workshop/School/Symposium of the REX Project (Research and Education in …, 1993	157	1993
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	151*	1998
Elements of generalized ultrametric domain theory JJMM Rutten Theoretical Computer Science 170 (1-2), 349-381, 1996	146	1996
Denotational semantics of a parallel object-oriented language. P America, J De Bakker, JN Kok, J Rutten Inf. Comput. 83 (2), 152-205, 1989	143	1989
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	134	1986
A coinductive calculus of streams JJMM Rutten Mathematical Structures in Computer Science 15 (1), 93, 2005	133	2005
The failure of failures in a paradigm for asynchronous communication FS de Boer, JN Kok, C Palamidessi, J Rutten Utrecht, 1991	129*	1991
Non-deterministic Kleene coalgebras A Silva, M Bonsangue, J Rutten Logical Method in Computer Science 6 (3), 1-39, 2010	127*	2010
On the foundations of final coalgebra semantics: non-well-founded sets, partial orders, metric spaces J Rutten, D Turi Mathematical Structures in Computer Science 8 (5), 481-540, 1998	127	1998
On the foundations of final semantics: Non-standard sets, metric spaces, partial orders JJMM Rutten, D Turi Workshop/School/Symposium of the REX Project (Research and Education in …, 1992	126	1992

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

Upload PDF

Follow this author

Cited by

Co-authors