Computer Laboratory

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

Andre Ribeiro'When Google search helps unemployment' and other cases for a theory of everday media Dr E. Yoneki2012-10-01
Desislava HristovaA multilayer approach to geo-social networks: models, metrics and applications Prof. C. Mascolo2013-04-17local PDF
Chao GaoSignal maps for smartphone localisation Dr R. K. Harle2013-10-01local PDF
Raphael ProustASAP: As Static As Possible memory management Prof. A. Mycroft2012-10-01local PDF
Jingjing ShenTrimmed NURBS to untrimmed subdivision: conversion for watertight representations Prof. P. Robinson2012-10-01
Douwe KielaDeep embodiment: Grounding semantics in perceptual modalities Dr S. Clark2012-10-01
Felix HillRepresenting linguistic meaning in distributed memories from words to sentences and beyond Dr A. L. Korhonen2012-10-01
Dongting YuAccess control for network management Prof. R. J. Anderson2010-10-01
Flora Ponjou Tasse3D Shape Retrieval Prof. P. Robinson2012-10-01
Lucian CarataProvenance-based computing Prof. A. Hopper2011-10-01
Naruemon (Ploy) PratanwanichProbabilistic latent variable modelling for integrated biological data Dr P. Lio'2012-10-01local PDF
Xin DingOn enhancing compressive sensing for multidimensional signals: causal and batch approaches Dr I. J. Wassell2012-04-17
Kumar SharadLearning to de-anonymize social networks Prof. R. J. Anderson2012-06-22TR-896
Laurent SimonExploring new attack vectors for the exploitation of smartphones Prof. R. J. Anderson2012-04-17
Thomas PasquierTowards practical information flow control and audit Prof. J. M. Bacon2012-10-01TR-893, local PDF
Yu WangStructured sparsity learning - taming the penalty under structure Dr I. J. Wassell2012-01-05local PDF
James SneeOperating system support for in-program instrumentation Operating system support for in-program instrumentation Dr A. C. Rice2011-10-01
Marco Ferreira Devesas Campos Mendler induction and classical logic Prof. M. P. Fiore2011-10-01local PDF
Oliver ChickForgoing hypervisor fidelity for measuring virtual machine performance Dr A. C. Rice2012-10-01
Andra AdamsAutomated inference of complex emotions from facial expressions and head gestures Prof. P. Robinson2010-10-01
Malte SchwarzkopfOperating system support for warehouse-scale computing Prof. I. M. Leslie2009-10-01local PDF
Yoli ShavitAlgorithms for reconstructing the 3D genome architecture Dr P. Lio'2012-10-01local PDF
Daniel ThomasSecurity metrics for computer systems Dr A. R. Beresford2012-10-01
William SonnexFixed-point promotion: taking the induction out of automated induction Prof. L. C. Paulson2011-10-01
Niall MurphyDiscovering and exploiting parallelism in DOACROSS loops Dr R. D. Mullins2011-10-01TR-882, local PDF
Gareth BaileyIn situ gait analysis during steady state running using foot mounted sensors Dr R. K. Harle2011-10-01
Robert NortonHardware support for compartmentalisation Prof. S. W. Moore2011-10-01TR-887
Raoul-Gabriel UrmaProgramming language evolution Prof. A. Mycroft2011-10-01
Zongyan HuangMachine learning and algebra Prof. L. C. Paulson2011-10-01TR-884, local PDF
Ramana KumarA Verified Implementation of ML Prof. M. J. C. Gordon2011-10-01TR-879, local PDF
Alistair SteadUsing multiple representations to develop notational expertise in programming Prof. A. F. Blackwell2011-10-01TR-890
Joonwoong KimAnonymous communication in DTN Prof. J. A. Crowcroft2005-10-01
Theodosia TogiaThe language of collaborative tagging Prof. A. A. Copestake2011-10-01TR-875, local PDF
Alexander KatovskyGames as Factorization Systems Prof. G. Winskel2010-10-01
Andrius AucinasDesign of energy-efficient mobile communications protocols Prof. J. A. Crowcroft2011-10-01local PDF
Claudio AngioneComputational methods for multi-omic models of cell metabolism and their importance for theoretical computer science Dr P. Lio'2011-10-01
Vaiva ImbrasaiteContinuous dimensional emotion tracking in music Prof. P. Robinson2011-10-01
Marwa MahmoudAnalysis of hand-over-face gestures in natural expressions Prof. P. Robinson2010-10-01
Lech SwirskiGaze estimation on glasses-based stereoscopic displays Prof. N. A. Dodgson2010-10-01local PDF
Ekaterina KochmarError detection in content word combinations Prof. E. J. Briscoe2011-10-01TR-886, local PDF
Mohammad Ali MoniClinical bioinformatics and computational modelling for diseas comorbidities diagnosis Dr P. Lio'2011-05-05
Rubin XuImproving application trustworthiness on stock Android Prof. R. J. Anderson2010-10-01
Steven MarshEfficient programming models for neurocomputation Prof. S. W. Moore2010-10-01local PDF
William DenmanAutomated verification of continuous and hybrid dynamical systems Prof. L. C. Paulson2010-10-01local PDF
Peter CalvertArchitecture-neutral parallelism via the Join Calculus Prof. A. Mycroft2010-10-01TR-871, local PDF
Zhen BaiAugmented reality interfaces for symbolic play in early childhood Prof. A. F. Blackwell2010-10-01TR-874
Andreas KoltesReconfigurable memory systems for embedded microprocessors Dr R. D. Mullins2010-10-01local PDF
Omar-Salim ChoudaryEfficient multivariate statistical techniques for extracting secrets from electronic devices Dr M. G. Kuhn2010-10-01TR-878, local PDF
Mark BattyThe C11 and C++11 Concurrency Model Prof. P. M. Sewell2009-01-05
Henrik LiengSurface modelling for 2D imagery Prof. N. A. Dodgson2011-10-01TR-862, local PDF
Charalampos RotsosScalable Software Defined Networking Dr A. W. Moore2009-04-10
Chloe BrownThe role of space in social groups: Analysis and technological applications Prof. C. Mascolo2011-10-01local PDF
Janina VoigtAliasing contracts: a unifying approach to object-oriented alias protection Prof. A. Mycroft2011-10-01TR-880
Steffen LoeschProgram equivalence in function metaprogramming via nominal Scott domains Prof. G. Winskel2010-10-01TR-860
Steven HerbertWireless communications in vehicles Dr I. J. Wassell2010-10-01local PDF
Nik SultanaHigher-order proof translation Prof. L. C. Paulson2008-10-01TR-867
Jonathan WoodruffCHERI: A RISC capability machine for practical memory safety Prof. S. W. Moore2010-10-01TR-858
Agata Brajdic Infrastructure-free indoor pedestrian localisation with smartphones Dr R. K. Harle2009-10-01
Syed Ali Mustafa ZaidiAccelerating Control-Flow Intensive Code in Spatial Hardware Dr D. J. Greaves2009-10-01TR-870
Christopher SmowtonI/O optimisation and elimination via partial evaluation I/O optimisation and elimination via partial evaluation Prof. A. Mycroft2009-10-01TR-865
Matej UrbasMechanising heterogeneous reasoning in theorem provers Dr M. Jamnik2009-10-01local PDF
Thomas LippincottUnsupervised approaches to syntactic verb frame acquisition for biomedicine Dr A. L. Korhonen2009-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 typing Dr D. J. Greaves2009-10-01
Matko BotincanFormal verification- driven parallelisation synthesis Prof. M. J. C. Gordon2009-10-01local PDF
Awais AtharSentiment analysis of scientific citations Dr S. H. Teufel2009-10-01TR-856
Tadas BaltrusaitisAutomatic facial expression analysis Prof. P. Robinson2009-10-01TR-861, local PDF
Steven SmithRaft: Automated techniques for diagnosing, reproducing, and fixing concurrency bugs Dr S. M. Hand2005-10-01local PDF
Anastasios NoulasHuman urban mobility in location-based social networks: Analysis, models and applications Prof. C. Mascolo2010-01-05
James Gregory JardineAutomatically Generating Reading Lists Dr S. H. Teufel2009-10-01TR-848, local PDF
Jisun AnMulti-faceted analysis of news sharing in social networking sites Prof. J. A. Crowcroft2010-01-05
Wei Ming KhooDecompilation as search Prof. R. J. Anderson2009-10-01TR-844
Daniel BatesExploiting tightly-coupled cores Dr R. D. Mullins2009-10-01TR-846, local PDF
Nicholas PilkingtonHyperparameter optimisation for multiple kernels Dr S. B. Holden2009-10-01
Narseo Vallina-RodriguezThe hidden costs of mobile applications: A cross-layer analysis of energy and spectrum waste of mobile applications Prof. J. A. Crowcroft2009-01-05
Ian DaviesWorkload measurement in command and control Prof. P. Robinson2008-10-01
Milos PuzovicHardware/software interface dynamic multicore scheduling Dr D. J. Greaves2008-10-01local PDF
Dominic OrchardProgramming contextual computations Prof. A. Mycroft2008-10-01TR-854
Helen YannakoudakisAutomated assessment of English-learner writing Prof. E. J. Briscoe2009-10-01TR-842
Marek ReiMinimally supervised dependency-based methods for natural language processing Prof. E. J. Briscoe2009-10-01TR-840
John WickersonConcurrent verification for sequential programs Prof. G. Winskel2008-10-01TR-834
Maximilian BolingbrokeSupercompilation for call-by-need languages Prof. A. Mycroft2008-10-01TR-835, local PDF
Kiran RachuriSmartphones based Social Sensing: Adaptive Sampling, Sensing and Computation Offloading Prof. C. Mascolo2009-10-01
Ching-Yun ChangTransformations for linguistic steganography Dr S. Clark2009-10-01local PDF
Paul James FoxMassively parallel neural computation Prof. S. W. Moore2009-04-10TR-830, local PDF
Leo WhiteExtending old languages for the new architectures Prof. A. Mycroft2008-10-01local PDF
Christopher Thompson-WalshSemantics and extension of a biological modelling language Prof. G. Winskel2008-10-01
Yuedong SongElectroencephalogram machine learning to assist diagnosis and treatment of epilepsy Dr P. Lio'2008-10-01local PDF
Soren PreibuschPrivacy choices online: preferences, incentives and enforcement Dr A. R. Beresford2008-10-01local PDF
Colin KellyAutomatic extraction of property norm-like data from large text corpora Dr A. L. Korhonen2008-10-01TR-839
Benjamin RobertsLanguage semantics for secure information flow analysis Dr S. Staton2008-10-01
Wei ChenCompressive sensing for wireless sensor networks Dr I. J. Wassell2009-10-01local PDF
Gregory ChadwickCommunication centric, multi-core, fine-grained processor architecture Prof. S. W. Moore2008-10-01TR-832
Lin SunAutomatic induction of verb classes using clustering Dr A. L. Korhonen2008-10-01local PDF
Jonathan AndersonPrivacy engineering for social networks. Dr F. M. Stajano2008-10-01TR-825, local PDF
Aisha ElsaftyA naming and trust approach for seamless handover in multiple-interface mobile devices Dr D. J. Greaves2007-01-05local PDF
Salvatore ScellatoSpatial properties of online social services: measurement, analysis and applications Prof. C. Mascolo2009-04-10local PDF
Charles ReamsModelling energy efficiency for computation Prof. A. Mycroft2008-10-01TR-821
Joseph BonneauSecurity and privacy in the social web Prof. R. J. Anderson2008-10-01TR-819
Meredydd LuffCommunication for programmability and performance on multi-core processors Prof. S. W. Moore2009-01-05TR-831, local PDF
Christopher NashSupporting virtuosity and flow in computer music Prof. A. F. Blackwell2006-10-01
Robin MessageProgramming for humans- a new paradigm for domain-specific languages Prof. A. Mycroft2007-10-01TR-843
Syed HaiderComputational systems biology-based feature selection for cancer prognosis Dr P. Lio'2009-01-05
Eric KoskinenTemporal verification of programs Prof. M. J. C. Gordon2008-10-01
John TangTemporal network metrics and their application to real world networks Prof. C. Mascolo2008-10-01
Shailendra FuloriaRobust security for the electricity network Prof. R. J. Anderson2009-01-05
Hyoungshick KimComplex network analysis for secure and robust communications Prof. R. J. Anderson2008-10-01
Stephan KitchovitchComputational modelling and analysis of seasonal influenza transmission and evolution Dr P. Lio'2008-10-01
Christian RichardtColour videos with depth acquisition, processing and evaluation Prof. N. A. Dodgson2007-10-01TR-815
Simon FothergillAutomatic assessment of kinaesthetic performance applied to rowing Prof. A. Hopper2005-10-01
Richard RussellPlanning with preferences using maximum satisfiability Dr S. B. Holden2007-10-01TR-822
Sherif AkoushExploiting surplus renewable energy in datacentre computing Prof. A. Hopper2007-10-01local PDF
Philip TaylorSpecification of policy languages for network routing protocols in the Bellman-Ford family Dr T. G. Griffin2007-10-01
Vilius NaudziunasDesign and implementation of a language for path algebras Dr T. G. Griffin2008-10-01
Ruoshui LiuPlanning and deployment of wireless sensor networks Dr I. J. Wassell2007-10-01
Arno PaulyComputable metamathematics and its applications to game theory Prof. A. Dawar2008-10-01local PDF
Viet Anh NguyenBayesian approaches to biological network predictions Dr P. Lio'2007-10-01
Pedro BrandaoAbstracting information on body area networks Prof. J. M. Bacon2007-04-17TR-812
Derek MurrayA distributed execution engine supporting data-dependent control flow Dr S. M. Hand2007-10-01local PDF
Andrew LewisReconstructing compressed photo and video data Dr M. G. Kuhn2007-10-01TR-813
Anilkumar SorathiyaComputational modelling approaches to HIV-1 dynamics Dr P. Lio'2007-10-01
Ian LeungFast network analysis and applications in real-world networks Dr P. Lio'2008-01-05local PDF
Md Abdul AlimOn the Interaction of Internet Routing Protocols Dr T. G. Griffin2007-10-01
Silvia BreuMining and tracking in evolving software Prof. A. Mycroft2006-04-17TR-838, local PDF
Nishanth SastrySocial network support for data delivery infrastructures Prof. J. A. Crowcroft2007-04-17
Amitabha RoySoftware lock elision for x86 machine code Dr S. M. Hand2007-10-01TR-801, local PDF
Johanna GeissLatent semantic sentence clustering for multi-document summarization Dr S. H. Teufel2007-04-17TR-802, local PDF
Ola MahmoudSecond-order algebraic theories Prof. M. P. Fiore2007-01-05TR-807, local PDF
Laurel RiekExpression synthesis on robots Prof. P. Robinson2007-10-01local PDF
Ekaterina ShutovaComputational approaches to figurative language Dr S. H. Teufel2007-10-01TR-803
Simon HayA model personal energy meter Prof. A. Hopper2007-10-01TR-805, local PDF
Jean MartinaVerification of security protocols based on multicase communication Prof. L. C. Paulson2006-10-01TR-816
Julien QuintardTowards a worldwide storage infrastructure Prof. J. M. Bacon2007-10-01
Nick Barrow-WilliamsProximity coherence for chip-multiprocessors Prof. S. W. Moore2007-10-01TR-810, local PDF
Thomas TuerkA separation logic framework for HOL Prof. M. J. C. Gordon2007-01-05TR-799
John MillerDistributed virtual environment scalability and security Prof. J. A. Crowcroft2006-10-01TR-809
Stephen KellBlack-box composition of mismatched software compnents Dr D. J. Greaves2006-10-01TR-845, local PDF
Jonathan MakFacilitating program parallelisation - a profiling-based approach Prof. A. Mycroft2007-10-01TR-796, local PDF
Weisi GuoPower allocation for wireless collaborative networks Dr I. J. Wassell2007-04-17
Robert WatsonNew approaches to operating system security extensibility Prof. R. J. Anderson2005-10-01TR-818, local PDF
Richard BergmairMonte Carlo Semantics: Robust inference and logical pattern processing based on integrated deep and shallow representations Prof. A. A. Copestake2006-10-01
Bogdan RomanScalable Cross-Layer Wireless Medium Access Control Dr I. J. Wassell2006-10-01
Yuguo HeHierarchies in first-order logic and parameterized complexity Prof. A. Dawar2006-10-01local PDF
Bjarki HolmDescriptive complexity of linear algebra Prof. A. Dawar2006-10-01local PDF
James SrinivasanImproving cache utilisation Prof. S. W. Moore2003-01-05TR-800, local PDF
Boris FeiginInterpretational overhead in system software Prof. A. Mycroft2006-10-01TR-797
James BridgeMachine learning and automated theorem proving Prof. L. C. Paulson2006-10-01TR-792, local PDF
Oliver WoodmanPedestrian localisation for indoor environments Prof. A. Hopper2006-10-01local PDF
Shazia AfzalAffect inference in learning environments: a functional view of facial affect analysis using naturalistic data Prof. P. Robinson2006-10-01TR-793, local PDF
Periklis AkritidisPractical memory safety for C Dr S. M. Hand2006-10-01TR-798, local PDF
Aurelie HerbelotUnspecified quantification Prof. A. A. Copestake2006-10-01TR-795, local PDF
Daniel GreenfieldRentian locality in chip multiprocessors Prof. S. W. Moore2006-04-17local PDF
Oeistein AndersenGrammatical error prediction Prof. E. J. Briscoe2006-10-01TR-794, local PDF
Theo MarkettosActive electromagnetic attacks on secure hardware Prof. S. W. Moore2003-10-01TR-811, local PDF
Mohan GanesalingamThe Language of Mathematics Prof. A. A. Copestake2007-10-01local PDF
Thomas CashmanNURBS-compatible subdivision surfaces Prof. N. A. Dodgson2006-10-01TR-773
Richard Van der WathComputational modelling of hematopoietic stem cell division and regulation dynamics Dr P. Lio'2005-10-01
Daniel O'KeeffeDistributed complex event detection for pervasive computing Prof. J. M. Bacon2003-10-01TR-783
Pradipta BiswasInclusive user modelling Prof. P. Robinson2006-10-01local PDF
Andreas VlachosSemi-supervised learning for biomedical information extraction Prof. E. J. Briscoe2006-10-01TR-791
Chung Kil HurCategorical equational systems: algebraic models and equational reasoning Prof. M. P. Fiore2004-10-01local PDF
Sriram SrinivasanKilim: A server framework with lightweight actors, isolation types and Zero-copy messaging Prof. J. M. Bacon2005-10-01TR-769
John BillingsSpecifying and compiling Internet routing protocols Dr T. G. Griffin2005-10-01
Yan WuPropagation modelling for wireless sensor networks deployed to perform civil infrastructure monitoring Dr I. J. Wassell2006-10-01local PDF
Wei LiToward online behavioural traffic classification Dr A. W. Moore2007-10-01
Jatinder SinghControlling the dissemination and disclosure of healthcare events Prof. J. M. Bacon2005-10-01TR-770
Olexiy GotsmanLogics and analyses for concurrent heap-manipulating programs Prof. M. J. C. Gordon2005-10-01TR-758
Anthony HylickManaging energy consumption of hard disk drives by optimizing system interaction Prof. A. Hopper2005-10-01local PDF
Behzad BastaniOpen evolvable systems design by process-oriented modeling Dr D. J. Greaves2003-10-01
Matthew LakinAn executable meta-language for inductive definitions with binders Prof. A. M. Pitts2005-10-01TR-772
Saar DrimerSecurity for volatile FPGAs Dr M. G. Kuhn2005-10-01TR-763
Cecily MorrisonBodies-in-Space: investigating technology usage in co-present group interaction Prof. A. F. Blackwell2006-10-01TR-771
Aaron CobleAnonymity, information and machine-assisted proof Prof. L. C. Paulson2005-10-01TR-785, local PDF
Julian SmithTowards robust inexact geometric computation Prof. N. A. Dodgson2003-10-01TR-766, local PDF
Ranald CloustonEquational logic for names and binders Prof. A. M. Pitts2005-10-01local PDF
Daniel BernhardtEmotion inference from human body motion Prof. P. Robinson2005-10-01TR-787
Alexander GurneyConstruction and verification of routing algebras Dr T. G. Griffin2005-10-01local PDF
Rok StrnisaFormalising, improving, and reusing the Java module system Prof. P. M. Sewell2005-10-01
Min LinChannel modelling for wireless sensor networks Dr I. J. Wassell2004-10-01
William CarsonPerformance modelling and design of bit-interleaved coded modulation Dr I. J. Wassell2005-10-01
Grzegorz MilosEfficient and effective sharing of memory in virtual machine monitors Dr S. M. Hand2005-10-01
Luis VargasIntegrating databases and Publish/Subscribe Prof. J. M. Bacon2004-10-01
Mark AdcockImproving cache performance by runtime data movement Prof. A. Mycroft2004-10-01TR-757, local PDF
Rosemary FrancisNetworks for Field Programmable Gate Arrays Prof. S. W. Moore2006-04-17TR-828
Jonathan HaymanPetri net semantics Prof. G. Winskel2004-10-01TR-782
Philip PaulMicroelectronic Security Measures Prof. S. W. Moore2005-10-01TR-829, local PDF
Magnus MyreenFormal verification of machine-code programs Prof. M. J. C. Gordon2005-10-01TR-765, local PDF
David TurnerNominal domain theory for concurrency Prof. G. Winskel2004-10-01
Eric HendersonA text representation language for contextual and distributional processing Prof. A. A. Copestake2002-10-01
Arnab BanerjeeCommunication flows in power-efficient networks-on-chips Prof. S. W. Moore2005-10-01TR-786
Timos AntonopoulosExpressive Power of Graph Languages Prof. A. Dawar2004-01-05
Minor GordonSmall-scale, event-based overlays Prof. J. M. Bacon2005-10-01TR-781, local PDF
Jonathan DaviesProgramming networks of vehicles Prof. A. Hopper2004-10-01TR-761
David CottinghamVehicular wireless communication Prof. A. Hopper2004-10-01TR-741
Atif AlviControlling pervasive domains with ontologies and rules Dr D. J. Greaves2004-10-01
Caroline GasperinStatistical anaphora resolution in biomedical texts Prof. E. J. Briscoe2003-10-01TR-764, local PDF
Evangelia KalyvianakiResource provisioning for virtualized server applications Dr S. M. Hand2002-10-01TR-762
Na XuStatic contract checking for Haskell Prof. A. Mycroft2004-10-01TR-737
Diarmuid Ó SéaghdhaLearning compound noun semantics Prof. A. A. Copestake2004-10-01TR-735
Salman TaherianState-based Publish/Subscribe for Sensor Systems Prof. J. M. Bacon2003-10-01TR-739
Shishir NagarajaRobust covert network topologies Prof. R. J. Anderson2003-10-01local PDF
Tomasz MacuraAutomating the quantitative analysis of micoscopy images Dr J. K. M. Moody2004-10-01local PDF
Philip TuddenhamTabletop interfaces for remote collaboration Prof. P. Robinson2004-10-01TR-734
Anna RitchieCitation context analysis for information retrieval Dr S. H. Teufel2004-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. Gordon2004-10-01local PDF
Matthew JohnsonA new approach to Internet banking Prof. S. W. Moore2004-10-01TR-731, local PDF
Alban RrustemiComputing surfaces - a platform for scalable interactive displays Prof. S. W. Moore2004-10-01TR-732, local PDF
Tyler MooreCooperative attack and defense in distributed networks Prof. R. J. Anderson2004-10-01TR-718
Gerhard HanckeSecurity of proximity identification systems Dr M. G. Kuhn2003-10-01TR-752, local PDF
Euan HarrisRate limiting in an event-driven BGP speaker Prof. J. A. Crowcroft2002-10-01local PDF
Sofiane NaciControlling prevasive domains with ontologies and rules Prof. A. Mycroft2004-10-01local PDF
Yu-En LuDistributed proximity query processing Dr S. M. Hand2004-01-05
Anton LokhmotovProgramming and compiling for embedded SIMD architectures Prof. A. Mycroft2004-10-01
Mbou Eyole-MononoEnergy-efficient sentient computing Prof. A. Hopper2004-10-01TR-722
Darren EdgeTangible user interfaces for peripheral interaction: episodic engagement with objects of physical, digital and social significance Prof. A. F. Blackwell2004-10-01TR-733
Andrew Naish-GuzmanSparse and robust kernal methods Dr S. B. Holden2003-10-01
Lauri PesonenA capability-based access control architecture for multi-domain publish/subscribe systems Prof. J. M. Bacon2003-10-01TR-720
Gregory HughesLecture Adaptation for students with disabilities Prof. P. Robinson2004-10-01
Wenjun HuA tale of two prototypes: Practical network coding for wireless mesh networks Prof. J. A. Crowcroft2003-10-01
William HollingsworthUsing lexical chains to characterise scientific text Dr S. H. Teufel2003-10-01
Shahzad KhanNegation and antonymy in sentiment classification Prof. E. J. Briscoe2004-10-01
Benjamin MedlockInvestigating classification for natural language processing tasks Prof. E. J. Briscoe2004-10-01TR-721
Rebecca WatsonOptimising the speed and accuracy of a Statistical GLR Parser Prof. E. J. Briscoe2004-10-01TR-743
Michael ComptonFormal verification of process algebra systems Prof. L. C. Paulson2002-10-01local PDF
Steven MurdochCovert channel vulnerabilities in anonymity systems Dr M. G. Kuhn2002-10-01TR-706, local PDF
Paul HunterComplexity and infinite games on finite graphs Prof. A. Dawar2002-10-01TR-704
Pan HuiPeople are the network: Experimental design and evaluation of social based forwarding algorithms Prof. J. A. Crowcroft2004-10-01TR-713
Viktor VafeiadisModular fine-grained concurrency verification Prof. A. Mycroft2004-10-01TR-726, local PDF
Andy OzmentVulnerability discovery & software security Prof. R. J. Anderson2003-10-01
Simon HollisPulse-based, on-chip interconnect Prof. S. W. Moore2003-10-01TR-698
Ian CaulfieldComplexity-effective superscalar embedded processors using instruction-level distributed processing Prof. S. W. Moore2002-10-01TR-707
Alan LawrenceOptimizing compilation with the value state dependence graph Prof. A. Mycroft2002-10-01TR-705
Feng HaoOn using fuzzy data in security machanisms Prof. R. J. Anderson2004-04-17TR-715
Doug SantryA cluster storage system for modern virtual machines Dr I. A. Pratt2003-01-05
Richard SouthernAnimation manifolds for representing topological alteration Prof. N. A. Dodgson2003-10-01TR-723
Jacques FournierVector microprocessors for cryptography Prof. S. W. Moore2003-10-01TR-701
Lucy Brace-EvansEvent structures with persistence Prof. G. Winskel2003-10-01TR-710
William BillingsleyThe Intelligent Book: technologies for intelligent and adaptive textbooks focussing on Discrete Mathematics Prof. P. Robinson2002-10-01TR-719
Martin VechevDerivation and evaluation of concurrent collectors Dr M. Richards2003-10-01
Alisdair Stuart WrenRelationships for object-oriented programming languages Prof. A. M. Pitts2003-10-01TR-702
Tal Sobol-ShiklerLe ton fait la musique: analysis of expressions in speech Prof. P. Robinson2002-10-01TR-740
Ulrich PaquetBayesian inference for latent variable models Dr S. B. Holden2003-10-01TR-724
Timothy MoretonA wide-area file system for migrating virtual machines Dr I. A. Pratt2002-10-01TR-714
Jolyon ClulowOn the security of real-world devices Prof. R. J. Anderson2003-10-01
Mark GrundlandColor, style and composition in image processing Prof. N. A. Dodgson2001-01-05local PDF
Chi-kin ChauNetworks and disputes Dr R. J. Gibbens2003-10-01
Manuel CostaEnd-to-end containment of Internet worm epidemics Prof. J. A. Crowcroft2003-10-01
Russ RossCluster storage for commodity computation Dr I. A. Pratt2003-04-10TR-690, local PDF
Christopher PurcellScaling mount concurrency: scalability and progress in concurrent algorithms K. A. Fraser2003-10-01TR-697
Samuel StatonName-passing process calculi: operational models and structural operational semantics Prof. M. P. Fiore2002-10-01TR-688
Alexander HoUnderstanding systems with virtual machines Dr S. M. Hand2002-10-01local PDF
Juliano IyodaTranslating HOL functions to hardware Prof. M. J. C. Gordon2002-10-01TR-682
Eiko YonekiECCO: data centric asynchronous communication Prof. J. M. Bacon2002-10-01TR-677
Eng Keong LuaThe structure of Internet latency Prof. J. A. Crowcroft2003-10-01
Christian KreibichStructural traffic analysis for network security monitoring Prof. J. A. Crowcroft2002-10-01
Andrew TwiggCompact forbidden-set routing Dr J. K. M. Moody2002-10-01TR-678, local PDF
Ole H JensenMobile Processes in Bigraphs Prof. P. M. Sewell1995-01-01
Boris DragovicCASPEr: containment-aware security for pervasive computing environments Prof. J. A. Crowcroft2002-10-01
Anil MadhavapeddyCreating high-performance statically type-safe network applications Dr D. J. Greaves2002-10-01TR-775
Sarah ThompsonOn the application of program analysis and transformation to high reliability electronics Prof. A. Mycroft2003-10-01TR-670
Gareth StoyleA theory of dynamic software updates Prof. P. M. Sewell2001-10-01local PDF
Timothy DeeganThe main name system Prof. J. A. Crowcroft2002-10-01
Maja VukovicContext aware service composition Prof. P. Robinson2003-01-05TR-700
Stephen RymillPsychologically-based simulation of human behaviour Prof. N. A. Dodgson2002-10-01TR-717, local PDF
Paula ButteryComputational models for first language acquisition Prof. E. J. Briscoe2002-04-10TR-675
Tolga UzunerEffective network complexity Prof. J. A. Crowcroft2002-01-05
Eben UptonCompiling with data dependence graphs Dr M. Richards2001-10-01local PDF
Hui-Yun LiSecurity evaluation at design time for cryptographic hardware Prof. S. W. Moore2003-01-05TR-665
Andrew WarfieldVirtual devices for virtual machines Dr S. M. Hand2002-10-01local PDF
Calicrates Policroniades-BorrazDecomposing file data into discernible items Dr I. A. Pratt2001-10-01TR-672
Meng How LimLandmark guided forwarding Prof. J. A. Crowcroft2002-10-01TR-674
Julian ChesterfieldJoint source-channel UEP coding for multimedia streaming in the wireless wide area network environment Prof. J. A. Crowcroft2002-10-01
Piotr ZielinskiMinimizing latency of agreement protocols Dr M. G. Kuhn2001-10-01TR-667
Karl JeacleTCP-XM Prof. J. A. Crowcroft2002-10-01
Richard ClaytonAnonymity and traceability in cyberspace Prof. R. J. Anderson2000-10-01TR-653, local PDF
David SpenceLocation based code placement in distributed systems Prof. J. A. Crowcroft2002-10-01local PDF
Matthew ParkinsonLocal reasoning for Java Prof. A. M. Pitts2001-10-01TR-654
Moritz BeckerCASSANDRA: flexible trust management and its application to electronic health records Prof. P. M. Sewell2001-10-01TR-648
Judita PreissProbabilistic word sense disambiguation Prof. E. J. Briscoe2001-10-01TR-673
Marco Palomino-ZunigaDistributed creation and maintenance of web content indices Dr J. K. M. Moody2000-10-01
Jia MengThe integration of higher order interactive proof with first order automatic theorem proving Prof. L. C. Paulson2002-10-01TR-872
Mohamed HassanMultiresolution in geometric modelling: subdivision mark points and ternary subdivison Prof. N. A. Dodgson2000-10-01local PDF
Alberto FernandesSpectrum management for revenue maximisation in DSL Dr D. J. Greaves2001-10-01
Nathan DimmockUsing trust and risk for access control in global computing Prof. J. M. Bacon2002-01-05TR-643
Rana El-KalioubyMind-reading machines: automated inference of complex mental states Prof. P. Robinson2001-10-01TR-636
Jeremy SingerStatic program analysis based on virtual register renaming Dr M. Richards2001-10-01TR-660
Carsten MoenningIntrinsic point-based surface processing Prof. N. A. Dodgson2001-10-01TR-658
Hyun Jin ChoiSecurity protocol design by composition Prof. L. C. Paulson2000-04-10TR-657
Christopher TownOntology based visual information processing Prof. J. G. Daugman2001-10-01local PDF
Joerg LeplerCooperation and deviation in market-based resource allocation Dr M. Richards1999-01-01TR-622
Mark ShinwellThe fresh approach: functional programming with names and binders Prof. A. M. Pitts2001-01-05TR-618, local PDF
Evangelos KotsovinosGlobal public computing Dr S. M. Hand2001-10-01TR-615
David EyersActive privilege management for distributed access control systems Dr J. K. M. Moody2001-10-01TR-669
James Roy BulpinOperating system support for simultaneous multithreaded processors Dr I. A. Pratt2000-10-01TR-619
Scott FairbanksHigh precision timing using self-timed circuits Prof. S. W. Moore2001-10-01TR-738
Sergei SkorobogatovSemi-invasive attacks - a new approach to hardware security analysis Prof. R. J. Anderson2000-04-10TR-630
Arasnath KimisGeneric event services middleware Prof. J. M. Bacon1999-10-01
Nicholas NethercoteDynamic binary analysis and instrumentation or building tools is easy Prof. A. Mycroft2001-10-01TR-606
Roongroj NopsuwanchaiDiscriminative training methods and their applications to handwriting recognition Prof. N. A. Dodgson2000-10-01TR-652
Prem FernandoAutomatic recognition of ancient Syriac handwriting Dr W. F. Clocksin2000-10-01
Robert Gordon HagueEnd-user programming in multiple languages Prof. P. Robinson2000-10-01TR-651
Steven McKellarAn extension to the OSI model of network management for large-scale collaborative performance measurement Prof. J. M. Bacon2000-10-01
Simon FrankauHardware synthesis from stream-processing functional language Prof. S. W. Moore2000-10-01TR-824, local PDF
Neil E JohnsonCode size optimization for embedded processors Prof. A. Mycroft2000-10-01TR-607
Marc Peter CardleAutomated editing of sound and motion Prof. P. Robinson2000-10-01
Hasan AmjadCombining model checking and theorem proving Prof. M. J. C. Gordon2000-10-01TR-601
Andrei SerjantovOn the anonymity of anonymity systems Prof. P. M. Sewell2000-10-01TR-604
Brian ShandTrust for resource control: self-enforcing automatic rational contracts between computers Prof. J. M. Bacon2001-01-05TR-600
Peter PietzuchHermes: a scalable event-based middleware Prof. J. M. Bacon2000-10-01TR-590, local PDF
Michael BondUnderstanding security APIs Prof. R. J. Anderson2000-10-01local PDF
George DanezisBetter anonymous communications Prof. R. J. Anderson2000-10-01TR-594
Andras BelokosztolszkiRole-based access control policy administration Dr J. K. M. Moody2000-10-01TR-586
Silas BrownConversion of notations Prof. P. Robinson2000-10-01TR-591
Robert EnnalsAdaptive evaluation of non-strict programs Prof. A. Mycroft2000-10-01TR-730
Panit WatcharawitchMulTEP: a multi-threaded embedded processor Prof. S. W. Moore2000-10-01TR-588
Steven BrooksConcise texture editing Prof. N. A. Dodgson2000-01-05TR-584
Mark AshdownPersonal projected displays Prof. P. Robinson1999-10-01TR-585
Pablo ArrighiRepresentations of quantum operations with applications to quantum cryptography Prof. A. Dawar2000-10-01TR-595
Keir Anthony FraserPractical lock-freedom Dr I. A. Pratt1999-10-01TR-579
Advaith SiddharthanSyntactic simplification and text cohesion Prof. A. A. Copestake2000-10-01TR-597
Timothy GrangerReconfigurable wavelengh-switched optical networks for the internet core Prof. I. M. Leslie1998-10-01TR-575
David RicherbyFixed-point logics with choice Prof. A. Dawar1999-10-01
Sang-Bum SuhAn effective multiple access policy for the home telephone wiring in a home LAN Dr D. J. Greaves1998-10-01
Jianxin YanSecurity for online games Prof. R. J. Anderson1999-10-01
James HallMulti-layer network monitoring and analysis Prof. I. M. Leslie1998-10-01TR-571
Richard SharpHigher-level hardware synthesis Prof. A. Mycroft2000-10-01
Donnla B Nic GearailtDictionary characteristics in cross-language information retrieval Prof. K. I. B. Spärck-Jones1997-10-01TR-616
Walt YaoTrust management for widely distributed systems Prof. J. M. Bacon1998-10-01TR-608
Alan AbrahamsDeveloping and executing electronic commerce applications with occurrences Prof. J. M. Bacon1999-10-01
Michael J BlainAnimating Liquids Prof. N. A. Dodgson1997-10-01
Markus G KuhnCompromising emanations: eavesdropping risks of computer displays Prof. R. J. Anderson1997-10-01TR-577, local PDF
Alexis HombrecherReconciling event taxonomies across administrative domains Dr J. K. M. Moody1998-10-01
Ulrich LangAccess policies for middleware Prof. R. J. Anderson1998-10-01TR-564
Keith WansbroughSimple polymorphic usage analysis Prof. A. M. Pitts1998-10-01TR-623
Charalampos ManifavasMicropayment transaction costs Prof. R. J. Anderson1995-10-01
Jana SukkariehNatural language for knowledge representation Dr S. G. Pulman1996-10-01
Austin N DonnellyResource control in network elements Prof. I. M. Leslie1997-04-01TR-534
Susan PanchoContributions of formal security proofs Prof. R. J. Anderson1998-10-01
Paul CunninghamVerification of asynchronous circuits Prof. P. Robinson1998-10-01TR-587
Joseph Ell HurdFormal verification of probabilistic alogorithms Prof. M. J. C. Gordon1998-10-01TR-566
David B StewartQuality of service for storage systems Prof. J. M. Bacon1998-10-01
Umar SaifArchitectures for ubiquitous systems Dr D. J. Greaves1998-10-01TR-527
Lucian J WischikExplicit fusions: theory and implementation Dr P. A. Gardner1997-10-01
Richard M MortierInternet traffic engineering Dr I. A. Pratt1997-10-01TR-532
Agathoniki TrigoniSemantic optimization of OQL queries Dr J. K. M. Moody1998-10-01TR-547
Kerry RoddenEvaluating similarity-based visualisations as interfaces for image browsing Prof. J. M. Bacon1995-10-01TR-543
Richard R WattsThe development of an uncertain reasoning system Prof. P. Robinson1997-10-01
Aline VillavicencioThe acquisition of a unification-based generalised categorial grammar Prof. E. J. Briscoe1997-10-01TR-533
Anna-Leena KorhonenSubcategorization acquisition Prof. E. J. Briscoe1997-10-01TR-530
Daryl J StewartA uniform sematics for Verilog and VHDL suitable for both simulation and verification Prof. M. J. C. Gordon1997-10-01
David C AbensourFinite state and statistical methods for natural language processing Dr S. G. Pulman1997-10-01
Mantsika MatooaneParallel systems in symbolic and algebraic computation Dr A. C. Norman1998-04-01TR-537
Timothy M EdmondsAdaptation for mobile systems Prof. A. Hopper1997-10-01
Mark F P GilliesPractical behavioural animation based on vision and attention Prof. N. A. Dodgson1998-01-01
Martin ChoquetteLocal evidence in document retrieval Prof. K. I. B. Spärck-Jones1996-10-01TR-519
Andrew W MooreMeasurement-based management of network resources Prof. I. M. Leslie1997-10-01TR-528
Timothy L HarrisExtensible virtual machines Dr S. Crosby1997-10-01TR-525
Asis UnyapothNomadic pi-calculi: expressing and verifying communication infrastructure for mobile computation Prof. P. M. Sewell1996-10-01TR-514
James J LeiferOperational congruences for reactive systems Prof. A. J. R. G. Milner1995-10-01TR-521
Stephen O ChildsDisk quality of service in a general purpose operating system Prof. J. M. Bacon1997-10-01
Dickon ReedThe effects of code layout on performance Prof. I. M. Leslie1997-04-01
Ioannis PapaefstathiouIncreasing packet network bandwidth through low level compression Prof. I. M. Leslie1997-10-01
Sylvia F KnightNatural language processing for Aerospace documentation Dr S. G. Pulman1997-10-01
Jonathan D PfautzDepth perception in computer graphics Prof. P. Robinson1996-10-01TR-546
Paul D HankinA study of objects Dr A. D. Gordon1995-10-01
Francesco StajanoSecurity for ubiquitous computing Prof. R. J. Anderson1998-01-01
Rebecca IsaacsDynamic provisioning of resource-assured and programmable virtual private networks Prof. I. M. Leslie1997-01-01TR-516
Paul B MenageResource control of untrusted code in an open programmable network Dr S. Crosby1996-10-01TR-561
Reuben R ThomasMite: a basis for ubiquitous virtual machines Dr M. Richards1995-10-01
Tony PolichroniadisHigh level control of vitual actors Prof. N. A. Dodgson1997-10-01
Sheng F LiStateless client computing Prof. A. Hopper1996-10-01
Wojciech BasalajProximity visualisation of abstract data Dr J. K. M. Moody1997-10-01TR-509
Zhixue WuA New Approach To Implementing Atomic Data Types Dr J. K. M. Moody1989-04-10TR-338
Neil LawrenceVariational inference in probabilistic models Dr W. F. Clocksin1998-01-01
Andrew J PenroseExtending lossless image compression Prof. N. A. Dodgson1996-10-01TR-526
Radina StefanovaPower in radio networks Prof. A. Hopper1996-10-01
Christian UrbanClassical logic and computation Dr G. M. Bierman1996-10-01
David M LeaskLow power radio networking Prof. A. Hopper1996-01-01
James E GainEnhancing spatial deformation for virtual sculpting Prof. N. A. Dodgson1997-04-01TR-499
Breton M SaundersFast animation dynamics Prof. P. Robinson1995-10-01
Yolanta BeresnevichieneA role and context based security model Prof. R. M. Needham1994-10-01TR-558
Giampaola BellaThe inductive verification of cryptographic protocols Prof. L. C. Paulson1996-10-01TR-493
Kan ZhangOn Secure Information Flow in Computer Systems Prof. R. M. Needham1994-10-01
Pavel T WojciechowskiNomadic pict: language and infrastructure design for mobile computation Dr J. K. M. Moody1995-10-01TR-492
Mark D SpiteriAn architecture for the notification, storage and retrieval of events Prof. J. M. Bacon1995-10-01TR-494
Donald O OparahAdaptive resource management in a multimedia operating system Prof. I. M. Leslie1994-10-01
David M IngramIntegrated Quality of Service management Prof. J. M. Bacon1996-10-01TR-501
Mohammad KhorsheedAutomatic recognition of words in Arabic manuscripts Dr W. F. Clocksin1997-04-01TR-495
Oi Yee (Olivia) KwongWord sense selection in texts: an integrated model Prof. K. I. B. Spärck-Jones1996-10-01TR-504
Shaw ChuangSecurity management in ATM networks Prof. I. M. Leslie1993-04-01
Jong-Hyeon LeeDesigning a reliable publishing framework Prof. R. J. Anderson1996-10-01TR-489
Calum A M GrantSoftware visualization in Prolog Prof. P. Robinson1996-10-01TR-511
Oliver SeidelMetadata support for connecting application components asynchronously Dr J. K. M. Moody1995-10-01
Che-Hao (Albert) ChangReasoning about security protocols Prof. R. M. Needham1994-01-01
Hendrik J BosElastic network control Prof. I. M. Leslie1995-10-01TR-483
Geraint PriceThe interaction between fault tolerance and security Prof. R. M. Needham1994-10-01TR-479
Fabien A P PetitcolasInformation hiding and its application to copyright protection Prof. R. J. Anderson1996-10-01
Clemens M BallarinComputer algebra and theorem proving Prof. L. C. Paulson1996-01-01TR-473
Richard I TuckerAutomatic summarising and the CLASP system Prof. K. I. B. Spärck-Jones1993-10-01TR-484
James R ThomasStretching a point: aspect and temporal discourse Dr S. G. Pulman1994-10-01TR-486
Ben Y ReisSimulating music learning with autonomous listening agents: entropy, ambiguity and context Dr W. F. Clocksin1996-10-01TR-472
Bruno CrispoDelegation of responsibility Prof. R. M. Needham1996-10-01
Jacques D FleuriotA combination of geometry theorem proving and nonstandard analysis, with application to Newton's Principia Prof. L. C. Paulson1995-10-01TR-469
Mark StaplesA mechanised theory of refinement Prof. M. J. C. Gordon1994-10-01
Florian KammuellerModular reasoning in Isabelle Prof. L. C. Paulson1995-10-01TR-470
Duncan P GrisbyA distributed adaptive window system Prof. A. Hopper1995-10-01
Steven P WilcoxSynthesis of asynchronous circuits Prof. P. Robinson1995-10-01TR-468
Richard J BradburyArchitectures for the control of home area networks Dr D. J. Greaves1995-10-01
Steven M HandProviding quality of service in memory management Prof. I. M. Leslie1994-10-01
Jacobus E Van Der MerweOpen service support for ATM Prof. I. M. Leslie1994-10-01TR-450
Donald R SymeDeclarative theorem proving for operational semantics Prof. M. J. C. Gordon1994-10-01
Mohamed AfsharAn open parallel architecture for data-intensive applications Dr J. K. M. Moody1992-10-01TR-459
Ralph BecketEfficient knowledge and action planning in first order logic Prof. K. I. B. Spärck-Jones1993-10-01
Michael NorrishC formalised in HOL Prof. M. J. C. Gordon1994-10-01TR-453
Andrew M R WardSensor-driven computing Prof. A. Hopper1995-10-01
John B P NaylonA wireless ATM local area network Prof. A. Hopper1994-10-01
Panayis Fourniotis PavlatosCompiler optimisation of typeless languages Dr M. Richards1993-10-01
Malgorzata E StysA processing model of information structure in machine translation Prof. K. I. B. Spärck-Jones1992-10-01
Giles J NelsonContext-aware and location systems Prof. A. Hopper1993-10-01
John RooneyThe structure of open ATM control architectures Prof. I. M. Leslie1995-01-01TR-451
Peter J C BrownSelective mesh refinement for rendering Prof. P. Robinson1994-10-01TR-490
M Jennifer Li Kam WaA measurement-based approach to flow control in ATM networks Dr D. J. Greaves1993-10-01
Ian J LewisPrologPF: parallel logic and functions on the Delphi Machine Dr W. F. Clocksin1995-04-01
Ian PrattThe user-safe device I/O architecture Prof. D. R. McAuley1993-10-01
Hyun S ParkThe Korean Core Language Engine Dr S. G. Pulman1994-10-01
Stefan G HildManaging mobile connections Prof. P. Robinson1994-10-01
Christopher T FaigleDMS-Splines and radiosity Dr M. A. Sabin1994-04-01
Feng ShiAn architecture for scalable and deterministic video servers Prof. A. Hopper1993-10-01TR-438
Stanley J MroseMultiresolution curve and surface design: theory and application of spline wavelets Prof. J. G. Daugman1994-10-01
Daniel L GordonScheduling in optically based ATM switching fabrics Prof. I. M. Leslie1992-10-01
Xiaobao ChenAn end-to-end communication support architecture for multi-service applications Prof. I. M. Leslie1993-10-01
Timothy J MillsContent modelling in multimedia information retrieval systems: the Cobra retrieval system Dr J. K. M. Moody1994-10-01
Joshua X RossAn evaluation based approach to process calculi Prof. A. M. Pitts1992-10-01TR-456
Ian JacksonWho goes here? Confidentiality of location through anonymity Prof. R. M. Needham1993-10-01
David A HallsApplying mobile code to distributed systems Prof. J. M. Bacon1994-10-01TR-439
Michael RoeCryptography and evidence Prof. R. M. Needham1992-10-01TR-780
Eirik HektoenStatistical parse selection using semantic cooccurrences Prof. E. J. Briscoe1991-10-01
Karl MacDormanSymbol grounding: learning categorical and sensorimotor predictions for coordination in autonomous robots Dr W. F. Clocksin1991-10-01TR-423
Tanya BowdenNatural language techniques for error correction Dr S. G. Pulman1992-10-01
Victor CarrenoTransition assertions: a higher-order logic based method for the specification and verification of real-time systems Prof. M. J. C. Gordon1990-10-01
Gavin John StarkStream handling in multimedia communication systems Prof. A. Hopper1990-10-01
Steven L PopeApplication support for mobile computing Prof. J. M. Bacon1993-10-01TR-415
Kam Hong ShumAdaptive parallelism for computing on heterogeneous clusters Dr J. K. M. Moody1993-04-01TR-404
Mark HumphrysAction selection methods using reinforcement learn Prof. J. G. Daugman1992-10-01TR-426
George KirazComputational approach to non-linear morphology Dr S. G. Pulman1992-10-01
Paul BarhamDevices in a multi-service operating system Prof. D. R. McAuley1992-10-01TR-403
Chai-keong TohProtocol aspects of mobile radio networks Dr D. J. Greaves1993-10-01
John HarrisonTheorem proving with the real numbers Prof. M. J. C. Gordon1992-10-01TR-408
Monica Nesi TheryFormalising process calculi in higher order logic Prof. M. J. C. Gordon1990-10-01TR-411
Scarlet SchwiderskiMonitoring the behaviour of distributed systems Dr J. K. M. Moody1992-10-01TR-400
Richard JB HaytonAn open architecture for secure interworking services Dr J. K. M. Moody1992-10-01TR-399
Jonathan SewellManaging complex models for computer graphics Prof. P. Robinson1992-10-01TR-420
Quentin Stafford-FraserVideo-augmented environments Prof. P. Robinson1992-10-01TR-419
Michael HincheyStructural design and formal methods Prof. L. C. Paulson1992-10-01
William S HarbisonTrusting in computer systems Prof. R. M. Needham1989-10-01TR-437
Andrew J KennedyProgramming languages and dimensions Prof. A. Mycroft1992-01-01TR-391
Sanjay SaraswatPerformance analysis of Delphi machine Dr W. F. Clocksin1992-10-01TR-385
Noha AdlyManagement of replicated data in large scale systems Prof. J. M. Bacon1992-01-01TR-383
Uwe NimscheckRendering for free form deformations Dr M. A. Sabin1992-10-01TR-381
Simon Andr CrosbyPerformance management in ATM networks Prof. I. M. Leslie1990-10-01TR-393
Oliver Michael CastleSynthetic image generation for a multiple-view autostereo display Dr N. E. Wiseman1990-10-01TR-382
Arturo TrujilloLexicalist machine translation of spatial prepositions Prof. E. J. Briscoe1989-01-01
Timothy RoscoeThe structure of a multi-service operating system Prof. I. M. Leslie1991-10-01TR-376
Richard J BlackExplicit network scheduling Prof. D. R. McAuley1991-10-01TR-361
Ian D B StarkNames and higher-order functions Prof. A. M. Pitts1991-10-01TR-363
Ross J AndersonRobust computer security Prof. R. M. Needham1992-01-01
Simon W MooreMultithreaded processor design Prof. D. R. McAuley1991-10-01TR-358
Feng HuangRestructuring virtual memory to support distributed computing environments Prof. J. M. Bacon1990-10-01TR-375
Nicholas Benedict Van SomerenHigh Quality De-Interlacing Of Television Images Dr N. E. Wiseman1990-10-01
Subir Kumar BiswasHandling Realtime Traffic In Mobile Networks Prof. A. Hopper1990-10-01TR-351
Jane Louis HunterIntegrated sound synchronisation for computer animation Dr N. E. Wiseman1991-01-01TR-348
Michael John TurnerThe Contour Tree Image encoding technique and file format Dr N. E. Wiseman1990-10-01TR-344
Narm Hee LeeRouting in high speed integrated services networks Prof. R. M. Needham1991-01-01
Akira NakamuraAn investigation of real-time synchronisation Prof. R. M. Needham1991-04-01
Eoin Andrew HydenOperating System Support For Quality Of Service Prof. I. M. Leslie1990-10-01TR-340
John BatesPresentation support for distributed multimedia applications Prof. J. M. Bacon1990-10-01
Simon R KelleyCongestion control for unreserved traffic in ATM networks Prof. I. M. Leslie1990-01-01
Richard BoultonEfficiency In A Fully-Expansive Theorem Prover Prof. M. J. C. Gordon1990-10-01TR-337
Gavin M BiermanOn intuitionistic linear logic Prof. A. Mycroft1990-10-01TR-346
Sai Lai LoA modular and extensible network storage architecture Prof. J. M. Bacon1988-01-01TR-326
Pierre David WellnerInteracting with paper on the Digitaldesk Prof. P. Robinson1991-01-01TR-330
Mark David HayterA workstation architecture to support multimedia Prof. D. R. McAuley1990-10-01TR-319
Steven M G FreemanAn architecture for distributed user interfaces Prof. P. Robinson1989-10-01TR-342
Adrian M T WrigleyReal-time ray tracing on a novel HDTV framestore Dr N. E. Wiseman1989-01-01
David M EversDistributed Computing With Objects Prof. P. Robinson1989-10-01TR-332
James Doug GrundyA method of program refinement Prof. M. J. C. Gordon1990-10-01TR-318
Barney D PellStrategy generation and evaluation for meta-game playing Dr S. G. Pulman1989-10-01TR-315
Guanxing LiSupporting distributed realtime computing Prof. 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 Assistant Prof. M. J. C. Gordon1990-10-01TR-317
Michael R WarnerCharging and resource control for open dist systems Prof. D. J. Wheeler1990-04-01
Richard S CrouchThe Temporal Properties Of English Conditionals And Modals Dr S. G. Pulman1987-10-01TR-325
John CarrollPractical Unification-Based Parsing Of Natural Language Prof. E. J. Briscoe1992-02-01TR-314
J Matthew S DoarMulticast In The Asynchronous Transfer Mode Environment Prof. I. M. Leslie1989-10-01TR-298
Kish ShenStudies of and/or parallelism in Prolog Prof. A. Mycroft1987-01-01
P Nicholas BentonStrictness Analysis Of Lazy Functional Programs Prof. A. Mycroft1988-10-01TR-309
Cormac John SreenanSynchronisation services for digital continuous media Prof. R. M. Needham1988-01-01TR-292
Andrew D GordonFunctional programming and Input/Output Prof. L. C. Paulson1987-10-01TR-285
Eike RitterCategorical Abstract Machines For Higher-Order Typed Lambda Calculi Prof. A. M. Pitts1989-10-01TR-297
David ElworthyThe semantics of noun phrase anaphora Prof. E. J. Briscoe1989-10-01TR-289
Innes FergusonTouring machines: an architecture for dynamic, rational, mobile agents Dr W. F. Clocksin1988-10-01TR-273
Lee FedderGenerating natural language text from the output of an application program Dr S. G. Pulman1988-10-01
Kamiar SehatEvaluation of caches and cache coherency Prof. A. Hopper1986-10-01
Paul W JardetzkyNetwork file server design for continuous media Prof. R. M. Needham1988-10-01TR-268
John Michael LevineA flexible bidirectional dialogue system Dr S. G. Pulman1986-10-01
T Mark A LomasAspects of Computer Network Security Prof. R. M. Needham1986-10-01
Neil A DodgsonImage resampling Dr N. E. Wiseman1989-10-01TR-261
Ian BensonReasoning About Contingent Events In Distributed Systems Dr W. F. Clocksin1987-10-01
Martin D CoenInteractive program derivation Prof. L. C. Paulson1988-10-01TR-272
Xiao quian ChenCongestion control and routing in integrated broadband networks Prof. I. M. Leslie1988-10-01
Rajeev GoréCut-Free Sequent And Tableau Systems For Propositional Normal Modal Logics Dr W. F. Clocksin1988-10-01
Timothy D WilsonIncreasing the performance of storage services for local area networks Prof. J. M. Bacon1986-10-01
Chu Suan AngContinuous media in fast networks Prof. A. Hopper1987-10-01
Rachel Cardell-OliverThe formal verification of hard real-time systems Prof. M. J. C. Gordon1988-10-01TR-255
Xiaofeng JiangMultipoint digital video communications Prof. A. Hopper1988-10-01TR-251
Siu Chi HsuComputer support for large character set languages Dr N. E. Wiseman1988-10-01
Mads RosendahlAbstract interpretation and attribute grammars Prof. A. Mycroft1987-01-01
Chaoying MaDesigning a universal name service Prof. R. M. Needham1988-01-01TR-270
Thomas U VogelLearning In Large State Spaces With An Application To Biped Robot Walking Dr W. F. Clocksin1988-01-01TR-241
Wing Hung LauRealistic 3D image composition Dr N. E. Wiseman1988-10-01
Glenford E MappAn object-oriented approach to virtual memory management Prof. I. M. Leslie1988-01-01TR-242
Stephen M V HailesThe Design And Implementation Of Troy, A Distributed Object-Based Language Dr S. C. Crawley1987-10-01
Timothy F WiegandA parallel architecture for storage and retrieval of spatial data Dr N. E. Wiseman1988-01-01
A Daniel HallPipelined image processing for pattern recognition Dr N. E. Wiseman1988-10-01TR-892
Olivia R NagioffAlgorithms for Image Encoding Prof. A. Hopper1985-01-01
Peter W DickmanDistributed Object Management In A Non-Small Graph Of Autonomous Networks With Few Failures Prof. I. M. Leslie1987-10-01
Michael Joseph DixonSystem support for multi-service traffic Prof. J. M. Bacon1987-10-01TR-245
Jeremy BallSEMORICA: a system examining motion and object representation issues in computer animation Dr N. E. Wiseman1987-10-01
Roy CroleProgramming metalogics with a fixpoint type Prof. A. M. Pitts1987-10-01TR-247
Mark T MayburyPlanning multisentential English text using communicative acts Prof. K. I. B. Spärck-Jones1986-10-01TR-239
Heng WangModelling and image generation Dr N. E. Wiseman1987-01-01TR-235
Benjamin MaciasAn incremental parser for govenment-binding theory Dr S. G. Pulman1986-10-01
John BradshawUsing Knowledge Of Purpose And Knowledge Of Structure As A Basis For Evaluating The Behaviour Of Mechanical Systems Prof. S. J. Young1987-10-01TR-236
David R MilwardAxiomatic grammar, non-constituent coordination and incremental interpretation Dr S. G. Pulman1987-01-01
Derek G BridgeComputing presuppositions in an incremental natural language processing system Prof. K. I. B. Spärck-Jones1986-10-01TR-237
Phillip YellandModels of modularity: a study of object-oriented programming Prof. A. Mycroft1986-10-01
David J BrownAbstraction of image and pixel - The Thistle Display System Dr N. E. Wiseman1986-10-01TR-229
Juanito CamilleriPriority in process calculi Prof. G. Winskel1987-10-01TR-227
Cosmos NicolaouA Distributed Architecture for Multimedia Communication Systems Prof. I. M. Leslie1987-01-01TR-220
KwokYam LamA new approach for improving system availability Prof. D. J. Wheeler1987-10-01TR-226
Andrew W MooreEfficient memory-based learning for robot control Dr W. F. Clocksin1987-01-01TR-209
Mian WeiA distributed compilation system Prof. R. M. Needham1983-10-01
Bhaskar R HaritaDynamic bandwidth management Prof. I. M. Leslie1986-10-01TR-217
Susan E ThompsonA storage service for structured data Prof. J. M. Bacon1986-10-01
Raphael YahalomManaging the order of transactions in widely-distruted data systems Dr J. K. M. Moody1986-01-01TR-231
Kamal ChaudharyVLSI Routing Prof. P. Robinson1987-10-01
Karen L WrenchA distributed and-or parallel Prolog network Dr M. Richards1987-01-01
Donald A GaubatzLogic Programming Analysis Of Asynchronous Digital Circuits Prof. D. J. Wheeler1984-10-01
Michael Luke TunmerCombinator reduction on networks of small processors Dr A. C. Norman1986-10-01
Gianpaulo TommasiProcedural Methods In Computer Graphics Dr N. E. Wiseman1985-01-01
Richard C HutchingsThe computer comprehension of systematic metaphor Prof. K. I. B. Spärck-Jones1986-10-01
Li GongCryptographic protocols for distributed systems Prof. D. J. Wheeler1987-10-01
Jonathan BillingtonExtensions to coloured Petri Nets and their application to protocols Prof. G. Winskel1986-10-01TR-222
Paul CurzonA structured approach to the verification of low level microcode Dr M. Richards1986-10-01TR-215
David A WolframThe clausal theory of types Prof. L. C. Paulson1987-01-01
Andrew C HarterThree dimensional integrated circuit layout Prof. A. Hopper1983-10-01TR-202
Victor PoznanskiA Relevance-Based Utterance Processing System Prof. K. I. B. Spärck-Jones1985-10-01TR-246
Charles W RestivoDeductive synthesis and planning Dr W. F. Clocksin1987-10-01
Eng Lim GohImage synthesis using parallel architectures Dr N. E. Wiseman1987-10-01
Stuart Philip HawkinsVideo replay in computer animation Dr N. E. Wiseman1985-10-01TR-207
Jeffery J JoyceMulti-level verification of microproccesor- based Prof. M. J. C. Gordon1986-10-01TR-195
Timothy GleesonAspects of abstraction in computing Prof. R. M. Needham1986-10-01
Derek McAuleyConfiguration and binding in distributed systems Prof. I. M. Leslie1985-01-01TR-186
Thomas Frederick MelhamFormalising abstraction mechanisim for hardware ve Prof. M. J. C. Gordon1984-10-01TR-201
Francisco CorellaFoundations of automatic therem proving Prof. M. J. C. Gordon1986-10-01TR-232
Guo- Qiang ZhangThe logic of domains Prof. G. Winskel1985-01-01TR-185
Stephen James Roger HarrisonRaytracing image synthesis techniques Dr N. E. Wiseman1985-10-01
Roger Stuart CalnanThe integration of Voice within a digital network Prof. R. M. Needham1984-10-01
Peter NewmanDesign of a multicast fast packet switch Prof. R. M. Needham1985-01-01TR-165
Richard David WilliamsOrganisation and analysis of spatial data Dr N. E. Wiseman1985-01-01
David TennenhouseProf. R. M. Needham1985-01-01TR-184
Michael BurrowsCaching, migration and replication of files in a distributed file system Prof. D. J. Wheeler1984-10-01TR-153
Paul KargerImproving security and performance for capability Prof. A. Hopper1986-01-01TR-149
Piete T M BrooksDistribution of functions in computer networks Prof. R. M. Needham1980-10-01
Alberto CamilleriExecuting behavioural definitions in higher order Prof. M. J. C. Gordon1984-10-01TR-140
Thomas James W ClarkeSupport for heap-based programming Dr A. C. Norman1984-10-01
Miriam Ellen LeeserReasoning about the function & timing of integrate Dr W. F. Clocksin1984-10-01TR-132
Murray P ShanahanSet-based processing of horn clauses Dr W. F. Clocksin1984-10-01
Andrew Franklin SeaborneFiling in a heterogeneous network Prof. J. M. Bacon1984-10-01TR-169
Valentin DalibardOptimizing distributed computations using model based decisions Dr E. Yoneki2012-10-01local PDF
Mariano FeliceArtificial error generation for translation-based grammatical error correction Prof. E. J. Briscoe2013-01-04TR-895, local PDF
Jannis BulianParameterized complexity of distances to sparse graph classes Prof. A. Dawar2012-10-01local PDF
Carole S KleinExploiting Or-parallelism in Prolog using multiple Dr W. F. Clocksin1986-10-01TR-216
David J GreavesThe design of a metropolitan area backbone ring Prof. A. Hopper1985-10-01

See also