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 | 2018 | 2017 | 2016 | 2015
2014 | 2013 | 2012 | 2011 | 2010
2009 | 2008 | 2007 | 2006 | 2005
2004 | 2003 | 2002 | 2001 | 2000
1999 | 1998 | 1997 | 1996 | 1995
1994 | 1993 | 1992 | 1991 | 1990
1989 | 1988 | 1987 | 1986 | 1985
1984 | 1983 | 1982 | 1981 | 1980
1979 | 1978 | 1977 | 1976 | 1975
1974 | 1973 | 1972 | 1971
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 |