Izradite svoj profil
Citirano
Sve | Od 2019. | |
---|---|---|
Citati | 15623 | 6287 |
H-indeks | 60 | 36 |
i10-indeks | 201 | 118 |
Javni pristup
Prikaži sve61 članak
1 članak
dostupno
nije dostupno
Na temelju uvjeta financiranja
Suautori
- Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityPotvrđena adresa e-pošte na cs.cmu.edu
- Ofer StrichmanTechnion, Haifa, IsraelPotvrđena adresa e-pošte na ie.technion.ac.il
- Natasha SharyginaProfessor of Computer Science, Universita della Svizzera Italiana (USI), Lugano, SwitzerlandPotvrđena adresa e-pošte na usi.ch
- Georg WeissenbacherProfessor of Computer Science, TU WienPotvrđena adresa e-pošte na tuwien.ac.at
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKPotvrđena adresa e-pošte na cs.ox.ac.uk
- Thomas WahlNortheastern University, Boston, USAPotvrđena adresa e-pošte na northeastern.edu
- Michael TautschnigQueen Mary University of LondonPotvrđena adresa e-pošte na qmul.ac.uk
- Tom MelhamProfessor of Computer Science, University of OxfordPotvrđena adresa e-pošte na cs.ox.ac.uk
- Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of SussexPotvrđena adresa e-pošte na diffblue.com
- Youcheng SunLecturer, University of ManchesterPotvrđena adresa e-pošte na manchester.ac.uk
- Philipp RuemmerProfessor in Computer Science, University of RegensburgPotvrđena adresa e-pošte na ur.de
- Vijay D'SilvaGoogle Inc.Potvrđena adresa e-pošte na google.com
- Cristina DavidUniversity of BristolPotvrđena adresa e-pošte na bristol.ac.uk
- Martin BrainCity, University of LondonPotvrđena adresa e-pošte na city.ac.uk
- Alastair DonaldsonImperial College LondonPotvrđena adresa e-pošte na imperial.ac.uk
- Leopold HallerGooglePotvrđena adresa e-pošte na google.com
- Pascal KesseliDiffblue Ltd.Potvrđena adresa e-pošte na diffblue.com
- Hana ChocklerKing's College LondonPotvrđena adresa e-pošte na kcl.ac.uk
- Christoph M. WintersteigerImandraPotvrđena adresa e-pošte na imandra.ai
- Alexander KaiserUniversity of OxfordPotvrđena adresa e-pošte na cs.ox.ac.uk