Få min egen profil
Citeret af
Alle | Siden 2019 | |
---|---|---|
Henvisninger | 5917 | 3752 |
h-index | 41 | 34 |
i10-indeks | 65 | 55 |
Offentlig adgang
Se alle35 artikler
0 artikler
tilgængelige
ikke tilgængelige
Baseret på krav i forbindelse med finansiering
Medforfattere
- Lars BirkedalDept. of Computer Science, Aarhus UniversityVerificeret mail på cs.au.dk
- Ralf JungAssistant Professor, ETH ZürichVerificeret mail på inf.ethz.ch
- Robbert KrebbersAssociate Professor, Radboud University NijmegenVerificeret mail på cs.ru.nl
- Viktor VafeiadisMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Verificeret mail på mpi-sws.org
- Chung-Kil HurSeoul National UniversityVerificeret mail på sf.snu.ac.kr
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesVerificeret mail på normalesup.org
- Hai DangBedRock Systems. IncVerificeret mail på mpi-sws.org
- Aaron TuronMPI-SWSVerificeret mail på mpi-sws.org
- Jeehoon KangAssistant Professor of KAIST School of ComputingVerificeret mail på kaist.ac.kr
- Amal AhmedNortheastern UniversityVerificeret mail på ccs.neu.edu
- Michael SammlerMPI-SWSVerificeret mail på mpi-sws.org
- Robert HarperProfessor of Computer Science, Carnegie Mellon UniversityVerificeret mail på andrew.cmu.edu
- Aleš BizjakFormerly postdoctoral researcher, Aarhus University, currently software architect at ConcordiumVerificeret mail på alesb.com
- Neelakantan R. KrishnaswamiUniversity of CambridgeVerificeret mail på cl.cam.ac.uk
- Ori LahavTel Aviv UniversityVerificeret mail på tau.ac.il
- Beta ZilianiFAMAF, UNC and Manas.TechVerificeret mail på mpi-sws.org
- David SwaseyMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Verificeret mail på mpi-sws.org
- Karl CraryCarnegie Mellon UniversityVerificeret mail på cs.cmu.edu
- Deepak GargMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Verificeret mail på mpi-sws.org
- Aleksandar NanevskiIMDEA Software InstituteVerificeret mail på imdea.org
Følg
Derek Dreyer
Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus
Verificeret mail på mpi-sws.org - Startside