Scholar
Bas Luttik
Google Scholar ID: mwYLD4QAAAAJ
Associate Professor of Computer Science, Eindhoven University of Technology
Theoretical Computer Science
Concurrency Theory
Automata Theory
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
605
H-index
14
i10-index
20
Publications
20
Co-authors
24
list available
Publications
2 items
Just Verification of Mutual Exclusion Algorithms with (Non-)Blocking and (Non-)Atomic Registers
2026
Cited
0
Just Verification of Mutual Exclusion Algorithms
2025
Cited
0
Co-authors
15 total
Jos Baeten
Unknown affiliation
Luca Aceto
Department of Computer Science, Reykjavik University, and Gran Sasso Science Institute, L'Aquila
Wan Fokkink
Professor of Computer Science, Vrije Universiteit Amsterdam
Tim Willemse
Full Professor, Eindhoven University of Technology
Rob van Glabbeek
UNSW
Jaco van de Pol
Professor of Computer Science, Aarhus University
Fei Yang
Zhejiang Lab
Fabio Zanasi
Professor of Computer Science, University College London
