Buat profil saya
Dikutip oleh
Semua | Sejak 2019 | |
---|---|---|
Kutipan | 77 | 73 |
indeks-h | 6 | 6 |
indeks-i10 | 1 | 1 |
Akses publik
Lihat semua3 artikel
0 artikel
tersedia
tidak tersedia
Berdasarkan pada mandat pendanaan
Pengarang bersama
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKEmail yang diverifikasi di cs.ox.ac.uk
- Dieky AdzkiyaDepartment of Mathematics, Institut Teknologi Sepuluh NopemberEmail yang diverifikasi di matematika.its.ac.id
- Alessandro CimattiFondazione Bruno KesslerEmail yang diverifikasi di fbk.eu
- Andrea MicheliFondazione Bruno KesslerEmail yang diverifikasi di fbk.eu
- Lei BuNanjing UniversityEmail yang diverifikasi di nju.edu.cn
- Stefano TonettaFondazione Bruno KesslerEmail yang diverifikasi di fbk.eu
- Anna BecchiFondazione Bruno KesslerEmail yang diverifikasi di fbk.eu
- Mirco GiacobbeUniversity of BirminghamEmail yang diverifikasi di bham.ac.uk
- Alberto GriggioResearcher, Fondazione Bruno KesslerEmail yang diverifikasi di fbk.eu
- Goran FrehseProfessor of Computer Science, ENSTA ParisEmail yang diverifikasi di ensta-paris.fr
- Idriss RiouakLund UniversityEmail yang diverifikasi di cs.lth.se
- Sergio MoverÉcole Polytechnique and LIXEmail yang diverifikasi di polytechnique.edu
- SubionoMathematics Department, Institut Teknologi Sepuluh Nopember, SurabayaEmail yang diverifikasi di matematika.its.ac.id