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