Crea el meu perfil
Accés públic
Mostra-ho tot16 articles
1 article
disponibles
no disponibles
Es basa en els requisits de les agències que proporcionen el finançament
Coautors
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKCorreu electrònic verificat a cs.ox.ac.uk
- Thomas HenzingerIST AustriaCorreu electrònic verificat a ist.ac.at
- Goran FrehseProfessor of Computer Science, ENSTA ParisCorreu electrònic verificat a ensta-paris.fr
- Tatjana PetrovUniversity of KonstanzCorreu electrònic verificat a uni-konstanz.de
- Calin C. GuetIST AustriaCorreu electrònic verificat a ist.ac.at
- Tiago PaixaoInstituto Gulbenkian de CiênciaCorreu electrònic verificat a igc.gulbenkian.pt
- Sergiy BogomolovReader / Associate Professor in Cyber-Physical Systems, Newcastle UniversityCorreu electrònic verificat a newcastle.ac.uk
- Daniel KroeningAmazonCorreu electrònic verificat a amazon.com
- Hosein HasanbeigMicrosoft Research, New YorkCorreu electrònic verificat a microsoft.com
- David ParkerProfessor of Computer Science, University of OxfordCorreu electrònic verificat a cs.ox.ac.uk