| No |
Title | Authors | Date | Notes | Download |
| 819 |
Guessing human-chosen secrets |
Joseph Bonneau |
2012-05 |
PhD
161 p
|
PDF (1.7 MB)
|
| 818 |
New approaches to operating system security extensibility |
Robert N. M. Watson |
2012-04 |
PhD
184 p
|
PDF (1.2 MB)
|
| 817 |
The quest to replace passwords: a framework for comparative evaluation of Web authentication schemes |
Joseph Bonneau, Cormac Herley, Paul C. van Oorschot, Frank Stajano |
2012-03 |
32 p
|
PDF (0.5 MB)
|
| 816 |
Verification of security protocols based on multicast communication |
Jean E. Martina |
2012-03 |
PhD
150 p
|
PDF (1.1 MB)
|
| 815 |
Colour videos with depth: acquisition, processing and evaluation |
Christian Richardt |
2012-03 |
PhD
132 p
colour
|
PDF (68.7 MB)
|
| 814 |
The free Internet: a distant mirage or near reality? |
Arjuna Sathiaseelan, Jon Crowcroft |
2012-02 |
10 p
|
PDF (0.1 MB)
|
| 813 |
Reconstructing compressed photo and video data |
Andrew B. Lewis |
2012-02 |
PhD
148 p
colour
|
PDF (3.5 MB)
|
| 812 |
Abstracting information on body area networks |
Pedro Brandão |
2012-01 |
PhD
144 p
|
PDF (4.8 MB)
|
| 811 |
Active electromagnetic attacks on secure hardware |
A. Theodore Markettos |
2011-12 |
PhD
217 p
colour
|
PDF (10.6 MB)
|
| 810 |
Proximity Coherence for chip-multiprocessors |
Nick Barrow-Williams |
2011-11 |
PhD
164 p
|
PDF (3.8 MB)
|
| 809 |
Distributed virtual environment scalability and security |
John L. Miller |
2011-10 |
PhD
98 p
|
PDF (1.9 MB)
|
| 808 |
Resource-sensitive synchronisation inference by abduction |
Matko Botinčan, Mike Dodds, Suresh Jagannathan |
2012-01 |
57 p
|
PDF (0.5 MB)
|
| 807 |
Second-order algebraic theories |
Ola Mahmoud |
2011-10 |
PhD
133 p
|
PDF (0.9 MB)
|
| 806 |
On joint diagonalisation for dynamic network analysis |
Damien Fay, Jérôme Kunegis, Eiko Yoneki |
2011-10 |
12 p
|
PDF (0.8 MB)
|
| 805 |
A model personal energy meter |
Simon Hay |
2011-09 |
PhD
207 p
|
PDF (24.6 MB)
|
| 804 |
The HasGP user manual |
Sean B. Holden |
2011-09 |
18 p
|
PDF (0.3 MB)
|
| 803 |
Computational approaches to figurative language |
Ekaterina V. Shutova |
2011-08 |
PhD
219 p
|
PDF (1.8 MB)
|
| 802 |
Latent semantic sentence clustering for multi-document summarization |
Johanna Geiß |
2011-07 |
PhD
156 p
|
PDF (1.0 MB)
|
| 801 |
Software lock elision for x86 machine code |
Amitabha Roy |
2011-07 |
PhD
154 p
|
PDF (1.4 MB)
|
| 800 |
Improving cache utilisation |
James R. Srinivasan |
2011-06 |
PhD
184 p
|
PDF (3.4 MB)
|
| 799 |
A separation logic framework for HOL |
Thomas Tuerk |
2011-06 |
PhD
271 p
|
PDF (2.4 MB)
|
| 798 |
Practical memory safety for C |
Periklis Akritidis |
2011-06 |
PhD
136 p
|
PDF (2.1 MB)
|
| 797 |
Interpretational overhead in system software |
Boris Feigin |
2011-04 |
PhD
116 p
|
PDF (1.2 MB)
|
| 796 |
Facilitating program parallelisation: a profiling-based approach |
Jonathan Mak |
2011-03 |
PhD
120 p
|
PDF (1.2 MB)
|
| 795 |
Underspecified quantification |
Aurelie Herbelot |
2011-02 |
PhD
163 p
|
PDF (1.1 MB)
|
| 794 |
Grammatical error prediction |
Øistein E. Andersen |
2011-01 |
PhD
163 p
|
PDF (1.6 MB)
|
| 793 |
Affect inference in learning environments: a functional view of facial affect analysis using naturalistic data |
Shazia Afzal |
2010-12 |
PhD
146 p
|
PDF (3.0 MB)
|
| 792 |
Machine learning and automated theorem proving |
James P. Bridge |
2010-11 |
PhD
180 p
|
PDF (3.5 MB)
|
| 791 |
Semi-supervised learning for biomedical information extraction |
Andreas Vlachos |
2010-11 |
PhD
113 p
|
PDF (1.0 MB)
|
| 790 |
Automated assessment of ESOL free text examinations |
Ted Briscoe, Ben Medlock, Øistein Andersen |
2010-11 |
31 p
|
PDF (0.5 MB)
|
| 789 |
Making prophecies with decision predicates |
Byron Cook, Eric Koskinen |
2010-11 |
20 p
|
to appear |
| 788 |
Branching-time reasoning for programs (extended version) |
Byron Cook, Eric Koskinen, Moshe Vardi |
2011-07 |
38 p
|
PDF (0.9 MB)
|
| 787 |
Emotion inference from human body motion |
Daniel Bernhardt |
2010-10 |
PhD
227 p
|
PDF (8.7 MB)
|
| 786 |
Communication flows in power-efficient Networks-on-Chips |
Arnab Banerjee |
2010-08 |
PhD
107 p
|
PDF (1.2 MB)
|
| 785 |
Anonymity, information, and machine-assisted proof |
Aaron R. Coble |
2010-07 |
PhD
171 p
|
PDF (1.1 MB)
|
| 784 |
Characterizing 10 Gbps network interface energy consumption |
Ripduman Sohan, Andrew Rice, Andrew W. Moore, Kieran Mansley |
2010-07 |
10 p
|
PDF (0.2 MB)
|
| 783 |
Distributed complex event detection for pervasive computing |
Dan O'Keeffe |
2010-07 |
PhD
170 p
|
PDF (1.3 MB)
|
| 782 |
Petri net semantics |
Jonathan M. Hayman |
2010-06 |
PhD
252 p
|
PDF (2.1 MB)
|
| 781 |
Stage scheduling for CPU-intensive servers |
Minor E. Gordon |
2010-06 |
PhD
119 p
|
PDF (0.9 MB)
|
| 780 |
Cryptography and evidence |
Michael Roe |
2010-05 |
PhD
75 p
|
PDF (0.5 MB)
|
| 778 |
Automatically proving linearizability |
Viktor Vafeiadis |
2010-04 |
22 p
|
to appear |
| 777 |
Concurrent Abstract Predicates |
Thomas Dinsdale-Young, Mike Dodds, Philippa Gardner, Matthew Parkinson, Viktor Vafeiadis |
2010-04 |
43 p
|
PDF (0.5 MB)
|
| 776 |
System tests from unit tests |
Kathryn E. Gray, Alan Mycroft |
2010-03 |
27 p
|
PDF (0.3 MB)
|
| 775 |
Creating high-performance, statically type-safe network applications |
Anil Madhavapeddy |
2010-03 |
PhD
169 p
|
PDF (2.0 MB)
|
| 774 |
Explicit stabilisation for modular rely-guarantee reasoning |
John Wickerson, Mike Dodds, Matthew Parkinson |
2010-03 |
29 p
|
PDF (0.9 MB)
|
| 773 |
NURBS-compatible subdivision surfaces |
Thomas J. Cashman |
2010-03 |
PhD
99 p
colour
|
PDF (6.1 MB)
|
| 772 |
An executable meta-language for inductive definitions with binders |
Matthew R. Lakin |
2010-03 |
PhD
171 p
|
PDF (1.1 MB)
|
| 771 |
Bodies-in-Space: investigating technology usage in co-present group interaction |
Cecily Morrison |
2010-03 |
PhD
147 p
|
PDF (4.6 MB)
|
| 770 |
Controlling the dissemination and disclosure of healthcare events |
Jatinder Singh |
2010-02 |
PhD
193 p
|
PDF (4.2 MB)
|
| 769 |
Kilim: A server framework with lightweight actors, isolation types and zero-copy messaging |
Sriram Srinivasan |
2010-02 |
PhD
127 p
|
PDF (1.4 MB)
|
| 768 |
Report on existing open-source electronic medical records |
Cecily Morrison, Adona Iosif, Miklos Danka |
2010-02 |
12 p
colour
|
PDF (1.1 MB)
|
| 767 |
Ising model of rumour spreading in interacting communities |
Massimo Ostilli, Eiko Yoneki, Ian X. Y. Leung, Jose F. F. Mendes, Pietro Lió, Jon Crowcroft |
2010-01 |
24 p
|
PDF (3.2 MB)
|
| 766 |
Towards robust inexact geometric computation |
Julian M. Smith |
2009-12 |
PhD
186 p
colour
|
PDF (1.9 MB)
|
| 765 |
Formal verification of machine-code programs |
Magnus O. Myreen |
2009-12 |
PhD
109 p
|
PDF (0.8 MB)
|
| 764 |
Statistical anaphora resolution in biomedical texts |
Caroline V. Gasperin |
2009-12 |
PhD
124 p
|
PDF (1.8 MB)
|
| 763 |
Security for volatile FPGAs |
Saar Drimer |
2009-11 |
PhD
169 p
|
PDF (3.2 MB)
|
| 762 |
Resource provisioning for virtualized server applications |
Evangelia Kalyvianaki |
2009-11 |
PhD
161 p
|
PDF (2.0 MB)
|
| 761 |
Programming networks of vehicles |
Jonathan J. Davies |
2009-11 |
PhD
292 p
|
PDF (4.7 MB)
|
| 760 |
Radical innovation: crossing knowledge boundaries with interdisciplinary teams |
Alan F. Blackwell, Lee Wilson, Alice Street, Charles Boulton, John Knell |
2009-11 |
124 p
|
PDF (0.7 MB)
|
| 759 |
Coarse-grained transactions (extended version) |
Eric Koskinen, Matthew Parkinson, Maurice Herlihy |
2011-08 |
34 p
|
PDF (0.6 MB)
|
| 758 |
Logics and analyses for concurrent heap-manipulating programs |
Alexey Gotsman |
2009-10 |
PhD
160 p
|
PDF (1.3 MB)
|
| 757 |
Improving cache performance by runtime data movement |
Mark Adcock |
2009-07 |
PhD
174 p
colour
|
PDF (1.3 MB)
|
| 756 |
Analysis of the Internet’s structural evolution |
Hamed Haddadi, Damien Fay, Steve Uhlig, Andrew W. Moore, Richard Mortier, Almerima Jamakovic |
2009-09 |
13 p
|
PDF (0.3 MB)
|
| 755 |
Skin-detached surface for interactive large mesh editing |
Yujian Gao, Aimin Hao, Qinping Zhao, Neil A. Dodgson |
2009-09 |
18 p
|
PDF (1.1 MB)
|
| 754 |
Understanding scam victims: seven principles for systems security |
Frank Stajano, Paul Wilson |
2009-08 |
22 p
|
PDF (0.3 MB)
|
| 753 |
Carbon: trusted auditing for P2P distributed virtual environments |
John L. Miller, Jon Crowcroft |
2009-08 |
20 p
|
PDF (0.8 MB)
|
| 752 |
Security of proximity identification systems |
Gerhard P. Hancke |
2009-07 |
PhD
161 p
|
PDF (5.8 MB)
|
| 751 |
Nominal domain theory for concurrency |
David C. Turner |
2009-07 |
PhD
185 p
|
PDF (1.3 MB)
|
| 750 |
AtoZ: an automatic traffic organizer using NetFPGA |
Marco Canini, Wei Li, Martin Zadnik, Andrew W. Moore |
2009-05 |
27 p
|
PDF (0.8 MB)
|
| 749 |
Identifying social communities in complex communications for network efficiency |
Pan Hui, Eiko Yoneki, Jon Crowcroft, Shu-Yan Chan |
2009-05 |
14 p
|
PDF (0.7 MB)
|
| 748 |
GTVS: boosting the collection of application traffic ground truth |
Marco Canini, Wei Li, Andrew W. Moore |
2009-04 |
20 p
|
PDF (0.3 MB)
|
| 747 |
An estimator of forward and backward delay for multipath transport |
Fei Song, Hongke Zhang, Sidong Zhang, Fernando Ramos, Jon Crowcroft |
2009-03 |
16 p
|
PDF (0.8 MB)
|
| 746 |
The snooping dragon: social-malware surveillance of the Tibetan movement |
Shishir Nagaraja, Ross Anderson |
2009-03 |
12 p
|
PDF (0.3 MB)
|
| 745 |
A better x86 memory model: x86-TSO (extended version) |
Scott Owens, Susmit Sarkar, Peter Sewell |
2009-03 |
52 p
|
PDF (0.6 MB)
|
| 744 |
Citation context analysis for information retrieval |
Anna Ritchie |
2009-03 |
PhD
119 p
|
PDF (0.8 MB)
|
| 743 |
Optimising the speed and accuracy of a Statistical GLR Parser |
Rebecca F. Watson |
2009-03 |
PhD
145 p
|
PDF (1.4 MB)
|
| 742 |
TCP, UDP, and Sockets: Volume 3: The Service-level Specification |
Thomas Ridge, Michael Norrish, Peter Sewell |
2009-02 |
305 p
|
PDF (2.6 MB)
|
| 741 |
Vehicular wireless communication |
David N. Cottingham |
2009-01 |
PhD
264 p
|
PDF (3.6 MB)
|
| 740 |
Analysis of affective expression in speech |
Tal Sobol-Shikler |
2009-01 |
PhD
163 p
|
PDF (2.7 MB)
|
| 739 |
State-based Publish/Subscribe for sensor systems |
Salman Taherian |
2009-01 |
PhD
240 p
|
PDF (4.1 MB)
|
| 738 |
High precision timing using self-timed circuits |
Scott Fairbanks |
2009-01 |
PhD
99 p
|
PDF (13.2 MB)
|
| 737 |
Static contract checking for Haskell |
Na Xu |
2008-12 |
PhD
175 p
|
PDF (1.0 MB)
|
| 736 |
Deny-guarantee reasoning |
Mike Dodds, Xinyu Feng, Matthew Parkinson, Viktor Vafeiadis |
2009-01 |
82 p
|
PDF (0.6 MB)
|
| 735 |
Learning compound noun semantics |
Diarmuid Ó Séaghdha |
2008-12 |
PhD
167 p
|
PDF (1.5 MB)
|
| 734 |
Tabletop interfaces for remote collaboration |
Philip Tuddenham |
2008-12 |
PhD
243 p
|
PDF (23.5 MB)
|
| 733 |
Tangible user interfaces for peripheral interaction |
Darren Edge |
2008-12 |
PhD
237 p
|
PDF (8.6 MB)
|
| 732 |
Computing surfaces – a platform for scalable interactive displays |
Alban Rrustemi |
2008-11 |
PhD
156 p
|
PDF (5.0 MB)
|
| 731 |
A new approach to Internet banking |
Matthew Johnson |
2008-09 |
PhD
113 p
|
PDF (1.3 MB)
|
| 730 |
Adaptive evaluation of non-strict programs |
Robert J. Ennals |
2008-08 |
PhD
243 p
|
PDF (2.7 MB)
|
| 729 |
Weighted spectral distribution |
Damien Fay, Hamed Haddadi, Steve Uhlig, Andrew W. Moore, Richard Mortier, Almerima Jamakovic |
2008-09 |
13 p
|
PDF (0.2 MB)
|
| 728 |
A robust efficient algorithm for point location in triangulations |
Peter J.C. Brown, Christopher T. Faigle |
1997-02 |
16 p
|
PDF (0.3 MB)
|
| 727 |
A novel auto-calibration system for wireless sensor motes |
Ruoshui Liu, Ian J. Wassell |
2008-09 |
65 p
|
PDF (5.5 MB)
|
| 726 |
Modular fine-grained concurrency verification |
Viktor Vafeiadis |
2008-07 |
PhD
148 p
|
PDF (1.2 MB)
|
| 725 |
Beyond node degree: evaluating AS topology models |
Hamed Haddadi, Damien Fay, Almerima Jamakovic, Olaf Maennel, Andrew W. Moore, Richard Mortier, Miguel Rio, Steve Uhlig |
2008-07 |
16 p
|
PDF (1.0 MB)
|
| 724 |
Bayesian inference for latent variable models |
Ulrich Paquet |
2008-07 |
PhD
137 p
|
PDF (2.0 MB)
|
| 723 |
Animation manifolds for representing topological alteration |
Richard Southern |
2008-07 |
PhD
131 p
|
PDF (6.7 MB)
|
| 722 |
Energy-efficient sentient computing |
Mbou Eyole-Monono |
2008-07 |
PhD
138 p
|
PDF (4.2 MB)
|
| 721 |
Investigating classification for natural language processing tasks |
Ben W. Medlock |
2008-06 |
PhD
138 p
|
PDF (1.4 MB)
|
| 720 |
A capability-based access control architecture for multi-domain publish/subscribe systems |
Lauri I.W. Pesonen |
2008-06 |
PhD
175 p
|
PDF (2.5 MB)
|
| 719 |
The Intelligent Book: technologies for intelligent and adaptive textbooks, focussing on Discrete Mathematics |
William H. Billingsley |
2008-06 |
PhD
156 p
|
PDF (3.2 MB)
|
| 718 |
Cooperative attack and defense in distributed networks |
Tyler Moore |
2008-06 |
PhD
172 p
|
PDF (1.7 MB)
|
| 717 |
Psychologically-based simulation of human behaviour |
Stephen Julian Rymill |
2008-06 |
PhD
250 p
|
PDF (25.5 MB)
|
| 716 |
UpgradeJ: Incremental typechecking for class upgrades |
Gavin M. Bierman, Matthew J. Parkinson, James Noble |
2008-04 |
35 p
|
PDF (0.5 MB)
|
| 715 |
On using fuzzy data in security mechanisms |
Feng Hao |
2008-04 |
PhD
69 p
|
PDF (1.6 MB)
|
| 714 |
A wide-area file system for migrating virtual machines |
Tim Moreton |
2008-03 |
PhD
163 p
|
PDF (1.7 MB)
|
| 713 |
People are the network: experimental design and evaluation of social-based forwarding algorithms |
Pan Hui |
2008-03 |
PhD
160 p
|
PDF (4.6 MB)
|
| 712 |
Flash-exposure high dynamic range imaging: virtual photography and depth-compensating flash |
Christian Richardt |
2008-03 |
9 p
|
PDF (2.6 MB)
|
| 711 |
Thinking inside the box: system-level failures of tamper proofing |
Saar Drimer, Steven J. Murdoch, Ross Anderson |
2008-02 |
37 p
|
PDF (5.4 MB)
|
| 710 |
Event structures with persistence |
Lucy G. Brace-Evans |
2008-02 |
PhD
113 p
|
PDF (0.9 MB)
|
| 709 |
Protocols and technologies for security in pervasive computing and communications |
Ford Long Wong |
2008-01 |
PhD
167 p
|
PDF (1.8 MB)
|
| 708 |
IDRM: Inter-Domain Routing Protocol for Mobile Ad Hoc Networks |
Chi-Kin Chau, Jon Crowcroft, Kang-Won Lee, Starsky H.Y. Wong |
2008-01 |
24 p
|
PDF (0.3 MB)
|
| 707 |
Complexity-effective superscalar embedded processors using instruction-level distributed processing |
Ian Caulfield |
2007-12 |
PhD
130 p
|
PDF (0.7 MB)
|
| 706 |
Covert channel vulnerabilities in anonymity systems |
Steven J. Murdoch |
2007-12 |
PhD
140 p
|
PDF (1.8 MB)
|
| 705 |
Optimizing compilation with the Value State Dependence Graph |
Alan C. Lawrence |
2007-12 |
PhD
183 p
colour
|
PDF (3.8 MB)
|
| 704 |
Complexity and infinite games on finite graphs |
Paul William Hunter |
2007-11 |
PhD
170 p
|
PDF (1.5 MB)
|
| 703 |
Lazy Susan: dumb waiting as proof of work |
Jon Crowcroft, Tim Deegan, Christian Kreibich, Richard Mortier, Nicholas Weaver |
2007-11 |
23 p
|
PDF (0.3 MB)
|
| 702 |
Relationships for object-oriented programming languages |
Alisdair Wren |
2007-11 |
PhD
153 p
|
PDF (1.2 MB)
|
| 701 |
Vector microprocessors for cryptography |
Jacques Jean-Alain Fournier |
2007-10 |
PhD
174 p
|
PDF (1.7 MB)
|
| 700 |
Context aware service composition |
Maja Vuković |
2007-10 |
PhD
225 p
|
PDF (1.7 MB)
|
| 699 |
A smooth manifold based construction of approximating lofted surfaces |
Richard Southern, Neil A. Dodgson |
2007-10 |
17 p
|
PDF (1.8 MB)
|
| 698 |
Pulse-based, on-chip interconnect |
Simon J. Hollis |
2007-09 |
PhD
186 p
|
PDF (3.9 MB)
|
| 697 |
Scaling Mount Concurrency: scalability and progress in concurrent algorithms |
Chris J. Purcell |
2007-08 |
PhD
155 p
|
PDF (1.0 MB)
|
| 696 |
An introduction to inertial navigation |
Oliver J. Woodman |
2007-08 |
37 p
|
PDF (0.9 MB)
|
| 695 |
Efficient maximum-likelihood decoding of spherical lattice codes |
Karen Su, Inaki Berenguer, Ian J. Wassell, Xiaodong Wang |
2007-07 |
29 p
|
PDF (0.4 MB)
|
| 694 |
Anti-Ω: the weakest failure detector for set agreement |
Piotr Zieliński |
2007-07 |
24 p
|
PDF (0.3 MB)
|
| 693 |
Automatic classification of eventual failure detectors |
Piotr Zieliński |
2007-07 |
21 p
|
PDF (0.3 MB)
|
| 692 |
Toward an undergraduate programme in Interdisciplinary Design |
Alan F. Blackwell |
2007-07 |
13 p
|
PDF (0.2 MB)
|
| 691 |
Preconditions on geometrically sensitive subdivision schemes |
Neil A. Dodgson, Malcolm A. Sabin, Richard Southern |
2007-08 |
13 p
|
PDF (0.5 MB)
|
| 690 |
Cluster storage for commodity computation |
Russell Glen Ross |
2007-06 |
PhD
178 p
|
PDF (1.3 MB)
|
| 689 |
Removing polar rendering artifacts in subdivision surfaces |
Ursula H. Augsdörfer, Neil A. Dodgson, Malcolm A. Sabin |
2007-06 |
7 p
|
PDF (0.5 MB)
|
| 688 |
Name-passing process calculi: operational models and structural operational semantics |
Sam Staton |
2007-06 |
PhD
245 p
|
PDF (2.1 MB)
|
| 687 |
A marriage of rely/guarantee and separation logic |
Viktor Vafeiadis, Matthew Parkinson |
2007-06 |
31 p
|
PDF (0.4 MB)
|
| 686 |
Dependable systems for Sentient Computing |
Andrew C. Rice |
2007-05 |
150 p
|
PDF (1.9 MB)
|
| 685 |
Effect of severe image compression on iris recognition performance |
John Daugman, Cathryn Downing |
2007-05 |
20 p
|
PDF (0.4 MB)
|
| 684 |
Bubble Rap: Forwarding in small world DTNs in ever decreasing circles |
Pan Hui, Jon Crowcroft |
2007-05 |
44 p
|
PDF (1.0 MB)
|
| 683 |
Simulation of colliding constrained rigid bodies |
Martin Kleppmann |
2007-04 |
65 p
|
PDF (6.9 MB)
|
| 682 |
Translating HOL functions to hardware |
Juliano Iyoda |
2007-04 |
PhD
89 p
|
PDF (0.7 MB)
|
| 681 |
Indirect channels: a bandwidth-saving technique for fault-tolerant protocols |
Piotr Zieliński |
2007-04 |
24 p
|
PDF (0.3 MB)
|
| 680 |
Haggle: Clean-slate networking for mobile devices |
Jing Su, James Scott, Pan Hui, Eben Upton, Meng How Lim, Christophe Diot, Jon Crowcroft, Ashvin Goel, Eyal de Lara |
2007-01 |
30 p
|
PDF (0.5 MB)
|
| 679 |
Automatic summarising: a review and discussion of the state of the art |
Karen Spärck Jones |
2007-01 |
67 p
|
PDF (0.6 MB)
|
| 678 |
Compact forbidden-set routing |
Andrew D. Twigg |
2006-12 |
PhD
115 p
|
PDF (1.1 MB)
|
| 677 |
ECCO: Data centric asynchronous communication |
Eiko Yoneki |
2006-12 |
PhD
210 p
|
PDF (6.6 MB)
|
| 676 |
Road traffic analysis using MIDAS data: journey time prediction |
R.J. Gibbens, Y. Saacti |
2006-12 |
35 p
|
PDF (4.6 MB)
|
| 675 |
Computational models for first language acquisition |
Paula J. Buttery |
2006-11 |
PhD
176 p
|
PDF (1.3 MB)
|
| 674 |
Landmark Guided Forwarding |
Meng How Lim |
2006-10 |
PhD
109 p
|
PDF (0.9 MB)
|
| 673 |
Probabilistic word sense disambiguation : Analysis and techniques for combining knowledge sources |
Judita Preiss |
2006-08 |
PhD
108 p
|
PDF (0.8 MB)
|
| 672 |
Decomposing file data into discernible items |
Calicrates Policroniades-Borraz |
2006-08 |
PhD
230 p
|
PDF (1.6 MB)
|
| 671 |
Low-latency Atomic Broadcast in the presence of contention |
Piotr Zieliński |
2006-07 |
23 p
|
PDF (0.3 MB)
|
| 670 |
On the application of program analysis and transformation to high reliability hardware |
Sarah Thompson |
2006-07 |
PhD
215 p
|
PDF (5.8 MB)
|
| 669 |
Active privilege management for distributed access control systems |
David M. Eyers |
2006-06 |
PhD
222 p
|
PDF (1.9 MB)
|
| 668 |
Optimistically Terminating Consensus |
Piotr Zieliński |
2006-06 |
35 p
|
PDF (0.4 MB)
|
| 667 |
Minimizing latency of agreement protocols |
Piotr Zieliński |
2006-06 |
PhD
239 p
|
PDF (2.0 MB)
|
| 666 |
A pact with the Devil |
Mike Bond, George Danezis |
2006-06 |
14 p
|
PDF (0.2 MB)
|
| 665 |
Security evaluation at design time for cryptographic hardware |
Huiyun Li |
2006-04 |
PhD
81 p
|
PDF (1.9 MB)
|
| 664 |
Designing knowledge: An interdisciplinary experiment in research infrastructure for shared description |
Alan F. Blackwell |
2006-04 |
18 p
|
PDF (0.7 MB)
|
| 663 |
Syntax-driven analysis of context-free languages with respect to fuzzy relational semantics |
Richard Bergmair |
2006-03 |
49 p
|
PDF (0.4 MB)
|
| 662 |
An introduction to tag sequence grammars and the RASP system parser |
Ted Briscoe |
2006-03 |
30 p
|
PDF (0.3 MB)
|
| 661 |
Compatible RMRS representations from RASP and the ERG |
Anna Ritchie |
2006-03 |
41 p
|
PDF (1.1 MB)
|
| 660 |
Static program analysis based on virtual register renaming |
Jeremy Singer |
2006-02 |
PhD
183 p
|
PDF (1.6 MB)
|
| 659 |
A safety proof of a lazy concurrent list-based set implementation |
Viktor Vafeiadis, Maurice Herlihy, Tony Hoare, Marc Shapiro |
2006-01 |
19 p
|
PDF (0.2 MB)
|
| 658 |
Intrinsic point-based surface processing |
Carsten Moenning |
2006-01 |
PhD
166 p
|
PDF (8.1 MB)
|
| 657 |
Security protocol design by composition |
Hyun-Jin Choi |
2006-01 |
PhD
155 p
|
PDF (0.9 MB)
|
| 656 |
Seamless mobility in 4G systems |
Pablo Vidales |
2005-11 |
PhD
141 p
|
PDF (1.8 MB)
|
| 655 |
Wearing proper combinations |
Karen Spärck Jones |
2005-11 |
27 p
|
PDF (0.3 MB)
|
| 654 |
Local reasoning for Java |
Matthew J. Parkinson |
2005-11 |
PhD
120 p
|
PDF (1.1 MB)
|
| 653 |
Anonymity and traceability in cyberspace |
Richard Clayton |
2005-11 |
PhD
189 p
|
PDF (1.7 MB)
|
| 652 |
Discriminative training methods and their applications to handwriting recognition |
Roongroj Nopsuwanchai |
2005-11 |
PhD
186 p
|
PDF (2.1 MB)
|
| 651 |
End-user programming in multiple languages |
Rob Hague |
2005-10 |
PhD
122 p
|
PDF (3.1 MB)
|
| 650 |
Parallel iterative solution method for large sparse linear equation systems |
Rashid Mehmood, Jon Crowcroft |
2005-10 |
22 p
|
PDF (1.9 MB)
|
| 649 |
The decolorize algorithm for contrast enhancing, color to grayscale conversion |
Mark Grundland, Neil A. Dodgson |
2005-10 |
15 p
colour
|
PDF (12.2 MB)
|
| 648 |
Cassandra: flexible trust management and its application to electronic health records |
Moritz Y. Becker |
2005-10 |
PhD
214 p
|
PDF (1.4 MB)
|
| 647 |
An agent architecture for simulation of end-users in programming-like tasks |
Sam Staton |
2005-10 |
12 p
|
PDF (0.2 MB)
|
| 646 |
A survey of Wireless Sensor Network technologies: research trends and middleware’s role |
Eiko Yoneki, Jean Bacon |
2005-09 |
46 p
|
to appear |
| 645 |
RFID is X-ray vision |
Frank Stajano |
2005-08 |
10 p
|
PDF (0.1 MB)
|
| 644 |
Robbing the bank with a theorem prover |
Paul Youn, Ben Adida, Mike Bond, Jolyon Clulow, Jonathan Herzog, Amerson Lin, Ronald L. Rivest, Ross Anderson |
2005-08 |
26 p
|
PDF (0.2 MB)
|
| 643 |
Using trust and risk for access control in Global Computing |
Nathan E. Dimmock |
2005-08 |
PhD
145 p
|
PDF (1.8 MB)
|
| 642 |
First-class relationships in an object-oriented language |
Gavin Bierman, Alisdair Wren |
2005-08 |
53 p
|
PDF (0.5 MB)
|
| 641 |
Cryptographic processors – a survey |
Ross Anderson, Mike Bond, Jolyon Clulow, Sergei Skorobogatov |
2005-08 |
19 p
|
PDF (0.6 MB)
|
| 640 |
Combining cryptography with biometrics effectively |
Feng Hao, Ross Anderson, John Daugman |
2005-07 |
17 p
|
PDF (0.2 MB)
|
| 639 |
Non-blocking hashtables with open addressing |
Chris Purcell, Tim Harris |
2005-09 |
23 p
|
PDF (0.3 MB)
|
| 638 |
Optimistic Generic Broadcast |
Piotr Zieliński |
2005-07 |
22 p
|
PDF (0.3 MB)
|
| 637 |
The topology of covert conflict |
Shishir Nagaraja, Ross Anderson |
2005-07 |
15 p
|
PDF (0.2 MB)
|
| 636 |
Mind-reading machines: automated inference of complex mental states |
Rana Ayman el Kaliouby |
2005-07 |
PhD
185 p
|
PDF (24.3 MB)
|
| 635 |
Results from 200 billion iris cross-comparisons |
John Daugman |
2005-06 |
8 p
|
PDF (0.2 MB)
|
| 634 |
Visualisation, interpretation and use of location-aware interfaces |
Kasim Rehman |
2005-05 |
PhD
159 p
|
PDF (2.8 MB)
|
| 633 |
On deadlock, livelock, and forward progress |
Alex Ho, Steven Smith, Steven Hand |
2005-05 |
8 p
|
PDF (0.2 MB)
|
| 632 |
Between shallow and deep: an experiment in automatic summarising |
R.I. Tucker and K. Spärck Jones |
2005-04 |
34 p
|
PDF (0.3 MB)
|
| 631 |
MIRRORS: An integrated framework for capturing real world behaviour for models of ad hoc networks |
Wenjun Hu, Jon Crowcroft |
2005-04 |
16 p
|
PDF (0.5 MB)
|
| 630 |
Semi-invasive attacks – A new approach to hardware security analysis |
Sergei P. Skorobogatov |
2005-04 |
PhD
144 p
|
PDF (11.8 MB)
|
| 629 |
Hybrid routing: A pragmatic approach to mitigating position uncertainty in geo-routing |
Meng How Lim, Adam Greenhalgh, Julian Chesterfield, Jon Crowcroft |
2005-04 |
26 p
|
PDF (0.4 MB)
|
| 628 |
A formal security policy for an NHS electronic health record service |
Moritz Y. Becker |
2005-03 |
81 p
|
PDF (0.6 MB)
|
| 627 |
Efficient computer interfaces using continuous gestures, language models, and speech |
Keith Vertanen |
2005-03 |
MPhil
46 p
|
PDF (0.6 MB)
|
| 626 |
Landmark Guided Forwarding: A hybrid approach for Ad Hoc routing |
Meng How Lim, Adam Greenhalgh, Julian Chesterfield, Jon Crowcroft |
2005-03 |
28 p
|
PDF (0.4 MB)
|
| 625 |
TCP, UDP, and Sockets: rigorous and experimentally-validated behavioural specification : Volume 2: The Specification |
Steve Bishop, Matthew Fairbairn, Michael Norrish, Peter Sewell, Michael Smith, Keith Wansbrough |
2005-03 |
386 p
|
PDF (2.5 MB)
|
| 624 |
TCP, UDP, and Sockets: rigorous and experimentally-validated behavioural specification : Volume 1: Overview |
Steve Bishop, Matthew Fairbairn, Michael Norrish, Peter Sewell, Michael Smith, Keith Wansbrough |
2005-03 |
88 p
|
PDF (1.3 MB)
|
| 623 |
Simple polymorphic usage analysis |
Keith Wansbrough |
2005-03 |
PhD
364 p
|
PDF (3.1 MB)
|
| 622 |
Cooperation and deviation in market-based resource allocation |
Jörg H. Lepler |
2005-03 |
PhD
173 p
|
PDF (2.3 MB)
|
| 621 |
Fresh Objective Caml user manual |
Mark R. Shinwell, Andrew M. Pitts |
2005-02 |
21 p
|
PDF (0.2 MB)
|
| 620 |
Middleware support for context-awareness in distributed sensor-driven systems |
Eleftheria Katsiri |
2005-02 |
PhD
176 p
|
PDF (1.9 MB)
|
| 619 |
Operating system support for simultaneous multithreaded processors |
James R. Bulpin |
2005-02 |
PhD
130 p
|
PDF (1.3 MB)
|
| 618 |
The Fresh Approach: functional programming with names and binders |
Mark R. Shinwell |
2005-02 |
PhD
111 p
|
PDF (0.9 MB)
|
| 617 |
Pocket Switched Networks: Real-world mobility and its consequences for opportunistic forwarding |
Augustin Chaintreau, Pan Hui, Jon Crowcroft, Christophe Diot, Richard Gass, James Scott |
2005-02 |
26 p
|
PDF (0.8 MB)
|
| 616 |
Dictionary characteristics in cross-language information retrieval |
Donnla Nic Gearailt |
2005-02 |
PhD
158 p
|
PDF (1.2 MB)
|
| 615 |
Global public computing |
Evangelos Kotsovinos |
2005-01 |
PhD
229 p
|
PDF (1.8 MB)
|
| 614 |
Pure bigraphs |
Robin Milner |
2005-01 |
66 p
|
PDF (0.6 MB)
|
| 613 |
Abstracting application-level security policy for ubiquitous computing |
David J. Scott |
2005-01 |
PhD
186 p
|
PDF (2.2 MB)
|
| 612 |
Location privacy in ubiquitous computing |
Alastair R. Beresford |
2005-01 |
PhD
139 p
|
PDF (1.9 MB)
|
| 611 |
An heuristic analysis of the classification of bivariate subdivision schemes |
Neil A. Dodgson |
2004-12 |
18 p
|
PDF (0.3 MB)
|
| 610 |
Influence of syntax on prosodic boundary prediction |
Tommy Ingulfsen |
2004-12 |
MPhil
49 p
|
PDF (0.4 MB)
|
| 609 |
Using camera-phones to interact with context-aware mobile services |
Eleanor Toye, Anil Madhavapeddy, Richard Sharp, David Scott, Alan Blackwell, Eben Upton |
2004-12 |
23 p
|
PDF (0.4 MB)
|
| 608 |
Trust management for widely distributed systems |
Walt Yao |
2004-11 |
PhD
191 p
|
PDF (1.5 MB)
|
| 607 |
Code size optimization for embedded processors |
Neil E. Johnson |
2004-11 |
PhD
159 p
|
PDF (1.0 MB)
|
| 606 |
Dynamic binary analysis and instrumentation |
Nicholas Nethercote |
2004-11 |
PhD
177 p
|
PDF (1.1 MB)
|
| 605 |
Acute: High-level programming language design for distributed computation : Design rationale and language definition |
Peter Sewell, James J. Leifer, Keith Wansbrough, Mair Allen-Williams, Francesco Zappa Nardelli, Pierre Habouzit, Viktor Vafeiadis |
2004-10 |
193 p
|
PDF (1.2 MB)
|
| 604 |
On the anonymity of anonymity systems |
Andrei Serjantov |
2004-10 |
PhD
162 p
|
PDF (0.9 MB)
|
| 603 |
Bigraphs whose names have multiple locality |
Robin Milner |
2004-09 |
15 p
|
PDF (0.2 MB)
|
| 602 |
Model checking the AMBA protocol in HOL |
Hasan Amjad |
2004-09 |
27 p
|
PDF (0.3 MB)
|
| 601 |
Combining model checking and theorem proving |
Hasan Amjad |
2004-09 |
PhD
131 p
|
PDF (0.9 MB)
|
| 600 |
Trust for resource control: Self-enforcing automatic rational contracts between computers |
Brian Ninham Shand |
2004-08 |
PhD
154 p
|
PDF (1.1 MB)
|
| 599 |
Further analysis of ternary and 3-point univariate subdivision schemes |
Mohamed F. Hassan |
2004-08 |
9 p
|
PDF (0.3 MB)
|
| 598 |
Transition systems, link graphs and Petri nets |
James J. Leifer, Robin Milner |
2004-08 |
64 p
|
PDF (0.6 MB)
|
| 597 |
Syntactic simplification and text cohesion |
Advaith Siddharthan |
2004-08 |
PhD
195 p
|
PDF (1.3 MB)
|
| 596 |
Reconstructing I/O |
Keir Fraser, Steven Hand, Rolf Neugebauer, Ian Pratt, Andrew Warfield, Mark Williamson |
2004-08 |
16 p
|
PDF (0.3 MB)
|
| 595 |
Representations of quantum operations, with applications to quantum cryptography |
Pablo J. Arrighi |
2004-07 |
PhD
157 p
|
PDF (1.0 MB)
|
| 594 |
Designing and attacking anonymous communication systems |
George Danezis |
2004-07 |
PhD
150 p
|
PDF (1.5 MB)
|
| 593 |
Paxos at war |
Piotr Zieliński |
2004-06 |
30 p
|
PDF (0.3 MB)
|
| 592 |
Unwrapping the Chrysalis |
Mike Bond, Daniel Cvrček, Steven J. Murdoch |
2004-06 |
15 p
|
PDF (0.4 MB)
|
| 591 |
Conversion of notations |
Silas S. Brown |
2004-06 |
PhD
159 p
|
PDF (2.4 MB)
|
| 590 |
Hermes: A scalable event-based middleware |
Peter R. Pietzuch |
2004-06 |
PhD
180 p
|
PDF (1.6 MB)
|
| 589 |
new-HOPLA — a higher-order process language with name generation |
Glynn Winskel, Francesco Zappa Nardelli |
2004-05 |
16 p
|
PDF (0.3 MB)
|
| 588 |
MulTEP: A MultiThreaded Embedded Processor |
Panit Watcharawitch |
2004-05 |
PhD
190 p
|
PDF (3.6 MB)
|
| 587 |
Verification of asynchronous circuits |
Paul Alexander Cunningham |
2004-04 |
PhD
174 p
|
PDF (1.5 MB)
|
| 586 |
Role-based access control policy administration |
András Belokosztolszki |
2004-03 |
PhD
170 p
|
PDF (2.6 MB)
|
| 585 |
Personal projected displays |
Mark S. D. Ashdown |
2004-03 |
PhD
150 p
|
PDF (3.4 MB)
|
| 584 |
Concise texture editing |
Stephen Brooks |
2004-03 |
PhD
164 p
|
PDF (20.0 MB)
|
| 583 |
Subdivision as a sequence of sampled Cp surfaces and conditions for tuning schemes |
Cédric Gérot, Loïc Barthe, Neil A. Dodgson, Malcolm A. Sabin |
2004-03 |
68 p
|
PDF (0.5 MB)
|
| 582 |
Latency-optimal Uniform Atomic Broadcast algorithm |
Piotr Zieliński |
2004-02 |
28 p
|
PDF (0.3 MB)
|
| 581 |
Axioms for bigraphical structure |
Robin Milner |
2004-02 |
26 p
|
PDF (0.3 MB)
|
| 580 |
Bigraphs and mobile processes (revised) |
Ole Høgh Jensen, Robin Milner |
2004-02 |
131 p
|
PDF (1.0 MB)
|
| 579 |
Practical lock-freedom |
Keir Fraser |
2004-02 |
PhD
116 p
|
PDF (0.7 MB)
|
| 578 |
Linear types for packet processing (extended version) |
Robert Ennals, Richard Sharp, Alan Mycroft |
2004-01 |
31 p
|
PDF (0.3 MB)
|
| 577 |
Compromising emanations: eavesdropping risks of computer displays |
Markus G. Kuhn |
2003-12 |
PhD
167 p
|
PDF (8.4 MB)
|
| 576 |
An implementation of a coordinate based location system |
David R. Spence |
2003-11 |
12 p
|
PDF (0.9 MB)
|
| 575 |
Reconfigurable wavelength-switched optical networks for the Internet core |
Tim Granger |
2003-11 |
PhD
184 p
colour
|
PDF (2.5 MB)
|
| 574 |
Sketchpad: A man-machine graphical communication system |
Ivan Edward Sutherland |
2003-09 |
PhD
149 p
|
PDF (4.1 MB)
|
| 573 |
Mechanizing compositional reasoning for concurrent systems: some lessons |
Lawrence C. Paulson |
2003-08 |
20 p
|
PDF (0.3 MB)
|
| 572 |
Design choices for language-based transactions |
Tim Harris |
2003-08 |
7 p
|
PDF (0.2 MB)
|
| 571 |
Multi-layer network monitoring and analysis |
James Hall |
2003-07 |
PhD
230 p
colour
|
PDF (2.8 MB)
|
| 570 |
Bigraphs and mobile processes |
Ole Høgh Jensen, Robin Milner |
2003-07 |
121 p
|
PDF (0.9 MB)
|
| 569 |
Global abstraction-safe marshalling with hash types |
James J. Leifer, Gilles Peskine, Peter Sewell, Keith Wansbrough |
2003-06 |
86 p
|
PDF (0.8 MB)
|
| 568 |
Dynamic rebinding for marshalling and update, with destruct-time λ |
Gavin Bierman, Michael Hicks, Peter Sewell, Gareth Stoyle, Keith Wansbrough |
2004-02 |
85 p
|
PDF (0.7 MB)
|
| 567 |
Using inequalities as term ordering constraints |
Joe Hurd |
2003-06 |
17 p
|
PDF (0.3 MB)
|
| 566 |
Formal verification of probabilistic algorithms |
Joe Hurd |
2003-05 |
PhD
154 p
|
PDF (0.9 MB)
|
| 565 |
Fast Marching farthest point sampling for point clouds and implicit surfaces |
Carsten Moenning, Neil A. Dodgson |
2003-05 |
15 p
|
PDF (0.5 MB)
|
| 564 |
Access policies for middleware |
Ulrich Lang |
2003-05 |
PhD
138 p
|
PDF (0.8 MB)
|
| 563 |
MJ: An imperative core calculus for Java and Java with effects |
G.M. Bierman, M.J. Parkinson, A.M. Pitts |
2003-04 |
53 p
|
PDF (0.5 MB)
|
| 562 |
Fast Marching farthest point sampling |
Carsten Moenning, Neil A. Dodgson |
2003-04 |
16 p
|
PDF (0.5 MB)
|
| 561 |
Resource control of untrusted code in an open network environment |
Paul B. Menage |
2003-03 |
PhD
185 p
colour
|
PDF (1.1 MB)
|
| 560 |
Decimalisation table attacks for PIN cracking |
Mike Bond, Piotr Zieliński |
2003-02 |
14 p
|
PDF (0.2 MB)
|
| 559 |
Pronto: MobileGateway with publish-subscribe paradigm over wireless network |
Eiko Yoneki, Jean Bacon |
2003-02 |
22 p
|
PDF (0.5 MB)
|
| 558 |
A role and context based security model |
Yolanta Beresnevichiene |
2003-01 |
PhD
89 p
|
PDF (0.5 MB)
|
| 557 |
Iota: A concurrent XML scripting language with applications to Home Area Networking |
G.M. Bierman, P. Sewell |
2003-01 |
32 p
|
PDF (0.3 MB)
|
| 556 |
Turing Switches – Turing machines for all-optical Internet routing |
Jon Crowcroft |
2003-01 |
7 p
|
PDF (0.2 MB)
|
| 555 |
BOURSE – Broadband Organisation of Unregulated Radio Systems through Economics |
Jon Crowcroft, Richard Gibbens, Stephen Hailes |
2003-01 |
10 p
|
PDF (0.2 MB)
|
| 554 |
Towards a field theory for networks |
Jon Crowcroft |
2003-01 |
9 p
|
PDF (0.4 MB)
|
| 553 |
Xen 2002 |
Paul R. Barham, Boris Dragovic, Keir A. Fraser, Steven M. Hand, Timothy L. Harris, Alex C. Ho, Evangelos Kotsovinos, Anil V.S. Madhavapeddy, Rolf Neugebauer, Ian A. Pratt, Andrew K. Warfield |
2003-01 |
15 p
|
PDF (0.2 MB)
|
| 552 |
The Xenoserver computing infrastructure |
Keir A. Fraser, Steven M. Hand, Timothy L. Harris, Ian M. Leslie, Ian A. Pratt |
2003-01 |
11 p
|
PDF (0.2 MB)
|
| 551 |
The relative consistency of the axiom of choice — mechanized using Isabelle/ZF |
Lawrence C. Paulson |
2002-12 |
63 p
|
PDF (0.4 MB)
|
| 550 |
Computer security – a layperson’s guide, from the bottom up |
Karen Spärck Jones |
2002-06 |
23 p
|
PDF (0.2 MB)
|
| 549 |
Two remarks on public key cryptology |
Ross Anderson |
2002-12 |
7 p
|
PDF (0.2 MB)
|
| 548 |
Formal verification of the ARM6 micro-architecture |
Anthony Fox |
2002-11 |
59 p
|
PDF (0.5 MB)
|
| 547 |
Semantic optimization of OQL queries |
Agathoniki Trigoni |
2002-10 |
PhD
171 p
|
PDF (1.2 MB)
|
| 546 |
Depth perception in computer graphics |
Jonathan David Pfautz |
2002-09 |
PhD
182 p
|
PDF (2.0 MB)
|
| 545 |
A HOL specification of the ARM instruction set architecture |
Anthony C.J. Fox |
2001-06 |
45 p
|
PDF (0.4 MB)
|
| 544 |
On the support of recursive subdivision |
I.P. Ivrissimtzis, M.A. Sabin, N.A. Dodgson |
2002-09 |
20 p
|
PDF (4.0 MB)
|
| 543 |
Evaluating similarity-based visualisations as interfaces for image browsing |
Kerry Rodden |
2002-09 |
PhD
248 p
colour
|
PDF (8.3 MB)
|
| 542 |
A generative classification of mesh refinement rules with lattice transformations |
I.P. Ivrissimtzis, N.A. Dodgson, M.A. Sabin |
2002-09 |
13 p
|
PDF (0.2 MB)
|
| 541 |
Different applications of two-dimensional potential fields for volume modeling |
L. Barthe, N.A. Dodgson, M.A. Sabin, B. Wyvill, V. Gaildrat |
2002-08 |
26 p
|
PDF (1.9 MB)
|
| 540 |
The use of computer graphics rendering software in the analysis of a novel autostereoscopic display design |
N.A. Dodgson, J.R. Moore |
2002-08 |
6 p
|
PDF (0.2 MB)
|
| 539 |
Towards a ternary interpolating subdivision scheme for the triangular mesh |
N.A. Dodgson, M.A. Sabin, L. Barthe, M.F. Hassan |
2002-07 |
12 p
|
PDF (0.2 MB)
|
| 538 |
The Escritoire: A personal projected display for interacting with documents |
Mark Ashdown, Peter Robinson |
2002-06 |
12 p
|
PDF (0.5 MB)
|
| 537 |
Parallel systems in symbolic and algebraic computation |
Mantsika Matooane |
2002-06 |
PhD
139 p
|
PDF (0.8 MB)
|
| 536 |
Low temperature data remanence in static RAM |
Sergei Skorobogatov |
2002-06 |
9 p
|
PDF (0.6 MB)
|
| 535 |
Designs, disputes and strategies |
Claudia Faggian, Martin Hyland |
2002-05 |
21 p
|
PDF (0.3 MB)
|
| 534 |
Resource control in network elements |
Austin Donnelly |
2002-04 |
PhD
183 p
|
PDF (1.0 MB)
|
| 533 |
The acquisition of a unification-based generalised categorial grammar |
Aline Villavicencio |
2002-04 |
PhD
223 p
|
PDF (2.2 MB)
|
| 532 |
Internet traffic engineering |
Richard Mortier |
2002-04 |
PhD
129 p
|
PDF (0.8 MB)
|
| 531 |
Verifying the SET registration protocols |
Giampaolo Bella, Fabio Massacci, Lawrence C. Paulson |
2002-03 |
24 p
|
PDF (0.4 MB)
|
| 530 |
Subcategorization acquisition |
Anna Korhonen |
2002-02 |
PhD
189 p
|
PDF (1.1 MB)
|
| 529 |
The triVM intermediate language reference manual |
Neil Johnson |
2002-02 |
83 p
|
PDF (0.4 MB)
|
| 528 |
Measurement-based management of network resources |
Andrew William Moore |
2002-04 |
PhD
273 p
|
PDF (1.7 MB)
|
| 527 |
Architectures for ubiquitous systems |
Umar Saif |
2002-01 |
PhD
271 p
|
PDF (2.4 MB)
|
| 526 |
Extending lossless image compression |
Andrew J. Penrose |
2001-12 |
PhD
137 p
|
PDF (5.3 MB)
|
| 525 |
Extensible virtual machines |
Timothy L. Harris |
2001-12 |
PhD
209 p
|
PDF (0.8 MB)
|
| 524 |
Verifying the SET purchase protocols |
Giampaolo Bella, Fabio Massacci, Lawrence C. Paulson |
2001-11 |
14 p
|
PDF (0.2 MB)
|
| 523 |
Bigraphical reactive systems: basic theory |
Robin Milner |
2001-09 |
87 p
|
PDF (1.7 MB)
|
| 522 |
Practical behavioural animation based on vision and attention |
Mark F.P. Gillies |
2001-09 |
187 p
|
PDF (11.7 MB)
PS (10.1 MB)
|
| 521 |
Operational congruences for reactive systems |
James Leifer |
2001-09 |
PhD
144 p
|
PS (0.9 MB)
|
| 520 |
Ternary and three-point univariate subdivision schemes |
Mohamed Hassan, Neil A. Dodgson |
2001-09 |
8 p
|
PDF (0.1 MB)
|
| 519 |
Local evidence in document retrieval |
Martin Choquette |
2001-08 |
PhD
177 p
|
|
| 518 |
An attack on a traitor tracing scheme |
Jeff Jianxin Yan, Yongdong Wu |
2001-07 |
14 p
|
PDF (0.2 MB)
|
| 517 |
The Cambridge Multimedia Document Retrieval Project: summary of experiments |
Karen Spärck Jones, P. Jourlin, S.E. Johnson, P.C. Woodland |
2001-07 |
30 p
|
PS (0.1 MB)
DVI (0.0 MB)
|
| 516 |
Dynamic provisioning of resource-assured and programmable virtual private networks |
Rebecca Isaacs |
2001-09 |
PhD
145 p
|
PS (0.5 MB)
|
| 515 |
The UDP calculus: rigorous semantics for real networking |
Andrei Serjantov, Peter Sewell, Keith Wansbrough |
2001-07 |
70 p
|
PS (0.3 MB)
|
| 514 |
Nomadic π-calculi: Expressing and verifying communication infrastructure for mobile computation |
Asis Unyapoth |
2001-06 |
PhD
316 p
|
PDF (1.3 MB)
PS (0.7 MB)
|
| 513 |
Generic summaries for indexing in information retrieval – Detailed test results |
Tetsuya Sakai, Karen Spärck Jones |
2001-05 |
29 p
|
PS (0.1 MB)
|
| 512 |
An algebraic framework for modelling and verifying microprocessors using HOL |
Anthony Fox |
2001-03 |
24 p
|
PDF (0.3 MB)
|
| 511 |
Software visualization in Prolog |
Calum Grant |
1999-12 |
PhD
193 p
|
PDF (2.0 MB)
|
| 510 |
Switchlets and resource-assured MPLS networks |
Richard Mortier, Rebecca Isaacs, Keir Fraser |
2000-05 |
16 p
|
PDF (0.1 MB)
PS (0.1 MB)
|
| 509 |
Proximity visualisation of abstract data |
Wojciech Basalaj |
2001-01 |
PhD
117 p
|
PDF (7.7 MB)
|
| 508 |
Shallow linear action graphs and their embeddings |
James Leifer, Robin Milner |
2000-10 |
16 p
|
PS (0.1 MB)
|
| 507 |
Mechanizing a theory of program composition for UNITY |
Lawrence Paulson |
2000-11 |
28 p
|
PDF (0.2 MB)
|
| 506 |
Modules, abstract types, and distributed versioning |
Peter Sewell |
2000-09 |
46 p
|
PDF (0.4 MB)
PS (0.2 MB)
DVI (0.1 MB)
|
| 505 |
Models for name-passing processes: interleaving and causal |
Gian Luca Cattani, Peter Sewell |
2000-09 |
42 p
|
PDF (0.5 MB)
PS (0.2 MB)
DVI (0.1 MB)
|
| 504 |
Word sense selection in texts: an integrated model |
Oi Yee Kwong |
2000-09 |
PhD
177 p
|
PS (0.6 MB)
|
| 503 |
Hardware/software co-design using functional languages |
Alan Mycroft, Richard Sharp |
2000-09 |
8 p
|
PDF (0.1 MB)
|
| 502 |
Formalizing basic number theory |
Thomas Marthedal Rasmussen |
2000-09 |
20 p
|
|
| 501 |
Integrated quality of service management |
David Ingram |
2000-09 |
PhD
90 p
|
|
| 500 |
The memorability and security of passwords – some empirical results |
Jianxin Yan, Alan Blackwell, Ross Anderson, Alasdair Grant |
2000-09 |
13 p
|
PDF (0.2 MB)
|
| 499 |
Enhancing spatial deformation for virtual sculpting |
James Edward Gain |
2000-08 |
PhD
161 p
|
PDF (13.4 MB)
|
| 498 |
Applied π – a brief tutorial |
Peter Sewell |
2000-07 |
65 p
|
PDF (0.4 MB)
PS (0.2 MB)
|
| 497 |
Towards a formal type system for ODMG OQL |
G.M. Bierman, A. Trigoni |
2000-09 |
20 p
|
|
| 496 |
Contexts and embeddings for closed shallow action graphs |
Gian Luca Cattani, James J. Leifer, Robin Milner |
2000-07 |
56 p
|
PS (0.2 MB)
|
| 495 |
Automatic recognition of words in Arabic manuscripts |
Mohammad S.M. Khorsheed |
2000-07 |
PhD
242 p
|
PDF (2.4 MB)
|
| 494 |
An architecture for the notification, storage and retrieval of events |
Mark David Spiteri |
2000-07 |
PhD
165 p
|
|
| 493 |
Inductive verification of cryptographic protocols |
Giampaolo Bella |
2000-07 |
PhD
189 p
|
PDF (0.8 MB)
|
| 492 |
Nomadic Pict: language and infrastructure design for mobile computation |
Paweł Tomasz Wojciechowski |
2000-06 |
PhD
184 p
|
PDF (1.0 MB)
PS (0.4 MB)
|
| 491 |
Is hypothesis testing useful for subcategorization acquisition? |
Anna Korhonen, Genevive Gorrell, Diana McCarthy |
2000-05 |
9 p
|
|
| 490 |
Selective mesh refinement for rendering |
Peter John Cameron Brown |
2000-04 |
PhD
179 p
|
|
| 489 |
Designing a reliable publishing framework |
Jong-Hyeon Lee |
2000-04 |
PhD
129 p
|
PDF (0.9 MB)
|
| 488 |
Formal verification of card-holder registration in SET |
Giampaolo Bella, Fabio Massacci, Lawrence Paulson, Piero Tramontano |
2000-03 |
15 p
|
|
| 487 |
Sequential program composition in UNITY |
Tanja Vos, Doaitse Swierstra |
2000-03 |
20 p
|
|
| 486 |
Stretching a point: aspect and temporal discourse |
James Richard Thomas |
2000-02 |
PhD
251 p
|
|
| 485 |
Three notes on the interpretation of Verilog |
Daryl Stewart, Myra VanInwegen |
2000-01 |
47 p
|
|
| 484 |
Automatic summarising and the CLASP system |
Richard Tucker |
2000-01 |
PhD
190 p
|
PDF (0.9 MB)
|
| 483 |
Elastic network control |
Hendrik Jaap Bos |
2000-01 |
PhD
184 p
|
|
| 482 |
Biometric decision landscapes |
John Daugman |
2000-01 |
15 p
|
PDF (0.3 MB)
|
| 481 |
Combining the Hol98 proof assistant with the BuDDy BDD package |
Mike Gordon, Ken Friis Larsen |
1999-12 |
71 p
|
|
| 480 |
Programming combinations of deduction and BDD-based symbolic calculation |
Mike Gordon |
1999-12 |
24 p
|
|
| 479 |
The interaction between fault tolerance and security |
Geraint Price |
1999-12 |
PhD
144 p
|
PDF (0.9 MB)
|
| 478 |
Secure composition of untrusted code: wrappers and causality types |
Peter Sewell, Jan Vitek |
1999-11 |
36 p
|
PS (0.2 MB)
|
| 477 |
Presheaf models for CCS-like languages |
Gian Luca Cattani, Glynn Winskel |
1999-11 |
46 p
|
|
| 476 |
Linking ACL2 and HOL |
Mark Staples |
1999-11 |
23 p
|
|
| 475 |
A comparison of state-of-the-art classification techniques with application to cytogenetics |
Boaz Lerner, Neil D. Lawrence |
1999-10 |
34 p
|
|
| 474 |
A Bayesian methodology and probability density estimation for fluorescence in-situ hybridization signal classification |
Boaz Lerner |
1999-10 |
31 p
|
|
| 473 |
Computer algebra and theorem proving |
Clemens Ballarin |
1999-10 |
PhD
122 p
|
|
| 472 |
Simulating music learning with autonomous listening agents: entropy, ambiguity and context |
Ben Y. Reis |
1999-09 |
PhD
200 p
|
|
| 471 |
Murphy’s law, the fitness of evolving species, and the limits of software reliability |
Robert M. Brady, Ross J. Anderson, Robin C. Ball |
1999-09 |
14 p
|
PDF (0.2 MB)
|
| 470 |
Modular reasoning in Isabelle |
Florian Kammüller |
1999-08 |
PhD
128 p
|
|
| 469 |
A combination of geometry theorem proving and nonstandard analysis, with application to Newton’s Principia |
Jacques Désiré Fleuriot |
1999-08 |
PhD
135 p
|
|
| 468 |
Synthesis of asynchronous circuits |
Stephen Paul Wilcox |
1999-07 |
PhD
232 p
|
|
| 467 |
Mechanizing UNITY in Isabelle |
Lawrence C. Paulson |
1999-06 |
22 p
|
PDF (0.3 MB)
|
| 466 |
Automatic signal classification in fluorescence in-situ hybridization images |
Boaz Lerner, William Clocksin, Seema Dhanjal, Maj Hultén, Christipher Bishop |
1999-05 |
24 p
|
|
| 465 |
Gelfish – graphical environment for labelling FISH images |
Boaz Lerner, Seema Dhanjal, Maj Hultén |
1999-05 |
20 p
|
|
| 464 |
Feature representation for the automatic analysis of fluorescence in-situ hybridization images |
Boaz Lerner, William Clocksin, Seema Dhanjal, Maj Hultén, Christipher Bishop |
1999-05 |
36 p
|
|
| 463 |
Secure composition of insecure components |
Peter Sewell, Jan Vitek |
1999-04 |
44 p
|
PS (0.2 MB)
|
| 462 |
Location-independent communication for mobile agents: a two-level architecture |
Peter Sewell, Paweł T. Wojciechowski, Benjamin C. Pierce |
1999-04 |
31 p
|
PS (0.1 MB)
|
| 461 |
Integrating Gandalf and HOL |
Joe Hurd |
1999-03 |
11 p
|
PDF (0.2 MB)
|
| 460 |
Message reception in the inductive approach |
Giampaolo Bella |
1999-03 |
14 p
|
|
| 459 |
An open parallel architecture for data-intensive applications |
Mohamad Afshar |
1999-07 |
PhD
225 p
|
PS (0.8 MB)
DVI (0.3 MB)
|
| 458 |
Final coalgebras as greatest fixed points in ZF set theory |
Lawrence C. Paulson |
1999-03 |
25 p
|
PDF (0.1 MB)
|
| 457 |
A concurrent object calculus: reduction and typing |
Andrew D. Gordon, Paul D. Hankin |
1999-02 |
63 p
|
|
| 456 |
An evaluation based approach to process calculi |
Joshua Robert Xavier Ross |
1999-01 |
PhD
206 p
|
|
| 455 |
Multiple modalities |
G.M. Bierman |
1998-12 |
26 p
|
|
| 454 |
Parametric polymorphism and operational equivalence |
Andrew M. Pitts |
1998-12 |
39 p
|
|
| 453 |
C formalised in HOL |
Michael Norrish |
1998-12 |
PhD
156 p
|
PDF (0.8 MB)
|
| 452 |
A formal proof of Sylow’s theorem : An experiment in abstract algebra with Isabelle Hol |
Florian Kammüller, Lawrence C. Paulson |
1998-11 |
30 p
|
PDF (0.2 MB)
|
| 451 |
The structure of open ATM control architectures |
Sean Rooney |
1998-11 |
PhD
183 p
|
|
| 450 |
Open service support for ATM |
Jacobus Erasmus van der Merwe |
1998-11 |
PhD
164 p
|
|
| 449 |
Locales : A sectioning concept for Isabelle |
Florian Kammüller, Markus Wenzel |
1998-10 |
16 p
|
|
| 448 |
A computational interpretation of the λμ calculus |
G.M. Bierman |
1998-09 |
10 p
|
|
| 447 |
Are timestamps worth the effort? A formal treatment |
Giampaolo Bella, Lawrence C. Paulson |
1998-09 |
10 p
|
|
| 446 |
A probabilistic model of information and retrieval: development and status |
K. Spärck Jones, S. Walker, S.E. Robertson |
1998-08 |
74 p
|
PS (0.2 MB)
DVI (0.1 MB)
|
| 445 |
Secure sessions from weak secrets |
Michael Roe, Bruce Christianson, David Wheeler |
1998-07 |
12 p
|
PDF (1.0 MB)
|
| 444 |
From rewrite rules to bisimulation congruences |
Peter Sewell |
1998-05 |
72 p
|
PS (0.3 MB)
|
| 443 |
The inductive approach to verifying cryptographic protocols |
Lawrence C. Paulson |
1998-02 |
46 p
|
PDF (0.3 MB)
PS (0.2 MB)
|
| 442 |
A combination of nonstandard analysis and geometry theorem proving, with application to Newton’s Principia |
Jacques Fleuriot, Lawrence C. Paulson |
1998-01 |
13 p
|
PS (0.1 MB)
DVI (0.0 MB)
|
| 441 |
A generic tableau prover and its integration with Isabelle |
Lawrence C. Paulson |
1998-01 |
16 p
|
PDF (0.2 MB)
PS (0.1 MB)
DVI (0.0 MB)
|
| 440 |
Inductive analysis of the internet protocol TLS |
Lawrence C. Paulson |
1997-12 |
19 p
|
PDF (0.2 MB)
PS (0.1 MB)
|
| 439 |
Applying mobile code to distributed systems |
David A. Halls |
1997-12 |
PhD
158 p
|
|
| 438 |
An architecture for scalable and deterministic video servers |
Feng Shi |
1997-11 |
PhD
148 p
|
PDF (11.3 MB)
|
| 437 |
Trusting in computer systems |
William S. Harbison |
1997-12 |
PhD
95 p
|
|
| 436 |
A new method for estimating optical flow |
W.F. Clocksin |
1997-11 |
18 p
|
|
| 435 |
Global/local subtyping for a distributed π-calculus |
Peter Sewell |
1997-08 |
57 p
|
PS (0.2 MB)
|
| 434 |
Demonstration programs for CTL and μ-calculus symbolic model checking |
Martin Richards |
1997-08 |
41 p
|
|
| 433 |
Backtracking algorithms in MCPL using bit patterns and recursion |
Martin Richards |
1997-07 |
80 p
|
|
| 432 |
On two formal analyses of the Yahalom protocol |
Lawrence C. Paulson |
1997-07 |
16 p
|
PDF (0.2 MB)
PS (0.1 MB)
DVI (0.0 MB)
|
| 431 |
The MCPL programming manual and user guide |
Martin Richards |
1997-07 |
70 p
|
|
| 430 |
Video mail retrieval using voice : Report on topic spotting |
G.J.F. Jones, et al. |
1997-07 |
73 p
|
|
| 429 |
Compilation and equivalence of imperative objects |
Andrew D. Gordon, Paul D. Hankin, Søren B. Lassen |
1997-06 |
64 p
|
PS (0.2 MB)
DVI (0.1 MB)
|
| 428 |
Floating point verification in HOL Light: the exponential function |
John Harrison |
1997-06 |
112 p
|
PS (0.3 MB)
DVI (0.1 MB)
|
| 427 |
Proving Java type soundness |
Don Syme |
1997-06 |
35 p
|
|
| 426 |
Action selection methods using reinforcement learning |
Mark Humphrys |
1997-06 |
PhD
195 p
|
PS (0.5 MB)
|
| 425 |
Should your specification language be typed? |
Leslie Lamport, Lawrence C. Paulson |
1997-05 |
30 p
|
PDF (0.3 MB)
|
| 424 |
Simplification with renaming: a general proof technique for tableau and sequent-based provers |
Fabio Massacci |
1997-05 |
26 p
|
DVI (0.0 MB)
|
| 423 |
Symbol grounding : Learning categorical and sensorimotor predictions for coordination in autonomous robots |
Karl F. MacDorman |
1997-05 |
PhD
170 p
|
|
| 422 |
Using the BONITA primitives: a case study |
Antony Rowstron |
1997-05 |
19 p
|
|
| 421 |
An abstract dynamic semantics for C |
Michael Norrish |
1997-05 |
31 p
|
PDF (0.2 MB)
PS (0.1 MB)
DVI (0.0 MB)
|
| 420 |
Managing complex models for computer graphics |
Jonathan Mark Sewell |
1997-04 |
PhD
206 p
|
PDF (14.3 MB)
|
| 419 |
Video-augmented environments |
James Quentin Stafford-Fraser |
1997-04 |
PhD
91 p
|
PDF (2.4 MB)
|
| 418 |
Mechanized proofs for a recursive authentication protocol |
Lawrence C. Paulson |
1997-03 |
30 p
|
PDF (0.2 MB)
PS (0.1 MB)
|
| 417 |
Selective mesh refinement for interactive terrain rendering |
Peter J.C. Brown |
1997-02 |
18 p
|
|
| 416 |
DECLARE: a prototype declarative proof system for higher order logic |
Donald Syme |
1997-02 |
25 p
|
|
| 415 |
Application support for mobile computing |
Steven Leslie Pope |
1997-02 |
PhD
145 p
|
|
| 414 |
A calculus for cryptographic protocols : The SPI calculus |
Martín Abadi, Andrew D. Gordon |
1997-01 |
105 p
|
PS (0.3 MB)
|
| 413 |
Mechanized proofs of security protocols: Needham-Schroeder with public keys |
Lawrence C. Paulson |
1997-01 |
20 p
|
PDF (0.1 MB)
PS (0.0 MB)
DVI (0.0 MB)
|
| 412 |
Observations on a linear PCF (preliminary report) |
G.M. Bierman |
1997-01 |
30 p
|
|
| 411 |
Formalising process calculi in Higher Order Logic |
Monica Nesi |
1997-01 |
PhD
182 p
|
|
| 410 |
Proof style |
John Harrison |
1997-01 |
22 p
|
PS (0.1 MB)
DVI (0.0 MB)
|
| 409 |
Proving properties of security protocols by induction |
Lawrence C. Paulson |
1996-12 |
24 p
|
PDF (0.2 MB)
PS (0.1 MB)
DVI (0.0 MB)
|
| 408 |
Theorem proving with the real numbers |
John Robert Harrison |
1996-11 |
PhD
147 p
|
PS (0.4 MB)
DVI (0.3 MB)
|
| 407 |
The L4 microkernel on Alpha : Design and implementation |
Sebastian Schoenberg |
1996-09 |
51 p
|
PS (0.1 MB)
|
| 406 |
Tool support for logics of programs |
Lawrence C. Paulson |
1996-11 |
31 p
|
PDF (0.3 MB)
PS (0.2 MB)
|
| 405 |
A tool to support formal reasoning about computer languages |
Richard J. Boulton |
1996-11 |
21 p
|
PS (0.1 MB)
DVI (0.0 MB)
|
| 404 |
Adaptive parallelism for computing on heterogeneous clusters |
Kam Hong Shum |
1996-11 |
PhD
147 p
|
|
| 403 |
Devices in a multi-service operating system |
Paul Ronald Barham |
1996-10 |
PhD
131 p
|
PS (1.6 MB)
DVI (0.1 MB)
|
| 402 |
Video mail retrieval using voice: report on collection of naturalistic requests and relevance assessments |
G.J.F. Jones, J.T. Foote, K. Spärck Jones, S.J. Young |
1996-09 |
21 p
|
|
| 401 |
A classical linear λ-calculus |
Gavin Bierman |
1996-07 |
41 p
|
|
| 400 |
Monitoring the behaviour of distributed systems |
Scarlet Schwiderski |
1996-07 |
PhD
157 p
|
|
| 399 |
OASIS : An open architecture for secure interworking services |
Richard Hayton |
1996-06 |
PhD
102 p
|
PDF (0.9 MB)
|
| 398 |
Design and implementation of an autostereoscopic camera system |
N.A. Dodgson, J.R. Moore |
1996-06 |
20 p
|
PDF (0.3 MB)
|
| 397 |
Optimal routing in 2-jump circulant networks |
Borut Robič |
1996-06 |
7 p
|
PS (0.1 MB)
|
| 396 |
Generic automatic proof tools |
Lawrence C. Paulson |
1996-05 |
28 p
|
PDF (0.2 MB)
PS (0.1 MB)
|
| 395 |
Cut-elimination for full intuitionistic linear logic |
Torben Bräuner, Valeria de Paiva |
1996-05 |
27 p
|
|
| 394 |
A simple formalization and proof for the mutilated chess board |
Lawrence C. Paulson |
1996-04 |
11 p
|
PDF (0.1 MB)
PS (0.0 MB)
DVI (0.0 MB)
|
| 393 |
Performance management in ATM networks |
Simon Andrew Crosby |
1996-04 |
PhD
215 p
|
PS (0.9 MB)
|
| 392 |
Decoding choice encodings |
Uwe Nestmann, Benjamin C. Pierce |
1996-04 |
54 p
|
|
| 391 |
Programming languages and dimensions |
Andrew John Kennedy |
1996-04 |
PhD
149 p
|
|
| 390 |
Syn: a single language for specifiying abstract syntax tress, lexical analysis, parsing and pretty-printing |
Richard J. Boulton |
1996-03 |
25 p
|
PS (0.1 MB)
DVI (0.0 MB)
|
| 389 |
A proof checked for HOL |
Wai Wong |
1996-03 |
165 p
|
|
| 388 |
A unified approach to strictness analysis and optimising transformations |
P.N. Benton |
1996-02 |
21 p
|
|
| 387 |
Monitoring composite events in distributed systems |
Scarlet Schwiderski, Andrew Herbert, Ken Moody |
1996-02 |
20 p
|
|
| 386 |
Bisimilarity for a first-order calculus of objects with subtyping |
Andrew D. Gordon, Gareth D. Rees |
1996-01 |
78 p
|
|
| 385 |
Performance evaluation of the Delphi machine |
Sanjay Saraswat |
1995-12 |
PhD
187 p
|
|
| 384 |
Securing ATM networks |
Shaw-Cheng Chuang |
1995-01 |
30 p
|
PS (0.2 MB)
|
| 383 |
Management of replicated data in large scale systems |
Noha Adly |
1995-11 |
PhD
182 p
|
|
| 382 |
Synthetic image generation for a multiple-view autostereo display |
Oliver M. Castle |
1995-10 |
PhD
184 p
|
|
| 381 |
Rendering for free form deformations |
Uwe Michael Nimscheck |
1995-10 |
PhD
151 p
|
|
| 380 |
Quality-of-Service issues in networking environments |
Burkhard Stiller |
1995-09 |
68 p
|
PS (0.2 MB)
|
| 379 |
Proceedings of the First Isabelle Users Workshop |
Lawrence Paulson |
1995-09 |
265 p
|
|
| 378 |
Performance evaluation of HARP: a hierarchical asynchronous replication protocol for large scale system |
Noha Adly |
1995-08 |
94 p
|
PS (0.3 MB)
|
| 377 |
Mechanising set theory: cardinal arithmetic and the axiom of choice |
Larry Paulson, Krzysztof Grabczewski |
1995-07 |
33 p
|
PDF (0.3 MB)
PS (0.1 MB)
|
| 376 |
The structure of a multi-service operating system |
Timothy Roscoe |
1995-08 |
PhD
113 p
|
PS (0.4 MB)
|
| 375 |
Restructuring virtual memory to support distributed computing environments |
Feng Huang |
1995-07 |
PhD
135 p
|
|
| 374 |
A framework for QoS updates in a networking environment |
Burkhard Stiller |
1995-07 |
|
PS (0.1 MB)
|
| 373 |
Natural-language processing and requirements specifications |
Benjamín Macías, Stephen G. Pulman |
1995-07 |
73 p
|
|
| 372 |
A brief history of mobile telephony |
Stefan G. Hild |
1995-01 |
17 p
|
|
| 371 |
LIMINF convergence in Ω-categories |
Kim Ritter Wagner |
1995-06 |
28 p
|
|
| 370 |
A package for non-primitive recursive function definitions in HOL |
Sten Agerholm |
1995-07 |
36 p
|
|
| 369 |
A comparison of HOL-ST and Isabelle/ZF |
Sten Agerholm |
1995-07 |
23 p
|
PDF (1.8 MB)
|
| 368 |
CogPiT – configuration of protocols in TIP |
Burkhard Stiller |
1995-06 |
73 p
|
PS (0.2 MB)
|
| 367 |
Categorical logic |
Andrew M. Pitts |
1995-05 |
94 p
|
PS (0.3 MB)
DVI (0.1 MB)
|
| 366 |
Retrieving spoken documents: VMR Project experiments |
K. Spärck Jones, G.J.F. Jones, J.T. Foote, S.J. Young |
1995-05 |
28 p
|
|
| 365 |
Computational types from a logical perspective I |
P.N. Benton, G.M. Bierman, V.C.V. de Paiva |
1995-05 |
19 p
|
|
| 364 |
The Church-Rosser theorem in Isabelle: a proof porting experiment |
Ole Rasmussen |
1995-04 |
27 p
|
PS (0.1 MB)
|
| 363 |
Names and higher-order functions |
Ian Stark |
1995-04 |
PhD
140 p
|
PS (0.3 MB)
DVI (0.2 MB)
|
| 362 |
W-learning: competition among selfish Q-learners |
Mark Humphrys |
1995-04 |
30 p
|
PS (0.1 MB)
|
| 361 |
Explicit network scheduling |
Richard John Black |
1995-04 |
PhD
121 p
|
PS (0.3 MB)
|
| 360 |
On the calculation of explicit polymetres |
W.F. Clocksin |
1995-03 |
12 p
|
PDF (0.8 MB)
|
| 359 |
A case study of co-induction in Isabelle |
Jacob Frost |
1995-02 |
48 p
|
PDF (0.2 MB)
PS (0.1 MB)
DVI (0.1 MB)
|
| 358 |
Multithreaded processor design |
Simon William Moore |
1995-02 |
PhD
125 p
|
|
| 357 |
Seven more myths of formal methods |
Jonathan P. Bowen, Michael G. Hinchey |
1994-12 |
12 p
|
|
| 356 |
Simple, proven approaches to text retrieval |
S.E. Robertson, K. Spärck Jones |
1994-12 |
8 p
|
PDF (0.2 MB)
|
| 355 |
Two cryptographic notes |
David Wheeler, Roger Needham |
1994-11 |
6 p
|
PDF (0.4 MB)
|
| 354 |
Formalising a model of the λ-calculus in HOL-ST |
Sten Agerholm |
1994-10 |
31 p
|
|
| 353 |
Merging HOL with set theory |
Mike Gordon |
1994-11 |
40 p
|
PDF (1.5 MB)
|
| 352 |
A mixed linear and non-linear logic: proofs, terms and models |
P.N. Benton |
1994-10 |
65 p
|
|
| 351 |
Handling realtime traffic in mobile networks |
Subir Kumar Biswas |
1994-09 |
PhD
198 p
|
PS (0.5 MB)
|
| 350 |
Ten commandments of formal methods |
Jonathan P. Bowen, Michael G. Hinchey |
1994-09 |
18 p
|
|
| 349 |
A HOL interpretation of Noden |
Brian Graham |
1994-09 |
78 p
|
|
| 348 |
Integrated sound synchronisation for computer animation |
Jane Louise Hunter |
1994-08 |
PhD
248 p
|
|
| 347 |
Reflections on TREC |
Karen Spärck Jones |
1994-07 |
35 p
|
PS (0.1 MB)
DVI (0.1 MB)
|
| 346 |
On intuitionistic linear logic |
G.M. Bierman |
1994-08 |
PhD
191 p
|
|
| 345 |
A proof environment for arithmetic with the Omega rule |
Siani L. Baker |
1994-08 |
17 p
|
|
| 344 |
The contour tree image encoding technique and file format |
Martin John Turner |
1994-07 |
PhD
154 p
|
|
| 342 |
An architecture for distributed user interfaces |
Stephen Martin Guy Freeman |
1994-07 |
PhD
127 p
|
|
| 341 |
Presentation support for distributed multimedia applications |
John Bates |
1994-06 |
140 p
|
PS (0.8 MB)
|
| 340 |
Operating system support for quality of service |
Eoin Andrew Hyden |
1994-06 |
PhD
102 p
|
PDF (1.1 MB)
|
| 339 |
Belief revision and dialogue management in information retrieval |
Brian Logan, Steven Reece, Alison Cawsey, Julia Galliers, Karen Spärck Jones |
1994-05 |
227 p
|
PDF (13.3 MB)
|
| 338 |
A new approach to implementing atomic data types |
Zhixue Wu |
1994-05 |
PhD
170 p
|
|
| 337 |
Efficiency in a fully-expansive theorem prover |
Richard John Boulton |
1994-05 |
PhD
126 p
|
DVI (0.2 MB)
|
| 336 |
Towards a proof theory of rewriting: the simply-typed 2-λ calculus |
Barnaby P. Hilken |
1994-05 |
28 p
|
|
| 335 |
Video mail retrieval using voice: report on keyword definition and data collection (deliverable report on VMR task No. 1) |
G.J.F. Jones, J.T. Foote, K. Spärck Jones, S.J. Young |
1994-04 |
38 p
|
PDF (1.7 MB)
|
| 334 |
A concrete final coalgebra theorem for ZF set theory |
Lawrence C. Paulson |
1994-05 |
21 p
|
PDF (0.2 MB)
PS (0.1 MB)
DVI (0.0 MB)
|
| 333 |
What is a categorical model of intuitionistic linear logic? |
G.M. Bierman |
1994-04 |
15 p
|
|
| 332 |
Distributed computing with objects |
David Martin Evers |
1994-03 |
PhD
154 p
|
|
| 331 |
HPP: a hierarchical propagation protocol for large scale replication in wide area networks |
Noha Adly, Akhil Kumar |
1994-03 |
24 p
|
|
| 330 |
Interacting with paper on the DigitalDesk |
Pierre David Wellner |
1994-03 |
PhD
96 p
|
PDF (3.8 MB)
|
| 329 |
The formal verification of the Fairisle ATM switching element |
Paul Curzon |
1994-03 |
105 p
|
|
| 328 |
The formal verification of the Fairisle ATM switching element: an overview |
Paul Curzon |
1994-03 |
46 p
|
|
| 327 |
A new application for explanation-based generalisation within automated deduction |
Siani L. Baker |
1994-02 |
18 p
|
|
| 326 |
A modular and extensible network storage architecture |
Sai-Lai Lo |
1994-01 |
PhD
147 p
|
PS (0.3 MB)
|
| 325 |
The temporal properties of English conditionals and modals |
Richard Crouch |
1994-01 |
PhD
248 p
|
PDF (16.2 MB)
|
| 324 |
Verifying modular programs in HOL |
J. von Wright |
1994-01 |
25 p
|
|
| 323 |
Representing higher-order logic proofs in HOL |
J. von Wright |
1994-01 |
28 p
|
|
| 322 |
Supporting distributed realtime computing |
Guangxing Li |
1993-12 |
PhD
113 p
|
|
| 321 |
Relational properties of domains |
Andrew M. Pitts |
1993-12 |
38 p
|
PS (0.2 MB)
|
| 320 |
A fixedpoint approach to implementing (co)inductive definitions (updated version) |
Lawrence C. Paulson |
1995-07 |
29 p
|
PDF (0.2 MB)
DVI (0.0 MB)
|
| 319 |
A workstation architecture to support multimedia |
Mark David Hayter |
1993-11 |
PhD
99 p
|
PS (0.7 MB)
|
| 318 |
A method of program refinement |
Jim Grundy |
1993-11 |
PhD
207 p
|
PS (0.3 MB)
|
| 317 |
Femto-VHDL: the semantics of a subset of VHDL and its embedding in the HOL proof assistant |
John Peter Van Tassel |
1993-11 |
PhD
122 p
|
|
| 316 |
The Compleat LKB |
Ann Copestake |
1993-08 |
126 p
|
PS (0.3 MB)
|
| 315 |
Strategy generation and evaluation for meta-game playing |
Barney Darryl Pell |
1993-11 |
PhD
289 p
|
PS (0.4 MB)
|
| 314 |
Practical unification-based parsing of natural language |
John Andrew Carroll |
|
PhD
173 p
|
PS (0.3 MB)
|
| 313 |
Proof by pointing |
Yves Bertot, Gilles Kahn, Laurent Théry |
1993-10 |
27 p
|
|
| 312 |
Set theory for verification: II : Induction and recursion |
Lawrence C. Paulson |
1993-09 |
46 p
|
PDF (0.3 MB)
|
| 311 |
A verified Vista implementation |
Paul Curzon |
1993-09 |
56 p
|
|
| 310 |
HARP: a hierarchical asynchronous replication protocol for massively replicated systems |
Noha Adly |
1993-08 |
34 p
|
PS (0.1 MB)
|
| 309 |
Strictness analysis of lazy functional programs |
Peter Nicholas Benton |
1993-08 |
PhD
154 p
|
|
| 308 |
A case study of co-induction in Isabelle HOL |
Jacob Frost |
1993-08 |
27 p
|
PDF (0.2 MB)
PS (0.1 MB)
DVI (0.0 MB)
|
| 307 |
Natural language processing for information retrieval |
David D. Lewis, Karen Spärck Jones |
1993-07 |
22 p
|
PS (0.1 MB)
|
| 306 |
Recording HOL proofs |
Wai Wong |
1993-07 |
57 p
|
|
| 305 |
Strong normalisation for the linear term calculus |
P.N. Benton |
1993-07 |
13 p
|
|
| 304 |
Co-induction and co-recursion in higher-order logic |
Lawrence C. Paulson |
1993-07 |
35 p
|
PDF (0.3 MB)
PS (0.1 MB)
DVI (0.1 MB)
|
| 303 |
Drawing trees — a case study in functional programming |
Andrew Kennedy |
1993-06 |
9 p
|
|
| 302 |
Logic programming for general game-playing |
Barney Pell |
1993-06 |
15 p
|
PS (0.0 MB)
|
| 301 |
The dual-level validation concurrency control method |
Zhixue Wu, Ken Moody, Jean Bacon |
1993-06 |
24 p
|
|
| 300 |
Formal verification of VIPER’s ALU |
Wai Wong |
1993-04 |
78 p
|
|
| 299 |
Pragmatic reasoning in bridge |
Bjorn Gamback, Manny Rayner, Barney Pell |
1993-04 |
23 p
|
PS (0.1 MB)
|
| 298 |
Multicast in the asynchronous transfer mode environment |
John Matthew Simon Doar |
1993-04 |
PhD
168 p
|
PS (0.5 MB)
|
| 297 |
Categorical abstract machines for higher-order lambda calculi |
Eike Ritter |
1993-04 |
PhD
149 p
|
|
| 296 |
A persistent programming language for multimedia databases in the OPERA project |
Z. Wu, K. Moody, J. Bacon |
1993-04 |
9 p
|
|
| 295 |
OPERA : Storage and presentation support for multimedia applications in a distributed, ATM network environment |
Jean Bacon, John Bates, Sai Lai Lo, Ken Moody |
1993-04 |
12 p
|
|
| 294 |
OPERA : Storage, programming and display of multimedia objects |
Ken Moody, Jean Bacon, Noha Adly, Mohamad Afshar, John Bates, Huang Feng, Richard Hayton, Sai Lai Lo, Scarlet Schwiderski, Robert Sultana, Zhixue Wu |
1993-04 |
9 p
|
|
| 293 |
Objects and transactions for modelling distributed applications: concurrency control and commitment |
Jean Bacon, Ken Moody |
1993-04 |
39 p
|
|
| 292 |
Synchronisation services for digital continuous media |
Cormac John Sreenan |
1993-03 |
PhD
123 p
|
PS (0.3 MB)
|
| 291 |
Evaluating natural language processing systems |
J.R. Galliers, K. Spärck Jones |
1993-02 |
187 p
|
PS (0.2 MB)
|
| 290 |
Discourse modelling for automatic summarising |
Karen Spärck Jones |
1993-02 |
30 p
|
|
| 289 |
The semantics of noun phrase anaphora |
David Alan Howard Elworthy |
1993-02 |
PhD
191 p
|
|
| 288 |
Cut-free sequent and tableau systems for propositional Diodorean modal logics |
Rajeev Gore |
1993-02 |
19 p
|
|
| 287 |
A mechanised definition of Silage in HOL |
Andrew D. Gordon |
1993-02 |
28 p
|
DVI (0.0 MB)
|
| 286 |
Isabelle’s object-logics |
Lawrence C. Paulson |
1993-02 |
161 p
|
DVI (0.2 MB)
|
| 285 |
Functional programming and input/output |
Andrew Donald Gordon |
1993-02 |
PhD
163 p
|
|
| 284 |
The Alvey Natural Language Tools grammar (4th Release) |
Claire Grover, John Carroll, Ted Briscoe |
1993-01 |
260 p
|
|
| 283 |
The Isabelle reference manual |
Lawrence C. Paulson |
1993-02 |
78 p
|
DVI (0.2 MB)
|
| 282 |
Pegasus – Operating system support for distributed multimedia systems |
Ian M. Leslie, Derek McAuley, Sape J. Mullender |
1992-12 |
14 p
|
|
| 281 |
Pegasus project description |
Sape J. Mullender, Ian M. Leslie, Derek McAuley |
1992-09 |
23 p
|
|
| 280 |
Introduction to Isabelle |
Lawrence C. Paulson |
1993-01 |
61 p
|
DVI (0.1 MB)
|
| 279 |
The transition assertions specification method |
Victor A. Carreño |
|
18 p
|
|
| 278 |
A formalization of the process algebra CCS in high order logic |
Monica Nesi |
|
42 p
|
PDF (2.1 MB)
|
| 277 |
METAGAME in symmetric chess-like games |
Barney Pell |
|
30 p
|
PS (0.1 MB)
|
| 276 |
METAGAME: a new challenge for games and learning |
Barney Pell |
|
15 p
|
PS (0.0 MB)
|
| 275 |
Exploratory learning in the game of GO |
Barney Pell |
|
18 p
|
PS (0.0 MB)
|
| 274 |
Of what use is a verified compiler specification? |
Paul Curzon |
|
23 p
|
|
| 273 |
TouringMachines: an architecture for dynamic, rational, mobile agents |
Innes A. Ferguson |
1992-11 |
PhD
206 p
|
PDF (2.0 MB)
PS (0.4 MB)
|
| 272 |
Interactive program derivation |
Martin David Coen |
1992-11 |
PhD
100 p
|
PDF (0.6 MB)
DVI (0.1 MB)
|
| 271 |
Set theory as a computational logic: I. from foundations to functions |
Lawrence C. Paulson |
1992-11 |
28 p
|
PDF (0.3 MB)
DVI (0.0 MB)
|
| 270 |
Designing a universal name service |
Chaoying Ma |
|
PhD
133 p
|
PDF (6.8 MB)
|
| 269 |
Optimising compilation |
Alan Mycroft, Arthur Norman |
|
23 p
|
|
| 268 |
Network file server design for continuous media |
Paul W. Jardetzky |
1992-10 |
PhD
101 p
|
PS (0.3 MB)
|
| 267 |
Untyped strictness analysis |
Christine Ernoult, Alan Mycroft |
|
13 p
|
|
| 266 |
Automatic exploitation of OR-parallelism in Prolog |
Carole Klein |
|
18 p
|
|
| 265 |
Reasoning with inductively defined relations in the HOL theorem prover |
Juanito Camilleri, Tom Melham |
1992-08 |
49 p
|
|
| 264 |
CCS with environmental guards |
Juanito Camilleri |
1992-08 |
19 p
|
|
| 263 |
The Lazy Lambda Calculus: an investigation into the foundations of functional programming |
C.-H. Luke Ong |
1992-08 |
PhD
256 p
|
|
| 262 |
Term assignment for intuitionistic linear logic (preliminary report) |
Nick Benton, Gavin Bierman, Valeria de Paiva |
1992-08 |
57 p
|
|
| 261 |
Image resampling |
Neil Anthony Dodgson |
1992-08 |
PhD
264 p
|
PDF (5.1 MB)
|
| 260 |
Local computation of alternating fixed-points |
Henrik Reif Anderson |
|
21 p
|
|
| 259 |
Full abstraction in the Lazy Lambda Calculus |
Samson Abramsky, C.-H. Luke Ong |
|
104 p
|
|
| 258 |
Private ATM networks |
David J. Greaves, Derek McAuley |
1992-05 |
12 p
|
|
| 257 |
Cut-free sequent and tableau systems for propositional normal modal logics |
Rajeev Prakhakar Goré |
1992-05 |
160 p
|
|
| 256 |
MCPL programming manual |
Martin Richards |
1992-05 |
32 p
|
|
| 255 |
The formal verification of hard real-time systems |
Rachel Mary Cardell-Oliver |
1992 |
PhD
151 p
|
|
| 254 |
A HOL semantics for a subset of ELLA |
Richard J. Boulton |
1992-04 |
104 p
|
DVI (0.1 MB)
|
| 253 |
The (other) Cambridge ACQUILEX papers |
Antonio Sanfilippo |
|
141 p
|
|
| 252 |
A co-induction principle for recursively defined domains |
Andrew M. Pitts |
|
25 p
|
PS (0.1 MB)
|
| 251 |
Multipoint digital video communication |
Xiaofeng Jiang |
1992-04 |
PhD
124 p
|
|
| 250 |
TouringMachines: autonomous agents with attitudes |
Innes A. Ferguson |
1992-04 |
19 p
|
PS (0.1 MB)
|
| 249 |
A formalisation of the VHDL simulation cycle |
John P. Van Tassel |
1992-03 |
24 p
|
PDF (1.2 MB)
|
| 248 |
On efficiency in theorem provers which fully expand proofs into primitive inferences |
Richard J. Boulton |
1992-02 |
23 p
|
DVI (0.0 MB)
|
| 247 |
Programming metalogics with a fixpoint type |
Roy Luis Crole |
1992-02 |
PhD
164 p
|
|
| 246 |
A relevance-based utterance processing system |
Victor Poznanski |
1992-02 |
PhD
295 p
|
|
| 245 |
System support for multi-service traffic |
Michael J. Dixon |
1992-01 |
PhD
108 p
|
PDF (7.3 MB)
|
| 244 |
A mechanized theory of the π-calculus in HOL |
T.F. Melham |
|
31 p
|
|
| 243 |
Automating the librarian: a fundamental approach using belief revision |
Alison Cawsey, Julia Galliers, Stenev Reece, Karen Spärck Jones |
1992-01 |
39 p
|
|
| 242 |
An object oriented approach to virtual memory management |
Glenford Ezra Mapp |
1992-01 |
PhD
150 p
|
PDF (6.6 MB)
|
| 241 |
Learning in large state spaces with an application to biped robot walking |
Thomas Ulrich Vogel |
1991-12 |
PhD
204 p
|
|
| 240 |
Symbolic compilation and execution of programs by proof: a case study in HOL |
Juanito Camilleri |
|
31 p
|
|
| 239 |
Planning multisentential English text using communicative acts |
Mark Thomas Maybury |
1991-12 |
PhD
329 p
|
PDF (26.8 MB)
|
| 238 |
Proceedings of the ACQUILEX workshop on default inheritance in the lexicon |
Ted Briscoe, Ann Copestake, Valeria de Paiva |
1991-10 |
180 p
|
|
| 237 |
Computing presuppositions in an incremantal language processing system |
Derek G. Bridge |
|
PhD
212 p
|
|
| 236 |
Using knowledge of purpose and knowledge of structure as a basic for evaluating the behaviour of mechanical systems |
John Anthony Bradshaw |
|
PhD
153 p
|
|
| 235 |
Modelling and image generation |
Heng Wang |
|
PhD
145 p
|
|
| 234 |
Two tutorial papers: Information retrieval & Thesaurus |
Karen Spärck Jones |
1991-08 |
31 p
|
PDF (2.3 MB)
|
| 233 |
A development environment for large natural language grammars |
John Carroll, Ted Briscoe, Claire Grover |
1991-07 |
65 p
|
|
| 232 |
Mechanising set theory |
Francisco Corella |
1991-07 |
PhD
217 p
|
PDF (9.6 MB)
|
| 231 |
Managing the order of transactions in widely-distributed data systems |
Raphael Yahalom |
1991-08 |
PhD
133 p
|
|
| 230 |
Proceedings of the second belief representation and agent architectures workshop (BRAA ’91) |
J. Galliers |
1991-08 |
255 p
|
|
| 229 |
Abstraction of image and pixel : The thistle display system |
David J. Brown |
1991-08 |
PhD
197 p
|
|
| 228 |
The desk area network |
Mark Hayter, Derek McAuley |
1991-05 |
11 p
|
PS (0.0 MB)
|
| 227 |
Priority in process calculi |
Juanito Albert Camilleri |
1991-06 |
PhD
203 p
|
|
| 226 |
A new approach for improving system availability |
Kwok-yan Lam |
1991-06 |
PhD
108 p
|
|
| 225 |
Categorical multirelations, linear logic and petri nets (draft) |
Valeria de Paiva |
1991-05 |
29 p
|
PDF (1.2 MB)
|
| 224 |
Generalised probabilistic LR parsing of natural language (corpora) with unification-based grammars |
Ted Briscoe, John Carroll |
|
45 p
|
|
| 223 |
Shallow processing and automatic summarising: a first study |
Philip Gladwin, Stephen Pulman, Karen Spärck Jones |
1991-05 |
65 p
|
|
| 222 |
Extensions to coloured petri nets and their application to protocols |
Jonathan Billington |
|
PhD
190 p
|
|
| 221 |
Transforming axioms for data types into sequential programs |
Robert Milne |
|
44 p
|
PDF (2.2 MB)
|
| 220 |
A distributed architecture for multimedia communication systems |
Cosmos Andrea Nicolaou |
|
PhD
192 p
|
|
| 219 |
Fairisle project working documents : Snapshot 1 |
Ian M. Leslie, Derek M. McAuley, Mark Hayter, Richard Black, Reto Beller, Peter Newman, Matthew Doar |
1991-03 |
15 p
|
|
| 218 |
Higher-order critical pairs |
Tobias Nipkow |
|
15 p
|
|
| 217 |
Dynamic bandwidth management |
Bhaskar Ramanathan Harita |
|
PhD
160 p
|
|
| 216 |
Exploiting OR-parallelism in Prolog using multiple sequential machines |
Carole Susan Klein |
|
PhD
250 p
|
|
| 215 |
A structured approach to the verification of low level microcode |
Paul Curzon |
|
PhD
265 p
|
PDF (12.0 MB)
|
| 214 |
Integrating knowledge of purpose and knowledge of structure for design evaluation |
J.A. Bradshaw, R.M. Young |
1991-02 |
20 p
|
|
| 213 |
The Dialectica categories |
Valeria Correa Vaz de Paiva |
1991-01 |
PhD
82 p
|
PDF (3.5 MB)
|
| 212 |
A distributed and-or parallel Prolog network |
K.L. Wrench |
|
82 p
|
|
| 211 |
The role of artificial intelligence in information retrieval |
Karen Spärck Jones |
1990-11 |
13 p
|
|
| 210 |
Higher-order unification, polymorphism, and subsorts |
Tobias Nipkow |
|
15 p
|
|
| 209 |
Efficient memory-based learning for robot control |
Andrew William Moore |
1990-11 |
PhD
248 p
|
PDF (11.3 MB)
|
| 208 |
Categorical combinators for the calculus of constructions |
Eike Ritter |
1990-10 |
43 p
|
|
| 207 |
Video replay in computer animation |
Stuart Philip Hawkins |
1990-10 |
PhD
161 p
|
|
| 206 |
Formal verification of real-time protocols using higher order logic |
Richard Cardell-Oliver |
1990-08 |
36 p
|
|
| 205 |
Logic programming, functional programming and inductive definitions |
Lawrence C. Paulson, Andrew W. Smith |
|
29 p
|
PDF (0.2 MB)
DVI (0.0 MB)
|
| 204 |
New foundations for fixpoint computations: FIX-hyperdoctrines and the FIX-logic |
Roy L. Crole, Andrew M. Pitts |
1990-08 |
37 p
|
PS (0.1 MB)
|
| 203 |
Subtyping in Ponder (preliminary report) |
Valeria C.V. de Paiva |
1990-08 |
35 p
|
PDF (1.5 MB)
|
| 202 |
Three-dimensional integrated circuit layout |
Andrew Charles Harter |
1990-08 |
PhD
179 p
|
|
| 201 |
Formalizing abstraction mechanisms for hardware verification in higher order logic |
Thomas Frederick Melham |
1990-08 |
PhD
233 p
|
PDF (1.7 MB)
|
| 200 |
Type classes and overloading resolution via order-sorted unification |
Tobias Nipkow, Gregor Snelting |
1990-08 |
16 p
|
|
| 199 |
The HOL verification of ELLA designs |
Richard Boulton, Mike Gordon, John Herbert, John Van Tassel |
1990-08 |
22 p
|
PS (0.1 MB)
|
| 198 |
Evaluation Logic |
Andrew M. Pitts |
1990-08 |
31 p
|
PS (0.1 MB)
|
| 197 |
The semantics and implementation of aggregates : or : how to express concurrency without destroying determinism |
Thomas Clarke |
1990-07 |
25 p
|
|
| 196 |
The semantics of VHDL with Val and Hol: towards practical verification tools |
John Peter Van Tassell |
1990-06 |
77 p
|
|
| 195 |
Multi-level verification of microprocessor-based systems |
Jeffrey J. Joyce |
1990-05 |
PhD
163 p
|
|
| 194 |
Proceedings of the First Belief Representation and Agent Architectures Workshop |
Julia Rose Galliers |
1990-03 |
199 p
|
|
| 193 |
Belief revision and a theory of communication |
Julia Rose Galliers |
1990-05 |
30 p
|
|
| 192 |
Designing a theorem prover |
Lawrence C. Paulson |
1990-05 |
57 p
|
PDF (0.3 MB)
DVI (0.1 MB)
|
| 191 |
An architecture for real-time multimedia communications systems |
Cosmos Nicolaou |
1990-02 |
30 p
|
PDF (1.3 MB)
|
| 190 |
Some notes on mass terms and plurals |
Ann Copestake |
1990-01 |
65 p
|
PS (0.1 MB)
|
| 189 |
Isabelle tutorial and user’s manual |
Lawrence C. Paulson, Tobias Nipkow |
1990-01 |
142 p
|
PDF (0.5 MB)
DVI (0.1 MB)
|
| 188 |
Specification of computer architectures: a survey and annotated bibliography |
Timothy E. Leonard |
1990-01 |
42 p
|
|
| 187 |
Natural language interfaces to databases |
Ann Copestake, Karen Spärck Jones |
1989-09 |
36 p
|
PS (0.1 MB)
|
| 186 |
Protocol design for high speed networks |
Derek Robert McAuley |
1990-01 |
PhD
100 p
|
PS (0.3 MB)
|
| 185 |
Logics of Domains |
Guo Qiang Zhang |
1989-12 |
PhD
250 p
|
|
| 184 |
Site interconnection and the exchange architecture |
David Lawrence Tennenhouse |
1989-10 |
PhD
225 p
|
|
| 183 |
The specification and verification of sliding window protocols in higher order logic |
Rachel Cardell-Oliver |
1989-10 |
25 p
|
|
| 182 |
The theory and implementation of a bidirectional question answering system |
John M. Levine, Lee Fedder |
1989-10 |
27 p
|
|
| 181 |
Proof transformations for equational theories |
Tobias Nipkow |
1989-09 |
17 p
|
|
| 180 |
Formal verification of data type refinement : Theory and practice |
Tobias Nipkow |
1989-09 |
31 p
|
|
| 179 |
Automating Squiggol |
Ursula Martin, Tobias Nipkow |
1989-09 |
16 p
|
|
| 178 |
Totally verified systems: linking verified software to verified hardware |
Jeffrey J. Joyce |
1989-09 |
25 p
|
PDF (1.5 MB)
|
| 177 |
Experimenting with Isabelle in ZF Set Theory |
P.A.J. Noel |
1989-09 |
40 p
|
|
| 176 |
Implementing aggregates in parallel functional languages |
T.J.W. Clarke |
1989-08 |
13 p
|
|
| 175 |
A formulation of the simple theory of types (for Isabelle) |
Lawrence C. Paulson |
1989-08 |
32 p
|
PDF (0.2 MB)
DVI (0.0 MB)
|
| 174 |
General theory relating to the implementation of concurrent symbolic computation |
James Thomas Woodchurch Clarke |
1989-08 |
PhD
113 p
|
|
| 173 |
Programming in temporal logic |
Roger William Stephen Hale |
1989-07 |
PhD
182 p
|
|
| 172 |
A theoretical framework for computer models of cooperative dialogue, acknowledging multi-agent conflict |
Julia Rose Galliers |
1989-07 |
226 p
|
|
| 171 |
Some types with inclusion properties in ∀, →, μ |
Jon Fairbairn |
1989-06 |
10 p
|
PDF (0.2 MB)
|
| 170 |
Ordered rewriting and confluence |
Ursula Martin, Tobias Nipkow |
1989-05 |
18 p
|
|
| 169 |
Filing in a heterogeneous network |
Andrew Franklin Seaborne |
1989-04 |
PhD
131 p
|
|
| 168 |
Distributed computing with a processor bank |
J.M. Bacon, I.M. Leslie, R.M. Needham |
1989-04 |
15 p
|
|
| 167 |
A verified compiler for a verified microprocessor |
Jeffrey J. Joyce |
1989-03 |
67 p
|
|
| 166 |
Evolution of operating system structures |
Jean Bacon |
1989-03 |
28 p
|
|
| 165 |
Fast packet switching for integrated services |
Peter Newman |
1989-03 |
PhD
145 p
|
|
| 164 |
A matrix key distribution system |
Li Gong, David J. Wheeler |
1988-10 |
20 p
|
PDF (1.0 MB)
|
| 163 |
Inference in a natural language front end for databases |
Ann Copestake, Karen Spärck Jones |
1989-02 |
87 p
|
PDF (0.5 MB)
|
| 162 |
The Alvey natural language tools grammar (2nd Release) |
Claire Glover, Ted Briscoe, John Carroll, Bran Boguraev |
1989-04 |
90 p
|
|
| 161 |
Papers on Poly/ML |
D.C.J. Matthews |
1989-02 |
150 p
|
|
| 160 |
PFL+: A Kernal Scheme for Functions I/O |
Andrew Gordon |
1989-02 |
26 p
|
|
| 159 |
Non-trivial power types can’t be subtypes of polymorphic types |
Andrew M. Pitts |
1989-01 |
12 p
|
PS (0.1 MB)
|
| 158 |
Tailoring output to the user: What does user modelling in generation mean? |
Karen Spärck Jones |
1988-08 |
21 p
|
PDF (1.6 MB)
|
| 157 |
Introducing a priority operator to CCS |
Juanito Camilleri |
1989-01 |
19 p
|
|
| 156 |
Events and VP modifiers |
Steve Pulman |
1989-01 |
10 p
|
|
| 155 |
Computational morphology of English |
S.G. Pulman, G.J. Russell, G.D. Ritchie, A.W. Black |
1989-01 |
15 p
|
PDF (1.0 MB)
|
| 154 |
A natural language interface to an intelligent planning system |
I.B. Crabtree, R.S. Crouch, D.C. Moffat, N.J. Pirie, S.G. Pulman, G.D. Ritchie, B.A. Tate |
1989-01 |
14 p
|
|
| 153 |
Efficient data sharing |
Michael Burrows |
1988-12 |
PhD
99 p
|
PDF (6.0 MB)
|
| 152 |
Motion development for computer animation |
Andrew Mark Pullen |
1988-11 |
PhD
163 p
|
|
| 151 |
Formalising an integrated circuit design style in higher order logic |
Inderpreel-Singh Dhingra |
1988-11 |
PhD
195 p
|
|
| 150 |
Simulation as an aid to verification using the HOL theorem prover |
Albert John Camilleri |
1988-10 |
23 p
|
PDF (1.7 MB)
|
| 149 |
Improving security and performance of capability systems |
Paul Ashley Karger |
1988-10 |
PhD
273 p
|
PS (0.5 MB)
|
| 148 |
Extending coloured petri nets |
Jonathan Billington |
1988-09 |
82 p
|
PDF (3.5 MB)
|
| 147 |
Formal specification and verification of microprocessor systems |
Jeffrey Joyce |
1988-09 |
24 p
|
|
| 146 |
Automating recursive type definitions in higher order logic |
Thomas F. Melham |
1988-09 |
64 p
|
|
| 145 |
Mechanizing programming logics in higher order logic |
Michael J.C. Gordon |
1988-09 |
55 p
|
|
| 144 |
An operational semantics for occam |
Juanito Camilleri |
1988-08 |
27 p
|
|
| 143 |
Experience with Isabelle : A generic theorem prover |
Lawrence C. Paulson |
1988-08 |
20 p
|
PDF (0.2 MB)
DVI (0.0 MB)
|
| 142 |
A fast packet switch for the integrated services backbone network |
Peter Newman |
1988-07 |
24 p
|
|
| 141 |
Reliable management of voice in a distributed system |
Roy Want |
1988-07 |
PhD
127 p
|
PDF (7.6 MB)
|
| 140 |
Executing behavioural definitions in higher-order logic |
Albert John Camilleri |
1988-07 |
PhD
183 p
|
PDF (8.1 MB)
|
| 139 |
Petri net theory: a survey |
Paul R. Manson |
1988-06 |
77 p
|
PDF (3.3 MB)
|
| 138 |
Authentication: a practical study in belief and action |
Michael Burrows, Martín Abadi, Roger Needham |
1988-06 |
19 p
|
|
| 137 |
Mass terms and plurals : From linguistic theory to natural language processing |
F.V. Hasle |
1988-06 |
171 p
|
|
| 136 |
Formal specification and verification of asynchronous processes in higher-order logic |
Jeffrey J. Joyce |
1988-06 |
45 p
|
PDF (2.3 MB)
|
| 135 |
Using reclusive types to reason about hardware in higher order logic |
Thomas F. Melham |
1988-05 |
30 p
|
|
| 134 |
Correctness properties of the Viper black model: the second level |
Avra Cohn |
1988-05 |
114 p
|
|
| 133 |
A preliminary users manual for Isabelle |
Lawrence C. Paulson |
1988-05 |
81 p
|
PDF (0.3 MB)
DVI (0.1 MB)
|
| 132 |
Reasoning about the function and timing of integrated circuits with Prolog and temporal logic |
Miriam Ellen Leeser |
1988-04 |
PhD
151 p
|
|
| 131 |
Architecture problems in the construction of expert systems for document retrieval |
Karen Spärck Jones |
1986-12 |
28 p
|
|
| 130 |
The foundation of a generic theorem prover |
Lawrence C Paulson |
1988-03 |
44 p
|
PDF (0.2 MB)
DVI (0.1 MB)
|
| 129 |
A methodology for automated design of computer instruction sets |
Jeremy Peter Bennett |
1988-03 |
PhD
147 p
|
PDF (5.8 MB)
|
| 128 |
Debugging concurrent and distributed programs |
Robert Charles Beaumont Cooper |
1988-02 |
PhD
110 p
|
|
| 127 |
A development environment for large natural language grammars |
John Carroll, Bran Boguraev, Claire Grover, Ted Briscoe |
1988-02 |
44 p
|
|
| 126 |
Reasoning about the function and timing of integrated circuits with Prolog and temporal logic |
M.E. Leeser |
1988-02 |
50 p
|
|
| 125 |
An operational semantics for Occam |
Juanito Camilleri |
1988-02 |
24 p
|
|
| 124 |
Formal verification of basic memory devices |
John Herbert |
1988-02 |
46 p
|
|
| 123 |
Case study of the Cambridge Fast Ring ECL chip using HOL |
John Herbert |
1988-02 |
38 p
|
|
| 122 |
Temporal abstraction of digital designs |
John Herbert |
1988-02 |
34 p
|
|
| 121 |
A high-level petri net specification of the Cambridge Fast Ring M-access service |
Jonathan Billington |
1987-12 |
31 p
|
|
| 120 |
Block encryption |
D. Wheeler |
1987-11 |
4 p
|
PDF (0.4 MB)
|
| 119 |
Pilgrim: a debugger for distributed systems |
Robert Cooper |
1987-07 |
19 p
|
|
| 118 |
Material concerning a study of cases |
B.K. Boguraev, K. Spärck Jones |
1987-05 |
31 p
|
|
| 117 |
Distributed computing with RPC: the Cambridge approach |
J.M. Bacon, K.G. Hamilton |
1987-10 |
15 p
|
PDF (1.0 MB)
|
| 116 |
Domain theoretic models of polymorphism |
Thierry Coquand, Carl Gunter, Glynn Winskel |
1987-09 |
52 p
|
|
| 115 |
Formal validation of an integrated circuit design style |
I.S. Dhingra |
1987-08 |
29 p
|
|
| 114 |
An architecture for integrated services on the local area network |
Stephen Ades |
1987-09 |
PhD
166 p
|
PDF (11.5 MB)
|
| 113 |
The representation of logics in higher-order logic |
Lawrence C. Paulson |
1987-08 |
29 p
|
|
| 112 |
Reducing thrashing by adaptive backtracking |
D.A. Wolfram |
1987-08 |
15 p
|
|
| 111 |
Realism about user modelling |
K. Spärck Jones |
1987-06 |
32 p
|
PDF (1.9 MB)
|
| 110 |
Relating two models of hardware |
Glynn Winskel |
1987-07 |
16 p
|
|
| 109 |
Hardware verification of VLSI regular structures |
Jeffrey Joyce |
1987-07 |
20 p
|
|
| 108 |
Workstation design for distributed computing |
Andrew John Wilkes |
1987-06 |
PhD
179 p
|
PDF (7.2 MB)
|
| 107 |
DI-domains as a model of polymorphism |
Thierry Coquand, Carl Gunter, Glynn Winskel |
1987-05 |
19 p
|
|
| 106 |
Abstraction mechanisms for hardware verification |
Thomas F. Melham |
1987-05 |
23 p
|
|
| 105 |
A compositional model of MOS circuits |
Glynn Winskel |
1987-04 |
25 p
|
|
| 104 |
A proof of correctness of the Viper microprocessor: the first level |
Avra Cohn |
1987-01 |
46 p
|
PDF (2.3 MB)
|
| 103 |
HOL : A proof generating system for higher-order logic |
Mike Gordon |
1987-01 |
56 p
|
|
| 102 |
A persistent storage system for Poly and ML |
David C.J. Matthews |
1987-01 |
16 p
|
|
| 101 |
Binary routing networks |
David Russel Milway |
1986-12 |
PhD
131 p
|
|
| 100 |
Proving a computer correct in higher order logic |
Jeff Joyce, Graham Birtwistle, Mike Gordon |
1986-12 |
57 p
|
|
| 99 |
An overview of the Poly programming language |
David C.J. Matthews |
1986-08 |
11 p
|
|
| 98 |
Power-domains, modalities and the Vietoris monad |
E. Robinson |
1986-10 |
16 p
|
PDF (1.1 MB)
|
| 97 |
A study on abstract interpretation and “validating microcode algebraically” |
Alan Mycroft |
1986-10 |
22 p
|
|
| 96 |
Models and logic of MOS circuits : Lectures for the Marktoberdorf Summerschool, August 1986 |
Glynn Winskel |
1986-10 |
47 p
|
|
| 95 |
Event structures : Lecture notes for the Advanced Course on Petri Nets |
Glynn Winskel |
1986-07 |
69 p
|
PDF (4.0 MB)
|
| 94 |
A mechanized proof of correctness of a simple counter |
Avra Cohn, Mike Gordon |
1986-06 |
80 p
|
|
| 93 |
Automated design of an instruction set for BCPL |
J.P. Bennett |
1986-06 |
56 p
|
|
| 92 |
Implementation and programming techniques for functional languages |
Stuart Charles Wray |
1986-06 |
PhD
117 p
|
|
| 91 |
Hardware verification using higher-order logic |
Albert Camilleri, Mike Gordon, Tom Melham |
1986-09 |
25 p
|
PDF (1.3 MB)
|
| 90 |
The Cambridge Fast Ring networking system (CFR) |
Andy Hopper, Roger M. Needham |
1986-06 |
25 p
|
|
| 89 |
Making form follow function : An exercise in functional programming style |
Jon Fairbairn |
1986-06 |
9 p
|
PDF (0.4 MB)
|
| 88 |
A shallow processing approach to anaphor resolution |
David Maclean Carter |
1986-05 |
PhD
233 p
|
|
| 87 |
Computer-aided type face design |
Kathleen Anne Carter |
1986-05 |
PhD
160 p
|
|
| 86 |
The Entity System: an object based filing system |
Stephen Christopher Crawley |
1986-04 |
PhD
120 p
|
|
| 85 |
Category theory and models for parallel computation |
Glynn Winskel |
1986-04 |
16 p
|
PDF (1.0 MB)
|
| 84 |
BSPL: a language for describing the behaviour of synchronous hardware |
Martin Richards |
1986-04 |
56 p
|
|
| 83 |
Operation system design for large personal workstations |
Ian David Wilson |
|
PhD
203 p
|
|
| 82 |
Natural deduction proof as higher-order resolution |
Lawrence C. Paulson |
1985-12 |
25 p
|
PDF (0.2 MB)
DVI (0.0 MB)
|
| 81 |
The implementation of functional languages using custom hardware |
William Robert Stoye |
1985-12 |
PhD
151 p
|
PDF (7.2 MB)
|
| 80 |
Interactive theorem proving with Cambridge LCF : A user's manual |
Lawrence C. Paulson |
1985-11 |
140 p
|
|
| 79 |
Petri nets, algebras and morphisms |
Glynn Winskel |
|
38 p
|
PDF (2.1 MB)
|
| 78 |
A complete proof system for SCCS with model assertions |
Glynn Winskel |
|
23 p
|
|
| 77 |
Why higher-order logic is a good formalisation for specifying and verifying hardware |
Mike Gordon |
|
27 p
|
|
| 76 |
Preserving abstraction in concurrent programming |
R.C.B. Cooper, K.G. Hamilton |
|
16 p
|
|
| 75 |
Design and implementation of a simple typed language based on the lambda-calculus |
Jon Fairbairn |
1985-05 |
PhD
107 p
|
PDF (0.6 MB)
|
| 74 |
Hardware verification by formal proof |
Mike Gordon |
|
6 p
|
|
| 73 |
Resource management in a distributed computing system |
Daniel Hammond Craft |
|
PhD
116 p
|
|
| 72 |
Logic programming and the specification of circuits |
W.F. Clocksin |
|
13 p
|
|
| 71 |
Executing temporal logic programs |
Ben Moszkowski |
1985-08 |
96 p
|
|
| 70 |
A remote procedure call system |
Kenneth Graham Hamilton |
|
PhD
109 p
|
|
| 69 |
Proving termination of normalization functions for conditional expressions |
Lawrence C. Paulson |
1985-06 |
16 p
|
PDF (0.1 MB)
DVI (0.0 MB)
|
| 68 |
HOL : A machine oriented formulation of higher order logic |
Mike Gordon |
1985-07 |
52 p
|
|
| 67 |
Natural deduction theorem proving via higher-order resolution |
Lawrence C. Paulson |
1985-05 |
19 p
|
|
| 66 |
A formal hardware verification methodology and its application to a network interface chip |
M.J.C. Gordon, J. Herbert |
|
35 p
|
|
| 65 |
Introduction to the programming language “Ponder” |
Mark Tillotson |
1985-05 |
57 p
|
|
| 64 |
A framework for inference in natural language front ends to databases |
Branimir K. Boguraev, Karen Spärck Jones |
1985-02 |
73 p
|
|
| 63 |
Poly manual |
David C.J. Matthews |
1985-02 |
46 p
|
|
| 62 |
Constraint enforcement in a relational database management system |
Michael Robson |
|
PhD
106 p
|
|
| 61 |
User models and expert systems |
Karen Spärck Jones |
1984-12 |
44 p
|
|
| 60 |
Memory and context mechanisms for automatic text processing |
Hiyan Alshawi |
|
PhD
192 p
|
|
| 59 |
On the composition and decomposition of assertions |
Glynn Winskel |
|
35 p
|
|
| 58 |
Categories of models for concurrency |
Glynn Winskel |
|
35 p
|
|
| 57 |
Constructing recursion operators in intuitionistic type theory |
Lawrence C. Paulson |
1984-10 |
46 p
|
PDF (0.3 MB)
DVI (0.1 MB)
|
| 56 |
A new scheme for writing functional operating systems |
William Stoye |
|
30 p
|
|
| 55 |
Executing temporal logic programs |
Ben Moszkowski |
1984-08 |
27 p
|
|
| 54 |
Lessons learned from LCF |
Lawrence Paulson |
1984-08 |
16 p
|
|
| 53 |
A new type-checker for a functional language |
Jon Fairbairn |
|
16 p
|
|
| 52 |
The design of a ring communication network |
Steven Temple |
|
PhD
132 p
|
PDF (6.3 MB)
|
| 51 |
Using information systems to solve recursive domain equations effectively |
Glynn Winskel, Kim Guldstrand Larsen |
|
41 p
|
|
| 50 |
Verifying the unification algorithm in LCF |
Lawrence Paulson |
1984-03 |
28 p
|
PDF (0.2 MB)
DVI (0.0 MB)
|
| 49 |
Programming language design with polymorphism |
David Charles James Matthews |
|
PhD
143 p
|
|
| 48 |
A mechanism for the accumulation and application of context in text processing |
Hiyan Alshawi |
1983-11 |
17 p
|
PDF (0.8 MB)
|
| 47 |
Automatic summarising of English texts |
John Irving Tait |
|
PhD
137 p
|
PDF (8.0 MB)
|
| 46 |
Intelligent network interfaces |
Nicholas Henry Garnett |
|
PhD
140 p
|
|
| 45 |
Compound noun interpretation problems |
Karen Spärck Jones |
1983-07 |
16 p
|
PDF (1.2 MB)
|
| 44 |
Structural induction in LCF |
Lawrence Paulson |
1983-11 |
35 p
|
|
| 43 |
Extending the local area network |
Ian Malcom Leslie |
|
PhD
71 p
|
|
| 42 |
Proving a computer correct with the LCF_LSM hardware verification system |
Mike Gordon |
|
49 p
|
|
| 41 |
LCF_LSM, A system for specifying and verifying hardware |
Mike Gordon |
|
47 p
|
|
| 40 |
The SKIM microprogrammer’s guide |
W. Stoye |
1983-10 |
33 p
|
|
| 39 |
Tactics and tacticals in Cambridge LCF |
Lawrence Paulson |
1983-07 |
26 p
|
|
| 38 |
Views and imprecise information in databases |
Mike Gray |
|
PhD
119 p
|
|
| 37 |
Representation and authentication on computer networks |
Christopher Gray Girling |
|
PhD
154 p
|
|
| 36 |
The revised logic PPLAMBDA : A reference manual |
Lawrence Paulson |
1983-03 |
28 p
|
PDF (0.7 MB)
|
| 35 |
Rewriting in Cambridge LCF |
Larry Paulson |
1983-02 |
32 p
|
DVI (0.0 MB)
|
| 34 |
Recent developments in LCF: examples of structural induction |
Larry Paulson |
1983-01 |
15 p
|
|
| 33 |
An island parsing interpreter for Augmented Transition Networks |
John A. Carroll |
1982-10 |
50 p
|
PDF (1.9 MB)
|
| 32 |
How to drive a database front end using general semantic information |
B.K. Boguraev, K. Spärck Jones |
1982-11 |
20 p
|
|
| 31 |
Ponder and its type system |
J. Fairbairn |
1982-11 |
42 p
|
PDF (1.4 MB)
|
| 30 |
A portable BCPL library |
John Wilkes |
1982-10 |
31 p
|
|
| 29 |
Introduction to Poly |
D.C.J. Matthews |
1982-05 |
24 p
|
PDF (1.0 MB)
|
| 28 |
Poly report |
D.C.J. Matthews |
1982-08 |
17 p
|
PDF (0.8 MB)
|
| 27 |
Exception handling in domain based systems |
Martyn Alan Johnson |
|
PhD
129 p
|
|
| 26 |
Portable system software for personal computers on a network |
Brian James Knight |
|
PhD
204 p
|
|
| 25 |
A clustering technique for semantic network processing |
Hiyan Alshawi |
1982-05 |
9 p
|
|
| 24 |
Steps towards natural language to data language translation using general semantic information |
B.K. Boguraev, K. Spärck Jones |
1982-03 |
8 p
|
|
| 23 |
Two papers about the scrabble summarising system |
J.I. Tait |
|
12 p
|
PDF (0.7 MB)
|
| 22 |
Constraints in CODD |
M. Robson |
|
18 p
|
PDF (1.1 MB)
|
| 21 |
The correctness of a precedence parsing algorithm in LCF |
A. Cohn |
1982-04 |
38 p
|
PDF (1.8 MB)
|
| 20 |
On using Edinburgh LCF to prove the correctness of a parsing algorithm |
Avra Cohn, Robin Milner |
1982-02 |
23 p
|
PDF (1.2 MB)
|
| 19 |
Analysis and inference for English |
Arthur William Sebright Cater |
1981-09 |
PhD
223 p
|
|
| 18 |
Automatic mesh generation of 2 & 3 dimensional curvilinear manifolds |
Burkard Wördenweber |
1981-11 |
PhD
128 p
|
|
| 17 |
Three papers on parsing |
B.K. Boguraev, K. Spärck Jones, J.I. Tait |
1982 |
22 p
|
|
| 16 |
Reliable storage in a local network |
Jeremy Dion |
|
PhD
129 p
|
|
| 15 |
The implementation of BCPL on a Z80 based microcomputer |
I.D. Wilson |
|
68 p
|
PDF (2.4 MB)
|
| 14 |
Store to store swapping for TSO under OS/MVT |
J.S. Powers |
1980-06 |
28 p
|
PDF (1.9 MB)
|
| 13 |
Resource allocation and job scheduling |
Philip Hazel |
|
41 p
|
PDF (2.0 MB)
|
| 12 |
HASP “IBM 1130” multileaving remote job entry protocol with extensions as used on the University of Cambridge IBM 370/165 |
M.R.A. Oakley, P. Hazel |
1979-09 |
28 p
|
|
| 11 |
Automatic resolution of linguistic ambiguities |
Branimir Konstatinov Boguraev |
|
PhD
222 p
|
PDF (10.9 MB)
|
| 10 |
Prediction oriented description of database systems |
Mark Theodore Pezarro |
|
PhD
190 p
|
|
| 9 |
Evaluation of a protection system |
Douglas John Cook |
|
PhD
181 p
|
|
| 7 |
Local area computer communications network |
Andrew Hopper |
|
PhD
192 p
|
|
| 6 |
System programming in a high level language |
Andrew D. Birrell |
|
PhD
125 p
|
|
| 5 |
Parrot – A replacement for TCAM |
P. Hazel, A.J.M. Stoneley |
1976-04 |
25 p
|
PDF (1.2 MB)
|
| 4 |
The dynamic creation of I/O paths under OS/360-MVT |
A.J.M. Stoneley |
1975-04 |
16 p
|
PDF (0.9 MB)
|
| 3 |
A replacement for the OS/360 disc space management routines |
A.J.M. Stoneley |
1975-04 |
7 p
|
PDF (0.6 MB)
|
| 2 |
Scheduling for a share of the machine |
J. Larmouth |
1974-10 |
29 p
|
PDF (1.4 MB)
|
| 1 |
The JACKDAW database package |
M.F. Challis |
1974-10 |
15 p
|
PDF (0.8 MB)
|
