Jan Friso Groote

Citado por

	Todos	Desde 2018
Citações	8283	1583
Índice h	51	19
Índice i10	111	36

520

260

130

390

199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202326 36 87 101 168 166 184 129 167 194 182 311 208 232 312 357 300 519 344 368 262 269 301 303 237 250 244 216 238 272 254 245 257 311

Acesso público

Ver tudo

9 artigos

0 artigos

disponível

não disponível

Com base em autorizações de financiamento

Coautores

Michel Reniersassociate professor, Mechanical Engineering, TU/eEmail confirmado em tue.nl
Tim WillemseAssociate Professor, Eindhoven University of TechnologyEmail confirmado em tue.nl
Alban PonseGuest Researcher, Informatics Institute, University of AmsterdamEmail confirmado em uva.nl
Jaco van de PolProfessor of Computer Science, Aarhus UniversityEmail confirmado em cs.au.dk
Mohammad Reza MousaviProfessor of Software Engineering, King's College LondonEmail confirmado em kcl.ac.uk
Jeroen KeirenAssistant Professor, Eindhoven University of Technology, The NetherlandsEmail confirmado em tue.nl
Erik P. de VinkAssociate Professor, Eindhoven University of TechnologyEmail confirmado em win.tue.nl
Frits W. VaandragerProfessor of Computer Science, Radboud UniversityEmail confirmado em cs.ru.nl
Wim H. Hesselinkretired at Computer Science, Groningen UniversityEmail confirmado em rug.nl
Anton WijsAssociate Professor on Parallel Software Development at Eindhoven University of TechnologyEmail confirmado em tue.nl
Wan FokkinkProfessor of Computer Science, Vrije Universiteit AmsterdamEmail confirmado em vu.nl
Wieger WesselinkAI Research Engineer, Eindhoven University of TechnologyEmail confirmado em tue.nl
Ammar OsaiweranPhd Student at the Technical university of EindhovenEmail confirmado em tu.edu.ye
Frank StappersPhD Student, Technische Universiteit EindhovenEmail confirmado em tue.nl
Jun PangUniversity of LuxembourgEmail confirmado em uni.lu
hans zantemaEindhoven university of technologyEmail confirmado em tue.nl
Bas LuttikAssistant Professor of Computer Science, Eindhoven University of TechnologyEmail confirmado em tue.nl
Stefan BlomUniversity of TwenteEmail confirmado em utwente.nl
Thomas NeeleAssistant Professor, Eindhoven University of TechnologyEmail confirmado em tue.nl
Sjouke MauwProfessor in Security and Trust of Software Systems, University of LuxembourgEmail confirmado em uni.lu

Seguir

Jan Friso Groote

Full Professor (Hoogleraar), Eindhoven University of Technology

Email confirmado em tue.nl - Página inicial

Formal Methods Software modelling and verification Embedded Systems


Título Ordenar por citações Ordenar por ano Ordenar por título	Citado por Citado por	Ano
Structured operational semantics and bisimulation as a congruence JF Groote, F Vaandrager Information and computation 100 (2), 202-260, 1992	540	1992
The Syntax and Semantics of μCRL JF Groote, A Ponse Algebra of Communicating Processes: Proceedings of ACP94, the First Workshop …, 1995	483	1995
An efficient algorithm for branching bisimulation and stuttering equivalence JF Groote, F Vaandrager International Colloquium on Automata, Languages, and Programming, 626-638, 1990	307	1990
Modeling and analysis of communicating systems JF Groote, MR Mousavi MIT press, 2014	284	2014
Transition system specifications with negative premises JF Groote Theoretical Computer Science 118 (2), 263-299, 1993	259	1993
µCRL: A toolset for analysing algebraic specifications S Blom, W Fokkink, JF Groote, I Van Langevelde, B Lisser, J Van de Pol Computer Aided Verification: 13th International Conference, CAV 2001 Paris …, 2001	234	2001
The formal specification language mCRL2 JF Groote, A Mathijssen, M Reniers, Y Usenko, M Van Weerdenburg Dagstuhl Seminar Proceedings, 2007	230	2007
An overview of the mCRL2 toolset and its recent advances S Cranen, JF Groote, JJA Keiren, FPM Stappers, EP De Vink, ... Tools and Algorithms for the Construction and Analysis of Systems: 19th …, 2013	197	2013
Algebraic process verification JF Groote, MA Reniers Handbook of process algebra, 1151-1208, 2001	165	2001
Proof Theory for µCRL: A Language for Processes with Data. JF Groote, A Ponse Semantics of Specification Languages (SoSL) Proceedings of the International …, 1994	156	1994
The mCRL2 toolset for analysing concurrent systems: improvements in expressivity and usability O Bunte, JF Groote, JJA Keiren, M Laveaux, T Neele, EP de Vink, ... Tools and Algorithms for the Construction and Analysis of Systems: 25th …, 2019	155	2019
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	153	1995
The meaning of negative premises in transition system specifications R Bol, JF Groote Journal of the ACM (JACM) 43 (5), 863-914, 1996	147	1996
Transition system specifications with negative premises JF Groote International Conference on Concurrency Theory, 332-341, 1990	143	1990
A bounded retransmission protocol for large data packets: A case study in computer checked algebraic verification JF Groote, J van de Pol International Conference on Algebraic Methodology and Software Technology …, 1996	141	1996
Invariants in process algebra with data M Bezem, JF Groote International Conference on Concurrency Theory, 401-416, 1994	127	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	123	2007
The syntax and semantics of timed JF Groote J. CRL. Centrum voor Wiskunde en Informatica (CWI), 1997	120*	1997
Undecidable equivalences for basic process algebra JF Groote, H Huttel Information and Computation 115 (2), 354-371, 1994	117	1994
Confluence for process verification JF Groote, MPA Sellink Theoretical computer science 170 (1-2), 47-81, 1996	113	1996

O sistema não pode efectuar a operação agora. Tente mais tarde.

Artigos 1–20

Citações por ano

Citações duplicadas

Citações unidas

Adicionar coautoresCoautores

Seguir

Citado por

Coautores