Skaff deg en Google Scholar-profil
Sitert av
Alle | Siden 2019 | |
---|---|---|
Sitater | 824 | 772 |
h-indeks | 13 | 12 |
i10-indeks | 14 | 14 |
Offentlig tilgang
Vis alle18 artikler
0 artikler
tilgjengelige
ikke tilgjengelige
Basert på finansieringsmandater
Medforfattere
- Andrew ReynoldsUniversity of Iowa, Amazon Web ServicesVerifisert e-postadresse på uiowa.edu
- Cesare TinelliProfessor of Computer Science, The University of IowaVerifisert e-postadresse på uiowa.edu
- Clark BarrettStanford UniversityVerifisert e-postadresse på cs.stanford.edu
- Mathias PreinerStanford UniversityVerifisert e-postadresse på cs.stanford.edu
- Andres NötzliStanford UniversityVerifisert e-postadresse på stanford.edu
- Aina NiemetzStanford UniversityVerifisert e-postadresse på cs.stanford.edu
- Yoni ZoharBar Ilan UniversityVerifisert e-postadresse på biu.ac.il
- Hanna LachnittStanford UniversityVerifisert e-postadresse på stanford.edu
- Pascal FontaineLORIA, INRIA, Université de Lorraine, Nancy, FranceVerifisert e-postadresse på loria.fr
- Alex OzdemirStanford UniversityVerifisert e-postadresse på stanford.edu
- Gereon KremerCertora LtdVerifisert e-postadresse på cs.stanford.edu
- Abdalrhman MohamedPhD student, Stanford UniversityVerifisert e-postadresse på stanford.edu
- Mathias FleuryUniversity FreiburgVerifisert e-postadresse på informatik.uni-freiburg.de
- Jasmin BlanchetteLudwig-Maximilians-Universität MünchenVerifisert e-postadresse på ifi.lmu.de
- David DeharbeCLEARSYVerifisert e-postadresse på clearsy.com
- Daniel LarrazUniversity of IowaVerifisert e-postadresse på uiowa.edu
- Scott ViteriPhD Student, Stanford UniversityVerifisert e-postadresse på stanford.edu
- Fernando Magno Quintão PereiraProfessor of Computer Science, Universidade Federal de Minas GeraisVerifisert e-postadresse på dcc.ufmg.br
- Mikoláš JanotaCTU PragueVerifisert e-postadresse på cvut.cz
- Antti E. J. HyvärinenSenior Research Scientist, CertoraVerifisert e-postadresse på certora.com
Følg
Haniel Barbosa
Andre navnHaniel Moreira Barbosa
Verifisert e-postadresse på dcc.ufmg.br - Startside