Mijn eigen profiel maken
Openbare toegang
Alles bekijken7 artikelen
1 artikel
beschikbaar
niet beschikbaar
Op basis van financieringsmachtigingen
Medeauteurs
- Klaus OstermannProfessor of Computer Science, University of Tübingen, GermanyGeverifieerd e-mailadres voor uni-tuebingen.de
- Christian KästnerCarnegie Mellon University, School of Computer ScienceGeverifieerd e-mailadres voor cs.cmu.edu
- Tillmann RendelSAPGeverifieerd e-mailadres voor sap.com
- Sebastian ErdwegProfessor of Computer Science, JGU MainzGeverifieerd e-mailadres voor uni-mainz.de
- Sven ApelProfessor of Computer Science, Saarland University, Saarland Informatics CampusGeverifieerd e-mailadres voor cs.uni-saarland.de
- Norbert SiegmundProfessor of Computer Science, Leipzig UniversityGeverifieerd e-mailadres voor informatik.uni-leipzig.de
- Marko RosenmüllerTomTomGeverifieerd e-mailadres voor rosenmueller.de
- Thorsten BergerProfessor of Computer Science, Ruhr University BochumGeverifieerd e-mailadres voor rub.de
- Martin OderskyEPFLGeverifieerd e-mailadres voor epfl.ch
- Leo StefanescoMPI-SWSGeverifieerd e-mailadres voor mpi-sws.org
- Robbert KrebbersAssociate Professor, Radboud University NijmegenGeverifieerd e-mailadres voor cs.ru.nl
- Lars BirkedalDept. of Computer Science, Aarhus UniversityGeverifieerd e-mailadres voor cs.au.dk
- Amin TimanyAarhus UniversityGeverifieerd e-mailadres voor cs.au.dk
- Yann Régis-GianasIRIF, CNRS, INRIA, Paris Diderot UniversityGeverifieerd e-mailadres voor pps.univ-paris-diderot.fr
- Philipp SchusterUniversity of TübingenGeverifieerd e-mailadres voor uni-tuebingen.de
- Michael EichbergTechnische Universität DarmstadtGeverifieerd e-mailadres voor informatik.tu-darmstadt.de
- Aggelos BiboudisOracleGeverifieerd e-mailadres voor oracle.com
- Lionel ParreauxThe Hong Kong University of Science and Technology (HKUST)Geverifieerd e-mailadres voor ust.hk
- Ondrej LhotakComputer Science, University of WaterlooGeverifieerd e-mailadres voor uwaterloo.ca
- Aleksander Boruch-GruszeckiEPFLGeverifieerd e-mailadres voor epfl.ch
Volgen
Paolo G. Giarrusso
Formal Methods Engineer, Bedrock Systems Inc.
Geverifieerd e-mailadres voor tudelft.nl