Crea el meu perfil
Accés públic
Mostra-ho tot7 articles
1 article
disponibles
no disponibles
Es basa en els requisits de les agències que proporcionen el finançament
Coautors
- Klaus OstermannProfessor of Computer Science, University of Tübingen, GermanyCorreu electrònic verificat a uni-tuebingen.de
- Christian KästnerCarnegie Mellon University, School of Computer ScienceCorreu electrònic verificat a cs.cmu.edu
- Tillmann RendelSAPCorreu electrònic verificat a sap.com
- Sebastian ErdwegProfessor of Computer Science, JGU MainzCorreu electrònic verificat a uni-mainz.de
- Sven ApelProfessor of Computer Science, Saarland University, Saarland Informatics CampusCorreu electrònic verificat a cs.uni-saarland.de
- Norbert SiegmundProfessor of Computer Science, Leipzig UniversityCorreu electrònic verificat a informatik.uni-leipzig.de
- Marko RosenmüllerTomTomCorreu electrònic verificat a rosenmueller.de
- Thorsten BergerProfessor of Computer Science, Ruhr University BochumCorreu electrònic verificat a rub.de
- Martin OderskyEPFLCorreu electrònic verificat a epfl.ch
- Leo StefanescoMPI-SWSCorreu electrònic verificat a mpi-sws.org
- Robbert KrebbersAssociate Professor, Radboud University NijmegenCorreu electrònic verificat a cs.ru.nl
- Lars BirkedalDept. of Computer Science, Aarhus UniversityCorreu electrònic verificat a cs.au.dk
- Amin TimanyAarhus UniversityCorreu electrònic verificat a cs.au.dk
- Yann Régis-GianasIRIF, CNRS, INRIA, Paris Diderot UniversityCorreu electrònic verificat a pps.univ-paris-diderot.fr
- Philipp SchusterUniversity of TübingenCorreu electrònic verificat a uni-tuebingen.de
- Michael EichbergTechnische Universität DarmstadtCorreu electrònic verificat a informatik.tu-darmstadt.de
- Aggelos BiboudisOracleCorreu electrònic verificat a oracle.com
- Lionel ParreauxThe Hong Kong University of Science and Technology (HKUST)Correu electrònic verificat a ust.hk
- Ondrej LhotakComputer Science, University of WaterlooCorreu electrònic verificat a uwaterloo.ca
- Aleksander Boruch-GruszeckiEPFLCorreu electrònic verificat a epfl.ch
Segueix
Paolo G. Giarrusso
Formal Methods Engineer, Bedrock Systems Inc.
Correu electrònic verificat a tudelft.nl