Crear mi propio perfil
Citado por
Total | Desde 2020 | |
---|---|---|
Citas | 16886 | 6681 |
Índice h | 63 | 37 |
Índice i10 | 209 | 119 |
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
Michael TautschnigQueen Mary University of LondonDirección de correo verificada de qmul.ac.uk
Youcheng SunLecturer, University of ManchesterDirección de correo verificada de manchester.ac.uk
Tom MelhamProfessor of Computer Science, University of OxfordDirección de correo verificada de cs.ox.ac.uk
Thomas WahlNortheastern University, Boston, USADirección de correo verificada de northeastern.edu
Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of SussexDirección de correo verificada de diffblue.com
Cristina DavidUniversity of BristolDirección de correo verificada de bristol.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
Martin BrainCity, University of LondonDirección de correo verificada de city.ac.uk
Pascal KesseliDiffblue Ltd.Dirección de correo verificada de diffblue.com
Alastair DonaldsonImperial College LondonDirección de correo verificada de imperial.ac.uk
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
Matt LewisComputer Science Department, University of OxfordDirección de correo verificada de cs.ox.ac.uk