Crear mi propio perfil
Citado por
Total | Desde 2019 | |
---|---|---|
Citas | 15636 | 6300 |
Índice h | 60 | 36 |
Índice i10 | 201 | 118 |
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