Buat profil saya
Dikutip oleh
Semua | Sejak 2019 | |
---|---|---|
Kutipan | 89 | 85 |
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