Parosh Abdulla
Scholar

Parosh Abdulla

Google Scholar ID: ClHyW9MAAAAJ
Professor of Computer Science, Uppsala University
automata theorymodel checkingconcurrent programsquantum computing
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
8,915
 
H-index
55
 
i10-index
129
 
Publications
20
 
Co-authors
50
list available
Contact
No contact links provided.
Publications
20 items
Browse publications on Google Scholar (top-right) ↗
Resume (English only)
Co-authors
50 total
Mohamed Faouzi Atig
Mohamed Faouzi Atig
Uppsala University
Bengt Jonsson
Bengt Jonsson
Professor of Computer Systems, Uppsala University
Lukas Holik
Lukas Holik
Brno University of Tehcnology
Co-author 4
Co-author 4
Ahmed Bouajjani
Ahmed Bouajjani
Professor Computer Science, Université Paris Cité
Yu-Fang Chen
Yu-Fang Chen
Research Fellow/Professor, Academia Sinica
Giorgio Delzanno
Giorgio Delzanno
Associate Professor, Università di Genova
Tomas Vojnar
Tomas Vojnar
FI, Masaryk University & FIT, Brno University of Technology