Skapa en profil
Offentlig åtkomst
Visa alla16 artiklar
1 artikel
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKVerifierad e-postadress på cs.ox.ac.uk
- Thomas HenzingerIST AustriaVerifierad e-postadress på ist.ac.at
- Goran FrehseProfessor of Computer Science, ENSTA ParisVerifierad e-postadress på ensta-paris.fr
- Tatjana PetrovUniversity of KonstanzVerifierad e-postadress på uni-konstanz.de
- Calin C. GuetIST AustriaVerifierad e-postadress på ist.ac.at
- Tiago PaixaoInstituto Gulbenkian de CiênciaVerifierad e-postadress på igc.gulbenkian.pt
- Sergiy BogomolovReader / Associate Professor in Cyber-Physical Systems, Newcastle UniversityVerifierad e-postadress på newcastle.ac.uk
- Daniel KroeningAmazonVerifierad e-postadress på amazon.com
- Hosein HasanbeigMicrosoft Research, New YorkVerifierad e-postadress på microsoft.com
- David ParkerProfessor of Computer Science, University of OxfordVerifierad e-postadress på cs.ox.ac.uk