Technical Reports
Year: 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 2002 2001 2000 1999 1998 1997 1996 1995 1994 1993 1992 1991 1990 1989 1988 1987 1986 1985 1984 1983 1982 1981 1980 1979 1978 1977 1976 1975 1974 1973 1972 1971 1970 1969
- Simpson, R.M.A Study in the Design of High Integrity Systems. Computing Laboratory. 1974. Computing Laboratory Technical Report Series 67 (download PDF).
- Laver, F.J.M.Computing and Communications. Computing Laboratory. 1974. Computing Laboratory Technical Report Series 66 (download PDF).
- Randell B. The History of Digital Computers. Computing Laboratory. 1974. Computing Laboratory Technical Report Series 65 (download PDF).
- Lauer, P.E. and Campell, R.H.A Description of Path Expressions by Petri-Nets. Computing Laboratory. 1974. Computing Laboratory Technical Report Series 64 (download PDF).
- Campell, R.H. and Lauer, P.E.A Spectrum of Solutions to the Cigerette Smokers Problem. Computing Laboratory. 1974. Computing Laboratory Technical Report Series 63 (download PDF).
- Mitrani I. Networks of Unreliable Computers. Computing Laboratory. 1974. Computing Laboratory Technical Report Series 62 (download PDF).
- Knuth, D.E. and Szwarcfiter, J.L.A Structured Program to Generate all Topological Sorting Arrangements. Computing Laboratory. 1974. Computing Laboratory Technical Report Series 61 (download PDF).
- Szwarcfiter, J.L. and Lauer, P.E.Finding the Elementary Cycles of a Directed Graph in O (N+M) per cycle. Computing Laboratory. 1974. Computing Laboratory Technical Report Series 60 (download PDF).
- Horning JJ, Lauer HC, Melliar-Smith PM, Randell B. A Program Structure for Error Detection and Recovery. Computing Laboratory. 1974. Computing Laboratory Technical Report Series 59 (download PDF).
- Henderson, P. and Quarendon, P.Finite State Testing of Structured Programs. Computing Laboratory. 1974. Computing Laboratory Technical Report Series 58 (download PDF).
- Randell B. Research on Computing System Reliability at the University of Newcastle upon Tyne. Computing Laboratory. 1974. Computing Laboratory Technical Report Series 57 (download PDF).
- Newman, N.M.The Tape-Recorder and Instruction in the Operation of Equipment. Computing Laboratory. 1974. Computing Laboratory Technical Report Series 56 (download PDF).
- Campell, R.H.The Specification of Process Synchronization by Path Expressions. Computing Laboratory. 1974. Computing Laboratory Technical Report Series 55 (download PDF).