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 |