Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 77 | 73 |
h-indeks | 6 | 6 |
i10-indeks | 1 | 1 |
Dostęp publiczny
Wyświetl wszystko3 artykuły
0 artykułów
dostępne
niedostępne
Objęte finansowaniem
Współautorzy
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKZweryfikowany adres z cs.ox.ac.uk
- Dieky AdzkiyaDepartment of Mathematics, Institut Teknologi Sepuluh NopemberZweryfikowany adres z matematika.its.ac.id
- Alessandro CimattiFondazione Bruno KesslerZweryfikowany adres z fbk.eu
- Andrea MicheliFondazione Bruno KesslerZweryfikowany adres z fbk.eu
- Lei BuNanjing UniversityZweryfikowany adres z nju.edu.cn
- Stefano TonettaFondazione Bruno KesslerZweryfikowany adres z fbk.eu
- Anna BecchiFondazione Bruno KesslerZweryfikowany adres z fbk.eu
- Mirco GiacobbeUniversity of BirminghamZweryfikowany adres z bham.ac.uk
- Alberto GriggioResearcher, Fondazione Bruno KesslerZweryfikowany adres z fbk.eu
- Goran FrehseProfessor of Computer Science, ENSTA ParisZweryfikowany adres z ensta-paris.fr
- Idriss RiouakLund UniversityZweryfikowany adres z cs.lth.se
- Sergio MoverÉcole Polytechnique and LIXZweryfikowany adres z polytechnique.edu
- SubionoMathematics Department, Institut Teknologi Sepuluh Nopember, SurabayaZweryfikowany adres z matematika.its.ac.id