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