| 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 | 42 | 2019 |
| Between subgraph isomorphism and maximum common subgraph R Hoffmann, C McCreesh, C Reilly Proceedings of the AAAI Conference on Artificial Intelligence 31 (1), 2017 | 36 | 2017 |
| 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 | 20 | 2016 |
| 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 | 17 | 2018 |
| 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 | 14 | 2016 |
| 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 | 13 | 2020 |
| 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 | 12 | 2017 |
| 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 | 10 | 2018 |
| 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 | 8 | 2016 |
| 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 | 6 | 2022 |
| 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 | 6 | 2021 |
| PatternClass–Permutation Pattern Classes M Albert, S Linton, R Hoffmann http://ruthhoffmann.github.io/PatternClass/, 2012 | 5 | 2012 |
| On dots in boxes, or permutation pattern classes and regular languages R Hoffmann University of St Andrews, 2015 | 3 | 2015 |
| Regular Languages of Plus-and Minus-(In) Decomposable Permutations R Hoffmann, S Linton Permutation Patterns 24 (2), 143 -- 150, 2013 | 2 | 2013 |
| Towards automatic design of factorio blueprints S Patterson, J Espasa, MS Chang, R Hoffmann arXiv preprint arXiv:2310.01505, 2023 | 1 | 2023 |
| 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 | 1 | 2021 |
| 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 | 1 | 2021 |
| Memory consistency models using constraints Ö Akgün, R Hoffmann, S Sarkar The Seventeenth Workshop on Constraint Modelling and Reformulation (ModRef …, 2018 | 1 | 2018 |
| Composable Constraint Models for Permutation Enumeration R Hoffmann, Ö Akgün, C Jefferson arXiv preprint arXiv:2311.17581, 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 |
Alice MillerProfessor, University of Glasgow在 glasgow.ac.uk 的电子邮件经过验证
