Skip to content

Research at St Andrews

University > Research portal > Researchers > Ruth Hoffmann

Ruth Hoffmann

Person

Ruth Hoffmann
Postal address:
School of Computer Science
North Haugh
St Andrews
Fife
United Kingdom

Email: rh347@st-andrews.ac.uk

Direct phone: +44 (0)1334 463691

 https://orcid.org/0000-0002-1011-5894

PhD research projects available

Artificial Intelligence (AI), Computational Group Theory, Computational Graph Theory, Combinatorics, Permutation Patterns

Show more...Show less

Research publications (14)

  1. 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 proceeding › Conference contribution

  2. 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 paper › Preprint

  3. 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 journal › Article › peer-review

View all

Funded projects (1)

  1. C3+: C3+

    Hoffmann, R.

    EPSRC

    1/07/18 → 31/12/18

    Project: Standard

View all

Discover related content
Find related publications, people, projects and more using interactive charts.

View graph of relations
Top