Saját profil készítése
Hivatkozott rá
Összes | 2019 óta | |
---|---|---|
Hivatkozások | 954 | 183 |
h-index | 14 | 7 |
i10-index | 18 | 5 |
Nyilvános hozzáférés
Összes megtekintése2 cikk
0 cikk
elérhető
nem érhető el
Finanszírozási megbízások alapján
Társszerzők
- Roderick BloemGraz University of TechnologyE-mail megerősítve itt: iaik.tugraz.at
- Barbara JobstmannScientist at EPFLE-mail megerősítve itt: epfl.ch
- Alessio R LomuscioImperial College LondonE-mail megerősítve itt: imperial.ac.uk
- axel legayUCLouvainE-mail megerősítve itt: uclouvain.be
- Saddek BensalemUniversité Grenoble Alpes, VERIMAGE-mail megerősítve itt: univ-grenoble-alpes.fr
- Byron CookProfessor of Computer Science, UCL, AmazonE-mail megerősítve itt: cs.ucl.ac.uk
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.E-mail megerősítve itt: cwi.nl
- Joseph SifakisReseracher at Verimag laboratory, GrenobleE-mail megerősítve itt: imag.fr
- Charles MorissetReader in Security, Newcastle UniversityE-mail megerősítve itt: ncl.ac.uk
- Doron A. PeledProfessor Of Computer Science, Bar Ilan UniversityE-mail megerősítve itt: cs.biu.ac.il