Browse by University and Academic Department

Abba, Abdulrazaq (2020) Temporal Reasoning About Robotics Applications: Refinement and Temporal Logic. PhD thesis, University of York.

Algahtani, Eyad (2020) A Scalable and Parallel Inductive Learner in Description Logic. PhD thesis, University of York.

Beeston, Jen ORCID: https://orcid.org/0000-0002-9284-2867 (2020) Social experiences of people with disabilities in playing (in)accessible digital games. PhD thesis, University of York.

Burden, John ORCID: https://orcid.org/0000-0001-7526-0753 (2020) Automating abstraction for potential-based reward shaping. PhD thesis, University of York.

Jiménez Gil, Samuel (2020) Constraint-Based Testing and Tail Tests for Measurement-Based Probabilistic Timing Analysis. PhD thesis, University of York.

Johnson, Nikita Laura ORCID: https://orcid.org/0000-0002-0058-2958 (2020) Assuring Safety and Security. PhD thesis, University of York.

Law, Stephen (2020) Advancing mixed criticality scheduling techniques to support industrial applications. PhD thesis, University of York.

Madani, Sina ORCID: https://orcid.org/0000-0001-9166-2584 (2020) Parallel and Distributed Execution of Model Management Programs. PhD thesis, University of York.

Meyer, Rachel ORCID: https://orcid.org/0000-0001-7331-9002 (2020) Exploring Toxic Behaviour in Online Multiplayer Video Games. MSc by research thesis, University of York.

Peng, Shuyi (2020) Stock Forecasting using Neural Network with Graphs. MSc by research thesis, University of York.

Pereira, Jason ORCID: https://orcid.org/0000-0002-0568-5737 (2020) Quantum channel simulation and discrimination with applications to quantum communications. PhD thesis, University of York.

Rainer, Jonathan ORCID: https://orcid.org/0000-0002-0584-4574 (2020) Using Tracing To Enhance Data Cache Performance in CPUs: The creation of a Trace-Assisted Cache to increase cache hits and decrease runtime. PhD thesis, University of York.

Simpson, Andrew Lee ORCID: https://orcid.org/0000-0003-2296-6626 (2020) Improving the usability of Medical Infrastructure Software: the redesign of a Linear Accelerator machine log. MSc by research thesis, University of York.

Waters, Stuart Clive (2020) Exploring mechanisms in VR games to change attitudes towards outgroups: contact, cooperation and embodiment. MSc by research thesis, University of York.

Wilkinson, Kieran Neil ORCID: https://orcid.org/0000-0003-2606-7003 (2020) Analysing and reducing the limitations of continuous-variable quantum cryptography and quantum networks. PhD thesis, University of York.

Yohannis, Alfa ORCID: https://orcid.org/0000-0003-4425-3731 (2020) Change-Based Model Differencing and Conflict Detection. PhD thesis, University of York.