Get my own profile
Public access
View all71 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 zhaw.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](https://scholar.googleusercontent.com/citations?view_op=view_photo&user=Qv_-WU4AAAAJ&citpid=3)
Taolue Chen
School of Computing and Mathematical Sciences, Birkbeck, University of London
Verified email at bbk.ac.uk - Homepage