Dynamic Software Update for Message Passing Programs. - Gabrielle Anderson; Julian Rathke (APLAS, 2012)

Utility-based Decision-making in Distributed Systems Modelling. - Gabrielle Anderson; Matthew Collinson; David J. Pym (TARK, 2013)

Trust Domains: An Algebraic, Logical, and Utility-Theoretic Approach. - Gabrielle Anderson; Matthew Collinson; David J. Pym (TRUST, 2013)

Behavioural properties and dynamic software update for concurrent programmes. - Gabrielle Anderson (2013)

A Logic for the Compliance Budget. - Gabrielle Anderson; Guy McCusker; David J. Pym (GameSec, 2016)

A calculus and logic of bunched resources and processes. - Gabrielle Anderson; David J. Pym (Theor. Comput. Sci., 2016)

A Substructural Modal Logic of Utility. - Gabrielle Anderson; David J. Pym (J. Log. Comput., 2017)

Trust domains in system models: algebra, logic, utility, and combinators. - Gabrielle Anderson; David J. Pym (J. Log. Comput., 2018)