Obter o meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 821 | 769 |
Índice h | 13 | 12 |
Índice i10 | 14 | 14 |
Acesso público
Ver tudo18 artigos
0 artigos
disponível
não disponível
Com base em autorizações de financiamento
Coautores
- Andrew ReynoldsUniversity of Iowa, Amazon Web ServicesEmail confirmado em uiowa.edu
- Cesare TinelliProfessor of Computer Science, The University of IowaEmail confirmado em uiowa.edu
- Clark BarrettStanford UniversityEmail confirmado em cs.stanford.edu
- Mathias PreinerStanford UniversityEmail confirmado em cs.stanford.edu
- Andres NötzliStanford UniversityEmail confirmado em stanford.edu
- Aina NiemetzStanford UniversityEmail confirmado em cs.stanford.edu
- Yoni ZoharBar Ilan UniversityEmail confirmado em biu.ac.il
- Hanna LachnittStanford UniversityEmail confirmado em stanford.edu
- Pascal FontaineLORIA, INRIA, Université de Lorraine, Nancy, FranceEmail confirmado em loria.fr
- Alex OzdemirStanford UniversityEmail confirmado em stanford.edu
- Gereon KremerCertora LtdEmail confirmado em cs.stanford.edu
- Abdalrhman MohamedPhD student, Stanford UniversityEmail confirmado em stanford.edu
- Mathias FleuryUniversity FreiburgEmail confirmado em informatik.uni-freiburg.de
- Jasmin BlanchetteLudwig-Maximilians-Universität MünchenEmail confirmado em ifi.lmu.de
- David DeharbeCLEARSYEmail confirmado em clearsy.com
- Daniel LarrazUniversity of IowaEmail confirmado em uiowa.edu
- Scott ViteriPhD Student, Stanford UniversityEmail confirmado em stanford.edu
- Fernando Magno Quintão PereiraProfessor of Computer Science, Universidade Federal de Minas GeraisEmail confirmado em dcc.ufmg.br
- Mikoláš JanotaCTU PragueEmail confirmado em cvut.cz
- Antti E. J. HyvärinenSenior Research Scientist, CertoraEmail confirmado em certora.com
Seguir
Haniel Barbosa
Outros nomesHaniel Moreira Barbosa
Email confirmado em dcc.ufmg.br - Página inicial