Obter o meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 16066 | 6761 |
Índice h | 61 | 38 |
Índice i10 | 207 | 123 |
Acesso público
Ver tudo61 artigos
1 artigo
disponível
não disponível
Com base em autorizações de financiamento
Coautores
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityEmail confirmado em cs.cmu.edu
Ofer StrichmanTechnion, Haifa, IsraelEmail confirmado em ie.technion.ac.il
Natasha SharyginaProfessor of Computer Science, Universita della Svizzera Italiana (USI), Lugano, SwitzerlandEmail confirmado em usi.ch
Georg WeissenbacherProfessor of Computer Science, TU WienEmail confirmado em tuwien.ac.at
Alessandro AbateProfessor of Verification and Control, University of Oxford, UKEmail confirmado em cs.ox.ac.uk
Thomas WahlNortheastern University, Boston, USAEmail confirmado em northeastern.edu
Michael TautschnigQueen Mary University of LondonEmail confirmado em qmul.ac.uk
Tom MelhamProfessor of Computer Science, University of OxfordEmail confirmado em cs.ox.ac.uk
Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of SussexEmail confirmado em diffblue.com
Youcheng SunLecturer, University of ManchesterEmail confirmado em manchester.ac.uk
Philipp RuemmerProfessor in Computer Science, University of RegensburgEmail confirmado em ur.de
Vijay D'SilvaGoogle Inc.Email confirmado em google.com
Cristina DavidUniversity of BristolEmail confirmado em bristol.ac.uk
Martin BrainCity, University of LondonEmail confirmado em city.ac.uk
Alastair DonaldsonImperial College LondonEmail confirmado em imperial.ac.uk
Leopold HallerGoogleEmail confirmado em google.com
Pascal KesseliDiffblue Ltd.Email confirmado em diffblue.com
Hana ChocklerKing's College LondonEmail confirmado em kcl.ac.uk
Christoph M. WintersteigerImandraEmail confirmado em imandra.ai
Alexander KaiserUniversity of OxfordEmail confirmado em cs.ox.ac.uk