Gabrielle Anderson

According to our database, Gabrielle Anderson authored at least 8 papers between 2012 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Trust domains in system models: algebra, logic, utility, and combinators.

Gabrielle Anderson, David J. Pym

J. Log. Comput., 2018

2017

A Substructural Modal Logic of Utility.

Gabrielle Anderson, David J. Pym

J. Log. Comput., 2017

2016

A calculus and logic of bunched resources and processes.

Gabrielle Anderson, David J. Pym

Theor. Comput. Sci., 2016

A Logic for the Compliance Budget.

Gabrielle Anderson, Guy McCusker, David J. Pym

Proceedings of the Decision and Game Theory for Security - 7th International Conference, 2016

2013

Behavioural properties and dynamic software update for concurrent programmes.

Gabrielle Anderson

PhD thesis, 2013

Trust Domains: An Algebraic, Logical, and Utility-Theoretic Approach.

Gabrielle Anderson, Matthew Collinson, David J. Pym

Proceedings of the Trust and Trustworthy Computing - 6th International Conference, 2013

Utility-based Decision-making in Distributed Systems Modelling.

Gabrielle Anderson, Matthew Collinson, David J. Pym

Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2013), 2013

2012

Dynamic Software Update for Message Passing Programs.

Gabrielle Anderson, Julian Rathke

Proceedings of the Programming Languages and Systems - 10th Asian Symposium, 2012