Skapa en profil
Offentlig åtkomst
Visa alla70 artiklar
5 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Majid ZamaniAssociate Professor, University of Colorado BoulderVerifierad e-postadress på colorado.edu
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKVerifierad e-postadress på cs.ox.ac.uk
- Rupak MajumdarMPI for Software SystemsVerifierad e-postadress på mpi-sws.org
- Sofie HaesaertElectrical Engineering Department, TU EindhovenVerifierad e-postadress på tue.nl
- Kaushik MallikISTA (Institute of Science and Technology Austria)Verifierad e-postadress på ist.ac.at
- Anne-Kathrin SchmuckMPI SWSVerifierad e-postadress på mpi-sws.org
- Mahmoud SalamatiMax Planck Institute for Software SystemsVerifierad e-postadress på mpi-sws.org
- Paolo ZulianiAssociate Professor, Dipartimento di Informatica, Università di Roma "La Sapienza", Rome, ItalyVerifierad e-postadress på di.uniroma1.it
- Milad KazemiDepartment of Informatics, King's College LondonVerifierad e-postadress på kcl.ac.uk
- Pushpak JagtapAssistant Professor, Robert Bosch Center for Cyber-Physical Systems, IISc Bangalore, IndiaVerifierad e-postadress på iisc.ac.in
- Ben WoodingEPSRC Doctoral Prize Fellow, Newcastle UniversityVerifierad e-postadress på newcastle.ac.uk
- Martin FränzleProfessor of Computer Science, University of OldenburgVerifierad e-postadress på informatik.uni-oldenburg.de
- Ali SalamatiLudwig-Maximilians-Universität MünchenVerifierad e-postadress på lmu.de
- Vinayak S. PrabhuColorado State UniversityVerifierad e-postadress på colostate.edu
- Dieky AdzkiyaDepartment of Mathematics, Institut Teknologi Sepuluh NopemberVerifierad e-postadress på matematika.its.ac.id