Buat profil saya
Dikutip oleh
Semua | Sejak 2019 | |
---|---|---|
Kutipan | 2335 | 1920 |
indeks-h | 27 | 25 |
indeks-i10 | 69 | 61 |
Akses publik
Lihat semua70 artikel
5 artikel
tersedia
tidak tersedia
Berdasarkan pada mandat pendanaan
Pengarang bersama
- Majid ZamaniAssociate Professor, University of Colorado BoulderEmail yang diverifikasi di colorado.edu
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKEmail yang diverifikasi di cs.ox.ac.uk
- Rupak MajumdarMPI for Software SystemsEmail yang diverifikasi di mpi-sws.org
- Sofie HaesaertElectrical Engineering Department, TU EindhovenEmail yang diverifikasi di tue.nl
- Kaushik MallikISTA (Institute of Science and Technology Austria)Email yang diverifikasi di ist.ac.at
- Anne-Kathrin SchmuckMPI SWSEmail yang diverifikasi di mpi-sws.org
- Mahmoud SalamatiMax Planck Institute for Software SystemsEmail yang diverifikasi di mpi-sws.org
- Paolo ZulianiAssociate Professor, Dipartimento di Informatica, Università di Roma "La Sapienza", Rome, ItalyEmail yang diverifikasi di di.uniroma1.it
- Milad KazemiDepartment of Informatics, King's College LondonEmail yang diverifikasi di kcl.ac.uk
- Pushpak JagtapAssistant Professor, Robert Bosch Center for Cyber-Physical Systems, IISc Bangalore, IndiaEmail yang diverifikasi di iisc.ac.in
- Ben WoodingEPSRC Doctoral Prize Fellow, Newcastle UniversityEmail yang diverifikasi di newcastle.ac.uk
- Martin FränzleProfessor of Computer Science, University of OldenburgEmail yang diverifikasi di informatik.uni-oldenburg.de
- Ali SalamatiLudwig-Maximilians-Universität MünchenEmail yang diverifikasi di lmu.de
- Vinayak S. PrabhuColorado State UniversityEmail yang diverifikasi di colostate.edu
- Dieky AdzkiyaDepartment of Mathematics, Institut Teknologi Sepuluh NopemberEmail yang diverifikasi di matematika.its.ac.id