Jan Friso Groote - Google Scholar

Geciteerd door

	Alles	Sinds 2015
Citaties	7100	1293
h-index	46	20
i10-index	107	33

500

250

125

375

199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202026 34 77 96 151 179 181 130 170 185 177 300 188 225 299 333 293 491 342 361 262 270 276 322 226 245 238 196 234 251 128

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
Wim H. Hesselinkretired at Computer Science, Groningen UniversityGeverifieerd e-mailadres voor rug.nl
Jeroen KeirenAssistant Professor, Eindhoven University of Technology, The NetherlandsGeverifieerd e-mailadres voor tue.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
Frits W. VaandragerProfessor of Computer Science, Radboud UniversityGeverifieerd e-mailadres voor cs.ru.nl
Jun PangUniversity of LuxembourgGeverifieerd e-mailadres voor uni.lu
Wieger WesselinkAssistant Proffessor of Computer Science, Eindhoven University of TechnologyGeverifieerd e-mailadres voor tue.nl
Erik P. de VinkAssociate Professor, Eindhoven University of TechnologyGeverifieerd e-mailadres voor win.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
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
Anton WijsAssistant Professor at 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	510	1992
The syntax and semantics of μCRL JF Groote, A Ponse Algebra of Communicating Processes, 26-62, 1995	455	1995
An efficient algorithm for branching bisimulation and stuttering equivalence JF Groote, F Vaandrager International Colloquium on Automata, Languages, and Programming, 626-638, 1990	271	1990
Transition system specifications with negative premises JF Groote Theor. Comput. Sci. 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	218	2001
The formal specification language mCRL2 JF Groote, A Mathijssen, M Reniers, Y Usenko, M Van Weerdenburg Dagstuhl Seminar Proceedings, 2007	202	2007
Modeling and analysis of communicating systems JF Groote, MR Mousavi MIT press, 2014	163	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	163	2013
Algebraic process verification JF Groote, MA Reniers Handbook of process algebra, 1151-1208, 2001	152	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
Transition system specifications with negative premises JF Groote International Conference on Concurrency Theory, 332-341, 1990	134	1990
The meaning of negative premises in transition system specifications R Bol, JF Groote Journal of the ACM (JACM) 43 (5), 863-914, 1996	133	1996
Focus points and convergent process operators (A proof strategy for protocol verification) JF Groote, J Springintveld Logic Group Preprint Series 142, 1995	122*	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	119	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	106	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	103	2007
Confluence for process verification JF Groote, MPA Sellink Theoretical computer science 170 (1-2), 47-81, 1996	99	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