Obter meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 1162 | 622 |
Índice h | 18 | 14 |
Índice i10 | 30 | 18 |
Acesso público
Ver todos16 artigos
0 artigo
disponível
não disponível
Com base nas autorizações de financiamento
Coautores
- Lars BirkedalDept. of Computer Science, Aarhus UniversityE-mail confirmado em cs.au.dk
- Patrick BahrIT University of CopenhagenE-mail confirmado em itu.dk
- Rasmus Lerchedahl PetersenMicrosoft ResearchE-mail confirmado em microsoft.com
- Bassel MannaaPostdoc, IT University of CopenhagenE-mail confirmado em itu.dk
- Ranald CloustonLecturer, Australian National UniversityE-mail confirmado em anu.edu.au
- Hans Bugge GrathwohlDepartment of Computer Science, Aarhus UniversityE-mail confirmado em cs.au.dk
- Aleš BizjakFormerly postdoctoral researcher, Aarhus University, currently software architect at ConcordiumE-mail confirmado em alesb.com
- Andrew M PittsEmeritus Professor of Theoretical Computer Science, University of CambridgeE-mail confirmado em cl.cam.ac.uk
- Marco PaviottiLecturer in Computer Science, University of KentE-mail confirmado em kent.ac.uk
- Giuseppe RosoliniProfessor of Mathematical Logic, Università degli Studi di GenovaE-mail confirmado em unige.it