Get my own profile
Public access
View all61 articles
1 article
available
not available
Based on funding mandates
Co-authors
- Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityVerified email at cs.cmu.edu
- Ofer StrichmanTechnion, Haifa, IsraelVerified email at ie.technion.ac.il
- Natasha SharyginaProfessor of Computer Science, Universita della Svizzera Italiana (USI), Lugano, SwitzerlandVerified email at usi.ch
- Georg WeissenbacherProfessor of Computer Science, TU WienVerified email at tuwien.ac.at
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKVerified email at cs.ox.ac.uk
- Michael TautschnigQueen Mary University of LondonVerified email at qmul.ac.uk
- Youcheng SunLecturer, University of ManchesterVerified email at manchester.ac.uk
- Thomas WahlNortheastern University, Boston, USAVerified email at northeastern.edu
- Tom MelhamProfessor of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
- Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of SussexVerified email at diffblue.com
- Philipp RuemmerProfessor in Computer Science, University of RegensburgVerified email at ur.de
- Vijay D'SilvaGoogle Inc.Verified email at google.com
- Cristina DavidUniversity of BristolVerified email at bristol.ac.uk
- Martin BrainCity, University of LondonVerified email at city.ac.uk
- Alastair DonaldsonImperial College LondonVerified email at imperial.ac.uk
- Pascal KesseliDiffblue Ltd.Verified email at diffblue.com
- Hana ChocklerKing's College LondonVerified email at kcl.ac.uk
- Christoph M. WintersteigerImandraVerified email at imandra.ai
- Alexander KaiserUniversity of OxfordVerified email at cs.ox.ac.uk
- Matt LewisComputer Science Department, University of OxfordVerified email at cs.ox.ac.uk