Memory Consistency Models using Constraints, Ruth Hoffmann, Özgür Akgün, Susmit Sarkar, ModRef, 2018.
Observations from Parallelising Three Maximum Common (Connected) Subgraph Algorithms, Ruth Hoffmann, Ciaran McCreesh, Samba Ndojh Ndiaye, Patrick Prosser, Craig Reilly, Christine Solnon, James Trimble, CPAIOR, 2018.
Strategy Synthesis for Autonomous Agents Using PRISM, Alice Miller, Ruben Giaquinta, Ruth Hoffmann, Murray Ireland, Gethin Norman, NMF, 2018.
Verification of a lazy cache coherence protocol against a weak memory model, Christopher J. Banks, Marco Elver, Ruth Hoffmann, Susmit Sarkar, Paul Jackson, Vijay Nagarajan, FMCAD, 2017.
Between Subgraph Isomorphism and Maximum Common Subgraph, Ruth Hoffmann, Ciaran McCreesh, Craig Reilly, AAAI, 2017.
A Continuous-Time Model of an Autonomous Aerial Vehicle to Inform and Validate Formal Verification Methods, Murray L. Ireland, Ruth Hoffmann, Alice Miller, Gethin Norman, Sandor M. Veres, CoRR arXiv, 2016.
Towards the Automated Verification of Weibull Distributions for System Failure Rates, Yu Lu, Alice A. Miller, Ruth Hoffmann, Christopher W. Johnson, FMICS-AVoCS, 2016.
Autonomous Agent Behaviour Modelled in PRISM - A Case Study, Ruth Hoffmann, Murray Ireland, Alice Miller, Gethin Norman, Sandor M. Veres, SPIN, 2016.
On dots in boxes, or permutation pattern classes and regular languages, Ruth Hoffmann, PhD Thesis, University of St Andrews, 2015.
Regular languages of plus- and minus-(in)decomposable permutations, Ruth Hoffmann, Steve Linton, PU.M.A., 2013.
GrantsEPSRC Impact Acceleration Account (IAA) awarded £15'000 to C3+.
SICSA Data Science Workshop Fund awarded £1'000 to host a workshop series for the Institute of Data Intensive Research.
TalksNovember 2017 FP Seminar, University of St Andrews, St Andrews, Invited Speaker
March 2017 FP Seminar, University of St Andrews, St Andrews, Invited Speaker
February 2017 Seminar, Strathclyde University, Glasgow, Invited Speaker
December 2016 FATA Seminar, University of Glasgow, Glasgow, Invited Speaker
December 2016 Seminar, Open University, Milton Keyes, Invited Speaker
November 2016 SICSA DEMOFest, Strathclyde University, Glasgow, Poster Presentation
September 2016 FMICS-AVOCS, CNR, Pisa, Speaker
May 2016 D3S Seminar, Charles University, Prague, Invited Speaker
May 2016 FATA Seminar, University of Glasgow, Glasgow, Invited Speaker
April 2016 SPIN, Eindhoven University of Technology, Eindhoven, Speaker
March 2016 BCTCS, Queen's University Belfast, Belfast, Speaker
October 2015 FATA Seminar, University of Glasgow, Glasgow, Invited Speaker
October 2015 School of Computing Research Colloquium, University of Leeds, Leeds, Invited Speaker
June 2015 Permutation Patterns 2015, LMS London, London, Speaker
April 2015 North British Semigroups and Applications Network, University of St Andrews, St Andrews, Invited Speaker
April 2015 CIRCA Lunch Seminar, University of St Andrews, St Andrews, Invited Speaker
July 2014 Permutation Patterns 2014, East Tennessee University, Johnson City, Speaker
June 2014 SICSA PhD Conference, University of St Andrews, St Andrews, Poster Presentation
August 2013 FSMNLP, University of St Andrews, St Andrews, Invited Tutorial Speaker
July 2013 Permutation Patterns 2013, Universite Paris Diderot, Paris, Speaker
June 2012 Permutation Patterns 2012, Strathclyde University, Glasgow, Speaker