Crear mi propio perfil
Citado por
Total | Desde 2019 | |
---|---|---|
Citas | 456 | 432 |
Índice h | 13 | 12 |
Índice i10 | 14 | 13 |
Acceso público
Ver todo16 artículos
1 artículo
disponibles
no disponibles
Basado en requisitos de financiación
Coautores
Alessandro AbateProfessor of Verification and Control, University of Oxford, UKDirección de correo verificada de cs.ox.ac.uk
Thomas HenzingerIST AustriaDirección de correo verificada de ist.ac.at
Goran FrehseProfessor of Computer Science, ENSTA ParisDirección de correo verificada de ensta-paris.fr
Tatjana PetrovUniversity of KonstanzDirección de correo verificada de uni-konstanz.de
Calin C. GuetIST AustriaDirección de correo verificada de ist.ac.at
Tiago PaixaoInstituto Gulbenkian de CiênciaDirección de correo verificada de igc.gulbenkian.pt
Sergiy BogomolovReader / Associate Professor in Cyber-Physical Systems, Newcastle UniversityDirección de correo verificada de newcastle.ac.uk
Daniel KroeningAmazonDirección de correo verificada de amazon.com
Hosein HasanbeigMicrosoft ResearchDirección de correo verificada de microsoft.com
David ParkerProfessor of Computer Science, University of OxfordDirección de correo verificada de cs.ox.ac.uk
Julian ParsertDPhil (PhD) student in Computer Science, University of OxfordDirección de correo verificada de cs.ox.ac.uk