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
Contact
No contact links provided.
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
Resume (English only)
Co-authors
113 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
Co-author 3
Co-author 3
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
Co-author 8
Co-author 8