Student theses
Reasoning About C11 Programs with Fences and Relaxed Atomics
Author: He, M., 16 Feb 2018Supervisor: Qin, S. (Supervisor) & Ferreira, J. (Supervisor)
Student thesis: Doctoral Thesis
Computer aided analysis of paraspinal electromyography
Author: Coxon, A., 8 Feb 2013Supervisor: Longstaff, J. (Supervisor)
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
Author: Arisaka, R., 12 Aug 2013Supervisor: Qin, S. (Supervisor)
Student thesis: Doctoral Thesis
File