Obter o meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 15590 | 6260 |
Índice h | 60 | 36 |
Índice i10 | 201 | 118 |
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. WintersteigerMicrosoft ResearchEmail confirmado em microsoft.com
- Alexander KaiserUniversity of OxfordEmail confirmado em cs.ox.ac.uk