Skaff deg en Google Scholar-profil
Sitert av
Alle | Siden 2019 | |
---|---|---|
Sitater | 5877 | 3711 |
h-indeks | 41 | 34 |
i10-indeks | 64 | 54 |
Offentlig tilgang
Vis alle35 artikler
0 artikler
tilgjengelige
ikke tilgjengelige
Basert på finansieringsmandater
Medforfattere
- Lars BirkedalDept. of Computer Science, Aarhus UniversityVerifisert e-postadresse på cs.au.dk
- Ralf JungAssistant Professor, ETH ZürichVerifisert e-postadresse på inf.ethz.ch
- Robbert KrebbersAssociate Professor, Radboud University NijmegenVerifisert e-postadresse på cs.ru.nl
- Viktor VafeiadisMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Verifisert e-postadresse på mpi-sws.org
- Chung-Kil HurSeoul National UniversityVerifisert e-postadresse på sf.snu.ac.kr
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesVerifisert e-postadresse på normalesup.org
- Hai DangBedRock Systems. IncVerifisert e-postadresse på mpi-sws.org
- Aaron TuronMPI-SWSVerifisert e-postadresse på mpi-sws.org
- Jeehoon KangAssistant Professor of KAIST School of ComputingVerifisert e-postadresse på kaist.ac.kr
- Amal AhmedNortheastern UniversityVerifisert e-postadresse på ccs.neu.edu
- Robert HarperProfessor of Computer Science, Carnegie Mellon UniversityVerifisert e-postadresse på andrew.cmu.edu
- Michael SammlerMPI-SWSVerifisert e-postadresse på mpi-sws.org
- Aleš BizjakFormerly postdoctoral researcher, Aarhus University, currently software architect at ConcordiumVerifisert e-postadresse på alesb.com
- Neelakantan R. KrishnaswamiUniversity of CambridgeVerifisert e-postadresse på cl.cam.ac.uk
- Ori LahavTel Aviv UniversityVerifisert e-postadresse på tau.ac.il
- Beta ZilianiFAMAF, UNC and Manas.TechVerifisert e-postadresse på mpi-sws.org
- David SwaseyMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Verifisert e-postadresse på mpi-sws.org
- Karl CraryCarnegie Mellon UniversityVerifisert e-postadresse på cs.cmu.edu
- Deepak GargMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Verifisert e-postadresse på mpi-sws.org
- Aleksandar NanevskiIMDEA Software InstituteVerifisert e-postadresse på imdea.org
Følg
Derek Dreyer
Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus
Verifisert e-postadresse på mpi-sws.org - Startside