Get my own profile
Public access
View all20 articles
0 articles
available
not available
Based on funding mandates
Co-authors
- Reiner HähnleProfessor of Computer Science, Technical University of DarmstadtVerified email at cs.tu-darmstadt.de
- Wolfgang AhrendtProfessor of Computer Science, Chalmers University of TechnologyVerified email at chalmers.se
- Martin Hentschelitemis AG, GermanyVerified email at itemis.de
- Andreas RothSAP SEVerified email at sap.com
- Wojciech MostowskiHalmstad UniversityVerified email at hh.se
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Verified email at cwi.nl
- Martin GieseProf., Dept. of Informatics, University of OsloVerified email at ifi.uio.no
- Ran JiRobotics Institute, School of Computer Science, Carnegie Mellon UniversityVerified email at cmu.edu
- Jurriaan RotRadboud UniversityVerified email at cs.ru.nl
- Ina SchaeferKarlsruhe Institute of Technology (KIT)Verified email at kit.edu
- Elvira AlbertComplutense University of SpainVerified email at sip.ucm.es
- Samir GenaimUniversidad Complutense de MadridVerified email at fdi.ucm.es
- Guillermo Román DíezAssociate Professor (Profesor Titular) at Universidad Politécnica de MadridVerified email at upm.es
- Vladimir KlebanovSAP SE (previously at Karlsruhe Institute of Technology)Verified email at sap.com
- Germán PueblaAssociate ProfessorVerified email at fi.upm.es
- Mihai HerdaSAP SEVerified email at sap.com
- Marcus BaumUniversity of GöttingenVerified email at cs.uni-goettingen.de
- Philipp RuemmerProfessor in Computer Science, University of RegensburgVerified email at ur.de
- Peter Y. H. WongPreneticsVerified email at wolfson.oxon.org
- Miguel Gómez-ZamalloaAssociate Professor of Computer Science, Complutense University of MadridVerified email at fdi.ucm.es