Få min egen profil
Citeret af
Alle | Siden 2019 | |
---|---|---|
Henvisninger | 954 | 183 |
h-index | 14 | 7 |
i10-indeks | 18 | 5 |
Offentlig adgang
Se alle2 artikler
0 artikler
tilgængelige
ikke tilgængelige
Baseret på krav i forbindelse med finansiering
Medforfattere
- Roderick BloemGraz University of TechnologyVerificeret mail på iaik.tugraz.at
- Barbara JobstmannScientist at EPFLVerificeret mail på epfl.ch
- Alessio R LomuscioImperial College LondonVerificeret mail på imperial.ac.uk
- axel legayUCLouvainVerificeret mail på uclouvain.be
- Saddek BensalemUniversité Grenoble Alpes, VERIMAGVerificeret mail på univ-grenoble-alpes.fr
- Byron CookProfessor of Computer Science, UCL, AmazonVerificeret mail på cs.ucl.ac.uk
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Verificeret mail på cwi.nl
- Joseph SifakisReseracher at Verimag laboratory, GrenobleVerificeret mail på imag.fr
- Charles MorissetReader in Security, Newcastle UniversityVerificeret mail på ncl.ac.uk
- Doron A. PeledProfessor Of Computer Science, Bar Ilan UniversityVerificeret mail på cs.biu.ac.il