Skaff deg en Google Scholar-profil
Sitert av
Alle | Siden 2019 | |
---|---|---|
Sitater | 666 | 303 |
h-indeks | 12 | 9 |
i10-indeks | 15 | 8 |
Offentlig tilgang
Vis alle10 artikler
0 artikler
tilgjengelige
ikke tilgjengelige
Basert på finansieringsmandater
Medforfattere
- Armin BiereProfessor of Computer Science, University of FreiburgVerifisert e-postadresse på informatik.uni-freiburg.de
- Gergely KovásznaiEszterhazy Karoly UniversityVerifisert e-postadresse på aries.ektf.hu
- Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienVerifisert e-postadresse på forsyte.tuwien.ac.at
- Christoph M. WintersteigerImandraVerifisert e-postadresse på imandra.ai
- Marijn HeuleAssociate Professor of Computer Science, Carnegie Mellon UniversityVerifisert e-postadresse på cs.cmu.edu
- Tomas BalyoFiluta AIVerifisert e-postadresse på filuta.ai
- Uwe SchöningProfessor of Computer Science, Ulm University, retiredVerifisert e-postadresse på uni-ulm.de
- Holger HoosRWTH Aachen University, Germany • Leiden University, Netherlands • University of British ColumbiaVerifisert e-postadresse på cs.rwth-aachen.de
- Dave A. D. TompkinsLecturer, Computer Science, University of WaterlooVerifisert e-postadresse på uwaterloo.ca
- Dr. Adrian BalintUlm University