Crear mi propio perfil
Citado por
Total | Desde 2019 | |
---|---|---|
Citas | 954 | 183 |
Índice h | 14 | 7 |
Índice i10 | 18 | 5 |
Acceso público
Ver todo2 artículos
0 artículos
disponibles
no disponibles
Basado en requisitos de financiación
Coautores
- Roderick BloemGraz University of TechnologyDirección de correo verificada de iaik.tugraz.at
- Barbara JobstmannScientist at EPFLDirección de correo verificada de epfl.ch
- Alessio R LomuscioImperial College LondonDirección de correo verificada de imperial.ac.uk
- axel legayUCLouvainDirección de correo verificada de uclouvain.be
- Saddek BensalemUniversité Grenoble Alpes, VERIMAGDirección de correo verificada de univ-grenoble-alpes.fr
- Byron CookProfessor of Computer Science, UCL, AmazonDirección de correo verificada de cs.ucl.ac.uk
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Dirección de correo verificada de cwi.nl
- Joseph SifakisReseracher at Verimag laboratory, GrenobleDirección de correo verificada de imag.fr
- Charles MorissetReader in Security, Newcastle UniversityDirección de correo verificada de ncl.ac.uk
- Doron A. PeledProfessor Of Computer Science, Bar Ilan UniversityDirección de correo verificada de cs.biu.ac.il
Seguir
Andreas Griesmayer
Imperial College London
Dirección de correo verificada de arm.com - Página principal