Obtenir mon propre profil
Citée par
Toutes | Depuis 2019 | |
---|---|---|
Citations | 821 | 769 |
indice h | 13 | 12 |
indice i10 | 14 | 14 |
Accès public
Tout afficher18 articles
0 article
disponibles
non disponibles
Sur la base des exigences liées au financement
Coauteurs
- Andrew ReynoldsUniversity of Iowa, Amazon Web ServicesAdresse e-mail validée de uiowa.edu
- Cesare TinelliProfessor of Computer Science, The University of IowaAdresse e-mail validée de uiowa.edu
- Clark BarrettStanford UniversityAdresse e-mail validée de cs.stanford.edu
- Mathias PreinerStanford UniversityAdresse e-mail validée de cs.stanford.edu
- Andres NötzliStanford UniversityAdresse e-mail validée de stanford.edu
- Aina NiemetzStanford UniversityAdresse e-mail validée de cs.stanford.edu
- Yoni ZoharBar Ilan UniversityAdresse e-mail validée de biu.ac.il
- Hanna LachnittStanford UniversityAdresse e-mail validée de stanford.edu
- Pascal FontaineLORIA, INRIA, Université de Lorraine, Nancy, FranceAdresse e-mail validée de loria.fr
- Alex OzdemirStanford UniversityAdresse e-mail validée de stanford.edu
- Gereon KremerCertora LtdAdresse e-mail validée de cs.stanford.edu
- Abdalrhman MohamedPhD student, Stanford UniversityAdresse e-mail validée de stanford.edu
- Mathias FleuryUniversity FreiburgAdresse e-mail validée de informatik.uni-freiburg.de
- Jasmin BlanchetteLudwig-Maximilians-Universität MünchenAdresse e-mail validée de ifi.lmu.de
- David DeharbeCLEARSYAdresse e-mail validée de clearsy.com
- Daniel LarrazUniversity of IowaAdresse e-mail validée de uiowa.edu
- Scott ViteriPhD Student, Stanford UniversityAdresse e-mail validée de stanford.edu
- Fernando Magno Quintão PereiraProfessor of Computer Science, Universidade Federal de Minas GeraisAdresse e-mail validée de dcc.ufmg.br
- Mikoláš JanotaCTU PragueAdresse e-mail validée de cvut.cz
- Antti E. J. HyvärinenSenior Research Scientist, CertoraAdresse e-mail validée de certora.com
Suivre
Haniel Barbosa
Autres nomsHaniel Moreira Barbosa
Adresse e-mail validée de dcc.ufmg.br - Page d'accueil