2026 Jan Friso Groote: Computer Science Researcher – H-Index, Publications & Awards

Discipline name	D-Index	World Ranking	Current World Ranking	National Ranking	Current National Ranking	Publications	Citations
Computer Science	49	5962	5793	93	85	302	8041

Jan Friso Groote publication distribution in Computer Science in 2026

The chart shows the distribution of publications by all Research.com ranked scientists in the field of Computer Science in 2026. The highlighted bar marks where Jan Friso Groote sits on this spectrum.

32 publications 991+

This scientist: 302 publications — 74th percentile

74% of scientists in this discipline score the same or lower.

The last bar groups every scientist with 991 publications or more.

Jan Friso Groote D-index placement in Computer Science in 2026

The chart shows the D-index (discipline H-index) distribution of Computer Science scientists ranked by Research.com in 2026. The highlighted bar marks where Jan Friso Groote sits on this spectrum.

30 D-Index 131+

This scientist: 49 D-Index — 60th percentile

60% of scientists in this discipline score the same or lower.

The last bar groups every scientist with 131 D-Index or more.

Research.com Recognitions

2025 - Research.com Computer Science in Netherlands Leader Award
2022 - Research.com Computer Science in Netherlands Leader Award

Overview

Jan Friso Groote is affiliated with Eindhoven University of Technology in the Netherlands, contributing extensively to the field of computer science with a focus on formal methods and computational theory. Their research encompasses a wide range of topics including formal methods in verification, logic and programming, software testing, and parallel computing.

The main fields of study covered by Jan Friso Groote include:

Computer Science

Their subfields of study include:

Computational Theory and Mathematics
Artificial Intelligence
Software
Hardware and Architecture
Computer Networks and Communications

Key topics in their work are:

Formal Methods in Verification
Logic, programming, and type systems
Software Testing and Debugging Techniques
Semigroups and automata theory
Parallel Computing and Optimization Techniques
Machine Learning and Algorithms
Logic, Reasoning, and Knowledge

Jan Friso Groote has authored numerous research papers. Recent selected publications include:

Bisimulation by Partitioning Is Ω((m+n)log n), 2021, Leibniz-Zentrum für Informatik (Schloss Dagstuhl)
Beyond SOTIF: Black Swans and Formal Methods, 2020, 2020 IEEE International Systems Conference (SysCon)
Linear parallel algorithms to compute strong and branching bisimilarity, 2022, Software & Systems Modeling
A Formally Verified Fail-Operational Safety Concept for Automated Driving, 2022, SAE International Journal of Connected and Automated Vehicles
A Near-Linear-Time Algorithm for Weak Bisimilarity on Markov Chains, 2020, Leibniz-Zentrum für Informatik (Schloss Dagstuhl)

The main venues where Jan Friso Groote frequently publishes are:

arXiv (Cornell University)
Lecture Notes in Computer Science
Electronic Proceedings in Theoretical Computer Science
Leibniz-Zentrum für Informatik (Schloss Dagstuhl)
Logical Methods in Computer Science

Jan Friso Groote collaborates regularly with several coauthors, including:

Jan Martens
Muhammad Atif
Tim A. C. Willemse
Anton Wijs
Pieter Hijma

Additionally, Jan Friso Groote has contributed to several book publications. Their works include titles published by Springer Science+Business Media and Springer International Publishing such as:

Tools and Algorithms for the Construction and Analysis of Systems (2021, twice published)
Understanding Behaviour of Distributed Systems Using mCRL2 (2023)

Best Publications

Structured operational semantics and bisimulation as a congruence

Jan Friso Groote;Frits Vaandrager

568
Citations
The Syntax and Semantics of μCRL

Jan Friso Groote;Alban Ponse

480
Citations
Transition system specifications with negative premises

Jan Friso Groote

413
Citations
An efficient algorithm for branching bisimulation and stuttering equivalence

Jan Friso Groote;Frits W. Vaandrager

348
Citations
Proceedings of the 5th international symposium on Parallel and Distributed Processing and Applications

Ivan Stojmenovic;Ruppa K. Thulasiram;Laurence T. Yang;Weijia Jia

275
Citations
The Formal Specification Language mCRL2

JF Jan Friso Groote;Ahj Aad Mathijssen;MA Michel Reniers;YS Yaroslav Usenko

239
Citations
µCRL: A Toolset for Analysing Algebraic Specifications

Stefan Blom;Wan Fokkink;Jan Friso Groote;Izak van Langevelde

235
Citations
Modeling and Analysis of Communicating Systems

Jan Friso Groote;Mohammad Reza Mousavi

220
Citations
An overview of the mCRL2 toolset and its recent advances

Sjoerd Cranen;Jan Friso Groote;Jeroen J. A. Keiren;Frank P. M. Stappers

196
Citations
The safety guaranteeing system at station Hoorn-Kersenboogerd

J.F. Groote;S.F.M. van Vlijmen;J.W.C. Koorn

177
Citations
Algebraic process verification

JF Jan Friso Groote;MA Michel Reniers

170
Citations
The meaning of negative premises in transition system specifications

Roland Bol;Jan Friso Groote

165
Citations
The mCRL2 toolset for analysing concurrent systems : improvements in expressivity and usability

Olav Bunte;Jan Friso Groote;Jeroen J. A. Keiren;Maurice Laveaux

150
Citations
A Bounded Retransmission Protocol for Large Data Packets

Jan Friso Groote;Jaco van de Pol

135
Citations
Invariants in Process Algebra with Data

Marc Bezem;Jan Friso Groote

131
Citations
Undecidable equivalences for basic process algebra

Jan Friso Groote;Hans Hüttel

131
Citations
Parameterised boolean equation systems

Jan Friso Groote;Tim A. C. Willemse

122
Citations
Confluence for process verification

J. F. Groote;M. P. A. Sellink

121
Citations
Transformation of BPMN Models for Behaviour Analysis

Ivo Raedts;Marija Petkovic;Yaroslav S. Usenko;Jan Martijn E. M. van der Werf

117
Citations
The Propositional Formula Checker HeerHugo

Jan Friso Groote;Joost P. Warners

110
Citations
Proof Theory for muCRL: A Language for Processes with Data

Jan Friso Groote;Alban Ponse

104
Citations

Frequent Co-Authors

Wan Fokkink Vrije Universiteit Amsterdam

Jaco van de Pol Aarhus University

Sjouke Mauw University of Luxembourg

Frits W. Vaandrager Radboud University

Jean-Paul M. G. Linnartz Eindhoven University of Technology

Luca Aceto Reykjavík University

Rob van Glabbeek Stanford University

Chris Verhoef Vrije Universiteit Amsterdam

Alexander Serebrenik Eindhoven University of Technology

Remco van der Hofstad Eindhoven University of Technology

External Links

Wikipedia of Jan Friso Groote Personal website of Jan Friso Groote Google Scholar page

If you think any of the details on this page are incorrect, let us know.

Related Online Degrees & Career Pathways

Students passionate about Computer Science often consider broadening their credentials with online degrees tailored to current industry demands. Programs like the executive online mba are popular for those interested in merging technology skills with business leadership, paving the way for advanced management roles in tech companies.

For those seeking to specialize in information systems or digital resource management, the library degree offers valuable skills in data organization and digital archiving. These qualifications can lead to opportunities in information science, academic research, and corporate content management.

Many students are also searching for online affordable master’s programs that allow for flexible learning while minimizing costs. These programs can help professionals upskill or switch careers without leaving their current job.

Ambitious professionals interested in advanced leadership positions might consider a phd in leadership online. This degree combines research, theory, and practical skills for those aiming to make a strategic impact in organizations.