Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 402 | 377 |
h-indeks | 12 | 11 |
i10-indeks | 14 | 13 |
Dostęp publiczny
Wyświetl wszystko16 artykułów
1 artykuł
dostępne
niedostępne
Objęte finansowaniem
Współautorzy
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKZweryfikowany adres z cs.ox.ac.uk
- Thomas HenzingerIST AustriaZweryfikowany adres z ist.ac.at
- Goran FrehseProfessor of Computer Science, ENSTA ParisZweryfikowany adres z ensta-paris.fr
- Tatjana PetrovUniversity of KonstanzZweryfikowany adres z uni-konstanz.de
- Calin C. GuetIST AustriaZweryfikowany adres z ist.ac.at
- Tiago PaixaoInstituto Gulbenkian de CiênciaZweryfikowany adres z igc.gulbenkian.pt
- Sergiy BogomolovReader / Associate Professor in Cyber-Physical Systems, Newcastle UniversityZweryfikowany adres z newcastle.ac.uk
- Daniel KroeningAmazonZweryfikowany adres z amazon.com
- Hosein HasanbeigMicrosoft Research, New YorkZweryfikowany adres z microsoft.com
- David ParkerProfessor of Computer Science, University of OxfordZweryfikowany adres z cs.ox.ac.uk