Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 953 | 182 |
h-indeks | 14 | 7 |
i10-indeks | 18 | 5 |
Dostęp publiczny
Wyświetl wszystko2 artykuły
0 artykułów
dostępne
niedostępne
Objęte finansowaniem
Współautorzy
- Roderick BloemGraz University of TechnologyZweryfikowany adres z iaik.tugraz.at
- Barbara JobstmannScientist at EPFLZweryfikowany adres z epfl.ch
- Alessio R LomuscioImperial College LondonZweryfikowany adres z imperial.ac.uk
- axel legayUCLouvainZweryfikowany adres z uclouvain.be
- Saddek BensalemUniversité Grenoble Alpes, VERIMAGZweryfikowany adres z univ-grenoble-alpes.fr
- Byron CookProfessor of Computer Science, UCL, AmazonZweryfikowany adres z cs.ucl.ac.uk
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Zweryfikowany adres z cwi.nl
- Joseph SifakisReseracher at Verimag laboratory, GrenobleZweryfikowany adres z imag.fr
- Charles MorissetReader in Security, Newcastle UniversityZweryfikowany adres z ncl.ac.uk
- Doron A. PeledProfessor Of Computer Science, Bar Ilan UniversityZweryfikowany adres z cs.biu.ac.il