รับโปรไฟล์ของฉันเอง
อ้างโดย
ทั้งหมด | ตั้งแต่ปี 2019 | |
---|---|---|
การอ้างอิง | 923 | 528 |
ดัชนี h | 18 | 13 |
ดัชนี i10 | 27 | 19 |
การเข้าถึงแบบสาธารณะ
ดูทั้งหมด13 บทความ
1 บทความ
ใช้งานได้
ใช้ไม่ได้
อิงตามข้อกำหนดในการรับเงินสนับสนุน
ผู้เขียนร่วม
- Daniel KroeningAmazonยืนยันอีเมลแล้วที่ amazon.com
- Michael TautschnigQueen Mary University of Londonยืนยันอีเมลแล้วที่ qmul.ac.uk
- Martin BrainCity, University of Londonยืนยันอีเมลแล้วที่ city.ac.uk
- Lucas C. CordeiroReader, Dept of Computer Science, University of Manchesterยืนยันอีเมลแล้วที่ manchester.ac.uk
- Tom MelhamProfessor of Computer Science, University of Oxfordยืนยันอีเมลแล้วที่ cs.ox.ac.uk
- Cristina DavidUniversity of Bristolยืนยันอีเมลแล้วที่ bristol.ac.uk
- Tomas VojnarFIT, Brno University of Technologyยืนยันอีเมลแล้วที่ fit.vutbr.cz
- Viktor MalikPhD. student, Brno University of Technlogyยืนยันอีเมลแล้วที่ fit.vutbr.cz
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKยืนยันอีเมลแล้วที่ cs.ox.ac.uk
- Pascal KesseliDiffblue Ltd.ยืนยันอีเมลแล้วที่ diffblue.com
- Saurabh JoshiSupraOraclesยืนยันอีเมลแล้วที่ cse.iith.ac.in
- Ruben MartinsCarnegie Mellon Universityยืนยันอีเมลแล้วที่ cs.cmu.edu
- Tino TeigeChief Research Engineer Innovation & Technology, BTC Embedded Systems AGยืนยันอีเมลแล้วที่ btc-es.de
- Sriram SankaranarayananProfessor of Computer Science, University of Colorado Boulderยืนยันอีเมลแล้วที่ colorado.edu
- Laure GonnordUniversity of Lyon - LIPยืนยันอีเมลแล้วที่ ens-lyon.fr
- Gennaro ParlatoFull Professor of Computer Science, University of Molise, Italyยืนยันอีเมลแล้วที่ unimol.it
- Bernd FischerComputer Science Division, Stellenbosch Universityยืนยันอีเมลแล้วที่ cs.sun.ac.za
- Salvatore La TorreUniversità degli Studi di Salernoยืนยันอีเมลแล้วที่ unisa.it
- David MonniauxResearcher in computer science, CNRS, VERIMAGยืนยันอีเมลแล้วที่ univ-grenoble-alpes.fr
- RAJDEEP MUKHERJEEAmazonยืนยันอีเมลแล้วที่ amazon.com