Jan Friso Groote

Citado por

	Todos	Desde 2018
Citações	7957	1351
Índice h	50	17
Índice i10	110	32

540

270

135

405

199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202323 30 80 93 171 164 179 128 169 188 172 303 187 228 290 360 295 528 348 368 272 262 295 307 234 250 241 208 236 253 263 272 260 64

Acesso público

Ver tudo

8 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
Ammar OsaiweranPhd Student at the Technical university of EindhovenEmail confirmado em tu.edu.ye
Anton WijsAssistant Professor at Eindhoven University of TechnologyEmail confirmado em tue.nl
Wan FokkinkProfessor of Computer Science, Vrije Universiteit AmsterdamEmail confirmado em vu.nl
Wieger WesselinkAssistant Proffessor of Computer Science, Eindhoven University of TechnologyEmail confirmado em tue.nl
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
Sjouke MauwProfessor in Security and Trust of Software Systems, University of LuxembourgEmail confirmado em uni.lu
Maurice LaveauxPhD student, Eindhoven University of TechnologyEmail confirmado em tue.nl

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	542	1992
The Syntax and Semantics of μCRL JF Groote, A Ponse Algebra of Communicating Processes: Proceedings of ACP94, the First Workshop …, 1995	479	1995
An efficient algorithm for branching bisimulation and stuttering equivalence JF Groote, F Vaandrager Automata, Languages and Programming: 17th International Colloquium Warwick …, 1990	301	1990
Modeling and analysis of communicating systems JF Groote, MR Mousavi MIT press, 2014	262	2014
Transition system specifications with negative premises JF Groote Theoretical Computer Science 118 (2), 263-299, 1993	254	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	226	2001
The formal specification language mCRL2 JF Groote, A Mathijssen, M Reniers, Y Usenko, M Van Weerdenburg Dagstuhl Seminar Proceedings, 2007	225	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	193	2013
Algebraic process verification JF Groote, MA Reniers Handbook of process algebra, 1151-1208, 2001	164	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	154	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	151	1995
Transition system specifications with negative premises JF Groote CONCUR'90 Theories of Concurrency: Unification and Extension: Amsterdam, The …, 2005	140	2005
The meaning of negative premises in transition system specifications R Bol, JF Groote Journal of the ACM (JACM) 43 (5), 863-914, 1996	140	1996
A bounded retransmission protocol for large data packets: A case study in computer checked algebraic verification JF Groote, J van de Pol Algebraic Methodology and Software Technology: 5th International Conference …, 1996	132	1996
Invariants in process algebra with data M Bezem, JF Groote CONCUR'94: Concurrency Theory, 401-416, 1994	121	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	118	2007
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	117	2019
The syntax and semantics of timed JF Groote J. CRL. Centrum voor Wiskunde en Informatica (CWI), 1997	116*	1997
Confluence for process verification JF Groote, MPA Sellink Theoretical computer science 170 (1-2), 47-81, 1996	111	1996
Undecidable equivalences for basic process algebra JF Groote, H Huttel Information and Computation 115 (2), 354-371, 1994	111	1994

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