Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 15607 | 6273 |
h-indeks | 60 | 36 |
i10-indeks | 201 | 118 |
Dostęp publiczny
Wyświetl wszystko61 artykułów
1 artykuł
dostępne
niedostępne
Objęte finansowaniem
Współautorzy
- Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityZweryfikowany adres z cs.cmu.edu
- Ofer StrichmanTechnion, Haifa, IsraelZweryfikowany adres z ie.technion.ac.il
- Natasha SharyginaProfessor of Computer Science, Universita della Svizzera Italiana (USI), Lugano, SwitzerlandZweryfikowany adres z usi.ch
- Georg WeissenbacherProfessor of Computer Science, TU WienZweryfikowany adres z tuwien.ac.at
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKZweryfikowany adres z cs.ox.ac.uk
- Thomas WahlNortheastern University, Boston, USAZweryfikowany adres z northeastern.edu
- Michael TautschnigQueen Mary University of LondonZweryfikowany adres z qmul.ac.uk
- Tom MelhamProfessor of Computer Science, University of OxfordZweryfikowany adres z cs.ox.ac.uk
- Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of SussexZweryfikowany adres z diffblue.com
- Youcheng SunLecturer, University of ManchesterZweryfikowany adres z manchester.ac.uk
- Philipp RuemmerProfessor in Computer Science, University of RegensburgZweryfikowany adres z ur.de
- Vijay D'SilvaGoogle Inc.Zweryfikowany adres z google.com
- Cristina DavidUniversity of BristolZweryfikowany adres z bristol.ac.uk
- Martin BrainCity, University of LondonZweryfikowany adres z city.ac.uk
- Alastair DonaldsonImperial College LondonZweryfikowany adres z imperial.ac.uk
- Leopold HallerGoogleZweryfikowany adres z google.com
- Pascal KesseliDiffblue Ltd.Zweryfikowany adres z diffblue.com
- Hana ChocklerKing's College LondonZweryfikowany adres z kcl.ac.uk
- Christoph M. WintersteigerMicrosoft ResearchZweryfikowany adres z microsoft.com
- Alexander KaiserUniversity of OxfordZweryfikowany adres z cs.ox.ac.uk