skip to primary navigationskip to content

Department of Computer Science and Technology


List of PhD students

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).

Yiwen ChenLyrics generation constrained by tone, melody and imageryProf. S. H. Teufel2019-01-04local PDF
Jose Gilberto Atondo SiuAutomated detection of cryptocurrency investment scams at scaleProf. A. J. Hutchings2020-10-01local PDF
Smita Vijaya KumarScheduling for Reduced Tail Latencies in Highly Utilised DatacentersDr E. Kalyvianaki,
Prof. A. V. S. Madhavapeddy
2019-10-01local PDF
Aida MiralaeiNear-memory processing for low-precision deep neural networksProf. T. M. Jones2017-10-01local PDF
Tong XiaReliable and decentralised deep learning for physiological dataProf. C. Mascolo2020-10-01local PDF
Mariana-Cristina MărășoiuEnd-user programming of visualisationsProf. A. F. Blackwell2015-10-01local PDF
Junwei YangDeep learning-based medical image reconstruction for multi-contrast magnetic resonance imagingProf. P. Lio'2019-10-01local PDF
Nicholas BoucherDeception and defense from machine learning to supply chainsProf. R. J. Anderson2020-10-01TR-994, local PDF
Georgi KaradzhovDEliBots: Deliberation Enhancing BotsProf. A. Vlachos2019-10-01local PDF
Chi Ian TangSelf-supervised learning for data-efficient human activity recognitionProf. C. Mascolo2019-10-01local PDF
Alexander CampbellExploring Neuroimaging-Specific Deep Learning Biases: Uncertainty, Dynamic Graphs, and CommunitiesProf. P. Lio'2017-10-01local PDF
Dimitrije ErdeljanEavesdropping risks of the DisplayPort video interfaceDr M. G. Kuhn2019-10-01local PDF
Tiago Pimentel Martins Da SilvaOn the Optimality of the LexiconProf. S. H. Teufel,
Dr R. D. Cotterell
2019-10-01local PDF
Andrei PaleyesTowards maintainable and explainable AI systems with DataflowProf. N. D. Lawrence2020-01-04local PDF
Yuxiao YeArgument mining with informal textProf. S. H. Teufel2019-10-01local PDF
Ryan KortvelesyGraph Neural Networks for Multi-Agent LearningProf. A. S. Prorok2019-10-01local PDF
Dmitry KazhdanEnhancing Interpretability: The role of concept-based explanations across data typesProf. M. Jamnik,
Prof. P. Lio'
2019-10-01local PDF
Derek SorensenMeta Properties of Financial Smart ContractsProf. A. V. S. Madhavapeddy,
Prof. S. Keshav
2019-10-01local PDF
Vadim SafronovDecentralised protocol-independent automation in smart buildingsProf. R. M. Mortier2019-10-01local PDF
Daniel HugenrothStrong metadata privacy for mobile devices and applicationsProf. A. R. Beresford2019-10-01local PDF
Chelsea EdmondsFormalising Combinatorial Structures and Proof Techniques in Isabelle/HOLProf. L. C. Paulson2019-10-01local PDF
Yan GaoFederated self-supervised learningProf. N. D. Lane2020-10-01local PDF
Christopher DavisOn the evaluation and application of neural language models for grammatical error detectionProf. P. J. Buttery2017-10-01local PDF
Ramon Viñas TornéLarge-scale inference and imputation for multi-tissue gene expressionProf. P. Lio'2019-10-01local PDF
Josef ValvodaThe Role of Precedent in Computational Models of LawProf. S. H. Teufel2019-10-01local PDF
Param HanjiImproving photometric camera accuracy and image quality in high dynamic range imagingProf. R. K. Mantiuk2019-10-01local PDF
Jack HughesComputational criminology: at-scale quantitative analysis of the evolution of cybercrime forumsProf. A. J. Hutchings2019-10-01local PDF
Allison RandalTransient execution vulnerabilities in the security context of server hardwareProf. R. M. Mortier2018-01-04TR-992, local PDF
Diana VasileSecuring encrypted communicationProf. A. R. Beresford2015-04-10local PDF
Huiyuan XieEvaluating Natural Language Generation Tasks for Grammaticality, Faithfulness and DiversityProf. A. A. Copestake2018-10-01local PDF
Pietro BarbieroDeep concept reasoning: beyond the accuracy-interpretability trade-offProf. P. Lio'2020-10-01local PDF
Felix OpolkaNon-parametric modelling of signals on graphsProf. P. Lio'2019-10-01local PDF
Paul SchererDistributional and relational inductive biases for graph representation learning in biomedicineProf. P. Lio',
Prof. M. Jamnik
2019-01-04TR-993, local PDF
Daniel BruderElectronic Long-Term Archiving of Complex Textual ArtefactsProf. S. H. Teufel2016-10-01local PDF
Dimitrios LosBalanced allocations under incomplete information: New settings and techniquesDr T. M. Sauerwald2019-10-01TR-989, local PDF
Jin ZhuDeep neural networks for medical image super-resolutionProf. P. Lio'2016-10-01local PDF
Sian GoodingA personalised approach to lexical complexityProf. E. J. Briscoe2019-10-01local PDF
Qingbiao LiGraph Neural Networks for Multi-Robot CoordinationProf. A. S. Prorok2018-10-01
Peter RuggEfficient spatial and temporal safety for microcontrollers and application-class processorsProf. S. W. Moore2018-10-01TR-984, local PDF
Agnieszka SłowikOut-of-distribution generalisation in machine learningDr S. B. Holden,
Prof. M. Jamnik
2019-01-04local PDF
Samuel BellTowards a psychological science of neural network behaviourProf. N. D. Lawrence2018-10-01local PDF
Christine De KockConstructive online disagreementProf. A. Vlachos2019-10-01local PDF
Edgaras LiberisTaming TinyML: deep learning inference at computational extremesProf. N. D. Lane2020-10-01local PDF
Shih-Chun YouSingle-trace template attacks on permutation-based cryptographyDr M. G. Kuhn2018-10-01local PDF
Cristian BodnarTopological Deep Learning: Graphs, Complexes, SheavesProf. P. Lio'2019-10-01local PDF
Emma RocheteauRepresentation Learning for Patients in the Intensive Care UnitProf. P. Lio'2017-10-01local PDF
Sam SteenkampQuotient W-TypesProf. A. M. Pitts2018-10-01local PDF
Adam O' ConghaileGame comonads and beyond: compositional constructions for logic and algorithmsProf. A. Dawar2018-10-01local PDF
Kayvan MemarianThe Cerberus C semanticsProf. P. M. Sewell2011-10-01TR-981, local PDF
Michelle LeeContext-conscious fairness throughout the machine learning lifecycleDr J. Singh2019-10-01local PDF
Akshay JindalMotion quality models for real-time adaptive renderingProf. R. K. Mantiuk2019-01-04TR-977, local PDF
Fangcheng ZhongPath from photorealism to perceptual realismProf. R. K. Mantiuk2018-10-01local PDF
Apinan Hasthanasombat A causal perspective on model robustness: case studies in health and sensor dataProf. C. Mascolo2018-10-01local PDF
Nikhil ChuramaniContinual Learning for Affective RoboticsProf. H. Gunes2018-10-01local PDF
Xuan GuoEfficient Virtual Cache Coherency for Multi-core Systems and AcceleratorsProf. R. D. Mullins2018-10-01TR-979, local PDF
Andrea FerliniExploring the potential of Earables for Personal-Scale SensingProf. C. Mascolo2019-01-04local PDF
Lorena QendroEfficient, robust and uncertainty aware mobile healthProf. C. Mascolo2018-10-01local PDF
Ran ZmigrodA hitchhiker's guide to efficient non-projective dependency parsingProf. T. G. Griffin,
Dr R. D. Cotterell
2019-10-01local PDF
Omer SellaCoding for emerging archival storage mediaProf. A. W. Moore,
Dr N. Zilberman
Alex ChadwickExploiting heterogeneous parallelism in software and hardwareProf. R. D. Mullins2015-10-01local PDF
Joseph IsaacsFurthering Datalog in the pursuit of program analysisProf. T. M. Jones2017-10-01local PDF
Paula CzarnowskaMorphological competence in neural natural language processingProf. A. A. Copestake2017-10-01local PDF
Brett GutsteinMemory safety with CHERI capabilities: security analysis, language interpreters, and heap temporal safetyProf. R. N. Watson2018-10-01TR-975, local PDF
Shyam TailorPractical processing and acceleration of graph neural networksProf. N. D. Lane2020-10-01local PDF
Alexandre RaymondExplanations for Autonomous AgentsProf. A. S. Prorok,
Prof. H. Gunes
2018-10-01local PDF
Benjamin DayMeta-learning representations with relational structureProf. P. Lio'2017-10-01local PDF
Nathanael ArkorMonadic and higher-order structureProf. M. P. Fiore2018-10-01local PDF
Zahra TarkhaniSecure Programming with Dispersed CompartmentsProf. A. V. S. Madhavapeddy2018-01-04local PDF
Yiannos StathopoulosRetrieval of research-level mathematics via joint modelling of text and typesProf. S. H. Teufel2013-10-01local PDF
Hesham AlmataryCHERI Compartmentalisation for Embedded SystemsProf. R. N. Watson2018-04-17TR-976, local PDF
Tiago AzevedoData-driven representations in brain science: Modelling approaches in neuroimaging and gene expression domainsProf. P. Lio',
Prof. M. Spillantini
2016-10-01TR-973, local PDF
Olesya RazuvayevskayaTowards automatic interpretation of A Fortiori argumentsProf. S. H. Teufel2015-10-01local PDF
Andrej IvaskovicProgramming and static analysis with graded monadsProf. A. Mycroft2018-10-01local PDF
Jacob DeasyRelaxing assumptions in deep probabilistic modelling: Broader statistical assumptions for deep generative models and healthcare dataProf. P. Lio'2018-10-01local PDF
Nandor LickerLow-level cross-language post-linkProf. T. M. Jones2018-10-01local PDF
Pablo Spivakovsky-GonzalezComputational tools for metabolic modeling and gene duplication analysisProf. P. Lio'2015-10-01local PDF
Anita VeroTransparent analysis of multi-modal embeddingsProf. A. A. Copestake2015-10-01TR-970, local PDF
Indigo OrtonDynamic analysis for concurrency optimisationProf. A. Mycroft2019-10-01TR-974, local PDF
Yiren ZhaoSoftware and hardware codesign for efficient neural networksProf. R. D. Mullins2017-10-01local PDF
Kyndylan NienhuisVerified security properties for the capability-enhanced CHERI-MIPS architectureProf. P. M. Sewell2013-10-01local PDF
Danny VagnozziVariations on the theme of higher dimensional Weisfeiler-Leman algorithmsProf. A. Dawar2017-10-01local PDF
Marno Van Der MaasProtecting enclaves from side-channel attacks through physical isolationProf. S. W. Moore2017-10-01TR-980, local PDF
James ThorneEvidence-based verification and correction of textual claimsProf. A. Vlachos2019-01-04TR-968, local PDF
Aaron StockdillAutomating representation change across domains for reasoningProf. M. Jamnik2017-10-01TR-971, local PDF
Dimitrios SpathisMachine learning to model health with multimodal mobile sensor dataProf. C. Mascolo2017-10-01local PDF
Hayk SaribekyanInformation dissemination via random walksDr T. M. Sauerwald2017-10-01TR-964, local PDF
Michael DodsonCapability-based access control for cyber physical systemsProf. A. R. Beresford2018-10-01TR-963, local PDF
Simeon SpasovEncoding parameter and structural efficiency in deep learningProf. P. Lio',
Prof. M. Spillantini (ClinMed)
2016-10-01local PDF
Kawin WorrasangasilpaFormally verifying the security properties of a proof-of-stake blockchain protocolProf. L. C. Paulson2017-01-05local PDF
Andreas GrammenosFederated Linear Dimensionality ReductionProf. C. Mascolo2016-10-01local PDF
Nicholas TimmonsSoftware-based approximate computing for mathematical functionsProf. A. C. Rice2017-10-01local PDF
Marco Caballero GutierrezRouting algorithms for next-generation MANETs: Why shortest is not the greatestProf. J. A. Crowcroft2016-10-01local PDF
Catalina CangeaExploiting multimodality and structure in world representationsProf. P. Lio'2017-10-01local PDF
Conrad WattMechanising and evolving the formal semantics of WebAssembly: The Web’s new low-level languageProf. P. M. Sewell2016-10-01local PDF
Mansoor AhmedDecentralised computer systemsProf. R. J. Anderson2017-10-01local PDF
Russell MooreSkill embeddings: artificial neural network representations for pedagogical policy developmentProf. P. J. Buttery2016-01-04local PDF
Botty DimanovInterpretable Deep Learning: Beyond Feature-Importance with Concept-based ExplanationsProf. M. Jamnik2016-10-01local PDF
Saad AloteibiA user-centred approach to information retrievalDr S. Clark2009-10-01local PDF
Joseph ZammitCompressive sensing of images and video: towards low-complexity, real-time operationDr I. J. Wassell,
Dr. Ashwin A Seshia (CUED)
2016-10-01local PDF
Ahmed ZaidiThe role of machine learning in personalised instructional sequencing for language learningProf. P. J. Buttery2016-10-01local PDF
Myoung Jin NamInline and Sideline Approaches for Low-cost Memory Safety in CDr D. J. Greaves2005-10-01TR-954, local PDF
Jiexin ZhangHardware and software fingerprinting of mobile devicesProf. A. R. Beresford2017-10-01local PDF
Dionysios ManousakasData Summarizations for Scalable, Robust and Privacy-Aware Learning in High DimensionsProf. C. Mascolo2016-10-01TR-960, local PDF
Kevin HeffernanProblem-solving recognition in scientific textProf. S. H. Teufel2015-10-01local PDF
Leran CaiThe Impact of Randomisation in Load Balancing and Random WalksDr T. M. Sauerwald2016-10-01local PDF
Aliaksei MikhailiukActive sampling, scaling and dataset merging for large-scale image quality assessmentProf. R. K. Mantiuk2017-10-01local PDF
Youmna FaragNeural approaches to discourse coherence: modeling, evaluation and applicationProf. E. J. Briscoe2016-10-01local PDF
Ntombikayise BandaMultimodal Emotion RecognitionProf. P. Robinson2010-10-01local PDF
Duo WangNeural Diagrammatic ReasoningProf. P. Lio',
Prof. M. Jamnik
2016-10-01local PDF
Lawrence EsswoodCheriOS: A high-performance and completely untrusted single-address-space capability operating systemProf. R. N. Watson2015-10-01TR-961, local PDF
Ayat FekryOptimising data intensive computing with efficient configuration tuningProf. A. C. Rice2016-10-01local PDF
Helen OliverObstacles to wearable computingProf. J. A. Crowcroft2016-10-01TR-966, local PDF
Krittika D'SilvaModeling Urban Venue Dynamics through Spatio-Temporal Metrics and Complex NetworksProf. C. Mascolo2016-10-01local PDF
Ran GuanCrowdsourcing Mobile Data for Indoor PositioningDr R. K. Harle2015-10-01local PDF
Roy SplietA SIMD architecture for hard real-time systemsProf. R. D. Mullins2015-10-01local PDF
Ewa MuszynskaSemantic chunkingProf. A. A. Copestake2015-10-01local PDF
Robert KovacsicsMuch tag-do about nothingProf. S. W. Moore2016-10-01
Alexander Michael VetterlHoneypots in the age of universal attacks and the Internet of ThingsProf. R. J. Anderson2016-10-01TR-944, local PDF
Helena Andres TerreInterpreting deep learning for cell differentiationProf. P. Lio'2015-10-01local PDF
Mohibi HussainAvailability, integrity, and confidentiality for a content-centric internet architectureProf. J. A. Crowcroft,
Dr A. Sathiaseelan
2015-10-01local PDF
Philip SavilleCartesian closed bicategories: type theory and coherenceProf. M. P. Fiore2015-10-01local PDF
Dylan McDermottReasoning about effectual programs and evaluation orderProf. A. Mycroft2016-10-01TR-948, local PDF
Alexander RichardsonComplete spatial safety for C and C++ using CHERI capabilitiesProf. R. N. Watson2015-10-01TR-949, local PDF
Peng SunSpeculative vectorization with selective replayProf. T. M. Jones2015-10-01local PDF
Hugo PaquetProbabilistic concurrent game semanticsProf. G. Winskel2015-10-01TR-950
Michael SchaarschmidtEnd-to-end deep reinforcement learning in computer systemsDr E. Yoneki2015-10-01TR-946, local PDF
Jianxin ZhaoOptimization of a modern numerical library, a bottom-up approachProf. J. A. Crowcroft2015-10-01TR-956, local PDF
Giovanna maria DimitriMultilayer network methodologies for brain data analysis and modellingProf. P. Lio'2015-10-01local PDF
Nanyang YeVisibility metrics and their application in visually lossless image compressionProf. R. K. Mantiuk2016-10-01local PDF
Xiao ZhouSpatio-temporal patterns of human mobility from geo-social networks for urban computing: Analysis, models and applicationsProf. C. Mascolo2015-10-01
Alexander KuhnleEvaluating visually grounded language capabilities using microworldsProf. A. A. Copestake2015-10-01TR-942, local PDF
Partha MajiModel-architecture co-design of deep neural networks for embedded systemsProf. R. D. Mullins2016-01-04local PDF
Hongyan XiaCapability memory protection for embedded systemsProf. S. W. Moore2015-10-01TR-955, local PDF
Kris CaoLearning meaning representations for text generation with deep generative modelsProf. A. Vlachos,
Dr S. Clark
2014-10-01local PDF
Gregory WilsenachSymmetric circuits and model-theoretic logicsProf. A. Dawar2014-10-01
Jean MaillardMachine learning methods for vector-based compositional semanticsDr S. Clark2014-10-01
Petar VelickovicThe resurgence of structure in deep neural networksProf. P. Lio'2016-01-04local PDF
Christopher BryantAutomatic annotation of error types for grammatical error correctionProf. E. J. Briscoe2015-10-01TR-938, local PDF
Matthew DaggittAn algebraic perspective on the convergence of vector-based routing protocolsProf. T. G. Griffin2015-10-01local PDF
Diana Andreea PopescuLatency-driven performance in data centresProf. A. W. Moore2014-04-17TR-937
Stephan KollmannPrivacy-preserving decentralised collaborative applicationsProf. A. R. Beresford2014-10-01local PDF
Ian OrtonCubical models of homotopy type theoryProf. A. M. Pitts2015-10-01
Christopher PulteThe semantics of multicopy atomic ARMv8 and RISC-VProf. P. M. Sewell2014-10-01local PDF
Heidi HowardDistributed consensus revisedProf. J. A. Crowcroft2014-10-01TR-935
David TurnerParallelisation of greedy algorithms for compressive sensing reconstructionDr I. J. Wassell2013-10-01TR-751, local PDF
Christian O'ConnellExploiting quasiperiodic electromagnetic radiation using software-defined radioDr M. G. Kuhn2014-10-01local PDF
Ivo TimoteoLearning dynamic systems as networks of stochastic differential equationsDr S. B. Holden2012-10-01
Guy EmersonFunctional distributional semantics: Learning linguistically informed representations from a precisely annotated corpusProf. A. A. Copestake2014-10-01local PDF
Maxwell ConwayMachine learning methods for detecting structure in metabolic flow networksProf. P. Lio'2014-10-01TR-945, local PDF
Khaled BaqerResilient payment systemsProf. R. J. Anderson2014-10-01TR-929, local PDF
Yang LiuApplication of prior information to discriminative feature learningDr I. J. Wassell2014-10-01local PDF
Menglin XiaText readability and summarisation for non-native reading comprehensionProf. E. J. Briscoe2014-10-01
Meng ZhangModelling text meta-properties in automated text scoring for non-native English writingProf. E. J. Briscoe2014-10-01
Guo YuEffects of timing on users' perceived control when interacting with intelligent systemsProf. A. F. Blackwell,
Dr Ian Cross
2014-10-01TR-939, local PDF
Ilias MarinosNetwork and storage stack specialisation for performanceProf. R. N. Watson,
Kyle Nesbit (Google mentor)
2012-10-01local PDF
Alessandro MontanariDevising and evaluating wearable technology for social dynamics monitoringProf. C. Mascolo2014-10-01local PDF
Hui XiaoNetwork-based approaches for multi-omic data integrationProf. P. Lio',
Prof. Anne Ferguson-Smith, MoleBio
Syed Zafar Ul Hussan GilaniUnderstanding the behaviour and influence of automated social agentsProf. J. A. Crowcroft2014-10-01local PDF
Sam AinsworthPrefetching for complex memory access patternsProf. T. M. Jones2014-10-01TR-923, local PDF
Yimai FangProposition-based summarization with coherence-driven incremental modelProf. S. H. Teufel2013-10-01
Thomas BrouwerBayesian matrix factorisation: inference, priors, and data integrationProf. P. Lio'2014-10-01local PDF
Isak HermanPublic engagement technology for bioacoustic citizen scienceProf. A. F. Blackwell2013-10-01local PDF
Colin RothwellProtection from malicious peripheralsProf. S. W. Moore2013-10-01
Wenda LiTowards justifying computer algorithms in Isabelle/HOLProf. L. C. Paulson2013-10-01local PDF
Alexandre JoannouHigh-performance memory safety optimizing the CHERI capability machineProf. S. W. Moore2013-10-01TR-936
Simon BakerSemantic text classification for cancer text miningDr A. L. Korhonen2013-10-01
Jean Pichon-PharabodA no-thin-air memory model for programming languagesProf. P. M. Sewell2013-10-01
Ionel GogFlexible and efficient computation in large data centresProf. R. N. Watson,
Prof. I. M. Leslie
2012-10-01local PDF
Wenduan XuStructured learning with inexact search: Advances in shift-reduce CCG parsingDr S. Clark2012-01-05local PDF
Gregory TsipenyukEvaluation of decentralized email architecture and social network analysis based on email attachment sharingProf. J. A. Crowcroft2013-10-01TR-918, local PDF
Pengming WangDescriptive complexity of constraint problemsProf. A. Dawar2013-10-01
Ruoyu ZhouGuided automatic binary parallelisationProf. T. M. Jones,
Dr R. D. Mullins
Ziqiang FengPower control and resource allocation for QoS-constrained wireless networksDr I. J. Wassell2013-10-01local PDF
Jyothish SomanA peformance efficient and practical processor error recovery frameworkProf. T. M. Jones,
Prof. S. W. Moore
2014-01-06TR-931, local PDF
Erroll WoodGaze estimation with graphicsProf. P. Robinson2013-10-01local PDF
Sandro BauerContent selection for timeline generation from single history articlesProf. S. H. Teufel,
Dr S. Clark
Matic HorvatHierarchical statistical semantic translation and realizationProf. A. A. Copestake,
Prof. W. J. Byrne, CUED
2013-10-01TR-913, local PDF
Petko GeorgievHeterogeneous resource mobile sensing: computational offloading, scheduling and algorithm optimisationProf. C. Mascolo2013-10-01local PDF
Advait SarkarInteractive analytical modellingProf. A. F. Blackwell,
Prof. M. Jamnik
2013-10-01TR-920, local PDF
Matthew GrosvenorLatency-first datacenter network schedulingProf. A. W. Moore2012-01-05TR-943
Sheharbano KhattakCharacterization of Internet censorship from multiple perspectivesProf. J. A. Crowcroft,
Dr S. J. Murdoch
2013-10-01TR-897, local PDF
Stephen DolanAlgebraic subtypingProf. A. Mycroft2012-10-01local PDF
Valentin DalibardA framework to build bespoke auto-tuners with structured Bayesian optimisationDr E. Yoneki,
Prof. J. A. Crowcroft
2012-10-01TR-900, local PDF
Andre Ribeiro'When Google search helps unemployment' and other cases for a theory of everday mediaDr E. Yoneki,
Dr S. H. Teufel
Zheng YuanGrammatical error correction in non-native EnglishProf. E. J. Briscoe2013-10-01TR-904
Desislava HristovaA multilayer approach to geo-social networks: models, metrics and applicationsProf. C. Mascolo2013-04-17local PDF
Annalisa OcchipintiComputational models of cancer for survival predictionProf. P. Lio'2013-10-01
Chao GaoSignal maps for smartphone localisationDr R. K. Harle2013-10-01TR-901, local PDF
Raphael ProustASAP: As Static As Possible memory managementProf. A. Mycroft2012-10-01TR-908, local PDF
Jingjing ShenTrimmed NURBS to untrimmed subdivision: conversion for watertight representationsProf. P. Robinson,
Dr J. Kosinka
Douwe KielaDeep embodiment: Grounding semantics in perceptual modalitiesDr S. Clark2012-10-01TR-899, local PDF
Felix HillRepresenting linguistic meaning in distributed memories from words to sentences and beyondDr A. L. Korhonen2012-10-01
Tomas PetricekContext-aware programming languagesProf. A. Mycroft,
Dr Don Syme
2011-01-05TR-906, local PDF
Dongting YuAccess control for network managementProf. R. J. Anderson2010-10-01TR-898
Muhammad Umar JanjuaStatic Program Correction Analysis and TransformationsProf. A. Mycroft,
Flora Ponjou Tasse3D Shape RetrievalProf. P. Robinson2012-10-01
Lucian CarataProvenance-based computingProf Sir A. Hopper,
Dr R. S. Sohan
2011-10-01TR-930, local PDF
Naruemon (Ploy) PratanwanichProbabilistic latent variable modelling for integrated biological dataProf. P. Lio'2012-10-01local PDF
Xin DingOn enhancing compressive sensing for multidimensional signals: causal and batch approachesDr I. J. Wassell2012-04-17
Mariano FeliceArtificial error generation for translation-based grammatical error correctionProf. E. J. Briscoe2013-01-04TR-895, local PDF
Kumar SharadLearning to de-anonymize social networksProf. R. J. Anderson,
Dr S. J. Murdoch
Jannis BulianParameterized complexity of distances to sparse graph classesProf. A. Dawar2012-10-01TR-903, local PDF
Laurent SimonExploring new attack vectors for the exploitation of smartphonesProf. R. J. Anderson2012-04-17TR-909
Thomas PasquierTowards practical information flow control and auditProf. J. M. Bacon2012-10-01TR-893, local PDF
Yu WangStructured sparsity learning - taming the penalty under structureDr I. J. Wassell2012-01-05local PDF
James SneeOperating system support for in-program instrumentation Operating system support for in-program instrumentationProf. A. C. Rice,
Dr R. S. Sohan
Marco Ferreira Devesas Campos Mendler induction and classical logicProf. M. P. Fiore2011-10-01local PDF
Oliver ChickForgoing hypervisor fidelity for measuring virtual machine performanceProf. A. C. Rice,
Dr R. S. Sohan
Andra AdamsAutomated inference of complex emotions from facial expressions and head gesturesProf. P. Robinson2010-10-01
Malte SchwarzkopfOperating system support for warehouse-scale computingProf. I. M. Leslie,
2009-10-01local PDF
Yoli ShavitAlgorithms for reconstructing the 3D genome architectureProf. P. Lio'2012-10-01local PDF
Daniel ThomasSecurity metrics for computer systemsProf. A. R. Beresford2012-10-01
William SonnexFixed-point promotion: taking the induction out of automated inductionProf. L. C. Paulson2011-10-01TR-905
Niall MurphyDiscovering and exploiting parallelism in DOACROSS loopsProf. R. D. Mullins2011-10-01TR-882, local PDF
Gareth BaileyIn situ gait analysis during steady state running using foot mounted sensorsDr R. K. Harle2011-10-01
Robert NortonHardware support for compartmentalisationProf. S. W. Moore2011-10-01TR-887
Raoul-Gabriel UrmaProgramming language evolutionProf. A. Mycroft2011-10-01TR-902
Zongyan HuangMachine learning and algebraProf. L. C. Paulson2011-10-01TR-884, local PDF
Ramana KumarA Verified Implementation of MLProf. M. J. C. Gordon,
Dr M. O. Myreen
2011-10-01TR-879, local PDF
Alistair SteadUsing multiple representations to develop notational expertise in programmingProf. A. F. Blackwell2011-10-01TR-890
Joonwoong KimAnonymous communication in DTNProf. J. A. Crowcroft,
Theodosia TogiaThe language of collaborative taggingProf. A. A. Copestake2011-10-01TR-875, local PDF
Alexander KatovskyGames as Factorization SystemsProf. G. Winskel2010-10-01
Tobias MoncasterOptimising the data centre operation by reducing transport latencyProf. J. A. Crowcroft2011-10-01TR-921, local PDF
Andrius AucinasDesign of energy-efficient mobile communications protocolsProf. J. A. Crowcroft2011-10-01local PDF
Claudio AngioneComputational methods for multi-omic models of cell metabolism and their importance for theoretical computer scienceProf. P. Lio'2011-10-01
Vaiva ImbrasaiteContinuous dimensional emotion tracking in musicProf. P. Robinson2011-10-01
Marwa MahmoudAnalysis of hand-over-face gestures in natural expressionsProf. P. Robinson2010-10-01
Lech SwirskiGaze estimation on glasses-based stereoscopic displaysProf. N. A. Dodgson2010-10-01local PDF
Ekaterina KochmarError detection in content word combinationsProf. E. J. Briscoe2011-10-01TR-886, local PDF
Mohammad Ali MoniClinical bioinformatics and computational modelling for diseas comorbidities diagnosisProf. P. Lio'2011-05-05
Rubin XuImproving application trustworthiness on stock AndroidProf. R. J. Anderson2010-10-01
Steven MarshEfficient programming models for neurocomputationProf. S. W. Moore2010-10-01local PDF
William DenmanAutomated verification of continuous and hybrid dynamical systemsProf. L. C. Paulson2010-10-01TR-910, local PDF
Peter CalvertArchitecture-neutral parallelism via the Join CalculusProf. A. Mycroft2010-10-01TR-871, local PDF
Zhen BaiAugmented reality interfaces for symbolic play in early childhoodProf. A. F. Blackwell2010-10-01TR-874
Andreas KoltesReconfigurable memory systems for embedded microprocessorsProf. R. D. Mullins2010-10-01local PDF
Omar-Salim ChoudaryEfficient multivariate statistical techniques for extracting secrets from electronic devicesDr M. G. Kuhn2010-10-01TR-878, local PDF
Mark BattyThe C11 and C++11 Concurrency ModelProf. P. M. Sewell,
Henrik LiengSurface modelling for 2D imageryProf. N. A. Dodgson,
Jiri Kosinka
2011-10-01TR-862, local PDF
Charalampos RotsosScalable Software Defined NetworkingProf. A. W. Moore2009-04-10
Chloe BrownThe role of space in social groups: Analysis and technological applicationsProf. C. Mascolo2011-10-01local PDF
Janina VoigtAliasing contracts: a unifying approach to object-oriented alias protectionProf. A. Mycroft2011-10-01TR-880
Steffen LoeschProgram equivalence in function metaprogramming via nominal Scott domainsProf. G. Winskel2010-10-01TR-860
Steven HerbertWireless communications in vehiclesDr I. J. Wassell2010-10-01local PDF
Nik SultanaHigher-order proof translationProf. L. C. Paulson2008-10-01TR-867
Jonathan WoodruffCHERI: A RISC capability machine for practical memory safetyProf. S. W. Moore2010-10-01TR-858
Agata Brajdić Infrastructure-free indoor pedestrian localisation with smartphonesDr R. K. Harle,
Prof. J. M. Bacon
Syed Ali Mustafa ZaidiAccelerating Control-Flow Intensive Code in Spatial HardwareDr D. J. Greaves2009-10-01TR-870
Christopher SmowtonI/O optimisation and elimination via partial evaluation I/O optimisation and elimination via partial evaluationProf. A. Mycroft,
Prof. A. W. Moore
Matej UrbasMechanising heterogeneous reasoning in theorem proversProf. M. Jamnik2009-10-01local PDF
Thomas LippincottUnsupervised approaches to syntactic verb frame acquisition for biomedicineDr A. L. Korhonen,
Prof. E. J. Briscoe
2009-10-01local PDF
Jukka LehtosaloAdapting dynamic object-oriented languages to mixed dynamic and static typingDr D. J. Greaves,
Prof. A. Mycroft
Matko BotincanFormal verification- driven parallelisation synthesisProf. M. J. C. Gordon2009-10-01TR-917, local PDF
Awais AtharSentiment analysis of scientific citationsProf. S. H. Teufel,
Dr S. Clark
Tadas BaltrusaitisAutomatic facial expression analysisProf. P. Robinson2009-10-01TR-861, local PDF
Steven SmithRaft: Automated techniques for diagnosing, reproducing, and fixing concurrency bugsDr S. M. Hand2005-10-01local PDF
Anastasios NoulasHuman urban mobility in location-based social networks: Analysis, models and applicationsProf. C. Mascolo,
James Gregory JardineAutomatically Generating Reading ListsProf. S. H. Teufel,
2009-10-01TR-848, local PDF
Jisun AnMulti-faceted analysis of news sharing in social networking sitesProf. J. A. Crowcroft2010-01-05
Wei Ming KhooDecompilation as searchProf. R. J. Anderson2009-10-01TR-844
Daniel BatesExploiting tightly-coupled coresProf. R. D. Mullins2009-10-01TR-846, local PDF
Nicholas PilkingtonHyperparameter optimisation for multiple kernelsDr S. B. Holden2009-10-01
Narseo Vallina-RodriguezThe hidden costs of mobile applications: A cross-layer analysis of energy and spectrum waste of mobile applicationsProf. J. A. Crowcroft2009-01-05
Ian DaviesWorkload measurement in command and controlProf. P. Robinson2008-10-01
Milos PuzovicHardware/software interface dynamic multicore schedulingDr D. J. Greaves2008-10-01local PDF
Dominic OrchardProgramming contextual computationsProf. A. Mycroft2008-10-01TR-854
Helen YannakoudakisAutomated assessment of English-learner writingProf. E. J. Briscoe2009-10-01TR-842
Marek ReiMinimally supervised dependency-based methods for natural language processingProf. E. J. Briscoe,
John WickersonConcurrent verification for sequential programsProf. G. Winskel2008-10-01TR-834
Maximilian BolingbrokeSupercompilation for call-by-need languagesProf. A. Mycroft,
2008-10-01TR-835, local PDF
Kiran RachuriSmartphones based Social Sensing: Adaptive Sampling, Sensing and Computation OffloadingProf. C. Mascolo2009-10-01
Ching-Yun ChangTransformations for linguistic steganographyDr S. Clark2009-10-01local PDF
Paul James FoxMassively parallel neural computationProf. S. W. Moore2009-04-10TR-830, local PDF
Leo WhiteExtending old languages for the new architecturesProf. A. Mycroft,
Derek McAuley
2008-10-01local PDF
Christopher Thompson-WalshSemantics and extension of a biological modelling languageProf. G. Winskel2008-10-01
Yuedong SongElectroencephalogram machine learning to assist diagnosis and treatment of epilepsyProf. P. Lio'2008-10-01local PDF
Soren PreibuschPrivacy choices online: preferences, incentives and enforcementProf. A. R. Beresford2008-10-01local PDF
Colin KellyAutomatic extraction of property norm-like data from large text corporaDr A. L. Korhonen2008-10-01TR-839
Benjamin RobertsLanguage semantics for secure information flow analysisDr S. Staton2008-10-01
Wei ChenCompressive sensing for wireless sensor networksDr I. J. Wassell,
2009-10-01local PDF
Gregory ChadwickCommunication centric, multi-core, fine-grained processor architectureProf. S. W. Moore2008-10-01TR-832
Lin SunAutomatic induction of verb classes using clusteringDr A. L. Korhonen2008-10-01local PDF
Jonathan AndersonPrivacy engineering for social networks.Prof. F. M. Stajano2008-10-01TR-825, local PDF
Aisha ElsaftyA naming and trust approach for seamless handover in multiple-interface mobile devicesDr D. J. Greaves2007-01-05local PDF
Salvatore ScellatoSpatial properties of online social services: measurement, analysis and applicationsProf. C. Mascolo2009-04-10local PDF
Charles ReamsModelling energy efficiency for computationProf. A. Mycroft2008-10-01TR-821
Joseph BonneauSecurity and privacy in the social webProf. R. J. Anderson2008-10-01TR-819
Meredydd LuffCommunication for programmability and performance on multi-core processorsProf. S. W. Moore,
2009-01-05TR-831, local PDF
Christopher NashSupporting virtuosity and flow in computer musicProf. A. F. Blackwell2006-10-01
Robin MessageProgramming for humans- a new paradigm for domain-specific languagesProf. A. Mycroft2007-10-01TR-843
Syed HaiderComputational systems biology-based feature selection for cancer prognosisProf. P. Lio'2009-01-05
Eric KoskinenTemporal verification of programsProf. M. J. C. Gordon,
Byron Cook
John TangTemporal network metrics and their application to real world networksProf. C. Mascolo2008-10-01
Shailendra FuloriaRobust security for the electricity networkProf. R. J. Anderson2009-01-05
Hyoungshick KimComplex network analysis for secure and robust communicationsProf. R. J. Anderson2008-10-01
Stephan KitchovitchComputational modelling and analysis of seasonal influenza transmission and evolutionProf. P. Lio'2008-10-01
Christian RichardtColour videos with depth acquisition, processing and evaluationProf. N. A. Dodgson2007-10-01TR-815
Simon FothergillAutomatic assessment of kinaesthetic performance applied to rowingProf Sir A. Hopper2005-10-01
Richard RussellPlanning with preferences using maximum satisfiabilityDr S. B. Holden2007-10-01TR-822
Sherif AkoushExploiting surplus renewable energy in datacentre computingProf Sir A. Hopper,
Dr R. S. Sohan
2007-10-01local PDF
Philip TaylorSpecification of policy languages for network routing protocols in the Bellman-Ford familyProf. T. G. Griffin2007-10-01
Vilius NaudziunasDesign and implementation of a language for path algebrasProf. T. G. Griffin2008-10-01
Ruoshui LiuPlanning and deployment of wireless sensor networksDr I. J. Wassell2007-10-01
Arno PaulyComputable metamathematics and its applications to game theoryProf. A. Dawar2008-10-01local PDF
Viet Anh NguyenBayesian approaches to biological network predictionsProf. P. Lio'2007-10-01
Pedro BrandaoAbstracting information on body area networksProf. J. M. Bacon2007-04-17TR-812
Derek MurrayA distributed execution engine supporting data-dependent control flowDr S. M. Hand2007-10-01local PDF
Andrew LewisReconstructing compressed photo and video dataDr M. G. Kuhn2007-10-01TR-813
Anilkumar SorathiyaComputational modelling approaches to HIV-1 dynamicsProf. P. Lio'2007-10-01
Ian LeungFast network analysis and applications in real-world networksProf. P. Lio'2008-01-05local PDF
Md Abdul AlimOn the Interaction of Internet Routing ProtocolsProf. T. G. Griffin,
Silvia BreuMining and tracking in evolving softwareProf. A. Mycroft2006-04-17TR-838, local PDF
Nishanth SastrySocial network support for data delivery infrastructuresProf. J. A. Crowcroft2007-04-17
Amitabha RoySoftware lock elision for x86 machine codeDr S. M. Hand,
Dr T. L. Harris
2007-10-01TR-801, local PDF
Johanna GeissLatent semantic sentence clustering for multi-document summarizationProf. S. H. Teufel2007-04-17TR-802, local PDF
Ola MahmoudSecond-order algebraic theoriesProf. M. P. Fiore2007-01-05TR-807, local PDF
Laurel RiekExpression synthesis on robotsProf. P. Robinson2007-10-01local PDF
Ekaterina ShutovaComputational approaches to figurative languageProf. S. H. Teufel2007-10-01TR-803
Simon HayA model personal energy meterProf Sir A. Hopper2007-10-01TR-805, local PDF
Jean MartinaVerification of security protocols based on multicase communicationProf. L. C. Paulson2006-10-01TR-816
Julien QuintardTowards a worldwide storage infrastructureProf. J. M. Bacon2007-10-01
Nick Barrow-WilliamsProximity coherence for chip-multiprocessorsProf. S. W. Moore2007-10-01TR-810, local PDF
Thomas TuerkA separation logic framework for HOLProf. M. J. C. Gordon2007-01-05TR-799
John MillerDistributed virtual environment scalability and securityProf. J. A. Crowcroft2006-10-01TR-809
Stephen KellBlack-box composition of mismatched software compnentsDr D. J. Greaves,
2006-10-01TR-845, local PDF
Jonathan MakFacilitating program parallelisation - a profiling-based approachProf. A. Mycroft2007-10-01TR-796, local PDF
Weisi GuoPower allocation for wireless collaborative networksDr I. J. Wassell2007-04-17
Robert WatsonNew approaches to operating system security extensibilityProf. R. J. Anderson2005-10-01TR-818, local PDF
Richard BergmairMonte Carlo Semantics: Robust inference and logical pattern processing based on integrated deep and shallow representationsProf. A. A. Copestake2006-10-01
Bogdan RomanScalable Cross-Layer Wireless Medium Access ControlDr I. J. Wassell,
Prof. F. M. Stajano
Yuguo HeHierarchies in first-order logic and parameterized complexityProf. A. Dawar,
2006-10-01local PDF
Bjarki HolmDescriptive complexity of linear algebraProf. A. Dawar,
2006-10-01local PDF
James SrinivasanImproving cache utilisationProf. S. W. Moore,
2003-01-05TR-800, local PDF
Boris FeiginInterpretational overhead in system softwareProf. A. Mycroft2006-10-01TR-797
James BridgeMachine learning and automated theorem provingProf. L. C. Paulson2006-10-01TR-792, local PDF
Oliver WoodmanPedestrian localisation for indoor environmentsProf Sir A. Hopper2006-10-01local PDF
Shazia AfzalAffect inference in learning environments: a functional view of facial affect analysis using naturalistic dataProf. P. Robinson2006-10-01TR-793, local PDF
Periklis AkritidisPractical memory safety for CDr S. M. Hand2006-10-01TR-798, local PDF
Aurelie HerbelotUnspecified quantificationProf. A. A. Copestake,
Prof. S. H. Teufel
2006-10-01TR-795, local PDF
Daniel GreenfieldRentian locality in chip multiprocessorsProf. S. W. Moore2006-04-17local PDF
Oeistein AndersenGrammatical error predictionProf. E. J. Briscoe2006-10-01TR-794, local PDF
Theo MarkettosActive electromagnetic attacks on secure hardwareProf. S. W. Moore2003-10-01TR-811, local PDF
Mohan GanesalingamThe Language of MathematicsProf. A. A. Copestake,
Prof. Martin Hyland
2007-10-01local PDF
Thomas CashmanNURBS-compatible subdivision surfacesProf. N. A. Dodgson2006-10-01TR-773
Richard Van der WathComputational modelling of hematopoietic stem cell division and regulation dynamicsProf. P. Lio'2005-10-01
Daniel O'KeeffeDistributed complex event detection for pervasive computingProf. J. M. Bacon2003-10-01TR-783
Pradipta BiswasInclusive user modellingProf. P. Robinson2006-10-01local PDF
Andreas VlachosSemi-supervised learning for biomedical information extractionProf. E. J. Briscoe2006-10-01TR-791
Chung Kil HurCategorical equational systems: algebraic models and equational reasoningProf. M. P. Fiore2004-10-01local PDF
Sriram SrinivasanKilim: A server framework with lightweight actors, isolation types and Zero-copy messagingProf. J. M. Bacon2005-10-01TR-769
John BillingsSpecifying and compiling Internet routing protocolsProf. T. G. Griffin2005-10-01
Yan WuPropagation modelling for wireless sensor networks deployed to perform civil infrastructure monitoringDr I. J. Wassell2006-10-01local PDF
Wei LiToward online behavioural traffic classificationProf. A. W. Moore,
Dr S. B. Holden
Jatinder SinghControlling the dissemination and disclosure of healthcare eventsProf. J. M. Bacon2005-10-01TR-770
Olexiy GotsmanLogics and analyses for concurrent heap-manipulating programsProf. M. J. C. Gordon,
Byron Cook
Anthony HylickManaging energy consumption of hard disk drives by optimizing system interactionProf Sir A. Hopper,
Dr R. S. Sohan
2005-10-01local PDF
Behzad BastaniOpen evolvable systems design by process-oriented modelingDr D. J. Greaves2003-10-01
Matthew LakinAn executable meta-language for inductive definitions with bindersProf. A. M. Pitts2005-10-01TR-772
Saar DrimerSecurity for volatile FPGAsDr M. G. Kuhn2005-10-01TR-763
Cecily MorrisonBodies-in-Space: investigating technology usage in co-present group interactionProf. A. F. Blackwell2006-10-01TR-771
Aaron CobleAnonymity, information and machine-assisted proofProf. L. C. Paulson2005-10-01TR-785, local PDF
Julian SmithTowards robust inexact geometric computationProf. N. A. Dodgson2003-10-01TR-766, local PDF
Ranald CloustonEquational logic for names and bindersProf. A. M. Pitts2005-10-01local PDF
Daniel BernhardtEmotion inference from human body motionProf. P. Robinson2005-10-01TR-787
Alexander GurneyConstruction and verification of routing algebrasProf. T. G. Griffin,
2005-10-01local PDF
Rok StrnisaFormalising, improving, and reusing the Java module systemProf. P. M. Sewell2005-10-01
Min LinChannel modelling for wireless sensor networksDr I. J. Wassell2004-10-01
William CarsonPerformance modelling and design of bit-interleaved coded modulationDr I. J. Wassell,
Grzegorz MilosEfficient and effective sharing of memory in virtual machine monitorsDr S. M. Hand2005-10-01
Luis VargasIntegrating databases and Publish/SubscribeProf. J. M. Bacon2004-10-01
Mark AdcockImproving cache performance by runtime data movementProf. A. Mycroft2004-10-01TR-757, local PDF
Rosemary FrancisNetworks for Field Programmable Gate ArraysProf. S. W. Moore,
Jonathan HaymanPetri net semanticsProf. G. Winskel2004-10-01TR-782
Philip PaulMicroelectronic Security MeasuresProf. S. W. Moore2005-10-01TR-829, local PDF
Magnus MyreenFormal verification of machine-code programsProf. M. J. C. Gordon2005-10-01TR-765, local PDF
David TurnerNominal domain theory for concurrencyProf. G. Winskel2004-10-01
Eric HendersonA text representation language for contextual and distributional processingProf. A. A. Copestake,
Arnab BanerjeeCommunication flows in power-efficient networks-on-chipsProf. S. W. Moore2005-10-01TR-786
Timos AntonopoulosExpressive Power of Graph LanguagesProf. A. Dawar2004-01-05
Minor GordonSmall-scale, event-based overlaysProf. J. M. Bacon2005-10-01TR-781, local PDF
Jonathan DaviesProgramming networks of vehiclesProf Sir A. Hopper,
David CottinghamVehicular wireless communicationProf Sir A. Hopper2004-10-01TR-741
Atif AlviControlling pervasive domains with ontologies and rulesDr D. J. Greaves2004-10-01
Caroline GasperinStatistical anaphora resolution in biomedical textsProf. E. J. Briscoe2003-10-01TR-764, local PDF
Evangelia KalyvianakiResource provisioning for virtualized server applicationsDr S. M. Hand,
Dr T. L. Harris
Na XuStatic contract checking for HaskellProf. A. Mycroft2004-10-01TR-737
Diarmuid Ó SéaghdhaLearning compound noun semanticsProf. A. A. Copestake2004-10-01TR-735
Salman TaherianState-based Publish/Subscribe for Sensor SystemsProf. J. M. Bacon2003-10-01TR-739
Shishir NagarajaRobust covert network topologiesProf. R. J. Anderson2003-10-01local PDF
Tomasz MacuraAutomating the quantitative analysis of micoscopy imagesDr J. K. M. Moody2004-10-01local PDF
Philip TuddenhamTabletop interfaces for remote collaborationProf. P. Robinson2004-10-01TR-734
Anna RitchieCitation context analysis for information retrievalProf. S. H. Teufel,
Steve Robinson
James ReynoldsAn automatic proof-generating translation from high-order to first-order logic (with applications to linking HOL4 and ACL2)Prof. M. J. C. Gordon,
2004-10-01local PDF
Matthew JohnsonA new approach to Internet bankingProf. S. W. Moore2004-10-01TR-731, local PDF
Alban RrustemiComputing surfaces - a platform for scalable interactive displaysProf. S. W. Moore2004-10-01TR-732, local PDF
Tyler MooreCooperative attack and defense in distributed networksProf. R. J. Anderson2004-10-01TR-718
Gerhard HanckeSecurity of proximity identification systemsDr M. G. Kuhn,
2003-10-01TR-752, local PDF
Euan HarrisRate limiting in an event-driven BGP speakerProf. J. A. Crowcroft,
Dr T. G. Griffin
2002-10-01local PDF
Sofiane NaciControlling prevasive domains with ontologies and rulesProf. A. Mycroft,
2004-10-01local PDF
Yu-En LuDistributed proximity query processingDr S. M. Hand,
Dr T. L. Harris
Anton LokhmotovProgramming and compiling for embedded SIMD architecturesProf. A. Mycroft2004-10-01
Mbou Eyole-MononoEnergy-efficient sentient computingProf Sir A. Hopper,
Rob Harle
Darren EdgeTangible user interfaces for peripheral interaction: episodic engagement with objects of physical, digital and social significanceProf. A. F. Blackwell2004-10-01TR-733
Andrew Naish-GuzmanSparse and robust kernal methodsDr S. B. Holden,
Lauri PesonenA capability-based access control architecture for multi-domain publish/subscribe systemsProf. J. M. Bacon,
Gregory HughesLecture Adaptation for students with disabilitiesProf. P. Robinson2004-10-01
Wenjun HuA tale of two prototypes: Practical network coding for wireless mesh networksProf. J. A. Crowcroft,
William HollingsworthUsing lexical chains to characterise scientific textProf. S. H. Teufel,
Shahzad KhanNegation and antonymy in sentiment classificationProf. E. J. Briscoe,
Prof. S. H. Teufel
Benjamin MedlockInvestigating classification for natural language processing tasksProf. E. J. Briscoe2004-10-01TR-721
Rebecca WatsonOptimising the speed and accuracy of a Statistical GLR ParserProf. E. J. Briscoe2004-10-01TR-743
Michael ComptonFormal verification of process algebra systemsProf. L. C. Paulson,
Prof. M. J. C. Gordon
2002-10-01local PDF
Steven MurdochCovert channel vulnerabilities in anonymity systemsDr M. G. Kuhn,
2002-10-01TR-706, local PDF
Paul HunterComplexity and infinite games on finite graphsProf. A. Dawar,
Pan HuiPeople are the network: Experimental design and evaluation of social based forwarding algorithmsProf. J. A. Crowcroft,
Viktor VafeiadisModular fine-grained concurrency verificationProf. A. Mycroft2004-10-01TR-726, local PDF
Andy OzmentVulnerability discovery & software securityProf. R. J. Anderson2003-10-01
Simon HollisPulse-based, on-chip interconnectProf. S. W. Moore,
Ian CaulfieldComplexity-effective superscalar embedded processors using instruction-level distributed processingProf. S. W. Moore,
Alan LawrenceOptimizing compilation with the value state dependence graphProf. A. Mycroft,
Feng HaoOn using fuzzy data in security machanismsProf. R. J. Anderson2004-04-17TR-715
Doug SantryA cluster storage system for modern virtual machinesDr I. A. Pratt,
Dr S. M. Hand
Richard SouthernAnimation manifolds for representing topological alterationProf. N. A. Dodgson,
Prof. P. Robinson
Jacques FournierVector microprocessors for cryptographyProf. S. W. Moore,
Lucy Brace-EvansEvent structures with persistenceProf. G. Winskel,
William BillingsleyThe Intelligent Book: technologies for intelligent and adaptive textbooks focussing on Discrete MathematicsProf. P. Robinson,
Martin VechevDerivation and evaluation of concurrent collectorsDr M. Richards,
Alisdair Stuart WrenRelationships for object-oriented programming languagesProf. A. M. Pitts,
Tal Sobol-ShiklerLe ton fait la musique: analysis of expressions in speechProf. P. Robinson,
Prof. A. F. Blackwell
Ulrich PaquetBayesian inference for latent variable modelsDr S. B. Holden,
Timothy MoretonA wide-area file system for migrating virtual machinesDr I. A. Pratt,
Dr T. L. Harris
Jolyon ClulowOn the security of real-world devicesProf. R. J. Anderson,
Mark GrundlandColor, style and composition in image processingProf. N. A. Dodgson,
2001-01-05local PDF
Chi-kin ChauNetworks and disputesDr R. J. Gibbens,
Manuel CostaEnd-to-end containment of Internet worm epidemicsProf. J. A. Crowcroft,
Miguel Castro
Russ RossCluster storage for commodity computationDr I. A. Pratt,
Dr S. M. Hand
2003-04-10TR-690, local PDF
Christopher PurcellScaling mount concurrency: scalability and progress in concurrent algorithmsK. A. Fraser,
Dr S. M. Hand
Samuel StatonName-passing process calculi: operational models and structural operational semanticsProf. M. P. Fiore,
Alexander HoUnderstanding systems with virtual machinesDr S. M. Hand,
2002-10-01local PDF
Juliano IyodaTranslating HOL functions to hardwareProf. M. J. C. Gordon,
Eiko YonekiECCO: data centric asynchronous communicationProf. J. M. Bacon,
Eng Keong LuaMassive scale collaborative grid environments through P2PProf. T. G. Griffin,
Prof. J.A. Crowcroft
Christian KreibichStructural traffic analysis for network security monitoringProf. J. A. Crowcroft,
Andrew TwiggCompact forbidden-set routingDr J. K. M. Moody,
2002-10-01TR-678, local PDF
Ole H JensenMobile Processes in BigraphsProf. P. M. Sewell1995-01-01
Boris DragovicCASPEr: containment-aware security for pervasive computing environmentsProf. J. A. Crowcroft,
Anil MadhavapeddyCreating high-performance statically type-safe network applicationsDr D. J. Greaves,
Sarah ThompsonOn the application of program analysis and transformation to high reliability electronicsProf. A. Mycroft,
Gareth StoyleA theory of dynamic software updatesProf. P. M. Sewell,
2001-10-01local PDF
Timothy DeeganThe main name systemProf. J. A. Crowcroft,
Maja VukovicContext aware service compositionProf. P. Robinson,
Stephen RymillPsychologically-based simulation of human behaviourProf. N. A. Dodgson,
2002-10-01TR-717, local PDF
Paula ButteryComputational models for first language acquisitionProf. E. J. Briscoe,
Prof. A. A. Copestake
Tolga UzunerEffective network complexityProf. J. A. Crowcroft,
Eben UptonCompiling with data dependence graphsDr M. Richards,
2001-10-01local PDF
Hui-Yun LiSecurity evaluation at design time for cryptographic hardwareProf. S. W. Moore2003-01-05TR-665
Andrew WarfieldVirtual devices for virtual machinesDr S. M. Hand,
2002-10-01local PDF
Calicrates Policroniades-BorrazDecomposing file data into discernible itemsDr I. A. Pratt,
Dr T. L. Harris
Meng How LimLandmark guided forwardingProf. J. A. Crowcroft,
Julian ChesterfieldJoint source-channel UEP coding for multimedia streaming in the wireless wide area network environmentProf. J. A. Crowcroft,
Piotr ZielinskiMinimizing latency of agreement protocolsDr M. G. Kuhn,
Karl JeacleTCP-XMProf. J. A. Crowcroft,
Richard ClaytonAnonymity and traceability in cyberspaceProf. R. J. Anderson,
2000-10-01TR-653, local PDF
David SpenceLocation based code placement in distributed systemsProf. J. A. Crowcroft,
Dr S. M. Hand
2002-10-01local PDF
Matthew ParkinsonLocal reasoning for JavaProf. A. M. Pitts,
Moritz BeckerCASSANDRA: flexible trust management and its application to electronic health recordsProf. P. M. Sewell,
Judita PreissProbabilistic word sense disambiguationProf. E. J. Briscoe,
Prof. A. A. Copestake
Marco Palomino-ZunigaDistributed creation and maintenance of web content indicesDr J. K. M. Moody,
Jia MengThe integration of higher order interactive proof with first order automatic theorem provingProf. L. C. Paulson,
Prof. M. J. C. Gordon
Mohamed HassanMultiresolution in geometric modelling: subdivision mark points and ternary subdivisonProf. N. A. Dodgson,
2000-10-01local PDF
Alberto FernandesSpectrum management for revenue maximisation in DSLDr D. J. Greaves,
Nathan DimmockUsing trust and risk for access control in global computingProf. J. M. Bacon,
Rana El-KalioubyMind-reading machines: automated inference of complex mental statesProf. P. Robinson,
Jeremy SingerStatic program analysis based on virtual register renamingDr M. Richards,
Carsten MoenningIntrinsic point-based surface processingProf. N. A. Dodgson,
Hyun Jin ChoiSecurity protocol design by compositionProf. L. C. Paulson,
Prof. S. W. Moore
Christopher TownOntology based visual information processingProf. J. G. Daugman2001-10-01local PDF
Joerg LeplerCooperation and deviation in market-based resource allocationDr M. Richards1999-01-01TR-622
Mark ShinwellThe fresh approach: functional programming with names and bindersProf. A. M. Pitts,
Prof. M. J. C. Gordon
2001-01-05TR-618, local PDF
Evangelos KotsovinosGlobal public computingDr S. M. Hand,
David EyersActive privilege management for distributed access control systemsDr J. K. M. Moody,
James Roy BulpinOperating system support for simultaneous multithreaded processorsDr I. A. Pratt,
Dr T. L. Harris
Scott FairbanksHigh precision timing using self-timed circuitsProf. S. W. Moore,
Sergei SkorobogatovSemi-invasive attacks - a new approach to hardware security analysisProf. R. J. Anderson,
Prof. S. W. Moore
Arasnath KimisGeneric event services middlewareProf. J. M. Bacon1999-10-01
Nicholas NethercoteDynamic binary analysis and instrumentation or building tools is easyProf. A. Mycroft,
Dr T. L. Harris
Roongroj NopsuwanchaiDiscriminative training methods and their applications to handwriting recognitionProf. N. A. Dodgson,
Prem FernandoAutomatic recognition of ancient Syriac handwritingDr W. F. Clocksin,
Robert Gordon HagueEnd-user programming in multiple languagesProf. P. Robinson,
Steven McKellarAn extension to the OSI model of network management for large-scale collaborative performance measurementProf. J. M. Bacon,
Simon FrankauHardware synthesis from stream-processing functional languageProf. S. W. Moore2000-10-01TR-824, local PDF
Neil E JohnsonCode size optimization for embedded processorsProf. A. Mycroft,
Marc Peter CardleAutomated editing of sound and motionProf. P. Robinson,
Hasan AmjadCombining model checking and theorem provingProf. M. J. C. Gordon,
Andrei SerjantovOn the anonymity of anonymity systemsProf. P. M. Sewell,
Brian ShandTrust for resource control: self-enforcing automatic rational contracts between computersProf. J. M. Bacon,
Peter PietzuchHermes: a scalable event-based middlewareProf. J. M. Bacon,
2000-10-01TR-590, local PDF
Michael BondUnderstanding security APIsProf. R. J. Anderson,
2000-10-01local PDF
George DanezisBetter anonymous communicationsProf. R. J. Anderson,
Andras BelokosztolszkiRole-based access control policy administrationDr J. K. M. Moody,
Silas BrownConversion of notationsProf. P. Robinson,
Robert EnnalsAdaptive evaluation of non-strict programsProf. A. Mycroft,
Panit WatcharawitchMulTEP: a multi-threaded embedded processorProf. S. W. Moore,
Steven BrooksConcise texture editingProf. N. A. Dodgson,
Mark AshdownPersonal projected displaysProf. P. Robinson1999-10-01TR-585
Pablo ArrighiRepresentations of quantum operations with applications to quantum cryptographyProf. A. Dawar,
Keir Anthony FraserPractical lock-freedomDr I. A. Pratt1999-10-01TR-579
Advaith SiddharthanSyntactic simplification and text cohesionProf. A. A. Copestake,
Timothy GrangerReconfigurable wavelengh-switched optical networks for the internet coreProf. I. M. Leslie1998-10-01TR-575
David RicherbyFixed-point logics with choiceProf. A. Dawar,
Sang-Bum SuhAn effective multiple access policy for the home telephone wiring in a home LANDr D. J. Greaves1998-10-01
Jianxin YanSecurity for online gamesProf. R. J. Anderson,
James HallMulti-layer network monitoring and analysisProf. I. M. Leslie1998-10-01TR-571
Richard SharpHigher-level hardware synthesisProf. A. Mycroft,
Prof. S. W. Moore
Donnla B Nic GearailtDictionary characteristics in cross-language information retrievalProf. K. I. B. Spärck-Jones1997-10-01TR-616
Walt YaoTrust management for widely distributed systemsProf. J. M. Bacon1998-10-01TR-608
Alan AbrahamsDeveloping and executing electronic commerce applications with occurrencesProf. J. M. Bacon1999-10-01
Michael J BlainAnimating LiquidsProf. N. A. Dodgson1997-10-01
Markus G KuhnCompromising emanations: eavesdropping risks of computer displaysProf. R. J. Anderson1997-10-01TR-577, local PDF
Alexis HombrecherReconciling event taxonomies across administrative domainsDr J. K. M. Moody1998-10-01
Ulrich LangAccess policies for middlewareProf. R. J. Anderson,
D Gollman
Keith WansbroughSimple polymorphic usage analysisProf. A. M. Pitts1998-10-01TR-623
Charalampos ManifavasMicropayment transaction costsProf. R. J. Anderson1995-10-01
Jana SukkariehNatural language for knowledge representationDr S. G. Pulman1996-10-01
Austin N DonnellyResource control in network elementsProf. I. M. Leslie,
Dr S. Crosby
Susan PanchoContributions of formal security proofsProf. R. J. Anderson1998-10-01
Paul CunninghamVerification of asynchronous circuitsProf. P. Robinson1998-10-01TR-587
Joseph Ell HurdFormal verification of probabilistic alogorithmsProf. M. J. C. Gordon1998-10-01TR-566
David B StewartQuality of service for storage systemsProf. J. M. Bacon1998-10-01
Umar SaifArchitectures for ubiquitous systemsDr D. J. Greaves1998-10-01TR-527
Lucian J WischikExplicit fusions: theory and implementationDr P. A. Gardner,
Richard M MortierInternet traffic engineeringDr I. A. Pratt1997-10-01TR-532
Agathoniki TrigoniSemantic optimization of OQL queriesDr J. K. M. Moody1998-10-01TR-547
Kerry RoddenEvaluating similarity-based visualisations as interfaces for image browsingProf. J. M. Bacon1995-10-01TR-543
Richard R WattsThe development of an uncertain reasoning systemProf. P. Robinson1997-10-01
Aline VillavicencioThe acquisition of a unification-based generalised categorial grammarProf. E. J. Briscoe1997-10-01TR-533
Anna-Leena KorhonenSubcategorization acquisitionProf. E. J. Briscoe1997-10-01TR-530
Daryl J StewartA uniform sematics for Verilog and VHDL suitable for both simulation and verificationProf. M. J. C. Gordon1997-10-01
David C AbensourFinite state and statistical methods for natural language processingDr S. G. Pulman1997-10-01
Mantŝika MatooaneParallel systems in symbolic and algebraic computationDr A. C. Norman1998-04-01TR-537
Timothy M EdmondsAdaptation for mobile systemsProf Sir A. Hopper1997-10-01
Mark F P GilliesPractical behavioural animation based on vision and attentionProf. N. A. Dodgson1998-01-01
Martin ChoquetteLocal evidence in document retrievalProf. K. I. B. Spärck-Jones1996-10-01TR-519
Andrew W MooreMeasurement-based management of network resourcesProf. I. M. Leslie1997-10-01TR-528
Timothy L HarrisExtensible virtual machinesDr S. Crosby1997-10-01TR-525
Asis UnyapothNomadic pi-calculi: expressing and verifying communication infrastructure for mobile computationProf. P. M. Sewell1996-10-01TR-514
James J LeiferOperational congruences for reactive systemsProf. A. J. R. G. Milner1995-10-01TR-521
Stephen O ChildsDisk quality of service in a general purpose operating systemProf. J. M. Bacon1997-10-01
Dickon ReedThe effects of code layout on performanceProf. I. M. Leslie1997-04-01
Ioannis PapaefstathiouIncreasing packet network bandwidth through low level compressionProf. I. M. Leslie1997-10-01
Sylvia F KnightNatural language processing for Aerospace documentationDr S. G. Pulman1997-10-01
Jonathan D PfautzDepth perception in computer graphicsProf. P. Robinson1996-10-01TR-546
Paul D HankinA study of objectsDr A. D. Gordon1995-10-01
Francesco StajanoSecurity for ubiquitous computingProf. R. J. Anderson1998-01-01
Rebecca IsaacsDynamic provisioning of resource-assured and programmable virtual private networksProf. I. M. Leslie1997-01-01TR-516
Paul B MenageResource control of untrusted code in an open programmable networkDr S. Crosby1996-10-01TR-561
Reuben R ThomasMite: a basis for ubiquitous virtual machinesDr M. Richards1995-10-01
Tony PolichroniadisHigh level control of vitual actorsProf. N. A. Dodgson1997-10-01
Sheng F LiStateless client computingProf Sir A. Hopper1996-10-01
Wojciech BasalajProximity visualisation of abstract dataDr J. K. M. Moody1997-10-01TR-509
Zhixue WuA New Approach To Implementing Atomic Data TypesDr J. K. M. Moody1989-04-10TR-338
Neil LawrenceVariational inference in probabilistic modelsDr W. F. Clocksin1998-01-01
Andrew J PenroseExtending lossless image compressionProf. N. A. Dodgson1996-10-01TR-526
Radina StefanovaPower in radio networksProf Sir A. Hopper1996-10-01
Christian UrbanClassical logic and computationDr G. M. Bierman1996-10-01
David M LeaskLow power radio networkingProf Sir A. Hopper1996-01-01
James E GainEnhancing spatial deformation for virtual sculptingProf. N. A. Dodgson1997-04-01TR-499
Breton M SaundersFast animation dynamicsProf. P. Robinson1995-10-01
Yolanta BeresnevichieneA role and context based security modelProf. R. M. Needham1994-10-01TR-558
Giampaola BellaThe inductive verification of cryptographic protocolsProf. L. C. Paulson1996-10-01TR-493
Kan ZhangOn Secure Information Flow in Computer SystemsProf. R. M. Needham1994-10-01
Pavel T WojciechowskiNomadic pict: language and infrastructure design for mobile computationDr J. K. M. Moody1995-10-01TR-492
Mark D SpiteriAn architecture for the notification, storage and retrieval of eventsProf. J. M. Bacon1995-10-01TR-494
Donald O OparahAdaptive resource management in a multimedia operating systemProf. I. M. Leslie1994-10-01
David M IngramIntegrated Quality of Service managementProf. J. M. Bacon1996-10-01TR-501
Mohammad KhorsheedAutomatic recognition of words in Arabic manuscriptsDr W. F. Clocksin1997-04-01TR-495
Oi Yee (Olivia) KwongWord sense selection in texts: an integrated modelProf. K. I. B. Spärck-Jones1996-10-01TR-504
Shaw ChuangSecurity management in ATM networksProf. I. M. Leslie1993-04-01
Jong-Hyeon LeeDesigning a reliable publishing frameworkProf. R. J. Anderson1996-10-01TR-489
Calum A M GrantSoftware visualization in PrologProf. P. Robinson1996-10-01TR-511
Oliver SeidelMetadata support for connecting application components asynchronouslyDr J. K. M. Moody1995-10-01
Che-Hao (Albert) ChangReasoning about security protocolsProf. R. M. Needham1994-01-01
Hendrik J BosElastic network controlProf. I. M. Leslie1995-10-01TR-483
Geraint PriceThe interaction between fault tolerance and securityProf. R. M. Needham1994-10-01TR-479
Fabien A P PetitcolasInformation hiding and its application to copyright protectionProf. R. J. Anderson1996-10-01
Clemens M BallarinComputer algebra and theorem provingProf. L. C. Paulson1996-01-01TR-473
Richard I TuckerAutomatic summarising and the CLASP systemProf. K. I. B. Spärck-Jones1993-10-01TR-484
James R ThomasStretching a point: aspect and temporal discourseDr S. G. Pulman1994-10-01TR-486
Ben Y ReisSimulating music learning with autonomous listening agents: entropy, ambiguity and contextDr W. F. Clocksin1996-10-01TR-472
Bruno CrispoDelegation of responsibilityProf. R. M. Needham1996-10-01
Jacques D FleuriotA combination of geometry theorem proving and nonstandard analysis, with application to Newton's PrincipiaProf. L. C. Paulson1995-10-01TR-469
Mark StaplesA mechanised theory of refinementProf. M. J. C. Gordon1994-10-01
Florian KammuellerModular reasoning in IsabelleProf. L. C. Paulson1995-10-01TR-470
Duncan P GrisbyA distributed adaptive window systemProf Sir A. Hopper1995-10-01
Steven P WilcoxSynthesis of asynchronous circuitsProf. P. Robinson1995-10-01TR-468
Richard J BradburyArchitectures for the control of home area networksDr D. J. Greaves1995-10-01
Steven M HandProviding quality of service in memory managementProf. I. M. Leslie1994-10-01
Jacobus E Van Der MerweOpen service support for ATMProf. I. M. Leslie1994-10-01TR-450
Donald R SymeDeclarative theorem proving for operational semanticsProf. M. J. C. Gordon1994-10-01
Mohamed AfsharAn open parallel architecture for data-intensive applicationsDr J. K. M. Moody1992-10-01TR-459
Ralph BecketEfficient knowledge and action planning in first order logicProf. K. I. B. Spärck-Jones,
Dr E. Rayner
Michael NorrishC formalised in HOLProf. M. J. C. Gordon1994-10-01TR-453
Andrew M R WardSensor-driven computingProf Sir A. Hopper1995-10-01
John B P NaylonA wireless ATM local area networkProf Sir A. Hopper1994-10-01
Panayis Fourniotis PavlatosCompiler optimisation of typeless languagesDr M. Richards1993-10-01
Malgorzata E StysA processing model of information structure in machine translationProf. K. I. B. Spärck-Jones1992-10-01
Giles J NelsonContext-aware and location systemsProf Sir A. Hopper1993-10-01
John RooneyThe structure of open ATM control architecturesProf. I. M. Leslie1995-01-01TR-451
Peter J C BrownSelective mesh refinement for renderingProf. P. Robinson1994-10-01TR-490
M Jennifer Li Kam WaA measurement-based approach to flow control in ATM networksDr D. J. Greaves1993-10-01
Ian J LewisPrologPF: parallel logic and functions on the Delphi MachineDr W. F. Clocksin1995-04-01
Ian PrattThe user-safe device I/O architectureProf. D. R. McAuley1993-10-01
Hyun S ParkThe Korean Core Language EngineDr S. G. Pulman1994-10-01
Stefan G HildManaging mobile connectionsProf. P. Robinson1994-10-01
Christopher T FaigleDMS-Splines and radiosityDr M. A. Sabin1994-04-01
Feng ShiAn architecture for scalable and deterministic video serversProf Sir A. Hopper1993-10-01TR-438
Stanley J MroseMultiresolution curve and surface design: theory and application of spline waveletsProf. J. G. Daugman1994-10-01
Daniel L GordonScheduling in optically based ATM switching fabricsProf. I. M. Leslie1992-10-01
Xiaobao ChenAn end-to-end communication support architecture for multi-service applicationsProf. I. M. Leslie1993-10-01
Timothy J MillsContent modelling in multimedia information retrieval systems: the Cobra retrieval systemDr J. K. M. Moody1994-10-01
Joshua X RossAn evaluation based approach to process calculiProf. A. M. Pitts1992-10-01TR-456
Ian JacksonWho goes here? Confidentiality of location through anonymityProf. R. M. Needham1993-10-01
David A HallsApplying mobile code to distributed systemsProf. J. M. Bacon1994-10-01TR-439
Michael RoeCryptography and evidenceProf. R. M. Needham1992-10-01TR-780
Eirik HektoenStatistical parse selection using semantic cooccurrencesProf. E. J. Briscoe1991-10-01
Karl MacDormanSymbol grounding: learning categorical and sensorimotor predictions for coordination in autonomous robotsDr W. F. Clocksin1991-10-01TR-423
Tanya BowdenNatural language techniques for error correctionDr S. G. Pulman1992-10-01
Victor CarrenoTransition assertions: a higher-order logic based method for the specification and verification of real-time systemsProf. M. J. C. Gordon1990-10-01
Gavin John StarkStream handling in multimedia communication systemsProf Sir A. Hopper1990-10-01
Steven L PopeApplication support for mobile computingProf. J. M. Bacon1993-10-01TR-415
Kam Hong ShumAdaptive parallelism for computing on heterogeneous clustersDr J. K. M. Moody1993-04-01TR-404
Mark HumphrysAction selection methods using reinforcement learnProf. J. G. Daugman1992-10-01TR-426
George KirazComputational approach to non-linear morphologyDr S. G. Pulman1992-10-01
Paul BarhamDevices in a multi-service operating systemProf. D. R. McAuley1992-10-01TR-403
Chai-keong TohProtocol aspects of mobile radio networksDr D. J. Greaves1993-10-01
John HarrisonTheorem proving with the real numbersProf. M. J. C. Gordon1992-10-01TR-408
Monica Nesi TheryFormalising process calculi in higher order logicProf. M. J. C. Gordon1990-10-01TR-411
Scarlet SchwiderskiMonitoring the behaviour of distributed systemsDr J. K. M. Moody1992-10-01TR-400
Richard JB HaytonAn open architecture for secure interworking servicesDr J. K. M. Moody1992-10-01TR-399
Jonathan SewellManaging complex models for computer graphicsProf. P. Robinson1992-10-01TR-420
Quentin Stafford-FraserVideo-augmented environmentsProf. P. Robinson1992-10-01TR-419
Michael HincheyStructural design and formal methodsProf. L. C. Paulson1992-10-01
William S HarbisonTrusting in computer systemsProf. R. M. Needham1989-10-01TR-437
Andrew J KennedyProgramming languages and dimensionsProf. A. Mycroft1992-01-01TR-391
Sanjay SaraswatPerformance analysis of Delphi machineDr W. F. Clocksin1992-10-01TR-385
Noha AdlyManagement of replicated data in large scale systemsProf. J. M. Bacon1992-01-01TR-383
Uwe NimscheckRendering for free form deformationsDr M. A. Sabin1992-10-01TR-381
Simon Andr CrosbyPerformance management in ATM networksProf. I. M. Leslie1990-10-01TR-393
Oliver Michael CastleSynthetic image generation for a multiple-view autostereo displayDr N. E. Wiseman1990-10-01TR-382
Arturo TrujilloLexicalist machine translation of spatial prepositionsProf. E. J. Briscoe1989-01-01
Timothy RoscoeThe structure of a multi-service operating systemProf. I. M. Leslie1991-10-01TR-376
Richard J BlackExplicit network schedulingProf. D. R. McAuley1991-10-01TR-361
Ian D B StarkNames and higher-order functionsProf. A. M. Pitts1991-10-01TR-363
Ross J AndersonRobust computer securityProf. R. M. Needham1992-01-01
Simon W MooreMultithreaded processor designProf. D. R. McAuley1991-10-01TR-358
Feng HuangRestructuring virtual memory to support distributed computing environmentsProf. J. M. Bacon1990-10-01TR-375
Nicholas Benedict Van SomerenHigh Quality De-Interlacing Of Television ImagesDr N. E. Wiseman1990-10-01
Subir Kumar BiswasHandling Realtime Traffic In Mobile NetworksProf Sir A. Hopper1990-10-01TR-351
Jane Louis HunterIntegrated sound synchronisation for computer animationDr N. E. Wiseman1991-01-01TR-348
Michael John TurnerThe Contour Tree Image encoding technique and file formatDr N. E. Wiseman1990-10-01TR-344
Narm Hee LeeRouting in high speed integrated services networksProf. R. M. Needham1991-01-01
Akira NakamuraAn investigation of real-time synchronisationProf. R. M. Needham1991-04-01
Eoin Andrew HydenOperating System Support For Quality Of ServiceProf. I. M. Leslie1990-10-01TR-340
John BatesPresentation support for distributed multimedia applicationsProf. J. M. Bacon1990-10-01
Simon R KelleyCongestion control for unreserved traffic in ATM networksProf. I. M. Leslie1990-01-01
Richard BoultonEfficiency In A Fully-Expansive Theorem ProverProf. M. J. C. Gordon1990-10-01TR-337
Gavin M BiermanOn intuitionistic linear logicProf. A. Mycroft1990-10-01TR-346
Sai Lai LoA modular and extensible network storage architectureProf. J. M. Bacon1988-01-01TR-326
Pierre David WellnerInteracting with paper on the DigitaldeskProf. P. Robinson1991-01-01TR-330
Mark David HayterA workstation architecture to support multimediaProf. D. R. McAuley1990-10-01TR-319
Steven M G FreemanAn architecture for distributed user interfacesProf. P. Robinson1989-10-01TR-342
Adrian M T WrigleyReal-time ray tracing on a novel HDTV framestoreDr N. E. Wiseman1989-01-01
David M EversDistributed Computing With ObjectsProf. P. Robinson1989-10-01TR-332
James Doug GrundyA method of program refinementProf. M. J. C. Gordon1990-10-01TR-318
Barney D PellStrategy generation and evaluation for meta-game playingDr S. G. Pulman1989-10-01TR-315
Guanxing LiSupporting distributed realtime computingProf. J. M. Bacon1989-01-01TR-322
John Peter Van TasselFemto-Vhdl: The Semantics Of A Subset Of Vhdl And Its Embedding In The Hol Proof AssistantProf. M. J. C. Gordon1990-10-01TR-317
Michael R WarnerCharging and resource control for open dist systemsProf. D. J. Wheeler1990-04-01
Richard S CrouchThe Temporal Properties Of English Conditionals And ModalsDr S. G. Pulman1987-10-01TR-325
John CarrollPractical Unification-Based Parsing Of Natural LanguageProf. E. J. Briscoe1992-02-01TR-314
J Matthew S DoarMulticast In The Asynchronous Transfer Mode EnvironmentProf. I. M. Leslie1989-10-01TR-298
Kish ShenStudies of and/or parallelism in PrologProf. A. Mycroft1987-01-01
P Nicholas BentonStrictness Analysis Of Lazy Functional ProgramsProf. A. Mycroft1988-10-01TR-309
Cormac John SreenanSynchronisation services for digital continuous mediaProf. R. M. Needham1988-01-01TR-292
Andrew D GordonFunctional programming and Input/OutputProf. L. C. Paulson1987-10-01TR-285
Eike RitterCategorical Abstract Machines For Higher-Order Typed Lambda CalculiProf. A. M. Pitts1989-10-01TR-297
David ElworthyThe semantics of noun phrase anaphoraProf. E. J. Briscoe1989-10-01TR-289
Innes FergusonTouring machines: an architecture for dynamic, rational, mobile agentsDr W. F. Clocksin1988-10-01TR-273
Lee FedderGenerating natural language text from the output of an application programDr S. G. Pulman1988-10-01
Kamiar SehatEvaluation of caches and cache coherencyProf Sir A. Hopper1986-10-01
Paul W JardetzkyNetwork file server design for continuous mediaProf. R. M. Needham1988-10-01TR-268
John Michael LevineA flexible bidirectional dialogue systemDr S. G. Pulman1986-10-01
T Mark A LomasAspects of Computer Network SecurityProf. R. M. Needham1986-10-01
Neil A DodgsonImage resamplingDr N. E. Wiseman1989-10-01TR-261
Ian BensonReasoning About Contingent Events In Distributed SystemsDr W. F. Clocksin1987-10-01
Martin D CoenInteractive program derivationProf. L. C. Paulson1988-10-01TR-272
Xiao Qian ChenCongestion control and routing in integrated broadband networksProf. I. M. Leslie1988-10-01
Rajeev GoréCut-Free Sequent And Tableau Systems For Propositional Normal Modal LogicsDr W. F. Clocksin1988-10-01
Timothy D WilsonIncreasing the performance of storage services for local area networksProf. J. M. Bacon1986-10-01
Chu Suan AngContinuous media in fast networksProf Sir A. Hopper1987-10-01
Rachel Cardell-OliverThe formal verification of hard real-time systemsProf. M. J. C. Gordon1988-10-01TR-255
Xiaofeng JiangMultipoint digital video communicationsProf Sir A. Hopper1988-10-01TR-251
Siu Chi HsuComputer support for large character set languagesDr N. E. Wiseman1988-10-01
Mads RosendahlAbstract interpretation and attribute grammarsProf. A. Mycroft1987-01-01
Chaoying MaDesigning a universal name serviceProf. R. M. Needham1988-01-01TR-270
Thomas U VogelLearning In Large State Spaces With An Application To Biped Robot WalkingDr W. F. Clocksin1988-01-01TR-241
Wing Hung LauRealistic 3D image compositionDr N. E. Wiseman1988-10-01
Glenford E MappAn object-oriented approach to virtual memory managementProf. I. M. Leslie1988-01-01TR-242
Stephen M V HailesThe Design And Implementation Of Troy, A Distributed Object-Based LanguageDr S. C. Crawley1987-10-01
Timothy F WiegandA parallel architecture for storage and retrieval of spatial dataDr N. E. Wiseman1988-01-01
A Daniel HallPipelined image processing for pattern recognitionDr N. E. Wiseman1988-10-01TR-892
Olivia R NagioffAlgorithms for Image EncodingProf Sir A. Hopper1985-01-01
Peter W DickmanDistributed Object Management In A Non-Small Graph Of Autonomous Networks With Few FailuresProf. I. M. Leslie1987-10-01
Michael Joseph DixonSystem support for multi-service trafficProf. J. M. Bacon1987-10-01TR-245
Jeremy BallSEMORICA: a system examining motion and object representation issues in computer animationDr N. E. Wiseman1987-10-01
Roy CroleProgramming metalogics with a fixpoint typeProf. A. M. Pitts1987-10-01TR-247
Mark T MayburyPlanning multisentential English text using communicative actsProf. K. I. B. Spärck-Jones1986-10-01TR-239
Heng WangModelling and image generationDr N. E. Wiseman1987-01-01TR-235
Benjamin MaciasAn incremental parser for govenment-binding theoryDr S. G. Pulman1986-10-01
John BradshawUsing Knowledge Of Purpose And Knowledge Of Structure As A Basis For Evaluating The Behaviour Of Mechanical SystemsProf. S. J. Young1987-10-01TR-236
David R MilwardAxiomatic grammar, non-constituent coordination and incremental interpretationDr S. G. Pulman1987-01-01
Derek G BridgeComputing presuppositions in an incremental natural language processing systemProf. K. I. B. Spärck-Jones1986-10-01TR-237
Phillip YellandModels of modularity: a study of object-oriented programmingProf. A. Mycroft1986-10-01
David J BrownAbstraction of image and pixel - The Thistle Display SystemDr N. E. Wiseman1986-10-01TR-229
Juanito CamilleriPriority in process calculiProf. G. Winskel1987-10-01TR-227
Cosmos NicolaouA Distributed Architecture for Multimedia Communication SystemsProf. I. M. Leslie1987-01-01TR-220
KwokYam LamA new approach for improving system availabilityProf. D. J. Wheeler1987-10-01TR-226
Andrew W MooreEfficient memory-based learning for robot controlDr W. F. Clocksin1987-01-01TR-209
Mian WeiA distributed compilation systemProf. R. M. Needham1983-10-01
Bhaskar R HaritaDynamic bandwidth managementProf. I. M. Leslie1986-10-01TR-217
Susan E ThompsonA storage service for structured dataProf. J. M. Bacon1986-10-01
Raphael YahalomManaging the order of transactions in widely-distruted data systemsDr J. K. M. Moody1986-01-01TR-231
Kamal ChaudharyVLSI RoutingProf. P. Robinson1987-10-01
Karen L WrenchA distributed and-or parallel Prolog networkDr M. Richards1987-01-01
Donald A GaubatzLogic Programming Analysis Of Asynchronous Digital CircuitsProf. D. J. Wheeler1984-10-01
Michael Luke TunmerCombinator reduction on networks of small processorsDr A. C. Norman1986-10-01
Gianpaulo TommasiProcedural Methods In Computer GraphicsDr N. E. Wiseman1985-01-01
Richard C HutchingsThe computer comprehension of systematic metaphorProf. K. I. B. Spärck-Jones1986-10-01
Li GongCryptographic protocols for distributed systemsProf. D. J. Wheeler1987-10-01
Jonathan BillingtonExtensions to coloured Petri Nets and their application to protocolsProf. G. Winskel1986-10-01TR-222
Paul CurzonA structured approach to the verification of low level microcodeDr M. Richards1986-10-01TR-215
David A WolframThe clausal theory of typesProf. L. C. Paulson1987-01-01
Andrew C HarterThree dimensional integrated circuit layoutProf Sir A. Hopper1983-10-01TR-202
Victor PoznanskiA Relevance-Based Utterance Processing SystemProf. K. I. B. Spärck-Jones1985-10-01TR-246
Charles W RestivoDeductive synthesis and planningDr W. F. Clocksin1987-10-01
Eng Lim GohImage synthesis using parallel architecturesDr N. E. Wiseman1987-10-01
Stuart Philip HawkinsVideo replay in computer animationDr N. E. Wiseman1985-10-01TR-207
Jeffery J JoyceMulti-level verification of microproccesor- basedProf. M. J. C. Gordon1986-10-01TR-195
Timothy GleesonAspects of abstraction in computingProf. R. M. Needham1986-10-01
Derek McAuleyConfiguration and binding in distributed systemsProf. I. M. Leslie1985-01-01TR-186
Thomas Frederick MelhamFormalising abstraction mechanisim for hardware veProf. M. J. C. Gordon1984-10-01TR-201
Francisco CorellaFoundations of automatic therem provingProf. M. J. C. Gordon1986-10-01TR-232
Guo- Qiang ZhangThe logic of domainsProf. G. Winskel1985-01-01TR-185
Stephen James Roger HarrisonRaytracing image synthesis techniquesDr N. E. Wiseman1985-10-01
Roger Stuart CalnanThe integration of Voice within a digital networkProf. R. M. Needham1984-10-01
Peter NewmanDesign of a multicast fast packet switchProf. R. M. Needham1985-01-01TR-165
Richard David WilliamsOrganisation and analysis of spatial dataDr N. E. Wiseman1985-01-01
David TennenhouseProf. R. M. Needham1985-01-01TR-184
Michael BurrowsCaching, migration and replication of files in a distributed file systemProf. D. J. Wheeler1984-10-01TR-153
Paul KargerImproving security and performance for capabilityProf Sir A. Hopper1986-01-01TR-149
Piete T M BrooksDistribution of functions in computer networksProf. R. M. Needham1980-10-01
Alberto CamilleriExecuting behavioural definitions in higher orderProf. M. J. C. Gordon1984-10-01TR-140
Thomas James W ClarkeSupport for heap-based programmingDr A. C. Norman1984-10-01
Miriam Ellen LeeserReasoning about the function & timing of integrateDr W. F. Clocksin1984-10-01TR-132
Murray P ShanahanSet-based processing of horn clausesDr W. F. Clocksin1984-10-01
Andrew Franklin SeaborneFiling in a heterogeneous networkProf. J. M. Bacon1984-10-01TR-169
Luke ChurchProf. A. F. Blackwell2007-10-01
Ilia ShumailovOn Security of Machine LearningProf. R. J. Anderson2017-10-01local PDF
György DénesPerceptual models for high-refresh-rate renderingProf. R. K. Mantiuk2016-10-01local PDF
Martin Kleppmann2018-03-28
Carole S KleinExploiting Or-parallelism in Prolog using multipleDr W. F. Clocksin1986-10-01TR-216
David J GreavesThe design of a metropolitan area backbone ringProf Sir A. Hopper1985-10-01
Edward AyersProf. M. Jamnik2016-10-01

See also