Gabrielle Anderson

Publication Activity (10 Years)

Years Active: 2012-2018
Publications (10 Years): 4

Top Topics

Sequent Calculus

Message Passing

Utility Elicitation

Top Venues

J. Log. Comput.

University of Southampton, UK (PHD)

Education History

University of Southampton, UK

PHD

Publications

Gabrielle Anderson, David J. Pym
Trust domains in system models: algebra, logic, utility, and combinators. J. Log. Comput. 28 (4) (2018)
Gabrielle Anderson, David J. Pym
A Substructural Modal Logic of Utility. J. Log. Comput. 27 (5) (2017)
Gabrielle Anderson, David J. Pym
A calculus and logic of bunched resources and processes. Theor. Comput. Sci. 614 (2016)
Gabrielle Anderson, Guy McCusker, David J. Pym
A Logic for the Compliance Budget. GameSec (2016)
Gabrielle Anderson, Matthew Collinson, David J. Pym
Utility-based Decision-making in Distributed Systems Modelling. CoRR (2013)
Gabrielle Anderson, Matthew Collinson, David J. Pym
Trust Domains: An Algebraic, Logical, and Utility-Theoretic Approach. TRUST (2013)
Gabrielle Anderson, Matthew Collinson, David J. Pym
Utility-based Decision-making in Distributed Systems Modelling. TARK (2013)
Gabrielle Anderson, Julian Rathke
Dynamic Software Update for Message Passing Programs. APLAS (2012)