Jan Friso Groote

Geciteerd door

	Alles	Sinds 2017
Citaties	7861	1411
h-index	50	19
i10-index	111	31

540

270

135

405

19901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202228 33 78 111 158 179 186 131 183 201 178 299 163 228 286 330 302 536 346 385 274 275 285 286 240 250 243 204 240 261 247 243 214

Openbare toegang

Alles bekijken

6 artikelen

0 artikelen

beschikbaar

niet beschikbaar

Op basis van financieringsmachtigingen

Medeauteurs

Michel Reniersassociate professor, Mechanical Engineering, TU/eGeverifieerd e-mailadres voor tue.nl
Tim WillemseAssociate Professor, Eindhoven University of TechnologyGeverifieerd e-mailadres voor tue.nl
Jaco van de PolProfessor of Computer Science, Aarhus UniversityGeverifieerd e-mailadres voor cs.au.dk
Alban PonseGuest Researcher, Informatics Institute, University of AmsterdamGeverifieerd e-mailadres voor uva.nl
Mohammad Reza MousaviProfessor of Software Engineering, King's College LondonGeverifieerd e-mailadres voor kcl.ac.uk
Jeroen KeirenAssistant Professor, Eindhoven University of Technology, The NetherlandsGeverifieerd e-mailadres voor tue.nl
Frits W. VaandragerProfessor of Computer Science, Radboud UniversityGeverifieerd e-mailadres voor cs.ru.nl
Wim H. Hesselinkretired at Computer Science, Groningen UniversityGeverifieerd e-mailadres voor rug.nl
Erik P. de VinkAssociate Professor, Eindhoven University of TechnologyGeverifieerd e-mailadres voor win.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
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
Jun PangUniversity of LuxembourgGeverifieerd e-mailadres voor uni.lu
Anton WijsAssistant Professor at Eindhoven University of TechnologyGeverifieerd e-mailadres voor tue.nl
hans zantemaEindhoven university of technologyGeverifieerd e-mailadres voor tue.nl
Stefan BlomUniversity of TwenteGeverifieerd e-mailadres voor utwente.nl
Bas LuttikAssistant Professor of Computer Science, 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
Thomas NeeleAssistant Professor, Eindhoven University of TechnologyGeverifieerd e-mailadres voor tue.nl

Volgen

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	537	1992
The syntax and semantics of μCRL JF Groote, A Ponse Algebra of Communicating Processes, 26-62, 1995	474	1995
An efficient algorithm for branching bisimulation and stuttering equivalence JF Groote, F Vaandrager International Colloquium on Automata, Languages, and Programming, 626-638, 1990	300	1990
Modeling and analysis of communicating systems JF Groote, MR Mousavi MIT press, 2014	260	2014
Transition system specifications with negative premises JF Groote Theoretical Computer Science 118 (2), 263-299, 1993	252	1993
µCRL: A toolset for analysing algebraic specifications S Blom, W Fokkink, JF Groote, I Langevelde, B Lisser, J Pol International Conference on Computer Aided Verification, 250-254, 2001	230	2001
The formal specification language mCRL2 JF Groote, A Mathijssen, M Reniers, Y Usenko, M Van Weerdenburg Dagstuhl Seminar Proceedings, 2007	222	2007
An overview of the mCRL2 toolset and its recent advances S Cranen, JF Groote, JJA Keiren, FPM Stappers, EP Vink, W Wesselink, ... International Conference on Tools and Algorithms for the Construction and …, 2013	189	2013
Algebraic process verification JF Groote, MA Reniers Handbook of process algebra, 1151-1208, 2001	158	2001
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	149	1995
Proof Theory for µCRL: A Language for Processes with Data. JF Groote, A Ponse Semantics of Specification Languages (SoSL), 232-251, 1994	149	1994
The meaning of negative premises in transition system specifications R Bol, JF Groote Journal of the ACM (JACM) 43 (5), 863-914, 1996	139	1996
Transition system specifications with negative premises JF Groote International Conference on Concurrency Theory, 332-341, 1990	139	1990
A bounded retransmission protocol for large data packets JF Groote, J Pol International Conference on Algebraic Methodology and Software Technology …, 1996	130	1996
Invariants in process algebra with data M Bezem, JF Groote CONCUR'94: Concurrency Theory, 401-416, 1994	119	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	115	2007
The syntax and semantics of timed JF Groote J. CRL. Centrum voor Wiskunde en Informatica (CWI), 1997	114*	1997
Undecidable equivalences for basic process algebra JF Groote, H Huttel Information and Computation 115 (2), 354-371, 1994	111	1994
Confluence for process verification JF Groote, MPA Sellink Theoretical computer science 170 (1-2), 47-81, 1996	109	1996
Parameterised boolean equation systems JF Groote, TAC Willemse Theoretical Computer Science 343 (3), 332-369, 2005	104	2005

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

Artikelen 1–20

Citaties per jaar

Dubbele citaties

Samengevoegde citaties

Medeauteurs toevoegenMedeauteurs

Volgen

Geciteerd door

Medeauteurs