Crea el meu perfil
Accés públic
Mostra-ho tot70 articles
5 articles
disponibles
no disponibles
Es basa en els requisits de les agències que proporcionen el finançament
Coautors
- Majid ZamaniAssociate Professor, University of Colorado BoulderCorreu electrònic verificat a colorado.edu
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKCorreu electrònic verificat a cs.ox.ac.uk
- Rupak MajumdarMPI for Software SystemsCorreu electrònic verificat a mpi-sws.org
- Sofie HaesaertElectrical Engineering Department, TU EindhovenCorreu electrònic verificat a tue.nl
- Kaushik MallikISTA (Institute of Science and Technology Austria)Correu electrònic verificat a ist.ac.at
- Anne-Kathrin SchmuckMPI SWSCorreu electrònic verificat a mpi-sws.org
- Mahmoud SalamatiMax Planck Institute for Software SystemsCorreu electrònic verificat a mpi-sws.org
- Paolo ZulianiAssociate Professor, Dipartimento di Informatica, Università di Roma "La Sapienza", Rome, ItalyCorreu electrònic verificat a di.uniroma1.it
- Milad KazemiDepartment of Informatics, King's College LondonCorreu electrònic verificat a kcl.ac.uk
- Pushpak JagtapAssistant Professor, Robert Bosch Center for Cyber-Physical Systems, IISc Bangalore, IndiaCorreu electrònic verificat a iisc.ac.in
- Ben WoodingEPSRC Doctoral Prize Fellow, Newcastle UniversityCorreu electrònic verificat a newcastle.ac.uk
- Martin FränzleProfessor of Computer Science, University of OldenburgCorreu electrònic verificat a informatik.uni-oldenburg.de
- Ali SalamatiLudwig-Maximilians-Universität MünchenCorreu electrònic verificat a lmu.de
- Vinayak S. PrabhuColorado State UniversityCorreu electrònic verificat a colostate.edu
- Dieky AdzkiyaDepartment of Mathematics, Institut Teknologi Sepuluh NopemberCorreu electrònic verificat a matematika.its.ac.id