Skapa en profil
Offentlig åtkomst
Visa alla7 artiklar
1 artikel
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Klaus OstermannProfessor of Computer Science, University of Tübingen, GermanyVerifierad e-postadress på uni-tuebingen.de
- Christian KästnerCarnegie Mellon University, School of Computer ScienceVerifierad e-postadress på cs.cmu.edu
- Tillmann RendelSAPVerifierad e-postadress på sap.com
- Sebastian ErdwegProfessor of Computer Science, JGU MainzVerifierad e-postadress på uni-mainz.de
- Sven ApelProfessor of Computer Science, Saarland University, Saarland Informatics CampusVerifierad e-postadress på cs.uni-saarland.de
- Norbert SiegmundProfessor of Computer Science, Leipzig UniversityVerifierad e-postadress på informatik.uni-leipzig.de
- Marko RosenmüllerTomTomVerifierad e-postadress på rosenmueller.de
- Thorsten BergerProfessor of Computer Science, Ruhr University BochumVerifierad e-postadress på rub.de
- Martin OderskyEPFLVerifierad e-postadress på epfl.ch
- Leo StefanescoMPI-SWSVerifierad e-postadress på mpi-sws.org
- Robbert KrebbersAssociate Professor, Radboud University NijmegenVerifierad e-postadress på cs.ru.nl
- Lars BirkedalDept. of Computer Science, Aarhus UniversityVerifierad e-postadress på cs.au.dk
- Amin TimanyAarhus UniversityVerifierad e-postadress på cs.au.dk
- Yann Régis-GianasIRIF, CNRS, INRIA, Paris Diderot UniversityVerifierad e-postadress på pps.univ-paris-diderot.fr
- Philipp SchusterUniversity of TübingenVerifierad e-postadress på uni-tuebingen.de
- Michael EichbergTechnische Universität DarmstadtVerifierad e-postadress på informatik.tu-darmstadt.de
- Aggelos BiboudisOracleVerifierad e-postadress på oracle.com
- Lionel ParreauxThe Hong Kong University of Science and Technology (HKUST)Verifierad e-postadress på ust.hk
- Ondrej LhotakComputer Science, University of WaterlooVerifierad e-postadress på uwaterloo.ca
- Aleksander Boruch-GruszeckiEPFLVerifierad e-postadress på epfl.ch
Följ
Paolo G. Giarrusso
Formal Methods Engineer, Bedrock Systems Inc.
Verifierad e-postadress på tudelft.nl