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
Aggelos BiboudisOracleVerifierad e-postadress på oracle.com
Michael EichbergTechnische Universität DarmstadtVerifierad e-postadress på informatik.tu-darmstadt.de
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](https://scholar.googleusercontent.com/citations?view_op=view_photo&user=ezuzPZoAAAAJ&citpid=2)
Paolo G. Giarrusso
Formal Methods Engineer, Bedrock Systems Inc.
Verifierad e-postadress på tudelft.nl