Bas Luttik
Scholar

Bas Luttik

Google Scholar ID: mwYLD4QAAAAJ
Associate Professor of Computer Science, Eindhoven University of Technology
Theoretical Computer ScienceConcurrency TheoryAutomata Theory
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
605
 
H-index
14
 
i10-index
20
 
Publications
20
 
Co-authors
24
list available
Contact
No contact links provided.
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
Resume (English only)
Co-authors
24 total
Jos Baeten
Jos Baeten
Unknown affiliation
Luca Aceto
Luca Aceto
Department of Computer Science, Reykjavik University, and Gran Sasso Science Institute, L'Aquila
Wan Fokkink
Wan Fokkink
Professor of Computer Science, Vrije Universiteit Amsterdam
Co-author 4
Co-author 4
Rob van Glabbeek
Rob van Glabbeek
UNSW
Jaco van de Pol
Jaco van de Pol
Professor of Computer Science, Aarhus University
Fei Yang
Fei Yang
Zhejiang Lab
Fabio Zanasi
Fabio Zanasi
Professor of Computer Science, University College London