List of PhD theses
This is a list of all the PhD theses so far recommended by the Computer Science Degree Committee to the Board of Graduate Studies for approval (which can in some cases mean that there are still corrections to be made before final approval). Fully approved Cambridge PhDs are listed in the University Library thesis catalog.
All authors are encouraged to publish their approved thesis as a Computer Laboratory Technical Report. Where available, the table below links to that public tech-report version of the thesis and/or the local PDF version collected by Lise Gough in /usr/groups/studentadmin/PhD_theses. (The latter files are only accessable to members of the Computer Laboratory and may in some cases not yet contain any final corrections required by the examiners.)
Note: If a Computer Laboratory research student's PhD is not listed here, then it might have been dealt with by the Mathematics Degree Committee (this includes any pre-1987 Computer Laboratory PhD) or by the Engineering Degree Committee (this applies to some early ones in the Digital Technology Group).
Data source: The table below is automatically generated from the Research_Students table on the departmental SQL server, maintained by Lise Gough, to whom enquiries about these records should be addressed.
| author | title | submitted | approved | thesis |
|---|---|---|---|---|
| Joseph Bonneau | Security and privacy in the social web | 2012-04-04 | 2012-05-08 | TR-819 |
| Robin Message | 2011-12-19 | 2012-05-08 | ||
| Syed Haider | Computational systems biology-based feature selection for cancer prognosis | 2011-12-15 | 2012-03-13 | |
| Eric Koskinen | Temporal verification of programs | 2011-12-09 | 2012-05-08 | |
| John Tang | Temporal network metrics and their application to real world networks | 2011-12-06 | 2012-03-13 | |
| Shailendra Fuloria | Robust security for the electricity network | 2011-11-22 | 2012-01-24 | |
| Hyoungshick Kim | Complex network analysis for secure and robust communications | 2011-11-21 | 2012-01-24 | |
| Stephan Kitchovitch | Computational modelling and analysis of seasonal influenza transmission and evolution | 2011-11-14 | 2012-03-13 | |
| Christian Richardt | Colour videos with depth acquisition, processing and evaluation | 2011-11-11 | 2012-01-24 | TR-815 |
| Richard Russell | Planning with preferences using maximum satisfiability | 2011-09-30 | 2012-03-13 | |
| Simon Fothergill | Automatic assessment of kinaesthetic performance applied to rowing | 2011-09-30 | 2012-01-24 | |
| Sherif Akoush | Exploiting surplus renewable energy in datacentre computing | 2011-09-30 | 2012-01-24 | local PDF |
| Philip Taylor | Specification of policy languages for network routing protocols in the Bellman-Ford family | 2011-09-29 | 2012-01-24 | |
| Vilius Naudziunas | Design and implementation of a language for path algebras | 2011-09-28 | 2011-12-06 | |
| Ruoshui Liu | 2011-09-21 | 2011-12-06 | ||
| Arno Pauly | Computable metamathematics and its applications to game theory | 2011-09-16 | 2012-01-24 | local PDF |
| Viet Anh Nguyen | Bayesian approaches to biological network predictions | 2011-09-07 | 2011-10-11 | |
| Pedro Brandao | Abstracting information on body area networks | 2011-07-13 | 2011-10-11 | TR-812 |
| Derek Murray | A distributed execution engine supporting data-dependent control flow | 2011-07-08 | 2011-12-06 | local PDF |
| Andrew Lewis | Reconstructing compressed photo and video data | 2011-06-27 | 2011-10-11 | TR-813 |
| Anilkumar Sorathiya | Computational modelling approaches to HIV-1 dynamics | 2011-06-08 | 2011-10-11 | |
| Ian Leung | 2011-05-31 | 2011-10-11 | local PDF | |
| Md Abdul Alim | On the Interaction of Internet Routing Protocols | 2011-05-03 | 2011-10-11 | |
| Silvia Breu | Mining and tracking in evolving software | 2011-04-15 | 2011-12-06 | |
| Nishanth Sastry | 2011-04-15 | 2011-07-04 | ||
| Amitabha Roy | 2011-04-15 | 2011-07-04 | TR-801, local PDF | |
| Johanna Geiss | 2011-04-11 | 2011-07-04 | TR-802, local PDF | |
| Ola Mahmoud | Second-order algebraic theories | 2011-03-29 | 2011-10-11 | TR-807, local PDF |
| Laurel Riek | Expression synthesis on robots | 2011-03-25 | 2011-07-04 | local PDF |
| Ekaterina Shutova | Computational approaches to figurative language | 2011-03-11 | 2011-05-10 | TR-803 |
| Simon Hay | A model personal energy meter | 2011-02-10 | 2011-05-10 | TR-805, local PDF |
| Jean Martina | Verification of security protocols based on multicase communication | 2011-02-09 | 2011-05-10 | TR-816 |
| Julien Quintard | 2011-01-24 | 2011-07-04 | ||
| Nick Barrow-Williams | 2011-01-20 | 2011-07-04 | TR-810, local PDF | |
| Thomas Tuerk | 2010-12-24 | 2011-05-10 | TR-799 | |
| John Miller | Distributed virtual environment scalability and security | 2010-12-22 | 2011-07-04 | TR-809 |
| Stephen Kell | 2010-12-14 | 2011-05-10 | ||
| Jonathan Mak | Facilitating program parallelisation - a profiling-based approach | 2010-11-18 | 2011-03-15 | TR-796, local PDF |
| Weisi Guo | Power allocation for wireless collaborative networks | 2010-11-08 | 2011-03-15 | |
| Robert Watson | New approaches to operating system security extensibility | 2010-10-29 | 2011-01-25 | TR-818, local PDF |
| Richard Bergmair | Monte Carlo Semantics: Robust inference and logical pattern processing based on integrated deep and shallow representations | 2010-10-13 | 2011-03-15 | |
| Bogdan Roman | Scalable Cross-Layer Wireless Medium Access Control | 2010-10-11 | 2011-01-25 | |
| Yuguo He | Hierarchies in first-order logic and parameterized complexity | 2010-10-08 | 2010-12-07 | local PDF |
| Bjarki Holm | Descriptive complexity of linear algebra | 2010-09-30 | 2011-03-15 | |
| James Srinivasan | Improving cache utilisation | 2010-09-29 | 2011-01-25 | TR-800, local PDF |
| Daniele Borsaro | MSc | 2010-09-29 | 2011-01-25 | |
| Boris Feigin | Interpretational overhead in system software | 2010-09-27 | 2011-01-25 | TR-797 |
| James Bridge | Machine learning and automated theorem proving | 2010-08-05 | 2010-10-12 | TR-792, local PDF |
| Oliver Woodman | Pedestrian localisation for indoor environments | 2010-05-28 | 2010-10-12 | local PDF |
| Shazia Afzal | Affect inference in learning environments: a functional view of facial affect analysis using naturalistic data | 2010-05-17 | 2010-10-12 | TR-793, local PDF |
| Periklis Akritidis | Practical memory safety for C | 2010-05-11 | 2010-10-12 | TR-798, local PDF |
| Aurelie Herbelot | Unspecified quantification | 2010-04-27 | 2010-10-12 | TR-795, local PDF |
| Daniel Greenfield | Rentian locality in chip multiprocessors | 2010-04-16 | 2010-07-01 | local PDF |
| Oeistein Andersen | Grammatical error prediction | 2010-04-01 | 2010-07-01 | TR-794, local PDF |
| Theo Markettos | Active electromagnetic attacks on secure hardware | 2010-03-19 | 2010-07-01 | TR-811, local PDF |
| Mohan Ganesalingam | The Language of Mathematics | 2010-02-26 | 2010-07-01 | |
| Thomas Cashman | NURBS-compatible subdivision surfaces | 2010-01-22 | 2010-03-02 | TR-773 |
| Richard Van der Wath | Computational modelling of hematopoietic stem cell division and regulation dynamics | 2010-01-01 | 2010-03-02 | |
| Daniel O'Keeffe | Distributed complex event detection for pervasive computing | 2009-12-18 | 2010-03-02 | TR-783 |
| Pradipta Biswas | Inclusive user modelling | 2009-12-16 | 2010-03-02 | local PDF |
| Andreas Vlachos | Semi-supervised learning for biomedical information extraction | 2009-12-10 | 2010-04-20 | TR-791 |
| Chung Kil Hur | Categorical equational systems: algebraic models and equational reasoning | 2009-11-12 | 2010-03-02 | local PDF |
| Sriram Srinivasan | Kilim: A server framework with lightweight actors, isolation types and Zero-copy messaging | 2009-11-11 | 2010-01-19 | TR-769 |
| John Billings | Specifying and compiling Internet routing protocols | 2009-10-16 | 2010-01-19 | |
| Yan Wu | Propagation modelling for wireless sensor networks deployed to perform civil infrastructure monitoring | 2009-10-05 | 2010-01-19 | |
| Wei Li | Toward online behavioural traffic classification | 2009-10-02 | 2009-12-01 | |
| Jatinder Singh | Controlling the dissemination and disclosure of healthcare events | 2009-09-30 | 2009-12-01 | TR-770 |
| Olexiy Gotsman | Logics and analyses for concurrent heap-manipulating programs | 2009-09-30 | 2009-10-06 | TR-758 |
| Anthony Hylick | Managing energy consumption of hard disk drives by optimizing system interaction | 2009-08-30 | 2010-04-20 | local PDF |
| Behzad Bastani | Open evolvable systems design by process-oriented modeling | 2009-08-28 | 2009-12-01 | |
| Matthew Lakin | An executable meta-language for inductive definitions with binders | 2009-08-14 | 2009-12-01 | TR-772 |
| Saar Drimer | Security for volatile FPGAs | 2009-08-14 | 2009-10-06 | TR-763 |
| Cecily Morrison | Bodies-in-Space: investigating technology usage in co-present group interaction | 2009-08-13 | 2009-12-01 | TR-771 |
| Aaron Coble | Anonymity, information and machine-assisted proof | 2009-08-05 | 2009-12-01 | TR-785, local PDF |
| Julian Smith | Towards robust inexact geometric computation | 2009-07-31 | 2009-12-01 | TR-766, local PDF |
| Ranald Clouston | Equational logic for names and binders | 2009-06-18 | 2009-12-01 | |
| Daniel Bernhardt | Emotion inference from human body motion | 2009-06-17 | 2009-10-06 | TR-787 |
| Alexander Gurney | Construction and verification of routing algebras | 2009-04-30 | 2009-12-01 | local PDF |
| Rok Strnisa | Formalising, improving, and reusing the Java module system | 2009-04-16 | 2009-10-06 | |
| Min Lin | Channel modelling for wireless sensor networks | 2009-04-14 | 2009-10-06 | |
| William Carson | Performance modelling and design of bit-interleaved coded modulation | 2009-04-09 | 2009-05-26 | |
| Grzegorz Milos | Efficient and effective sharing of memory in virtual machine monitors | 2009-03-30 | 2009-10-06 | |
| Luis Vargas | Integrating databases and Publish/Subscribe | 2009-02-26 | 2009-05-26 | |
| Mark Adcock | Improving cache performance by runtime data movement | 2009-02-25 | 2009-05-26 | TR-757, local PDF |
| Rosemary Francis | Networks for Field Programmable Gate Arrays | 2009-02-12 | 2009-07-02 | |
| Jonathan Hayman | Petri net semantics | 2009-01-16 | 2009-07-02 | TR-782 |
| Philip Paul | Microelectronic Security Measures | 2009-01-14 | 2009-07-02 | local PDF |
| Magnus Myreen | Formal verification of machine-code programs | 2008-12-21 | 2009-05-26 | TR-765, local PDF |
| David Turner | Nominal domain theory for concurrency | 2008-12-19 | 2009-05-26 | TR-751 |
| Eric Henderson | A text representation language for contextual and distributional processing | 2008-12-01 | 2009-12-01 | |
| Arnab Banerjee | Communication flows in power-efficient networks-on-chips | 2008-11-24 | 2009-03-10 | TR-786 |
| Timos Antonopoulos | Expressive Power of Graph Languages | 2008-11-14 | 2009-03-10 | |
| Minor Gordon | Small-scale, event-based overlays | 2008-10-10 | 2009-01-20 | TR-781, local PDF |
| Jonathan Davies | Programming networks of vehicles | 2008-09-26 | 2009-01-20 | TR-761 |
| David Cottingham | Vehicular wireless communication | 2008-09-26 | 2009-01-20 | TR-741 |
| Atif Alvi | Controlling pervasive domains with ontologies and rules | 2008-08-20 | 2008-10-21 | |
| Caroline Gasperin | Statistical anaphora resolution in biomedical texts | 2008-08-07 | 2008-12-02 | TR-764, local PDF |
| Evangelia Kalyvianaki | Resource provisioning for virtualized server applications | 2008-08-04 | 2008-12-02 | TR-762 |
| Na Xu | Static contract checking for Haskell | 2008-08-01 | 2008-12-02 | TR-737 |
| Diarmuid Ó Séaghdha | Learning compound noun semantics | 2008-07-11 | 2008-10-21 | TR-735 |
| Salman Taherian | State-based Publish/Subscribe for Sensor Systems | 2008-07-08 | 2008-10-21 | TR-739 |
| Shishir Nagaraja | Robust covert network topologies | 2008-07-04 | 2008-12-02 | local PDF |
| Tomasz Macura | Automating the quantitative analysis of micoscopy images | 2008-07-03 | 2009-03-10 | local PDF |
| Philip Tuddenham | Tabletop interfaces for remote collaboration | 2008-06-27 | 2008-10-21 | TR-734 |
| Anna Ritchie | Citation context analysis for information retrieval | 2008-06-03 | 2008-10-21 | TR-744 |
| James Reynolds | An automatic proof-generating translation from high-order to first-order logic (with applications to linking HOL4 and ACL2) | 2008-05-07 | 2008-10-21 | |
| Matthew Johnson | A new approach to Internet banking | 2008-04-01 | 2008-06-10 | TR-731, local PDF |
| Alban Rrustemi | Computing surfaces - a platform for scalable interactive displays | 2008-03-25 | 2008-06-10 | TR-732, local PDF |
| Tyler Moore | Cooperative attack and defense in distributed networks | 2008-03-07 | 2008-06-10 | TR-718 |
| Gerhard Hancke | Security of proximity identification systems | 2008-03-03 | 2008-10-21 | TR-752, local PDF |
| Euan Harris | Rate limiting in an event-driven BGP speaker | 2008-01-31 | 2009-05-26 | local PDF |
| Sofiane Naci | Controlling prevasive domains with ontologies and rules | 2008-01-16 | 2008-06-10 | local PDF |
| Yu-En Lu | Distributed proximity query processing | 2008-01-14 | 2008-04-22 | |
| Anton Lokhmotov | Programming and compiling for embedded SIMD architectures | 2008-01-04 | 2008-04-22 | |
| Mbou Eyole-Monono | Energy-efficient sentient computing | 2008-01-03 | 2008-04-22 | TR-722 |
| Darren Edge | Tangible user interfaces for peripheral interaction: episodic engagement with objects of physical, digital and social significance | 2008-01-03 | 2008-04-22 | TR-733 |
| Andrew Naish-Guzman | Sparse and robust kernal methods | 2007-12-21 | 2008-04-22 | |
| Lauri Pesonen | A capability-based access control architecture for multi-domain publish/subscribe systems | 2007-12-21 | 2008-03-11 | TR-720 |
| Gregory Hughes | Lecture Adaptation for students with disabilities | 2007-12-17 | 2008-06-10 | |
| Wenjun Hu | A tale of two prototypes: Practical network coding for wireless mesh networks | 2007-11-22 | 2008-01-22 | |
| William Hollingsworth | Using lexical chains to characterise scientific text | 2007-11-05 | 2008-03-11 | |
| Shahzad Khan | Negation and antonymy in sentiment classification | 2007-10-08 | 2008-01-22 | |
| Benjamin Medlock | Investigating classification for natural language processing tasks | 2007-10-02 | 2008-01-22 | TR-721 |
| Rebecca Watson | Optimising the speed and accuracy of a Statistical GLR Parser | 2007-09-10 | 2007-11-27 | TR-743 |
| Michael Compton | Formal verification of process algebra systems | 2007-08-13 | 2008-03-11 | local PDF |
| Steven Murdoch | Covert channel vulnerabilities in anonymity systems | 2007-08-03 | 2007-11-27 | TR-706, local PDF |
| Paul Hunter | Complexity and infinite games on finite graphs | 2007-08-01 | 2007-11-27 | TR-704 |
| Pan Hui | People are the network: Experimental design and evaluation of social based forwarding algorithms | 2007-08-01 | 2007-11-27 | TR-713 |
| Viktor Vafeiadis | Modular fine-grained concurrency verification | 2007-07-23 | 2007-11-27 | TR-726, local PDF |
| Andy Ozment | Vulnerability discovery & software security | 2007-07-03 | 2007-10-09 | |
| Simon Hollis | Pulse-based, on-chip interconnect | 2007-06-26 | 2007-10-09 | TR-698 |
| Ian Caulfield | Complexity-effective superscalar embedded processors using instruction-level distributed processing | 2007-05-30 | 2007-10-09 | TR-707 |
| Alan Lawrence | Optimizing compilation with the value state dependence graph | 2007-05-29 | 2007-11-27 | TR-705 |
| Feng Hao | On using fuzzy data in security machanisms | 2007-05-24 | 2007-10-09 | TR-715 |
| Doug Santry | A cluster storage system for modern virtual machines | 2007-05-17 | 2007-10-09 | |
| Richard Southern | Animation manifolds for representing topological alteration | 2007-05-01 | 2008-06-10 | TR-723 |
| Jacques Fournier | Vector microprocessors for cryptography | 2007-05-01 | 2007-10-09 | TR-701 |
| Lucy Brace-Evans | Event structures with persistence | 2007-04-27 | 2007-10-09 | TR-710 |
| William Billingsley | The Intelligent Book: technologies for intelligent and adaptive textbooks focussing on Discrete Mathematics | 2007-04-25 | 2007-07-10 | TR-719 |
| Martin Vechev | Derivation and evaluation of concurrent collectors | 2007-04-05 | 2007-10-09 | |
| Alisdair Stuart Wren | Relationships for object-oriented programming languages | 2007-03-31 | 2007-10-09 | TR-702 |
| Tal Sobol-Shikler | Le ton fait la musique: analysis of expressions in speech | 2007-03-31 | 2007-07-10 | TR-740 |
| Ulrich Paquet | Bayesian inference for latent variable models | 2007-03-09 | 2007-06-12 | TR-724 |
| Timothy Moreton | A wide-area file system for migrating virtual machines | 2007-02-19 | 2007-04-17 | TR-714 |
| Jolyon Clulow | On the security of real-world devices | 2007-02-02 | 2007-07-10 | |
| Mark Grundland | Color, style and composition in image processing | 2007-01-30 | 2007-07-10 | local PDF |
| Chi-kin Chau | Networks and disputes | 2007-01-26 | 2007-05-27 | |
| Manuel Costa | End-to-end containment of Internet worm epidemics | 2007-01-01 | 2007-04-17 | |
| Russ Ross | Cluster storage for commodity computation | 2006-12-31 | 2007-04-17 | TR-690, local PDF |
| Christopher Purcell | Scaling mount concurrency: scalability and progress in concurrent algorithms | 2006-12-18 | 2007-02-27 | TR-697 |
| Samuel Staton | Name-passing process calculi: operational models and structural operational semantics | 2006-12-15 | 2007-06-12 | TR-688 |
| Alexander Ho | Understanding systems with virtual machines | 2006-12-15 | 2007-04-17 | local PDF |
| Juliano Iyoda | Translating HOL functions to hardware | 2006-10-02 | 2007-01-09 | TR-682 |
| Eiko Yoneki | ECCO: data centric asynchronous communication | 2006-09-27 | 2006-11-14 | TR-677 |
| Eng Keong Lua | The structure of Internet latency | 2006-08-25 | 2006-11-14 | |
| Christian Kreibich | Structural traffic analysis for network security monitoring | 2006-08-07 | 2007-05-24 | |
| Andrew Twigg | Compact forbidden-set routing | 2006-06-23 | 2006-10-10 | TR-678, local PDF |
| Ole H Jensen | Mobile Processes in Bigraphs | 2006-06-06 | 2007-01-09 | |
| Boris Dragovic | CASPEr: containment-aware security for pervasive computing environments | 2006-05-30 | 2006-07-04 | |
| Anil Madhavapeddy | Creating high-performance statically type-safe network applications | 2006-04-25 | 2006-10-10 | TR-775 |
| Sarah Thompson | On the application of program analysis and transformation to high reliability electronics | 2006-04-18 | 2006-07-01 | TR-670 |
| Gareth Stoyle | A theory of dynamic software updates | 2006-04-07 | 2006-11-21 | local PDF |
| Timothy Deegan | The main name system | 2006-04-07 | 2006-07-04 | |
| Maja Vukovic | Context aware service composition | 2006-04-04 | 2006-10-10 | TR-700 |
| Stephen Rymill | Psychologically-based simulation of human behaviour | 2006-03-30 | 2006-10-11 | TR-717, local PDF |
| Paula Buttery | Computational models for first language acquisition | 2006-03-30 | 2006-04-21 | TR-675 |
| Tolga Uzuner | Effective network complexity | 2006-03-01 | 2006-07-01 | |
| Eben Upton | Compiling with data dependence graphs | 2005-12-22 | 2006-07-18 | local PDF |
| Hui-Yun Li | Security evaluation at design time for cryptographic hardware | 2005-12-22 | 2006-04-21 | TR-665 |
| Andrew Warfield | Virtual devices for virtual machines | 2005-12-16 | 2006-06-09 | local PDF |
| Calicrates Policroniades-Borraz | Decomposing file data into discernible items | 2005-12-12 | 2006-05-31 | TR-672 |
| Meng How Lim | Landmark guided forwarding | 2005-11-01 | 2006-02-09 | TR-674 |
| Julian Chesterfield | Joint source-channel UEP coding for multimedia streaming in the wireless wide area network environment | 2005-10-31 | 2006-02-09 | |
| Piotr Zielinski | Minimizing latency of agreement protocols | 2005-09-30 | 2006-04-27 | TR-667 |
| Karl Jeacle | TCP-XM | 2005-09-14 | 2006-02-09 | |
| Richard Clayton | Anonymity and traceability in cyberspace | 2005-08-26 | 2005-11-17 | TR-653, local PDF |
| David Spence | Location based code placement in distributed systems | 2005-08-01 | 2006-03-01 | local PDF |
| Matthew Parkinson | Local reasoning for Java | 2005-08-01 | 2005-11-17 | TR-654 |
| Moritz Becker | CASSANDRA: flexible trust management and its application to electronic health records | 2005-08-01 | 2005-09-22 | TR-648 |
| Judita Preiss | Probabilistic word sense disambiguation | 2005-07-28 | 2006-03-17 | TR-673 |
| Marco Palomino-Zuniga | Distributed creation and maintenance of web content indices | 2005-06-15 | 2005-10-15 | |
| Jia Meng | The integration of higher order interactive proof with first order automatic theorem proving | 2005-06-01 | 2005-09-22 | |
| Mohamed Hassan | Multiresolution in geometric modelling: subdivision mark points and ternary subdivison | 2005-05-01 | 2005-10-04 | local PDF |
| Alberto Fernandes | Spectrum management for revenue maximisation in DSL | 2005-05-01 | 2005-09-22 | |
| Nathan Dimmock | Using trust and risk for access control in global computing | 2005-05-01 | 2005-06-16 | TR-643 |
| Rana El-Kaliouby | Mind-reading machines: automated inference of complex mental states | 2005-03-30 | 2005-06-16 | TR-636 |
| Jeremy Singer | Static program analysis based on virtual register renaming | 2005-03-29 | 2005-09-22 | TR-660 |
| Carsten Moenning | Intrinsic point-based surface processing | 2005-01-21 | 2005-05-24 | TR-658 |
| Hyun Jin Choi | Security protocol design by composition | 2004-12-22 | 2006-01-12 | TR-657 |
| Christopher Town | Ontology based visual information processing | 2004-12-17 | 2005-03-01 | local PDF |
| Joerg Lepler | Cooperation and deviation in market-based resource allocation | 2004-11-24 | 2005-01-05 | TR-622 |
| Mark Shinwell | The fresh approach: functional programming with names and binders | 2004-11-22 | 2005-03-03 | TR-618, local PDF |
| Evangelos Kotsovinos | Global public computing | 2004-11-15 | 2005-02-26 | TR-615 |
| David Eyers | Active privilege management for distributed access control systems | 2004-11-11 | 2005-06-16 | TR-669 |
| James Roy Bulpin | Operating system support for simultaneous multithreaded processors | 2004-10-08 | 2005-02-26 | TR-619 |
| Scott Fairbanks | High precision timing using self-timed circuits | 2004-10-05 | 2005-02-26 | TR-738 |
| Sergei Skorobogatov | Semi-invasive attacks - a new approach to hardware security analysis | 2004-09-22 | 2005-02-26 | TR-630 |
| Arasnath Kimis | Generic event services middleware | 2004-09-13 | 2004-11-11 | |
| Nicholas Nethercote | Dynamic binary analysis and instrumentation or building tools is easy | 2004-09-09 | 2004-11-11 | TR-606 |
| Roongroj Nopsuwanchai | Discriminative training methods and their applications to handwriting recognition | 2004-08-06 | 2004-10-27 | TR-652 |
| Prem Fernando | Automatic recognition of ancient Syriac handwriting | 2004-08-01 | 2004-11-11 | |
| Robert Gordon Hague | End-user programming in multiple languages | 2004-07-01 | 2004-11-11 | TR-651 |
| Steven McKellar | An extension to the OSI model of network management for large-scale collaborative performance measurement | 2004-07-01 | 2004-10-14 | |
| Simon Frankau | Hardware synthesis from stream-processing functional language | 2004-06-30 | 2004-11-11 | local PDF |
| Neil E Johnson | Code size optimization for embedded processors | 2004-06-01 | 2004-10-14 | TR-607 |
| Marc Peter Cardle | Automated editing of sound and motion | 2004-05-25 | 2004-10-14 | |
| Hasan Amjad | Combining model checking and theorem proving | 2004-03-29 | 2004-09-07 | TR-601 |
| Andrei Serjantov | On the anonymity of anonymity systems | 2004-03-18 | 2004-07-13 | TR-604 |
| Brian Shand | Trust for resource control: self-enforcing automatic rational contracts between computers | 2004-02-28 | 2004-04-27 | TR-600 |
| Peter Pietzuch | Hermes: a scalable event-based middleware | 2004-02-01 | 2004-04-27 | TR-590, local PDF |
| Michael Bondzaidi | Understanding security APIs | 2004-01-30 | 2004-06-15 | local PDF |
| George Danezis | Better anonymous communications | 2004-01-06 | 2004-03-01 | TR-594 |
| Andras Belokosztolszki | Role-based access control policy administration | 2003-11-25 | 2004-04-05 | TR-586 |
| Silas Brown | Conversion of notations | 2003-11-19 | 2004-06-15 | TR-591 |
| Robert Ennals | Adaptive evaluation of non-strict programs | 2003-11-13 | 2004-07-13 | TR-730 |
| Panit Watcharawitch | MulTEP: a multi-threaded embedded processor | 2003-10-30 | 2004-04-20 | TR-588 |
| Steven Brooks | Concise texture editing | 2003-10-17 | 2004-02-10 | TR-584 |
| Mark Ashdown | Personal projected displays | 2003-09-30 | 2004-03-09 | TR-585 |
| Pablo Arrighi | Representations of quantum operations with applications to quantum cryptography | 2003-09-30 | 2004-02-10 | TR-595 |
| Keir Anthony Fraser | Practical lock-freedom | 2003-09-26 | 2004-02-10 | TR-579 |
| Advaith Siddharthan | Syntactic simplification and text cohesion | 2003-08-05 | 2004-01-06 | TR-597 |
| Timothy Granger | Reconfigurable wavelengh-switched optical networks for the internet core | 2003-08-04 | 2004-02-10 | TR-575 |
| David Richerby | Fixed-point logics with choice | 2003-07-01 | 2003-12-05 | |
| Sang-Bum Suh | An effective multiple access policy for the home telephone wiring in a home LAN | 2003-05-22 | 2006-07-11 | |
| Jianxin Yan | Security for online games | 2003-03-31 | 2003-08-21 | |
| James Hall | Multi-layer network monitoring and analysis | 2002-12-31 | 2003-07-07 | TR-571 |
| Richard Sharp | Higher-level hardware synthesis | 2002-12-05 | 2003-03-14 | |
| Donnla B Nic Gearailt | Dictionary characteristics in cross-language information retrieval | 2002-10-01 | 2003-07-15 | TR-616 |
| Walt Yao | Trust management for widely distributed systems | 2002-09-30 | 2003-03-11 | TR-608 |
| Alan Abrahams | Developing and executing electronic commerce applications with occurrences | 2002-09-15 | 2002-11-26 | |
| Michael J Blain | Animating Liquids | 2002-07-22 | 2003-02-11 | |
| Markus G Kuhn | Compromising emanations: eavesdropping risks of computer displays | 2002-06-25 | 2002-10-29 | TR-577, local PDF |
| Alexis Hombrecher | Reconciling event taxonomies across administrative domains | 2002-06-20 | 2002-10-29 | |
| Ulrich Lang | Access policies for middleware | 2002-05-16 | 2003-05-27 | TR-564 |
| Keith Wansbrough | Simple polymorphic usage analysis | 2002-04-02 | 2002-12-17 | TR-623 |
| Charalampos Manifavas | Micropayment transaction costs | 2002-02-28 | 2002-10-29 | |
| Jana Sukkarieh | Natural language for knowledge representation | 2002-02-26 | 2002-05-28 | |
| Austin N Donnelly | Resource control in network elements | 2002-01-28 | 2002-04-25 | TR-534 |
| Susan Pancho | Contributions of formal security proofs | 2002-01-25 | 2003-11-14 | |
| Paul Cunningham | Verification of asynchronous circuits | 2002-01-21 | 2002-05-28 | TR-587 |
| Joseph Ell Hurd | Formal verification of probabilistic alogorithms | 2002-01-01 | 2002-05-30 | TR-566 |
| David B Stewart | Quality of service for storage systems | 2001-12-20 | 2003-07-15 | |
| Umar Saif | Architectures for ubiquitous systems | 2001-11-30 | 2002-01-15 | TR-527 |
| Lucian J Wischik | Explicit fusions: theory and implementation | 2001-11-05 | 2002-06-18 | |
| Richard M Mortier | Internet traffic engineering | 2001-11-01 | 2002-04-24 | TR-532 |
| Agathoniki Trigoni | Semantic optimization of OQL queries | 2001-10-19 | 2002-01-15 | TR-547 |
| Kerry Rodden | Evaluating similarity-based visualisations as interfaces for image browsing | 2001-10-11 | 2002-01-15 | TR-543 |
| Richard R Watts | The development of an uncertain reasoning system | 2001-09-30 | 2002-04-30 | |
| Aline Villavicencio | The acquisition of a unification-based generalised categorial grammar | 2001-09-12 | 2002-03-12 | TR-533 |
| Anna-Leena Korhonen | Subcategorization acquisition | 2001-09-12 | 2002-02-06 | TR-530 |
| Daryl J Stewart | A uniform sematics for Verilog and VHDL suitable for both simulation and verification | 2001-09-05 | 2002-05-20 | |
| David C Abensour | Finite state and statistical methods for natural language processing | 2001-07-31 | 2002-01-15 | |
| Mantsika Matooane | Parallel systems in symbolic and algebraic computation | 2001-07-25 | 2001-11-27 | TR-537 |
| Timothy M Edmonds | Adaptation for mobile systems | 2001-06-25 | 2001-10-30 | |
| Mark F P Gillies | Practical behavioural animation based on vision and attention | 2001-06-18 | 2001-10-30 | |
| Martin Choquette | Local evidence in document retrieval | 2001-05-30 | 2002-01-11 | TR-519 |
| Andrew W Moore | Measurement-based management of network resources | 2001-05-15 | 2002-02-12 | TR-528 |
| Timothy L Harris | Extensible virtual machines | 2001-04-01 | 2001-01-15 | TR-525 |
| Asis Unyapoth | Nomadic pi-calculi: expressing and verifying communication infrastructure for mobile computation | 2001-03-09 | 2001-05-29 | TR-514 |
| James J Leifer | Operational congruences for reactive systems | 2001-03-08 | 2001-07-11 | TR-521 |
| Stephen O Childs | Disk quality of service in a general purpose operating system | 2001-03-05 | 2001-10-30 | |
| Dickon Reed | The effects of code layout on performance | 2001-02-09 | 2001-07-11 | |
| Ioannis Papaefstathiou | Increasing packet network bandwidth through low level compression | 2001-02-01 | 2001-05-29 | |
| Sylvia F Knight | Natural language processing for Aerospace documentation | 2001-01-08 | 2001-11-27 | |
| Jonathan D Pfautz | Depth perception in computer graphics | 2001-01-08 | 2001-02-13 | TR-546 |
| Paul D Hankin | A study of objects | 2001-01-02 | 2001-05-08 | |
| Francesco Stajano | Security for ubiquitous computing | 2001-01-02 | 2001-02-13 | |
| Rebecca Isaacs | Dynamic provisioning of resource-assured and programmable virtual private networks | 2000-12-21 | 2001-05-29 | TR-516 |
| Paul B Menage | Resource control of untrusted code in an open programmable network | 2000-12-07 | 2000-10-24 | TR-561 |
| Reuben R Thomas | Mite: a basis for ubiquitous virtual machines | 2000-11-23 | 2001-02-13 | |
| Tony Polichroniadis | High level control of vitual actors | 2000-11-15 | 2001-05-08 | |
| Sheng F Li | Stateless client computing | 2000-11-15 | 2000-10-24 | |
| Wojciech Basalaj | Proximity visualisation of abstract data | 2000-10-19 | 2001-01-23 | TR-509 |
| Zhixue Wu | A New Approach To Implementing Atomic Data Types | 2000-10-19 | 1994-05-01 | TR-338 |
| Neil Lawrence | Variational inference in probabilistic models | 2000-10-13 | 2001-05-08 | |
| Andrew J Penrose | Extending lossless image compression | 2000-09-25 | 2001-01-23 | TR-526 |
| Radina Stefanova | Power in radio networks | 2000-08-08 | 2002-08-16 | |
| Christian Urban | Classical logic and computation | 2000-06-23 | 2000-11-14 | |
| David M Leask | Low power radio networking | 2000-06-21 | 2000-10-24 | |
| James E Gain | Enhancing spatial deformation for virtual sculpting | 2000-06-19 | 2000-10-24 | TR-499 |
| Breton M Saunders | Fast animation dynamics | 2000-05-06 | 2000-10-24 | |
| Yolanta Beresnevichiene | A role and context based security model | 2000-05-01 | 2000-10-24 | TR-558 |
| Giampaola Bella | The inductive verification of cryptographic protocols | 2000-04-07 | 2000-07-18 | TR-493 |
| Kan Zhang | On Secure Information Flow in Computer Systems | 2000-03-31 | 2000-07-18 | |
| Pavel T Wojciechowski | Nomadic pict: language and infrastructure design for mobile computation | 2000-02-01 | 2000-07-18 | TR-492 |
| Mark D Spiteri | An architecture for the notification, storage and retrieval of events | 2000-02-01 | 2000-06-20 | TR-494 |
| Donald O Oparah | Adaptive resource management in a multimedia operating system | 2000-02-01 | 2000-05-01 | |
| David M Ingram | Integrated Quality of Service management | 2000-01-17 | 2000-06-20 | TR-501 |
| Mohammad Khorsheed | Automatic recognition of words in Arabic manuscripts | 2000-01-06 | 2000-10-24 | TR-495 |
| Oi Yee (Olivia) Kwong | Word sense selection in texts: an integrated model | 2000-01-01 | 2000-10-24 | TR-504 |
| Shaw Chuang | Security management in ATM networks | 2000-01-01 | 2000-10-24 | |
| Jong-Hyeon Lee | Designing a reliable publishing framework | 2000-01-01 | 2000-05-01 | TR-489 |
| Calum A M Grant | Software visualization in Prolog | 2000-01-01 | 2000-05-01 | TR-511 |
| Oliver Seidel | Metadata support for connecting application components asynchronously | 1999-11-01 | 2000-01-01 | |
| Che-Hao (Albert) Chang | Reasoning about security protocols | 1999-11-01 | 2000-01-01 | |
| Hendrik J Bos | Elastic network control | 1999-09-01 | 1999-10-01 | TR-483 |
| Geraint Price | The interaction between fault tolerance and security | 1999-06-01 | 1999-10-01 | TR-479 |
| Fabien A P Petitcolas | Information hiding and its application to copyright protection | 1999-06-01 | 1999-10-01 | |
| Clemens M Ballarin | Computer algebra and theorem proving | 1999-06-01 | 1999-10-01 | TR-473 |
| Richard I Tucker | Automatic summarising and the CLASP system | 1999-05-01 | 1999-11-01 | TR-484 |
| James R Thomas | Stretching a point: aspect and temporal discourse | 1999-05-01 | 1999-10-01 | TR-486 |
| Ben Y Reis | Simulating music learning with autonomous listening agents: entropy, ambiguity and context | 1999-05-01 | 1999-10-01 | TR-472 |
| Bruno Crispo | Delegation of responsibility | 1999-05-01 | 1999-10-01 | |
| Jacques D Fleuriot | A combination of geometry theorem proving and nonstandard analysis, with application to Newton's Principia | 1999-05-01 | 1999-06-01 | TR-469 |
| Mark Staples | A mechanised theory of refinement | 1999-05-01 | 1999-05-01 | |
| Florian Kammueller | Modular reasoning in Isabelle | 1999-04-01 | 1999-10-01 | TR-470 |
| Duncan P Grisby | A distributed adaptive window system | 1999-04-01 | 1999-10-01 | |
| Steven P Wilcox | Synthesis of asynchronous circuits | 1999-01-01 | 1999-03-01 | TR-468 |
| Richard J Bradbury | Architectures for the control of home area networks | 1998-12-01 | 1999-02-01 | |
| Steven M Hand | Providing quality of service in memory management | 1998-11-01 | 1999-05-01 | |
| Jacobus E Van Der Merwe | Open service support for ATM | 1998-10-01 | 1999-05-01 | TR-450 |
| Donald R Syme | Declarative theorem proving for operational semantics | 1998-10-01 | 1999-03-01 | |
| Mohamed Afshar | An open parallel architecture for data-intensive applications | 1998-10-01 | 1999-03-01 | TR-459 |
| Ralph Becket | Efficient knowledge and action planning in first order logic | 1998-10-01 | 1999-01-01 | |
| Michael Norrish | C formalised in HOL | 1998-09-01 | 1999-01-01 | TR-453 |
| Andrew M R Ward | Sensor-driven computing | 1998-08-01 | 1999-02-01 | |
| John B P Naylon | A wireless ATM local area network | 1998-06-01 | 1999-01-01 | |
| Panayis Fourniotis Pavlatos | Compiler optimisation of typeless languages | 1998-05-01 | 1998-10-01 | |
| Malgorzata E Stys | A processing model of information structure in machine translation | 1998-04-01 | 1998-10-01 | |
| Giles J Nelson | Context-aware and location systems | 1998-04-01 | 1998-06-01 | |
| John Rooney | The structure of open ATM control architectures | 1998-02-01 | 1998-06-01 | TR-451 |
| Peter J C Brown | Selective mesh refinement for rendering | 1998-02-01 | 1998-05-01 | TR-490 |
| M Jennifer Li Kam Wa | A measurement-based approach to flow control in ATM networks | 1998-01-01 | 1998-07-01 | |
| Ian J Lewis | PrologPF: parallel logic and functions on the Delphi Machine | 1998-01-01 | 1998-06-01 | |
| Ian Pratt | The user-safe device I/O architecture | 1997-09-01 | 1999-02-01 | |
| Hyun S Park | The Korean Core Language Engine | 1997-09-01 | 1998-05-01 | |
| Stefan G Hild | Managing mobile connections | 1997-09-01 | 1998-02-01 | |
| Christopher T Faigle | DMS-Splines and radiosity | 1997-09-01 | 1998-02-01 | |
| Feng Shi | An architecture for scalable and deterministic video servers | 1997-09-01 | 1997-11-01 | TR-438 |
| Stanley J Mrose | Multiresolution curve and surface design: theory and application of spline wavelets | 1997-08-01 | 1998-01-01 | |
| Daniel L Gordon | Scheduling in optically based ATM switching fabrics | 1997-08-01 | 1998-01-01 | |
| Xiaobao Chen | An end-to-end communication support architecture for multi-service applications | 1997-08-01 | 1997-12-01 | |
| Timothy J Mills | Content modelling in multimedia information retrieval systems: the Cobra retrieval system | 1997-07-01 | 1998-02-01 | |
| Joshua X Ross | An evaluation based approach to process calculi | 1997-06-01 | 1998-12-01 | TR-456 |
| Ian Jackson | Who goes here? Confidentiality of location through anonymity | 1997-05-01 | 1998-06-01 | |
| David A Halls | Applying mobile code to distributed systems | 1997-05-01 | 1997-11-01 | TR-439 |
| Michael Roe | Cryptography and evidence | 1997-04-01 | 1997-06-01 | TR-780 |
| Eirik Hektoen | Statistical parse selection using semantic cooccurrences | 1997-03-01 | 1997-06-17 | |
| Karl MacDorman | Symbol grounding: learning categorical and sensorimotor predictions for coordination in autonomous robots | 1997-03-01 | 1997-06-01 | TR-423 |
| Tanya Bowden | Natural language techniques for error correction | 1997-02-01 | 1997-07-11 | |
| Victor Carreno | Transition assertions: a higher-order logic based method for the specification and verification of real-time systems | 1997-02-01 | 1997-05-01 | |
| Gavin John Stark | Stream handling in multimedia communication systems | 1996-11-01 | 1997-01-01 | |
| Steven L Pope | Application support for mobile computing | 1996-10-01 | 1997-01-01 | TR-415 |
| Kam Hong Shum | Adaptive parallelism for computing on heterogeneous clusters | 1996-09-01 | 1996-11-01 | TR-404 |
| Mark Humphrys | Action selection methods using reinforcement learn | 1996-08-01 | 1997-01-01 | TR-426 |
| George Kiraz | Computational approach to non-linear morphology | 1996-08-01 | 1996-11-01 | |
| Paul Barham | Devices in a multi-service operating system | 1996-07-05 | 1996-10-01 | TR-403 |
| Chai-keong Toh | Protocol aspects of mobile radio networks | 1996-07-01 | 1996-11-01 | |
| John Harrison | Theorem proving with the real numbers | 1996-07-01 | 1996-11-01 | TR-408 |
| Monica Nesi Thery | Formalising process calculi in higher order logic | 1996-04-19 | 1996-10-01 | TR-411 |
| Scarlet Schwiderski | Monitoring the behaviour of distributed systems | 1996-04-01 | 1996-06-01 | TR-400 |
| Richard JB Hayton | An open architecture for secure interworking services | 1996-04-01 | 1996-06-01 | TR-399 |
| Jonathan Sewell | Managing complex models for computer graphics | 1996-03-01 | 1996-07-01 | TR-420 |
| Quentin Stafford-Fraser | Video-augmented environments | 1996-02-01 | 1996-05-01 | TR-419 |
| Michael Hinchey | Structural design and formal methods | 1996-01-01 | 1999-06-01 | |
| William S Harbison | Trusting in computer systems | 1996-01-01 | 1997-07-01 | TR-437 |
| Andrew J Kennedy | Programming languages and dimensions | 1995-11-01 | 1996-03-01 | TR-391 |
| Sanjay Saraswat | Performance analysis of Delphi machine | 1995-10-01 | 1996-01-01 | TR-385 |
| Noha Adly | Management of replicated data in large scale systems | 1995-09-01 | 1995-11-01 | TR-383 |
| Uwe Nimscheck | Rendering for free form deformations | 1995-07-01 | 1995-10-01 | TR-381 |
| Simon Andr Crosby | Performance management in ATM networks | 1995-05-01 | 1995-10-01 | TR-393 |
| Oliver Michael Castle | Synthetic image generation for a multiple-view autostereo display | 1995-05-01 | 1995-10-01 | TR-382 |
| Arturo Trujillo | Lexicalist machine translation of spatial prepositions | 1995-04-01 | 1995-11-01 | |
| Timothy Roscoe | The structure of a multi-service operating system | 1995-04-01 | 1995-07-01 | TR-376 |
| Richard J Black | Explicit network scheduling | 1995-01-01 | 1995-03-01 | TR-361 |
| Ian D B Stark | Names and higher-order functions | 1994-12-01 | 1995-05-01 | TR-363 |
| Ross J Anderson | Robust computer security | 1994-12-01 | 1995-05-01 | |
| Simon W Moore | Multithreaded processor design | 1994-10-01 | 1995-01-01 | TR-358 |
| Feng Huang | Restructuring virtual memory to support distributed computing environments | 1994-09-01 | 1995-07-01 | TR-375 |
| Nicholas Benedict Van Someren | High Quality De-Interlacing Of Television Images | 1994-09-01 | 1995-01-01 | |
| Subir Kumar Biswas | Handling Realtime Traffic In Mobile Networks | 1994-08-01 | 1994-10-01 | TR-351 |
| Jane Louis Hunter | Integrated sound synchronisation for computer animation | 1994-07-01 | 1994-10-01 | TR-348 |
| Michael John Turner | The Contour Tree Image encoding technique and file format | 1994-05-01 | 1994-05-01 | TR-344 |
| Narm Hee Lee | Routing in high speed integrated services networks | 1994-04-01 | 1995-10-01 | |
| Akira Nakamura | An investigation of real-time synchronisation | 1994-01-01 | 1994-05-01 | |
| Eoin Andrew Hyden | Operating System Support For Quality Of Service | 1994-01-01 | 1994-05-01 | TR-340 |
| Simon R Kelley | Congestion control for unreserved traffic in ATM networks | 1993-12-01 | 1994-06-01 | |
| Richard Boulton | Efficiency In A Fully-Expansive Theorem Prover | 1993-12-01 | 1994-05-01 | TR-337 |
| Gavin M Bierman | On intuitionistic linear logic | 1993-12-01 | 1994-05-01 | TR-346 |
| Sai Lai Lo | A modular and extensible network storage architecture | 1993-11-01 | 1994-02-01 | TR-326 |
| Pierre David Wellner | Interacting with paper on the Digitaldesk | 1993-11-01 | 1994-01-01 | TR-330 |
| Mark David Hayter | A workstation architecture to support multimedia | 1993-10-01 | 1994-12-01 | TR-319 |
| Steven M G Freeman | An architecture for distributed user interfaces | 1993-10-01 | 1994-05-01 | TR-342 |
| Adrian M T Wrigley | Real-time ray tracing on a novel HDTV framestore | 1993-10-01 | 1994-01-01 | |
| David M Evers | Distributed Computing With Objects | 1993-10-01 | 1994-01-01 | TR-332 |
| James Doug Grundy | A method of program refinement | 1993-10-01 | 1993-12-01 | TR-318 |
| Barney D Pell | Strategy generation and evaluation for meta-game playing | 1993-09-01 | 1993-10-01 | TR-315 |
| Guanxing Li | Supporting distributed realtime computing | 1993-08-01 | 1993-11-01 | TR-322 |
| John Peter Van Tassel | Femto-Vhdl: The Semantics Of A Subset Of Vhdl And Its Embedding In The Hol Proof Assistant | 1993-08-01 | 1993-10-01 | TR-317 |
| Michael R Warner | Charging and resource control for open dist systems | 1993-05-01 | 1993-07-01 | |
| Richard S Crouch | The Temporal Properties Of English Conditionals And Modals | 1993-04-01 | 1993-07-01 | TR-325 |
| John Carroll | Practical Unification-Based Parsing Of Natural Language | 1993-03-01 | 1993-10-01 | TR-314 |
| J Matthew S Doar | Multicast In The Asynchronous Transfer Mode Environment | 1993-02-01 | 1993-05-01 | TR-298 |
| Kish Shen | Studies of and/or parallelism in Prolog | 1993-01-01 | 1993-01-26 | |
| P Nicholas Benton | Strictness Analysis Of Lazy Functional Programs | 1992-12-01 | 1993-05-01 | TR-309 |
| Cormac John Sreenan | Synchronisation services for digital continuous media | 1992-11-01 | 1993-02-01 | TR-292 |
| Andrew D Gordon | Functional programming and Input/Output | 1992-11-01 | 1992-11-10 | TR-285 |
| Eike Ritter | Categorical Abstract Machines For Higher-Order Typed Lambda Calculi | 1992-10-01 | 1993-03-01 | TR-297 |
| David Elworthy | The semantics of noun phrase anaphora | 1992-10-01 | 1993-03-01 | TR-289 |
| Innes Ferguson | Touring machines: an architecture for dynamic, rational, mobile agents | 1992-10-01 | 1993-01-01 | TR-273 |
| Lee Fedder | Generating natural language text from the output of an application program | 1992-10-01 | 1993-01-01 | |
| Kamiar Sehat | Evaluation of caches and cache coherency | 1992-08-01 | 1992-10-01 | |
| Paul W Jardetzky | Network file server design for continuous media | 1992-08-01 | 1992-10-01 | TR-268 |
| John Michael Levine | A flexible bidirectional dialogue system | 1992-07-01 | 1993-01-01 | |
| T Mark A Lomas | Aspects of Computer Network Security | 1992-07-01 | 1992-10-01 | |
| Neil A Dodgson | Image resampling | 1992-05-01 | 1992-07-01 | TR-261 |
| Ian Benson | Reasoning About Contingent Events In Distributed Systems | 1992-04-28 | 1992-04-01 | |
| Martin D Coen | Interactive program derivation | 1992-04-01 | 1992-10-01 | TR-272 |
| Xiao quian Chen | Congestion control and routing in integrated broadband networks | 1992-04-01 | 1992-07-01 | |
| Rajeev Goré | Cut-Free Sequent And Tableau Systems For Propositional Normal Modal Logics | 1992-03-01 | 1992-04-01 | |
| Chu Suan Ang | Continuous media in fast networks | 1992-01-01 | 1992-05-01 | |
| Rachel Cardell-Oliver | The formal verification of hard real-time systems | 1992-01-01 | 1992-04-01 | TR-255 |
| Xiaofeng Jiang | Multipoint digital video communications | 1992-01-01 | 1992-03-01 | TR-251 |
| Siu Chi Hsu | Computer support for large character set languages | 1991-12-01 | 1992-05-01 | |
| Mads Rosendahl | Abstract interpretation and attribute grammars | 1991-12-01 | 1992-04-01 | |
| Chaoying Ma | Designing a universal name service | 1991-11-01 | 1992-11-01 | TR-270 |
| Thomas U Vogel | Learning In Large State Spaces With An Application To Biped Robot Walking | 1991-11-01 | 1992-04-01 | TR-241 |
| Wing Hung Lau | Realistic 3D image composition | 1991-11-01 | 1992-01-01 | |
| Glenford E Mapp | An object-oriented approach to virtual memory management | 1991-11-01 | 1991-12-01 | TR-242 |
| Stephen M V Hailes | The Design And Implementation Of Troy, A Distributed Object-Based Language | 1991-10-01 | 1992-02-01 | |
| Olivia R Nagioff | Algorithms for Image Encoding | 1991-10-01 | 1991-02-01 | |
| Peter W Dickman | Distributed Object Management In A Non-Small Graph Of Autonomous Networks With Few Failures | 1991-09-01 | 1992-02-01 | |
| Michael Joseph Dixon | System support for multi-service traffic | 1991-09-01 | 1992-01-01 | TR-245 |
| Jeremy Ball | SEMORICA: a system examining motion and object representation issues in computer animation | 1991-09-01 | 1992-01-01 | |
| Roy Crole | Programming metalogics with a fixpoint type | 1991-07-01 | 1991-12-01 | TR-247 |
| Heng Wang | Modelling and image generation | 1991-07-01 | 1991-10-01 | TR-235 |
| Benjamin Macias | An incremental parser for govenment-binding theory | 1991-07-01 | 1991-10-01 | |
| John Bradshaw | Using Knowledge Of Purpose And Knowledge Of Structure As A Basis For Evaluating The Behaviour Of Mechanical Systems | 1991-06-01 | 1991-10-01 | TR-236 |
| David R Milward | Axiomatic grammar, non-constituent coordination and incremental interpretation | 1991-04-01 | 1991-10-22 | |
| Phillip Yelland | Models of modularity: a study of object-oriented programming | 1991-03-01 | 1991-07-01 | |
| Juanito Camilleri | Priority in process calculi | 1991-03-01 | 1991-05-01 | TR-227 |
| Cosmos Nicolaou | A Distributed Architecture for Multimedia Communication Systems | 1991-01-01 | 1991-05-01 | TR-220 |
| KwokYam Lam | A new approach for improving system availability | 1991-01-01 | 1991-03-01 | TR-226 |
| Mian Wei | A distributed compilation system | 1990-11-01 | 1991-03-01 | |
| Bhaskar R Harita | Dynamic bandwidth management | 1990-11-01 | 1991-03-01 | TR-217 |
| Susan E Thompson | A storage service for structured data | 1990-11-01 | 1991-02-01 | |
| Raphael Yahalom | Managing the order of transactions in widely-distruted data systems | 1990-10-01 | 1991-01-01 | TR-231 |
| Kamal Chaudhary | VLSI Routing | 1990-09-01 | 1991-01-01 | |
| Karen L Wrench | A distributed and-or parallel Prolog network | 1990-08-01 | 1990-12-01 | |
| Michael Luke Tunmer | Combinator reduction on networks of small processors | 1990-07-01 | 1990-11-01 | |
| Gianpaulo Tommasi | Procedural Methods In Computer Graphics | 1990-07-01 | 1990-11-01 | |
| Richard C Hutchings | The computer comprehension of systematic metaphor | 1990-05-01 | 1990-11-01 | |
| Li Gong | Cryptographic protocols for distributed systems | 1990-05-01 | 1990-11-01 | |
| Paul Curzon | A structured approach to the verification of low level microcode | 1990-05-01 | 1990-10-01 | TR-215 |
| David A Wolfram | The clausal theory of types | 1990-04-01 | 1990-11-01 | |
| Victor Poznanski | A Relevance-Based Utterance Processing System | 1990-03-01 | 1991-06-01 | TR-246 |
| Charles W Restivo | Deductive synthesis and planning | 1990-03-01 | 1990-07-01 | |
| Stuart Philip Hawkins | Video replay in computer animation | 1989-12-01 | 1990-07-01 | TR-207 |
| Jeffery J Joyce | Multi-level verification of microproccesor- based | 1989-12-01 | 1990-05-01 | TR-195 |
| Timothy Gleeson | Aspects of abstraction in computing | 1989-12-01 | 1990-05-01 | |
| Derek McAuley | Configuration and binding in distributed systems | 1989-09-01 | 1990-01-01 | TR-186 |
| Thomas Frederick Melham | Formalising abstraction mechanisim for hardware ve | 1989-08-01 | 1990-05-01 | TR-201 |
| Guo- Qiang Zhang | The logic of domains | 1989-06-01 | 1990-01-01 | TR-185 |
| Stephen James Roger Harrison | Raytracing image synthesis techniques | 1989-06-01 | 1989-11-01 | |
| Roger Stuart Calnan | The integration of Voice within a digital network | 1989-04-01 | 1989-05-01 | |
| Peter Newman | Design of a multicast fast packet switch | 1988-12-01 | 1989-05-01 | TR-165 |
| Richard David Williams | Organisation and analysis of spatial data | 1988-10-01 | 1989-03-01 | |
| Michael Burrows | Caching, migration and replication of files in a distributed file system | 1988-09-01 | 1989-02-01 | TR-153 |
| Paul Karger | Improving security and performance for capability | 1988-03-01 | 1988-11-01 | TR-149 |
| Piete T M Brooks | Distribution of functions in computer networks | 1988-02-01 | 1988-07-01 | |
| Alberto Camilleri | Executing behavioural definitions in higher order | 1988-02-01 | 1988-06-01 | TR-140 |
| Thomas James W Clarke | Support for heap-based programming | 1987-12-01 | 1989-05-01 | |
| Miriam Ellen Leeser | Reasoning about the function & timing of integrate | 1987-11-01 | 1988-05-01 | TR-132 |
| Murray P Shanahan | Set-based processing of horn clauses | 1987-09-01 | 1988-02-01 | |
| Andrew Franklin Seaborne | Filing in a heterogeneous network | 1987-08-01 | 1988-05-01 | TR-169 |
| Carole S Klein | Exploiting Or-parallelism in Prolog using multiple | 1990-05-08 | TR-216 | |
| David J Greaves | The design of a metropolitan area backbone ring | 1990-05-08 | ||
| Angelos Tsolakis |
