अपनी एक प्रोफ़ाइल पाएं
इन्होंने कहा
सभी | 2019 से | |
---|---|---|
उद्धरण | 5889 | 3723 |
h-अनुक्रमणिका | 41 | 34 |
i10-अनुक्रमणिका | 64 | 54 |
सार्वजनिक ऐक्सेस
सभी देखें35 लेख
0 लेख
उपलब्ध
उपलब्ध नहीं
धन के अधिदेशों पर आधारित
सह-लेखक
- Lars BirkedalDept. of Computer Science, Aarhus Universitycs.au.dk पर सत्यापित ईमेल
- Ralf JungAssistant Professor, ETH Zürichinf.ethz.ch पर सत्यापित ईमेल
- Robbert KrebbersAssociate Professor, Radboud University Nijmegencs.ru.nl पर सत्यापित ईमेल
- Viktor VafeiadisMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)mpi-sws.org पर सत्यापित ईमेल
- Chung-Kil HurSeoul National Universitysf.snu.ac.kr पर सत्यापित ईमेल
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes Formellesnormalesup.org पर सत्यापित ईमेल
- Hai DangBedRock Systems. Incmpi-sws.org पर सत्यापित ईमेल
- Aaron TuronMPI-SWSmpi-sws.org पर सत्यापित ईमेल
- Jeehoon KangAssistant Professor of KAIST School of Computingkaist.ac.kr पर सत्यापित ईमेल
- Amal AhmedNortheastern Universityccs.neu.edu पर सत्यापित ईमेल
- Michael SammlerMPI-SWSmpi-sws.org पर सत्यापित ईमेल
- Robert HarperProfessor of Computer Science, Carnegie Mellon Universityandrew.cmu.edu पर सत्यापित ईमेल
- Aleš BizjakFormerly postdoctoral researcher, Aarhus University, currently software architect at Concordiumalesb.com पर सत्यापित ईमेल
- Neelakantan R. KrishnaswamiUniversity of Cambridgecl.cam.ac.uk पर सत्यापित ईमेल
- Ori LahavTel Aviv Universitytau.ac.il पर सत्यापित ईमेल
- Beta ZilianiFAMAF, UNC and Manas.Techmpi-sws.org पर सत्यापित ईमेल
- David SwaseyMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)mpi-sws.org पर सत्यापित ईमेल
- Karl CraryCarnegie Mellon Universitycs.cmu.edu पर सत्यापित ईमेल
- Deepak GargMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)mpi-sws.org पर सत्यापित ईमेल
- Aleksandar NanevskiIMDEA Software Instituteimdea.org पर सत्यापित ईमेल
अनुसरण करें
Derek Dreyer
Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus
mpi-sws.org पर सत्यापित ईमेल - मुख्यपृष्ठ