D-Index & Metrics Best Publications

D-Index & Metrics

Discipline name D-index D-index (Discipline H-index) only includes papers and citation values for an examined discipline in contrast to General H-index which accounts for publications across all disciplines. Citations Publications World Ranking National Ranking
Computer Science D-index 37 Citations 5,914 166 World Ranking 5195 National Ranking 77

Overview

What is he best known for?

The fields of study he is best known for:

  • Programming language
  • Algorithm
  • Algebra

Jan Friso Groote mainly investigates Process calculus, Algebra, Programming language, Transition system and Theoretical computer science. His work deals with themes such as Equivalence, Algorithm, Decidability and Algebraic number, which intersect with Process calculus. As a part of the same scientific family, Jan Friso Groote mostly works in the field of Algebra, focusing on Discrete mathematics and, on occasion, Partition, Stuttering and Computation tree logic.

His study in Transition system is interdisciplinary in nature, drawing from both Bisimulation, Operational semantics and Operator. His studies in Operational semantics integrate themes in fields like Formal semantics and Equivalence. His work carried out in the field of Theoretical computer science brings together such families of science as Abstraction, Soundness, Modeling language and Information and Computer Science.

His most cited work include:

  • Structured operational semantics and bisimulation as a congruence (313 citations)
  • The Syntax and Semantics of μCRL (231 citations)
  • Transition system specifications with negative premises (183 citations)

What are the main themes of his work throughout his whole career to date?

Jan Friso Groote spends much of his time researching Theoretical computer science, Process calculus, Algorithm, Programming language and Discrete mathematics. His Theoretical computer science research is multidisciplinary, relying on both Equivalence, Mathematical proof and Set. In his study, which falls under the umbrella issue of Process calculus, Parameterized complexity is strongly linked to Algebra.

His work on Correctness and Binary decision diagram as part of general Algorithm study is frequently connected to Sliding window protocol, therefore bridging the gap between diverse disciplines of science and establishing a new relationship between them. His Discrete mathematics and Bisimulation and Time complexity investigations all form part of his Discrete mathematics research activities. In his study, Logic programming is strongly linked to Transition system, which falls under the umbrella field of Bisimulation.

He most often published in these fields:

  • Theoretical computer science (18.35%)
  • Process calculus (17.43%)
  • Algorithm (17.43%)

What were the highlights of his more recent work (between 2014-2021)?

  • Algorithm (17.43%)
  • Correctness (11.93%)
  • Theoretical computer science (18.35%)

In recent papers he was focusing on the following fields of study:

His primary scientific interests are in Algorithm, Correctness, Theoretical computer science, Model checking and Software. His Algorithm research incorporates elements of Binary logarithm and Branching bisimulation. Jan Friso Groote combines subjects such as Equivalence, Equivalence and Distribution with his study of Theoretical computer science.

Model checking is a subfield of Programming language that Jan Friso Groote explores. His studies deal with areas such as Process calculus, Visualization and Traditional mathematics as well as Range. His Kripke structure research integrates issues from Discrete mathematics, Set, Transition system and Combinatorics.

Between 2014 and 2021, his most popular works were:

  • The mCRL2 toolset for analysing concurrent systems : improvements in expressivity and usability (38 citations)
  • An O(mlogn) Algorithm for Computing Stuttering Equivalence and Branching Bisimulation (30 citations)
  • Specification guidelines to avoid the state space explosion problem (16 citations)

In his most recent research, the most cited papers focused on:

  • Programming language
  • Algorithm
  • Algebra

Jan Friso Groote mostly deals with Algorithm, Model checking, Software engineering, Correctness and Software. His Algorithm research incorporates themes from Binary logarithm, Bisimulation and Probabilistic logic. His Model checking study is focused on Programming language and Theoretical computer science.

Jan Friso Groote has included themes like Model transformation and Finite state in his Programming language study. His work on Domain-specific language as part of general Software engineering research is often related to Usability, thus linking different fields of science. His Set study incorporates themes from Interface and Transition system.

This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.

Best Publications

Structured operational semantics and bisimulation as a congruence

Jan Friso Groote;Frits Vaandrager.
Information & Computation (1992)

530 Citations

The Syntax and Semantics of μCRL

Jan Friso Groote;Alban Ponse.
(1995)

474 Citations

An efficient algorithm for branching bisimulation and stuttering equivalence

Jan Friso Groote;Frits W. Vaandrager.
international colloquium on automata, languages and programming (1990)

288 Citations

Transition system specifications with negative premises

Jan Friso Groote.
Theoretical Computer Science (1993)

253 Citations

µCRL: A Toolset for Analysing Algebraic Specifications

Stefan Blom;Wan Fokkink;Jan Friso Groote;Izak van Langevelde.
computer aided verification (2001)

232 Citations

The Formal Specification Language mCRL2

JF Jan Friso Groote;Ahj Aad Mathijssen;MA Michel Reniers;YS Yaroslav Usenko.
dagstuhl seminar proceedings (2007)

220 Citations

Modeling and Analysis of Communicating Systems

Jan Friso Groote;Mohammad Reza Mousavi.
(2014)

193 Citations

An overview of the mCRL2 toolset and its recent advances

Sjoerd Cranen;Jan Friso Groote;Jeroen J. A. Keiren;Frank P. M. Stappers.
tools and algorithms for construction and analysis of systems (2013)

178 Citations

Algebraic process verification

JF Jan Friso Groote;MA Michel Reniers.
Handbook of Process Algebra (2001)

165 Citations

The safety guaranteeing system at station Hoorn-Kersenboogerd

J.F. Groote;S.F.M. van Vlijmen;J.W.C. Koorn.
COMPASS '95 Proceedings of the Tenth Annual Conference on Computer Assurance Systems Integrity, Software Safety and Process Security' (1995)

144 Citations

Best Scientists Citing Jan Friso Groote

Wan Fokkink

Wan Fokkink

Vrije Universiteit Amsterdam

Publications: 98

Jan A. Bergstra

Jan A. Bergstra

University of Amsterdam

Publications: 62

Rob van Glabbeek

Rob van Glabbeek

Stanford University

Publications: 50

Frits W. Vaandrager

Frits W. Vaandrager

Radboud University Nijmegen

Publications: 23

Axel Legay

Axel Legay

Université Catholique de Louvain

Publications: 19

Roberto Gorrieri

Roberto Gorrieri

University of Bologna

Publications: 19

Kim Guldstrand Larsen

Kim Guldstrand Larsen

Aalborg University

Publications: 19

Ugo Montanari

Ugo Montanari

University of Pisa

Publications: 18

Holger Hermanns

Holger Hermanns

Saarland University

Publications: 15

Farhad Arbab

Farhad Arbab

Leiden University

Publications: 15

Joost-Pieter Katoen

Joost-Pieter Katoen

RWTH Aachen University

Publications: 14

Gianluigi Zavattaro

Gianluigi Zavattaro

University of Bologna

Publications: 13

Matthew Hennessy

Matthew Hennessy

Trinity College Dublin

Publications: 13

Davide Sangiorgi

Davide Sangiorgi

University of Bologna

Publications: 12

Stefania Gnesi

Stefania Gnesi

Institute of Information Science and Technologies

Publications: 11

Paul Klint

Paul Klint

Centrum Wiskunde & Informatica

Publications: 11

Profile was last updated on December 6th, 2021.
Research.com Ranking is based on data retrieved from the Microsoft Academic Graph (MAG).
The ranking d-index is inferred from publications deemed to belong to the considered discipline.

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

Contact us
Something went wrong. Please try again later.