Отримати власний профіль
Посилання
Усі | З 2019 | |
---|---|---|
Цитування | 15623 | 6287 |
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