Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 665 | 302 |
h-indeks | 12 | 9 |
i10-indeks | 15 | 8 |
Dostęp publiczny
Wyświetl wszystko10 artykułów
0 artykułów
dostępne
niedostępne
Objęte finansowaniem
Współautorzy
- Armin BiereProfessor of Computer Science, University of FreiburgZweryfikowany adres z informatik.uni-freiburg.de
- Gergely KovásznaiEszterhazy Karoly UniversityZweryfikowany adres z aries.ektf.hu
- Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienZweryfikowany adres z forsyte.tuwien.ac.at
- Christoph M. WintersteigerImandraZweryfikowany adres z imandra.ai
- Marijn HeuleAssociate Professor of Computer Science, Carnegie Mellon UniversityZweryfikowany adres z cs.cmu.edu
- Tomas BalyoFiluta AIZweryfikowany adres z filuta.ai
- Uwe SchöningProfessor of Computer Science, Ulm University, retiredZweryfikowany adres z uni-ulm.de
- Holger HoosRWTH Aachen University, Germany • Leiden University, Netherlands • University of British ColumbiaZweryfikowany adres z cs.rwth-aachen.de
- Dave A. D. TompkinsLecturer, Computer Science, University of WaterlooZweryfikowany adres z uwaterloo.ca
- Dr. Adrian BalintUlm University