Get my own profile
Public access
View all25 articles
0 articles
available
not available
Based on funding mandates
Co-authors
- Klaus OstermannProfessor of Computer Science, University of Tübingen, GermanyVerified email at uni-tuebingen.de
- Mira MeziniProfessor of Computer Science, TU Darmstadt, GermanyVerified email at informatik.tu-darmstadt.de
- Eelco VisserProfessor of Computer Science, Delft University of TechnologyVerified email at tudelft.nl
- Christian KästnerCarnegie Mellon University, School of Computer ScienceVerified email at cs.cmu.edu
- Tillmann RendelSAPVerified email at sap.com
- Markus Völterindependent consultant / itemisVerified email at acm.org
- Tijs van der StormSenior Researcher, Centrum Wiskunde & Informatica (CWI)Verified email at cwi.nl
- Tamás SzabóGitHubVerified email at github.com
- Gabriël KonatDelft University of TechnologyVerified email at tudelft.nl
- Guido WachsmuthOracle LabsVerified email at oracle.com
- Sven KeidelTU Darmstadt, GermanyVerified email at tu-darmstadt.de
- Guido SalvaneschiAssociate Professor - University of St.GallenVerified email at csail.mit.edu
- William R. CookAssociate Professor of Computer Science, University of Texas at AustinVerified email at cs.utexas.edu
- Steven KellyCTO at MetaCase, PhD from Univ. of JyväskyläVerified email at metacase.com
- Paolo G. GiarrussoFormal Methods Engineer, Bedrock Systems Inc.Verified email at tudelft.nl
- Oliver BračevacEngineer / Researcher at EPFL/LAMPVerified email at epfl.ch
- Thorsten BergerProfessor of Computer Science, Ruhr University BochumVerified email at rub.de
- André PacakPhD Student (Computer Science) JGU MainzVerified email at uni-mainz.de
- Sylvia GreweTU DarmstadtVerified email at st.informatik.tu-darmstadt.de
- Gábor BergmannBudapesti Műszaki és Gazdaságtudományi EgyetemVerified email at mit.bme.hu