Jan Friso Groote - Citas de Google Académico

Citado por

	Total	Desde 2015
Citas	6946	1211
Índice h	46	18
Índice i10	107	33

500

250

125

375

199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202030 34 79 96 150 174 170 130 163 183 185 283 187 222 289 326 292 485 340 359 263 276 274 314 227 251 235 195 230 243 56

Coautores

Michel Reniersassociate professor, Mechanical Engineering, TU/eDirección de correo verificada de tue.nl
Mohammad Reza MousaviProfessor, University of LeicesterDirección de correo verificada de le.ac.uk
Alban PonseAssociate Professor of Computer Science, University of AmsterdamDirección de correo verificada de uva.nl
Jaco van de PolProfessor of Computer Science, Aarhus UniversityDirección de correo verificada de cs.au.dk
Tim WillemseAssociate Professor, Eindhoven University of TechnologyDirección de correo verificada de tue.nl
Wim H. Hesselinkretired at Computer Science, Groningen UniversityDirección de correo verificada de rug.nl
Ammar OsaiweranPhd Student at the Technical university of EindhovenDirección de correo verificada de tu.edu.ye
Jeroen KeirenAssistant Professor, Eindhoven University of Technology, The NetherlandsDirección de correo verificada de tue.nl
Frits W. VaandragerProfessor of Computer Science, Radboud UniversityDirección de correo verificada de cs.ru.nl
Wan FokkinkProfessor of Computer Science, Vrije Universiteit AmsterdamDirección de correo verificada de vu.nl
Wieger WesselinkAssistant Proffessor of Computer Science, Eindhoven University of TechnologyDirección de correo verificada de tue.nl
Erik P. de VinkAssociate Professor, Eindhoven University of TechnologyDirección de correo verificada de win.tue.nl
Jun PangUniversity of LuxembourgDirección de correo verificada de uni.lu
Frank StappersPhD Student, Technische Universiteit EindhovenDirección de correo verificada de tue.nl
hans zantemaEindhoven university of technologyDirección de correo verificada de tue.nl
Stefan BlomUniversity of TwenteDirección de correo verificada de utwente.nl
Sjouke MauwProfessor in Security and Trust of Software Systems, University of LuxembourgDirección de correo verificada de uni.lu
Bas LuttikAssistant Professor of Computer Science, Eindhoven University of TechnologyDirección de correo verificada de tue.nl
Arno WoutersLooking for a jobDirección de correo verificada de uu.nl
Anton WijsAssistant Professor at Eindhoven University of TechnologyDirección de correo verificada de tue.nl

Jan Friso Groote

Full Professor (Hoogleraar), Eindhoven University of Technology

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

Formal Methods Software modelling and verification Embedded Systems


Título	Citado por	Año
Structured operational semantics and bisimulation as a congruence JF Groote, F Vaandrager Information and computation 100 (2), 202-260, 1992	509	1992
The syntax and semantics of μCRL JF Groote, A Ponse Algebra of Communicating Processes, 26-62, 1995	447	1995
An efficient algorithm for branching bisimulation and stuttering equivalence JF Groote, F Vaandrager International Colloquium on Automata, Languages, and Programming, 626-638, 1990	265	1990
Transition system specifications with negative premises JF Groote Theor. Comput. Sci. 118 (2), 263-299, 1993	244	1993
µCRL: A toolset for analysing algebraic specifications S Blom, W Fokkink, JF Groote, I Van Langevelde, B Lisser, J Van de Pol International Conference on Computer Aided Verification, 250-254, 2001	218	2001
The formal specification language mCRL2 JF Groote, A Mathijssen, M Reniers, Y Usenko, M Van Weerdenburg Dagstuhl Seminar Proceedings, 2007	195	2007
Modeling and analysis of communicating systems JF Groote, MR Mousavi MIT press, 2014	159	2014
An overview of the mCRL2 toolset and its recent advances S Cranen, JF Groote, JJA Keiren, FPM Stappers, EP De Vink, ... International Conference on Tools and Algorithms for the Construction and …, 2013	158	2013
Algebraic process verification JF Groote, MA Reniers Handbook of process algebra, 1151-1208, 2001	150	2001
Proof Theory for µCRL: A Language for Processes with Data. JF Groote, A Ponse Semantics of Specification Languages (SoSL), 232-251, 1994	144	1994
The safety guaranteeing system at station Hoorn-Kersenboogerd JF Groote, SFM van Vlijmen, JWC Koorn COMPASS'95 Proceedings of the Tenth Annual Conference on Computer Assurance …, 1995	137	1995
The meaning of negative premises in transition system specifications R Bol, JF Groote Journal of the ACM (JACM) 43 (5), 863-914, 1996	134	1996
Transition system specifications with negative premises JF Groote International Conference on Concurrency Theory, 332-341, 1990	130	1990
A bounded retransmission protocol for large data packets JF Groote, J van de Pol International Conference on Algebraic Methodology and Software Technology …, 1996	121	1996
Focus points and convergent process operators (A proof strategy for protocol verification) JF Groote, J Springintveld Logic Group Preprint Series 142, 1995	118*	1995
Invariants in process algebra with data M Bezem, JF Groote CONCUR'94: Concurrency Theory, 401-416, 1994	115	1994
The syntax and semantics of timed JF Groote J. CRL. Centrum voor Wiskunde en Informatica (CWI), 1997	110*	1997
Undecidable equivalences for basic process algebra JF Groote, H Huttel Information and Computation 115 (2), 354-371, 1994	104	1994
Transformation of BPMN Models for Behaviour Analysis. I Raedts, M Petkovic, YS Usenko, JMEM van der Werf, JF Groote, ... MSVVEIS 2007, 126-137, 2007	97	2007
Confluence for process verification JF Groote, MPA Sellink Theoretical computer science 170 (1-2), 47-81, 1996	96	1996

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

Subir PDF

Seguir a este autor

Citado por

Coautores