Crea il mio profilo
Accesso pubblico
Visualizza tutto70 articoli
5 articoli
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
- Majid ZamaniAssociate Professor, University of Colorado BoulderEmail verificata su colorado.edu
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKEmail verificata su cs.ox.ac.uk
- Rupak MajumdarMPI for Software SystemsEmail verificata su mpi-sws.org
- Sofie HaesaertElectrical Engineering Department, TU EindhovenEmail verificata su tue.nl
- Kaushik MallikISTA (Institute of Science and Technology Austria)Email verificata su ist.ac.at
- Anne-Kathrin SchmuckMPI SWSEmail verificata su mpi-sws.org
- Mahmoud SalamatiMax Planck Institute for Software SystemsEmail verificata su mpi-sws.org
- Paolo ZulianiAssociate Professor, Dipartimento di Informatica, Università di Roma "La Sapienza", Rome, ItalyEmail verificata su di.uniroma1.it
- Milad KazemiDepartment of Informatics, King's College LondonEmail verificata su kcl.ac.uk
- Pushpak JagtapAssistant Professor, Robert Bosch Center for Cyber-Physical Systems, IISc Bangalore, IndiaEmail verificata su iisc.ac.in
- Oliver SchönPhD Student, Newcastle University (UK)Email verificata su newcastle.ac.uk
- Ben WoodingEPSRC Doctoral Prize Fellow, Newcastle UniversityEmail verificata su newcastle.ac.uk
- Birgit van HuijgevoortEindhoven University of TechnologyEmail verificata su tue.nl
- Martin FränzleProfessor of Computer Science, University of OldenburgEmail verificata su informatik.uni-oldenburg.de
- Fabio SomenziProfessor, University of Colorado BoulderEmail verificata su colorado.edu
- Ashutosh TrivediAssociate Professor, University of Colorado at BoulderEmail verificata su colorado.edu
- Ali SalamatiLudwig-Maximilians-Universität MünchenEmail verificata su lmu.de
- Vinayak S. PrabhuColorado State UniversityEmail verificata su colostate.edu
- Fedor ShmarovSchool of Computing, Newcastle UniversityEmail verificata su newcastle.ac.uk
- Mahmoud KhaledLudwig Maximilian University of MunichEmail verificata su lmu.de