Založit si vlastní profil
Veřejný přístup
Zobrazit všechny70 článků
5 článků
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Majid ZamaniAssociate Professor, University of Colorado BoulderE-mailová adresa ověřena na: colorado.edu
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKE-mailová adresa ověřena na: cs.ox.ac.uk
- Rupak MajumdarMPI for Software SystemsE-mailová adresa ověřena na: mpi-sws.org
- Sofie HaesaertElectrical Engineering Department, TU EindhovenE-mailová adresa ověřena na: tue.nl
- Kaushik MallikISTA (Institute of Science and Technology Austria)E-mailová adresa ověřena na: ist.ac.at
- Anne-Kathrin SchmuckMPI SWSE-mailová adresa ověřena na: mpi-sws.org
- Mahmoud SalamatiMax Planck Institute for Software SystemsE-mailová adresa ověřena na: mpi-sws.org
- Paolo ZulianiAssociate Professor, Dipartimento di Informatica, Università di Roma "La Sapienza", Rome, ItalyE-mailová adresa ověřena na: di.uniroma1.it
- Milad KazemiDepartment of Informatics, King's College LondonE-mailová adresa ověřena na: kcl.ac.uk
- Pushpak JagtapAssistant Professor, Robert Bosch Center for Cyber-Physical Systems, IISc Bangalore, IndiaE-mailová adresa ověřena na: iisc.ac.in
- Ben WoodingEPSRC Doctoral Prize Fellow, Newcastle UniversityE-mailová adresa ověřena na: newcastle.ac.uk
- Martin FränzleProfessor of Computer Science, University of OldenburgE-mailová adresa ověřena na: informatik.uni-oldenburg.de
- Ali SalamatiLudwig-Maximilians-Universität MünchenE-mailová adresa ověřena na: lmu.de
- Vinayak S. PrabhuColorado State UniversityE-mailová adresa ověřena na: colostate.edu
- Dieky AdzkiyaDepartment of Mathematics, Institut Teknologi Sepuluh NopemberE-mailová adresa ověřena na: matematika.its.ac.id