Få min egen profil
Citeret af
Alle | Siden 2019 | |
---|---|---|
Henvisninger | 15667 | 6331 |
h-index | 60 | 36 |
i10-indeks | 201 | 118 |
Offentlig adgang
Se alle61 artikler
1 artikel
tilgængelige
ikke tilgængelige
Baseret på krav i forbindelse med finansiering
Medforfattere
- Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityVerificeret mail på cs.cmu.edu
- Ofer StrichmanTechnion, Haifa, IsraelVerificeret mail på ie.technion.ac.il
- Natasha SharyginaProfessor of Computer Science, Universita della Svizzera Italiana (USI), Lugano, SwitzerlandVerificeret mail på usi.ch
- Georg WeissenbacherProfessor of Computer Science, TU WienVerificeret mail på tuwien.ac.at
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKVerificeret mail på cs.ox.ac.uk
- Thomas WahlNortheastern University, Boston, USAVerificeret mail på northeastern.edu
- Michael TautschnigQueen Mary University of LondonVerificeret mail på qmul.ac.uk
- Tom MelhamProfessor of Computer Science, University of OxfordVerificeret mail på cs.ox.ac.uk
- Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of SussexVerificeret mail på diffblue.com
- Youcheng SunLecturer, University of ManchesterVerificeret mail på manchester.ac.uk
- Philipp RuemmerProfessor in Computer Science, University of RegensburgVerificeret mail på ur.de
- Vijay D'SilvaGoogle Inc.Verificeret mail på google.com
- Cristina DavidUniversity of BristolVerificeret mail på bristol.ac.uk
- Martin BrainCity, University of LondonVerificeret mail på city.ac.uk
- Alastair DonaldsonImperial College LondonVerificeret mail på imperial.ac.uk
- Leopold HallerGoogleVerificeret mail på google.com
- Pascal KesseliDiffblue Ltd.Verificeret mail på diffblue.com
- Hana ChocklerKing's College LondonVerificeret mail på kcl.ac.uk
- Christoph M. WintersteigerImandraVerificeret mail på imandra.ai
- Alexander KaiserUniversity of OxfordVerificeret mail på cs.ox.ac.uk