Obtenir mon propre profil
Citée par
| Toutes | Depuis 2020 | |
|---|---|---|
| Citations | 1142 | 1019 |
| indice h | 13 | 11 |
| indice i10 | 18 | 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
- Aina NiemetzStanford UniversityAdresse e-mail validée de cs.stanford.edu
- Andres NötzliStanford UniversityAdresse e-mail validée de stanford.edu
- Yoni ZoharBar Ilan UniversityAdresse e-mail validée de biu.ac.il
- Hanna LachnittStanford UniversityAdresse e-mail validée de stanford.edu
- Gereon KremerCertora LtdAdresse e-mail validée de cs.stanford.edu
- Alex OzdemirStanford UniversityAdresse e-mail validée de stanford.edu
- Pascal FontaineLORIA, INRIA, Université de Lorraine, Nancy, FranceAdresse e-mail validée de loria.fr
- Abdalrhman MohamedPhD student, Stanford UniversityAdresse e-mail validée de stanford.edu
- Mathias FleuryUniversity FreiburgAdresse e-mail validée de informatik.uni-freiburg.de
- Mudathir MohamedThe University of IowaAdresse e-mail validée de uiowa.edu
- 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
- Mikoláš JanotaCTU PragueAdresse e-mail validée de cvut.cz
- 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
Suivre
Haniel Barbosa
Autres nomsHaniel Moreira Barbosa
Adresse e-mail validée de dcc.ufmg.br - Page d'accueil