Jan Friso Groote | Academic Influence

Jan Friso Groote's AcademicInfluence.com Rankings

Jan Friso Groote

Computer Science

#3177

World Rank

#3328

Historical Rank

Software Engineering

#233

World Rank

#237

Historical Rank

Database

#5281

World Rank

#5482

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Jan Friso Groote's Degrees

PhD Computer Science Eindhoven University of Technology

Similar Degrees You Can Earn

Best Online PhD of Computer Science (Doctorates) 2026

Why Is Jan Friso Groote Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Jan Friso Groote is a Dutch computer scientist. Education Groote studied computer science at Twente University obtaining his master's degree in 1988 under supervision of Ed Brinksma. He obtained his PhD thesis in 1991 under Jan Bergstra and Jos Baeten at the University of Amsterdam, while working at the Centre for Mathematics and Computer Science in Amsterdam.

(See a Problem?)

Jan Friso Groote's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Structured Operational Semantics and Bisimulation as a Congruence (1992) (424)
Syntax and semantics of CRL (1995) (395)
Transition System Specifications with Negative Premises (1993) (248)
An Efficient Algorithm for Branching Bisimulation and Stuttering Equivalence (1990) (239)
Modeling and Analysis of Communicating Systems (2014) (197)
µCRL: A Toolset for Analysing Algebraic Specifications (2001) (181)
Parallel and Distributed Processing and Applications (2005) (179)
The Formal Specification Language mCRL2 (2006) (177)
The meaning of negative premises in transition system specifications (1991) (166)
An Overview of the mCRL2 Toolset and Its Recent Advances (2013) (165)
The safety guaranteeing system at station Hoorn-Kersenboogerd (1994) (127)
Algebraic Process Verification (2001) (125)
Proof Theory for µCRL: A Language for Processes with Data (1993) (120)
A Bounded Retransmission Protocol for Large Data Packets (1993) (109)
Invariants in Process Algebra with Data (1993) (104)
Confluence for Process Verification (1995) (97)
Transformation of BPMN Models for Behaviour Analysis (2007) (92)
Undecidable Equivalences for Basic Process Algebra (1994) (91)
Verification of Temporal Properties of Processes in a Setting with Data (1999) (91)
SOS formats and meta-theory: 20 years after (2007) (90)
Parameterised boolean equation systems (2005) (85)
20 Years After (2007) (84)
An algorithm for the asynchronous Write-All problem based on process collision (2001) (80)
The mCRL2 Toolset for Analysing Concurrent Systems - Improvements in Expressivity and Usability (2019) (78)
Focus points and convergent process operators: a proof strategy for protocol verification (1995) (73)
The Syntax and Semantics of timed μ CRL (1997) (71)
Model-checking processes with data (2005) (66)
Checking Verifications of Protocols and Distributed Systems by Computer (1998) (65)
A Correctness Proof of a One-Bit Sliding Window Protocol in µCRL (1993) (65)
The Propositional Formula Checker HeerHugo (2000) (62)
Lock-free dynamic hash tables with open addressing (2003) (61)
Resolution and binary decision diagrams cannot simulate each other polynomially (2001) (60)
Linearization in parallel pCRL (2000) (59)
Analysis of distributed systems with mCRL2 (2008) (54)
Transition System Specifications with Negative Premises (Extended Abstract) (1990) (54)
Notions of bisimulation and congruence formats for SOS with data (2005) (52)
The mCRL2 toolset (2008) (51)
A Short Proof of the Decidability of Bisimulation for Normed BPA-Processes (1992) (50)
Analysis of a distributed system for lifting trucks (2003) (50)
Equational Binary Decision Diagrams (2000) (49)
Specification and verification of real time systems in ACP (1990) (49)
Structural Operational Semantics and Bisimulation as a Congruence (Extended Abstract) (1989) (48)
A New Strategy for Proving omega-Completeness applied to Process Algebra (1990) (48)
A Correctness Proof of the Bakery Protocol in CRL (1994) (46)
Exploring students' understanding of the concept of algorithm: levels of abstraction (2005) (44)
Computer assisted manipulation of algebraic process specifications (2002) (42)
Lock-free parallel and concurrent garbage collection by mark&sweep (2007) (41)
Formal Verification of a Leader Election Protocol in Process Algebra (1997) (41)
An O(mlogn) Algorithm for Computing Stuttering Equivalence and Branching Bisimulation (2017) (41)
Completeness of Timed μCRL (2002) (39)
Verification of a sliding window protocol in μCRL and PVS (2005) (38)
Verifying a Sliding Window Protocol in µCRL (2004) (37)
A linear translation from CTL* to the first-order modal μ -calculus (2011) (35)
State Space Reduction Using Partial tau-Confluence (2000) (35)
Almost wait-free resizable hashtables (2004) (35)
A syntactic commutativity format for SOS (2005) (33)
The syntax and semantics of timed $\mu CRL$ (1997) (33)
Analyzing the effects of formal methods on the development of industrial control software (2011) (33)
From µCRL to mCRL2: Motivation and Outline (2006) (33)
State space reduction using partial τ-confluence (2000) (31)
Focus Points and Convergent Process Operators (1995) (31)
Specification guidelines to avoid the state space explosion problem (2011) (30)
Binary decision diagrams for first-order predicate logic (2003) (30)
A Formal Verification of the Alternating Bit Protocol in the Calculus of Constructions (1993) (30)
Proof Theory for |CRL (1991) (29)
Congruence for SOS with data (2004) (28)
Verification of Parallel Systems via Decomposition (1992) (27)
Proceedings of the International Conference on Typed Lambda Calculi and Applications (1993) (27)
Hiding propositional constants in BDDs (1994) (26)
Analysis of three hybrid systems in timed µCRL (2001) (23)
Task Allocation in a Multi-Server System (2003) (23)
An O(m\log n) Algorithm for Stuttering Equivalence and Branching Bisimulation (2016) (22)
Specification and implementation of components of a μCRL toolbox (1995) (22)
The parallel composition of uniform processes with data (2001) (22)
Evaluation of a business continuity plan using process algebra and modal logic (2009) (22)
Interactive visualization of large state spaces (2006) (22)
Process algebra with guards: Combining Hoare logic with process algebra (1994) (21)
A Checker for Modal Formulas for Processes with Data (2002) (21)
Solving Disjunctive/Conjunctive Boolean Equation Systems with Alternating Fixed Points (2004) (21)
Wait-free concurrent memory management by Create and Read until Deletion (CaRuD) (2001) (21)
Parameterised Boolean Equation Systems (Extended Abstract) (2004) (19)
Large State Space Visualization (2003) (18)
A Complete Equational Axiomatization for MPA with String Iteration (1995) (18)
Software engineering: Redundancy is key (2015) (18)
Undecidability and completeness results for process algebras with alternative quantification over data (1998) (17)
A Hierarchy of SOS Rule Formats (2006) (16)
The Syntax and Semantics of mCRL (1994) (16)
A computer checked algebraic verification of a distributed summation algorithm (2005) (16)
Formalizing process algebraic verifications in the calculus of constructions (2005) (16)
Analysis of Path Planning Algorithms: a Formal Verification-based Approach (2013) (15)
A Sub-quadratic Algorithm for Conjunctive and Disjunctive Boolean Equation Systems (2005) (15)
An O(m log n) algorithm for branching bisimilarity on labelled transition systems (2019) (15)
Waitfree distributed memory management by Create, and Read Until Deletion (CRUD) (1998) (13)
An Efficient Algorithm to Determine Probabilistic Bisimulation (2018) (13)
Transforming equality logic to propositional logic (2003) (13)
Formalising the Dezyne Modelling Language in mCRL2 (2017) (13)
Experiences in developing the mCRL2 toolset (2011) (13)
Operational semantics for Petri net components (2007) (13)
Evaluating the effect of a lightweight formal technique in industry (2016) (12)
Search algorithms for automated validation (2009) (11)
Process Algebra with Guards - Combining Hoare Logic with Process Algebra (Extended Abstract) (1991) (11)
Algebraic verification of a distributed summation algorithm (1996) (10)
LARIS 1.0 - LAnguage for Railway Interlooking Specifications (2000) (10)
The syntax and semantics of $ mu $ CRL (1990) (10)
Evaluating the Effect of Formal Techniques in Industry (2012) (10)
Efficient almost wait-free parallel accessible dynamic hashtables (2003) (10)
Problem Solving Using Process Algebra Considered Insightful (2017) (10)
New developments around the mCRL tool set (2003) (9)
Process algebra needs proof methodology (2004) (9)
Tutorial and Reference Guide for the Crl Toolset Version 1.0 (1999) (9)
Generation and Evaluation of Business Continuity Processes using Algebraic Graph Transformation and the mCRL2 Process Algebra (2011) (9)
Solving Parameterised Boolean Equation Systems with Infinite Data Through Quotienting (2018) (9)
Verification of hypertorus communication grids by infinite petri nets and process algebra (2019) (8)
Pitfalls in Applying Model Learning to Industrial Legacy Software (2018) (8)
Experience report on developing the Front-end client unit under the control of formal methods (2012) (8)
Analysing the BKE-security Protocol with µCRL (2005) (8)
Switching Graphs (2008) (8)
Advances in Model Driven Software Engineering (2012) (7)
Statistical Certification of Software Systems (2008) (7)
Sarir: A Rebeca to mCRL2 Translator (2007) (7)
A balancing act : analyzing a distributed lift system (2001) (7)
A Modal Logic for CRL (1994) (7)
Connuence for Process Veriication (1996) (7)
A sub-quadratic algorithm for conjunctive and disjunctive BESs (2004) (7)
A complete axiomatisation of branching bisimulation for process algebras with alternative quantification over data (1998) (7)
Towards a unified toolset for embedded systems development (2000) (7)
A note on n similar parallel processes (1996) (7)
Benefits of applying formal methods to industrial control software (2011) (6)
Experience Report on Designing and Developing Control Components Using Formal Methods (2012) (6)
A Checker for Modal Formulae for Processes with Data (2003) (6)
Software that Meets Its Intent (2016) (6)
Algebraic Data Types and Induction in CRL (2007) (6)
Dogfooding the structural operational semantics of mCRL2 (2011) (6)
Process Algebra Needs Proof Methodology (Columns: Concurrency) (2004) (6)
Towards a Formal Mathematical Vernacular (1992) (6)
Lock-free parallel garbage collection by Mark&Sweep (2004) (5)
Completeness of Timed mCRL (2002) (5)
A linear parallel algorithm to compute bisimulation and relational coarsest partitions (2021) (5)
Modelling and Analysis of Communicating Systems (abridged version) (2011) (5)
Proceedings of the 2nd International Conference on Concurrency Theory (1991) (4)
Lock-Free Parallel Garbage Collection (2005) (4)
Corrigendum to A Correctness Proof of a One-bit Sliding Window Protocol in μCRL (1994) (4)
Improving the quality of protocol standards (2001) (4)
Finding compact proofs for infinite-data parameterised Boolean equation systems (2020) (4)
The Mean Drift: Tailoring the Mean Field Theory of Markov Processes for Real-World Applications (2017) (4)
Basic theorems for parallel processes in timed $\mu$CRL (1998) (4)
The Modal µ-calculus (2014) (4)
Continuous approximation of stochastic models for wireless sensor networks (2015) (4)
Correct and Efficient Antichain Algorithms for Refinement Checking (2019) (4)
Modelling and Analysing Software in mCRL2 (2019) (4)
Verifying System-Wide Properties of Industrial Component-Based Software (2019) (4)
Tutorial: Designing Distributed Software in mCRL2 (2021) (4)
Time abstraction in timed /spl mu/CRL a la regions (2006) (3)
A Near-Linear-Time Algorithm for Weak Bisimilarity on Markov Chains (2020) (3)
Analyzing a Controller of a Power Distribution Unit Using Formal Methods (2012) (3)
Typed lambda calculi and applications : International Conference on Typed Lamda [i.e. Lambda] Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, The Netherlands : proceedings (1993) (3)
Foreword (Special issue on COST247, Verification and validation methods for formal descriptions) (1997) (3)
State space visualization (2002) (3)
Investigating the effects of designing industrial control software using push and poll strategies (2011) (3)
Constructive Model Inference: Model Learning for Component-based Software Architectures (2022) (3)
The Syntax and Semantics of timed (1997) (3)
The Syntax and Semantics of timed (1997) (3)
Bisimulation by Partitioning Is Ω((m+n)log n) (2021) (3)
Suitability of mCRL2 for Concurrent-System Design: A 2 × 2 Switch Case Study (2009) (3)
Proceedings of the International Workshop on Semantics of Specification Languages (SoSL) (1993) (3)
Dogfooding the Formal Semantics of mCRL2 (2012) (3)
Beyond SOTIF: Black Swans and Formal Methods (2020) (3)
Semantics of Specification Languages (SoSL) (1994) (3)
Parameterised Anonymity (2009) (3)
A Complete Axiomatization of Branching Bisimilarity for a Simple Process Language with Probabilistic Choice - (Extended Abstract) (2019) (3)
On the random structure of behavioural transition systems (2014) (3)
Time abstraction in timed µCRL à la regions (2006) (3)
New developments around the CRL tool set 1 1 http://www.cwi.nl/~mcrl (2003) (2)
A simpler O(m log n) algorithm for branching bisimilarity on labelled transition systems (2019) (2)
A Complete Axiomatisation for Probabilistic Trace Equivalence (2020) (2)
The mCRL 2 toolset (2008) (2)
A toolset for the analysis of et-lotos specifications (1998) (2)
Lowerbounds for Bisimulation by Partition Refinement (2022) (2)
A Hierarchy of SOS Rule Formats (Preliminary abstract) (2005) (2)
Software engineering reference framework (2004) (2)
Term Rewriting on GPUs (2020) (2)
An Axiomatization of Strong Distribution Bisimulation for a Language with a Parallel Operator and Probabilistic Choice (2019) (2)
Book Announcement: Modeling and Analysis of Communicating Systems (2014) (2)
A Probabilistic Analysis of the Game of the Goose (2016) (2)
Modelling and Verification of a Cluster-tree Formation Protocol Implementation for the IEEE 802.15.4 TSCH MAC Operation Mode (2017) (2)
Assessing the Quality of Tabular State Machines through Metrics (2017) (2)
The Safety Guaranteeing System at Station (2008) (2)
Exact Real Arithmetic with Perturbation Analysis and Proof of Correctness (2015) (1)
A symmetric protocol to establish service level agreements (2020) (1)
Proving a graph well founded using resolution (1994) (1)
Assembly programming (2021) (1)
Specification, testing and verification of software for technical applications (STVSTA) (1995) (1)
Analysis and Synthesis of Systems with Discrete and Continuous Control (2002) (1)
Completeness of timed $ mu $ CRL (2000) (1)
RAPPORT The Propositional Formula Checker HeerHugo (1999) (1)
Logic Gates, Circuits, Processors, Compilers and Computers (2021) (1)
A Formally Verified Fail-Operational Safety Concept for Automated Driving (2020) (1)
Minimisation of Spatial Models Using Branching Bisimilarity (2023) (1)
A thread-safe Term Library (2021) (1)
The Vital Processor Interlocking (1999) (1)
Semantics of specification languages (SoSL) : proceedings of the international workshop, Utrecht, The Netherlands, 25-27 October 1993 (1994) (1)
Basic Manipulation of Processes (2014) (1)
Semantics, bisimulation and congruence results for a general stochastic process operator (2011) (1)
The Raspberry Pi and the ARM processor (2021) (1)
Undecidability and completeness results for process algebras with alternative with alternative quantification over data (1998) (1)
Distribution of Behaviour into Parallel Communicating Subsystems (2019) (1)
A note on n similar process (1997) (1)
A Set Automaton to Locate All Pattern Matches in a Term (2021) (1)
Verification of networks of timed automata using mCRL2 (2008) (1)
Verification of Distributed Systems (2014) (0)
A Thread-Safe Term Library - (with a New Fast Mutual Exclusion Protocol) (2022) (0)
From $\mu$ crl to mcrl2 (2005) (0)
Linear Process Equations and Linearization (2014) (0)
Actions, Behavior, Equivalence, and Abstraction (2014) (0)
Appendix F: Answers to Exercises (2014) (0)
Sequential circuits (2021) (0)
Numbers, basic circuits, and the ALU (2021) (0)
Appendix E: Axioms for Processes (2014) (0)
Appendix B: Equational Definition of Built-In Data Types (2014) (0)
Proceedings of the third international workshop on Formal Methods for industrial critical systems, Amsterdam, The Netherlands, May 25-26, 1988 (1998) (0)
Proof theory for $ mu $ -CRL (1991) (0)
From Dezyne to Model Checking (2015) (0)
Non-blocking dynamic hash tables with open addressing (2003) (0)
Visualization of Large Transition Systems (VoLTS) (2004) (0)
Appendix D: Syntax of the Formalisms (2014) (0)
2 Preliminaries 2 . 1 Transition System Specification Definition (2004) (0)
Compiling higher-level languages (2021) (0)
Micro-CRL toolset development and applications (1999) (0)
A complete axiomatisation of branching bisimulation over data (1998) (0)
Using the Parallel ATerm Library for Parallel Model Checking and State Space Generation (2022) (0)
Modeling System Behavior (2014) (0)
F L ] 3 0 M ay 2 01 9 Distribution of Behaviour into Parallel Communicating Subsystems (2019) (0)
TransformationTransformation of BPMN models for Behaviour Analysis (2007) (0)
Editorial (1998) (0)
Evaluating the effect of a lightweight formal technique in industry (2015) (0)
Software Technology & Engineering (2007) (0)
Discretization of Timed Automata in Timed mu (2005) (0)
A Formally Verified Highly Resilient Safety Concept with Degraded Modes for Automated Driving (2020) (0)
Semantics of Specification Languages (1994) (0)
The 3TU embedded systems master in the Netherlands (2009) (0)
Formalizing process algebraic specifications in COQ (1995) (0)
Specificatie en analyse van ingebedde systemen (SEN2) (1997) (0)
Proceedings Workshop on Models for Formal Analysis of Real Systems, MARS 2015, Suva, Fiji, November 23, 2015 (2015) (0)
Improving the quality of embedded systems using formal design techniques (2000) (0)
Specification and analysis of embedded systems (SEN2) (1997) (0)
Discretization of Timed Automata in Timed μCRL `a la Regions and Zones (2006) (0)
Real-time distributed shared data space (2000) (0)
VeriGEM: A verification grid for enhanced model checking (2006) (0)
Bits, trits, qits, pits of hits (2002) (0)
Tool interoperability for model-based systems engineering (2023) (0)
Redundancy in the Software Design Process is Essential for Designing Correct Software (2014) (0)
Timed Process Behavior (2014) (0)
Verification of Modal Formulas Using Parameterized Boolean Equation Systems (2014) (0)
Semantics of Specification Langauges (SoSL): Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, the Netherlands, October 1993 (1994) (0)
Cones and Foci (2014) (0)
Concur 91: 2nd International Conference on Concurrency Theory Amsterdam, the Netherlands, August 26-29, 1991 : Proceedings (1991) (0)
Equational Binary Decision Diagrams Equational Binary Decision Diagrams (2000) (0)
Black-Box Testing from ISpec Interface Specifications (2000) (0)
Correction to: Verifying System-Wide Properties of Industrial Component-Based Software (2019) (0)
Foreword (1997) (0)
Active Learning of Decomposable Systems (2020) (0)
1 Real Space Process Algebra (2005) (0)
Active Learning of Industrial Software with Data (2019) (0)
Initial Release of EMFTL plugins (2014) (0)
The µCRL toolset version 1.0 (1999) (0)
points and convergent process operators (2007) (0)
New tool to design the behaviour of embedded systems (2006) (0)
A dedicated verification approach for scheduling in complex manufacturing machines (2004) (0)
An elementary processor (2021) (0)
The Propositional Formula Checker (1999) (0)
Communication Patterns in Mean Field Models for Wireless Sensor Networks (2015) (0)
1 Visualization of Large Transition Systems (0)
Compositional Learning for Interleaving Parallel Automata (2023) (0)
System Validation: 8. Parallel Processes: Theory part 2 (2012) (0)
Computer Organization (2021) (0)
Modeling and Reconfigurating critical Business Processes for the purpose of a Business Continuity Ma (2010) (0)
Concurrency theory will set standards for description and analysis of software (1996) (0)
An Overview of the mCRL2 Modelling and Verification Toolset (2021) (0)
Fair Mutual Exclusion for N Processes (extended version) (2021) (0)
Infinite Choice and Probability Distributions. An Open Problem: The Real Hotel (2021) (0)
Understanding Behaviour of Distributed Systems Using mCRL2, 1 (2023) (0)
Innermost many-sorted term rewriting on GPUs (2022) (0)
Linear parallel algorithms to compute strong and branching bisimilarity (2022) (0)
Confluence and τ-prioritization (2014) (0)
Proving a Graph Well Founded using Resolution ( a case study in automated verification ) (1994) (0)
Preface: Proceedings of the workshop on models for formal analysis of real systems (2015) (0)
Basic components and combinatorial circuits (2021) (0)
Modeling critical Business Processes for Continuity Management respecting Security , Risk and Compliance requirements using Algebraic Graph Transformation ( long version ) (2010) (0)

This paper list is powered by the following services:

Other Resources About Jan Friso Groote

en.wikipedia.org

What Schools Are Affiliated With Jan Friso Groote?

Jan Friso Groote is affiliated with the following schools:

Image Attributions

Image Source for Jan Friso Groote