Publications
The School of Computing Science was originally founded in 1957 as the Computing Laboratory and has published thousands of publications. At that time Newcastle University was part of Durham University and known as King's College. In 1963 King's College became the University of Newcastle upon Tyne, and in 1992 the Computing Laboratory became the Department of Computing Science.
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 1968 1967 1966 1965 1964 1963 1962 1961 1960 1958
- Best E, Randell B. A Formal Model of Atomicity in Asynchronous Systems.
Acta Informatica 1981, 16(1), 93-124.
- Jones CB. Development methods for computer programs including a notion of interference.
Oxford: Programming Research Group, Computing Lab, Oxford University, 1981. PRG-25.
- Lee PA, Anderson T. Fault Tolerance: Principles and Practice.
Englewood Cliffs, N.J: Prentice Hall, 1981.
- Anderson T, Moulding MR. Fault Tolerant Software in Naval Command and Control Systems.
Newcastle, 1981. MARI Report A049/DD.0/1.
- Randell B. From Analytical Engine to Electronic Digital Computer: The Contributions of Ludgate (1883-1922), Torres y Quevedo (1852-1936) and Bush (1890-1974).
Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1981. Computing Laboratory Technical Report Series 164.
- Mitrani I, King PJB. Multiprocessor Systems with Preemptive Priorities.
Performance Evaluation 1981, 1(2), 118-125.
- Anderson T, Knight JC. Practical Software Fault Tolerance for Real-time Systems.
Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1981. Computing Laboratory Technical Report Series 169.
- Randell B. Reliability and Integrity of Distributed Computing Systems: Progress Report 1978-80.
In: 11th Annual International Symposium on Fault-Tolerant Computing (FTCS). 1981, Portland, Maine, USA: IEEE Computer Society Press.
- Randell B. Review of “History of Programming Languages” ed. by R. L. Wexelblat.
Science 1981, (214), 4519.
- Lee PA, Lloyd JL, Shrivastava SK. Some Critical Comments on the Paper "An Optimal Approach to Fault Tolerant Software Systems Design" by Gannon and Shapiro.
IEEE Transactions on Software Engineering 1981, 7(6), 608-610.
- Jones CB. Specification as a Design Base (Extended Abstract).
In: 3rd Conference of the European Cooperation in Informatics: Trends in Information Processing Systems (ECI 81). 1981, Munich, Germany: Springer-Verlag.
- Shrivastava SK. Structuring distributed systems for recoverability and crash resistance.
IEEE Transactions on Software Engineering 1981, 7(4), 436-447.
- Whitfield H. The Challenge of the Chip.
Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1981. Computing Laboratory Technical Report Series 159.
- Shrivastava SK, Panzieri F. The Design of a Reliable Remote Procedure Call Mechanism.
Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1981. Computing Laboratory Technical Report Series 171.
- Sevcik KC, Mitrani I. The Distribution of Queueing Network States at Input and Output Instants.
Journal of the ACM 1981, 28(2), 358-371.
- Jones CB. Towards more formal specifications.
In: German ACM Symposium on 'Software Specifikation und Entwicklung' : Software Engineering – Entwurf und Specifikation. 1981, Berlin, Germany: Teubner Verlag.