Crear mi propio perfil
Citado por
Total | Desde 2019 | |
---|---|---|
Citas | 16066 | 6761 |
Índice h | 61 | 38 |
Índice i10 | 207 | 123 |
Acceso público
Ver todo61 artículos
1 artículo
disponibles
no disponibles
Basado en requisitos de financiación
Coautores
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityDirección de correo verificada de cs.cmu.edu
Ofer StrichmanTechnion, Haifa, IsraelDirección de correo verificada de ie.technion.ac.il
Natasha SharyginaProfessor of Computer Science, Universita della Svizzera Italiana (USI), Lugano, SwitzerlandDirección de correo verificada de usi.ch
Georg WeissenbacherProfessor of Computer Science, TU WienDirección de correo verificada de tuwien.ac.at
Alessandro AbateProfessor of Verification and Control, University of Oxford, UKDirección de correo verificada de cs.ox.ac.uk
Thomas WahlNortheastern University, Boston, USADirección de correo verificada de northeastern.edu
Michael TautschnigQueen Mary University of LondonDirección de correo verificada de qmul.ac.uk
Tom MelhamProfessor of Computer Science, University of OxfordDirección de correo verificada de cs.ox.ac.uk
Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of SussexDirección de correo verificada de diffblue.com
Youcheng SunLecturer, University of ManchesterDirección de correo verificada de manchester.ac.uk
Philipp RuemmerProfessor in Computer Science, University of RegensburgDirección de correo verificada de ur.de
Vijay D'SilvaGoogle Inc.Dirección de correo verificada de google.com
Cristina DavidUniversity of BristolDirección de correo verificada de bristol.ac.uk
Martin BrainCity, University of LondonDirección de correo verificada de city.ac.uk
Alastair DonaldsonImperial College LondonDirección de correo verificada de imperial.ac.uk
Leopold HallerGoogleDirección de correo verificada de google.com
Pascal KesseliDiffblue Ltd.Dirección de correo verificada de diffblue.com
Hana ChocklerKing's College LondonDirección de correo verificada de kcl.ac.uk
Christoph M. WintersteigerImandraDirección de correo verificada de imandra.ai
Alexander KaiserUniversity of OxfordDirección de correo verificada de cs.ox.ac.uk