Saját profil készítése
Hivatkozott rá
Összes | 2019 óta | |
---|---|---|
Hivatkozások | 665 | 302 |
h-index | 12 | 9 |
i10-index | 15 | 8 |
Nyilvános hozzáférés
Összes megtekintése10 cikk
0 cikk
elérhető
nem érhető el
Finanszírozási megbízások alapján
Társszerzők
- Armin BiereProfessor of Computer Science, University of FreiburgE-mail megerősítve itt: informatik.uni-freiburg.de
- Gergely KovásznaiEszterhazy Karoly UniversityE-mail megerősítve itt: aries.ektf.hu
- Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienE-mail megerősítve itt: forsyte.tuwien.ac.at
- Christoph M. WintersteigerImandraE-mail megerősítve itt: imandra.ai
- Marijn HeuleAssociate Professor of Computer Science, Carnegie Mellon UniversityE-mail megerősítve itt: cs.cmu.edu
- Tomas BalyoFiluta AIE-mail megerősítve itt: filuta.ai
- Uwe SchöningProfessor of Computer Science, Ulm University, retiredE-mail megerősítve itt: uni-ulm.de
- Holger HoosRWTH Aachen University, Germany • Leiden University, Netherlands • University of British ColumbiaE-mail megerősítve itt: cs.rwth-aachen.de
- Dave A. D. TompkinsLecturer, Computer Science, University of WaterlooE-mail megerősítve itt: uwaterloo.ca
- Dr. Adrian BalintUlm University