Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 1369 | 1165 |
h-indeks | 18 | 16 |
i10-indeks | 25 | 22 |
Dostęp publiczny
Wyświetl wszystko25 artykułów
0 artykułów
dostępne
niedostępne
Objęte finansowaniem
Współautorzy
- Mathias PreinerStanford UniversityZweryfikowany adres z cs.stanford.edu
- Clark BarrettStanford UniversityZweryfikowany adres z cs.stanford.edu
- Armin BiereProfessor of Computer Science, University of FreiburgZweryfikowany adres z informatik.uni-freiburg.de
- Cesare TinelliProfessor of Computer Science, The University of IowaZweryfikowany adres z uiowa.edu
- Andrew ReynoldsUniversity of Iowa, Amazon Web ServicesZweryfikowany adres z uiowa.edu
- Haniel BarbosaUniversidade Federal de Minas GeraisZweryfikowany adres z dcc.ufmg.br
- Yoni ZoharBar Ilan UniversityZweryfikowany adres z biu.ac.il
- Andres NötzliStanford UniversityZweryfikowany adres z stanford.edu
- Gereon KremerCertora LtdZweryfikowany adres z cs.stanford.edu
- Alex OzdemirStanford UniversityZweryfikowany adres z stanford.edu
- Martin BrainCity, University of LondonZweryfikowany adres z city.ac.uk
- Makai MannTechnical Staff, MIT Lincoln LaboratoryZweryfikowany adres z ll.mit.edu
- Ying ShengPhD student of Stanford UniversityZweryfikowany adres z stanford.edu
- Giles RegerAmazon and University of ManchesterZweryfikowany adres z manchester.ac.uk
- Vijay GaneshProfessor, Georgia Institute of Technology, Atlanta, GA, USAZweryfikowany adres z gatech.edu
- Joseph ScottUniversity of WaterlooZweryfikowany adres z uwaterloo.ca
- Saeed NejatiAmazonZweryfikowany adres z amazon.com
- Martina SeidlUniv.-Prof., JKU LinzZweryfikowany adres z jku.at
- Florian LonsingZweryfikowany adres z florianlonsing.com
- David DeharbeCLEARSYZweryfikowany adres z clearsy.com