Saját profil készítése
Hivatkozott rá
Összes | 2019 óta | |
---|---|---|
Hivatkozások | 405 | 380 |
h-index | 12 | 11 |
i10-index | 14 | 13 |
Nyilvános hozzáférés
Összes megtekintése16 cikk
1 cikk
elérhető
nem érhető el
Finanszírozási megbízások alapján
Társszerzők
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKE-mail megerősítve itt: cs.ox.ac.uk
- Thomas HenzingerIST AustriaE-mail megerősítve itt: ist.ac.at
- Goran FrehseProfessor of Computer Science, ENSTA ParisE-mail megerősítve itt: ensta-paris.fr
- Tatjana PetrovUniversity of KonstanzE-mail megerősítve itt: uni-konstanz.de
- Calin C. GuetIST AustriaE-mail megerősítve itt: ist.ac.at
- Tiago PaixaoInstituto Gulbenkian de CiênciaE-mail megerősítve itt: igc.gulbenkian.pt
- Sergiy BogomolovReader / Associate Professor in Cyber-Physical Systems, Newcastle UniversityE-mail megerősítve itt: newcastle.ac.uk
- Daniel KroeningAmazonE-mail megerősítve itt: amazon.com
- Hosein HasanbeigMicrosoft Research, New YorkE-mail megerősítve itt: microsoft.com
- David ParkerProfessor of Computer Science, University of OxfordE-mail megerősítve itt: cs.ox.ac.uk