D-Index & Metrics Best Publications

Jan Friso Groote

Eindhoven University of Technology
Netherlands

D-Index & Metrics 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.

Discipline name Citations Publications World Ranking National Ranking

Computer Science D-index 40 Citations 6,438 265 World Ranking 5834 National Ranking 86

Overview

What is he best known for?

The fields of study Jan Friso Groote is best known for:

First-order logic
Algorithm
Automated theorem proving

His study on Algorithm is interrelated to topics such as Correctness and Automated theorem proving. While working in this field, Jan Friso Groote studies both Correctness and Algorithm. In his papers, he integrates diverse fields, such as Theoretical computer science and Parallel computing. Parallel computing and Theoretical computer science are two areas of study in which he engages in interdisciplinary research. The study of Programming language is intertwined with the study of Automated theorem proving in a number of ways. He carries out multidisciplinary research, doing studies in Hash function and Hash table. Jan Friso Groote incorporates Hash table and Hash function in his research. His research brings together the fields of Gas meter prover and Geometry. Jan Friso Groote frequently studies issues relating to Mathematical proof and Gas meter prover.

His most cited work include:

Lock-free dynamic hash tables with open addressing (65 citations)
Model-checking processes with data (51 citations)

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

His Propositional calculus investigation overlaps with Binary decision diagram and Resolution (logic). Jan Friso Groote performs integrative Resolution (logic) and Propositional calculus research in his work. Jan Friso Groote brings together Programming language and Process calculus to produce work in his papers. His study connects Theoretical computer science and Process calculus. His work in Theoretical computer science is not limited to one particular discipline; it also encompasses Binary decision diagram. In his study, he carries out multidisciplinary Algorithm and Automated theorem proving research. He merges Automated theorem proving with Algorithm in his research. His research on Correctness often connects related topics like Linearizability. The study of Linearizability is intertwined with the study of Correctness in a number of ways.

Jan Friso Groote most often published in these fields:

Programming language (90.00%)
Theoretical computer science (60.00%)
Algorithm (50.00%)

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)

538 Citations

The Syntax and Semantics of μCRL

Jan Friso Groote;Alban Ponse.
(1995)

477 Citations

An efficient algorithm for branching bisimulation and stuttering equivalence

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

307 Citations

Transition system specifications with negative premises

Jan Friso Groote.
Theoretical Computer Science (1993)

259 Citations

µCRL: A Toolset for Analysing Algebraic Specifications

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

233 Citations

The Formal Specification Language mCRL2

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

224 Citations

Modeling and Analysis of Communicating Systems

Jan Friso Groote;Mohammad Reza Mousavi.
(2014)

214 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)

188 Citations

Algebraic process verification

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

170 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

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

Jan Friso Groote

D-Index & Metrics 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.

Overview

What is he best known for?

The fields of study Jan Friso Groote is best known for:

His most cited work include:

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

Jan Friso Groote most often published in these fields:

Best Publications

Report an issue

Frequent Co-Authors

External Links

Best Scientists Citing Jan Friso Groote

Trending Scientists