Follow
Ruth Hoffmann
Ruth Hoffmann
School of Computer Science, University of St Andrews
Verified email at st-andrews.ac.uk
Title
Cited by
Cited by
Year
Sequential and parallel solution-biased search for subgraph algorithms
B Archibald, F Dunlop, R Hoffmann, C McCreesh, P Prosser, J Trimble
International Conference on Integration of Constraint Programming …, 2019
392019
Between subgraph isomorphism and maximum common subgraph
R Hoffmann, C McCreesh, C Reilly
Proceedings of the AAAI Conference on Artificial Intelligence 31 (1), 2017
372017
Autonomous agent behaviour modelled in PRISM–A case study
R Hoffmann, M Ireland, A Miller, G Norman, S Veres
Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located …, 2016
192016
Strategy synthesis for autonomous agents using PRISM
R Giaquinta, R Hoffmann, M Ireland, A Miller, G Norman
NASA Formal Methods: 10th International Symposium, NFM 2018, Newport News …, 2018
172018
Collaborative models for autonomous systems controller synthesis
D Fraser, R Giaquinta, R Hoffmann, M Ireland, A Miller, G Norman
Formal Aspects of Computing 32, 157-186, 2020
132020
Towards the automated verification of weibull distributions for system failure rates
Y Lu, AA Miller, R Hoffmann, CW Johnson
Critical Systems: Formal Methods and Automated Verification: Joint 21st …, 2016
132016
Observations from parallelising three maximum common (connected) subgraph algorithms
R Hoffmann, C McCreesh, SN Ndiaye, P Prosser, C Reilly, C Solnon, ...
Integration of Constraint Programming, Artificial Intelligence, and …, 2018
112018
Verification of a lazy cache coherence protocol against a weak memory model
CJ Banks, M Elver, R Hoffmann, S Sarkar, P Jackson, V Nagarajan
2017 Formal Methods in Computer Aided Design (FMCAD), 60-67, 2017
112017
Understanding how people approach constraint modelling and solving
R Hoffmann, X Zhu, Ö Akgün, MA Nacenta
28th International Conference on Principles and Practice of Constraint …, 2022
62022
A continuous-time model of an autonomous aerial vehicle to inform and validate formal verification methods
ML Ireland, R Hoffmann, A Miller, G Norman, SM Veres
arXiv preprint arXiv:1609.00177, 2016
62016
Using small muses to explain how to solve pen and paper puzzles
J Espasa, IP Gent, R Hoffmann, C Jefferson, AM Lynch, A Salamon, ...
arXiv preprint arXiv:2104.15040, 2021
52021
PatternClass–Permutation Pattern Classes
M Albert, S Linton, R Hoffmann
http://ruthhoffmann.github.io/PatternClass/, 2012
52012
On dots in boxes, or permutation pattern classes and regular languages
R Hoffmann
University of St Andrews, 2015
32015
Regular Languages of Plus-and Minus-(In) Decomposable Permutations
R Hoffmann, S Linton
Permutation Patterns 24 (2), 143 -- 150, 2013
22013
Towards generic explanations for pen and paper puzzles with MUSes
JE Arxer, IP Gent, R Hoffmann, C Jefferson, MJ McIlree, AM Lynch
SICSA eXplainable Artifical Intelligence Workshop, 56-63, 2021
12021
Towards generic explanations for pen and paper puzzles with MUSes
J Espasa Arxer, IP Gent, R Hoffmann, C Jefferson, MJ McIlree, AM Lynch
Proceedings of the SICSA eXplainable Artifical Intelligence Workshop 2021, 2021
12021
Memory consistency models using constraints
Ö Akgün, R Hoffmann, S Sarkar
The Seventeenth Workshop on Constraint Modelling and Reformulation (ModRef …, 2018
12018
Composable Constraint Models for Permutation Enumeration
R Hoffmann, Ö Akgün, C Jefferson
arXiv preprint arXiv:2311.17581, 2023
2023
Towards Automatic Design of Factorio Blueprints
S Patterson, J Espasa, MS Chang, R Hoffmann
arXiv preprint arXiv:2310.01505, 2023
2023
Towards Generic Explanations for Pen and Paper Puzzles with MUSes
J Espasa, IP Gent, R Hoffmann, C Jefferson, M McIlree, AM Lynch
2021
The system can't perform the operation now. Try again later.
Articles 1–20