Get my own profile
Public access
View all134 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
Shurui ZhouUniversity of TorontoVerified email at ece.utoronto.ca
Bogdan VasilescuAssociate Professor at Carnegie Mellon UniversityVerified email at cmu.edu
Janet SiegmundChemnitz University of TechnologyVerified email at hrz.tu-chemnitz.de
Klaus OstermannProfessor of Computer Science, University of Tübingen, GermanyVerified email at uni-tuebingen.de
Marko RosenmüllerTomTomVerified email at rosenmueller.de
Jens MeinickeCarnegie Mellon University, Pittsburgh, USAVerified email at andrew.cmu.edu
Pooyan JamshidiAssistant Professor of Computer Science and Engineering, University of South Carolina, ex-GoogleVerified email at cse.sc.edu
Sebastian ErdwegProfessor of Computer Science, JGU MainzVerified email at uni-mainz.de
André BrechmannLeibniz Institute for NeurobiologyVerified email at ifn-magdeburg.de
Chris ParninMicrosoftVerified email at microsoft.com
Tillmann RendelSAPVerified email at sap.com
Paolo G. GiarrussoFormal Methods Engineer, Bedrock Systems Inc.Verified email at tudelft.nl
Follow![Christian Kästner](https://usercontent.cljtscd.com/citations?view_op=view_photo&user=PR-ZnJUAAAAJ&citpid=2)
Christian Kästner
Carnegie Mellon University, School of Computer Science
Verified email at cs.cmu.edu - Homepage