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.
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.
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.
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.
Structured operational semantics and bisimulation as a congruence
Jan Friso Groote;Frits Vaandrager.
Information & Computation (1992)
The Syntax and Semantics of μCRL
Jan Friso Groote;Alban Ponse.
(1995)
An efficient algorithm for branching bisimulation and stuttering equivalence
Jan Friso Groote;Frits W. Vaandrager.
international colloquium on automata, languages and programming (1990)
Transition system specifications with negative premises
Jan Friso Groote.
Theoretical Computer Science (1993)
µCRL: A Toolset for Analysing Algebraic Specifications
Stefan Blom;Wan Fokkink;Jan Friso Groote;Izak van Langevelde.
computer aided verification (2001)
The Formal Specification Language mCRL2
JF Jan Friso Groote;Ahj Aad Mathijssen;MA Michel Reniers;YS Yaroslav Usenko.
dagstuhl seminar proceedings (2007)
Modeling and Analysis of Communicating Systems
Jan Friso Groote;Mohammad Reza Mousavi.
(2014)
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)
Algebraic process verification
JF Jan Friso Groote;MA Michel Reniers.
Handbook of Process Algebra (2001)
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)
Vrije Universiteit Amsterdam
University of Luxembourg
Radboud University Nijmegen
Stanford University
Eindhoven University of Technology
Eindhoven University of Technology
Eindhoven University of Technology
Eindhoven University of Technology
Vrije Universiteit Amsterdam
Tilburg University
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.
We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below: