Obter o meu próprio perfil
Citado por
Todos | Desde 2020 | |
---|---|---|
Citações | 16914 | 6707 |
Índice h | 63 | 37 |
Índice i10 | 209 | 119 |
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
Michael TautschnigQueen Mary University of LondonEmail confirmado em qmul.ac.uk
Youcheng SunLecturer, University of ManchesterEmail confirmado em manchester.ac.uk
Tom MelhamProfessor of Computer Science, University of OxfordEmail confirmado em cs.ox.ac.uk
Thomas WahlNortheastern University, Boston, USAEmail confirmado em northeastern.edu
Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of SussexEmail confirmado em diffblue.com
Cristina DavidUniversity of BristolEmail confirmado em bristol.ac.uk
Philipp RuemmerProfessor in Computer Science, University of RegensburgEmail confirmado em ur.de
Vijay D'SilvaGoogle Inc.Email confirmado em google.com
Martin BrainCity, University of LondonEmail confirmado em city.ac.uk
Pascal KesseliDiffblue Ltd.Email confirmado em diffblue.com
Alastair DonaldsonImperial College LondonEmail confirmado em imperial.ac.uk
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
Matt LewisComputer Science Department, University of OxfordEmail confirmado em cs.ox.ac.uk