Newcastle University

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

• Barringer H, Cheng JH, Jones CB. A Logic Covering Undefinedness in Program Proofs. Acta Informatica 1984, 21(3), 251-269.
• Morris FL, Jones CB. An Early Program Proof by Alan Turing. IEEE Annals of the History of Computing 1984, 6(2), 139-143.
• Mitra D, Mitrani I. Analysis and Optimal Performance of Two Message-Passing Parallel Processors Synchronized by Rollback. In: 10th International Conference on Modelling and Performance Evaluation. 1984, Paris, France.
• Wright K. Asymptotic Properties of Collocation Matrix Norms 1: Global Polynomial Approximation. IMA Journal of Numerical Analysis 1984, 4(2), 185-202.
• Gerrard C, Wright K. Asymptotic Properties of Collocation Matrix Norms 2: Piecewise Polynomial Approximation. IMA Journal of Numerical Analysis 1984, 4(3), 363-373.
• Anderson T. Can Design Faults be Tolerated?. In: 2nd GI/NTG/GMR Conference on Fault Tolerant Computing Systems. 1984, Bonn: Springer.
• Collins PDB, Speirs NA. Can the Z boson be Composite?. Physics Letters B: Nuclear, Elementary Particle and High-Energy Physics 1984, 144(3-4), 275-279.
• Randell B. Coping with Complexity in Systems Development. InterMedia 1984, 12(4-5), 84-85.
• Randell B. Fault Tolerance and System Structuring. In: 4th Jerusalem Conference on Information Technology: Next Decade in Information Technology (JCIT). 1984, Jerusalem, Israel: IEEE Computer Society Press.
• Anderson T, Barrett PA, Halliwell DN. Fault Tolerant Software in Naval Command and Control Systems: Results and Conclusions from the Experimental Programme. Newcastle, 1984. MARI Report 4844/DD.17/2.
• Lee PA. Impact of Next Generation System Requirements on Software Fault Tolerance. In: Embedded Computer Software Conference. 1984, Washington DC.
• Jones CB. Konstruowanie oprogramowania metodą systematyczną. Warsaw: Wydawnictwa Naukowo-Techniczne, 1984.
• Koutny M. On the Merlin-Randell Problem of Train Journeys. In: 6th International Symposium on Programming. 1984, Toulouse, France: Springer-Verlag.
• Anderson T. Problems of Scale in Empirical Evaluation Projects. In: 14th International Conference on Fault-Tolerant Computing (FTCS). 1984, Kissimmee, Florida, USA: IEEE Computer Society Press.
• Jones CB, ed. Programming Languages and Their Definition. Hans Bekic (1936-1982). Selected papers. Berlin: Springer-Verlag, 1984.
• Anderson T, et al. Software Reliability and Metrics Programme. 1984. IEE (for the Alvey Directorate).
• Anderson T, et al. Software Reliability Research Programme - Overview. 1984. IEE (for the Alvey Directorate).
• Jones CB. Specification and verification [Foreword]. IEEE Transactions on Software Engineering 1984, SE-10(2), 126-127.
• Randell B. The Newcastle Connection: A software subsystem for constructing distributed UNIX systems. In: CERN. 1984, School of Computing, Aiguablava, Catalonia, Spain.
• Randell B. The Newcastle Connection: A Software Subsystem for Constructing Distributed UNIX Systems. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1984. Computing Laboratory Technical Report Series 194.