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

• Allen CD, Chapman DN, Jones CB. A formal definition of ALGOL 60. Hursley: IBM Laboratory, 1972. 12.105.
• Mitrani I. A Queueing Model of Priority Multi-programming. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1972. Computing Laboratory Technical Report Series 41.
• Randell B. COLOSSUS: Godfather of the computer. New Scientist 1972, 73(1038), 346-348.
• Jones CB. Formal development of correct algorithms: an example based on Earley’s recogniser. In: ACM Conference on Proving Assertions about Programs. 1972, New Mexico State University, Las Cruces, New Mexico: ACM.
• Mitrani I. Non-Priority Multiprogramming Systems Under Heavy Demand Conditions. Journal of the ACM 1972, 19(3), 445-452.
• Randell B. On Alan Turing and the Origins of Digital Computers. In: Meltzer, B., Michie, D, ed. Machine Intelligence. Edinburgh, UK: Edinburgh University Press, 1972, pp.3-20.
• Randell B. On Alan Turing and the Origins of Digital Computers. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1972. Computing Laboratory Technical Report Series 33.
• Randell B. Operating Systems: The problems of performance and reliability. In: IFIP Congress 1971: Information Processing 71. 1972, Ljubljana, Yugoslavia: North-Holland Publishing.
• Jones CB. Operations and formal development. Hursley: IBM Laboratory, 1972. TN 9004.
• Horning JJ, Randell B. Process Structuring. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1972. Computing Laboratory Technical Report Series 31.
• Denning PJ, Randell B, ed. Special Issue on Third ACM Symposium on Operating Systems Principles. New York, USA: ACM Press, 1972.
• Randell B. The Origins of Digital Computers: A Bibliography. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1972. Computing Laboratory Technical Report Series 38.
• Alderson A, Lynch WC, Randell B. Thrashing in a Multi-programmed Paging System. In: Hoare, C.A.R., Perrott, R.H, ed. Operating Systems Techniques. New York; London: Academic Press, 1972, pp.152-167.
• Mitrani I. [PhD Thesis] Congestion Problems in Computing Systems. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1972.
• Anderson T. [PhD Thesis] Syntactic analysis of LR(k) languages. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1972.