รับโปรไฟล์ของฉันเอง
อ้างโดย
ทั้งหมด | ตั้งแต่ปี 2019 | |
---|---|---|
การอ้างอิง | 2122 | 1845 |
ดัชนี h | 15 | 15 |
ดัชนี i10 | 17 | 17 |
การเข้าถึงแบบสาธารณะ
ดูทั้งหมด17 บทความ
0 บทความ
ใช้งานได้
ใช้ไม่ได้
อิงตามข้อกำหนดในการรับเงินสนับสนุน
ผู้เขียนร่วม
- Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campusยืนยันอีเมลแล้วที่ mpi-sws.org
- Robbert KrebbersAssociate Professor, Radboud University Nijmegenยืนยันอีเมลแล้วที่ cs.ru.nl
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes Formellesยืนยันอีเมลแล้วที่ normalesup.org
- Lars BirkedalDept. of Computer Science, Aarhus Universityยืนยันอีเมลแล้วที่ cs.au.dk
- Joseph TassarottiAssistant Professor, New York Universityยืนยันอีเมลแล้วที่ nyu.edu
- Aleš BizjakFormerly postdoctoral researcher, Aarhus University, currently software architect at Concordiumยืนยันอีเมลแล้วที่ alesb.com
- David SwaseyMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)ยืนยันอีเมลแล้วที่ mpi-sws.org
- Hai DangBedRock Systems. Incยืนยันอีเมลแล้วที่ mpi-sws.org
- Jeehoon KangAssistant Professor of KAIST School of Computingยืนยันอีเมลแล้วที่ kaist.ac.kr
- Filip SieczkowskiHeriot-Watt Universityยืนยันอีเมลแล้วที่ hw.ac.uk
- Aaron TuronMPI-SWSยืนยันอีเมลแล้วที่ mpi-sws.org
- Kasper SvendsenDepartment of Computer Science, Aarhus Universityยืนยันอีเมลแล้วที่ itu.dk
- Amin TimanyAarhus Universityยืนยันอีเมลแล้วที่ cs.au.dk
- Nickolai Zeldovichยืนยันอีเมลแล้วที่ csail.mit.edu
- Frans KaashoekMassuchesetts Institute of Technology (MIT)ยืนยันอีเมลแล้วที่ mit.edu
- Simon SpiesMPI-SWSยืนยันอีเมลแล้วที่ mpi-sws.org
- Arthur CharguéraudInriaยืนยันอีเมลแล้วที่ inria.fr
- Michael SammlerMPI-SWSยืนยันอีเมลแล้วที่ mpi-sws.org
- John RegehrProfessor, School of Computing, University of Utahยืนยันอีเมลแล้วที่ cs.utah.edu
- Zhengyang LiuUniversity of Utahยืนยันอีเมลแล้วที่ cs.utah.edu