Department of Computer Science and Technology: List of PhD students skip to primary navigationskip to content Study at Cambridge About the University Research at Cambridge Search site Home Study at Cambridge Undergraduate Courses Applying Events and open days Fees and finance Student blogs and videos Graduate Why Cambridge Course directory How to apply Fees and funding Frequently asked questions International students Continuing education Executive and professional education Courses in education About the University How the University and Colleges work History Visiting the University Term dates and calendars Map For media Video and audio Find an expert Publications Global Cambridge News Events Public engagement Jobs Give to Cambridge Research at Cambridge For staff For current students For alumni For business Colleges & departments Libraries & facilities Museums & collections Email & phone search Computer Laboratory List of PhD students Department of Computer Science and Technology Lists Home The department Overview People Overview Academic staff Support staff Contract researchers Fellows & affiliates PhD students Visitors Seminars Overview Wednesday Seminar Series Wheeler Lectures women@cl 10th Anniversary Computer Laboratory 75th Anniversary History Facilities Overview Reception Food Shopping and leisure Cycling Library resources Overview Library induction Guides Catalogues Coronavirus resources Electronic resources Local services Lab technical reports External technical reports Resource lists Reading lists Reprographics equipment Archives Maps and directions Contact information Research Overview Artificial Intelligence Overview People Group Meetings Project ideas for current students Computer Architecture Overview Projects and research topics ACS & Part II/III Project Suggestions People Selected Publications Open source components Group Meetings Contact Details Digital Technology Graphics & Interaction Overview Research Members Projects Applying to do a PhD Project suggestions Other information Reading Club Natural Language Processing Overview People Publications Projects Postgraduate opportunities Resources Programming, Logic, Semantics Security Overview People Publications Projects and topics Security Seminar Series Meetings Courses Posters Journals Mailing lists blog Systems Overview Research Projects Members Seminars Student Projects Research Admin Admissions Overview Undergraduate Computer Science at Cambridge Overview Course Open Days Apply CSAT FAQ Contact MPhil ACS Overview Modules PhD applications Research Graduate Admissions Prospectus Funding deadlines PhD degree Overview Research Graduate Admissions Prospectus Funding deadlines MPhil in Advanced Computer Science CPGS Premium Research Studentship Student Administration Teaching Overview Part IA Part IB Part II Masters courses Overview Induction for M.Phil and Part III students ACS Forms Part III and ACS projects PhD students Freshers Courses 2020–21 Overview Part IA CST Part IB CST 75% Part IB CST 50% Part II CST 75% Part II CST 50% Part III MPhil ACS Lecturer index Instructions for lecturers Courses 2021–22 Overview Part IA CST Part IB CST Part II CST 75% Part II CST 50% Part III MPhil ACS Lecturer index Instructions for lecturers Exams Overview Examination dates Examination results Examiners' reports Plagiarism and collusion Purchase of calculators Data Retention Policy Past exam papers Guidance on deadlines Part III Assessment MPhil Assessment Student Complaint Procedure Lecture timetables Overview Short form timetable Supervisions Overview Part II supervisions overview Part II sign-up dates Notes on supervising Supervisor support Academic exchanges Overview Advice for students visiting Cambridge UROP internships Part IB group projects Overview Timetable Photos Previous years Part II projects Overview Briefing document (Pink Book) Important dates Overseers Phase 1 report Back-up advice Resources Declaration Studies Involving Human Participants Failure to submit proposal Selection Tips Declaration of originality Submission of dissertation IP ownership Diploma model projects Older project suggestions Supervising Notes Overseer Briefing Notes Directors of Studies Resources Overview Managed Cluster Service Part III and MPhil machines Online services Installing Linux MATLAB Microsoft Azure for Education Membership Miscellaneous Overview News Honours Obituaries Overview Neil Wiseman, 1934–1995 Roger Needham, 1935–2003 David Wheeler, 1927–2004 Karen Spärck Jones, 1935–2007 Judith Ann Bailey, 1934–2008 Robin Milner, 1934–2010 Sir Maurice Wilkes, 1913–2010 Michael JC Gordon, 1948–2017 Richard Gibbens, 1962–2018 Internal information Overview New arrivals Overview An introduction to our computing facilities Information for new PhD students Information for new staff Information for visitors Information for hosts of visitors General information Induction Guidelines Specialist resources System administration Overview Email Printing and scanning Filespace The CL network SSH access to the CL systems Supported platforms Generic Unix/Linux information Web servers and sites The RT ticketing system Specialist resources Lecture theatre AV Sitemap Frequently asked questions Roles and responsibilities Overview People History Information for staff Overview Accounting Parking Cycling Departmental policies Information for hosts of visitors Meeting rooms Personnel information Reception Staff training Stores UROP internships Wiseman prize Health and safety Overview Emergency First aid General health and safety Environment Fitness H&S policies & committees Risk assessment Laser safety Useful links Index of Health & Safety pages Committee PhD resources Overview Induction PhD supervisors Graduate Advisers CPGS First Year Report: PhD Proposal Second Year Report: Dissertation Schedule Third Year Report: Progress Statement Fourth Year Report: the last year Papers and conferences Writing up Thesis formatting Submitting your dissertation Exemption from University Composition Fees Leave to work away, holidays and intermission Researcher Development Application deadlines List of PhD thesis Graduate Students' Forum PAT, recycling and Building Services Typographic resources Overview Thesis formatting Preparing Tripos exam questions in LaTeX Teaching resources Overview Information for CST examiners Information for Directors of Studies ACS module definition Providing advice to incoming ACS students ACS interviewing and admissions Outreach material Committees Overview Faculty Board Degree Committee Graduate Education Tripos Management Outreach Health & Safety IT Strategy Equality and Diversity Research Staff Staff–Student Directors of Studies Workload Wellbeing Graduate Students Ethics Buildings and Environment Selection External Discontinued committees William Gates Building Overview Building Services Access and security Care of the WGB Facilities in offices Energy & Environment Meeting rooms Stores West Cambridge Site Leaving the department Lists Overview List of PhD students Overview current by supervisor List of PhD students finished current by supervisor List of finished PhD students Below 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. Where available, it also links the local PDF version uploaded by the student, which now also includes files that were in the past collected by Lise Gough in /usr/groups/studentadmin/PhD_theses. (The local PDFs are only accessible 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). author title supervisor (co-supervisor) started submitted approved thesis Dimitrios Spathis Machine learning to model health with multimodal mobile sensor data Prof. C. Mascolo 2017-10-01 2021-07-07 2021-10-12 local PDF Hayk Saribekyan Information dissemination via random walks Dr T. M. Sauerwald 2017-10-01 2021-07-06 2021-10-12 TR-964, local PDF Michael Dodson Capability-based access control for cyber physical systems Prof. A. R. Beresford 2018-10-01 2021-07-03 2021-10-12 TR-963, local PDF Simeon Spasov Encoding parameter and structural efficiency in deep learning Prof. P. Lio', Prof. M. Spillantini (ClinMed) 2016-10-01 2021-05-23 2021-10-12 local PDF Kawin Worrasangasilpa Formally verifying the security properties of a proof-of-stake blockchain protocol Prof. L. C. Paulson 2017-01-05 2021-04-30 2021-10-19 local PDF Andreas Grammenos Federated Linear Dimensionality Reduction Prof. C. Mascolo 2016-10-01 2021-04-30 2021-06-29 local PDF Nicholas Timmons Software-based approximate computing for mathematical functions Prof. A. C. Rice 2017-10-01 2021-04-09 2021-06-29 local PDF Marco Caballero Gutierrez Routing algorithms for next-generation MANETs: Why shortest is not the greatest Prof. J. A. Crowcroft 2016-10-01 2021-03-08 2021-06-29 local PDF Catalina Cangea Exploiting multimodality and structure in world representations Prof. P. Lio' 2017-10-01 2021-03-07 2021-06-29 local PDF Conrad Watt Mechanising and evolving the formal semantics of WebAssembly: The Web’s new low-level language Prof. P. M. Sewell 2016-10-01 2021-02-05 2021-07-06 local PDF Mansoor Ahmed Decentralised computer systems Prof. R. J. Anderson 2017-10-01 2021-01-07 2021-04-27 local PDF Botty Dimanov Interpretable Deep Learning: Beyond Feature-Importance with Concept-based Explanations Prof. M. Jamnik 2016-10-01 2020-12-30 2021-04-27 local PDF Saad Aloteibi A user-centred approach to information retrieval Dr S. Clark 2009-10-01 2020-12-18 2021-06-29 local PDF Joseph Zammit Compressive sensing of images and video: towards low-complexity, real-time operation Dr I. J. Wassell, Dr. Ashwin A Seshia (CUED) 2016-10-01 2020-12-15 2021-04-27 local PDF Ahmed Zaidi The role of machine learning in personalised instructional sequencing for language learning Prof. P. J. Buttery 2016-10-01 2020-11-20 2021-04-27 local PDF Myoung Jin Nam Inline and Sideline Approaches for Low-cost Memory Safety in C Dr D. J. Greaves 2005-10-01 2020-11-13 2021-01-19 TR-954, local PDF Jiexin Zhang Hardware and software fingerprinting of mobile devices Prof. A. R. Beresford 2017-10-01 2020-11-02 2021-03-02 local PDF Dionysios Manousakas Data Summarizations for Scalable, Robust and Privacy-Aware Learning in High Dimensions Prof. C. Mascolo 2016-10-01 2020-10-30 2021-03-02 TR-960, local PDF Kevin Heffernan Problem-solving recognition in scientific text Prof. S. H. Teufel 2015-10-01 2020-10-13 2021-01-19 local PDF Leran Cai The Impact of Randomisation in Load Balancing and Random Walks Dr T. M. Sauerwald 2016-10-01 2020-09-30 2021-01-19 local PDF Aliaksei Mikhailiuk Active sampling, scaling and dataset merging for large-scale image quality assessment Dr R. K. Mantiuk 2017-10-01 2020-09-28 2021-01-19 local PDF Youmna Farag Neural approaches to discourse coherence: modeling, evaluation and application Prof. E. J. Briscoe 2016-10-01 2020-09-28 2021-01-19 local PDF Ntombikayise Banda Multimodal Emotion Recognition Prof. P. Robinson 2010-10-01 2020-09-04 2021-01-19 local PDF Duo Wang Neural Diagrammatic Reasoning Prof. P. Lio', Prof. M. Jamnik 2016-10-01 2020-08-31 2021-03-02 local PDF Lawrence Esswood CheriOS: A high-performance and completely untrusted single-address-space capability operating system Dr R. N. Watson 2015-10-01 2020-08-06 2021-01-19 TR-961, local PDF Ayat Fekry Optimising data intensive computing with efficient configuration tuning Prof. A. C. Rice 2016-10-01 2020-07-17 2020-11-24 local PDF Helen Oliver Obstacles to wearable computing Prof. J. A. Crowcroft 2016-10-01 2020-06-30 2021-03-02 TR-966, local PDF Krittika D'Silva Modeling Urban Venue Dynamics through Spatio-Temporal Metrics and Complex Networks Prof. C. Mascolo 2016-10-01 2020-05-28 2020-07-14 local PDF Ran Guan Crowdsourcing Mobile Data for Indoor Positioning Dr R. K. Harle 2015-10-01 2020-04-30 2020-07-14 local PDF Roy Spliet A SIMD architecture for hard real-time systems Dr R. D. Mullins 2015-10-01 2020-03-31 2020-07-14 local PDF Ewa Muszynska Semantic chunking Prof. A. A. Copestake 2015-10-01 2020-03-30 2020-06-09 local PDF Robert Kovacsics Much tag-do about nothing Prof. S. W. Moore 2016-10-01 2020-02-24 2020-06-09 Alexander Michael Vetterl Honeypots in the age of universal attacks and the Internet of Things Prof. R. J. Anderson 2016-10-01 2019-11-20 2020-01-21 TR-944, local PDF Helena Andres Terre Interpreting deep learning for cell differentiation Prof. P. Lio' 2015-10-01 2019-11-04 2020-01-21 local PDF Mohibi Hussain Availability, integrity, and confidentiality for a content-centric internet architecture Prof. J. A. Crowcroft, Dr A. Sathiaseelan 2015-10-01 2019-10-29 2020-03-03 local PDF Philip Saville Cartesian closed bicategories: type theory and coherence Prof. M. P. Fiore 2015-10-01 2019-10-17 2020-04-28 local PDF Dylan McDermott Reasoning about effectual programs and evaluation order Prof. A. Mycroft 2016-10-01 2019-10-17 2020-03-03 TR-948, local PDF Alexander Richardson Complete spatial safety for C and C++ using CHERI capabilities Dr R. N. Watson 2015-10-01 2019-10-15 2020-01-21 TR-949, local PDF Peng Sun Speculative vectorization with selective replay Dr T. M. Jones 2015-10-01 2019-09-30 2020-01-21 local PDF Hugo Paquet Probabilistic concurrent game semantics Prof. G. Winskel 2015-10-01 2019-09-30 2020-01-21 TR-950 Michael Schaarschmidt End-to-end deep reinforcement learning in computer systems Dr E. Yoneki 2015-10-01 2019-09-29 2020-03-03 TR-946, local PDF Jianxin Zhao Optimization of a modern numerical library, a bottom-up approach Prof. J. A. Crowcroft 2015-10-01 2019-09-27 2020-01-21 TR-956, local PDF Giovanna maria Dimitri Multilayer network methodologies for brain data analysis and modelling Prof. P. Lio' 2015-10-01 2019-09-20 2020-01-21 local PDF Nanyang Ye Visibility metrics and their application in visually lossless image compression Dr R. K. Mantiuk 2016-10-01 2019-08-27 2019-11-26 local PDF Xiao Zhou Spatio-temporal patterns of human mobility from geo-social networks for urban computing: Analysis, models and applications Prof. C. Mascolo 2015-10-01 2019-08-21 2019-11-26 Alexander Kuhnle Evaluating visually grounded language capabilities using microworlds Prof. A. A. Copestake 2015-10-01 2019-08-21 2019-11-26 TR-942, local PDF Partha Maji Model-architecture co-design of deep neural networks for embedded systems Dr R. D. Mullins 2016-01-04 2019-07-26 2019-11-26 local PDF Hongyan Xia Capability memory protection for embedded systems Prof. S. W. Moore 2015-10-01 2019-05-28 2019-10-15 TR-955, local PDF Kris Cao Learning meaning representations for text generation with deep generative models Dr A. Vlachos, Dr S. Clark 2014-10-01 2019-05-20 2019-10-15 local PDF Gregory Wilsenach Symmetric circuits and model-theoretic logics Prof. A. Dawar 2014-10-01 2019-03-04 2019-06-11 Jean Maillard Machine learning methods for vector-based compositional semantics Dr S. Clark 2014-10-01 2019-02-04 2019-04-23 Petar Velickovic The resurgence of structure in deep neural networks Prof. P. Lio' 2016-01-04 2019-01-30 2019-04-23 local PDF Christopher Bryant Automatic annotation of error types for grammatical error correction Prof. E. J. Briscoe 2015-10-01 2018-12-19 2019-04-23 TR-938, local PDF Matthew Daggitt An algebraic perspective on the convergence of vector-based routing protocols Prof. T. G. Griffin 2015-10-01 2018-12-18 2019-03-05 local PDF Diana Andreea Popescu Latency-driven performance in data centres Prof. A. W. Moore 2014-04-17 2018-12-13 2019-03-05 TR-937 Stephan Kollmann Privacy-preserving decentralised collaborative applications Prof. A. R. Beresford 2014-10-01 2018-11-27 2019-03-05 local PDF Ian Orton Cubical models of homotopy type theory Prof. A. M. Pitts 2015-10-01 2018-11-05 2019-01-22 Christopher Pulte The semantics of multicopy atomic ARMv8 and RISC-V Prof. P. M. Sewell 2014-10-01 2018-09-30 2019-04-23 local PDF Heidi Howard Distributed consensus revised Prof. J. A. Crowcroft 2014-10-01 2018-09-26 2019-01-22 TR-935 David Turner Parallelisation of greedy algorithms for compressive sensing reconstruction Dr I. J. Wassell 2013-10-01 2018-09-17 2019-01-22 TR-751, local PDF Christian O'Connell Exploiting quasiperiodic electromagnetic radiation using software-defined radio Dr M. G. Kuhn 2014-10-01 2018-09-10 2019-01-22 local PDF Ivo Timoteo Learning dynamic systems as networks of stochastic differential equations Dr S. B. Holden 2012-10-01 2018-08-20 2019-01-22 Guy Emerson Functional distributional semantics: Learning linguistically informed representations from a precisely annotated corpus Prof. A. A. Copestake 2014-10-01 2018-08-20 2018-10-16 local PDF Maxwell Conway Machine learning methods for detecting structure in metabolic flow networks Prof. P. Lio' 2014-10-01 2018-08-06 2019-01-22 TR-945, local PDF Khaled Baqer Resilient payment systems Prof. R. J. Anderson 2014-10-01 2018-07-19 2018-10-16 TR-929, local PDF Yang Liu Application of prior information to discriminative feature learning Dr I. J. Wassell 2014-10-01 2018-06-15 2018-10-16 local PDF Menglin Xia Text readability and summarisation for non-native reading comprehension Prof. E. J. Briscoe 2014-10-01 2018-06-07 2018-10-16 Meng Zhang Modelling text meta-properties in automated text scoring for non-native English writing Prof. E. J. Briscoe 2014-10-01 2018-05-31 2018-10-16 Guo Yu Effects of timing on users' perceived control when interacting with intelligent systems Prof. A. F. Blackwell, Dr Ian Cross 2014-10-01 2018-05-11 2018-10-16 TR-939, local PDF Ilias Marinos Network and storage stack specialisation for performance Dr R. N. Watson, Kyle Nesbit (Google mentor) 2012-10-01 2018-05-11 2018-07-03 local PDF Alessandro Montanari Devising and evaluating wearable technology for social dynamics monitoring Prof. C. Mascolo 2014-10-01 2018-05-10 2018-10-16 local PDF Hui Xiao Network-based approaches for multi-omic data integration Prof. P. Lio', Prof. Anne Ferguson-Smith, MoleBio 2014-04-17 2018-04-16 2018-10-16 Syed Zafar Ul Hussan Gilani Understanding the behaviour and influence of automated social agents Prof. J. A. Crowcroft 2014-10-01 2018-02-23 2018-06-19 local PDF Sam Ainsworth Prefetching for complex memory access patterns Dr T. M. Jones 2014-10-01 2018-02-06 2018-06-19 TR-923, local PDF Yimai Fang Proposition-based summarization with coherence-driven incremental model Prof. S. H. Teufel 2013-10-01 2018-01-05 2018-04-17 Thomas Brouwer Bayesian matrix factorisation: inference, priors, and data integration Prof. P. Lio' 2014-10-01 2017-10-02 2018-01-23 local PDF Isak Herman Public engagement technology for bioacoustic citizen science Prof. A. F. Blackwell 2013-10-01 2017-09-29 2020-04-28 local PDF Colin Rothwell Protection from malicious peripherals Prof. S. W. Moore 2013-10-01 2017-09-29 2018-01-23 Wenda Li Towards justifying computer algorithms in Isabelle/HOL Prof. L. C. Paulson 2013-10-01 2017-09-28 2018-03-09 local PDF Alexandre Joannou High-performance memory safety optimizing the CHERI capability machine Prof. S. W. Moore 2013-10-01 2017-09-28 2018-01-23 TR-936 Simon Baker Semantic text classification for cancer text mining Dr A. L. Korhonen 2013-10-01 2017-09-27 2018-01-23 Jean Pichon-Pharabod A no-thin-air memory model for programming languages Prof. P. M. Sewell 2013-10-01 2017-09-20 2018-01-23 Ionel Gog Flexible and efficient computation in large data centres Dr R. N. Watson, Prof. I. M. Leslie 2012-10-01 2017-09-01 2018-01-23 local PDF Wenduan Xu Structured learning with inexact search: Advances in shift-reduce CCG parsing Dr S. Clark 2012-01-05 2017-08-25 2017-11-21 local PDF Gregory Tsipenyuk Evaluation of decentralized email architecture and social network analysis based on email attachment sharing Prof. J. A. Crowcroft 2013-10-01 2017-08-03 2017-10-17 TR-918, local PDF Pengming Wang Descriptive complexity of constraint problems Prof. A. Dawar 2013-10-01 2017-07-27 2018-01-23 Ruoyu Zhou Guided automatic binary parallelisation Dr T. M. Jones, Dr R. D. Mullins 2013-10-01 2017-07-20 2018-01-23 Ziqiang Feng Power control and resource allocation for QoS-constrained wireless networks Dr I. J. Wassell 2013-10-01 2017-07-12 2017-10-17 local PDF Jyothish Soman A peformance efficient and practical processor error recovery framework Dr T. M. Jones, Prof. S. W. Moore 2014-01-06 2017-07-07 2018-01-23 TR-931, local PDF Erroll Wood Gaze estimation with graphics Prof. P. Robinson 2013-10-01 2017-05-02 2017-07-04 local PDF Sandro Bauer Content selection for timeline generation from single history articles Prof. S. H. Teufel, Dr S. Clark 2012-04-17 2017-03-31 2017-10-17 Matic Horvat Hierarchical statistical semantic translation and realization Prof. A. A. Copestake, Prof. W. J. Byrne, CUED 2013-10-01 2017-03-07 2017-07-04 TR-913, local PDF Petko Georgiev Heterogeneous resource mobile sensing: computational offloading, scheduling and algorithm optimisation Prof. C. Mascolo 2013-10-01 2017-01-05 2017-03-07 local PDF Advait Sarkar Interactive analytical modelling Prof. A. F. Blackwell, Prof. M. Jamnik 2013-10-01 2016-12-01 2017-03-07 TR-920, local PDF Matthew Grosvenor Latency-first datacenter network scheduling Prof. A. W. Moore 2012-01-05 2016-11-13 2017-01-17 TR-943 Sheharbano Khattak Characterization of Internet censorship from multiple perspectives Prof. J. A. Crowcroft, Dr S. J. Murdoch 2013-10-01 2016-11-01 2017-01-17 TR-897, local PDF Stephen Dolan Algebraic subtyping Prof. A. Mycroft 2012-10-01 2016-09-30 2017-01-17 local PDF Valentin Dalibard A framework to build bespoke auto-tuners with structured Bayesian optimisation Dr E. Yoneki, Prof. J. A. Crowcroft 2012-10-01 2016-09-30 2016-11-29 TR-900, local PDF Andre Ribeiro 'When Google search helps unemployment' and other cases for a theory of everday media Dr E. Yoneki, Dr S. H. Teufel 2012-10-01 2016-09-26 2016-11-29 Zheng Yuan Grammatical error correction in non-native English Prof. E. J. Briscoe 2013-10-01 2016-09-23 2017-01-17 TR-904 Desislava Hristova A multilayer approach to geo-social networks: models, metrics and applications Prof. C. Mascolo 2013-04-17 2016-09-23 2016-11-29 local PDF Annalisa Occhipinti Computational models of cancer for survival prediction Prof. P. Lio' 2013-10-01 2016-09-21 2017-01-17 Chao Gao Signal maps for smartphone localisation Dr R. K. Harle 2013-10-01 2016-08-03 2016-11-29 TR-901, local PDF Raphael Proust ASAP: As Static As Possible memory management Prof. A. Mycroft 2012-10-01 2016-07-29 2016-10-18 TR-908, local PDF Jingjing Shen Trimmed NURBS to untrimmed subdivision: conversion for watertight representations Prof. P. Robinson, Dr J. Kosinka 2012-10-01 2016-07-18 2016-10-18 Douwe Kiela Deep embodiment: Grounding semantics in perceptual modalities Dr S. Clark 2012-10-01 2016-07-08 2016-10-18 TR-899, local PDF Felix Hill Representing linguistic meaning in distributed memories from words to sentences and beyond Dr A. L. Korhonen 2012-10-01 2016-06-16 2016-11-29 Tomas Petricek Context-aware programming languages Prof. A. Mycroft, Dr Don Syme 2011-01-05 2016-05-31 2017-01-17 TR-906, local PDF Dongting Yu Access control for network management Prof. R. J. Anderson 2010-10-01 2016-05-19 2016-10-18 TR-898 Muhammad Umar Janjua Static Program Correction Analysis and Transformations Prof. A. Mycroft, iap 2003-10-01 2016-05-16 2017-01-17 Flora Ponjou Tasse 3D Shape Retrieval Prof. P. Robinson 2012-10-01 2016-05-16 2016-10-18 Lucian Carata Provenance-based computing Prof Sir A. Hopper, Dr R. S. Sohan 2011-10-01 2016-04-20 2016-10-18 TR-930, local PDF Naruemon (Ploy) Pratanwanich Probabilistic latent variable modelling for integrated biological data Prof. P. Lio' 2012-10-01 2016-04-15 2016-10-18 local PDF Xin Ding On enhancing compressive sensing for multidimensional signals: causal and batch approaches Dr I. J. Wassell 2012-04-17 2016-04-08 2016-10-18 Mariano Felice Artificial error generation for translation-based grammatical error correction Prof. E. J. Briscoe 2013-01-04 2016-03-24 2016-06-28 TR-895, local PDF Kumar Sharad Learning to de-anonymize social networks Prof. R. J. Anderson, Dr S. J. Murdoch 2012-06-22 2016-03-21 2016-06-28 TR-896 Jannis Bulian Parameterized complexity of distances to sparse graph classes Prof. A. Dawar 2012-10-01 2016-02-25 2016-06-28 TR-903, local PDF Laurent Simon Exploring new attack vectors for the exploitation of smartphones Prof. R. J. Anderson 2012-04-17 2016-02-01 2016-05-03 TR-909 Thomas Pasquier Towards practical information flow control and audit Prof. J. M. Bacon 2012-10-01 2016-01-29 2016-05-03 TR-893, local PDF Yu Wang Structured sparsity learning - taming the penalty under structure Dr I. J. Wassell 2012-01-05 2016-01-27 2016-05-03 local PDF James Snee Operating system support for in-program instrumentation Operating system support for in-program instrumentation Prof. A. C. Rice, Dr R. S. Sohan 2011-10-01 2016-01-04 2016-05-03 Marco Ferreira Devesas Campos Mendler induction and classical logic Prof. M. P. Fiore 2011-10-01 2015-12-14 2016-03-08 local PDF Oliver Chick Forgoing hypervisor fidelity for measuring virtual machine performance Prof. A. C. Rice, Dr R. S. Sohan 2012-10-01 2015-11-30 2016-03-08 Andra Adams Automated inference of complex emotions from facial expressions and head gestures Prof. P. Robinson 2010-10-01 2015-11-11 2016-01-19 Malte Schwarzkopf Operating system support for warehouse-scale computing Prof. I. M. Leslie, jac 2009-10-01 2015-10-23 2016-03-08 local PDF Yoli Shavit Algorithms for reconstructing the 3D genome architecture Prof. P. Lio' 2012-10-01 2015-10-12 2015-12-01 local PDF Daniel Thomas Security metrics for computer systems Prof. A. R. Beresford 2012-10-01 2015-09-30 2016-03-08 William Sonnex Fixed-point promotion: taking the induction out of automated induction Prof. L. C. Paulson 2011-10-01 2015-09-30 2016-01-19 TR-905 Niall Murphy Discovering and exploiting parallelism in DOACROSS loops Dr R. D. Mullins 2011-10-01 2015-09-30 2016-01-19 TR-882, local PDF Gareth Bailey In situ gait analysis during steady state running using foot mounted sensors Dr R. K. Harle 2011-10-01 2015-09-30 2016-01-19 Robert Norton Hardware support for compartmentalisation Prof. S. W. Moore 2011-10-01 2015-09-30 2015-12-01 TR-887 Raoul-Gabriel Urma Programming language evolution Prof. A. Mycroft 2011-10-01 2015-09-21 2016-03-08 TR-902 Zongyan Huang Machine learning and algebra Prof. L. C. Paulson 2011-10-01 2015-08-24 2015-10-20 TR-884, local PDF Ramana Kumar A Verified Implementation of ML Prof. M. J. C. Gordon, Dr M. O. Myreen 2011-10-01 2015-05-14 2015-12-01 TR-879, local PDF Alistair Stead Using multiple representations to develop notational expertise in programming Prof. A. F. Blackwell 2011-10-01 2015-05-14 2015-10-20 TR-890 Joonwoong Kim Anonymous communication in DTN Prof. J. A. Crowcroft, fms 2005-10-01 2015-05-06 2015-10-20 Theodosia Togia The language of collaborative tagging Prof. A. A. Copestake 2011-10-01 2015-04-16 2015-06-30 TR-875, local PDF Alexander Katovsky Games as Factorization Systems Prof. G. Winskel 2010-10-01 2015-04-10 2015-10-20 Tobias Moncaster Optimising the data centre operation by reducing transport latency Prof. J. A. Crowcroft 2011-10-01 2015-04-07 2018-03-06 TR-921, local PDF Andrius Aucinas Design of energy-efficient mobile communications protocols Prof. J. A. Crowcroft 2011-10-01 2015-03-16 2015-10-20 local PDF Claudio Angione Computational methods for multi-omic models of cell metabolism and their importance for theoretical computer science Prof. P. Lio' 2011-10-01 2015-03-05 2015-05-05 Vaiva Imbrasaite Continuous dimensional emotion tracking in music Prof. P. Robinson 2011-10-01 2015-01-21 2015-03-10 Marwa Mahmoud Analysis of hand-over-face gestures in natural expressions Prof. P. Robinson 2010-10-01 2015-01-15 2015-05-05 Lech Swirski Gaze estimation on glasses-based stereoscopic displays Prof. N. A. Dodgson 2010-10-01 2014-12-22 2015-03-10 local PDF Ekaterina Kochmar Error detection in content word combinations Prof. E. J. Briscoe 2011-10-01 2014-12-12 2015-05-05 TR-886, local PDF Mohammad Ali Moni Clinical bioinformatics and computational modelling for diseas comorbidities diagnosis Prof. P. Lio' 2011-05-05 2014-11-20 2015-01-20 Rubin Xu Improving application trustworthiness on stock Android Prof. R. J. Anderson 2010-10-01 2014-10-27 2015-01-20 Steven Marsh Efficient programming models for neurocomputation Prof. S. W. Moore 2010-10-01 2014-09-30 2015-01-20 local PDF William Denman Automated verification of continuous and hybrid dynamical systems Prof. L. C. Paulson 2010-10-01 2014-09-25 2015-01-20 TR-910, local PDF Peter Calvert Architecture-neutral parallelism via the Join Calculus Prof. A. Mycroft 2010-10-01 2014-09-24 2015-03-10 TR-871, local PDF Zhen Bai Augmented reality interfaces for symbolic play in early childhood Prof. A. F. Blackwell 2010-10-01 2014-09-17 2015-01-20 TR-874 Andreas Koltes Reconfigurable memory systems for embedded microprocessors Dr R. D. Mullins 2010-10-01 2014-09-16 2014-12-02 local PDF Omar-Salim Choudary Efficient multivariate statistical techniques for extracting secrets from electronic devices Dr M. G. Kuhn 2010-10-01 2014-07-16 2014-10-21 TR-878, local PDF Mark Batty The C11 and C++11 Concurrency Model Prof. P. M. Sewell, mjp 2009-01-05 2014-06-20 2014-10-21 Henrik Lieng Surface modelling for 2D imagery Prof. N. A. Dodgson, Jiri Kosinka 2011-10-01 2014-06-17 2014-10-21 TR-862, local PDF Charalampos Rotsos Scalable Software Defined Networking Prof. A. W. Moore 2009-04-10 2014-06-09 2014-10-21 Chloe Brown The role of space in social groups: Analysis and technological applications Prof. C. Mascolo 2011-10-01 2014-06-06 2014-10-21 local PDF Janina Voigt Aliasing contracts: a unifying approach to object-oriented alias protection Prof. A. Mycroft 2011-10-01 2014-05-19 2014-10-21 TR-880 Steffen Loesch Program equivalence in function metaprogramming via nominal Scott domains Prof. G. Winskel 2010-10-01 2014-05-19 2014-10-21 TR-860 Steven Herbert Wireless communications in vehicles Dr I. J. Wassell 2010-10-01 2014-05-06 2014-10-21 local PDF Nik Sultana Higher-order proof translation Prof. L. C. Paulson 2008-10-01 2014-04-14 2014-07-01 TR-867 Jonathan Woodruff CHERI: A RISC capability machine for practical memory safety Prof. S. W. Moore 2010-10-01 2014-03-07 2014-05-06 TR-858 Agata Brajdić Infrastructure-free indoor pedestrian localisation with smartphones Dr R. K. Harle, Prof. J. M. Bacon 2009-10-01 2014-03-01 2014-07-01 Syed Ali Mustafa Zaidi Accelerating Control-Flow Intensive Code in Spatial Hardware Dr D. J. Greaves 2009-10-01 2014-02-28 2014-07-01 TR-870 Christopher Smowton I/O optimisation and elimination via partial evaluation I/O optimisation and elimination via partial evaluation Prof. A. Mycroft, Prof. A. W. Moore 2009-10-01 2014-02-11 2014-07-01 TR-865 Matej Urbas Mechanising heterogeneous reasoning in theorem provers Prof. M. Jamnik 2009-10-01 2013-12-11 2014-07-01 local PDF Thomas Lippincott Unsupervised approaches to syntactic verb frame acquisition for biomedicine Dr A. L. Korhonen, Prof. E. J. Briscoe 2009-10-01 2013-11-26 2014-03-11 local PDF Jukka Lehtosalo Adapting dynamic object-oriented languages to mixed dynamic and static typing Dr D. J. Greaves, Prof. A. Mycroft 2009-10-01 2013-09-30 2014-01-21 Matko Botincan Formal verification- driven parallelisation synthesis Prof. M. J. C. Gordon 2009-10-01 2013-09-27 2014-01-21 TR-917, local PDF Awais Athar Sentiment analysis of scientific citations Prof. S. H. Teufel, Dr S. Clark 2009-10-01 2013-09-27 2014-01-21 TR-856 Tadas Baltrusaitis Automatic facial expression analysis Prof. P. Robinson 2009-10-01 2013-09-26 2014-01-21 TR-861, local PDF Steven Smith Raft: Automated techniques for diagnosing, reproducing, and fixing concurrency bugs Dr S. M. Hand 2005-10-01 2013-09-18 2014-01-21 local PDF Anastasios Noulas Human urban mobility in location-based social networks: Analysis, models and applications Prof. C. Mascolo, jac 2010-01-05 2013-08-23 2013-10-22 James Gregory Jardine Automatically Generating Reading Lists Prof. S. H. Teufel, alk 2009-10-01 2013-08-15 2013-12-03 TR-848, local PDF Jisun An Multi-faceted analysis of news sharing in social networking sites Prof. J. A. Crowcroft 2010-01-05 2013-08-06 2013-10-22 Wei Ming Khoo Decompilation as search Prof. R. J. Anderson 2009-10-01 2013-08-05 2013-10-22 TR-844 Daniel Bates Exploiting tightly-coupled cores Dr R. D. Mullins 2009-10-01 2013-07-31 2013-12-03 TR-846, local PDF Nicholas Pilkington Hyperparameter optimisation for multiple kernels Dr S. B. Holden 2009-10-01 2013-06-28 2013-12-03 Narseo Vallina-Rodriguez The hidden costs of mobile applications: A cross-layer analysis of energy and spectrum waste of mobile applications Prof. J. A. Crowcroft 2009-01-05 2013-04-12 2013-10-22 Ian Davies Workload measurement in command and control Prof. P. Robinson 2008-10-01 2013-03-18 2013-07-02 Milos Puzovic Hardware/software interface dynamic multicore scheduling Dr D. J. Greaves 2008-10-01 2013-03-14 2013-07-02 local PDF Dominic Orchard Programming contextual computations Prof. A. Mycroft 2008-10-01 2013-01-04 2013-07-02 TR-854 Helen Yannakoudakis Automated assessment of English-learner writing Prof. E. J. Briscoe 2009-10-01 2012-12-21 2013-05-07 TR-842 Marek Rei Minimally supervised dependency-based methods for natural language processing Prof. E. J. Briscoe, alk 2009-10-01 2012-12-21 2013-05-07 TR-840 John Wickerson Concurrent verification for sequential programs Prof. G. Winskel 2008-10-01 2012-12-20 2013-05-07 TR-834 Maximilian Bolingbroke Supercompilation for call-by-need languages Prof. A. Mycroft, SPJones 2008-10-01 2012-12-05 2013-03-12 TR-835, local PDF Kiran Rachuri Smartphones based Social Sensing: Adaptive Sampling, Sensing and Computation Offloading Prof. C. Mascolo 2009-10-01 2012-11-28 2013-03-12 Ching-Yun Chang Transformations for linguistic steganography Dr S. Clark 2009-10-01 2012-11-14 2013-03-12 local PDF Paul James Fox Massively parallel neural computation Prof. S. W. Moore 2009-04-10 2012-10-04 2013-01-22 TR-830, local PDF Leo White Extending old languages for the new architectures Prof. A. Mycroft, Derek McAuley 2008-10-01 2012-09-28 2013-03-12 local PDF Christopher Thompson-Walsh Semantics and extension of a biological modelling language Prof. G. Winskel 2008-10-01 2012-09-28 2013-01-22 Yuedong Song Electroencephalogram machine learning to assist diagnosis and treatment of epilepsy Prof. P. Lio' 2008-10-01 2012-09-26 2015-03-10 local PDF Soren Preibusch Privacy choices online: preferences, incentives and enforcement Prof. A. R. Beresford 2008-10-01 2012-09-25 2013-01-22 local PDF Colin Kelly Automatic extraction of property norm-like data from large text corpora Dr A. L. Korhonen 2008-10-01 2012-09-25 2013-01-22 TR-839 Benjamin Roberts Language semantics for secure information flow analysis Dr S. Staton 2008-10-01 2012-09-24 2013-01-22 Wei Chen Compressive sensing for wireless sensor networks Dr I. J. Wassell, acr 2009-10-01 2012-09-20 2012-12-04 local PDF Gregory Chadwick Communication centric, multi-core, fine-grained processor architecture Prof. S. W. Moore 2008-10-01 2012-09-14 2013-01-22 TR-832 Lin Sun Automatic induction of verb classes using clustering Dr A. L. Korhonen 2008-10-01 2012-07-23 2012-12-04 local PDF Jonathan Anderson Privacy engineering for social networks. Prof. F. M. Stajano 2008-10-01 2012-07-20 2012-10-16 TR-825, local PDF Aisha Elsafty A naming and trust approach for seamless handover in multiple-interface mobile devices Dr D. J. Greaves 2007-01-05 2012-07-12 2013-03-12 local PDF Salvatore Scellato Spatial properties of online social services: measurement, analysis and applications Prof. C. Mascolo 2009-04-10 2012-05-08 2012-10-16 local PDF Charles Reams Modelling energy efficiency for computation Prof. A. Mycroft 2008-10-01 2012-04-04 2012-07-03 TR-821 Joseph Bonneau Security and privacy in the social web Prof. R. J. Anderson 2008-10-01 2012-04-04 2012-05-08 TR-819 Meredydd Luff Communication for programmability and performance on multi-core processors Prof. S. W. Moore, am 2009-01-05 2012-03-20 2012-10-16 TR-831, local PDF Christopher Nash Supporting virtuosity and flow in computer music Prof. A. F. Blackwell 2006-10-01 2011-12-20 2012-07-03 Robin Message Programming for humans- a new paradigm for domain-specific languages Prof. A. Mycroft 2007-10-01 2011-12-19 2012-05-08 TR-843 Syed Haider Computational systems biology-based feature selection for cancer prognosis Prof. P. Lio' 2009-01-05 2011-12-15 2012-03-13 Eric Koskinen Temporal verification of programs Prof. M. J. C. Gordon, Byron Cook 2008-10-01 2011-12-09 2012-05-08 John Tang Temporal network metrics and their application to real world networks Prof. C. Mascolo 2008-10-01 2011-12-06 2012-03-13 Shailendra Fuloria Robust security for the electricity network Prof. R. J. Anderson 2009-01-05 2011-11-22 2012-01-24 Hyoungshick Kim Complex network analysis for secure and robust communications Prof. R. J. Anderson 2008-10-01 2011-11-21 2012-01-24 Stephan Kitchovitch Computational modelling and analysis of seasonal influenza transmission and evolution Prof. P. Lio' 2008-10-01 2011-11-14 2012-03-13 Christian Richardt Colour videos with depth acquisition, processing and evaluation Prof. N. A. Dodgson 2007-10-01 2011-11-11 2012-01-24 TR-815 Simon Fothergill Automatic assessment of kinaesthetic performance applied to rowing Prof Sir A. Hopper 2005-10-01 2011-09-30 2013-10-22 Richard Russell Planning with preferences using maximum satisfiability Dr S. B. Holden 2007-10-01 2011-09-30 2012-03-13 TR-822 Sherif Akoush Exploiting surplus renewable energy in datacentre computing Prof Sir A. Hopper, Dr R. S. Sohan 2007-10-01 2011-09-30 2012-01-24 local PDF Philip Taylor Specification of policy languages for network routing protocols in the Bellman-Ford family Prof. T. G. Griffin 2007-10-01 2011-09-29 2012-01-24 Vilius Naudziunas Design and implementation of a language for path algebras Prof. T. G. Griffin 2008-10-01 2011-09-28 2011-12-06 Ruoshui Liu Planning and deployment of wireless sensor networks Dr I. J. Wassell 2007-10-01 2011-09-21 2011-12-06 Arno Pauly Computable metamathematics and its applications to game theory Prof. A. Dawar 2008-10-01 2011-09-16 2012-01-24 local PDF Viet Anh Nguyen Bayesian approaches to biological network predictions Prof. P. Lio' 2007-10-01 2011-09-07 2011-10-11 Pedro Brandao Abstracting information on body area networks Prof. J. M. Bacon 2007-04-17 2011-07-13 2011-10-11 TR-812 Derek Murray A distributed execution engine supporting data-dependent control flow Dr S. M. Hand 2007-10-01 2011-07-08 2011-12-06 local PDF Andrew Lewis Reconstructing compressed photo and video data Dr M. G. Kuhn 2007-10-01 2011-06-27 2011-10-11 TR-813 Anilkumar Sorathiya Computational modelling approaches to HIV-1 dynamics Prof. P. Lio' 2007-10-01 2011-06-08 2011-10-11 Ian Leung Fast network analysis and applications in real-world networks Prof. P. Lio' 2008-01-05 2011-05-31 2011-10-11 local PDF Md Abdul Alim On the Interaction of Internet Routing Protocols Prof. T. G. Griffin, jac 2007-10-01 2011-05-03 2011-10-11 Silvia Breu Mining and tracking in evolving software Prof. A. Mycroft 2006-04-17 2011-04-15 2011-12-06 TR-838, local PDF Nishanth Sastry Social network support for data delivery infrastructures Prof. J. A. Crowcroft 2007-04-17 2011-04-15 2011-07-04 Amitabha Roy Software lock elision for x86 machine code Dr S. M. Hand, Dr T. L. Harris 2007-10-01 2011-04-15 2011-07-04 TR-801, local PDF Johanna Geiss Latent semantic sentence clustering for multi-document summarization Prof. S. H. Teufel 2007-04-17 2011-04-11 2011-07-04 TR-802, local PDF Ola Mahmoud Second-order algebraic theories Prof. M. P. Fiore 2007-01-05 2011-03-29 2011-10-11 TR-807, local PDF Laurel Riek Expression synthesis on robots Prof. P. Robinson 2007-10-01 2011-03-25 2011-07-04 local PDF Ekaterina Shutova Computational approaches to figurative language Prof. S. H. Teufel 2007-10-01 2011-03-11 2011-05-10 TR-803 Simon Hay A model personal energy meter Prof Sir A. Hopper 2007-10-01 2011-02-10 2011-05-10 TR-805, local PDF Jean Martina Verification of security protocols based on multicase communication Prof. L. C. Paulson 2006-10-01 2011-02-09 2011-05-10 TR-816 Julien Quintard Towards a worldwide storage infrastructure Prof. J. M. Bacon 2007-10-01 2011-01-24 2011-07-04 Nick Barrow-Williams Proximity coherence for chip-multiprocessors Prof. S. W. Moore 2007-10-01 2011-01-20 2011-07-04 TR-810, local PDF Thomas Tuerk A separation logic framework for HOL Prof. M. J. C. Gordon 2007-01-05 2010-12-24 2011-05-10 TR-799 John Miller Distributed virtual environment scalability and security Prof. J. A. Crowcroft 2006-10-01 2010-12-22 2011-07-04 TR-809 Stephen Kell Black-box composition of mismatched software compnents Dr D. J. Greaves, kaf 2006-10-01 2010-12-14 2011-05-10 TR-845, local PDF Jonathan Mak Facilitating program parallelisation - a profiling-based approach Prof. A. Mycroft 2007-10-01 2010-11-18 2011-03-15 TR-796, local PDF Weisi Guo Power allocation for wireless collaborative networks Dr I. J. Wassell 2007-04-17 2010-11-08 2011-03-15 Robert Watson New approaches to operating system security extensibility Prof. R. J. Anderson 2005-10-01 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 Prof. A. A. Copestake 2006-10-01 2010-10-13 2011-03-15 Bogdan Roman Scalable Cross-Layer Wireless Medium Access Control Dr I. J. Wassell, Prof. F. M. Stajano 2006-10-01 2010-10-11 2011-01-25 Yuguo He Hierarchies in first-order logic and parameterized complexity Prof. A. Dawar, amp 2006-10-01 2010-10-08 2010-12-07 local PDF Bjarki Holm Descriptive complexity of linear algebra Prof. A. Dawar, mf 2006-10-01 2010-09-30 2011-03-15 local PDF James Srinivasan Improving cache utilisation Prof. S. W. Moore, pr 2003-01-05 2010-09-29 2011-01-25 TR-800, local PDF Boris Feigin Interpretational overhead in system software Prof. A. Mycroft 2006-10-01 2010-09-27 2011-01-25 TR-797 James Bridge Machine learning and automated theorem proving Prof. L. C. Paulson 2006-10-01 2010-08-05 2010-10-12 TR-792, local PDF Oliver Woodman Pedestrian localisation for indoor environments Prof Sir A. Hopper 2006-10-01 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 Prof. P. Robinson 2006-10-01 2010-05-17 2010-10-12 TR-793, local PDF Periklis Akritidis Practical memory safety for C Dr S. M. Hand 2006-10-01 2010-05-11 2010-10-12 TR-798, local PDF Aurelie Herbelot Unspecified quantification Prof. A. A. Copestake, Prof. S. H. Teufel 2006-10-01 2010-04-27 2010-10-12 TR-795, local PDF Daniel Greenfield Rentian locality in chip multiprocessors Prof. S. W. Moore 2006-04-17 2010-04-16 2010-07-01 local PDF Oeistein Andersen Grammatical error prediction Prof. E. J. Briscoe 2006-10-01 2010-04-01 2010-07-01 TR-794, local PDF Theo Markettos Active electromagnetic attacks on secure hardware Prof. S. W. Moore 2003-10-01 2010-03-19 2010-07-01 TR-811, local PDF Mohan Ganesalingam The Language of Mathematics Prof. A. A. Copestake, Prof. Martin Hyland 2007-10-01 2010-02-26 2010-07-01 local PDF Thomas Cashman NURBS-compatible subdivision surfaces Prof. N. A. Dodgson 2006-10-01 2010-01-22 2010-03-02 TR-773 Richard Van der Wath Computational modelling of hematopoietic stem cell division and regulation dynamics Prof. P. Lio' 2005-10-01 2010-01-01 2010-03-02 Daniel O'Keeffe Distributed complex event detection for pervasive computing Prof. J. M. Bacon 2003-10-01 2009-12-18 2010-03-02 TR-783 Pradipta Biswas Inclusive user modelling Prof. P. Robinson 2006-10-01 2009-12-16 2010-03-02 local PDF Andreas Vlachos Semi-supervised learning for biomedical information extraction Prof. E. J. Briscoe 2006-10-01 2009-12-10 2010-04-20 TR-791 Chung Kil Hur Categorical equational systems: algebraic models and equational reasoning Prof. M. P. Fiore 2004-10-01 2009-11-12 2010-03-02 local PDF Sriram Srinivasan Kilim: A server framework with lightweight actors, isolation types and Zero-copy messaging Prof. J. M. Bacon 2005-10-01 2009-11-11 2010-01-19 TR-769 John Billings Specifying and compiling Internet routing protocols Prof. T. G. Griffin 2005-10-01 2009-10-16 2010-01-19 Yan Wu Propagation modelling for wireless sensor networks deployed to perform civil infrastructure monitoring Dr I. J. Wassell 2006-10-01 2009-10-05 2010-01-19 local PDF Wei Li Toward online behavioural traffic classification Prof. A. W. Moore, Dr S. B. Holden 2007-10-01 2009-10-02 2009-12-01 Jatinder Singh Controlling the dissemination and disclosure of healthcare events Prof. J. M. Bacon 2005-10-01 2009-09-30 2009-12-01 TR-770 Olexiy Gotsman Logics and analyses for concurrent heap-manipulating programs Prof. M. J. C. Gordon, Byron Cook 2005-10-01 2009-09-30 2009-10-06 TR-758 Anthony Hylick Managing energy consumption of hard disk drives by optimizing system interaction Prof Sir A. Hopper, Dr R. S. Sohan 2005-10-01 2009-08-30 2010-04-20 local PDF Behzad Bastani Open evolvable systems design by process-oriented modeling Dr D. J. Greaves 2003-10-01 2009-08-28 2009-12-01 Matthew Lakin An executable meta-language for inductive definitions with binders Prof. A. M. Pitts 2005-10-01 2009-08-14 2009-12-01 TR-772 Saar Drimer Security for volatile FPGAs Dr M. G. Kuhn 2005-10-01 2009-08-14 2009-10-06 TR-763 Cecily Morrison Bodies-in-Space: investigating technology usage in co-present group interaction Prof. A. F. Blackwell 2006-10-01 2009-08-13 2009-12-01 TR-771 Aaron Coble Anonymity, information and machine-assisted proof Prof. L. C. Paulson 2005-10-01 2009-08-05 2009-12-01 TR-785, local PDF Julian Smith Towards robust inexact geometric computation Prof. N. A. Dodgson 2003-10-01 2009-07-31 2009-12-01 TR-766, local PDF Ranald Clouston Equational logic for names and binders Prof. A. M. Pitts 2005-10-01 2009-06-18 2009-12-01 local PDF Daniel Bernhardt Emotion inference from human body motion Prof. P. Robinson 2005-10-01 2009-06-17 2009-10-06 TR-787 Alexander Gurney Construction and verification of routing algebras Prof. T. G. Griffin, mf 2005-10-01 2009-04-30 2009-12-01 local PDF Rok Strnisa Formalising, improving, and reusing the Java module system Prof. P. M. Sewell 2005-10-01 2009-04-16 2009-10-06 Min Lin Channel modelling for wireless sensor networks Dr I. J. Wassell 2004-10-01 2009-04-14 2009-10-06 William Carson Performance modelling and design of bit-interleaved coded modulation Dr I. J. Wassell, ah 2005-10-01 2009-04-09 2009-05-26 Grzegorz Milos Efficient and effective sharing of memory in virtual machine monitors Dr S. M. Hand 2005-10-01 2009-03-30 2009-10-06 Luis Vargas Integrating databases and Publish/Subscribe Prof. J. M. Bacon 2004-10-01 2009-02-26 2009-05-26 Mark Adcock Improving cache performance by runtime data movement Prof. A. Mycroft 2004-10-01 2009-02-25 2009-05-26 TR-757, local PDF Rosemary Francis Networks for Field Programmable Gate Arrays Prof. S. W. Moore, pr 2006-04-17 2009-02-12 2009-07-02 TR-828 Jonathan Hayman Petri net semantics Prof. G. Winskel 2004-10-01 2009-01-16 2009-07-02 TR-782 Philip Paul Microelectronic Security Measures Prof. S. W. Moore 2005-10-01 2009-01-14 2009-07-02 TR-829, local PDF Magnus Myreen Formal verification of machine-code programs Prof. M. J. C. Gordon 2005-10-01 2008-12-21 2009-05-26 TR-765, local PDF David Turner Nominal domain theory for concurrency Prof. G. Winskel 2004-10-01 2008-12-19 2009-05-26 Eric Henderson A text representation language for contextual and distributional processing Prof. A. A. Copestake, ejb 2002-10-01 2008-12-01 2009-12-01 TR-779 Arnab Banerjee Communication flows in power-efficient networks-on-chips Prof. S. W. Moore 2005-10-01 2008-11-24 2009-03-10 TR-786 Timos Antonopoulos Expressive Power of Graph Languages Prof. A. Dawar 2004-01-05 2008-11-14 2009-03-10 Minor Gordon Small-scale, event-based overlays Prof. J. M. Bacon 2005-10-01 2008-10-10 2009-01-20 TR-781, local PDF Jonathan Davies Programming networks of vehicles Prof Sir A. Hopper, fms 2004-10-01 2008-09-26 2009-01-20 TR-761 David Cottingham Vehicular wireless communication Prof Sir A. Hopper 2004-10-01 2008-09-26 2009-01-20 TR-741 Atif Alvi Controlling pervasive domains with ontologies and rules Dr D. J. Greaves 2004-10-01 2008-08-20 2008-10-21 Caroline Gasperin Statistical anaphora resolution in biomedical texts Prof. E. J. Briscoe 2003-10-01 2008-08-07 2008-12-02 TR-764, local PDF Evangelia Kalyvianaki Resource provisioning for virtualized server applications Dr S. M. Hand, Dr T. L. Harris 2002-10-01 2008-08-04 2008-12-02 TR-762 Na Xu Static contract checking for Haskell Prof. A. Mycroft 2004-10-01 2008-08-01 2008-12-02 TR-737 Diarmuid Ó Séaghdha Learning compound noun semantics Prof. A. A. Copestake 2004-10-01 2008-07-11 2008-10-21 TR-735 Salman Taherian State-based Publish/Subscribe for Sensor Systems Prof. J. M. Bacon 2003-10-01 2008-07-08 2008-10-21 TR-739 Shishir Nagaraja Robust covert network topologies Prof. R. J. Anderson 2003-10-01 2008-07-04 2008-12-02 local PDF Tomasz Macura Automating the quantitative analysis of micoscopy images Dr J. K. M. Moody 2004-10-01 2008-07-03 2009-03-10 local PDF Philip Tuddenham Tabletop interfaces for remote collaboration Prof. P. Robinson 2004-10-01 2008-06-27 2008-10-21 TR-734 Anna Ritchie Citation context analysis for information retrieval Prof. S. H. Teufel, Steve Robinson 2004-10-01 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) Prof. M. J. C. Gordon, djg 2004-10-01 2008-05-07 2008-10-21 local PDF Matthew Johnson A new approach to Internet banking Prof. S. W. Moore 2004-10-01 2008-04-01 2008-06-10 TR-731, local PDF Alban Rrustemi Computing surfaces - a platform for scalable interactive displays Prof. S. W. Moore 2004-10-01 2008-03-25 2008-06-10 TR-732, local PDF Tyler Moore Cooperative attack and defense in distributed networks Prof. R. J. Anderson 2004-10-01 2008-03-07 2008-06-10 TR-718 Gerhard Hancke Security of proximity identification systems Dr M. G. Kuhn, djg 2003-10-01 2008-03-03 2008-10-21 TR-752, local PDF Euan Harris Rate limiting in an event-driven BGP speaker Prof. J. A. Crowcroft, Dr T. G. Griffin 2002-10-01 2008-01-31 2009-05-26 local PDF Sofiane Naci Controlling prevasive domains with ontologies and rules Prof. A. Mycroft, mr 2004-10-01 2008-01-16 2008-06-10 local PDF Yu-En Lu Distributed proximity query processing Dr S. M. Hand, Dr T. L. Harris 2004-01-05 2008-01-14 2008-04-22 Anton Lokhmotov Programming and compiling for embedded SIMD architectures Prof. A. Mycroft 2004-10-01 2008-01-04 2008-04-22 Mbou Eyole-Monono Energy-efficient sentient computing Prof Sir A. Hopper, Rob Harle 2004-10-01 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 Prof. A. F. Blackwell 2004-10-01 2008-01-03 2008-04-22 TR-733 Andrew Naish-Guzman Sparse and robust kernal methods Dr S. B. Holden, jgd 2003-10-01 2007-12-21 2008-04-22 Lauri Pesonen A capability-based access control architecture for multi-domain publish/subscribe systems Prof. J. M. Bacon, km 2003-10-01 2007-12-21 2008-03-11 TR-720 Gregory Hughes Lecture Adaptation for students with disabilities Prof. P. Robinson 2004-10-01 2007-12-17 2008-06-10 Wenjun Hu A tale of two prototypes: Practical network coding for wireless mesh networks Prof. J. A. Crowcroft, TBA 2003-10-01 2007-11-22 2008-01-22 William Hollingsworth Using lexical chains to characterise scientific text Prof. S. H. Teufel, ejb 2003-10-01 2007-11-05 2008-03-11 Shahzad Khan Negation and antonymy in sentiment classification Prof. E. J. Briscoe, Prof. S. H. Teufel 2004-10-01 2007-10-08 2008-01-22 Benjamin Medlock Investigating classification for natural language processing tasks Prof. E. J. Briscoe 2004-10-01 2007-10-02 2008-01-22 TR-721 Rebecca Watson Optimising the speed and accuracy of a Statistical GLR Parser Prof. E. J. Briscoe 2004-10-01 2007-09-10 2007-11-27 TR-743 Michael Compton Formal verification of process algebra systems Prof. L. C. Paulson, Prof. M. J. C. Gordon 2002-10-01 2007-08-13 2008-03-11 local PDF Steven Murdoch Covert channel vulnerabilities in anonymity systems Dr M. G. Kuhn, rja 2002-10-01 2007-08-03 2007-11-27 TR-706, local PDF Paul Hunter Complexity and infinite games on finite graphs Prof. A. Dawar, amp 2002-10-01 2007-08-01 2007-11-27 TR-704 Pan Hui People are the network: Experimental design and evaluation of social based forwarding algorithms Prof. J. A. Crowcroft, TBA 2004-10-01 2007-08-01 2007-11-27 TR-713 Viktor Vafeiadis Modular fine-grained concurrency verification Prof. A. Mycroft 2004-10-01 2007-07-23 2007-11-27 TR-726, local PDF Andy Ozment Vulnerability discovery & software security Prof. R. J. Anderson 2003-10-01 2007-07-03 2007-10-09 Simon Hollis Pulse-based, on-chip interconnect Prof. S. W. Moore, pr 2003-10-01 2007-06-26 2007-10-09 TR-698 Ian Caulfield Complexity-effective superscalar embedded processors using instruction-level distributed processing Prof. S. W. Moore, am 2002-10-01 2007-05-30 2007-10-09 TR-707 Alan Lawrence Optimizing compilation with the value state dependence graph Prof. A. Mycroft, mr 2002-10-01 2007-05-29 2007-11-27 TR-705 Feng Hao On using fuzzy data in security machanisms Prof. R. J. Anderson 2004-04-17 2007-05-24 2007-10-09 TR-715 Doug Santry A cluster storage system for modern virtual machines Dr I. A. Pratt, Dr S. M. Hand 2003-01-05 2007-05-17 2007-10-09 Richard Southern Animation manifolds for representing topological alteration Prof. N. A. Dodgson, Prof. P. Robinson 2003-10-01 2007-05-01 2008-06-10 TR-723 Jacques Fournier Vector microprocessors for cryptography Prof. S. W. Moore, rja 2003-10-01 2007-05-01 2007-10-09 TR-701 Lucy Brace-Evans Event structures with persistence Prof. G. Winskel, amp 2003-10-01 2007-04-27 2007-10-09 TR-710 William Billingsley The Intelligent Book: technologies for intelligent and adaptive textbooks focussing on Discrete Mathematics Prof. P. Robinson, afb 2002-10-01 2007-04-25 2007-07-10 TR-719 Martin Vechev Derivation and evaluation of concurrent collectors Dr M. Richards, am 2003-10-01 2007-04-05 2007-10-09 Alisdair Stuart Wren Relationships for object-oriented programming languages Prof. A. M. Pitts, am 2003-10-01 2007-03-31 2007-10-09 TR-702 Tal Sobol-Shikler Le ton fait la musique: analysis of expressions in speech Prof. P. Robinson, Prof. A. F. Blackwell 2002-10-01 2007-03-31 2007-07-10 TR-740 Ulrich Paquet Bayesian inference for latent variable models Dr S. B. Holden, jgd 2003-10-01 2007-03-09 2007-06-12 TR-724 Timothy Moreton A wide-area file system for migrating virtual machines Dr I. A. Pratt, Dr T. L. Harris 2002-10-01 2007-02-19 2007-04-17 TR-714 Jolyon Clulow On the security of real-world devices Prof. R. J. Anderson, mk 2003-10-01 2007-02-02 2007-07-10 Mark Grundland Color, style and composition in image processing Prof. N. A. Dodgson, pr 2001-01-05 2007-01-30 2007-07-10 local PDF Chi-kin Chau Networks and disputes Dr R. J. Gibbens, jac 2003-10-01 2007-01-26 2007-05-27 Manuel Costa End-to-end containment of Internet worm epidemics Prof. J. A. Crowcroft, Miguel Castro 2003-10-01 2007-01-01 2007-04-17 Russ Ross Cluster storage for commodity computation Dr I. A. Pratt, Dr S. M. Hand 2003-04-10 2006-12-31 2007-04-17 TR-690, local PDF Christopher Purcell Scaling mount concurrency: scalability and progress in concurrent algorithms K. A. Fraser, Dr S. M. Hand 2003-10-01 2006-12-18 2007-02-27 TR-697 Samuel Staton Name-passing process calculi: operational models and structural operational semantics Prof. M. P. Fiore, gw 2002-10-01 2006-12-15 2007-06-12 TR-688 Alexander Ho Understanding systems with virtual machines Dr S. M. Hand, iap 2002-10-01 2006-12-15 2007-04-17 local PDF Juliano Iyoda Translating HOL functions to hardware Prof. M. J. C. Gordon, djg 2002-10-01 2006-10-02 2007-01-09 TR-682 Eiko Yoneki ECCO: data centric asynchronous communication Prof. J. M. Bacon, jac 2002-10-01 2006-09-27 2006-11-14 TR-677 Eng Keong Lua Massive scale collaborative grid environments through P2P Prof. T. G. Griffin, Prof. J.A. Crowcroft 2003-10-01 2006-08-25 2006-11-14 Christian Kreibich Structural traffic analysis for network security monitoring Prof. J. A. Crowcroft, iap 2002-10-01 2006-08-07 2007-05-24 Andrew Twigg Compact forbidden-set routing Dr J. K. M. Moody, rjg 2002-10-01 2006-06-23 2006-10-10 TR-678, local PDF Ole H Jensen Mobile Processes in Bigraphs Prof. P. M. Sewell 1995-01-01 2006-06-05 2007-01-09 Boris Dragovic CASPEr: containment-aware security for pervasive computing environments Prof. J. A. Crowcroft, iap 2002-10-01 2006-05-30 2006-07-04 Anil Madhavapeddy Creating high-performance statically type-safe network applications Dr D. J. Greaves, Mac 2002-10-01 2006-04-25 2006-10-10 TR-775 Sarah Thompson On the application of program analysis and transformation to high reliability electronics Prof. A. Mycroft, djg 2003-10-01 2006-04-18 2006-07-01 TR-670 Gareth Stoyle A theory of dynamic software updates Prof. P. M. Sewell, gmb 2001-10-01 2006-04-07 2006-11-21 local PDF Timothy Deegan The main name system Prof. J. A. Crowcroft, Mac 2002-10-01 2006-04-07 2006-07-04 Maja Vukovic Context aware service composition Prof. P. Robinson, afb 2003-01-05 2006-04-04 2006-10-10 TR-700 Stephen Rymill Psychologically-based simulation of human behaviour Prof. N. A. Dodgson, pr 2002-10-01 2006-03-30 2006-10-11 TR-717, local PDF Paula Buttery Computational models for first language acquisition Prof. E. J. Briscoe, Prof. A. A. Copestake 2002-04-10 2006-03-30 2006-04-21 TR-675 Tolga Uzuner Effective network complexity Prof. J. A. Crowcroft, Mac 2002-01-05 2006-03-01 2006-07-01 Eben Upton Compiling with data dependence graphs Dr M. Richards, am 2001-10-01 2005-12-22 2006-07-18 local PDF Hui-Yun Li Security evaluation at design time for cryptographic hardware Prof. S. W. Moore 2003-01-05 2005-12-22 2006-04-21 TR-665 Andrew Warfield Virtual devices for virtual machines Dr S. M. Hand, jac 2002-10-01 2005-12-16 2006-06-09 local PDF Calicrates Policroniades-Borraz Decomposing file data into discernible items Dr I. A. Pratt, Dr T. L. Harris 2001-10-01 2005-12-12 2006-05-31 TR-672 Meng How Lim Landmark guided forwarding Prof. J. A. Crowcroft, iap 2002-10-01 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 Prof. J. A. Crowcroft, iap 2002-10-01 2005-10-31 2006-02-09 Piotr Zielinski Minimizing latency of agreement protocols Dr M. G. Kuhn, gw 2001-10-01 2005-09-30 2006-04-27 TR-667 Karl Jeacle TCP-XM Prof. J. A. Crowcroft, iap 2002-10-01 2005-09-14 2006-02-09 Richard Clayton Anonymity and traceability in cyberspace Prof. R. J. Anderson, lcp 2000-10-01 2005-08-26 2005-11-17 TR-653, local PDF David Spence Location based code placement in distributed systems Prof. J. A. Crowcroft, Dr S. M. Hand 2002-10-01 2005-08-01 2006-03-01 local PDF Matthew Parkinson Local reasoning for Java Prof. A. M. Pitts, gmb 2001-10-01 2005-08-01 2005-11-17 TR-654 Moritz Becker CASSANDRA: flexible trust management and its application to electronic health records Prof. P. M. Sewell, gmb 2001-10-01 2005-08-01 2005-09-22 TR-648 Judita Preiss Probabilistic word sense disambiguation Prof. E. J. Briscoe, Prof. A. A. Copestake 2001-10-01 2005-07-28 2006-03-17 TR-673 Marco Palomino-Zuniga Distributed creation and maintenance of web content indices Dr J. K. M. Moody, jmb 2000-10-01 2005-06-15 2005-10-15 Jia Meng The integration of higher order interactive proof with first order automatic theorem proving Prof. L. C. Paulson, Prof. M. J. C. Gordon 2002-10-01 2005-06-01 2005-09-22 TR-872 Mohamed Hassan Multiresolution in geometric modelling: subdivision mark points and ternary subdivison Prof. N. A. Dodgson, pr 2000-10-01 2005-05-01 2005-10-04 local PDF Alberto Fernandes Spectrum management for revenue maximisation in DSL Dr D. J. Greaves, TBA 2001-10-01 2005-05-01 2005-09-22 Nathan Dimmock Using trust and risk for access control in global computing Prof. J. M. Bacon, djg 2002-01-05 2005-05-01 2005-06-16 TR-643 Rana El-Kaliouby Mind-reading machines: automated inference of complex mental states Prof. P. Robinson, afb 2001-10-01 2005-03-30 2005-06-16 TR-636 Jeremy Singer Static program analysis based on virtual register renaming Dr M. Richards, am 2001-10-01 2005-03-29 2005-09-22 TR-660 Carsten Moenning Intrinsic point-based surface processing Prof. N. A. Dodgson, pr 2001-10-01 2005-01-21 2005-05-24 TR-658 Hyun Jin Choi Security protocol design by composition Prof. L. C. Paulson, Prof. S. W. Moore 2000-04-10 2004-12-22 2006-01-12 TR-657 Christopher Town Ontology based visual information processing Prof. J. G. Daugman 2001-10-01 2004-12-17 2005-03-01 local PDF Joerg Lepler Cooperation and deviation in market-based resource allocation Dr M. Richards 1999-01-01 2004-11-24 2005-01-05 TR-622 Mark Shinwell The fresh approach: functional programming with names and binders Prof. A. M. Pitts, Prof. M. J. C. Gordon 2001-01-05 2004-11-22 2005-03-03 TR-618, local PDF Evangelos Kotsovinos Global public computing Dr S. M. Hand, iap 2001-10-01 2004-11-15 2005-02-26 TR-615 David Eyers Active privilege management for distributed access control systems Dr J. K. M. Moody, jmb 2001-10-01 2004-11-11 2005-06-16 TR-669 James Roy Bulpin Operating system support for simultaneous multithreaded processors Dr I. A. Pratt, Dr T. L. Harris 2000-10-01 2004-10-08 2005-02-26 TR-619 Scott Fairbanks High precision timing using self-timed circuits Prof. S. W. Moore, pr 2001-10-01 2004-10-05 2005-02-26 TR-738 Sergei Skorobogatov Semi-invasive attacks - a new approach to hardware security analysis Prof. R. J. Anderson, Prof. S. W. Moore 2000-04-10 2004-09-22 2005-02-26 TR-630 Arasnath Kimis Generic event services middleware Prof. J. M. Bacon 1999-10-01 2004-09-13 2004-11-11 Nicholas Nethercote Dynamic binary analysis and instrumentation or building tools is easy Prof. A. Mycroft, Dr T. L. Harris 2001-10-01 2004-09-09 2004-11-11 TR-606 Roongroj Nopsuwanchai Discriminative training methods and their applications to handwriting recognition Prof. N. A. Dodgson, afb 2000-10-01 2004-08-06 2004-10-27 TR-652 Prem Fernando Automatic recognition of ancient Syriac handwriting Dr W. F. Clocksin, afb 2000-10-01 2004-08-01 2004-11-11 Robert Gordon Hague End-user programming in multiple languages Prof. P. Robinson, afb 2000-10-01 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 Prof. J. M. Bacon, km 2000-10-01 2004-07-01 2004-10-14 Simon Frankau Hardware synthesis from stream-processing functional language Prof. S. W. Moore 2000-10-01 2004-06-30 2004-11-11 TR-824, local PDF Neil E Johnson Code size optimization for embedded processors Prof. A. Mycroft, mr 2000-10-01 2004-06-01 2004-10-14 TR-607 Marc Peter Cardle Automated editing of sound and motion Prof. P. Robinson, nad 2000-10-01 2004-05-25 2004-10-14 Hasan Amjad Combining model checking and theorem proving Prof. M. J. C. Gordon, djg 2000-10-01 2004-03-29 2004-09-07 TR-601 Andrei Serjantov On the anonymity of anonymity systems Prof. P. M. Sewell, amp 2000-10-01 2004-03-18 2004-07-13 TR-604 Brian Shand Trust for resource control: self-enforcing automatic rational contracts between computers Prof. J. M. Bacon, km 2001-01-05 2004-02-28 2004-04-27 TR-600 Peter Pietzuch Hermes: a scalable event-based middleware Prof. J. M. Bacon, km 2000-10-01 2004-02-01 2004-04-27 TR-590, local PDF Michael Bond Understanding security APIs Prof. R. J. Anderson, lcp 2000-10-01 2004-01-30 2004-06-15 local PDF George Danezis Better anonymous communications Prof. R. J. Anderson, lcp 2000-10-01 2004-01-06 2004-03-01 TR-594 Andras Belokosztolszki Role-based access control policy administration Dr J. K. M. Moody, jmb 2000-10-01 2003-11-25 2004-04-05 TR-586 Silas Brown Conversion of notations Prof. P. Robinson, afb 2000-10-01 2003-11-19 2004-06-15 TR-591 Robert Ennals Adaptive evaluation of non-strict programs Prof. A. Mycroft, spj 2000-10-01 2003-11-13 2004-07-13 TR-730 Panit Watcharawitch MulTEP: a multi-threaded embedded processor Prof. S. W. Moore, pr 2000-10-01 2003-10-30 2004-04-20 TR-588 Steven Brooks Concise texture editing Prof. N. A. Dodgson, pr 2000-01-05 2003-10-17 2004-02-10 TR-584 Mark Ashdown Personal projected displays Prof. P. Robinson 1999-10-01 2003-09-30 2004-03-09 TR-585 Pablo Arrighi Representations of quantum operations with applications to quantum cryptography Prof. A. Dawar, rja 2000-10-01 2003-09-30 2004-02-10 TR-595 Keir Anthony Fraser Practical lock-freedom Dr I. A. Pratt 1999-10-01 2003-09-26 2004-02-10 TR-579 Advaith Siddharthan Syntactic simplification and text cohesion Prof. A. A. Copestake, ejb 2000-10-01 2003-08-05 2004-01-06 TR-597 Timothy Granger Reconfigurable wavelengh-switched optical networks for the internet core Prof. I. M. Leslie 1998-10-01 2003-08-04 2004-02-10 TR-575 David Richerby Fixed-point logics with choice Prof. A. Dawar, amp 1999-10-01 2003-07-01 2003-12-05 Sang-Bum Suh An effective multiple access policy for the home telephone wiring in a home LAN Dr D. J. Greaves 1998-10-01 2003-05-22 2006-07-11 Jianxin Yan Security for online games Prof. R. J. Anderson, iap 1999-10-01 2003-03-31 2003-08-21 James Hall Multi-layer network monitoring and analysis Prof. I. M. Leslie 1998-10-01 2002-12-31 2003-07-07 TR-571 Richard Sharp Higher-level hardware synthesis Prof. A. Mycroft, Prof. S. W. Moore 2000-10-01 2002-12-05 2003-03-14 Donnla B Nic Gearailt Dictionary characteristics in cross-language information retrieval Prof. K. I. B. Spärck-Jones 1997-10-01 2002-10-01 2003-07-15 TR-616 Walt Yao Trust management for widely distributed systems Prof. J. M. Bacon 1998-10-01 2002-09-30 2003-03-11 TR-608 Alan Abrahams Developing and executing electronic commerce applications with occurrences Prof. J. M. Bacon 1999-10-01 2002-09-15 2002-11-26 Michael J Blain Animating Liquids Prof. N. A. Dodgson 1997-10-01 2002-07-22 2003-02-11 Markus G Kuhn Compromising emanations: eavesdropping risks of computer displays Prof. R. J. Anderson 1997-10-01 2002-06-25 2002-10-29 TR-577, local PDF Alexis Hombrecher Reconciling event taxonomies across administrative domains Dr J. K. M. Moody 1998-10-01 2002-06-20 2002-10-29 Ulrich Lang Access policies for middleware Prof. R. J. Anderson, D Gollman 1998-10-01 2002-05-16 2003-05-27 TR-564 Keith Wansbrough Simple polymorphic usage analysis Prof. A. M. Pitts 1998-10-01 2002-04-02 2002-12-17 TR-623 Charalampos Manifavas Micropayment transaction costs Prof. R. J. Anderson 1995-10-01 2002-02-28 2002-10-29 Jana Sukkarieh Natural language for knowledge representation Dr S. G. Pulman 1996-10-01 2002-02-26 2002-05-28 Austin N Donnelly Resource control in network elements Prof. I. M. Leslie, Dr S. Crosby 1997-04-01 2002-01-28 2002-04-25 TR-534 Susan Pancho Contributions of formal security proofs Prof. R. J. Anderson 1998-10-01 2002-01-25 2003-11-14 Paul Cunningham Verification of asynchronous circuits Prof. P. Robinson 1998-10-01 2002-01-21 2002-05-28 TR-587 Joseph Ell Hurd Formal verification of probabilistic alogorithms Prof. M. J. C. Gordon 1998-10-01 2002-01-01 2002-05-30 TR-566 David B Stewart Quality of service for storage systems Prof. J. M. Bacon 1998-10-01 2001-12-20 2003-07-15 Umar Saif Architectures for ubiquitous systems Dr D. J. Greaves 1998-10-01 2001-11-30 2002-01-15 TR-527 Lucian J Wischik Explicit fusions: theory and implementation Dr P. A. Gardner, rm 1997-10-01 2001-11-05 2002-06-18 Richard M Mortier Internet traffic engineering Dr I. A. Pratt 1997-10-01 2001-11-01 2002-04-24 TR-532 Agathoniki Trigoni Semantic optimization of OQL queries Dr J. K. M. Moody 1998-10-01 2001-10-19 2002-01-15 TR-547 Kerry Rodden Evaluating similarity-based visualisations as interfaces for image browsing Prof. J. M. Bacon 1995-10-01 2001-10-11 2002-01-15 TR-543 Richard R Watts The development of an uncertain reasoning system Prof. P. Robinson 1997-10-01 2001-09-30 2002-04-30 Aline Villavicencio The acquisition of a unification-based generalised categorial grammar Prof. E. J. Briscoe 1997-10-01 2001-09-12 2002-03-12 TR-533 Anna-Leena Korhonen Subcategorization acquisition Prof. E. J. Briscoe 1997-10-01 2001-09-12 2002-02-06 TR-530 Daryl J Stewart A uniform sematics for Verilog and VHDL suitable for both simulation and verification Prof. M. J. C. Gordon 1997-10-01 2001-09-05 2002-05-20 David C Abensour Finite state and statistical methods for natural language processing Dr S. G. Pulman 1997-10-01 2001-07-31 2002-01-15 Mantŝika Matooane Parallel systems in symbolic and algebraic computation Dr A. C. Norman 1998-04-01 2001-07-25 2001-11-27 TR-537 Timothy M Edmonds Adaptation for mobile systems Prof Sir A. Hopper 1997-10-01 2001-06-25 2001-10-30 Mark F P Gillies Practical behavioural animation based on vision and attention Prof. N. A. Dodgson 1998-01-01 2001-06-18 2001-10-30 Martin Choquette Local evidence in document retrieval Prof. K. I. B. Spärck-Jones 1996-10-01 2001-05-30 2002-01-11 TR-519 Andrew W Moore Measurement-based management of network resources Prof. I. M. Leslie 1997-10-01 2001-05-15 2002-02-12 TR-528 Timothy L Harris Extensible virtual machines Dr S. Crosby 1997-10-01 2001-04-01 2001-01-15 TR-525 Asis Unyapoth Nomadic pi-calculi: expressing and verifying communication infrastructure for mobile computation Prof. P. M. Sewell 1996-10-01 2001-03-09 2001-05-29 TR-514 James J Leifer Operational congruences for reactive systems Prof. A. J. R. G. Milner 1995-10-01 2001-03-08 2001-07-11 TR-521 Stephen O Childs Disk quality of service in a general purpose operating system Prof. J. M. Bacon 1997-10-01 2001-03-05 2001-10-30 Dickon Reed The effects of code layout on performance Prof. I. M. Leslie 1997-04-01 2001-02-09 2001-07-11 Ioannis Papaefstathiou Increasing packet network bandwidth through low level compression Prof. I. M. Leslie 1997-10-01 2001-02-01 2001-05-29 Sylvia F Knight Natural language processing for Aerospace documentation Dr S. G. Pulman 1997-10-01 2001-01-08 2001-11-27 Jonathan D Pfautz Depth perception in computer graphics Prof. P. Robinson 1996-10-01 2001-01-08 2001-02-13 TR-546 Paul D Hankin A study of objects Dr A. D. Gordon 1995-10-01 2001-01-02 2001-05-08 Francesco Stajano Security for ubiquitous computing Prof. R. J. Anderson 1998-01-01 2001-01-02 2001-02-13 Rebecca Isaacs Dynamic provisioning of resource-assured and programmable virtual private networks Prof. I. M. Leslie 1997-01-01 2000-12-21 2001-05-29 TR-516 Paul B Menage Resource control of untrusted code in an open programmable network Dr S. Crosby 1996-10-01 2000-12-07 2000-10-24 TR-561 Reuben R Thomas Mite: a basis for ubiquitous virtual machines Dr M. Richards 1995-10-01 2000-11-23 2001-02-13 Tony Polichroniadis High level control of vitual actors Prof. N. A. Dodgson 1997-10-01 2000-11-15 2001-05-08 Sheng F Li Stateless client computing Prof Sir A. Hopper 1996-10-01 2000-11-15 2000-10-24 Wojciech Basalaj Proximity visualisation of abstract data Dr J. K. M. Moody 1997-10-01 2000-10-19 2001-01-23 TR-509 Zhixue Wu A New Approach To Implementing Atomic Data Types Dr J. K. M. Moody 1989-04-10 2000-10-19 1994-05-01 TR-338 Neil Lawrence Variational inference in probabilistic models Dr W. F. Clocksin 1998-01-01 2000-10-13 2001-05-08 Andrew J Penrose Extending lossless image compression Prof. N. A. Dodgson 1996-10-01 2000-09-25 2001-01-23 TR-526 Radina Stefanova Power in radio networks Prof Sir A. Hopper 1996-10-01 2000-08-08 2002-08-16 Christian Urban Classical logic and computation Dr G. M. Bierman 1996-10-01 2000-06-23 2000-11-14 David M Leask Low power radio networking Prof Sir A. Hopper 1996-01-01 2000-06-21 2000-10-24 James E Gain Enhancing spatial deformation for virtual sculpting Prof. N. A. Dodgson 1997-04-01 2000-06-19 2000-10-24 TR-499 Breton M Saunders Fast animation dynamics Prof. P. Robinson 1995-10-01 2000-05-06 2000-10-24 Yolanta Beresnevichiene A role and context based security model Prof. R. M. Needham 1994-10-01 2000-05-01 2000-10-24 TR-558 Giampaola Bella The inductive verification of cryptographic protocols Prof. L. C. Paulson 1996-10-01 2000-04-07 2000-07-18 TR-493 Kan Zhang On Secure Information Flow in Computer Systems Prof. R. M. Needham 1994-10-01 2000-03-31 2000-07-18 Pavel T Wojciechowski Nomadic pict: language and infrastructure design for mobile computation Dr J. K. M. Moody 1995-10-01 2000-02-01 2000-07-18 TR-492 Mark D Spiteri An architecture for the notification, storage and retrieval of events Prof. J. M. Bacon 1995-10-01 2000-02-01 2000-06-20 TR-494 Donald O Oparah Adaptive resource management in a multimedia operating system Prof. I. M. Leslie 1994-10-01 2000-02-01 2000-05-01 David M Ingram Integrated Quality of Service management Prof. J. M. Bacon 1996-10-01 2000-01-17 2000-06-20 TR-501 Mohammad Khorsheed Automatic recognition of words in Arabic manuscripts Dr W. F. Clocksin 1997-04-01 2000-01-06 2000-10-24 TR-495 Oi Yee (Olivia) Kwong Word sense selection in texts: an integrated model Prof. K. I. B. Spärck-Jones 1996-10-01 2000-01-01 2000-10-24 TR-504 Shaw Chuang Security management in ATM networks Prof. I. M. Leslie 1993-04-01 2000-01-01 2000-10-24 Jong-Hyeon Lee Designing a reliable publishing framework Prof. R. J. Anderson 1996-10-01 2000-01-01 2000-05-01 TR-489 Calum A M Grant Software visualization in Prolog Prof. P. Robinson 1996-10-01 2000-01-01 2000-05-01 TR-511 Oliver Seidel Metadata support for connecting application components asynchronously Dr J. K. M. Moody 1995-10-01 1999-11-01 2000-01-01 Che-Hao (Albert) Chang Reasoning about security protocols Prof. R. M. Needham 1994-01-01 1999-11-01 2000-01-01 Hendrik J Bos Elastic network control Prof. I. M. Leslie 1995-10-01 1999-09-01 1999-10-01 TR-483 Geraint Price The interaction between fault tolerance and security Prof. R. M. Needham 1994-10-01 1999-06-01 1999-10-01 TR-479 Fabien A P Petitcolas Information hiding and its application to copyright protection Prof. R. J. Anderson 1996-10-01 1999-06-01 1999-10-01 Clemens M Ballarin Computer algebra and theorem proving Prof. L. C. Paulson 1996-01-01 1999-06-01 1999-10-01 TR-473 Richard I Tucker Automatic summarising and the CLASP system Prof. K. I. B. Spärck-Jones 1993-10-01 1999-05-01 1999-11-01 TR-484 James R Thomas Stretching a point: aspect and temporal discourse Dr S. G. Pulman 1994-10-01 1999-05-01 1999-10-01 TR-486 Ben Y Reis Simulating music learning with autonomous listening agents: entropy, ambiguity and context Dr W. F. Clocksin 1996-10-01 1999-05-01 1999-10-01 TR-472 Bruno Crispo Delegation of responsibility Prof. R. M. Needham 1996-10-01 1999-05-01 1999-10-01 Jacques D Fleuriot A combination of geometry theorem proving and nonstandard analysis, with application to Newton's Principia Prof. L. C. Paulson 1995-10-01 1999-05-01 1999-06-01 TR-469 Mark Staples A mechanised theory of refinement Prof. M. J. C. Gordon 1994-10-01 1999-05-01 1999-05-01 Florian Kammueller Modular reasoning in Isabelle Prof. L. C. Paulson 1995-10-01 1999-04-01 1999-10-01 TR-470 Duncan P Grisby A distributed adaptive window system Prof Sir A. Hopper 1995-10-01 1999-04-01 1999-10-01 Steven P Wilcox Synthesis of asynchronous circuits Prof. P. Robinson 1995-10-01 1999-01-01 1999-03-01 TR-468 Richard J Bradbury Architectures for the control of home area networks Dr D. J. Greaves 1995-10-01 1998-12-01 1999-02-01 Steven M Hand Providing quality of service in memory management Prof. I. M. Leslie 1994-10-01 1998-11-01 1999-05-01 Jacobus E Van Der Merwe Open service support for ATM Prof. I. M. Leslie 1994-10-01 1998-10-01 1999-05-01 TR-450 Donald R Syme Declarative theorem proving for operational semantics Prof. M. J. C. Gordon 1994-10-01 1998-10-01 1999-03-01 Mohamed Afshar An open parallel architecture for data-intensive applications Dr J. K. M. Moody 1992-10-01 1998-10-01 1999-03-01 TR-459 Ralph Becket Efficient knowledge and action planning in first order logic Prof. K. I. B. Spärck-Jones, Dr E. Rayner 1993-10-01 1998-10-01 1999-01-01 Michael Norrish C formalised in HOL Prof. M. J. C. Gordon 1994-10-01 1998-09-01 1999-01-01 TR-453 Andrew M R Ward Sensor-driven computing Prof Sir A. Hopper 1995-10-01 1998-08-01 1999-02-01 John B P Naylon A wireless ATM local area network Prof Sir A. Hopper 1994-10-01 1998-06-01 1999-01-01 Panayis Fourniotis Pavlatos Compiler optimisation of typeless languages Dr M. Richards 1993-10-01 1998-05-01 1998-10-01 Malgorzata E Stys A processing model of information structure in machine translation Prof. K. I. B. Spärck-Jones 1992-10-01 1998-04-01 1998-10-01 Giles J Nelson Context-aware and location systems Prof Sir A. Hopper 1993-10-01 1998-04-01 1998-06-01 John Rooney The structure of open ATM control architectures Prof. I. M. Leslie 1995-01-01 1998-02-01 1998-06-01 TR-451 Peter J C Brown Selective mesh refinement for rendering Prof. P. Robinson 1994-10-01 1998-02-01 1998-05-01 TR-490 M Jennifer Li Kam Wa A measurement-based approach to flow control in ATM networks Dr D. J. Greaves 1993-10-01 1998-01-01 1998-07-01 Ian J Lewis PrologPF: parallel logic and functions on the Delphi Machine Dr W. F. Clocksin 1995-04-01 1998-01-01 1998-06-01 Ian Pratt The user-safe device I/O architecture Prof. D. R. McAuley 1993-10-01 1997-09-01 1999-02-01 Hyun S Park The Korean Core Language Engine Dr S. G. Pulman 1994-10-01 1997-09-01 1998-05-01 Stefan G Hild Managing mobile connections Prof. P. Robinson 1994-10-01 1997-09-01 1998-02-01 Christopher T Faigle DMS-Splines and radiosity Dr M. A. Sabin 1994-04-01 1997-09-01 1998-02-01 Feng Shi An architecture for scalable and deterministic video servers Prof Sir A. Hopper 1993-10-01 1997-09-01 1997-11-01 TR-438 Stanley J Mrose Multiresolution curve and surface design: theory and application of spline wavelets Prof. J. G. Daugman 1994-10-01 1997-08-01 1998-01-01 Daniel L Gordon Scheduling in optically based ATM switching fabrics Prof. I. M. Leslie 1992-10-01 1997-08-01 1998-01-01 Xiaobao Chen An end-to-end communication support architecture for multi-service applications Prof. I. M. Leslie 1993-10-01 1997-08-01 1997-12-01 Timothy J Mills Content modelling in multimedia information retrieval systems: the Cobra retrieval system Dr J. K. M. Moody 1994-10-01 1997-07-01 1998-02-01 Joshua X Ross An evaluation based approach to process calculi Prof. A. M. Pitts 1992-10-01 1997-06-01 1998-12-01 TR-456 Ian Jackson Who goes here? Confidentiality of location through anonymity Prof. R. M. Needham 1993-10-01 1997-05-01 1998-06-01 David A Halls Applying mobile code to distributed systems Prof. J. M. Bacon 1994-10-01 1997-05-01 1997-11-01 TR-439 Michael Roe Cryptography and evidence Prof. R. M. Needham 1992-10-01 1997-04-01 1997-06-01 TR-780 Eirik Hektoen Statistical parse selection using semantic cooccurrences Prof. E. J. Briscoe 1991-10-01 1997-03-01 1997-06-17 Karl MacDorman Symbol grounding: learning categorical and sensorimotor predictions for coordination in autonomous robots Dr W. F. Clocksin 1991-10-01 1997-03-01 1997-06-01 TR-423 Tanya Bowden Natural language techniques for error correction Dr S. G. Pulman 1992-10-01 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 Prof. M. J. C. Gordon 1990-10-01 1997-02-01 1997-05-01 Gavin John Stark Stream handling in multimedia communication systems Prof Sir A. Hopper 1990-10-01 1996-11-01 1997-01-01 Steven L Pope Application support for mobile computing Prof. J. M. Bacon 1993-10-01 1996-10-01 1997-01-01 TR-415 Kam Hong Shum Adaptive parallelism for computing on heterogeneous clusters Dr J. K. M. Moody 1993-04-01 1996-09-01 1996-11-01 TR-404 Mark Humphrys Action selection methods using reinforcement learn Prof. J. G. Daugman 1992-10-01 1996-08-01 1997-01-01 TR-426 George Kiraz Computational approach to non-linear morphology Dr S. G. Pulman 1992-10-01 1996-08-01 1996-11-01 Paul Barham Devices in a multi-service operating system Prof. D. R. McAuley 1992-10-01 1996-07-05 1996-10-01 TR-403 Chai-keong Toh Protocol aspects of mobile radio networks Dr D. J. Greaves 1993-10-01 1996-07-01 1996-11-01 John Harrison Theorem proving with the real numbers Prof. M. J. C. Gordon 1992-10-01 1996-07-01 1996-11-01 TR-408 Monica Nesi Thery Formalising process calculi in higher order logic Prof. M. J. C. Gordon 1990-10-01 1996-04-19 1996-10-01 TR-411 Scarlet Schwiderski Monitoring the behaviour of distributed systems Dr J. K. M. Moody 1992-10-01 1996-04-01 1996-06-01 TR-400 Richard JB Hayton An open architecture for secure interworking services Dr J. K. M. Moody 1992-10-01 1996-04-01 1996-06-01 TR-399 Jonathan Sewell Managing complex models for computer graphics Prof. P. Robinson 1992-10-01 1996-03-01 1996-07-01 TR-420 Quentin Stafford-Fraser Video-augmented environments Prof. P. Robinson 1992-10-01 1996-02-01 1996-05-01 TR-419 Michael Hinchey Structural design and formal methods Prof. L. C. Paulson 1992-10-01 1996-01-01 1999-06-01 William S Harbison Trusting in computer systems Prof. R. M. Needham 1989-10-01 1996-01-01 1997-07-01 TR-437 Andrew J Kennedy Programming languages and dimensions Prof. A. Mycroft 1992-01-01 1995-11-01 1996-03-01 TR-391 Sanjay Saraswat Performance analysis of Delphi machine Dr W. F. Clocksin 1992-10-01 1995-10-01 1996-01-01 TR-385 Noha Adly Management of replicated data in large scale systems Prof. J. M. Bacon 1992-01-01 1995-09-01 1995-11-01 TR-383 Uwe Nimscheck Rendering for free form deformations Dr M. A. Sabin 1992-10-01 1995-07-01 1995-10-01 TR-381 Simon Andr Crosby Performance management in ATM networks Prof. I. M. Leslie 1990-10-01 1995-05-01 1995-10-01 TR-393 Oliver Michael Castle Synthetic image generation for a multiple-view autostereo display Dr N. E. Wiseman 1990-10-01 1995-05-01 1995-10-01 TR-382 Arturo Trujillo Lexicalist machine translation of spatial prepositions Prof. E. J. Briscoe 1989-01-01 1995-04-01 1995-11-01 Timothy Roscoe The structure of a multi-service operating system Prof. I. M. Leslie 1991-10-01 1995-04-01 1995-07-01 TR-376 Richard J Black Explicit network scheduling Prof. D. R. McAuley 1991-10-01 1994-12-15 1995-03-01 TR-361 Ian D B Stark Names and higher-order functions Prof. A. M. Pitts 1991-10-01 1994-12-01 1995-05-01 TR-363 Ross J Anderson Robust computer security Prof. R. M. Needham 1992-01-01 1994-12-01 1995-05-01 Simon W Moore Multithreaded processor design Prof. D. R. McAuley 1991-10-01 1994-10-01 1995-01-01 TR-358 Feng Huang Restructuring virtual memory to support distributed computing environments Prof. J. M. Bacon 1990-10-01 1994-09-01 1995-07-01 TR-375 Nicholas Benedict Van Someren High Quality De-Interlacing Of Television Images Dr N. E. Wiseman 1990-10-01 1994-09-01 1995-01-01 Subir Kumar Biswas Handling Realtime Traffic In Mobile Networks Prof Sir A. Hopper 1990-10-01 1994-08-01 1994-10-01 TR-351 Jane Louis Hunter Integrated sound synchronisation for computer animation Dr N. E. Wiseman 1991-01-01 1994-07-01 1994-10-01 TR-348 Michael John Turner The Contour Tree Image encoding technique and file format Dr N. E. Wiseman 1990-10-01 1994-05-01 1994-05-01 TR-344 Narm Hee Lee Routing in high speed integrated services networks Prof. R. M. Needham 1991-01-01 1994-04-01 1995-10-01 Akira Nakamura An investigation of real-time synchronisation Prof. R. M. Needham 1991-04-01 1994-01-01 1994-05-01 Eoin Andrew Hyden Operating System Support For Quality Of Service Prof. I. M. Leslie 1990-10-01 1994-01-01 1994-05-01 TR-340 John Bates Presentation support for distributed multimedia applications Prof. J. M. Bacon 1990-10-01 1994-01-01 1994-05-01 Simon R Kelley Congestion control for unreserved traffic in ATM networks Prof. I. M. Leslie 1990-01-01 1993-12-01 1994-06-01 Richard Boulton Efficiency In A Fully-Expansive Theorem Prover Prof. M. J. C. Gordon 1990-10-01 1993-12-01 1994-05-01 TR-337 Gavin M Bierman On intuitionistic linear logic Prof. A. Mycroft 1990-10-01 1993-12-01 1994-05-01 TR-346 Sai Lai Lo A modular and extensible network storage architecture Prof. J. M. Bacon 1988-01-01 1993-11-01 1994-02-01 TR-326 Pierre David Wellner Interacting with paper on the Digitaldesk Prof. P. Robinson 1991-01-01 1993-11-01 1994-01-01 TR-330 Mark David Hayter A workstation architecture to support multimedia Prof. D. R. McAuley 1990-10-01 1993-10-01 1994-12-01 TR-319 Steven M G Freeman An architecture for distributed user interfaces Prof. P. Robinson 1989-10-01 1993-10-01 1994-05-01 TR-342 Adrian M T Wrigley Real-time ray tracing on a novel HDTV framestore Dr N. E. Wiseman 1989-01-01 1993-10-01 1994-01-01 David M Evers Distributed Computing With Objects Prof. P. Robinson 1989-10-01 1993-10-01 1994-01-01 TR-332 James Doug Grundy A method of program refinement Prof. M. J. C. Gordon 1990-10-01 1993-10-01 1993-12-01 TR-318 Barney D Pell Strategy generation and evaluation for meta-game playing Dr S. G. Pulman 1989-10-01 1993-09-01 1993-10-01 TR-315 Guanxing Li Supporting distributed realtime computing Prof. J. M. Bacon 1989-01-01 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 Prof. M. J. C. Gordon 1990-10-01 1993-08-01 1993-10-01 TR-317 Michael R Warner Charging and resource control for open dist systems Prof. D. J. Wheeler 1990-04-01 1993-05-01 1993-07-01 Richard S Crouch The Temporal Properties Of English Conditionals And Modals Dr S. G. Pulman 1987-10-01 1993-04-01 1993-07-01 TR-325 John Carroll Practical Unification-Based Parsing Of Natural Language Prof. E. J. Briscoe 1992-02-01 1993-03-01 1993-10-01 TR-314 J Matthew S Doar Multicast In The Asynchronous Transfer Mode Environment Prof. I. M. Leslie 1989-10-01 1993-02-01 1993-05-01 TR-298 Kish Shen Studies of and/or parallelism in Prolog Prof. A. Mycroft 1987-01-01 1993-01-01 1993-01-26 P Nicholas Benton Strictness Analysis Of Lazy Functional Programs Prof. A. Mycroft 1988-10-01 1992-12-01 1993-05-01 TR-309 Cormac John Sreenan Synchronisation services for digital continuous media Prof. R. M. Needham 1988-01-01 1992-11-01 1993-02-01 TR-292 Andrew D Gordon Functional programming and Input/Output Prof. L. C. Paulson 1987-10-01 1992-11-01 1992-11-10 TR-285 Eike Ritter Categorical Abstract Machines For Higher-Order Typed Lambda Calculi Prof. A. M. Pitts 1989-10-01 1992-10-01 1993-03-01 TR-297 David Elworthy The semantics of noun phrase anaphora Prof. E. J. Briscoe 1989-10-01 1992-10-01 1993-03-01 TR-289 Innes Ferguson Touring machines: an architecture for dynamic, rational, mobile agents Dr W. F. Clocksin 1988-10-01 1992-10-01 1993-01-01 TR-273 Lee Fedder Generating natural language text from the output of an application program Dr S. G. Pulman 1988-10-01 1992-10-01 1993-01-01 Kamiar Sehat Evaluation of caches and cache coherency Prof Sir A. Hopper 1986-10-01 1992-08-01 1992-10-01 Paul W Jardetzky Network file server design for continuous media Prof. R. M. Needham 1988-10-01 1992-08-01 1992-10-01 TR-268 John Michael Levine A flexible bidirectional dialogue system Dr S. G. Pulman 1986-10-01 1992-07-01 1993-01-01 T Mark A Lomas Aspects of Computer Network Security Prof. R. M. Needham 1986-10-01 1992-07-01 1992-10-01 Neil A Dodgson Image resampling Dr N. E. Wiseman 1989-10-01 1992-05-01 1992-07-01 TR-261 Ian Benson Reasoning About Contingent Events In Distributed Systems Dr W. F. Clocksin 1987-10-01 1992-04-28 1992-04-01 Martin D Coen Interactive program derivation Prof. L. C. Paulson 1988-10-01 1992-04-01 1992-10-01 TR-272 Xiao Qian Chen Congestion control and routing in integrated broadband networks Prof. I. M. Leslie 1988-10-01 1992-04-01 1992-07-01 Rajeev Goré Cut-Free Sequent And Tableau Systems For Propositional Normal Modal Logics Dr W. F. Clocksin 1988-10-01 1992-03-01 1992-04-01 Timothy D Wilson Increasing the performance of storage services for local area networks Prof. J. M. Bacon 1986-10-01 1992-02-01 1992-06-01 Chu Suan Ang Continuous media in fast networks Prof Sir A. Hopper 1987-10-01 1992-01-01 1992-05-01 Rachel Cardell-Oliver The formal verification of hard real-time systems Prof. M. J. C. Gordon 1988-10-01 1992-01-01 1992-04-01 TR-255 Xiaofeng Jiang Multipoint digital video communications Prof Sir A. Hopper 1988-10-01 1992-01-01 1992-03-01 TR-251 Siu Chi Hsu Computer support for large character set languages Dr N. E. Wiseman 1988-10-01 1991-12-01 1992-05-01 Mads Rosendahl Abstract interpretation and attribute grammars Prof. A. Mycroft 1987-01-01 1991-12-01 1992-04-01 Chaoying Ma Designing a universal name service Prof. R. M. Needham 1988-01-01 1991-11-01 1992-11-01 TR-270 Thomas U Vogel Learning In Large State Spaces With An Application To Biped Robot Walking Dr W. F. Clocksin 1988-01-01 1991-11-01 1992-04-01 TR-241 Wing Hung Lau Realistic 3D image composition Dr N. E. Wiseman 1988-10-01 1991-11-01 1992-01-01 Glenford E Mapp An object-oriented approach to virtual memory management Prof. I. M. Leslie 1988-01-01 1991-11-01 1991-12-01 TR-242 Stephen M V Hailes The Design And Implementation Of Troy, A Distributed Object-Based Language Dr S. C. Crawley 1987-10-01 1991-10-01 1992-02-01 Timothy F Wiegand A parallel architecture for storage and retrieval of spatial data Dr N. E. Wiseman 1988-01-01 1991-10-01 1992-01-01 A Daniel Hall Pipelined image processing for pattern recognition Dr N. E. Wiseman 1988-10-01 1991-10-01 1992-01-01 TR-892 Olivia R Nagioff Algorithms for Image Encoding Prof Sir A. Hopper 1985-01-01 1991-10-01 1991-02-01 Peter W Dickman Distributed Object Management In A Non-Small Graph Of Autonomous Networks With Few Failures Prof. I. M. Leslie 1987-10-01 1991-09-01 1992-02-01 Michael Joseph Dixon System support for multi-service traffic Prof. J. M. Bacon 1987-10-01 1991-09-01 1992-01-01 TR-245 Jeremy Ball SEMORICA: a system examining motion and object representation issues in computer animation Dr N. E. Wiseman 1987-10-01 1991-09-01 1992-01-01 Roy Crole Programming metalogics with a fixpoint type Prof. A. M. Pitts 1987-10-01 1991-07-01 1991-12-01 TR-247 Mark T Maybury Planning multisentential English text using communicative acts Prof. K. I. B. Spärck-Jones 1986-10-01 1991-07-01 1991-11-01 TR-239 Heng Wang Modelling and image generation Dr N. E. Wiseman 1987-01-01 1991-07-01 1991-10-01 TR-235 Benjamin Macias An incremental parser for govenment-binding theory Dr S. G. Pulman 1986-10-01 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 Prof. S. J. Young 1987-10-01 1991-06-01 1991-10-01 TR-236 David R Milward Axiomatic grammar, non-constituent coordination and incremental interpretation Dr S. G. Pulman 1987-01-01 1991-04-01 1991-10-22 Derek G Bridge Computing presuppositions in an incremental natural language processing system Prof. K. I. B. Spärck-Jones 1986-10-01 1991-04-01 1991-07-01 TR-237 Phillip Yelland Models of modularity: a study of object-oriented programming Prof. A. Mycroft 1986-10-01 1991-03-01 1991-07-01 David J Brown Abstraction of image and pixel - The Thistle Display System Dr N. E. Wiseman 1986-10-01 1991-03-01 1991-06-01 TR-229 Juanito Camilleri Priority in process calculi Prof. G. Winskel 1987-10-01 1991-03-01 1991-05-01 TR-227 Cosmos Nicolaou A Distributed Architecture for Multimedia Communication Systems Prof. I. M. Leslie 1987-01-01 1991-01-01 1991-05-01 TR-220 KwokYam Lam A new approach for improving system availability Prof. D. J. Wheeler 1987-10-01 1991-01-01 1991-03-01 TR-226 Andrew W Moore Efficient memory-based learning for robot control Dr W. F. Clocksin 1987-01-01 1990-11-01 1991-05-01 TR-209 Mian Wei A distributed compilation system Prof. R. M. Needham 1983-10-01 1990-11-01 1991-03-01 Bhaskar R Harita Dynamic bandwidth management Prof. I. M. Leslie 1986-10-01 1990-11-01 1991-03-01 TR-217 Susan E Thompson A storage service for structured data Prof. J. M. Bacon 1986-10-01 1990-11-01 1991-02-01 Raphael Yahalom Managing the order of transactions in widely-distruted data systems Dr J. K. M. Moody 1986-01-01 1990-10-01 1991-01-01 TR-231 Kamal Chaudhary VLSI Routing Prof. P. Robinson 1987-10-01 1990-09-01 1991-01-01 Karen L Wrench A distributed and-or parallel Prolog network Dr M. Richards 1987-01-01 1990-08-01 1990-12-01 Donald A Gaubatz Logic Programming Analysis Of Asynchronous Digital Circuits Prof. D. J. Wheeler 1984-10-01 1990-07-01 1991-11-01 Michael Luke Tunmer Combinator reduction on networks of small processors Dr A. C. Norman 1986-10-01 1990-07-01 1990-11-01 Gianpaulo Tommasi Procedural Methods In Computer Graphics Dr N. E. Wiseman 1985-01-01 1990-07-01 1990-11-01 Richard C Hutchings The computer comprehension of systematic metaphor Prof. K. I. B. Spärck-Jones 1986-10-01 1990-05-01 1990-11-01 Li Gong Cryptographic protocols for distributed systems Prof. D. J. Wheeler 1987-10-01 1990-05-01 1990-11-01 Jonathan Billington Extensions to coloured Petri Nets and their application to protocols Prof. G. Winskel 1986-10-01 1990-05-01 1990-11-01 TR-222 Paul Curzon A structured approach to the verification of low level microcode Dr M. Richards 1986-10-01 1990-05-01 1990-10-01 TR-215 David A Wolfram The clausal theory of types Prof. L. C. Paulson 1987-01-01 1990-04-01 1990-11-01 Andrew C Harter Three dimensional integrated circuit layout Prof Sir A. Hopper 1983-10-01 1990-04-01 1990-07-01 TR-202 Victor Poznanski A Relevance-Based Utterance Processing System Prof. K. I. B. Spärck-Jones 1985-10-01 1990-03-01 1991-06-01 TR-246 Charles W Restivo Deductive synthesis and planning Dr W. F. Clocksin 1987-10-01 1990-03-01 1990-07-01 Eng Lim Goh Image synthesis using parallel architectures Dr N. E. Wiseman 1987-10-01 1990-03-01 1990-07-01 Stuart Philip Hawkins Video replay in computer animation Dr N. E. Wiseman 1985-10-01 1989-12-01 1990-07-01 TR-207 Jeffery J Joyce Multi-level verification of microproccesor- based Prof. M. J. C. Gordon 1986-10-01 1989-12-01 1990-05-01 TR-195 Timothy Gleeson Aspects of abstraction in computing Prof. R. M. Needham 1986-10-01 1989-12-01 1990-05-01 Derek McAuley Configuration and binding in distributed systems Prof. I. M. Leslie 1985-01-01 1989-09-01 1990-01-01 TR-186 Thomas Frederick Melham Formalising abstraction mechanisim for hardware ve Prof. M. J. C. Gordon 1984-10-01 1989-08-01 1990-05-01 TR-201 Francisco Corella Foundations of automatic therem proving Prof. M. J. C. Gordon 1986-10-01 1989-06-01 1990-03-01 TR-232 Guo- Qiang Zhang The logic of domains Prof. G. Winskel 1985-01-01 1989-06-01 1990-01-01 TR-185 Stephen James Roger Harrison Raytracing image synthesis techniques Dr N. E. Wiseman 1985-10-01 1989-06-01 1989-11-01 Roger Stuart Calnan The integration of Voice within a digital network Prof. R. M. Needham 1984-10-01 1989-04-01 1989-05-01 Peter Newman Design of a multicast fast packet switch Prof. R. M. Needham 1985-01-01 1988-12-01 1989-05-01 TR-165 Richard David Williams Organisation and analysis of spatial data Dr N. E. Wiseman 1985-01-01 1988-10-01 1989-03-01 David Tennenhouse Prof. R. M. Needham 1985-01-01 1988-09-13 1988-12-13 TR-184 Michael Burrows Caching, migration and replication of files in a distributed file system Prof. D. J. Wheeler 1984-10-01 1988-09-01 1989-02-01 TR-153 Paul Karger Improving security and performance for capability Prof Sir A. Hopper 1986-01-01 1988-03-01 1988-11-01 TR-149 Piete T M Brooks Distribution of functions in computer networks Prof. R. M. Needham 1980-10-01 1988-02-01 1988-07-01 Alberto Camilleri Executing behavioural definitions in higher order Prof. M. J. C. Gordon 1984-10-01 1988-02-01 1988-06-01 TR-140 Thomas James W Clarke Support for heap-based programming Dr A. C. Norman 1984-10-01 1987-12-01 1989-05-01 Miriam Ellen Leeser Reasoning about the function & timing of integrate Dr W. F. Clocksin 1984-10-01 1987-11-01 1988-05-01 TR-132 Murray P Shanahan Set-based processing of horn clauses Dr W. F. Clocksin 1984-10-01 1987-09-01 1988-02-01 Andrew Franklin Seaborne Filing in a heterogeneous network Prof. J. M. Bacon 1984-10-01 1987-08-01 1988-05-01 TR-169 György Dénes Perceptual models for high-refresh-rate rendering Dr R. K. Mantiuk 2016-10-01 2020-04-28 local PDF Carole S Klein Exploiting Or-parallelism in Prolog using multiple Dr W. F. Clocksin 1986-10-01 1990-05-08 TR-216 David J Greaves The design of a metropolitan area backbone ring Prof Sir A. Hopper 1985-10-01 1990-05-08 See also Newton catalogue: University Library Theses Theses - Computer Science and Technology, Apollo - University of Cambridge Repository (We will automatically link to thesis copies uploaded to Apollo once that repository offers an API and captures the author’s CRSID.) © 2017 Department of Computer Science and Technology, University of Cambridge Information provided by [Javascript required] University A-Z Contact the University Accessibility Freedom of information Terms and conditions Study at Cambridge Undergraduate Graduate International students Continuing education Executive and professional education Courses in education About the University How the University and Colleges work Visiting the University Map News Events Jobs Give to Cambridge Research at Cambridge News Features Discussion Spotlight on... About research at Cambridge
