The algorithmics of solitaire-like games. - Roland Carl Backhouse; Wei Chen 023; João F. Ferreira 001 (Sci. Comput. Program., 2013)

Abstract interpretation from Büchi automata. - Martin Hofmann 001; Wei Chen 023 (CSL-LICS, 2014)

Büchi Types for Infinite Traces and Liveness. - Martin Hofmann 001; Wei Chen 023 (CoRR, 2014)

Explaining Unwanted Behaviours in Context. - Wei Chen 023; David Aspinall 001; Andrew D. Gordon 001; Charles Sutton; Igor Muttik (IMPS@ESSoS, 2016)

A text-mining approach to explain unwanted behaviours. - Wei Chen 023; David Aspinall 001; Andrew D. Gordon 001; Charles Sutton; Igor Muttik (EUROSEC, 2016)

On Robust Malware Classifiers by Verifying Unwanted Behaviours. - Wei Chen 023; David Aspinall 001; Andrew D. Gordon 001; Charles Sutton; Igor Muttik (IFM, 2016)

More Semantics More Robust: Improving Android Malware Classifiers. - Wei Chen 023; David Aspinall 001; Andrew D. Gordon 001; Charles Sutton; Igor Muttik (WISEC, 2016)

Formal Analysis of Sneak-Peek: A Data Centre Attack and Its Mitigations. - Wei Chen 023; Yuhui Lin; Vashti Galpin; Vivek Nigam; Myungjin Lee; David Aspinall 001 (SEC, 2018)

Checking Contact Tracing App Implementations. - Robert Flood; Sheung Shi Chan; Wei Chen 023; David Aspinall 001 (ICISSP, 2021)

Checking Contact Tracing App Implementations with Bespoke Static Analysis. - Robert Flood; Sheung Chi Chan; Wei Chen 023; David Aspinall 001 (SN Comput. Sci., 2022)