Department of Computer Science and Technology

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

authortitlesupervisor
(co-supervisor)
startedsubmitted
approved
thesis
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 patternsDr 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 integrationDr P. Lio'2014-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-01
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 centresDr 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 parallelisationDr T. M. Jones,
Dr R. D. Mullins
2013-10-01
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 frameworkDr T. M. Jones,
Prof. S. W. Moore
2014-01-06local 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
2012-04-17
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,
Dr M. Jamnik
2013-10-01TR-920, local PDF
Matthew GrosvenorLatency-first datacenter network schedulingDr A. W. Moore2012-01-05
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 DalibardOptimizing distributed computations using model based decisionsDr 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
2012-10-01
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 predictionDr 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
2012-10-01
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,
iap
2003-10-01
Flora Ponjou Tasse3D Shape RetrievalProf. P. Robinson2012-10-01
Lucian CarataProvenance-based computingProf. A. Hopper,
Dr R. S. Sohan
2011-10-01
Naruemon (Ploy) PratanwanichProbabilistic latent variable modelling for integrated biological dataDr 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
2012-06-22TR-896
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 instrumentationDr A. C. Rice,
Dr R. S. Sohan
2011-10-01
Marco Ferreira Devesas Campos Mendler induction and classical logicProf. M. P. Fiore2011-10-01local PDF
Oliver ChickForgoing hypervisor fidelity for measuring virtual machine performanceDr A. C. Rice,
Dr R. S. Sohan
2012-10-01
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,
jac
2009-10-01local PDF
Yoli ShavitAlgorithms for reconstructing the 3D genome architectureDr P. Lio'2012-10-01local PDF
Daniel ThomasSecurity metrics for computer systemsDr 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 loopsDr 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,
fms
2005-10-01
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 scienceDr 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 diagnosisDr 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 microprocessorsDr 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,
mjp
2009-01-05
Henrik LiengSurface modelling for 2D imageryProf. N. A. Dodgson,
Jiri Kosinka
2011-10-01TR-862, local PDF
Charalampos RotsosScalable Software Defined NetworkingDr 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 Brajdic Infrastructure-free indoor pedestrian localisation with smartphonesDr R. K. Harle,
Prof. J. M. Bacon
2009-10-01
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,
Dr A. W. Moore
2009-10-01TR-865
Matej UrbasMechanising heterogeneous reasoning in theorem proversDr 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 Adapting dynamic object-oriented languages to mixed dynamic and static typing Adapting dynamic object-oriented languages to mixed dynamic and static typing Adapting dynamic object-oriented languages to mixed dynamic and static typingDr D. J. Greaves,
Prof. A. Mycroft
2009-10-01
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
2009-10-01TR-856
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,
jac
2010-01-05
James Gregory JardineAutomatically Generating Reading ListsProf. S. H. Teufel,
alk
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 coresDr 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,
alk
2009-10-01TR-840
John WickersonConcurrent verification for sequential programsProf. G. Winskel2008-10-01TR-834
Maximilian BolingbrokeSupercompilation for call-by-need languagesProf. A. Mycroft,
SPJones
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 epilepsyDr P. Lio'2008-10-01local PDF
Soren PreibuschPrivacy choices online: preferences, incentives and enforcementDr 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,
acr
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,
am
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 prognosisDr P. Lio'2009-01-05
Eric KoskinenTemporal verification of programsProf. M. J. C. Gordon,
Byron Cook
2008-10-01
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 evolutionDr 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. 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. A. Hopper,
Dr R. S. Sohan
2007-10-01local PDF
Philip TaylorSpecification of policy languages for network routing protocols in the Bellman-Ford familyDr T. G. Griffin2007-10-01
Vilius NaudziunasDesign and implementation of a language for path algebrasDr 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 predictionsDr 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 dynamicsDr P. Lio'2007-10-01
Ian LeungFast network analysis and applications in real-world networksDr P. Lio'2008-01-05local PDF
Md Abdul AlimOn the Interaction of Internet Routing ProtocolsDr T. G. Griffin,
jac
2007-10-01
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. 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,
kaf
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
2006-10-01
Yuguo HeHierarchies in first-order logic and parameterized complexityProf. A. Dawar,
amp
2006-10-01local PDF
Bjarki HolmDescriptive complexity of linear algebraProf. A. Dawar,
mf
2006-10-01local PDF
James SrinivasanImproving cache utilisationProf. S. W. Moore,
pr
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. 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 dynamicsDr 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 protocolsDr 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 classificationDr A. W. Moore,
Dr S. B. Holden
2007-10-01
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
2005-10-01TR-758
Anthony HylickManaging energy consumption of hard disk drives by optimizing system interactionProf. 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 algebrasDr T. G. Griffin,
mf
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,
ah
2005-10-01
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,
pr
2006-04-17TR-828
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,
ejb
2002-10-01TR-779
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. A. Hopper,
fms
2004-10-01TR-761
David CottinghamVehicular wireless communicationProf. 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
2002-10-01TR-762
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
2004-10-01TR-744
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,
djg
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,
djg
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,
mr
2004-10-01local PDF
Yu-En LuDistributed proximity query processingDr S. M. Hand,
Dr T. L. Harris
2004-01-05
Anton LokhmotovProgramming and compiling for embedded SIMD architecturesProf. A. Mycroft2004-10-01
Mbou Eyole-MononoEnergy-efficient sentient computingProf. A. Hopper,
Rob Harle
2004-10-01TR-722
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,
jgd
2003-10-01
Lauri PesonenA capability-based access control architecture for multi-domain publish/subscribe systemsProf. J. M. Bacon,
km
2003-10-01TR-720
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,
TBA
2003-10-01
William HollingsworthUsing lexical chains to characterise scientific textProf. S. H. Teufel,
ejb
2003-10-01
Shahzad KhanNegation and antonymy in sentiment classificationProf. E. J. Briscoe,
Prof. S. H. Teufel
2004-10-01
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,
rja
2002-10-01TR-706, local PDF
Paul HunterComplexity and infinite games on finite graphsProf. A. Dawar,
amp
2002-10-01TR-704
Pan HuiPeople are the network: Experimental design and evaluation of social based forwarding algorithmsProf. J. A. Crowcroft,
TBA
2004-10-01TR-713
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,
pr
2003-10-01TR-698
Ian CaulfieldComplexity-effective superscalar embedded processors using instruction-level distributed processingProf. S. W. Moore,
am
2002-10-01TR-707
Alan LawrenceOptimizing compilation with the value state dependence graphProf. A. Mycroft,
mr
2002-10-01TR-705
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
2003-01-05
Richard SouthernAnimation manifolds for representing topological alterationProf. N. A. Dodgson,
Prof. P. Robinson
2003-10-01TR-723
Jacques FournierVector microprocessors for cryptographyProf. S. W. Moore,
rja
2003-10-01TR-701
Lucy Brace-EvansEvent structures with persistenceProf. G. Winskel,
amp
2003-10-01TR-710
William BillingsleyThe Intelligent Book: technologies for intelligent and adaptive textbooks focussing on Discrete MathematicsProf. P. Robinson,
afb
2002-10-01TR-719
Martin VechevDerivation and evaluation of concurrent collectorsDr M. Richards,
am
2003-10-01
Alisdair Stuart WrenRelationships for object-oriented programming languagesProf. A. M. Pitts,
am
2003-10-01TR-702
Tal Sobol-ShiklerLe ton fait la musique: analysis of expressions in speechProf. P. Robinson,
Prof. A. F. Blackwell
2002-10-01TR-740
Ulrich PaquetBayesian inference for latent variable modelsDr S. B. Holden,
jgd
2003-10-01TR-724
Timothy MoretonA wide-area file system for migrating virtual machinesDr I. A. Pratt,
Dr T. L. Harris
2002-10-01TR-714
Jolyon ClulowOn the security of real-world devicesProf. R. J. Anderson,
mk
2003-10-01
Mark GrundlandColor, style and composition in image processingProf. N. A. Dodgson,
pr
2001-01-05local PDF
Chi-kin ChauNetworks and disputesDr R. J. Gibbens,
jac
2003-10-01
Manuel CostaEnd-to-end containment of Internet worm epidemicsProf. J. A. Crowcroft,
Miguel Castro
2003-10-01
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
2003-10-01TR-697
Samuel StatonName-passing process calculi: operational models and structural operational semanticsProf. M. P. Fiore,
gw
2002-10-01TR-688
Alexander HoUnderstanding systems with virtual machinesDr S. M. Hand,
iap
2002-10-01local PDF
Juliano IyodaTranslating HOL functions to hardwareProf. M. J. C. Gordon,
djg
2002-10-01TR-682
Eiko YonekiECCO: data centric asynchronous communicationProf. J. M. Bacon,
jac
2002-10-01TR-677
Eng Keong LuaThe structure of Internet latencyProf. J. A. Crowcroft,
Dr T. G. Griffin
2003-10-01
Christian KreibichStructural traffic analysis for network security monitoringProf. J. A. Crowcroft,
iap
2002-10-01
Andrew TwiggCompact forbidden-set routingDr J. K. M. Moody,
rjg
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,
iap
2002-10-01
Anil MadhavapeddyCreating high-performance statically type-safe network applicationsDr D. J. Greaves,
Mac
2002-10-01TR-775
Sarah ThompsonOn the application of program analysis and transformation to high reliability electronicsProf. A. Mycroft,
djg
2003-10-01TR-670
Gareth StoyleA theory of dynamic software updatesProf. P. M. Sewell,
gmb
2001-10-01local PDF
Timothy DeeganThe main name systemProf. J. A. Crowcroft,
Mac
2002-10-01
Maja VukovicContext aware service compositionProf. P. Robinson,
afb
2003-01-05TR-700
Stephen RymillPsychologically-based simulation of human behaviourProf. N. A. Dodgson,
pr
2002-10-01TR-717, local PDF
Paula ButteryComputational models for first language acquisitionProf. E. J. Briscoe,
Prof. A. A. Copestake
2002-04-10TR-675
Tolga UzunerEffective network complexityProf. J. A. Crowcroft,
Mac
2002-01-05
Eben UptonCompiling with data dependence graphsDr M. Richards,
am
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,
jac
2002-10-01local PDF
Calicrates Policroniades-BorrazDecomposing file data into discernible itemsDr I. A. Pratt,
Dr T. L. Harris
2001-10-01TR-672
Meng How LimLandmark guided forwardingProf. J. A. Crowcroft,
iap
2002-10-01TR-674
Julian ChesterfieldJoint source-channel UEP coding for multimedia streaming in the wireless wide area network environmentProf. J. A. Crowcroft,
iap
2002-10-01
Piotr ZielinskiMinimizing latency of agreement protocolsDr M. G. Kuhn,
gw
2001-10-01TR-667
Karl JeacleTCP-XMProf. J. A. Crowcroft,
iap
2002-10-01
Richard ClaytonAnonymity and traceability in cyberspaceProf. R. J. Anderson,
lcp
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,
gmb
2001-10-01TR-654
Moritz BeckerCASSANDRA: flexible trust management and its application to electronic health recordsProf. P. M. Sewell,
gmb
2001-10-01TR-648
Judita PreissProbabilistic word sense disambiguationProf. E. J. Briscoe,
Prof. A. A. Copestake
2001-10-01TR-673
Marco Palomino-ZunigaDistributed creation and maintenance of web content indicesDr J. K. M. Moody,
jmb
2000-10-01
Jia MengThe integration of higher order interactive proof with first order automatic theorem provingProf. L. C. Paulson,
Prof. M. J. C. Gordon
2002-10-01TR-872
Mohamed HassanMultiresolution in geometric modelling: subdivision mark points and ternary subdivisonProf. N. A. Dodgson,
pr
2000-10-01local PDF
Alberto FernandesSpectrum management for revenue maximisation in DSLDr D. J. Greaves,
TBA
2001-10-01
Nathan DimmockUsing trust and risk for access control in global computingProf. J. M. Bacon,
djg
2002-01-05TR-643
Rana El-KalioubyMind-reading machines: automated inference of complex mental statesProf. P. Robinson,
afb
2001-10-01TR-636
Jeremy SingerStatic program analysis based on virtual register renamingDr M. Richards,
am
2001-10-01TR-660
Carsten MoenningIntrinsic point-based surface processingProf. N. A. Dodgson,
pr
2001-10-01TR-658
Hyun Jin ChoiSecurity protocol design by compositionProf. L. C. Paulson,
Prof. S. W. Moore
2000-04-10TR-657
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,
iap
2001-10-01TR-615
David EyersActive privilege management for distributed access control systemsDr J. K. M. Moody,
jmb
2001-10-01TR-669
James Roy BulpinOperating system support for simultaneous multithreaded processorsDr I. A. Pratt,
Dr T. L. Harris
2000-10-01TR-619
Scott FairbanksHigh precision timing using self-timed circuitsProf. S. W. Moore,
pr
2001-10-01TR-738
Sergei SkorobogatovSemi-invasive attacks - a new approach to hardware security analysisProf. R. J. Anderson,
Prof. S. W. Moore
2000-04-10TR-630
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
2001-10-01TR-606
Roongroj NopsuwanchaiDiscriminative training methods and their applications to handwriting recognitionProf. N. A. Dodgson,
afb
2000-10-01TR-652
Prem FernandoAutomatic recognition of ancient Syriac handwritingDr W. F. Clocksin,
afb
2000-10-01
Robert Gordon HagueEnd-user programming in multiple languagesProf. P. Robinson,
afb
2000-10-01TR-651
Steven McKellarAn extension to the OSI model of network management for large-scale collaborative performance measurementProf. J. M. Bacon,
km
2000-10-01
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,
mr
2000-10-01TR-607
Marc Peter CardleAutomated editing of sound and motionProf. P. Robinson,
nad
2000-10-01
Hasan AmjadCombining model checking and theorem provingProf. M. J. C. Gordon,
djg
2000-10-01TR-601
Andrei SerjantovOn the anonymity of anonymity systemsProf. P. M. Sewell,
amp
2000-10-01TR-604
Brian ShandTrust for resource control: self-enforcing automatic rational contracts between computersProf. J. M. Bacon,
km
2001-01-05TR-600
Peter PietzuchHermes: a scalable event-based middlewareProf. J. M. Bacon,
km
2000-10-01TR-590, local PDF
Michael BondUnderstanding security APIsProf. R. J. Anderson,
lcp
2000-10-01local PDF
George DanezisBetter anonymous communicationsProf. R. J. Anderson,
lcp
2000-10-01TR-594
Andras BelokosztolszkiRole-based access control policy administrationDr J. K. M. Moody,
jmb
2000-10-01TR-586
Silas BrownConversion of notationsProf. P. Robinson,
afb
2000-10-01TR-591
Robert EnnalsAdaptive evaluation of non-strict programsProf. A. Mycroft,
spj
2000-10-01TR-730
Panit WatcharawitchMulTEP: a multi-threaded embedded processorProf. S. W. Moore,
pr
2000-10-01TR-588
Steven BrooksConcise texture editingProf. N. A. Dodgson,
pr
2000-01-05TR-584
Mark AshdownPersonal projected displaysProf. P. Robinson1999-10-01TR-585
Pablo ArrighiRepresentations of quantum operations with applications to quantum cryptographyProf. A. Dawar,
rja
2000-10-01TR-595
Keir Anthony FraserPractical lock-freedomDr I. A. Pratt1999-10-01TR-579
Advaith SiddharthanSyntactic simplification and text cohesionProf. A. A. Copestake,
ejb
2000-10-01TR-597
Timothy GrangerReconfigurable wavelengh-switched optical networks for the internet coreProf. I. M. Leslie1998-10-01TR-575
David RicherbyFixed-point logics with choiceProf. A. Dawar,
amp
1999-10-01
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,
iap
1999-10-01
James HallMulti-layer network monitoring and analysisProf. I. M. Leslie1998-10-01TR-571
Richard SharpHigher-level hardware synthesisProf. A. Mycroft,
Prof. S. W. Moore
2000-10-01
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
1998-10-01TR-564
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
1997-04-01TR-534
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,
rm
1997-10-01
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
Mantsika MatooaneParallel systems in symbolic and algebraic computationDr A. C. Norman1998-04-01TR-537
Timothy M EdmondsAdaptation for mobile systemsProf. 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. 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. A. Hopper1996-10-01
Christian UrbanClassical logic and computationDr G. M. Bierman1996-10-01
David M LeaskLow power radio networkingProf. 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. 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
1993-10-01
Michael NorrishC formalised in HOLProf. M. J. C. Gordon1994-10-01TR-453
Andrew M R WardSensor-driven computingProf. A. Hopper1995-10-01
John B P NaylonA wireless ATM local area networkProf. 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. 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. 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. 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. 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. 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 quian 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. 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. 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. 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. 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. 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
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. A. Hopper1985-10-01

See also