Buat profil saya
Dikutip oleh
Semua | Sejak 2019 | |
---|---|---|
Kutipan | 1391 | 1187 |
indeks-h | 18 | 17 |
indeks-i10 | 26 | 23 |
Akses publik
Lihat semua25 artikel
0 artikel
tersedia
tidak tersedia
Berdasarkan pada mandat pendanaan
Pengarang bersama
- Mathias PreinerStanford UniversityEmail yang diverifikasi di cs.stanford.edu
- Clark BarrettStanford UniversityEmail yang diverifikasi di cs.stanford.edu
- Cesare TinelliProfessor of Computer Science, The University of IowaEmail yang diverifikasi di uiowa.edu
- Armin BiereProfessor of Computer Science, University of FreiburgEmail yang diverifikasi di informatik.uni-freiburg.de
- Andrew ReynoldsUniversity of Iowa, Amazon Web ServicesEmail yang diverifikasi di uiowa.edu
- Haniel BarbosaUniversidade Federal de Minas GeraisEmail yang diverifikasi di dcc.ufmg.br
- Yoni ZoharBar Ilan UniversityEmail yang diverifikasi di biu.ac.il
- Andres NötzliStanford UniversityEmail yang diverifikasi di stanford.edu
- Gereon KremerCertora LtdEmail yang diverifikasi di cs.stanford.edu
- Alex OzdemirStanford UniversityEmail yang diverifikasi di stanford.edu
- Martin BrainCity, University of LondonEmail yang diverifikasi di city.ac.uk
- Makai MannTechnical Staff, MIT Lincoln LaboratoryEmail yang diverifikasi di ll.mit.edu
- Ying ShengPhD student of Stanford UniversityEmail yang diverifikasi di stanford.edu
- Giles RegerAmazon and University of ManchesterEmail yang diverifikasi di manchester.ac.uk
- Vijay GaneshProfessor, Georgia Institute of Technology, Atlanta, GA, USAEmail yang diverifikasi di gatech.edu
- Joseph ScottUniversity of WaterlooEmail yang diverifikasi di uwaterloo.ca
- Saeed NejatiAmazonEmail yang diverifikasi di amazon.com
- Martina SeidlUniv.-Prof., JKU LinzEmail yang diverifikasi di jku.at
- Florian LonsingEmail yang diverifikasi di florianlonsing.com
- David DeharbeCLEARSYEmail yang diverifikasi di clearsy.com