Ustvarite profil
Navedeno
Vse | Od leta 2019 | |
---|---|---|
Navedbe | 15686 | 6351 |
indeks h | 60 | 36 |
indeks i10 | 201 | 118 |
Javni dostop
Prikaži vse61 člankov
1 članek
na voljo
ni na voljo
Na podlagi zahtev v povezavi s financiranjem
Soavtorji
- Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityPreverjeni e-poštni naslov na cs.cmu.edu
- Ofer StrichmanTechnion, Haifa, IsraelPreverjeni e-poštni naslov na ie.technion.ac.il
- Natasha SharyginaProfessor of Computer Science, Universita della Svizzera Italiana (USI), Lugano, SwitzerlandPreverjeni e-poštni naslov na usi.ch
- Georg WeissenbacherProfessor of Computer Science, TU WienPreverjeni e-poštni naslov na tuwien.ac.at
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKPreverjeni e-poštni naslov na cs.ox.ac.uk
- Thomas WahlNortheastern University, Boston, USAPreverjeni e-poštni naslov na northeastern.edu
- Michael TautschnigQueen Mary University of LondonPreverjeni e-poštni naslov na qmul.ac.uk
- Tom MelhamProfessor of Computer Science, University of OxfordPreverjeni e-poštni naslov na cs.ox.ac.uk
- Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of SussexPreverjeni e-poštni naslov na diffblue.com
- Youcheng SunLecturer, University of ManchesterPreverjeni e-poštni naslov na manchester.ac.uk
- Philipp RuemmerProfessor in Computer Science, University of RegensburgPreverjeni e-poštni naslov na ur.de
- Vijay D'SilvaGoogle Inc.Preverjeni e-poštni naslov na google.com
- Cristina DavidUniversity of BristolPreverjeni e-poštni naslov na bristol.ac.uk
- Martin BrainCity, University of LondonPreverjeni e-poštni naslov na city.ac.uk
- Alastair DonaldsonImperial College LondonPreverjeni e-poštni naslov na imperial.ac.uk
- Leopold HallerGooglePreverjeni e-poštni naslov na google.com
- Pascal KesseliDiffblue Ltd.Preverjeni e-poštni naslov na diffblue.com
- Hana ChocklerKing's College LondonPreverjeni e-poštni naslov na kcl.ac.uk
- Christoph M. WintersteigerImandraPreverjeni e-poštni naslov na imandra.ai
- Alexander KaiserUniversity of OxfordPreverjeni e-poštni naslov na cs.ox.ac.uk