Skapa en profil
Offentlig åtkomst
Visa alla10 artiklar
0 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Armin BiereProfessor of Computer Science, University of FreiburgVerifierad e-postadress på informatik.uni-freiburg.de
- Gergely KovásznaiEszterhazy Karoly UniversityVerifierad e-postadress på aries.ektf.hu
- Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienVerifierad e-postadress på forsyte.tuwien.ac.at
- Christoph M. WintersteigerImandraVerifierad e-postadress på imandra.ai
- Marijn HeuleAssociate Professor of Computer Science, Carnegie Mellon UniversityVerifierad e-postadress på cs.cmu.edu
- Tomas BalyoFiluta AIVerifierad e-postadress på filuta.ai
- Uwe SchöningProfessor of Computer Science, Ulm University, retiredVerifierad e-postadress på uni-ulm.de
- Holger HoosRWTH Aachen University, Germany • Leiden University, Netherlands • University of British ColumbiaVerifierad e-postadress på cs.rwth-aachen.de
- Dave A. D. TompkinsLecturer, Computer Science, University of WaterlooVerifierad e-postadress på uwaterloo.ca
- Dr. Adrian BalintUlm University