Skapa en profil
Offentlig åtkomst
Visa alla35 artiklar
0 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
Lars BirkedalDept. of Computer Science, Aarhus UniversityVerifierad e-postadress på cs.au.dk
Ralf JungAssistant Professor, ETH ZürichVerifierad e-postadress på inf.ethz.ch
Robbert KrebbersAssociate Professor, Radboud University NijmegenVerifierad e-postadress på cs.ru.nl
Viktor VafeiadisMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Verifierad e-postadress på mpi-sws.org
Chung-Kil HurSeoul National UniversityVerifierad e-postadress på sf.snu.ac.kr
Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesVerifierad e-postadress på cnrs.fr
Hai DangBedRock Systems. IncVerifierad e-postadress på mpi-sws.org
Aaron TuronMPI-SWSVerifierad e-postadress på mpi-sws.org
Jeehoon KangKAIST School of ComputingVerifierad e-postadress på kaist.ac.kr
Michael SammlerMPI-SWSVerifierad e-postadress på mpi-sws.org
Amal AhmedNortheastern UniversityVerifierad e-postadress på ccs.neu.edu
Robert HarperProfessor of Computer Science, Carnegie Mellon UniversityVerifierad e-postadress på andrew.cmu.edu
Aleš BizjakFormerly postdoctoral researcher, Aarhus University, currently software architect at ConcordiumVerifierad e-postadress på alesb.com
Neelakantan R. KrishnaswamiUniversity of CambridgeVerifierad e-postadress på cl.cam.ac.uk
Ori LahavTel Aviv UniversityVerifierad e-postadress på tau.ac.il
Beta ZilianiFAMAF, UNC and Manas.TechVerifierad e-postadress på mpi-sws.org
David SwaseyMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Verifierad e-postadress på mpi-sws.org
Karl CraryCarnegie Mellon UniversityVerifierad e-postadress på cs.cmu.edu
Deepak GargMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Verifierad e-postadress på mpi-sws.org
Aleksandar NanevskiIMDEA Software InstituteVerifierad e-postadress på imdea.org
Följ![Derek Dreyer](https://scholar.googleusercontent.com/citations?view_op=view_photo&user=1_c89uMAAAAJ&citpid=4)
Derek Dreyer
Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus
Verifierad e-postadress på mpi-sws.org - Startsida