Dr Ruth Hoffmann
Research Fellow - School of Computer Science
Email: rh347@st-andrews.ac.uk
Office: JC0.28
Phone: +44 (0)1334 463691
Recent Publications
- Espasa Arxer, J, Gent, IP, Hoffmann, R, Jefferson, C, McIlree, MJ & Lynch, AM 2021, Towards generic explanations for pen and paper puzzles with MUSes. in K Martin, N Wiratunga & A Wijekoon (eds), Proceedings of the SICSA eXplainable Artifical Intelligence Workshop 2021. CEUR Workshop Proceedings, vol. 2894, pp. 56-63, SICSA eXplainable Artifical Intelligence Workshop, Aberdeen, United Kingdom, 1/06/21. <http://ceur-ws.org/Vol-2894/>
- Fraser, D, Giaquinta, R, Hoffmann, R, Ireland, M, Miller, A & Norman, G 2020, 'Collaborative models for autonomous systems controller synthesis', Formal Aspects of Computing, vol. 32, no. 2-3, pp. 157–186. https://doi.org/10.1007/s00165-020-00508-1
- Archibald, B, Dunlop, F, Hoffmann, R, McCreesh, C, Prosser, P & Trimble, J 2019, Sequential and parallel solution-biased search for subgraph algorithms. in L-M Rousseau & K Stergiou (eds), Integration of Constraint Programming, Artificial Intelligence, and Operations Research: 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4–7, 2019, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 11494 LNCS, Springer, Cham, pp. 20-38, 16th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2019, Thessaloniki, Greece, 4/06/19. https://doi.org/10.1007/978-3-030-19212-9_2
- Ireland, ML, Hoffmann, R, Miller, A, Norman, G & Veres, SM 2018, 'A continuous-time model of an autonomous aerial vehicle to inform and validate formal verification methods', ArXiv e-prints. <https://arxiv.org/abs/1609.00177>
- Akgün, Ö, Hoffmann, R & Sarkar, S 2018, Memory consistency models using constraints. in The Seventeenth Workshop on Constraint Modelling and Reformulation (ModRef 2018), Proceedings. 24th International Conference on Principles and Practice of Constraint Programming (CP 2018), Lille, France, 27/08/18.
- Hoffmann, R, McCreesh, C, Ndiaye, SN, Prosser, P, Reilly, C, Solnon, C & Trimble, J 2018, Observations from parallelising three maximum common (Connected) subgraph algorithms. in W-J van Hoeve (ed.), Integration of Constraint Programming, Artificial Intelligence, and Operations Research: 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26–29, 2018, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 10848, Springer, Cham, pp. 298-315, 15th International Conference on Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2018, Delft, Netherlands, 26/06/18. https://doi.org/10.1007/978-3-319-93031-2_22
- Hoffmann, R, Linton, S & Albert, M, PatternClass Version 2.4.2: A permutation pattern class package (GAP package), 2018, Software, GitHub. <https://github.com/gap-packages/PatternClass/releases/tag/v2.4.2>
- Giaquinta, R, Hoffmann, R, Ireland, M, Miller, A & Norman, G 2018, Strategy synthesis for autonomous agents using PRISM. in A Dutle, C Muñoz & A Narkawicz (eds), NASA Formal Methods: 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 10811, Springer, Cham, pp. 220-236, 10th International Symposium on NASA Formal Methods, NFM 2018, Newport News, Virginia, United States, 17/04/18. https://doi.org/10.1007/978-3-319-77935-5_16
- Hoffmann, R, McCreesh, C & Reilly, C 2017, Between subgraph isomorphism and maximum common subgraph. in Thirty-First AAAI Conference on Artificial Intelligence: February 4–9, 2017, San Francisco, California USA. AAAI Press, Palo Alto, pp. 3907-3914, 31st AAAI Conference on Artificial Intelligence, AAAI 2017, San Francisco, United States, 4/02/17. <https://aaai.org/ocs/index.php/AAAI/AAAI17/paper/view/14948>