SCEDT School Executive Team

Search results

• Web user requirements: a support framework for students

  Bingham, A. (Author), Griffiths, G. (Supervisor), 1 Jun 2012

  Student thesis: Doctoral Thesis

  File

• Proof-theoretical observations of BI and BBI base-logic interactions, and development of phased sequence calculus to define logic combinations

  Arisaka, R. (Author), Qin, S. (Supervisor), 12 Aug 2013

  Student thesis: Doctoral Thesis

  File

• Reasoning About C11 Programs with Fences and Relaxed Atomics

  He, M. (Author), Qin, S. (Supervisor) & Ferreira, J. (Supervisor), 16 Feb 2018

  Student thesis: Doctoral Thesis

• Physico-chemical characterisation of residues from thermal waste treatments (high temperature incineration and pyrolysis) and their impact on mechanical performance of cement-based mortars

  Wijesekara, K. K. (Author), Sargent, P. (Supervisor), Hughes, D. (Supervisor) & Ennis, C. (Supervisor), 8 Dec 2023

  Student thesis: Doctoral Thesis

  File