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
- Henhapl W, Jones CB. A Formal Definition of Algol 60 as Described in the 1975 Modified Report.
In: Bjørner, D. and Jones, C.B, ed. The Vienna Development Method: The Meta-Language. Berlin: Springer-Verlag, 1978, pp.305-336.
- Anderson T, Lee PA, Shrivastava SK. A Model of Recoverability in Multilevel Systems.
IEEE Transactions on Software Engineering 1978, SE-4(6), 486-494.
- Lee PA. A Reconsideration of the Recovery Block Scheme.
The Computer Journal 1978, 21(4), 306-310.
- Lee PA. A Reconsideration of the Recovery Block Scheme.
Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1978. Computing Laboratory Technical Report Series 119.
- Cruickshank DM, Wright K. Computable Error Bounds for Polynomial Collocation Methods.
SIAM Journal on Numerical Analysis 1978, 15(1), 134-151.
- Shrivastava SK. Concurrent Pascal with Backward Error-recovery.
Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1978. Computing Laboratory Technical Report Series 127.
- Jones CB. Denotational Semantics of GOTO: An Exit Formulation and Its Relation to Continuations.
In: Bjørner, D. and Jones, C.B, ed. The Vienna Development Method: The Meta-Language. Berlin: Springer-Verlag, 1978, pp.278-304.
- Randell B. Error Recovery in Distributed Computing Systems.
The Computer Bulletin 1978, 2, 10.
- Shrivastava SK, Akinpelu AA. Fault Tolerant Sequential Programming Using Recovery Blocks.
Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1978. Computing Laboratory Technical Report Series 122.
- Randell B, Lee PA, Treleaven PC. Reliability Issues in Computing System Design.
ACM Computing Surveys 1978, 10(2), 123-165.
- Randell B, Lee PA, Treleaven PC. Reliable Computing Systems.
In: Flynn, M.J., Gray, J. and Jones, A.K. et. al, ed. Operating Systems: An Advanced Course. Berlin: Springer-Verlag, 1978, pp.283-393.
- Shrivastava SK, Banatre J-P. Reliable resource allocation between unreliable processes.
IEEE Transactions on Software Engineering 1978, 4(3), 230-241.
- Anderson T, Shrivastava SK. Reliable software: a selective annotated bibliography.
Software - Practice and Experience 1978, 8(1), 59-76.
- Randell B. Review of “Pioneers of Computer: A Series of Archival Recordings” by C. Evans.
Computing Reviews 1978, 19, 221.
- Anderson T. Review of Software Reliability.
G.J. Myers, 1978.
- Prince PJ, Wright K. Runge-Kutta Processes with Exact Principal Error Equations.
Journal of the Institute of Mathematics and its Applications 1978, 21(3), 363-373.
- Anderson T, Witty RW. Safe Programming.
BIT 1978, 1-8.
- Elliott WD, Randell B. Selected Bibliography on the Structure and Design of Programming Languages.
Toronto, Canada: Computer Systems Research Group, University of Toronto, 1978. 14.
- Shrivastava SK. Sequential Pascal with recovery blocks.
Software - Practice and Experience 1978, 8(2), 177-185.
- Shrivastava SK. Sequential Pascal with Recovery Blocks.
Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1978. Computing Laboratory Technical Report Series 123.
- Merlin PM, Randell B. State Restoration in Distributed Systems.
In: 8th International Conference on Fault-Tolerant Computing (FTCS). 1978, Toulouse, France: IEEE Computer Society Press.
- Treleavan PC, Farrell EP, Ghani N, Jones SB, Randell B, Smith PJ. The Design of Highly Concurrent Computing Systems.
Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1978. Computing Laboratory Technical Report Series 126.
- Jones CB. The META-Language: A Reference Manual.
In: Bjørner, D. and Jones, C.B, ed. The Vienna Development Method: The Meta-Language. Berlin: Springer-Verlag, 1978, pp.218-277.
- Gelenbe E, Kurinckx A, Mitrani I. The Rate Control Policy in Virtual Memory Management.
In: 2nd International Conference on Operating Systems. 1978, Paris, France.
- Jones CB. The Vienna Development Method: Examples of compiler development.
In: 1978 EEC-IRIA-CREST Conference on State of the Art and Future Trends in Compilation: Le Point sur la Compilation. 1978, Montpellier, France: IRIA, Le Chesnay.
- Bjørner D, Jones CB, ed. The Vienna Development Method: The Meta-Language.
Berlin: Springer-Verlag, 1978.