Obtenir mon propre profil
Citée par
Toutes | Depuis 2019 | |
---|---|---|
Citations | 16066 | 6761 |
indice h | 61 | 38 |
indice i10 | 207 | 123 |
Accès public
Tout afficher61 articles
1 article
disponibles
non disponibles
Sur la base des exigences liées au financement
Coauteurs
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityAdresse e-mail validée de cs.cmu.edu
Ofer StrichmanTechnion, Haifa, IsraelAdresse e-mail validée de ie.technion.ac.il
Natasha SharyginaProfessor of Computer Science, Universita della Svizzera Italiana (USI), Lugano, SwitzerlandAdresse e-mail validée de usi.ch
Georg WeissenbacherProfessor of Computer Science, TU WienAdresse e-mail validée de tuwien.ac.at
Alessandro AbateProfessor of Verification and Control, University of Oxford, UKAdresse e-mail validée de cs.ox.ac.uk
Thomas WahlNortheastern University, Boston, USAAdresse e-mail validée de northeastern.edu
Michael TautschnigQueen Mary University of LondonAdresse e-mail validée de qmul.ac.uk
Tom MelhamProfessor of Computer Science, University of OxfordAdresse e-mail validée de cs.ox.ac.uk
Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of SussexAdresse e-mail validée de diffblue.com
Youcheng SunLecturer, University of ManchesterAdresse e-mail validée de manchester.ac.uk
Philipp RuemmerProfessor in Computer Science, University of RegensburgAdresse e-mail validée de ur.de
Vijay D'SilvaGoogle Inc.Adresse e-mail validée de google.com
Cristina DavidUniversity of BristolAdresse e-mail validée de bristol.ac.uk
Martin BrainCity, University of LondonAdresse e-mail validée de city.ac.uk
Alastair DonaldsonImperial College LondonAdresse e-mail validée de imperial.ac.uk
Leopold HallerGoogleAdresse e-mail validée de google.com
Pascal KesseliDiffblue Ltd.Adresse e-mail validée de diffblue.com
Hana ChocklerKing's College LondonAdresse e-mail validée de kcl.ac.uk
Christoph M. WintersteigerImandraAdresse e-mail validée de imandra.ai
Alexander KaiserUniversity of OxfordAdresse e-mail validée de cs.ox.ac.uk