1. Martin Kleppmann, Victor B. F. Gomes, Dominic P. Mulligan, Alastair R. Beresford, "OpSets: Sequential Specifications for Replicated Datatypes (Proof Document)," Technical Report, Archive of Formal Proofs, May 2018

2. Martin Kleppmann, Victor B. F. Gomes, Dominic P. Mulligan, Alastair R. Beresford, "OpSets: Sequential Specifications for Replicated Datatypes (Extended Version)," Technical Report, arXiv:1805.04263, May 2018

3. Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, Alastair R. Beresford, "A framework for establishing Strong Eventual Consistency for Conflict-free Replicated Datatypes," Technical Report, Archive of Formal Proofs, Jul 2017

4. Sherif Akoush, Ripduman Sohan, Andrew Rice, Andy Hopper, "Evaluating the viability of remote renewable energy in datacentre computing," Technical Report, UCAM-CL-TR-889, University of Cambridge, Computer Laboratory, May 2016

5. Sherif Akoush, Ripduman Sohan, Andy Hopper, "Recomputation-based data reliability for MapReduce using lineage," Technical Report, UCAM-CL-TR-888, University of Cambridge, Computer Laboratory, May 2016

6. Martin Kleppmann, "A critique of the CAP theorem," Technical Report, arXiv:1509.05393, Sep 2015

7. Lucian Carata, Oliver Chick, James Snee, Ripduman Sohan, Andrew Rice, Andy Hopper, "Resourceful: fine-grained resource accounting for explaining service variability," Technical Report, UCAM-CL-TR-859, University of Cambridge, Computer Laboratory, Sep 2014

8. Jatinder Singh, Jean Bacon, Jon Crowcroft, Anil Madhavapeddy, Thomas Pasquier, Kuan W. Hon, Christopher Millard, "Regional Clouds: Technical Considerations," Technical Report, UCAM-CL-TR-863, University of Cambridge, Computer Laboratory, 2014

9. Alastair Beresford, Soren Preibusch, Dorothea Kubler, "Unwillingness to Pay for Privacy: A Field Experiment," Technical Report, 5017, Institute for the Study of Labor (IZA), Jun 2010

10. Dave Singelee, Ford-Long Wong, Bart Preneel, Frank Stajano, "A Theoretical Model for Location Privacy in Wireless Personal Area Networks," Technical Report, no.1176, KU Leuven COSIC, Oct 2008

11. Ruoshui Liu, Ian Wassell, "A novel auto-calibration system for wireless sensor motes," Technical Report, UCAM-CL-TR-727, University of Cambridge, Sep 2008

12. Andrew Rice, Sherif Akoush, Andy Hopper, "Failure is an option," Technical Report, MSR-TR-2008-61, Microsoft Research Technical Report, May 2008

13. Oliver J. Woodman, "An introduction to inertial navigation," Technical Report, UCAM-CL-TR-696, University of Cambridge, Aug 2007

14. Martin Kleppmann, "Simulation of colliding constrained rigid bodies," Technical Report, UCAM-CL-TR-683, University of Cambridge, Computer Laboratory, Apr 2007

15. Pablo Vidales, "Seamless Mobility in 4G Systems," Technical Report, UCAM-CL-TR-656, University of Cambridge, Nov 2005

16. Karen Su, "Efficient Maximum Likelihood Detection for Communication over MIMO Channels," Technical Report, Hamilton Prize Essay 2004, University of Cambridge, Feb 2005

17. David Scott, "Abstracting Application-Level Security Policy for Ubiquitous Computing," Technical Report, UCAM-CL-TR-613, University of Cambridge, 2005

18. Eleanor Toye, Anil Madhavapedy, Richard Sharp, David Scott, Alan Blackwell, Eben Upton, "Using camera-phones to interact with context-aware mobile services," Technical Report, UCAM-CL-TR-609, University of Cambridge, Computer Laboratory, Dec 2004

19. Kieran Mansley, "Tweaking TCP's Timers," Technical Report, CUED/F-INFENG/TR.487, Cambridge University Engineering Department, Jun 2004

20. Karen Su, "Space-time Coding: From Fundamentals to the Future," Technical Report, Sep 2003

21. Tom Kelly, "The case for a new IP congestion control framework," Technical Report, CUED/F-INFENG/TR.434, Cambridge University Engineering Department, Jun 2002

22. Tom Kelly, "On engineering a stable and scalable TCP variant," Technical Report, CUED/F-INFENG/TR.435, Cambridge University Engineering Department, Jun 2002

23. George Coulouris, "QoSDream Review Report ," Technical Report, Cambridge University, Feb 2002

24. David Riddoch, Steve Pope, Kieran Mansley, "VIA over the CLAN Network," Technical Report, TR.LCE.01.2, University of Cambridge, Nov 2001

25. C. L. Hong, "An improved post-processing method and an analysis of wideband channel sounding results," Technical Report, CUED/F-INFENG/TR.477, Cambridge University Engineering Department, Nov 2001

26. David Scott, Richard Sharp, "Abstracting Application-Level Web Security," Technical Report, 2001.11, AT&T Laboratories, Nov 2001

27. Maurice V. Wilkes, "A Personal Revisitation of Neural Nets," Technical Report, TR.LCE.01.1, University of Cambridge, Oct 2001

28. Maurice Wilkes, "The Memory Gap and the Future of High Performance Memories ," Technical Report, AT&T Laboratories Cambridge, Apr 2001

29. S. J. Hodges, S. Pope, D. E. Roberts, G. E. Mapp, A. Hopper, "Remoting Peripherals using Memory-Mapped Networks," Technical Report, ORL 98/7, Olivetti Research , Aug 1998

30. Pete Steggles, Paul Webster, Andy Harter, "The Implementation of a Distributed Framework to support ," Technical Report, Mar 1998

31. Frank Stajano, "A Gentle Introduction to Relational and Object Oriented Databases," Technical Report, ORL, Feb 1998

32. Frank Stajano, Tom Blackie, "AMIE - Advanced Multimedia Integrated Environment ," Technical Report, (CD ROM), AT&T Laboratories Cambridge, 1997

33. John Porter, Andy Hopper, Damian Gilmurray, Oliver Mason, John Naylon, Alan Jones, "The ORL Radio ATM System, Architecture and Implementation ," Technical Report, AT&T Laboratories Cambridge, May 1996

34. John Porter, Andy Hopper, "An ATM based protocol for Wireless LANs ," Technical Report, ORL 94/2, Olivetti Research, Feb 1994

35. Frazer Bennett, Andy Harter, "Low Bandwidth Infra-Red Networks and Protocols for Mobile Communicating Devices ," Technical Report, AT&T Laboratories Cambridge, May 1993

36. David Greaves, David Milway, David Garnett, Andy Hopper, "Design and Implementation of an ATM Backbone Ring ," Technical Report, ORL 91/4, Olivetti Research, Apr 1991

37. Maurice V. Wilkes, "Computing Perspectives ," Technical Report, Columns reprinted from the Communications of the ACM. April 1990 - August 1991, AT&T Laboratories Cambridge, Mar 1991

38. Ian D. Wilson, David Milway, Andy Hopper, "Experiments in Digital Video for Workstations ," Technical Report, ORL 89/2, Olivetti Research, Feb 1989