Concepedia

Jan Friso Groote

JF

70

Publications

2.6K

Citations

29

H-Index

1988

Active since

Affiliations

Eindhoven University of Technology(Current)

Centrum Wiskunde & Informatica

University of Groningen

Utrecht University

Aalborg University

Jan Friso Groote is an author at Eindhoven University of Technology specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationAutomated ReasoningVerificationSystems EngineeringFormal SpecificationProgram AnalysisComputer Engineering

Publications per year

1988–2019

70

Publications

70

Structured operational semantics and bisimulation as a congruence

Jan Friso Groote, Frits Vaandrager · Information and Computation · 1992 · 327 citations

Engineering, Operational Semantics, Automated Reasoning +8

Transition system specifications with negative premises

Jan Friso Groote · Theoretical Computer Science · 1993 · 191 citations

Engineering, Formal Modeling, Verification +7

The Formal Specification Language mCRL2

Jan Friso Groote, Ahj Aad Mathijssen, Michel Reniers et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2007 · 128 citations · Full text

Petri Net, Engineering, Verification +17

SOS formats and meta-theory: 20 years after

Mohammad Reza Mousavi, Michel Reniers, Jan Friso Groote · Theoretical Computer Science · 2006 · 88 citations · Full text

Sos Formats, Metatheory, Metaverse +6

Lock-free dynamic hash tables with open addressing

Hui Gao, Jan Friso Groote, Wim H. Hesselink · Distributed Computing · 2004 · 79 citations · Full text

Hardware Security, Engineering, Computer Engineering +9

Rows per page

1–5 of 70