Skaff deg en Google Scholar-profil
Sitert av
Alle | Siden 2019 | |
---|---|---|
Sitater | 15641 | 6304 |
h-indeks | 60 | 36 |
i10-indeks | 201 | 118 |
Offentlig tilgang
Vis alle61 artikler
1 artikkel
tilgjengelige
ikke tilgjengelige
Basert på finansieringsmandater
Medforfattere
- Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityVerifisert e-postadresse på cs.cmu.edu
- Ofer StrichmanTechnion, Haifa, IsraelVerifisert e-postadresse på ie.technion.ac.il
- Natasha SharyginaProfessor of Computer Science, Universita della Svizzera Italiana (USI), Lugano, SwitzerlandVerifisert e-postadresse på usi.ch
- Georg WeissenbacherProfessor of Computer Science, TU WienVerifisert e-postadresse på tuwien.ac.at
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKVerifisert e-postadresse på cs.ox.ac.uk
- Thomas WahlNortheastern University, Boston, USAVerifisert e-postadresse på northeastern.edu
- Michael TautschnigQueen Mary University of LondonVerifisert e-postadresse på qmul.ac.uk
- Tom MelhamProfessor of Computer Science, University of OxfordVerifisert e-postadresse på cs.ox.ac.uk
- Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of SussexVerifisert e-postadresse på diffblue.com
- Youcheng SunLecturer, University of ManchesterVerifisert e-postadresse på manchester.ac.uk
- Philipp RuemmerProfessor in Computer Science, University of RegensburgVerifisert e-postadresse på ur.de
- Vijay D'SilvaGoogle Inc.Verifisert e-postadresse på google.com
- Cristina DavidUniversity of BristolVerifisert e-postadresse på bristol.ac.uk
- Martin BrainCity, University of LondonVerifisert e-postadresse på city.ac.uk
- Alastair DonaldsonImperial College LondonVerifisert e-postadresse på imperial.ac.uk
- Leopold HallerGoogleVerifisert e-postadresse på google.com
- Pascal KesseliDiffblue Ltd.Verifisert e-postadresse på diffblue.com
- Hana ChocklerKing's College LondonVerifisert e-postadresse på kcl.ac.uk
- Christoph M. WintersteigerImandraVerifisert e-postadresse på imandra.ai
- Alexander KaiserUniversity of OxfordVerifisert e-postadresse på cs.ox.ac.uk