Get my own profile
Public access
View all72 articles
7 articles
available
not available
Based on funding mandates
Co-authors
- Yu ZhouNanjing University of Aeronautics and AstronauticsVerified email at nuaa.edu.cn
- Marta KwiatkowskaProfessor of Computing Systems, University of OxfordVerified email at comlab.ox.ac.uk
- Fu SONGState Key Laboratory of Computer Science, Institute of Software, Chinese Academy of SciencesVerified email at ios.ac.cn
- Aistis ŠimaitisUniversity of OxfordVerified email at cs.ox.ac.uk
- Harald GallUniversity of Zurich, Department of InformaticsVerified email at ifi.uzh.ch
- 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
- Wan FokkinkProfessor of Computer Science, Vrije Universiteit AmsterdamVerified email at vu.nl
- David ParkerProfessor of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
- Sebastiano PanichellaSenior Computer Science Researcher at the University of BernVerified email at unibe.ch
- Franco RaimondiProfessor of Computer Science, Gran Sasso Science InstituteVerified email at gssi.it
- David S. RosenblumGeorge Mason UniversityVerified email at alumni.stanford.edu
- Guoxin SuUniversity of WollongongVerified email at uow.edu.au
- Yuan FengTsinghua UniversityVerified email at tsinghua.edu.cn
- Jaco van de PolProfessor of Computer Science, Aarhus UniversityVerified email at cs.au.dk
- Hongyang QuResearch Fellow, University of SheffieldVerified email at sheffield.ac.uk
- Stefan KieferProfessor of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
- Giuseppe PrimieroDepartment of Philosophy, University of MilanVerified email at unimi.it
- Luca AcetoDepartment of Computer Science, Reykjavik University, and Gran Sasso Science Institute, L'AquilaVerified email at ru.is
- Rob van GlabbeekUNSWVerified email at cs.stanford.edu
Follow
Taolue Chen
School of Computing and Mathematical Sciences, Birkbeck, University of London
Verified email at bbk.ac.uk - Homepage