Создать свой профиль
Процитировано
Все | Начиная с 2019 г. | |
---|---|---|
Статистика цитирования | 15618 | 6281 |
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
Подписаться
Daniel Kroening
Подтвержден адрес электронной почты в домене amazon.com - Главная страница