Get my own profile
Public access
View all59 articles
4 articles
available
not available
Based on funding mandates
Co-authors
Marta KwiatkowskaProfessor of Computing Systems, University of OxfordVerified email at comlab.ox.ac.uk
Yu ZhouNanjing University of Aeronautics and AstronauticsVerified email at nuaa.edu.cn
Aistis ŠimaitisUniversity of OxfordVerified email at cs.ox.ac.uk
Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteVerified email at cs.rwth-aachen.de
Vojtěch ForejtDifflblueVerified email at diffblue.com
Fu SONGShanghaiTech UniversityVerified email at shanghaitech.edu.cn
Wan FokkinkProfessor of Computer Science, Vrije Universiteit AmsterdamVerified email at vu.nl
Harald GallUniversity of Zurich, Department of InformaticsVerified email at ifi.uzh.ch
David ParkerProfessor of Computer Science, University of BirminghamVerified email at cs.bham.ac.uk
Sebastiano PanichellaSenior Researcher at the Zurich University of Applied Sciences/University of ZurichVerified email at zhaw.ch
Franco RaimondiProfessor of Computer Science, Middlesex UniversityVerified email at mdx.ac.uk
David S. RosenblumGeorge Mason UniversityVerified email at alumni.stanford.edu
Yuan FengUniversity of Technology SydneyVerified email at tsinghua.edu.cn
Guoxin SuUniversity of WollongongVerified email at uow.edu.au
Hongyang QuResearch Fellow, University of SheffieldVerified email at sheffield.ac.uk
Jaco van de PolProfessor of Computer Science, Aarhus UniversityVerified email at cs.au.dk
Rob van GlabbeekData61, CSIRO and UNSWVerified email at cs.stanford.edu
Stefan KieferAssociate Professor, University of OxfordVerified email at cs.ox.ac.uk
Luca AcetoDepartment of Computer Science, Reykjavik University, and Gran Sasso Science Institute, L'AquilaVerified email at ru.is
Giuseppe PrimieroDepartment of Philosophy, University of MilanVerified email at unimi.it
Follow
Taolue Chen
Department of Computer Science, Birkbeck, University of London
Verified email at bbk.ac.uk