Wan Fokkink
Scholar

Wan Fokkink

Google Scholar ID: WTKJx9EAAAAJ
Professor of Computer Science, Vrije Universiteit Amsterdam
concurrency theoryformal methodssupervisory controldistributed algorithms
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
5,830
 
H-index
39
 
i10-index
134
 
Publications
20
 
Co-authors
113
list available
Publications
3 items
A Fault-Tolerant Version of Safra's Termination Detection Algorithm
2026
Cited
0
Overview and Performance Evaluation of Supervisory Controller Synthesis with Eclipse ESCET v4.0
2025
Cited
0
Formal Methods for Mobile Ad Hoc Networks: A Survey
2025
Cited
0
Co-authors
12 total
Luca Aceto
Luca Aceto
Department of Computer Science, Reykjavik University, and Gran Sasso Science Institute, L'Aquila
Anna Ingolfsdottir
Anna Ingolfsdottir
Professor of Computer Science, Reykjavík University
Rob van Glabbeek
Rob van Glabbeek
UNSW
M.A. Reniers
M.A. Reniers
TU/e
Jun Pang
Jun Pang
University of Luxembourg
Jaco van de Pol
Jaco van de Pol
Professor of Computer Science, Aarhus University
Davide Ceolin
Davide Ceolin
Tenured Researcher, CWI Amsterdam
Bas Luttik
Bas Luttik
Associate Professor of Computer Science, Eindhoven University of Technology