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
Carnegie Mellon University, School of Computer Science
Verified email at cs.cmu.edu - Homepage