Crear mi propio perfil
Citado por
Total | Desde 2019 | |
---|---|---|
Citas | 1607 | 882 |
Índice h | 19 | 11 |
Índice i10 | 24 | 16 |
Acceso público
Ver todo11 artículos
2 artículos
disponibles
no disponibles
Basado en requisitos de financiación
Coautores
Alessandro CimattiFondazione Bruno KesslerDirección de correo verificada de fbk.eu
Marco RoveriUniversity of Trento - Department of Information Engineering and Computer ScienceDirección de correo verificada de unitn.it
Alberto GriggioResearcher, Fondazione Bruno KesslerDirección de correo verificada de fbk.eu
Stefano TonettaFondazione Bruno KesslerDirección de correo verificada de fbk.eu
Sergio MoverÉcole Polytechnique and LIXDirección de correo verificada de polytechnique.edu
Iman NarasamdyaResearcher, Fondazione Bruno KesslerDirección de correo verificada de fbk.eu
Marco GarioGitHubDirección de correo verificada de github.com
Marco BozzanoFondazione Bruno KesslerDirección de correo verificada de fbk.eu
Michael CashmoreUniversity of StrathclydeDirección de correo verificada de strath.ac.uk
Cristian MattareiApple Inc.Dirección de correo verificada de cs.stanford.edu
Daniele MagazzeniJ.P. Morgan. Chief Analytics Officer for the Commercial and Investment BankDirección de correo verificada de jpmorgan.com
Roberto PosenatoAssociate Professor of Computer Science, University of Verona (Italy)Dirección de correo verificada de univr.it
Alessandro ValentiniFondazione Bruno KesslerDirección de correo verificada de fbk.eu
Enrico ScalaUniversità di BresciaDirección de correo verificada de unibs.it
Minh DoSenior Research Scientist, NASA ARC & KBRDirección de correo verificada de nasa.gov
David E. SmithconsultantDirección de correo verificada de PSresearch.xyz
Parisa ZehtabiKing's College londonDirección de correo verificada de kcl.ac.uk
Angelo SusiResearcher, Fondazione Bruno Kessler (FBK), ItalyDirección de correo verificada de fbk.eu
Muhammad Syifa'ul MufidInstitut Teknologi Sepuluh Nopember SurabayaDirección de correo verificada de matematika.its.ac.id
Alessandro AbateProfessor of Verification and Control, University of Oxford, UKDirección de correo verificada de cs.ox.ac.uk