Založit si vlastní profil
Veřejný přístup
Zobrazit všechny35 článků
0 článků
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Lars BirkedalDept. of Computer Science, Aarhus UniversityE-mailová adresa ověřena na: cs.au.dk
- Ralf JungAssistant Professor, ETH ZürichE-mailová adresa ověřena na: inf.ethz.ch
- Robbert KrebbersAssociate Professor, Radboud University NijmegenE-mailová adresa ověřena na: cs.ru.nl
- Viktor VafeiadisMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)E-mailová adresa ověřena na: mpi-sws.org
- Chung-Kil HurSeoul National UniversityE-mailová adresa ověřena na: sf.snu.ac.kr
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesE-mailová adresa ověřena na: normalesup.org
- Hai DangBedRock Systems. IncE-mailová adresa ověřena na: mpi-sws.org
- Aaron TuronMPI-SWSE-mailová adresa ověřena na: mpi-sws.org
- Jeehoon KangAssistant Professor of KAIST School of ComputingE-mailová adresa ověřena na: kaist.ac.kr
- Amal AhmedNortheastern UniversityE-mailová adresa ověřena na: ccs.neu.edu
- Robert HarperProfessor of Computer Science, Carnegie Mellon UniversityE-mailová adresa ověřena na: andrew.cmu.edu
- Michael SammlerMPI-SWSE-mailová adresa ověřena na: mpi-sws.org
- Aleš BizjakFormerly postdoctoral researcher, Aarhus University, currently software architect at ConcordiumE-mailová adresa ověřena na: alesb.com
- Neelakantan R. KrishnaswamiUniversity of CambridgeE-mailová adresa ověřena na: cl.cam.ac.uk
- Ori LahavTel Aviv UniversityE-mailová adresa ověřena na: tau.ac.il
- Beta ZilianiFAMAF, UNC and Manas.TechE-mailová adresa ověřena na: mpi-sws.org
- David SwaseyMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)E-mailová adresa ověřena na: mpi-sws.org
- Karl CraryCarnegie Mellon UniversityE-mailová adresa ověřena na: cs.cmu.edu
- Deepak GargMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)E-mailová adresa ověřena na: mpi-sws.org
- Aleksandar NanevskiIMDEA Software InstituteE-mailová adresa ověřena na: imdea.org
Sledovat
Derek Dreyer
Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus
E-mailová adresa ověřena na: mpi-sws.org - Domovská stránka