Get my own profile
Public access
View all34 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
- Eduard KamburjanSenior Researcher, University of OsloVerified email at ifi.uio.no
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Verified email at cwi.nl
- Thomas BaarHTW BerlinVerified email at acm.org
- Crystal Chang DinDepartment of Informatics, University of Bergen, NorwayVerified email at uib.no
- Ina SchaeferKarlsruhe Institute of Technology (KIT)Verified email at kit.edu
- Steffen SchlagerUniversity of Applies Sciences OffenburgVerified email at hs-offenburg.de
- Mattias UlbrichResearcher, Karlsruhe Institute of TechnologyVerified email at kit.edu
- Wojciech MostowskiHalmstad UniversityVerified email at hh.se
- Martin Hentschelitemis AG, GermanyVerified email at itemis.de
- 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
- Silvia Lizeth Tapia TarifaAssociate Professor, Department of Informatics - University Of OsloVerified email at ifi.uio.no
- Dominic SteinhöfelCISPA Helmholtz Center for Information SecurityVerified email at cispa.de
- Neil V. MurrayDepartment of Computer Science, Univ. at Albany - SUNYVerified email at cs.albany.edu
Follow
Reiner Hähnle
Professor of Computer Science, Technical University of Darmstadt
Verified email at cs.tu-darmstadt.de - Homepage