รับโปรไฟล์ของฉันเอง
อ้างโดย
ทั้งหมด | ตั้งแต่ปี 2019 | |
---|---|---|
การอ้างอิง | 26658 | 10078 |
ดัชนี h | 75 | 45 |
ดัชนี i10 | 276 | 165 |
การเข้าถึงแบบสาธารณะ
ดูทั้งหมด127 บทความ
1 บทความ
ใช้งานได้
ใช้ไม่ได้
อิงตามข้อกำหนดในการรับเงินสนับสนุน
ผู้เขียนร่วม
- Gethin NormanSenior Lecturer of Computing Science, Glasgow University, School of Computing Scienceยืนยันอีเมลแล้วที่ glasgow.ac.uk
- David ParkerProfessor of Computer Science, University of Oxfordยืนยันอีเมลแล้วที่ cs.ox.ac.uk
- Radu CalinescuProfessor of Computer Science, University of Yorkยืนยันอีเมลแล้วที่ york.ac.uk
- Jeremy SprostonAssistant professor, University of Turinยืนยันอีเมลแล้วที่ di.unito.it
- Luca LaurentiTU Delftยืนยันอีเมลแล้วที่ tudelft.nl
- Luca CardelliUniversity of Oxfordยืนยันอีเมลแล้วที่ cs.ox.ac.uk
- Andrea PataneTrinity College Dublinยืนยันอีเมลแล้วที่ tcd.ie
- Vojtěch ForejtDifflblueยืนยันอีเมลแล้วที่ diffblue.com
- Nicola PaolettiDepartment of Informatics, King's College Londonยืนยันอีเมลแล้วที่ kcl.ac.uk
- Taolue ChenDepartment of Computer Science, Birkbeck, University of Londonยืนยันอีเมลแล้วที่ bbk.ac.uk
- Xiaowei HuangProfessor of Computer Science, University of Liverpoolยืนยันอีเมลแล้วที่ liverpool.ac.uk
- Hongyang QuResearch Fellow, University of Sheffieldยืนยันอีเมลแล้วที่ sheffield.ac.uk
- Roberto SegalaUniversità di Veronaยืนยันอีเมลแล้วที่ univr.it
- Christel BaierTU Dresdenยืนยันอีเมลแล้วที่ tu-dresden.de
- Min WuDepartment of Computer Science, Stanford Universityยืนยันอีเมลแล้วที่ stanford.edu
- Matthew WickerImperial College London & The Alan Turing Instituteยืนยันอีเมลแล้วที่ imperial.ac.uk
- Alexandru MereacreNquiringminds Ltdยืนยันอีเมลแล้วที่ nquiringminds.com
- Milan CeskaBrno University of Technologyยืนยันอีเมลแล้วที่ fit.vutbr.cz
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKยืนยันอีเมลแล้วที่ cs.ox.ac.uk
- Frits Dannenbergยืนยันอีเมลแล้วที่ caltech.edu
ติดตาม
Marta Kwiatkowska
Professor of Computing Systems, University of Oxford
ยืนยันอีเมลแล้วที่ comlab.ox.ac.uk - หน้าแรก