Get my own profile
Public access
View all12 articles
1 article
available
not available
Based on funding mandates
Co-authors
- Alessandro CimattiFondazione Bruno KesslerVerified email at fbk.eu
- Marco RoveriUniversity of Trento - Department of Information Engineering and Computer ScienceVerified email at unitn.it
- Alberto GriggioResearcher, Fondazione Bruno KesslerVerified email at fbk.eu
- Stefano TonettaFondazione Bruno KesslerVerified email at fbk.eu
- Sergio MoverÉcole Polytechnique and LIXVerified email at polytechnique.edu
- Iman NarasamdyaResearcher, Fondazione Bruno KesslerVerified email at fbk.eu
- Marco GarioGitHubVerified email at github.com
- Marco BozzanoFondazione Bruno KesslerVerified email at fbk.eu
- Michael CashmoreUniversity of StrathclydeVerified email at strath.ac.uk
- Alessandro ValentiniFondazione Bruno KesslerVerified email at fbk.eu
- Cristian MattareiApple Inc.Verified email at cs.stanford.edu
- Daniele MagazzeniJ.P. Morgan. Chief Analytics Officer for the Commercial and Investment BankVerified email at jpmorgan.com
- Roberto PosenatoAssociate Professor of Computer Science, University of Verona (Italy)Verified email at univr.it
- Enrico ScalaUniversitą di BresciaVerified email at unibs.it
- Minh DoSenior Research Scientist, NASA ARC & KBRVerified email at nasa.gov
- David E. SmithconsultantVerified email at PSresearch.xyz
- Parisa ZehtabiKing's College londonVerified email at kcl.ac.uk
- Nicola GiganteLibera Universitą di BolzanoVerified email at unibz.it
- Muhammad Syifa'ul MufidInstitut Teknologi Sepuluh Nopember SurabayaVerified email at matematika.its.ac.id
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKVerified email at cs.ox.ac.uk