Obter meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 16316 | 6996 |
Índice h | 61 | 39 |
Índice i10 | 207 | 125 |
Acesso público
Ver todos61 artigos
1 artigo
disponível
não disponível
Com base nas autorizações de financiamento
Coautores
- Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityE-mail confirmado em cs.cmu.edu
- Ofer StrichmanTechnion, Haifa, IsraelE-mail confirmado em ie.technion.ac.il
- Natasha SharyginaProfessor of Computer Science, Universita della Svizzera Italiana (USI), Lugano, SwitzerlandE-mail confirmado em usi.ch
- Georg WeissenbacherProfessor of Computer Science, TU WienE-mail confirmado em tuwien.ac.at
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKE-mail confirmado em cs.ox.ac.uk
- Thomas WahlNortheastern University, Boston, USAE-mail confirmado em northeastern.edu
- Michael TautschnigQueen Mary University of LondonE-mail confirmado em qmul.ac.uk
- Tom MelhamProfessor of Computer Science, University of OxfordE-mail confirmado em cs.ox.ac.uk
- Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of SussexE-mail confirmado em diffblue.com
- Youcheng SunLecturer, University of ManchesterE-mail confirmado em manchester.ac.uk
- Philipp RuemmerProfessor in Computer Science, University of RegensburgE-mail confirmado em ur.de
- Vijay D'SilvaGoogle Inc.E-mail confirmado em google.com
- Cristina DavidUniversity of BristolE-mail confirmado em bristol.ac.uk
- Martin BrainCity, University of LondonE-mail confirmado em city.ac.uk
- Alastair DonaldsonImperial College LondonE-mail confirmado em imperial.ac.uk
- Pascal KesseliDiffblue Ltd.E-mail confirmado em diffblue.com
- Leopold HallerGoogleE-mail confirmado em google.com
- Hana ChocklerKing's College LondonE-mail confirmado em kcl.ac.uk
- Christoph M. WintersteigerImandraE-mail confirmado em imandra.ai
- Alexander KaiserUniversity of OxfordE-mail confirmado em cs.ox.ac.uk