Crear mi propio perfil
Citado por
Total | Desde 2019 | |
---|---|---|
Citas | 1164 | 624 |
Índice h | 18 | 14 |
Índice i10 | 30 | 18 |
Acceso público
Ver todo16 artículos
0 artículos
disponibles
no disponibles
Basado en requisitos de financiación
Coautores
- Lars BirkedalDept. of Computer Science, Aarhus UniversityDirección de correo verificada de cs.au.dk
- Patrick BahrIT University of CopenhagenDirección de correo verificada de itu.dk
- Rasmus Lerchedahl PetersenMicrosoft ResearchDirección de correo verificada de microsoft.com
- Bassel MannaaPostdoc, IT University of CopenhagenDirección de correo verificada de itu.dk
- Ranald CloustonLecturer, Australian National UniversityDirección de correo verificada de anu.edu.au
- Hans Bugge GrathwohlDepartment of Computer Science, Aarhus UniversityDirección de correo verificada de cs.au.dk
- Aleš BizjakFormerly postdoctoral researcher, Aarhus University, currently software architect at ConcordiumDirección de correo verificada de alesb.com
- Andrew M PittsEmeritus Professor of Theoretical Computer Science, University of CambridgeDirección de correo verificada de cl.cam.ac.uk
- Marco PaviottiLecturer in Computer Science, University of KentDirección de correo verificada de kent.ac.uk
- Giuseppe RosoliniProfessor of Mathematical Logic, Università degli Studi di GenovaDirección de correo verificada de unige.it