Obtenir mon propre profil
Citée par
Toutes | Depuis 2019 | |
---|---|---|
Citations | 15607 | 6273 |
indice h | 60 | 36 |
indice i10 | 201 | 118 |
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. WintersteigerMicrosoft ResearchAdresse e-mail validée de microsoft.com
- Alexander KaiserUniversity of OxfordAdresse e-mail validée de cs.ox.ac.uk