Obtenir mon propre profil
Citée par
Toutes | Depuis 2019 | |
---|---|---|
Citations | 954 | 183 |
indice h | 14 | 7 |
indice i10 | 18 | 5 |
Accès public
Tout afficher2 articles
0 article
disponibles
non disponibles
Sur la base des exigences liées au financement
Coauteurs
- Roderick BloemGraz University of TechnologyAdresse e-mail validée de iaik.tugraz.at
- Barbara JobstmannScientist at EPFLAdresse e-mail validée de epfl.ch
- Alessio R LomuscioImperial College LondonAdresse e-mail validée de imperial.ac.uk
- axel legayUCLouvainAdresse e-mail validée de uclouvain.be
- Saddek BensalemUniversité Grenoble Alpes, VERIMAGAdresse e-mail validée de univ-grenoble-alpes.fr
- Byron CookProfessor of Computer Science, UCL, AmazonAdresse e-mail validée de cs.ucl.ac.uk
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Adresse e-mail validée de cwi.nl
- Joseph SifakisReseracher at Verimag laboratory, GrenobleAdresse e-mail validée de imag.fr
- Charles MorissetReader in Security, Newcastle UniversityAdresse e-mail validée de ncl.ac.uk
- Doron A. PeledProfessor Of Computer Science, Bar Ilan UniversityAdresse e-mail validée de cs.biu.ac.il