Obtenir mon propre profil
Citée par
Toutes | Depuis 2019 | |
---|---|---|
Citations | 1162 | 622 |
indice h | 18 | 14 |
indice i10 | 30 | 18 |
Accès public
Tout afficher16 articles
0 article
disponibles
non disponibles
Sur la base des exigences liées au financement
Coauteurs
- Lars BirkedalDept. of Computer Science, Aarhus UniversityAdresse e-mail validée de cs.au.dk
- Patrick BahrIT University of CopenhagenAdresse e-mail validée de itu.dk
- Rasmus Lerchedahl PetersenMicrosoft ResearchAdresse e-mail validée de microsoft.com
- Bassel MannaaPostdoc, IT University of CopenhagenAdresse e-mail validée de itu.dk
- Ranald CloustonLecturer, Australian National UniversityAdresse e-mail validée de anu.edu.au
- Hans Bugge GrathwohlDepartment of Computer Science, Aarhus UniversityAdresse e-mail validée de cs.au.dk
- Aleš BizjakFormerly postdoctoral researcher, Aarhus University, currently software architect at ConcordiumAdresse e-mail validée de alesb.com
- Andrew M PittsEmeritus Professor of Theoretical Computer Science, University of CambridgeAdresse e-mail validée de cl.cam.ac.uk
- Marco PaviottiLecturer in Computer Science, University of KentAdresse e-mail validée de kent.ac.uk
- Giuseppe RosoliniProfessor of Mathematical Logic, Università degli Studi di GenovaAdresse e-mail validée de unige.it