Jan Rutten

Citado por

	Total	Desde 2020
Citas	9614	1382
Índice h	48	19
Índice i10	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 435 491 330 396 383 363 235 266 277 298 282 24

Acceso público

Ver todo

9 artículos

0 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

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

Seguir

Jan Rutten

CWI

Dirección de correo verificada de cwi.nl - Página principal

computer science mathematics logic


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
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

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores