Modular Relaxed Dependencies in Weak Memory Concurrency. - Marco Paviotti; Simon Cooksey; Anouk Paradis; Daniel Wright 001; Scott Owens; Mark Batty (ESOP, 2020)

Owicki-Gries Reasoning for C11 Programs with Relaxed Dependencies. - Daniel Wright 001; Mark Batty; Brijesh Dongol (FM, 2021)

Owicki-Gries Reasoning for C11 Programs with Relaxed Dependencies (Extended Version). - Daniel Wright 001; Mark Batty; Brijesh Dongol (CoRR, 2021)

Mechanised Operational Reasoning for C11 Programs with Relaxed Dependencies. - Daniel Wright 001; Sadegh Dalvandi; Mark Batty; Brijesh Dongol (Formal Aspects Comput., 2023)

Symbolic MRD: Dynamic Memory, Undefined Behaviour, and Extrinsic Choice. - Jay Richards; Daniel Wright 001; Simon Cooksey; Mark Batty (Proc. ACM Program. Lang., 2025)