รับโปรไฟล์ของฉันเอง
อ้างโดย
ทั้งหมด | ตั้งแต่ปี 2019 | |
---|---|---|
การอ้างอิง | 513 | 453 |
ดัชนี h | 10 | 9 |
ดัชนี i10 | 10 | 9 |
การเข้าถึงแบบสาธารณะ
ดูทั้งหมด7 บทความ
0 บทความ
ใช้งานได้
ใช้ไม่ได้
อิงตามข้อกำหนดในการรับเงินสนับสนุน
ผู้เขียนร่วม
- Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campusยืนยันอีเมลแล้วที่ mpi-sws.org
- Ralf JungAssistant Professor, ETH Zürichยืนยันอีเมลแล้วที่ inf.ethz.ch
- Jeehoon KangAssistant Professor of KAIST School of Computingยืนยันอีเมลแล้วที่ kaist.ac.kr
- Vu NguyenUniversity of Science, Vietnam National University - HCMCยืนยันอีเมลแล้วที่ fit.hcmus.edu.vn
- Viktor VafeiadisMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)ยืนยันอีเมลแล้วที่ mpi-sws.org
- Ori LahavTel Aviv Universityยืนยันอีเมลแล้วที่ tau.ac.il
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes Formellesยืนยันอีเมลแล้วที่ normalesup.org
- Azalea RaadImperial College Londonยืนยันอีเมลแล้วที่ imperial.ac.uk
- Peter O'HearnLacework and University College Londonยืนยันอีเมลแล้วที่ ucl.ac.uk
- Josh BerdineFacebookยืนยันอีเมลแล้วที่ fb.com
- Jules VillardImperial College Londonยืนยันอีเมลแล้วที่ imperial.ac.uk
- Simon SpiesMPI-SWSยืนยันอีเมลแล้วที่ mpi-sws.org
- Thanh-Hai TranConsenSysยืนยันอีเมลแล้วที่ consensys.net
- Michael SammlerMPI-SWSยืนยันอีเมลแล้วที่ mpi-sws.org
- Robbert KrebbersAssociate Professor, Radboud University Nijmegenยืนยันอีเมลแล้วที่ cs.ru.nl
- Jaemin ChoiKAISTยืนยันอีเมลแล้วที่ kaist.ac.kr
- William ManskyAssistant Professor, University of Illinois at Chicagoยืนยันอีเมลแล้วที่ uic.edu