Creați-vă propriul profil
Citat de
Toate | Din 2019 | |
---|---|---|
Referințe bibliografice | 5889 | 3723 |
h-index | 41 | 34 |
i10-index | 64 | 54 |
Acces public
Afișați-le pe toate35 de articole
0 articole
disponibile
indisponibile
Pe baza cerințelor privind finanțarea
Coautori
- Lars BirkedalDept. of Computer Science, Aarhus UniversityAdresă de e-mail confirmată pe cs.au.dk
- Ralf JungAssistant Professor, ETH ZürichAdresă de e-mail confirmată pe inf.ethz.ch
- Robbert KrebbersAssociate Professor, Radboud University NijmegenAdresă de e-mail confirmată pe cs.ru.nl
- Viktor VafeiadisMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Adresă de e-mail confirmată pe mpi-sws.org
- Chung-Kil HurSeoul National UniversityAdresă de e-mail confirmată pe sf.snu.ac.kr
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesAdresă de e-mail confirmată pe normalesup.org
- Hai DangBedRock Systems. IncAdresă de e-mail confirmată pe mpi-sws.org
- Aaron TuronMPI-SWSAdresă de e-mail confirmată pe mpi-sws.org
- Jeehoon KangAssistant Professor of KAIST School of ComputingAdresă de e-mail confirmată pe kaist.ac.kr
- Amal AhmedNortheastern UniversityAdresă de e-mail confirmată pe ccs.neu.edu
- Michael SammlerMPI-SWSAdresă de e-mail confirmată pe mpi-sws.org
- Robert HarperProfessor of Computer Science, Carnegie Mellon UniversityAdresă de e-mail confirmată pe andrew.cmu.edu
- Aleą BizjakFormerly postdoctoral researcher, Aarhus University, currently software architect at ConcordiumAdresă de e-mail confirmată pe alesb.com
- Neelakantan R. KrishnaswamiUniversity of CambridgeAdresă de e-mail confirmată pe cl.cam.ac.uk
- Ori LahavTel Aviv UniversityAdresă de e-mail confirmată pe tau.ac.il
- Beta ZilianiFAMAF, UNC and Manas.TechAdresă de e-mail confirmată pe mpi-sws.org
- David SwaseyMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Adresă de e-mail confirmată pe mpi-sws.org
- Karl CraryCarnegie Mellon UniversityAdresă de e-mail confirmată pe cs.cmu.edu
- Deepak GargMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Adresă de e-mail confirmată pe mpi-sws.org
- Aleksandar NanevskiIMDEA Software InstituteAdresă de e-mail confirmată pe imdea.org
Urmăriți
Derek Dreyer
Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus
Adresă de e-mail confirmată pe mpi-sws.org - Pagina de pornire