Buat profil saya
Dikutip oleh
Semua | Sejak 2019 | |
---|---|---|
Kutipan | 15650 | 6316 |
indeks-h | 60 | 36 |
indeks-i10 | 201 | 118 |
Akses publik
Lihat semua61 artikel
1 artikel
tersedia
tidak tersedia
Berdasarkan pada mandat pendanaan
Pengarang bersama
- Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityEmail yang diverifikasi di cs.cmu.edu
- Ofer StrichmanTechnion, Haifa, IsraelEmail yang diverifikasi di ie.technion.ac.il
- Natasha SharyginaProfessor of Computer Science, Universita della Svizzera Italiana (USI), Lugano, SwitzerlandEmail yang diverifikasi di usi.ch
- Georg WeissenbacherProfessor of Computer Science, TU WienEmail yang diverifikasi di tuwien.ac.at
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKEmail yang diverifikasi di cs.ox.ac.uk
- Thomas WahlNortheastern University, Boston, USAEmail yang diverifikasi di northeastern.edu
- Michael TautschnigQueen Mary University of LondonEmail yang diverifikasi di qmul.ac.uk
- Tom MelhamProfessor of Computer Science, University of OxfordEmail yang diverifikasi di cs.ox.ac.uk
- Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of SussexEmail yang diverifikasi di diffblue.com
- Youcheng SunLecturer, University of ManchesterEmail yang diverifikasi di manchester.ac.uk
- Philipp RuemmerProfessor in Computer Science, University of RegensburgEmail yang diverifikasi di ur.de
- Vijay D'SilvaGoogle Inc.Email yang diverifikasi di google.com
- Cristina DavidUniversity of BristolEmail yang diverifikasi di bristol.ac.uk
- Martin BrainCity, University of LondonEmail yang diverifikasi di city.ac.uk
- Alastair DonaldsonImperial College LondonEmail yang diverifikasi di imperial.ac.uk
- Leopold HallerGoogleEmail yang diverifikasi di google.com
- Pascal KesseliDiffblue Ltd.Email yang diverifikasi di diffblue.com
- Hana ChocklerKing's College LondonEmail yang diverifikasi di kcl.ac.uk
- Christoph M. WintersteigerImandraEmail yang diverifikasi di imandra.ai
- Alexander KaiserUniversity of OxfordEmail yang diverifikasi di cs.ox.ac.uk