Get my own profile
Co-authors
Bernhard BeckertProfessor of Informatics, Karlsruhe Institute of TechnologyVerified email at kit.edu- Richard BubelDepartment of Computer Science, TU DarmstadtVerified email at cs.tu-darmstadt.de
- Einar Broch JohnsenProfessor, University of OsloVerified email at ifi.uio.no
- Wolfgang AhrendtProfessor of Computer Science, Chalmers University of TechnologyVerified email at chalmers.se
- Martin GieseProf., Dept. of Informatics, University of OsloVerified email at ifi.uio.no
- Thomas BaarHTW BerlinVerified email at acm.org
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Verified email at cwi.nl
- Ina SchaeferTU Braunschweig, GermanyVerified email at tu-braunschweig.de
- Wojciech MostowskiHalmstad UniversityVerified email at hh.se
- Steffen SchlagerUniversity of Applies Sciences OffenburgVerified email at hs-offenburg.de
- Eduard KamburjanPostdoc of Computer Science, University of OsloVerified email at cs.tu-darmstadt.de
- Martin Hentschelitemis AG, GermanyVerified email at itemis.de
- Peter Y. H. WongPreneticsVerified email at wolfson.oxon.org
- Neil V. MurrayDepartment of Computer Science, Univ. at Albany - SUNYVerified email at cs.albany.edu
- Andreas RothSAP SEVerified email at sap.com
- Elvira AlbertComplutense University of SpainVerified email at sip.ucm.es
- Philipp RuemmerAssociate Professor (Docent) in Computer Science, Uppsala UniversityVerified email at it.uu.se
- Ferruccio DamianiAssociate Professor of Compurer Science, University of TorinoVerified email at di.unito.it
- Stijn de GouwAssistant Professor, Open University, The NetherlandsVerified email at ou.nl
- Antonio Flores MontoyaPhd in Computer ScienceVerified email at grammatech.com
Reiner Hähnle
Professor of Computer Science, Technical University of Darmstadt
Verified email at cs.tu-darmstadt.de - Homepage