Crear mi propio perfil
Citado por
Total | Desde 2019 | |
---|---|---|
Citas | 824 | 772 |
Índice h | 13 | 12 |
Índice i10 | 14 | 14 |
Acceso público
Ver todo18 artículos
0 artículos
disponibles
no disponibles
Basado en requisitos de financiación
Coautores
- Andrew ReynoldsUniversity of Iowa, Amazon Web ServicesDirección de correo verificada de uiowa.edu
- Cesare TinelliProfessor of Computer Science, The University of IowaDirección de correo verificada de uiowa.edu
- Clark BarrettStanford UniversityDirección de correo verificada de cs.stanford.edu
- Mathias PreinerStanford UniversityDirección de correo verificada de cs.stanford.edu
- Andres NötzliStanford UniversityDirección de correo verificada de stanford.edu
- Aina NiemetzStanford UniversityDirección de correo verificada de cs.stanford.edu
- Yoni ZoharBar Ilan UniversityDirección de correo verificada de biu.ac.il
- Hanna LachnittStanford UniversityDirección de correo verificada de stanford.edu
- Pascal FontaineLORIA, INRIA, Université de Lorraine, Nancy, FranceDirección de correo verificada de loria.fr
- Alex OzdemirStanford UniversityDirección de correo verificada de stanford.edu
- Gereon KremerCertora LtdDirección de correo verificada de cs.stanford.edu
- Abdalrhman MohamedPhD student, Stanford UniversityDirección de correo verificada de stanford.edu
- Mathias FleuryUniversity FreiburgDirección de correo verificada de informatik.uni-freiburg.de
- Jasmin BlanchetteLudwig-Maximilians-Universität MünchenDirección de correo verificada de ifi.lmu.de
- David DeharbeCLEARSYDirección de correo verificada de clearsy.com
- Daniel LarrazUniversity of IowaDirección de correo verificada de uiowa.edu
- Scott ViteriPhD Student, Stanford UniversityDirección de correo verificada de stanford.edu
- Fernando Magno Quintão PereiraProfessor of Computer Science, Universidade Federal de Minas GeraisDirección de correo verificada de dcc.ufmg.br
- Mikoláš JanotaCTU PragueDirección de correo verificada de cvut.cz
- Antti E. J. HyvärinenSenior Research Scientist, CertoraDirección de correo verificada de certora.com
Seguir
Haniel Barbosa
Otros nombresHaniel Moreira Barbosa
Dirección de correo verificada de dcc.ufmg.br - Página principal