Buat profil saya
Dikutip oleh
Semua | Sejak 2019 | |
---|---|---|
Kutipan | 402 | 377 |
indeks-h | 12 | 11 |
indeks-i10 | 14 | 13 |
Akses publik
Lihat semua16 artikel
1 artikel
tersedia
tidak tersedia
Berdasarkan pada mandat pendanaan
Pengarang bersama
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKEmail yang diverifikasi di cs.ox.ac.uk
- Thomas HenzingerIST AustriaEmail yang diverifikasi di ist.ac.at
- Goran FrehseProfessor of Computer Science, ENSTA ParisEmail yang diverifikasi di ensta-paris.fr
- Tatjana PetrovUniversity of KonstanzEmail yang diverifikasi di uni-konstanz.de
- Calin C. GuetIST AustriaEmail yang diverifikasi di ist.ac.at
- Tiago PaixaoInstituto Gulbenkian de CiênciaEmail yang diverifikasi di igc.gulbenkian.pt
- Sergiy BogomolovReader / Associate Professor in Cyber-Physical Systems, Newcastle UniversityEmail yang diverifikasi di newcastle.ac.uk
- Daniel KroeningAmazonEmail yang diverifikasi di amazon.com
- Hosein HasanbeigMicrosoft Research, New YorkEmail yang diverifikasi di microsoft.com
- David ParkerProfessor of Computer Science, University of OxfordEmail yang diverifikasi di cs.ox.ac.uk