Založit si vlastní profil
Veřejný přístup
Zobrazit všechny21 článků
0 článků
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Reiner HähnleProfessor of Computer Science, Technical University of DarmstadtE-mailová adresa ověřena na: cs.tu-darmstadt.de
- Wolfgang AhrendtProfessor of Computer Science, Chalmers University of TechnologyE-mailová adresa ověřena na: chalmers.se
- Martin Hentschelitemis AG, GermanyE-mailová adresa ověřena na: itemis.de
- Andreas RothSAP SEE-mailová adresa ověřena na: sap.com
- Wojciech MostowskiHalmstad UniversityE-mailová adresa ověřena na: hh.se
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.E-mailová adresa ověřena na: cwi.nl
- Martin GieseProf., Dept. of Informatics, University of OsloE-mailová adresa ověřena na: ifi.uio.no
- Ran JiRobotics Institute, School of Computer Science, Carnegie Mellon UniversityE-mailová adresa ověřena na: cmu.edu
- Jurriaan RotRadboud UniversityE-mailová adresa ověřena na: cs.ru.nl
- Ina SchaeferKarlsruhe Institute of Technology (KIT)E-mailová adresa ověřena na: kit.edu
- Elvira AlbertComplutense University of SpainE-mailová adresa ověřena na: sip.ucm.es
- Samir GenaimUniversidad Complutense de MadridE-mailová adresa ověřena na: fdi.ucm.es
- Guillermo Román DíezAssociate Professor (Profesor Titular) at Universidad Politécnica de MadridE-mailová adresa ověřena na: upm.es
- Vladimir KlebanovSAP SE (previously at Karlsruhe Institute of Technology)E-mailová adresa ověřena na: sap.com
- Germán PueblaAssociate ProfessorE-mailová adresa ověřena na: fi.upm.es
- Mihai HerdaSAP SEE-mailová adresa ověřena na: sap.com
- Marcus BaumUniversity of GöttingenE-mailová adresa ověřena na: cs.uni-goettingen.de
- Philipp RuemmerProfessor in Computer Science, University of RegensburgE-mailová adresa ověřena na: ur.de
- Peter Y. H. WongPreneticsE-mailová adresa ověřena na: wolfson.oxon.org
- Miguel Gómez-ZamalloaAssociate Professor of Computer Science, Complutense University of MadridE-mailová adresa ověřena na: fdi.ucm.es
Sledovat
Richard Bubel
Department of Computer Science, TU Darmstadt
E-mailová adresa ověřena na: cs.tu-darmstadt.de