Получаване на мой собствен потребителски профил
Позовавания
Всички | От 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