Izradite svoj profil
Citirano
Sve | Od 2019. | |
---|---|---|
Citati | 823 | 771 |
H-indeks | 13 | 12 |
i10-indeks | 14 | 14 |
Javni pristup
Prikaži sve18 članaka
0 članaka
dostupno
nije dostupno
Na temelju uvjeta financiranja
Suautori
- Andrew ReynoldsUniversity of Iowa, Amazon Web ServicesPotvrđena adresa e-pošte na uiowa.edu
- Cesare TinelliProfessor of Computer Science, The University of IowaPotvrđena adresa e-pošte na uiowa.edu
- Clark BarrettStanford UniversityPotvrđena adresa e-pošte na cs.stanford.edu
- Mathias PreinerStanford UniversityPotvrđena adresa e-pošte na cs.stanford.edu
- Andres NötzliStanford UniversityPotvrđena adresa e-pošte na stanford.edu
- Aina NiemetzStanford UniversityPotvrđena adresa e-pošte na cs.stanford.edu
- Yoni ZoharBar Ilan UniversityPotvrđena adresa e-pošte na biu.ac.il
- Hanna LachnittStanford UniversityPotvrđena adresa e-pošte na stanford.edu
- Pascal FontaineLORIA, INRIA, Université de Lorraine, Nancy, FrancePotvrđena adresa e-pošte na loria.fr
- Alex OzdemirStanford UniversityPotvrđena adresa e-pošte na stanford.edu
- Gereon KremerCertora LtdPotvrđena adresa e-pošte na cs.stanford.edu
- Abdalrhman MohamedPhD student, Stanford UniversityPotvrđena adresa e-pošte na stanford.edu
- Mathias FleuryUniversity FreiburgPotvrđena adresa e-pošte na informatik.uni-freiburg.de
- Jasmin BlanchetteLudwig-Maximilians-Universität MünchenPotvrđena adresa e-pošte na ifi.lmu.de
- David DeharbeCLEARSYPotvrđena adresa e-pošte na clearsy.com
- Daniel LarrazUniversity of IowaPotvrđena adresa e-pošte na uiowa.edu
- Scott ViteriPhD Student, Stanford UniversityPotvrđena adresa e-pošte na stanford.edu
- Fernando Magno Quintão PereiraProfessor of Computer Science, Universidade Federal de Minas GeraisPotvrđena adresa e-pošte na dcc.ufmg.br
- Mikoláš JanotaCTU PraguePotvrđena adresa e-pošte na cvut.cz
- Antti E. J. HyvärinenSenior Research Scientist, CertoraPotvrđena adresa e-pošte na certora.com
Prati
Haniel Barbosa
Ostala imenaHaniel Moreira Barbosa
Potvrđena adresa e-pošte na dcc.ufmg.br - Početna stranica