Jan Friso Groote

Geciteerd door

	Alles	Sinds 2016
Citaties	7243	1170
h-index	47	19
i10-index	107	31

500

250

125

375

199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202025 34 79 94 151 181 181 132 170 185 177 302 188 225 299 333 293 491 343 360 262 269 285 321 230 245 238 197 234 262 238

Medeauteurs

Michel Reniersassociate professor, Mechanical Engineering, TU/eGeverifieerd e-mailadres voor tue.nl
Mohammad Reza MousaviProfessor, University of LeicesterGeverifieerd e-mailadres voor le.ac.uk
Jaco van de PolProfessor of Computer Science, Aarhus UniversityGeverifieerd e-mailadres voor cs.au.dk
Alban PonseAssociate Professor of Computer Science, University of AmsterdamGeverifieerd e-mailadres voor uva.nl
Tim WillemseAssociate Professor, Eindhoven University of TechnologyGeverifieerd e-mailadres voor tue.nl
Frits W. VaandragerProfessor of Computer Science, Radboud UniversityGeverifieerd e-mailadres voor cs.ru.nl
Jeroen KeirenAssistant Professor, Eindhoven University of Technology, The NetherlandsGeverifieerd e-mailadres voor tue.nl
Wim H. Hesselinkretired at Computer Science, Groningen UniversityGeverifieerd e-mailadres voor rug.nl
Ammar OsaiweranPhd Student at the Technical university of EindhovenGeverifieerd e-mailadres voor tu.edu.ye
Wan FokkinkProfessor of Computer Science, Vrije Universiteit AmsterdamGeverifieerd e-mailadres voor vu.nl
Jun PangUniversity of LuxembourgGeverifieerd e-mailadres voor uni.lu
Erik P. de VinkAssociate Professor, Eindhoven University of TechnologyGeverifieerd e-mailadres voor win.tue.nl
Wieger WesselinkAssistant Proffessor of Computer Science, Eindhoven University of TechnologyGeverifieerd e-mailadres voor tue.nl
Frank StappersPhD Student, Technische Universiteit EindhovenGeverifieerd e-mailadres voor tue.nl
hans zantemaEindhoven university of technologyGeverifieerd e-mailadres voor tue.nl
Stefan BlomUniversity of TwenteGeverifieerd e-mailadres voor utwente.nl
Anton WijsAssistant Professor at Eindhoven University of TechnologyGeverifieerd e-mailadres voor tue.nl
Sjouke MauwProfessor in Security and Trust of Software Systems, University of LuxembourgGeverifieerd e-mailadres voor uni.lu
Bas LuttikAssistant Professor of Computer Science, Eindhoven University of TechnologyGeverifieerd e-mailadres voor tue.nl
Arno WoutersLooking for a jobGeverifieerd e-mailadres voor uu.nl

Jan Friso Groote

Full Professor (Hoogleraar), Eindhoven University of Technology

Geverifieerd e-mailadres voor tue.nl - Homepage

Formal Methods Software modelling and verification Embedded Systems


Titel Sorteren op citaties Sorteren op jaar Sorteren op titel	Geciteerd door Geciteerd door	Jaar
Structured operational semantics and bisimulation as a congruence JF Groote, F Vaandrager Information and computation 100 (2), 202-260, 1992	516	1992
The syntax and semantics of μCRL JF Groote, A Ponse Algebra of Communicating Processes, 26-62, 1995	456	1995
An efficient algorithm for branching bisimulation and stuttering equivalence JF Groote, F Vaandrager International Colloquium on Automata, Languages, and Programming, 626-638, 1990	276	1990
Transition system specifications with negative premises JF Groote Theor. Comput. Sci. 118 (2), 263-299, 1993	246	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	207	2007
Modeling and analysis of communicating systems JF Groote, MR Mousavi MIT press, 2014	182	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	173	2013
Algebraic process verification JF Groote, MA Reniers Handbook of process algebra, 1151-1208, 2001	153	2001
Proof Theory for µCRL: A Language for Processes with Data. JF Groote, A Ponse Semantics of Specification Languages (SoSL), 232-251, 1994	147	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
The meaning of negative premises in transition system specifications R Bol, JF Groote Journal of the ACM (JACM) 43 (5), 863-914, 1996	135	1996
Transition system specifications with negative premises JF Groote International Conference on Concurrency Theory, 332-341, 1990	135	1990
Focus points and convergent process operators (A proof strategy for protocol verification) JF Groote, J Springintveld Logic Group Preprint Series 142, 1995	123*	1995
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
Invariants in process algebra with data M Bezem, JF Groote CONCUR'94: Concurrency Theory, 401-416, 1994	120	1994
The syntax and semantics of timed JF Groote J. CRL. Centrum voor Wiskunde en Informatica (CWI), 1997	110*	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	106	2007
Undecidable equivalences for basic process algebra JF Groote, H Huttel Information and Computation 115 (2), 354-371, 1994	106	1994
Confluence for process verification JF Groote, MPA Sellink Theoretical computer science 170 (1-2), 47-81, 1996	100	1996

Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.

Artikelen 1–20

Citaties per jaar

Dubbele citaties

Samengevoegde citaties

Medeauteurs toevoegenMedeauteurs

PDF uploaden

Deze auteur volgen

Geciteerd door

Medeauteurs