Dr Ruth Hoffmann

Dr Ruth Hoffmann

Lecturer

Researcher profile

Phone
+44 (0)1334 46 3691
Email
rh347@st-andrews.ac.uk

 

Selected publications

  • Open access

    Understanding how people approach constraint modelling and solving

    Hoffmann, R., Zhu, X., Akgun, O. & Nacenta, M., 23 Jul 2022, 28th International Conference on Principles and Practice of Constraint Programming (CP 2022). Solnon, C. (ed.). Dagstuhl: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 18 p. 28. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 235).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Open access

    Towards generic explanations for pen and paper puzzles with MUSes

    Espasa Arxer, J., Gent, I. P., Hoffmann, R., Jefferson, C., McIlree, M. J. & Lynch, A. M., 2 Jul 2021, Proceedings of the SICSA eXplainable Artifical Intelligence Workshop 2021. Martin, K., Wiratunga, N. & Wijekoon, A. (eds.). p. 56-63 8 p. (CEUR Workshop Proceedings; vol. 2894).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Open access

    Using small MUSes to explain how to solve pen and paper puzzles

    Espasa Arxer, J., Gent, I. P., Hoffmann, R., Jefferson, C. & Lynch, A. M., 30 Apr 2021.

    Research output: Working paperPreprint

  • Open access

    Collaborative models for autonomous systems controller synthesis

    Fraser, D., Giaquinta, R., Hoffmann, R., Ireland, M., Miller, A. & Norman, G., Jul 2020, In: Formal Aspects of Computing. 32, 2-3, p. 157–186 30 p.

    Research output: Contribution to journalArticlepeer-review

  • Open access

    Sequential and parallel solution-biased search for subgraph algorithms

    Archibald, B., Dunlop, F., Hoffmann, R., McCreesh, C., Prosser, P. & Trimble, J., 2019, Integration of Constraint Programming, Artificial Intelligence, and Operations Research: 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4–7, 2019, Proceedings. Rousseau, L-M. & Stergiou, K. (eds.). Cham: Springer, p. 20-38 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11494 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • A continuous-time model of an autonomous aerial vehicle to inform and validate formal verification methods

    Ireland, M. L., Hoffmann, R., Miller, A., Norman, G. & Veres, S. M., 19 Mar 2018, (E-pub ahead of print) In: ArXiv e-prints.

    Research output: Contribution to journalArticle

  • Open access

    Memory consistency models using constraints

    Akgün, Ö., Hoffmann, R. & Sarkar, S., 27 Aug 2018, The Seventeenth Workshop on Constraint Modelling and Reformulation (ModRef 2018), Proceedings. 16 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Observations from parallelising three maximum common (Connected) subgraph algorithms

    Hoffmann, R., McCreesh, C., Ndiaye, S. N., Prosser, P., Reilly, C., Solnon, C. & Trimble, J., 2018, Integration of Constraint Programming, Artificial Intelligence, and Operations Research: 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26–29, 2018, Proceedings. van Hoeve, W-J. (ed.). Cham: Springer, p. 298-315 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10848).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Strategy synthesis for autonomous agents using PRISM

    Giaquinta, R., Hoffmann, R., Ireland, M., Miller, A. & Norman, G., 2018, NASA Formal Methods: 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings. Dutle, A., Muñoz, C. & Narkawicz, A. (eds.). Cham: Springer, p. 220-236 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10811).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Between subgraph isomorphism and maximum common subgraph

    Hoffmann, R., McCreesh, C. & Reilly, C., 13 Feb 2017, Thirty-First AAAI Conference on Artificial Intelligence: February 4–9, 2017, San Francisco, California USA. Palo Alto: AAAI Press, p. 3907-3914 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

 

See more publications