Obter 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 todos18 artigos
0 artigo
disponível
não disponível
Com base nas autorizações de financiamento
Coautores
- Andrew ReynoldsUniversity of Iowa, Amazon Web ServicesE-mail confirmado em uiowa.edu
- Cesare TinelliProfessor of Computer Science, The University of IowaE-mail confirmado em uiowa.edu
- Clark BarrettStanford UniversityE-mail confirmado em cs.stanford.edu
- Mathias PreinerStanford UniversityE-mail confirmado em cs.stanford.edu
- Andres NötzliStanford UniversityE-mail confirmado em stanford.edu
- Aina NiemetzStanford UniversityE-mail confirmado em cs.stanford.edu
- Yoni ZoharBar Ilan UniversityE-mail confirmado em biu.ac.il
- Hanna LachnittStanford UniversityE-mail confirmado em stanford.edu
- Pascal FontaineLORIA, INRIA, Université de Lorraine, Nancy, FranceE-mail confirmado em loria.fr
- Alex OzdemirStanford UniversityE-mail confirmado em stanford.edu
- Gereon KremerCertora LtdE-mail confirmado em cs.stanford.edu
- Abdalrhman MohamedPhD student, Stanford UniversityE-mail confirmado em stanford.edu
- Mathias FleuryUniversity FreiburgE-mail confirmado em informatik.uni-freiburg.de
- Jasmin BlanchetteLudwig-Maximilians-Universität MünchenE-mail confirmado em ifi.lmu.de
- David DeharbeCLEARSYE-mail confirmado em clearsy.com
- Daniel LarrazUniversity of IowaE-mail confirmado em uiowa.edu
- Scott ViteriPhD Student, Stanford UniversityE-mail confirmado em stanford.edu
- Fernando Magno Quintão PereiraProfessor of Computer Science, Universidade Federal de Minas GeraisE-mail confirmado em dcc.ufmg.br
- Mikoláš JanotaCTU PragueE-mail confirmado em cvut.cz
- Antti E. J. HyvärinenSenior Research Scientist, CertoraE-mail confirmado em certora.com
Seguir
Haniel Barbosa
Outros nomesHaniel Moreira Barbosa
E-mail confirmado em dcc.ufmg.br - Página inicial