Get my own profile
Public access
View all3 articles
0 articles
available
not available
Based on funding mandates
Co-authors
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKVerified email at cs.ox.ac.uk
- Dieky AdzkiyaDepartment of Mathematics, Institut Teknologi Sepuluh NopemberVerified email at matematika.its.ac.id
- Alessandro CimattiFondazione Bruno KesslerVerified email at fbk.eu
- Andrea MicheliFondazione Bruno KesslerVerified email at fbk.eu
- Lei BuNanjing UniversityVerified email at nju.edu.cn
- Stefano TonettaFondazione Bruno KesslerVerified email at fbk.eu
- Anna BecchiFondazione Bruno KesslerVerified email at fbk.eu
- Mirco GiacobbeUniversity of BirminghamVerified email at bham.ac.uk
- Alberto GriggioResearcher, Fondazione Bruno KesslerVerified email at fbk.eu
- Goran FrehseProfessor of Computer Science, ENSTA ParisVerified email at ensta-paris.fr
- Idriss RiouakLund UniversityVerified email at cs.lth.se
- Sergio MoverÉcole Polytechnique and LIXVerified email at polytechnique.edu
- SubionoMathematics Department, Institut Teknologi Sepuluh Nopember, SurabayaVerified email at matematika.its.ac.id