Concepedia

Frits Vaandrager

FV

Statistics

Publications

55

Citations

3.9K

H-Index

32

Active since

1986

Affiliations

Radboud University Nijmegen(Current)

Centrum Wiskunde & Informatica

Massachusetts Institute of Technology

University of Twente

University of Verona

Frits Vaandrager is an author at Radboud University Nijmegen specializing in computer science, computing, and formal methods.

Publications per year

1986–2023

55

Publications

55

Forward and Backward Simulations

Nancy Lynch, Frits Vaandrager · Information and Computation · 1995 · 402 citations · Full text

Computing, Computer Science, Scientific Computing +9

Structured operational semantics and bisimulation as a congruence

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

Computing, Computer Science, Computer Systems +17

Three logics for branching bisimulation

Rocco De Nicola, Frits Vaandrager · Journal of the ACM · 1995 · 293 citations · Full text

Computing, Computer Science, Formal Methods +14

Testing timed automata

Jan Springintveld, Frits Vaandrager, Pedro R. D’Argenio · Theoretical Computer Science · 2001 · 276 citations

Model learning

Frits Vaandrager · Communications of the ACM · 2017 · 211 citations

Engineering, Computer Engineering, Computer Science +15

1–5 of 55