Saját profil készítése
Hivatkozott rá
Összes | 2019 óta | |
---|---|---|
Hivatkozások | 15611 | 6277 |
h-index | 60 | 36 |
i10-index | 201 | 118 |
Nyilvános hozzáférés
Összes megtekintése61 cikk
1 cikk
elérhető
nem érhető el
Finanszírozási megbízások alapján
Társszerzők
- Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityE-mail megerősítve itt: cs.cmu.edu
- Ofer StrichmanTechnion, Haifa, IsraelE-mail megerősítve itt: ie.technion.ac.il
- Natasha SharyginaProfessor of Computer Science, Universita della Svizzera Italiana (USI), Lugano, SwitzerlandE-mail megerősítve itt: usi.ch
- Georg WeissenbacherProfessor of Computer Science, TU WienE-mail megerősítve itt: tuwien.ac.at
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKE-mail megerősítve itt: cs.ox.ac.uk
- Thomas WahlNortheastern University, Boston, USAE-mail megerősítve itt: northeastern.edu
- Michael TautschnigQueen Mary University of LondonE-mail megerősítve itt: qmul.ac.uk
- Tom MelhamProfessor of Computer Science, University of OxfordE-mail megerősítve itt: cs.ox.ac.uk
- Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of SussexE-mail megerősítve itt: diffblue.com
- Youcheng SunLecturer, University of ManchesterE-mail megerősítve itt: manchester.ac.uk
- Philipp RuemmerProfessor in Computer Science, University of RegensburgE-mail megerősítve itt: ur.de
- Vijay D'SilvaGoogle Inc.E-mail megerősítve itt: google.com
- Cristina DavidUniversity of BristolE-mail megerősítve itt: bristol.ac.uk
- Martin BrainCity, University of LondonE-mail megerősítve itt: city.ac.uk
- Alastair DonaldsonImperial College LondonE-mail megerősítve itt: imperial.ac.uk
- Leopold HallerGoogleE-mail megerősítve itt: google.com
- Pascal KesseliDiffblue Ltd.E-mail megerősítve itt: diffblue.com
- Hana ChocklerKing's College LondonE-mail megerősítve itt: kcl.ac.uk
- Christoph M. WintersteigerImandraE-mail megerősítve itt: imandra.ai
- Alexander KaiserUniversity of OxfordE-mail megerősítve itt: cs.ox.ac.uk