Jan Friso Groote

Citado por

	Total	Desde 2016
Citas	7320	1205
Índice h	47	19
Índice i10	107	32

520

260

130

390

1990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202126 35 82 95 156 181 183 128 176 179 175 299 178 231 308 327 298 504 338 368 264 276 284 320 230 242 236 198 241 257 245 27

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
Tim WillemseAssociate Professor, Eindhoven University of TechnologyDirección de correo verificada de tue.nl
Jaco van de PolProfessor of Computer Science, Aarhus UniversityDirección de correo verificada de cs.au.dk
Frits W. VaandragerProfessor of Computer Science, Radboud UniversityDirección de correo verificada de cs.ru.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
Wan FokkinkProfessor of Computer Science, Vrije Universiteit AmsterdamDirección de correo verificada de vu.nl
Frank StappersPhD Student, Technische Universiteit EindhovenDirección de correo verificada de tue.nl
Jun PangUniversity of LuxembourgDirección de correo verificada de uni.lu
Erik P. de VinkAssociate Professor, Eindhoven University of TechnologyDirección de correo verificada de win.tue.nl
Wieger WesselinkAssistant Proffessor of Computer Science, Eindhoven University of TechnologyDirecció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
Anton WijsAssistant Professor at Eindhoven University of TechnologyDirección de correo verificada de tue.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

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 Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
Structured operational semantics and bisimulation as a congruence JF Groote, F Vaandrager Information and computation 100 (2), 202-260, 1992	514	1992
The syntax and semantics of μCRL JF Groote, A Ponse Algebra of Communicating Processes, 26-62, 1995	460	1995
An efficient algorithm for branching bisimulation and stuttering equivalence JF Groote, F Vaandrager International Colloquium on Automata, Languages, and Programming, 626-638, 1990	279	1990
Transition system specifications with negative premises JF Groote Theoretical Computer Science 118 (2), 263-299, 1993	243	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	221	2001
The formal specification language mCRL2 JF Groote, A Mathijssen, M Reniers, Y Usenko, M Van Weerdenburg Dagstuhl Seminar Proceedings, 2007	213	2007
Modeling and analysis of communicating systems JF Groote, MR Mousavi MIT press, 2014	184	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	174	2013
Algebraic process verification JF Groote, MA Reniers Handbook of process algebra, 1151-1208, 2001	156	2001
Proof Theory for µCRL: A Language for Processes with Data. JF Groote, A Ponse Semantics of Specification Languages (SoSL), 232-251, 1994	146	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	139	1995
Transition system specifications with negative premises JF Groote International Conference on Concurrency Theory, 332-341, 1990	137	1990
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
Focus points and convergent process operators (A proof strategy for protocol verification) JF Groote, J Springintveld Logic Group Preprint Series 142, 1995	124*	1995
A bounded retransmission protocol for large data packets JF Groote, J van de Pol International Conference on Algebraic Methodology and Software Technology …, 1996	122	1996
Invariants in process algebra with data M Bezem, JF Groote CONCUR'94: Concurrency Theory, 401-416, 1994	121	1994
The syntax and semantics of timed JF Groote J. CRL. Centrum voor Wiskunde en Informatica (CWI), 1997	113*	1997
Transformation of BPMN Models for Behaviour Analysis. I Raedts, M Petkovic, YS Usenko, JMEM van der Werf, JF Groote, ... MSVVEIS 2007, 126-137, 2007	109	2007
Undecidable equivalences for basic process algebra JF Groote, H Huttel Information and Computation 115 (2), 354-371, 1994	107	1994
Confluence for process verification JF Groote, MPA Sellink Theoretical computer science 170 (1-2), 47-81, 1996	102	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