Get my own profile
Public access
View all29 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 ŠimkusTU 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