2022

Kavanagh, William, Fraser, Douglas, Hunter, Ethan ORCID: https://orcid.org/0000-0002-4309-6861, Pancheva, Alexandrina, Parkinson, Jack ORCID: https://orcid.org/0000-0001-6175-7638, Paun, Iulia, Wallis, Tom ORCID: https://orcid.org/0000-0002-7563-0133, Ada, Mireilla Bikanga, Border, Helen and Norman, Gethin ORCID: https://orcid.org/0000-0001-9326-4344 (2022) Experience report: challenges and opportunities of remote labs for a computer science department. Postgraduate Pedagogies, 2(1), pp. 173-207.

2020

Fraser, Douglas, Giaquinta, Ruben, Hoffmann, Ruth, Ireland, Murray, Miller, Alice ORCID: https://orcid.org/0000-0002-0941-1717 and Norman, Gethin ORCID: https://orcid.org/0000-0001-9326-4344 (2020) Collaborative models for autonomous systems controller synthesis. Formal Aspects of Computing, 32, pp. 157-186. (doi: 10.1007/s00165-020-00508-1)

Articles

Kavanagh, William, Fraser, Douglas, Hunter, Ethan ORCID: https://orcid.org/0000-0002-4309-6861, Pancheva, Alexandrina, Parkinson, Jack ORCID: https://orcid.org/0000-0001-6175-7638, Paun, Iulia, Wallis, Tom ORCID: https://orcid.org/0000-0002-7563-0133, Ada, Mireilla Bikanga, Border, Helen and Norman, Gethin ORCID: https://orcid.org/0000-0001-9326-4344 (2022) Experience report: challenges and opportunities of remote labs for a computer science department. Postgraduate Pedagogies, 2(1), pp. 173-207.

Fraser, Douglas, Giaquinta, Ruben, Hoffmann, Ruth, Ireland, Murray, Miller, Alice ORCID: https://orcid.org/0000-0002-0941-1717 and Norman, Gethin ORCID: https://orcid.org/0000-0001-9326-4344 (2020) Collaborative models for autonomous systems controller synthesis. Formal Aspects of Computing, 32, pp. 157-186. (doi: 10.1007/s00165-020-00508-1)