Skapa en profil
Offentlig åtkomst
Visa alla61 artiklar
1 artikel
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityVerifierad e-postadress på cs.cmu.edu
- Ofer StrichmanTechnion, Haifa, IsraelVerifierad e-postadress på ie.technion.ac.il
- Natasha SharyginaProfessor of Computer Science, Universita della Svizzera Italiana (USI), Lugano, SwitzerlandVerifierad e-postadress på usi.ch
- Georg WeissenbacherProfessor of Computer Science, TU WienVerifierad e-postadress på tuwien.ac.at
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKVerifierad e-postadress på cs.ox.ac.uk
- Thomas WahlNortheastern University, Boston, USAVerifierad e-postadress på northeastern.edu
- Michael TautschnigQueen Mary University of LondonVerifierad e-postadress på qmul.ac.uk
- Tom MelhamProfessor of Computer Science, University of OxfordVerifierad e-postadress på cs.ox.ac.uk
- Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of SussexVerifierad e-postadress på diffblue.com
- Youcheng SunLecturer, University of ManchesterVerifierad e-postadress på manchester.ac.uk
- Philipp RuemmerProfessor in Computer Science, University of RegensburgVerifierad e-postadress på ur.de
- Vijay D'SilvaGoogle Inc.Verifierad e-postadress på google.com
- Cristina DavidUniversity of BristolVerifierad e-postadress på bristol.ac.uk
- Martin BrainCity, University of LondonVerifierad e-postadress på city.ac.uk
- Alastair DonaldsonImperial College LondonVerifierad e-postadress på imperial.ac.uk
- Leopold HallerGoogleVerifierad e-postadress på google.com
- Pascal KesseliDiffblue Ltd.Verifierad e-postadress på diffblue.com
- Hana ChocklerKing's College LondonVerifierad e-postadress på kcl.ac.uk
- Christoph M. WintersteigerImandraVerifierad e-postadress på imandra.ai
- Alexander KaiserUniversity of OxfordVerifierad e-postadress på cs.ox.ac.uk