Eigenes Profil erstellen
Öffentlicher Zugriff
Alle anzeigen7 Artikel
1 Artikel
verfügbar
nicht verfügbar
Basierend auf Fördermandaten
Koautoren
- Klaus OstermannProfessor of Computer Science, University of Tübingen, GermanyBestätigte E-Mail-Adresse bei uni-tuebingen.de
- Christian KästnerCarnegie Mellon University, School of Computer ScienceBestätigte E-Mail-Adresse bei cs.cmu.edu
- Tillmann RendelSAPBestätigte E-Mail-Adresse bei sap.com
- Sebastian ErdwegProfessor of Computer Science, JGU MainzBestätigte E-Mail-Adresse bei uni-mainz.de
- Sven ApelProfessor of Computer Science, Saarland University, Saarland Informatics CampusBestätigte E-Mail-Adresse bei cs.uni-saarland.de
- Norbert SiegmundProfessor of Computer Science, Leipzig UniversityBestätigte E-Mail-Adresse bei informatik.uni-leipzig.de
- Marko RosenmüllerTomTomBestätigte E-Mail-Adresse bei rosenmueller.de
- Thorsten BergerProfessor of Computer Science, Ruhr University BochumBestätigte E-Mail-Adresse bei rub.de
- Martin OderskyEPFLBestätigte E-Mail-Adresse bei epfl.ch
- Leo StefanescoMPI-SWSBestätigte E-Mail-Adresse bei mpi-sws.org
- Robbert KrebbersAssociate Professor, Radboud University NijmegenBestätigte E-Mail-Adresse bei cs.ru.nl
- Lars BirkedalDept. of Computer Science, Aarhus UniversityBestätigte E-Mail-Adresse bei cs.au.dk
- Amin TimanyAarhus UniversityBestätigte E-Mail-Adresse bei cs.au.dk
- Yann Régis-GianasIRIF, CNRS, INRIA, Paris Diderot UniversityBestätigte E-Mail-Adresse bei pps.univ-paris-diderot.fr
- Philipp SchusterUniversity of TübingenBestätigte E-Mail-Adresse bei uni-tuebingen.de
- Michael EichbergTechnische Universität DarmstadtBestätigte E-Mail-Adresse bei informatik.tu-darmstadt.de
- Aggelos BiboudisOracleBestätigte E-Mail-Adresse bei oracle.com
- Lionel ParreauxThe Hong Kong University of Science and Technology (HKUST)Bestätigte E-Mail-Adresse bei ust.hk
- Ondrej LhotakComputer Science, University of WaterlooBestätigte E-Mail-Adresse bei uwaterloo.ca
- Aleksander Boruch-GruszeckiEPFLBestätigte E-Mail-Adresse bei epfl.ch
Folgen
Paolo G. Giarrusso
Formal Methods Engineer, Bedrock Systems Inc.
Bestätigte E-Mail-Adresse bei tudelft.nl