Buat profil saya
Dikutip oleh
Semua | Sejak 2019 | |
---|---|---|
Kutipan | 666 | 303 |
indeks-h | 12 | 9 |
indeks-i10 | 15 | 8 |
Akses publik
Lihat semua10 artikel
0 artikel
tersedia
tidak tersedia
Berdasarkan pada mandat pendanaan
Pengarang bersama
- Armin BiereProfessor of Computer Science, University of FreiburgEmail yang diverifikasi di informatik.uni-freiburg.de
- Gergely KovásznaiEszterhazy Karoly UniversityEmail yang diverifikasi di aries.ektf.hu
- Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienEmail yang diverifikasi di forsyte.tuwien.ac.at
- Christoph M. WintersteigerImandraEmail yang diverifikasi di imandra.ai
- Marijn HeuleAssociate Professor of Computer Science, Carnegie Mellon UniversityEmail yang diverifikasi di cs.cmu.edu
- Tomas BalyoFiluta AIEmail yang diverifikasi di filuta.ai
- Uwe SchöningProfessor of Computer Science, Ulm University, retiredEmail yang diverifikasi di uni-ulm.de
- Holger HoosRWTH Aachen University, Germany • Leiden University, Netherlands • University of British ColumbiaEmail yang diverifikasi di cs.rwth-aachen.de
- Dave A. D. TompkinsLecturer, Computer Science, University of WaterlooEmail yang diverifikasi di uwaterloo.ca
- Dr. Adrian BalintUlm University