Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 824 | 772 |
h-indeks | 13 | 12 |
i10-indeks | 14 | 14 |
Dostęp publiczny
Wyświetl wszystko18 artykułów
0 artykułów
dostępne
niedostępne
Objęte finansowaniem
Współautorzy
- Andrew ReynoldsUniversity of Iowa, Amazon Web ServicesZweryfikowany adres z uiowa.edu
- Cesare TinelliProfessor of Computer Science, The University of IowaZweryfikowany adres z uiowa.edu
- Clark BarrettStanford UniversityZweryfikowany adres z cs.stanford.edu
- Mathias PreinerStanford UniversityZweryfikowany adres z cs.stanford.edu
- Andres NötzliStanford UniversityZweryfikowany adres z stanford.edu
- Aina NiemetzStanford UniversityZweryfikowany adres z cs.stanford.edu
- Yoni ZoharBar Ilan UniversityZweryfikowany adres z biu.ac.il
- Hanna LachnittStanford UniversityZweryfikowany adres z stanford.edu
- Pascal FontaineLORIA, INRIA, Université de Lorraine, Nancy, FranceZweryfikowany adres z loria.fr
- Alex OzdemirStanford UniversityZweryfikowany adres z stanford.edu
- Gereon KremerCertora LtdZweryfikowany adres z cs.stanford.edu
- Abdalrhman MohamedPhD student, Stanford UniversityZweryfikowany adres z stanford.edu
- Mathias FleuryUniversity FreiburgZweryfikowany adres z informatik.uni-freiburg.de
- Jasmin BlanchetteLudwig-Maximilians-Universität MünchenZweryfikowany adres z ifi.lmu.de
- David DeharbeCLEARSYZweryfikowany adres z clearsy.com
- Daniel LarrazUniversity of IowaZweryfikowany adres z uiowa.edu
- Scott ViteriPhD Student, Stanford UniversityZweryfikowany adres z stanford.edu
- Fernando Magno Quintão PereiraProfessor of Computer Science, Universidade Federal de Minas GeraisZweryfikowany adres z dcc.ufmg.br
- Mikoláš JanotaCTU PragueZweryfikowany adres z cvut.cz
- Antti E. J. HyvärinenSenior Research Scientist, CertoraZweryfikowany adres z certora.com
Obserwuj
Haniel Barbosa
Inne imiona/nazwiskaHaniel Moreira Barbosa
Zweryfikowany adres z dcc.ufmg.br - Strona główna