Gauti savo profilį
Cituota
Visi | Nuo 2019 | |
---|---|---|
Šaltiniai | 15476 | 6149 |
h-rodyklė | 60 | 36 |
i10-rodyklė | 201 | 118 |
Viešas pasiekiamumas
Peržiūrėti viską61 straipsnis
1 straipsnis
pasiekiami
nepasiekiami
Pagal finansavimo įpareigojimus
Bendraautoriai
- Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityPatvirtintas el. paštas cs.cmu.edu
- Ofer StrichmanTechnion, Haifa, IsraelPatvirtintas el. paštas ie.technion.ac.il
- Natasha SharyginaProfessor of Computer Science, Universita della Svizzera Italiana (USI), Lugano, SwitzerlandPatvirtintas el. paštas usi.ch
- Georg WeissenbacherProfessor of Computer Science, TU WienPatvirtintas el. paštas tuwien.ac.at
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKPatvirtintas el. paštas cs.ox.ac.uk
- Thomas WahlNortheastern University, Boston, USAPatvirtintas el. paštas northeastern.edu
- Tom MelhamProfessor of Computer Science, University of OxfordPatvirtintas el. paštas cs.ox.ac.uk
- Michael TautschnigQueen Mary University of LondonPatvirtintas el. paštas qmul.ac.uk
- Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of SussexPatvirtintas el. paštas diffblue.com
- Youcheng SunLecturer, University of ManchesterPatvirtintas el. paštas manchester.ac.uk
- Philipp RuemmerProfessor in Computer Science, University of RegensburgPatvirtintas el. paštas ur.de
- Vijay D'SilvaGoogle Inc.Patvirtintas el. paštas google.com
- Cristina DavidUniversity of BristolPatvirtintas el. paštas bristol.ac.uk
- Martin BrainCity, University of LondonPatvirtintas el. paštas city.ac.uk
- Alastair DonaldsonImperial College LondonPatvirtintas el. paštas imperial.ac.uk
- Leopold HallerGooglePatvirtintas el. paštas google.com
- Pascal KesseliDiffblue Ltd.Patvirtintas el. paštas diffblue.com
- Hana ChocklerKing's College LondonPatvirtintas el. paštas kcl.ac.uk
- Christoph M. WintersteigerMicrosoft ResearchPatvirtintas el. paštas microsoft.com
- Alexander KaiserUniversity of OxfordPatvirtintas el. paštas cs.ox.ac.uk