Get my own profile
Public access
View all132 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Sven ApelProfessor of Computer Science, Saarland University, Saarland Informatics CampusVerified email at cs.uni-saarland.de- Gunter SaakeProfessor of Computer Science, Magdeburg UniversityVerified email at ovgu.de
- Don BatoryUniversity of Texas at AustinVerified email at cs.utexas.edu
- Norbert SiegmundProfessor of Computer Science, Leipzig UniversityVerified email at informatik.uni-leipzig.de
- Christian LengauerProfessor für Informatik, Universität PassauVerified email at uni-passau.de
- Thomas LeichProfessor für Informatik, Harz University of Applied SciencesVerified email at hs-harz.de
- Jörg Liebig4Soft GmbHVerified email at 4soft.de
- Thomas ThümProfessor, TU Braunschweig, GermanyVerified email at tu-braunschweig.de
- Janet SiegmundChemnitz University of TechnologyVerified email at hrz.tu-chemnitz.de
- Shurui ZhouUniversity of TorontoVerified email at ece.utoronto.ca
- Klaus OstermannProfessor of Computer Science, University of Tübingen, GermanyVerified email at uni-tuebingen.de
- Bogdan VasilescuAssociate Professor at Carnegie Mellon UniversityVerified email at cmu.edu
- Marko RosenmüllerTomTomVerified email at rosenmueller.de
- Jens MeinickeCarnegie Mellon University, Pittsburgh, USAVerified email at andrew.cmu.edu
- Sebastian ErdwegProfessor of Computer Science, JGU MainzVerified email at uni-mainz.de
- Pooyan JamshidiAssistant Professor of Computer Science and Engineering, University of South Carolina, ex-GoogleVerified email at cse.sc.edu
- André BrechmannLeibniz Institute for NeurobiologyVerified email at ifn-magdeburg.de
- Tillmann RendelSAPVerified email at sap.com
- Chris ParninMicrosoftVerified email at microsoft.com
- Paolo G. GiarrussoFormal Methods Engineer, Bedrock Systems Inc.Verified email at tudelft.nl
Follow
Christian Kästner
Carnegie Mellon University, School of Computer Science
Verified email at cs.cmu.edu - Homepage