Get my own profile
Public access
View all28 articles
0 articles
available
not available
Based on funding mandates
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
- Eduard KamburjanDepartment of Informatics, University of OsloVerified email at ifi.uio.no
- Ina SchaeferKarlsruhe Institute of Technology (KIT)Verified email at kit.edu
- Steffen SchlagerUniversity of Applies Sciences OffenburgVerified email at hs-offenburg.de
- Wojciech MostowskiHalmstad UniversityVerified email at hh.se
- Martin Hentschelitemis AG, GermanyVerified email at itemis.de
- Mattias UlbrichResearcher, Karlsruhe Institute of TechnologyVerified email at kit.edu
- Andreas RothSAP SEVerified email at sap.com
- Peter Y. H. WongPreneticsVerified email at wolfson.oxon.org
- Elvira AlbertComplutense University of SpainVerified email at sip.ucm.es
- Neil V. MurrayDepartment of Computer Science, Univ. at Albany - SUNYVerified email at cs.albany.edu
- Philipp RuemmerProfessor in Computer Science, University of RegensburgVerified email at ur.de
- Silvia Lizeth Tapia TarifaAssociate Professor, Department of Informatics - University Of OsloVerified email at ifi.uio.no
- Stijn de GouwAssistant Professor, Open University, The NetherlandsVerified email at ou.nl
Follow
Reiner Hähnle
Professor of Computer Science, Technical University of Darmstadt
Verified email at cs.tu-darmstadt.de - Homepage