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.
