รับโปรไฟล์ของฉันเอง
อ้างโดย
ทั้งหมด | ตั้งแต่ปี 2019 | |
---|---|---|
การอ้างอิง | 15686 | 6351 |
ดัชนี h | 60 | 36 |
ดัชนี i10 | 201 | 118 |
การเข้าถึงแบบสาธารณะ
ดูทั้งหมด61 บทความ
1 บทความ
ใช้งานได้
ใช้ไม่ได้
อิงตามข้อกำหนดในการรับเงินสนับสนุน
ผู้เขียนร่วม
- Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon Universityยืนยันอีเมลแล้วที่ cs.cmu.edu
- Ofer StrichmanTechnion, Haifa, Israelยืนยันอีเมลแล้วที่ ie.technion.ac.il
- Natasha SharyginaProfessor of Computer Science, Universita della Svizzera Italiana (USI), Lugano, Switzerlandยืนยันอีเมลแล้วที่ usi.ch
- Georg WeissenbacherProfessor of Computer Science, TU Wienยืนยันอีเมลแล้วที่ tuwien.ac.at
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKยืนยันอีเมลแล้วที่ cs.ox.ac.uk
- Thomas WahlNortheastern University, Boston, USAยืนยันอีเมลแล้วที่ northeastern.edu
- Michael TautschnigQueen Mary University of Londonยืนยันอีเมลแล้วที่ qmul.ac.uk
- Tom MelhamProfessor of Computer Science, University of Oxfordยืนยันอีเมลแล้วที่ cs.ox.ac.uk
- Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of Sussexยืนยันอีเมลแล้วที่ diffblue.com
- Youcheng SunLecturer, University of Manchesterยืนยันอีเมลแล้วที่ manchester.ac.uk
- Philipp RuemmerProfessor in Computer Science, University of Regensburgยืนยันอีเมลแล้วที่ ur.de
- Vijay D'SilvaGoogle Inc.ยืนยันอีเมลแล้วที่ google.com
- Cristina DavidUniversity of Bristolยืนยันอีเมลแล้วที่ bristol.ac.uk
- Martin BrainCity, University of Londonยืนยันอีเมลแล้วที่ city.ac.uk
- Alastair DonaldsonImperial College Londonยืนยันอีเมลแล้วที่ imperial.ac.uk
- Leopold HallerGoogleยืนยันอีเมลแล้วที่ google.com
- Pascal KesseliDiffblue Ltd.ยืนยันอีเมลแล้วที่ diffblue.com
- Hana ChocklerKing's College Londonยืนยันอีเมลแล้วที่ kcl.ac.uk
- Christoph M. WintersteigerImandraยืนยันอีเมลแล้วที่ imandra.ai
- Alexander KaiserUniversity of Oxfordยืนยันอีเมลแล้วที่ cs.ox.ac.uk