The following are some of the theses I have co-supervised.
Generic Access to Symbolic Computing Services (PDF)
Alexandru Carstea
PhD thesis, School of Mathematical and Computer Sciences, Heriot-Watt University, September, 2012.
Abstract
Architecture Aware Parallel Programming in Glasgow Parallel Haskell (GPH)(PDF)
Mustafa Aswad
PhD thesis, School of Mathematical and Computer Sciences, Heriot-Watt University, August, 2012.
Abstract
The Design and Performance Evaluation of a Proactive Multipath Routing Protocol for Mobile Ad Hoc Networks(PDF)
Ali Etorban
PhD thesis, School of Mathematical and Computer Sciences, Heriot-Watt University, May, 2012.
Abstract
Autonomous Mobility in Multilevel Networks(PDF)
Natalia Chechina
PhD thesis, School of Mathematical and Computer Sciences, Heriot-Watt University, September, 2011.
Abstract
Extensions of Nominal Terms(PDF)
Dominic Mulligan
PhD thesis, School of Mathematical and Computer Sciences, Heriot-Watt University, September, 2011.
Abstract
Solving Key Design Issues for Massively Multiplayer Online Games on Peer-to-Peer Architectures (PDF)
Lu Fan
PhD thesis, School of Mathematical and Computer Sciences, Heriot-Watt University, July, 2009.
Abstract
Cost Driven Autonomous Mobility (PDF)
Xiao Yan Deng
PhD thesis, School of Mathematical and Computer Sciences, Heriot-Watt University, June, 2007.
Abstract
Implementing High-level Parallelism on Computational Grids (PDF)
Abdallah Deeb I. Al Zain
PhD thesis, School of Mathematical and Computer Sciences, Heriot-Watt University, March 2006.
Abstract
Mobile Computation in a Purely Functional Language(PDF)
Andre Rauber Du Bois
PhD thesis, School of Mathematical and Computer Sciences, Heriot-Watt University, May 2006.
Abstract
Data Mining Clustering of High Dimensional Databases with Evolutionary Algorithms(PDF)
Ioannis Sarafis
PhD thesis, School of Mathematical and Computer Sciences, Heriot-Watt University, August 2005.
Abstract
Multi-architecture Parallel Programming using GpH, a Functional Language(PDF)
Mustafa Khalifa Aswad
MPhil thesis, School of Mathematical and Computer Sciences, Heriot-Watt University, January 2003.
Abstract
Improving Polymorphic Type Explanations
Jun Yang
PhD thesis, Department of Computing and Electrical Engineering, Heriot-Watt University, October 2001.
Granularity in Large-Scale Parallel Functional Programming
Hans Wolfgang Loidl
PhD thesis, Department of Computing Science, University of Glasgow,
March 1998.
Abstract
Object-oriented Language Design and Processing
Daniel Kim Chung Chan
PhD Thesis, Glasgow University, September 1994.
A Functional Database
D.Phil. Thesis, Oxford University, December 1989.
Available as
Technical Monograph PRG-82, Programming Research Group, 8-11 Keble Road, Oxford OX1 3QD, England.
Or,
Technical Report CSC 90/R10 Computer Science Department, Glasgow University, Glasgow, Scotland.