Creați-vă propriul profil
Citat de
Toate | Din 2019 | |
---|---|---|
Referințe bibliografice | 411 | 386 |
h-index | 12 | 12 |
i10-index | 14 | 13 |
Acces public
Afișați-le pe toate16 articole
1 articol
disponibile
indisponibile
Pe baza cerințelor privind finanțarea
Coautori
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKAdresă de e-mail confirmată pe cs.ox.ac.uk
- Thomas HenzingerIST AustriaAdresă de e-mail confirmată pe ist.ac.at
- Goran FrehseProfessor of Computer Science, ENSTA ParisAdresă de e-mail confirmată pe ensta-paris.fr
- Tatjana PetrovUniversity of KonstanzAdresă de e-mail confirmată pe uni-konstanz.de
- Calin C. GuetIST AustriaAdresă de e-mail confirmată pe ist.ac.at
- Tiago PaixaoInstituto Gulbenkian de CiênciaAdresă de e-mail confirmată pe igc.gulbenkian.pt
- Sergiy BogomolovReader / Associate Professor in Cyber-Physical Systems, Newcastle UniversityAdresă de e-mail confirmată pe newcastle.ac.uk
- Daniel KroeningAmazonAdresă de e-mail confirmată pe amazon.com
- Hosein HasanbeigMicrosoft ResearchAdresă de e-mail confirmată pe microsoft.com
- David ParkerProfessor of Computer Science, University of OxfordAdresă de e-mail confirmată pe cs.ox.ac.uk