Degrees by Research

This page lists all of the theses submitted for degrees by research - including DPhil/PhD, EngD, MPhil and MSc by Research.

2021 | 2020
2019 | 2018201720162015
20142013201220112010
2009 | 2008200720062005
20042003200220012000
1999 | 1998199719961995
19941993199219911990
1989 | 1988198719861985
19841983 | 198219811980
1979 | 1978 | 1977 | 1976 | 1975
1974197319721971

2021

Author Title Type
Zhu, Dizhong 3D shape reconstruction using a polarisation reflectance model in conjunction with shading and stereo. PhD
Handhayani, Teny A Kernel-based Approach for Learning Causal Graphs From Mixed Data Containing Missing Values PhD
Imam, Niddal Adversary-Aware, Machine Learning-based Detection of Spam in Twitter Hashtags. PhD
Sanchez Pina, Beatriz Angelica Conservative and traceable executions of heterogeneous model management workflows. PhD
Yonbawi, Saud Decentralised Control for Distributed Self-adaptive Systems with Strict Quality-of-Service Requirements PhD
Kumari, Shringi Design Inspiration for Motivating Uncertainty in Games using Stage Magic Principles. PhD
Jia, Yan Embracing Machine Learning in Safety Assurance in Healthcare PhD
Al-Rossais, Nourah Intelligent, Item-Based Stereotype Recommender System PhD
Selviandro, Nungki Metamodel-driven development of an assurance case notation. PhD
Wang, Di Neural network based taskoriented dialogue system PhD
Yu, Ye Physics-based vision meets deep learning PhD
Ioulianou, Philokypros Protecting IoT networks against routing attacks. PhD
Karsa, Athena Quantum target detection PhD
Cusveller, Mischa Soliton computing in the Toda lattice: controllable delay and logic gates MPhil
Algul, Enes Understanding RNA PhD
West, Daniel Using self-organising maps to cluster complex biological data MSc by research
Wulandari, Gia Septiana Verification of graph programs with monadic second-order logic. PhD

2020

Author Title Type
Algahtani, Eyad A Scalable and Parallel Inductive Learner in Description Logic. PhD
Law, Stephen Advancing mixed criticality scheduling techniques to support industrial applications PhD
Wilkinson, Kieran Neil Analysing and reducing the limitations of continuous-variable quantum cryptography and quantum networks PhD
Johnson, Nikita Laura Assuring Safety and Security PhD
Burden, John Automating abstraction for potential-based reward shaping PhD
Yohannis, Alfa Change-Based Model Differencing and Conflict Detection PhD
Jiménez Gil, Samuel Constraint-Based Testing and Tail Tests for Measurement-Based Probabilistic Timing Analysis. PhD
Waters, Stuart Clive Exploring mechanisms in VR games to change attitudes towards outgroups: contact, cooperation and embodiment. MSc by research
Simpson, Andrew Lee Improving the usability of Medical Infrastructure Software: the redesign of a Linear Accelerator machine log MSc by research
Madani, Sina Parallel and Distributed Execution of Model Management Programs PhD
Pereira, Jason Quantum channel simulation and discrimination with applications to quantum communications. PhD
Beeston, Jen Social experiences of people with disabilities in playing (in)accessible digital games PhD
Peng, Shuyi Stock Forecasting using Neural Network with Graphs MSc by research
Abba, Abdulrazaq Temporal Reasoning About Robotics Applications: Refinement and Temporal Logic. PhD
Rainer, Jonathan Using Tracing To Enhance Data Cache Performance in CPUs: The creation of a Trace-Assisted Cache to increase cache hits and decrease runtime. PhD

2019

Author Title Type
Alotaibi, Sarah A Biophysically-based Skin Reflectance Model for Face Analysis PhD
Windsor, Matthew Bernard A framework for automated concurrency verification PhD
Alhwikem, Faisal Haji M. A Novel Approach to Mutation Operator Design for MDE Languages PhD
White, Sean P A Structured Methodology for Systematically Describing Health Informatics Hazards MSc by research
ABDULLAH, NORLIZA BINTI Android Malware Detection System using Genetic Programming PhD
Mönning, Nils Deep Complex-Valued Neural Networks for Natural Language Processing PhD
Sardelich Nascimento, Marcelo Deep learning approaches in Finance: Forecasting volatility and enhancing Quantitative trading strategies PhD
Sandoval Guzman, Leonardo Franco Development of a scale to assess the usability of government One-Stop Portals. PhD
Atkinson, Timothy Evolving Graphs by Graph Programming. PhD
Sharma, Mudita Learning to Control Differential Evolution Operators PhD
Kaul, Chaitanya Models of Visual Attention in Deep Residual CNNs PhD
Kocacoban, Durdane Online Causal Structure Learning in the Presence of Latent Variables PhD
Sole, Michael Ordinal Shape Coding and Correlation for Orientation-invariant 2D Shape Matching EngD
ALAHMARI, SULTAN Reinforcement Learning for Argumentation PhD
Li, Mao Reinforcement learning from internal, partially correct, and multiple demonstrations PhD
Chatrangsan, Maneerut Tablet computers for older people in Thailand and the UK: usability and effects of different text presentations PhD
Jupit, Amelia Jati Robert The formation of projective identity through meaningful choices in digital games PhD
Wang, Zhiwei Thermodynamics of dynamical black holes PhD
Merdenyan, Burak Understanding and measuring password management behaviour PhD
McMenamin, Adrian Ciaran VIRTUAL MEMORY ON A MANY-CORE NOC PhD

 

2018

Author Title Type
Zhao, Shuai A FIFO Spin-based Resource Control Framework for Symmetric Multiprocessing PhD
Coates, Glenn A Syntax Directed Imperative Language Microprocessor for Reduced Power Consumption and Improved Performance PhD
Laurenza, Riccardo Advances in the theory of channel simulation: from quantum communication to quantum sensing PhD
Baxter, James Ahead-of-Time Algebraic Compilation for Safety-Critical Java PhD
Rivett, Roger Automotive Mechatronic Safety Argument Framework EngD
Hristakiev, Ivaylo Confluence Analysis for a Graph Programming Language PhD
Papanastasiou, Panagiotis Continuous-variables quantum cryptography: asymptotic and finite-size security analysis PhD
Alyasiri, Hasanen Developing Efficient and Effective Intrusion Detection System using Evolutionary Computation PhD
Md Mahtar, Ili Farhana Digital text presentation and navigation to support people with dyslexia PhD
Joyce, Russell Efficient and predictable high-speed storage access for real-time embedded systems EngD
Wei, Hao Evolving Test Environments to Identify Faults in Swarm Robotics Algorithms PhD
Dahlan, Hadi Affendy Facial Age Analysis using an Absorptive Rough Laminar Light Scattering Model PhD
Qu, Haizhou Financial Forecasting Using Time Series and News PhD
Dai, Xiaotian Flexible and Adaptive Real-Time Task Scheduling in Cyber-Physical Control Systems PhD
FANG, XINWEI Improving data quality for low-cost environmental sensors PhD
Althubaiti, Saja Improving the Design and Usability of Password Creation Systems PhD
Hu, Chengliang Inferring Cerebral White Matter Fibres from Diffusion Tensor Magnetic Resonance Images PhD
Vachhani, Savan Pankajkumar Investigation and Optimization of Novel Stack Structures PhD
Zhang, Chao Learning Non-rigid, 3D Shape Variations using Statistical, Physical and Geometric Models PhD
Komninos, Alexandros Leveraging structure for learning representations of words, sentences and knowledge bases EngD
Leong, Chris Wai Kiat Managing Epistemic Uncertainties in the Underlying Models of Safety Assessment for Safety-Critical Systems PhD
Cutting, Joe Measuring the experience of playing self-paced games PhD
Paterson, Colin Observation-enhanced verification of operational processes PhD
Hollier, Garry Phillip On the Use of Continuous Wavelet Transforms to Analyse Accelerometer Data Collected by the NAT Device to Characterise Parkinson's Disease EngD
Qomariyah, Nunung Nurul Pairwise Preferences Learning for Recommender Systems PhD
Jiang, Zhe Real-Time I/O System for Many-core Embedded Systems PhD
Makrai, Gabor Reducing the Errors in High Resolution Environmental Modelling PhD
Dale, Matthew Reservoir Computing in Materio PhD
Walker, M. S. Revealing Behaviours of Concurrent Functional Programs by Systematic Testing PhD
Mason, George Safe Reinforcement Learning Using Formally Verified Abstract Policies PhD
Krasetv, Mihail Svilenov Spiky RBN: A Sub-symbolic Artificial Chemistry PhD
Wang, Jianjia Statistical Mechanics for Network Structure and Evolution PhD
Dai, Hang Statistical Modelling of Craniofacial Shape PhD
Li, Zhenyu Steganalytic Methods for 3D Objects PhD
Douthwaite, Mark The Assurance of Bayesian Networks for Mission Critical Systems PhD
Cope, Thomas The Role of Entanglement in Quantum Communication, and Analysis of the Detection Loophole PhD
Kokkinakis, AV Videogame Correlates of Real Life Traits and Characteristics PhD
Bas, Anil What Does 2D Geometric Information Really Tell Us About 3D Face Shape? PhD

 

2017

Author Title Type
Xie, Hanting A generic data representation for predicting player behaviours PhD
Algarni, Abdullah Fayez H A Machine Learning Framework for Optimising File Distribution Across Multiple Cloud Storage Services PhD
Xu, Hao A Semi-partitioned Model for Scheduling Mixed Criticality Multi-core Systems PhD
Timperley, Christopher S Advanced Techniques for Search-Based Program Repair PhD
Fleming, Thomas David Allocation and Optimisation of Mixed Criticality Cyclic Executives PhD
Sanchez-Barbudo Herrera, Adolfo Auto-tooling to Bridge the Concrete and Abstract Syntax of Complex Textual Modeling Languages EngD
Balmer, Mark Business Decision Insight With Causal Bayesian Networks MSc by research
Mendis, Hashan Roshantha Dynamic Resource Management of Network-on-Chip Platforms for Multi-stream Video Processing EngD
Ellison, Martyn Evaluating Cloud Migration Options for Relational Databases EngD
Ajagbe, Muideen Exploring Model Driven Engineering from Behavioural Models MSc by research
Arnone, Antonio Feasibility of Accelerator Generation to Alleviate Dark Silicon in a Novel Architecture PhD
Pugh, Joseph Information journeys in digital archives EngD
Layas, Fatma A M It’s Not What You Say, It’s What You Do: The Motivation of The Crowd to Participate in a Crowdsourcing Project to Support Blind and Partially Sighted Students PhD
Chen, Yujie Optimisation for Large-scale Maintenance, Scheduling and Vehicle Routing Problems EngD
Mei, Haitao Real-Time Stream Processing in Embedded Systems PhD
Srivisut, Komsan Search-Based Temporal Testing of Multicore Applications PhD
Limberger, Frederico Artur Spectral Signatures for Non-rigid 3D Shape Retrieval PhD
Hoyos Rodriguez, Horacio Synthesis of Execution Plans for the QVT Core Language EngD
Matela Braquehais, Rudy Tools for Discovery, Refinement and Generalization of Functional Properties by Enumerative Testing PhD
Savva, Andreas Understanding accessibility problems of blind users on the web PhD
Swallow, David Understanding and Supporting Web Developers: Working Practices and Resources for the Creation and Evaluation of Accessible Websites PhD
Abdullah Sani, Zaidatol Haslinda Using Technology to Address the Problems of Malnutrition and Dehydration in Older Adults PhD

2016

Author Title Type
Chan, Yu  A Distributed Stream Library for Java 8. PhD
Denisova, Alena Adaptive Technologies in Digital Games: The Influence of Perception of Adaptivity on Immersion PhD
Wei, Ran  An Extensible Static Analysis Framework for Automated Analysis, Validation and Performance Improvement of Model Management Programs. PhD
Sephton, Nicholas Applying Artificial Intelligence and Machine Learning Techniques to Create Varying Play Style in Artificial Game Opponents EngD
Kakaria, Aastha  Boids On Wheels A Proof of Concept Study of the Boid as a Vehicle. MSc by research
Rusilowicz, Martin James Computational Tools for the Processing and Analysis of Time-course Metabolomic Data EngD
EKEMBE NGONDI, Gerard Denotational Semantics of Mobility in Unifying Theories of Programming (UTP) PhD
Stovold, James  Distributed Cognition as the Basis for Adaptation and Homeostasis in Robots. PhD
Aydin, Muhammed  Engineering Threat Modelling Tools for Cloud Computing. MPhil
Ye, Cheng  Entropic Characterization and Time Evolution of Complex Networks. PhD
Millard, Alan  Exogenous Fault Detection in Swarm Robotic Systems. PhD
Costa Silva, Gabriel  Factors that Impact the Cloud Portability of Legacy Web Applications. PhD
SHIYAM, IBRAHIM  Formal analysis of confidentiality conditions related to data leakage PhD
Ma, Yunfeng  Hardware-accelerated Evolutionary Hard Real-Time Task Mapping for Wormhole Network-on-Chip with Priority-Preemptive Arbitration. PhD
Stephens, Kyle Human and Group Activity Recognition from Video Sequences PhD
CHEN, LEI Identifying The Usage Anomalies For ECG-Based Healthcare Body Sensor Networks PhD
Ogunyomi, Babajide J.  Incremental Model-to-Text Transformation. PhD
Doss, Osama  INTEGRATION OF SOFTWARE SAFETY ASSURANCE PRINCIPLES WITH AN AGILE DEVELOPMENT METHOD. MSc by research
Guan, Hao  Local Features, Structure-from-motion and View Synthesis in Spherical Video PhD
Ye, Kangfeng  Model Checking of State-Rich Formalisms PhD
Bramwell-Dicks, Anna Felicity  Music While You Work: The Effect of Music on Typing Performance and Experience. PhD
Huang, Zhan  Mutation for Multi-Agent Systems. PhD
Almatary, Hesham  Operating System Kernels on Multi-core Architectures. MSc by research
Dai, Chengliang  Power Efficient Data Compression Hardware for Wearable and Wireless Biomedical Sensing Devices. PhD
Zendle, David  Priming and Negative Priming in Violent Video Games. PhD
Spedalieri, Gaetana  Quantum hypothesis testing: Theory and applications to quantum sensing and data readout. PhD
Gerasimou, Simos  Runtime Quantitative Verification of Self-Adaptive Systems. PhD
Luckcuck, Matthew  Safety-Critical Java Level 2: Applications, Modelling, and Verification. PhD
Evripidou, Christos  Scheduling for Mixed-criticality Hypervisor Systems in the Automotive Domain. EngD
Popoola, Saheed Olatunji  SEMI-AUTOMATED TEST MODEL GENERATION. MSc by research
Panikian, Garabet  Statistical Modelling of Marine Fish Populations and Communities. PhD
Zou, Xueyi  Supporting Validation of UAV Sense-and-Avoid Algorithms with Agent-Based Simulation and Evolutionary Search. PhD
Ibrahim, Rasha  The Effect of Personality on SMS Phishing Vulnerability. PhD
Mourdjis, Philip James  The Pickup and Multiple Delivery Problem. EngD
Barmpis, Konstantinos  Towards Scalable Model Indexing. EngD
Zolotas, Athanasios  Type Inference in Flexible Model-Driven Engineering. EngD
Kamollimsakul, Sorachai Web Design Guidelines for Text Presentation for Older People: Empirical Evidence from Thailand and the UK PhD

2015

Author Title Type
Plumbridge, Gary  Actor-Oriented Programming for Resource Constrained Multiprocessor Networks on Chip. PhD
Scopes, Peter D  Automated Mixed Resolution Acyclic Tiling in Reinforcement Learning PhD
Taylor, Paul  Autonomic Business Processes EngD
Pakir Mohamad, Rafidah  Capacity Planning in Virtualised Environments Using Model Driven Engineering PhD
Elgabou, Hani  Encoding The Lexicographic Ordering Constraint in Satisfiability Modulo Theories. MSc by research
Ghazzawi, Hashem Ali  Feedback Admission Control for Workflow Management Systems EngD
Moalla, Firas  Fresh Techniques for Memory Profiling of Lazy Functional Programs. MSc by research
Russell, Benjamin James  Geometric Control For Analysing the Quantum Speed Limit and the Physical Limitations of Computers PhD
Bak, Christopher  GP 2: Efficient Implementation of a Graph Programming Language. PhD
Calderon, Jose Manuel  Improving Implicit Parallelism PhD
Sudev, Bharath  Improving Packet Predictability of Scalable Network-on-Chip Designs without Priority Pre-emptive Arbitration. PhD
Aljohani, ms  Learning Graphical Models Using Prior Knowledge PhD
Gettings, Oliver  Mixed Criticality Systems with Weakly-Hard Constraints MSc by research
Rafiq, Yasmeen  Online Markov Chain Learning for Quality of Service Engineering in Adaptive Computer Systems PhD
Fargus, Alexander  Optimisation of Correlation Matrix Memory Prognostic and Diagnostic Systems EngD
Garside, Jamie  Real-Time Prefetching on Shared-Memory Multi-Core Systems PhD
AL-Humam, Abdulaziz  Service-Oriented Architectures for Safety-Critical Systems PhD
Wu, Hao  The Computational Principles of Learning Ability MSc by research
Ottaviani, Carlo  Unconditional Security of Continuous-Variable Quantum Cryptography Item availability may be restricted. PhD
SUN, HAO  Use of Consumer-grade Depth Cameras in Mobile Robot Navigation. MPhil
Yang, Baoguo  User Information Modelling in Social Communities and Networks PhD

2014

Author Title Type
Caliskanelli, Ipek  A Bio-inspired Load Balancing Technique for Wireless Sensor Networks PhD
Taromirad, Masoumeh  A Modelling Approach to Multi-Domain Traceability PhD
Williams, Richard Alun  An Agent-Based Model of the IL-1 Stimulated Nuclear Factor-kappa B Signalling Pathway PhD
De Oliveira Salazar Ribeiro, Pedro Fernando  Angelic Processes PhD
Katsura, Akihiro  Answer Re-ranking with bilingual LDA and social QA forum corpus MSc by research
Mohd Azmi, Nurulhuda Firdaus  ARTIFICIAL IMMUNE SYSTEMS FOR INFORMATION FILTERING: FOCUSING ON PROFILE ADAPTATION PhD
Lunniss, William Richard Elgon  Cache Related Pre-emption Delays in Embedded Real-Time Systems EngD
Marriott, Chris  Checking Memory Safety of Level 1 Safety-Critical Java Programs using Static-Analysis without Annotations PhD
Khan, Afnan Ullah  Data Confidentiality and Risk Management in Cloud Computing EngD
Fairbairn, M L  Dependability of Wireless Sensor Networks PhD
Malialis, Kleanthis  Distributed Reinforcement Learning for Network Intrusion Response PhD
Mohd Sayuti, M. Norazizi Sham  Early Design Space Exploration of Hard Real-Time Embedded Networks-on-Chip PhD
Aziz, Furqan  Edge-based Operators for Graph Characterization PhD
Burkimsher, Andrew Marc  Fair, responsive scheduling of engineering workflows on computing grids EngD
Cheng, Shu  Formally modelling and verifying the FreeRTOS real-time operating system PhD
Abusnina, Ali  Gaussian Process Adaptive Soft Sensors and their Applications in Inferential Control Systems EngD
Georgiou, Theodoros  Human haptic perception in virtual environments: An investigation of the interrelationship between physical stiffness and perceived roughness MSc by research
Nordin, Aliimran  Immersion And Players' Time Perception in Digital Games PhD
Bai, Lu  Information Theoretic Graph Kernels PhD
Moyo, Daniel  Investigating The Dynamics of Hepatic Inflammation Through Simulation PhD
Efthymiadis, Kyriakos  Knowledge-Based Reward Shaping with Knowledge Revision in Reinforcement Learning PhD
Alkandari, Fatima A A A  Model-Driven Engineering for Analysing, Modelling and Comparing Cloud Computing Service Level Agreements PhD
Whitehouse, Daniel  Monte Carlo Tree Search for games with Hidden Information and Uncertainty PhD
Al-Oqayli, Taha  Multiprocessor-safe Wait-free Queue in RTSJ PhD
Ahmad, Mian Asbat  New Strategies For Automated Random Testing PhD
Burles, Nathan  Pattern Recognition Using Associative Memories PhD
Wong, Hing Choi  Schedulability Analysis for the Abort-and-Restart Model PhD
Afshar Dodson, Ali James Elliot  Schelling's Bounded Neighbourhood Model: A systematic investigation PhD
Hudson, Matthew  Social Presence in Team-Based Digital Games EngD
Clement, Stephen J  Sparse Shape Modelling for 3D Face Analysis PhD
Soboczenski, Frank  The Effect of Interface Elements on Transcription Tasks to Reduce Number-Entry Errors PhD
Seneler, Cagla  THE IMPACT OF LEARNING STYLES AND CULTURAL BACKGROUND ON USERS’ EXPERIENCE OF WEBSITES PhD
Burton, Frank R  Trade-offs in System of Systems Acquisition EngD
Bandur, Victor  Unifying Theories of Logics with Undefinedness PhD

2013

Author Title Type
Lin, Shiyao. A flexible multprocessor resource sharing framework for Ada PhD
Williams, James R. A novel representation for search-based model-driven engineering PhD
Owen, Jennifer. An investigation of loose coupling in evolutionary swarm robotics PhD
Zhao, Yining. Behavioural access control in distributed environments PhD
Lim, Tiong Hoo. Dependable network protocols in wireless sensor networks PhD
Hadley, Mark  Empirical Evaluation of the Effectiveness and Reliability of Software Testing Adequacy Criteria and Reference Test Systems PhD
Kamali Sarvestani, Amir Mansoor  Evaluating Techniques for Wireless Interconnected 3D Processor Arrays PhD
Fleming, Thomas  Extending Mixed Criticality Scheduling MSc by research
Hind, Richard  FEASIBILITY STUDY ON IMPLEMENTING THE “BALL COMPUTER” MSc by research
Buykx, Lucy. Interactive recipe designs: supporting cooks with better designs PhD
Griffin, David Jack  Lossy Compression applied to the Worst Case Execution Time Problem PhD
Mostafa, Dina Salah El Din Nasr. Maturity models in the context of integrating agile development processes and user centred design PhD
Patrick, Matthew Timothy. Mutation-optimised subdomains for test data generation and program analysis PhD
Kim, Seyeon. Node-oriented dynamic memory management for real-time systems on ccNUMA architecture systems PhD
Devlin, Sam. Potential-based reward shaping for knowledge-based, multi-agent reinforcement learning PhD
Reich, Jason Stephen. Property-based testing and properties as types: a hybrid approach to supercompiler verification PhD
Reinhardt, Derek Wade. Safety assurance of aviation systems PhD
Haseeb, Muhammad. Spectral representation for matching and recognition PhD
Cervantes, Marco Polo Perez. Static methods to check low-level code for a graph reduction machine PhD
Perez Cervantes, Marco Polo  Static Methods to Check Low-Level Code for a Graph Reduction Machine PhD
Chu, Yanching  Supporting Deliberative Real-Time AI Systems: A Fixed Priority Scheduling Approach MPhil
Poulding, Simon Marcus. The use of automated search in deriving software testing strategies PhD
Abdul Sani, Asmiza  Towards Automated Formal Analysis of Model Transformation Specifications PhD
Hutchesson, Stuart Graham Trusted product lines PhD
Poskitt, Christopher M. Verification of graph programs PhD

2012

Author Title Type
McLaughlin, James David. Applications of search techniques to crytanalysis and the construction of cipher components PhD
Butler, Matthew. Computational intelligence for analysis concerning financial modelling and the adaptive market hypothesis PhD
Fang, Yan. Data clustering and graph-based image matching methods PhD
Freire, André Pimenta Disabled people and the Web : user-based measurement of accessibility PhD
Lau, Hui Keng Error detection in swarm robotics : a focus on adaptivity to dynamic environments PhD
Sun, Linling Establishing confidence in safety assessment evidence PhD
Malik, Haseeb  Extending the Real Time Specification for Java for Cache Coherent NUMA Architectures PhD
Shahid, Ahmad Raza Extraction of linguistic resources from multilingual corpora and their exploitation PhD
Zhang, Zhihong. Feature selection from higher order correlations PhD
Gomes, Artur Oliveira Formal specification of the ARINC 653 architecture using circus MSc by research
Miyazawa, Alvaro Heiji Formal verification of implementations of stateflow charts PhD
Han, Lin Graph generative models from information theory PhD
Aldrian, Oswald Inverse rendering of faces with a 3D morphable model PhD
Alsanie, Waleed. Learning failure-free PRISM programs PhD
Pandey, Shailesh. Learning to rank and order answers to definition questions PhD
Othman, Mohd Kamal Measuring visitors' experiences with mobile guide technology in cultural spaces PhD
Ismail, Azniah Binti Minimally supervised techniques for bilingual lexicon extraction PhD
Xu, Weiping  Non-Euclidean Dissimilarity Data in Pattern Recognition PhD
Banks, Michael James On confidentiality and formal methods PhD
Reddy, Siva Polysemy in compositional distributional semantics MSc by research
Zhang, Lichi Shape and reflectance estimation from dialectric materials using statistical analysis and polarisation PhD
Huang, Rui Shape from shading under relaxed assumptions PhD
Ghetiu, Teodor  Structured Argumentation for Simulation-Based Research PhD
Gul-E-Saman Surface analysis using polarisation PhD
Harwood, William Thomas. The logic of trust PhD
Nellis, Adam Max. Towards meta-evolution via embodiment in artificial chemistries PhD
Staunton, Jan Using estimation of distribution algorithms to detect concurrent faults PhD

2011

Author Title Type
Patel, Ankur 3D morphable models : data pre-processing, statistical analysis and fitting PhD
YANG, YUE  Ancient Protein Identification and Mass Spectrometry Data Analysis MPhil
Gudivada, Sravan Kumar Naidu  Applications of Diffusion Wavelets MSc by research
Creusot, Clement Automatic landmarking for non-cooperative 3D face recognition PhD
Li, Shuguang Beyond question answering: understanding the information need of the user PhD
Greaves, Richard Brian Computational modelling of treg networks in experimental autoimmune encephalomyelitis MSc by research
Hobson, Stephen Correlation matrix memories : improving performance for capacity and generalisation PhD
Richardson, Thomas Developing dynamically reconfigurable real-time systems with real-time OSGi (RT-OSGi) PhD
Arinbjarnar, Freyr  Directed Emergent Drama PhD
Montano, Giuseppe Dynamic reconfiguration of safety-critical systems : automation and human involvement PhD
Hoverd, Tim Environment oriented simulation PhD
Matragkas, Nikolaos Establishing and maintaining semantically rich traceability : a metamodelling approach PhD
Lim, Yow Tzu Evolving security policies PhD
Aloraini, Adel Abdullah M. Extending the graphical representation of four KEGG pathways for a better understanding of prostate cancer using machine learning of graphical models PhD
Ceolin, Simone Regina Facial shape space using statistical models from surface normals PhD
Ismail, Amelia Ritahani  Immune-inspired self-healing swarm robotic systems PhD
Zhang, Qing Integrated information retrieval : an overview MSc by research
Mesidis, Paris Mapping of real-time applications on network-on-chip based MPSOCS MSc by research
Naylor, Rebecca Frances. Neural pipelines: for the co-ordination of activity in a multi-layered neural network PhD
Abd Malik, Sofianiza Binti Older people, mobile technology and culture : an investigation of appropriate methods and personas in Malaysia and the UK PhD
Pandey, Suraj Jung Opinion analysis through constraint optimisation MSc by research
Harbird, Lishan Patterns and model transformation tools for designing contractual state machines PhD
Ribeiro, Richard Duarte. Recurrent communities of practice (RCoPs) and transient core members (TCMs) : temporal behaviour of co-located and on-line communities of practice PhD
Kan, Jing Spatial-temporal source reconstruction for magnetoencephalography PhD
El Ghawalby, Hewayda Spectral geometry for structural pattern recognition PhD
Read, Mark N. Statistical and modelling techniques to build confidence in the investigation of immunology through agent-based simulation PhD
Can, Burcu Statistical models for unsupervised learning of morphology and POS tagging PhD
Rose, Louis Mathew. Structures and processes for managing model-metamodel co-evolution PhD
Zabos, Attila Temporal partitioning of flexible real-time systems PhD
Tabatabaie, Malihe  Towards Process Models for Goal-Based Development of Enterprise Information Systems Architectures PhD
Basnet, Santa B. Unsupervised morpheme segmentation in a non-parametric Bayesian framework MSc by research
Gilliam, Tara Writer identification in medieval and modern handwriting PhD

2010

Author Title Type
Grum, Matthew 3-D reconstruction of multi-object scenes from multiple images PhD
Ju, Quan A high performance automatic face recognition system using 3D shape information PhD
Garnett, Philip  Agent Based Modelling of Auxin Transport Canalisation PhD
Booth, Peter Edward AZDV : map overlay routing in vehicular ad hoc networks MSc by research
AHMAD, TOUQEER  Combining Probabilistic Shape-from-Shading & Statistical Facial Shape Models MSc by research
Wartak, Szymon  Dense Optical Flow Estimation using Diffusion Distances. MSc by research
Alrahmawy, Mohammed Fathi Design patterns and component framework for building RTSJ-based real-time middleware PhD
Gray, Ian Developing embedded software using compile-time virtualisation PhD
Ren, Peng Developments in structural learning using Ihara coefficients and hypergraph representations PhD
Sen, Sevil Evolutionary computation techniques for intrusion detection in mobile ad hoc networks PhD
Dutta, Abhishek  Face Shape and Reflectance Acquisition using a Multispectral Light Stage. MSc by research
Lisagor, Oleg Failure logic modelling : a pragmatic approach PhD
Grześ, Marek Improving exploration in reinforcement learning through domain knowledge and parameter analysis PhD
Ogungboye, Agah Ejura Improving usability in a grid-enabled environment MPhil
Hodhod, Rania Interactive narrative for adaptive educational games : architecture and an application to character education PhD
Huertas, Marcelo Romero Landmark localisation in 3D face data PhD
Weeks, Andrew Neutral emergence and coarse graining cellular automata PhD
Yu, Ke Real-time operating system modelling and simulation using SystemC PhD
Luo, Ming Robust and blind 3D watermarking PhD
Subramaniam, Nitya Scene segmentation using polarisation information MSc by research
Hudson, Matthew Semiotics and syringe pumps MSc by research
Lampert, Thomas A. Spectrogram track detection : an active contour algorithm PhD
Korkontzelos, Ioannis Unsupervised learning of multiword expressions PhD

2009

Author Title Type
Perna, Juan Ignacio A Verified compliter for Handel-C PhD
Zhang, Fengxiang Analysis for EDF scheduled real-time systems PhD
Kim, Min Seong Asynchronous event handling and the real-time specification for Java PhD
White, Roderick Grenville Capturing the temporal properties of complex systems : an evaluation of the timebands approach PhD
Dong, Xun Defending against phishing attacks PhD
Lay, Nicholas Christopher Enhancing real-time embedded systems development using artificial immune systems PhD
White, David H. Generative models for graphs PhD
White, David R. Genetic programming for low-resource systems PhD
Powley, Edward Jack Global properties of cellular automata PhD
Haines, Tom S. F. Integrated shape-from-shading & stereopsiS PhD
Haines, Tom SF  Integrating Shape-from-Shading & Stereopsis PhD
Mühlberg, Jan Tobias Model checking pointer safety in compiled programs PhD
Habli, Ibrahim Model-based assurance of safety-critical product lines PhD
Aydal, Emine Gökçe Model-based robustness testing of black-box systems PhD
Servin, Arturo Lev Multi-agent reinforcement learning for intrusion detection PhD
Newell, Christopher H. Place, authenticity, and time : a framework for liveness in synthetic speech PhD
Marref, Amine Predicted worst-case executive-time analysis PhD
Templeton, John. Principled tuning and structuring methods for sensornets PhD
Tate, Jonathan  Principled Tuning And Structuring Methods For Sensornets PhD
Shi, Zheng Real-time communication services for networks on chip PhD
Fu, Rong Robust speaker diarization for single channel recorded meetings PhD
Zuhily, Areej Scheduling analysis of fixed priority hard real-time systems with multiframe tasks PhD
Emberson, Paul Searching for flexible solutions to task allocation problems PhD
Ghani, Kamran Searching for test data PhD
Wu, Jing Statistical approaches to gender classification in the surface normal domain PhD
Klapaftis, Ioannis Panagiotou Unsupervised concept hierarchy induction : learning the semantics of words PhD

2008

Author Title Type
Rayner, Alfred A data summarisation approach to knowledge discovery PhD
Shackell, Tom Adapting a functional language implementation for improved tracing and portability MPhil
Kolovos, Dimitrios An extensible platform for specification of integrated languages for model management PhD
Andrews, Paul Simon An investigation of a methodology for the development of artificial immune systems : a case-study in immune receptor degeneracy PhD
Usher, Paul Simon Efficiently accessing devices across local area networks PhD
Clegg, Kester Dean Evolving gene expression to reconfigure analogue devices PhD
Harrison, Chandra Marree Exploring emotional web experience : more than just usability and good design PhD
Barber, Heather Generator of adaptive dilemma-based interactive narratives PhD
Zhang, Fan Geometric and probabilistic methods for non-Euclidean image analysis PhD
Dodds, Mike Graph transformation and pointer structures PhD
Naylor, Matthew Francis Hardware-assisted and target-directed evaluation of functional programs PhD
Betts, Adam Hybrid measurement-based WCET analysis using instrumentation point graphics PhD
Andrews, Pierre Y. Persuasive computer dialogue improving human-computer communication PhD
Whitham, Jack Real-time processor architectures for worst case execution time reduction. PhD
Walker, Thomas Arthur Relationship between quantum and classical information PhD
Doshi, Ashish Robust nonlinear diffusion of vector fields PhD
Marchi dos Santos, Osmar Run time detection of timing errors in real-time systems PhD
Ziólko, Bartosz Speech recognition of highly inflective languages PhD
Brewer, Grant Spiking cellular associative neural networks for pattern recognition PhD
Martínez Hernández, Bernadette The systematic generation of channelled models in constraint satisfaction PhD
Mitchell, Neil Transformation and analysis of functional programs PhD
Clark, Graham David Using structured language in the measurement of software projects PhD
Radjenovic, Aleksandar View consistency in architectural models of dependable systems PhD
Reutemann, Ralf Dieter Worst-case execution time analysis for dynamic branch predictors PhD

2007

Author Title Type
Turner, Heather R. A framework for designing multi-level emergence PhD
Zerzelidis, Alexandros A framework for flexible scheduling in real-time middleware PhD
Chen, Hao A search-based framework for security protocol synthesis PhD
Quarteroni, Silvia Advanced techniques for personalised, interactive question answering PhD
Ge, Xiaocheng Agile security for web applications PhD
Patil, Ameet Application-specific resource management in real-time operating systems PhD
Wu, Weihang Architectural reasoning for safety-critical software applications PhD
Wright, Joss Characterising anonymity systems PhD
Ting, I-Hsien Closing the KDD loop to improve website design PhD
Ridge, Edna Design of experiments for the tuning of optimisation algorithms PhD
Clark, Lillian e-cf : a framework for exploring online consumer behaviour PhD
Hall-May, Martin Ensuring safety of systems of systems : a policy-based approach PhD
Li, Yang Face recognition based on histogram and spin image PhD
Zhang, Yang. Garbage collection for flexible hard real-time systems PhD
Holmes, Christopher Kenneth Generative modelling with software product line architectures PhD
Xiao, Bai Heat kernal analysis on graphs PhD
Despotou, Georgios Managing the evolution of dependability cases for systems of systems PhD
Wang, Hongfang Non-rigid motion behaviour learning : a spectral and graphical approach PhD
Ezekiel, Jonathan Arie Parallelising symbolic state-space generation algorithms on shared-memory architectures PhD
Jefferson, Christopher Representations in constraint programming PhD
Grounds, Matthew Jon Scaling-up reinforcement learning using parallelization and symbolic planning PhD
Smith, William A. P. Statistical methods for facial shape-from-shading and recognition PhD
Atkinson, Gary A. Surface shape and reflectance analysis using polarisation PhD
Steinart, Sandra The graph programming language GP PhD
Wilkinson, Andrew Type representations and coordination PhD
Alexander, Robert David Using simulation for systems of systems hazard analysis PhD
Bletsas, Konstantinos Worst-case and best-case timing analysis for real-time embedded systems with limited parallelism PhD

2006

Author Title Type
Abdullah, Mohd Syazwan A UML profile for conceptual modelling of knowledge-based systems PhD
Nasios, Nikolaos Bayesian learning for parametric and kernel density estimation PhD
Udzir, Nur Izura Capability-based coordination for open distributed systems PhD
Borg, Andrew Coarse grain memory management in real-time systems PhD
Alostath, Jasem M. Culture-centred design : integrating culture into human-computer interaction PhD
Castelán, Mario Face shape recovery from a single image view PhD
Aguilar-Soto, Armando Fixed-priority scheduling algorithms with multiple objectives in hard real-time systems PhD
Amálio, Nuno Generative frameworks for rigorous model-driven development PhD
Miguel, Angela Ruth Human error analysis for collaborative work PhD
Shi, Huibin Investigating opportunities for instruction-level parallelism for stack machine code PhD
Bartlett, Mark Language as an exaption : simulating the origin of syntax PhD
Baez Monroy, Vicente Oswaldo Neural networks as artificial memories for association rule mining PhD
Kwon, Jagun Ravenscar-java : java technology for high-integrity real-time systems PhD
Massey, Paul Stephen Searching for quantum software : Paul Stephen Massey. PhD
Chivers, Howard Robert Security design analysis PhD
Qiu, Huaijun Spectral methods for computer vision problems PhD
Ramsin, Raman The engineering of an object-oriented software development methodology : Raman Ramsin PhD
Hawkins, Richard D. Using safety contracts in the development of safety critical object-oriented systems PhD

2005

Author Title Type
Zhan, Yuan A search-based framework for automatic test-set generation for matlab/simulink models PhD
Cai, Hao A virtual machine for high integrity real-time systems PhD
Baker, Rachel Edith An approach for dealing with dynamic multi-attribute decision problems PhD
Kurd, Zeshan Artificial neural networks in safety-critical applications PhD
Wood, Gavin James Content-based visualisation to aid common navigation of musical audio PhD
Heseltine, Thomas David Face Recognition : two-dimensional and three-dimensional techniques PhD
Oliveira, Marcel Vinícius Medeiros Formal derivation of state-rich reactive programs using Circus PhD
Jara-Valencia, José Luis Generic named entity extraction PhD
Ye, Fan Justifying the use of COTS components within safety critical applications PhD
Al-Shaher, Abdullah A. Mixtures of point distribution models for shape recognition PhD
Freitas, Leonardo Model checking Circus PhD
Massicotte, Serge On the frontier of recognizing not colourable graphs efficiently MPhil
Lock, Zoë Performance and flexibility of stereotype-based user models PhD
Conmy, Philippa Mary Safety analysis of computer resource management software PhD
Srivatanakul, Thitima Security analysis with deviational techniques : Thitima Srivatanakul. PhD
Hughes, Alex Shape analysis and pose from contour PhD
Ubon, Adisorn Na  Social presence in asynchronous text-based online learning communities : a longitudinal case study using content analysis. PhD
Gilroy, Stephen William Specifying the ubiquitous user interface using interaction style PhD
Moy, Joanna Word order and case in models of simulated language evolution PhD

2004

Author Title Type
Hu, Yu-Shing A portable worst-case execution time analysis framework for real-time Java architectures PhD
Drake, Lyndon Paul Combining inference and backtracking search for the propositional satisfiability problem PhD
Tuke, Charles Edward. Content based semi-invariant search for natural, symbolic and sketch images PhD
Ragheb, Hossein Improved shape from shading using non-Lambertian reflectance models PhD
Ward, Michael. Improving the timing analysis of Ravenscar/SPARK Ada by direct compilation to hardware PhD
Kapetanakis, Spiros Independent learning of coordination in cooperative single-stage games PhD
Torsello, Andrea Matching hierarchical structures for shape recognition PhD
King, David Parting software and program design PhD
De Boni, Marco Relevance in open domain question answering : theoretical framework and application PhD
Atiya, Diyaa-Addein M. Verification of concurrent safety-critical systems : the compliance notation approach PhD

2003

Author Title Type
Maclaren, Heather. A Divide and conquer approach to using inductive logic programming for learning user models PhD
Schaad, Andreas A framework for organisational control principles PhD
Bennett, M. D. A kernel for IMA systems PhD
Fairburn, Christian Context, collaboration & communication in the analysis of complex accidentS PhD
Pasley, Andrew Robert Distribution forecasting of nonlinear time series with associative memories PhD
Lima, George Marconi de Araújo Fault tolerance in fixed-priority hard real-time distributed systems PhD
Broster, Ian Flexibility in dependable real-time communication PhD
Robles-Kelly, Antonio A. Graph-spectral methods for computer vision PhD
Loer, Karsten Model-based automated analysis for dependable interactive systemS PhD
Rogers, Patrick Software fault tolerance, reflection and the Ada programming language PhD
Carcassoni, Marco Spectral methods for robust correspondence matching and alignment PhD
James, Michael The estimation of reward and value in reinforcement learning PhD
Weaver, Robert Andrew The safety of software - constructing and assuring arguments PhD

2002

Author Title Type
Lüdtke, Niklas A population coding approach to edge detection and perceptual grouping PhD
Stephenson, Zoë Rachael Change management in families of safety-critical embedded systems PhD
Edgar, Stewart Frederick Estimation of worst-case exection time using statistical analysis PhD
Pickering, Jonathan H. Intelligent camera planning for computer graphics PhD
Watkinson, Stephen Learning natural language syntax PhD
Moss, Simon Pose estimation using the EM algorithm PhD
Grigg, Alan Reservation-based timing analysis (a partitioned timing analysis model for distributed real-time systems) PhD
Chen, Yi-Hwa Resource-based user interface design PhD
Foster, Nathalie Louise The application of software and safety engineering techniques to security protocol development PhD
Marsh, Tim Towards invisible style of computer-mediated activity : transparency and continuity PhD
Blow, James Raymond Use of formal methods in the development of safety critical control software PhD

2001

Author Title Type
Kunda, Douglas A Social-technical approach to selecting software supporting COTS-Based Systems PhD
Vasconcelos, Jose Ângelo Braga de An ontology-driven organisational memory for managing group competencies PhD
Bakewell, Adam An operational theory of relative space efficiency PhD
Fields, Robert E. Analysis of erroneous actions in the design of critical systems PhD
Kim, Sun-Woo Assessing the adequacy of test data for object-oriented programs using the mutation method. PhD
Burton, Simon Automated generation of high integrity test suites from graphical specifications PhD
Charles, Nathan Richard Data model refinement, generic profiling, and functional programming. PhD
Ribeiro, Nuno Jorge Goncalves de Magalhaes Enhancing information awareness through speech induced anthropomorphism PhD
Lomas, David Scott Improving automated postal address recognition using neural networks. PhD
Hodge, Victoria J. Integrated information retrieval & neural networks PhD
Willans, James Stephen Integrating behavioural design into the virtual environment development process. PhD
Clark, John Andrew Metaheuristic search as a cryptological tool PhD
Nasr, Eman Saad Eldin Requirements engineering with use cases for large complex embedded software systems (RULES) MPhil
Hill, Julia C. Resolving complexity in accident texts through graphical notations and hypertext PhD
Powell, Anthony Lee Right on time : measuring, modelling and managing time-constrained software development PhD
Merrick, Iain Scope-based coordination for open systems PhD
Luo, Bin Statistical methods for point pattern matching PhD
Buttle, Darren Lee Verification of compiled code. PhD

2000

Author Title Type
Hankinson, John Christopher Kimble A grammatical approach to non-speech audio communication. PhD
Mitsopolous, Evangelos Nikolaos A principled approach to the design of auditory interaction in the non-visual user interface PhD
Tracey, Nigel James A search-based automated test-data generation framework for safety-critical software. PhD
Willis, Alistair An efficient treatment of quantification in underspecified semantic representations PhD
Alwis, T. P. G. L. S. Content-based retrieval of trademark images. PhD
Challis, Ben Paul Design principles for tactile communication within the human-computer interface. PhD
Hildreth, Paul M., 'Going the extra half-mile': international communities of practice and the role of shared artefacts. PhD
Mauri, Giuseppe Intergrating safety analysis techniques, supporting identification of common cause failures. PhD
Anthony, Richard John Load sharing in loosely-coupled distributed systems: a rich-information approach. PhD
Choi, Kwang Nam Methods for facial post estimation PhD
Piveropoulos, Marios Requirements engineering for hard real-time systems. PhD
Papadopoulos, Giannēs K. Safety-directed system monitoring using safety cases. PhD
Ribeiro, Eraldo Spectral methods for shape-from-texture. PhD

1999

Author Title Type
Brooke, Phillip James A timed semantics for a heirarchical design notation. PhD
Campos, José Francisco Creissac Freitas de Automated deduction and usability reasoning PhD
Moss, Graeme E. Benchmarking purely functional data structures. PhD
Orovas, Christos Cellular associative neural networks for pattern recognition. PhD
Conkar, Tina Mary 'CLIMATE' for MULTIVIEW: an add-on framework for use in the analysis and development of CMC based virtual environments. PhD
Worthington, Philip Lee Enhanced shape-from-shading for object recognition. PhD
Myers, Richard Oliver Genetic algorithms for ambiguous labelling problems. PhD
Thyer, Michael Jonathan. Lazy Specialization PhD
Priddin, Darren George Method integration for real-time system design and verification. PhD
Huet, Benoit. Object recognition from large libraries of line patterns. PhD
Bennett, David James Presenting diagrams in sounds for blind people. PhD
Menezes, Ronaldo Parente De Resource management in open tuple space systems. PhD
Burd, Elizabeth L. Reuse with risk management: a decision support approach. PhD
Pedro, Paulo Sergio M. Schedulability of mode changes in flexible real-time distributed systems. PhD
Aldarmi, Saud Ahmad Scheduling soft-deadline real-time transactions. PhD
Hickinbotham, Simon John S-Gabor filters for line accretion phenomena. PhD
Pumfrey, David John The principled design of computer system safety analyses. PhD

1998

Author Title Type
Fowler, Simon Quiller A development method for trusted real-time kernels. PhD
Doherty, Gavin John A pragmatic approach to the formal specification of interactive systems. PhD
Spooner, Roger Ian William A spelling checker for dyslexic users : user modelling for error recovery PhD
Kelly, Timothy Patrick Arguing safety: a systematic approach to managing safety cases. PhD
Wilkinson, Mark Howard Behavioural abstraction and composition for user interface management. PhD
Prasad, Divya Kumari Dependable systems integration using measurement theory and decision analysis. PhD
Matsushita, Tatsuru Expressive power of declarative programming languages PhD
Kustrin, Daniel Forecasting financial time series with correlation matrix memories for tacit asset allocation. PhD
Stringer-Calvert, David William John Mechanical verification of compiler correctness. PhD
Chen, Jing On synchronization issues in multiprocessor real-time systems. PhD
Cross, Andrew David Jonathan Optimization methods for relational matching. PhD
Cornwell, Peter David Reusable component engineering for hard real-time systems. PhD
Bate, Iain John Scheduling and timing analysis for safety critical real-time systems. PhD
Nicholson, Mark, Selecting a topology for safety-critical real-time control systems. PhD
Zanelli, Paul Richard Structural pattern matching for sensor management PhD
Kennedy, John Vincent The design of a scalable and application independent platform for binary neural networks. PhD

1997

Author Title Type
Kaniclides, Antonis Critical factors in executive information systems implementation. PhD
Piveropoulos, Giannis Dynamic object-oriented systems. PhD
O'keefe, Simon Edward Marius Neural-based content analysis of document images. PhD
Evans, D. J. Non-linear modelling of regenerative heat exchangers. PhD
Lawrence, Benita Michelle Safety case development : technological challenges of integrated systems PhD
Punnekkat, Sasikumar Schedulability analysis for fault tolerant real-time systems. PhD
Kotze, Paula The use of formal models in the design of interactive authoring support environments. PhD
Hague, Andrew Christopher Towards deeper learning with hand-crafted courseware. PhD
Haines, Susan Lesley Using dynamic rough sets to capture behavioural uncertainty: a space based modelling approach. PhD

1996

Author Title Type
McElhone, Charles Gerard A constrained computational model for flexible scheduling. PhD
Rowstron, Antony Ian Taylor Bulk primitives in Linda run-time systems. PhD
Smith, Simon Robert Formal justification in requirements engineering. PhD
Griffiths, Anthony David Inductive generalisation in case-based reasoning systems. PhD
Wilson, Richard Charles Inexact graph matching using symbolic constraints. PhD
Leite, Jose Antonio Ferreira Multi-scale line detection. PhD
Stevens, Robert David Principles for the design of auditory interfaces to present complex information to blind people. PhD
Zhang, Sijing Synchronous bandwidth allocation for the time-critical communication. PhD
Pitt, Ian, The principled design of speech-based interfaces. PhD
Dukic, Davor Towards natural dialogue design in user interaction. PhD

1995

Author Title Type
Paterno, Fabio Domenico A method for formal specification and verification of interactive systems. PhD
Somers, Harriet A neural computer. PhD
Musyoka, George Masila A theory for the formal verification of fault-tolerant processors. PhD
Fritz, Jane Manning An investigation of the effectiveness of open hypertext techniques for qualitative decision support. PhD
Shi, Fenggang Automatic coding from Zed Charts to SPARK Ada for safety-critical systems. PhD
Hassell, Jonathan Philip Automatic macro extraction: generalisation and the adaptive interface. PhD
Hatcher, Paul Dynamic scheduling of functional programs on MIMD computers. PhD
Bramwell, Christopher John Formal development methods for interactive systems: combining interactors and design rationale. PhD
Jackson, Thomas Oliver Frame based representation in an ADAM architecture. PhD
Wallace, Malcolm, Functional programming and embedded systems. PhD
Foubister, Sandra Periam Graphical application and visualization of lazy functional computation. PhD
Noble, Robert John Lazy functional components for graphical user interfaces. PhD
Davis, Robert Ian On exploiting spare capacity in hard real-time systems. PhD
Chapman, Roderick Cleeves Static timing analysis and program proof. PhD
Mitchell, Stuart Eric TAO: a model for the integration of concurrency and synchronisation in object-oriented programming. PhD
Dearden, Andrew Mark The use of formal models in the design of interactive case memory systems. PhD
Spencer, Lynn Zables: a user-friendly front-end to Z. MPhil

1994

Author Title Type
Quirke, John A functional implementation of the Hopcroft Tarjan graph planarity algorithm. MPhil
Coombes, Andrew Charles A pragmatic approach to the formal development of safety-critical systems. PhD
VICKERS, Andrew James Computational architecture: a step towards predicatable software design. PhD
Finch, Andrew Michael Density estimation for pattern recognition using neural networks. PhD
Moron, Celio Estevan Designing adaptable real-time fault-tolerant parallel systems. PhD
Walker, Edward, Extracting data flow information for parallelizing FORTRAN nested loop kernels. PhD
Portman, Martin Richard Imprecision in real-time systems: theory and practice. PhD
Osborne, Miles Learning unification-based natural languages grammars. PhD
Brewster, Stephen Anthony Providing a structured method for integrating non-speech audio into human-computer interfaces. PhD
Checkland, Iain Gavin Speculative concurrent evaluation in a lazy functional language. PhD
He, Heping The cycle calculus and method for the formal development of real-time and hybrid systems. PhD

1993

Author Title Type
Dobson, Simon Andrew An approach to scalable parallel programming. PhD
Blanchard, Timothy David An efficient database language. PhD
Adams, Alan Clive Event structures for real-time multiprocessor system design. PhD
Roast, Christopher Richard Executing models in human computer interaction. PhD
Tindell, Kenneth William Fixed priority scheduling of hard real-time systems. PhD
Audsley, Neil C  Flexible scheduling of hard real-time systems. PhD
Vasconcelos, Alexandre Marcos Lins de Incremental processing of Z specifications. PhD
Wang, Bing Integrating database and hypertext to support documentation environments. PhD
Hutcheon, Andrew David The virtual node approach to real-time, fault-tolerant distributed Ada. PhD

1992

Author Title Type
Mertzanis, Emmanouel Christopher A new neural network based approach to position and scale invariant pattern recognition. PhD
Johnson, Christopher William A principled approach to the integration of human factors and systems engineering for interactive control system design. PhD
Ochuodho, Shem Jeckie A process-oriented approach to configuration management of communications software. PhD
Scholefield, David Jason A refinement calculus for real-time systems. PhD
Bolt, George Ravuama Fault tolerance in artificial neural networks: are neural networks inherently fault tolerant? PhD
Higgins, Christopher Paul Logic and databases: an object oriented approach. PhD
Beus-Dukic, Ljerka Scheduling time-constrained messages on MiniMAP. PhD
Cattrall, David Michael The design and implementation of a relational programming system. PhD
Austin, Paul Baden Towards a file system for a scalable parallel computing engine. PhD
Gimenes, Itana Maria de Souza Towards a process-centred software engineering environment to support the development of high integrity software. PhD

1991

Author Title Type
Stokes, David Alan Improving requirements analysis: providing support for an extended CORE method. PhD
Whysall, Peter John Object oriented specification and refinement. PhD
Beale, R. The theory and application of associative neural architectures. PhD

1990

Author Title Type
Firth, Michael Anthony A fold/unfold transformation system for a non-strict language. PhD
Macharia, Geoffrey Muragori Cellular load distribution: dynamic load balancing in scalable multicomputers. PhD
Wakeling, David Linearity and laziness. PhD
Finlay, Janet Elizabeth Modelling users by classification: an example-based approach. PhD
Forsyth, Charles Harkness More adaptable code generation. PhD
Zhang, Yuguo On coupling Prolog to a database management system and an associated design method. PhD
Took, Roger Kenton Surface interaction: separating direct manipulation interfaces from their applications. PhD
Lau-Kee, David Andrew Visual and by-example interactive systems for non-programmers. PhD
Murray, Kevin Alistair Wisdom: the foundation of a scalable parallel operating system. PhD

1989

Author Title Type
Daly, William Gordon A graphical management system for semantic multimedia databases. PhD
Atkins, Martin Charles Implementation techniques for object-oriented systems. PhD

1988

Author Title Type
Jackson, Adrian Robert Abstract data types and the integrated project support environment database. PhD
Hill, Andrew Stable closed methods for thermal regenerator simulations. PhD
Earl, Anthony Norman The specification and implementation of an extended relational model and its application within an integrated project support environment. PhD
Fidler, Christine Sarah Towards the development of a management support environment (MSE): the rationale and requirements for, and architecture of, an integrated computer-based system to support organisational management. PhD

1987

Author Title Type
Bainbridge, Roy Ivor A definite clause grammatical inversion of extended Montague semantics. PhD
Henry, Manus Patrick Design methodology: regenerative heat exchangers. PhD
Toyn, Ian Exploratory environments for functional programming. PhD
Dix, Alan Formal methods and interactive systems: principles and practice. PhD
Snowden, David Stewart Knowledge-based diagnosis of semantic errors in Ada programs. PhD
Morgan, Gary The cellular modelling of fault-tolerant multicomputers. PhD
Penney, Mark Edwin The modelling and simulation of maldistribution in thermal regenerators. PhD
Wilson, Anne Daphne Tree manipulation algorithms and the design of data processing software. PhD

1986

Author Title Type
Glasson, Bernard Charles A model of computer-based information system evolution as a basis for an integrated project support environment. PhD
Roberts, Morien Wyn Logic circuit testability for reconvergent fan-out nodes. PhD
Wei, Kwok-Kee Modelling of communication protocols. PhD

1985

Author Title Type
Williams, Anthony James Input and output in high level programming languages. MPhil

1984

Author Title Type
Khan, Ansar Ahmad A formal technique for the logical design of organisational information systems. PhD
Keeffe, David Command languages and the expression of immediate and deferred action. PhD
Brooks, Susan Frances Computer simulation of high temperature thermal regenerators. PhD
Wellings, Andrew J. Distributed operating systems and the Ada programming language. PhD
Briggs, James Stewart Separate compilation and the ada programming language. PhD
Cutland, Neil Graham The unsteady-state performance of an experimental thermal regenerator. PhD

1983

Author Title Type
Whittington, Richard Paul A comprehensive and flexible methodology for the development of effective database systems. PhD
Runciman, Colin, Interpreting algebraic specifications. PhD
Reid, Peter. The use of diagrams and colour in the display of ada programs. PhD

1981

Author Title Type
Newton, Roy Walter Exception handling on embedded computer systems. PhD

1980

Author Title Type
Hinchcliffe, Clare Theoretical models of transitional heat transfer in regenerators. PhD

1979

Author Title Type
Thomas, Richard Codrington An adaptable terminal: a locally adjustable man-computer interface. MPhil

1978

Author Title Type
Burns, Alan The simulation and control of thermal regenerators. PhD

1973

Author Title Type
Haynes, Arthur Brian The simulation and control by digital computer of a thermal regenerator. PhD

1972

Author Title Type
Thomas, Ronald J. Improved computer simulations of a thermal regenerator. PhD

1971

Author Title Type
Gribler, Jeremy L. The design and implementation of a data system based around the IBM 1232/1 optical mark page readers. MPhil