D-Index & Metrics Best Publications

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 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 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.

Contact us

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

Roberto Gorrieri

Roberto Gorrieri

University of Bologna

Publications: 19

Axel Legay

Axel Legay

Université Catholique de Louvain

Publications: 19

Kim Guldstrand Larsen

Kim Guldstrand Larsen

Aalborg University

Publications: 19

Ugo Montanari

Ugo Montanari

University of Pisa

Publications: 18

Antonín Kučera

Antonín Kučera

Masaryk University

Publications: 15

Farhad Arbab

Farhad Arbab

Leiden University

Publications: 15

Holger Hermanns

Holger Hermanns

Saarland University

Publications: 15

Joost-Pieter Katoen

Joost-Pieter Katoen

RWTH Aachen University

Publications: 14

Matthew Hennessy

Matthew Hennessy

Trinity College Dublin

Publications: 13

Gianluigi Zavattaro

Gianluigi Zavattaro

University of Bologna

Publications: 13

Davide Sangiorgi

Davide Sangiorgi

University of Bologna

Publications: 12

Stefania Gnesi

Stefania Gnesi

Institute of Information Science and Technologies

Publications: 11

Trending Scientists

Thomas W. Sederberg

Thomas W. Sederberg

Brigham Young University

James J. Choi

James J. Choi

Yale University

Rodolfo M. Nayga

Rodolfo M. Nayga

Texas A&M University

Ingoo Han

Ingoo Han

Korea Advanced Institute of Science and Technology

Di Yuan

Di Yuan

Uppsala University

Thomas Wicker

Thomas Wicker

University of Zurich

Linda A. Amaral-Zettler

Linda A. Amaral-Zettler

University of Amsterdam

Inon Scharf

Inon Scharf

Tel Aviv University

Osamu Onodera

Osamu Onodera

Niigata University

Paul C. Driscoll

Paul C. Driscoll

University College London

Paul J. Planet

Paul J. Planet

Children's Hospital of Philadelphia

Edward R. Sholkovitz

Edward R. Sholkovitz

Woods Hole Oceanographic Institution

Joyce Sprafkin

Joyce Sprafkin

Stony Brook University

Peter F. MacNeilage

Peter F. MacNeilage

The University of Texas at Austin

Wendy Brown

Wendy Brown

University of California, Berkeley

Vladimir E. Zakharov

Vladimir E. Zakharov

Landau Institute for Theoretical Physics

Something went wrong. Please try again later.