รับโปรไฟล์ของฉันเอง
อ้างโดย
ทั้งหมด | ตั้งแต่ปี 2019 | |
---|---|---|
การอ้างอิง | 820 | 740 |
ดัชนี h | 15 | 14 |
ดัชนี i10 | 19 | 18 |
การเข้าถึงแบบสาธารณะ
ดูทั้งหมด25 บทความ
0 บทความ
ใช้งานได้
ใช้ไม่ได้
อิงตามข้อกำหนดในการรับเงินสนับสนุน
ผู้เขียนร่วม
- Lars BirkedalDept. of Computer Science, Aarhus Universityยืนยันอีเมลแล้วที่ cs.au.dk
- Robbert KrebbersAssociate Professor, Radboud University Nijmegenยืนยันอีเมลแล้วที่ cs.ru.nl
- Bart JacobsProfessor of Computer Science, Katholieke Universiteit Leuvenยืนยันอีเมลแล้วที่ cs.kuleuven.be
- Dominique DevrieseKU Leuvenยืนยันอีเมลแล้วที่ kuleuven.be
- Leo StefanescoMPI-SWSยืนยันอีเมลแล้วที่ mpi-sws.org
- Leon GondelmanPost-doctoral researcher, Aarhus University, Denmarkยืนยันอีเมลแล้วที่ cs.au.dk
- Simon Oddershede GregersenPostdoctoral fellow, New York Universityยืนยันอีเมลแล้วที่ nyu.edu
- Aïna Linn GeorgesAarhus Universityยืนยันอีเมลแล้วที่ mpi-sws.org
- Alix TrieuANSSIยืนยันอีเมลแล้วที่ ssi.gouv.fr
- Abel NietoGroqยืนยันอีเมลแล้วที่ groq.com
- Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campusยืนยันอีเมลแล้วที่ mpi-sws.org
- Ralf JungAssistant Professor, ETH Zürichยืนยันอีเมลแล้วที่ inf.ethz.ch
- Rodolphe LepigreMPI-SWSยืนยันอีเมลแล้วที่ mpi-sws.org
- Marianna RapoportUniversity of Waterlooยืนยันอีเมลแล้วที่ uwaterloo.ca
- Sander HuyghebaertVrije Universiteit Brusselยืนยันอีเมลแล้วที่ vub.be
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes Formellesยืนยันอีเมลแล้วที่ normalesup.org
- Arthur CharguéraudInriaยืนยันอีเมลแล้วที่ inria.fr
- Joseph TassarottiAssistant Professor, New York Universityยืนยันอีเมลแล้วที่ nyu.edu
- Matthieu SozeauResarcher, Inria Paris and PPSยืนยันอีเมลแล้วที่ inria.fr
- Paolo G. GiarrussoFormal Methods Engineer, Bedrock Systems Inc.ยืนยันอีเมลแล้วที่ tudelft.nl