Get my own profile
Public access
View all37 articles
5 articles
available
not available
Based on funding mandates
Co-authors
Jasmin BlanchetteVrije Universiteit AmsterdamVerified email at vu.nl
Dmitriy TraytelUniversity of CopenhagenVerified email at di.ku.dk
Johannes HölzlVrije Universitet AmsterdamVerified email at in.tum.de
Tobias NipkowProfessor of Computer Science, Technische Universität MünchenVerified email at in.tum.de
Franco RaimondiProfessor of Computer Science, Middlesex UniversityVerified email at mdx.ac.uk
Elsa L GunterResearch Associate Professor, University of Illinois at Urbana - ChampaignVerified email at illinois.edu
Grigore RosuUniversity of Illinois at Urbana ChampaignVerified email at illinois.edu
Nicholas SmallboneChalmers University of TechnologyVerified email at chalmers.se
Daniel GAINAInstitute of Mathematics for Industry, Kyushu UniversityVerified email at imi.kyushu-u.ac.jp
Traian Florin ȘerbănuțăUniversity of BucharestVerified email at unibuc.ro
Ioana LeusteanProfessor, University of BucharestVerified email at fmi.unibuc.ro
Markus N RabeGoogleVerified email at google.com
Bernd FinkbeinerProfessor of Computer Science, CISPA Helmholtz Center for Information SecurityVerified email at cispa.saarland
Dieter HutterGerman Research Center for Artificial IntelligenceVerified email at dfki.de
Helmut SeidlProfessor für Informatik, TU MünchenVerified email at in.tum.de
Christian HammerProfessor of Computer Science at University of PassauVerified email at uni-passau.de
Jaap BoenderFormal Verification Engineer, Hensoldt Cyber GmbHVerified email at kerguelen.org