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
Co-authors
10 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
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
Philipp Ruemmer
Philipp Ruemmer
Professor in Computer Science, University of Regensburg