Crea il mio profilo
Accesso pubblico
Visualizza tutto35 articoli
0 articoli
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
- Lars BirkedalDept. of Computer Science, Aarhus UniversityEmail verificata su cs.au.dk
- Ralf JungAssistant Professor, ETH ZürichEmail verificata su inf.ethz.ch
- Robbert KrebbersAssociate Professor, Radboud University NijmegenEmail verificata su cs.ru.nl
- Viktor VafeiadisMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Email verificata su mpi-sws.org
- Chung-Kil HurSeoul National UniversityEmail verificata su sf.snu.ac.kr
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesEmail verificata su normalesup.org
- Hai DangBedRock Systems. IncEmail verificata su mpi-sws.org
- Aaron TuronMPI-SWSEmail verificata su mpi-sws.org
- Jeehoon KangAssistant Professor of KAIST School of ComputingEmail verificata su kaist.ac.kr
- Amal AhmedNortheastern UniversityEmail verificata su ccs.neu.edu
- Robert HarperProfessor of Computer Science, Carnegie Mellon UniversityEmail verificata su andrew.cmu.edu
- Michael SammlerMPI-SWSEmail verificata su mpi-sws.org
- Aleš BizjakFormerly postdoctoral researcher, Aarhus University, currently software architect at ConcordiumEmail verificata su alesb.com
- Neelakantan R. KrishnaswamiUniversity of CambridgeEmail verificata su cl.cam.ac.uk
- Ori LahavTel Aviv UniversityEmail verificata su tau.ac.il
- Beta ZilianiFAMAF, UNC and Manas.TechEmail verificata su mpi-sws.org
- David SwaseyMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Email verificata su mpi-sws.org
- Karl CraryCarnegie Mellon UniversityEmail verificata su cs.cmu.edu
- Deepak GargMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Email verificata su mpi-sws.org
- Aleksandar NanevskiIMDEA Software InstituteEmail verificata su imdea.org
Segui
Derek Dreyer
Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus
Email verificata su mpi-sws.org - Home page