Get my own profile
Public access
View all30 articles
3 articles
available
not available
Based on funding mandates
Co-authors
Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienVerified email at forsyte.tuwien.ac.at
Moritz SinnFH MünsterVerified email at fh-muenster.de
Sumit GulwaniDistinguished Scientist, MicrosoftVerified email at microsoft.com
Christoph MathejaProfessor of Theory of Correct Systems, University of OldenburgVerified email at uol.de
Tomer KotekTU WienVerified email at forsyte.at
Tomas VojnarFI, Masaryk University & FIT, Brno University of TechnologyVerified email at fi.muni.cz
Aniello MuranoFull Professor in Computer Science, Università degli Studi di Napoli Federico IIVerified email at unina.it
Thomas PaniIndependent / Self-employedVerified email at thpani.net
Josef WidderInformal SystemsVerified email at informal.systems
Georg WeissenbacherProfessor of Computer Science, TU WienVerified email at tuwien.ac.at
Marco GaboardiBoston UniversityVerified email at bu.edu
Johannes KinderProfessor of Computer Science, LMU MunichVerified email at lmu.de
Mantas ŠimkusInstitute of Logic and Computation, TU Wien, AustriaVerified email at dbai.tuwien.ac.at
Byron CookProfessor of Computer Science, UCL, AmazonVerified email at cs.ucl.ac.uk
Abigail SeeResearch Scientist, DeepMindVerified email at deepmind.com
Lukas HolikBrno University of TehcnologyVerified email at fit.vutbr.cz
Laure DaviaudUniversity of East AngliaVerified email at uea.ac.uk
Francesco SpegniUniversita` Politecnica delle MarcheVerified email at univpm.it
Noam RinetzkyAssistant Professor of Computer Science, Tel Aviv UniversityVerified email at cs.tau.ac.il
Mooly SagivTel Aviv UniversityVerified email at acm.org