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