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

• Shrivastava SK. A Dependancy, Commitment and Recovery Model for Atomic Actions. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1982. Computing Laboratory Technical Report Series 178.
• Rushby JM, Randell B. A Distributed Secure System. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1982. Computing Laboratory Technical Report Series 182.
• Anderson T, Moulding MR. A MASCOT Recovery Block Scheme. Newcastle, 1982. MARI Report A049/DD.4/2.
• Barringer H, Jones CB. A survey of verification techniques for parallel programs. Manchester: University of Manchester, 1982.
• Badr HG, Mitrani I, Spirn JR. An Adaptive Priority Queue. In: ORSA-TIMS Conference. 1982, Atlantic University, Boca Raton, Florida, USA: Birkhauser, Boston.
• King K, Lee PA, Maryanski F. An Architecture for Local Area Network Servers. In: 25th IEEE Computer Society International Conference: Computer Networks (COMPCON Fall 82). 1982, Washington D.C., USA: IEEE Computer Society Press.
• Wright K. Asymptotic Properties of Matrices Associated with the Quadrature method for Integral Equations. In: Symposium on the Treatment of integral equations by numerical methods. 1982, Durham, UK: Academic Press.
• Gelenbe E, Mitrani I. Control Policies in CSMA Local Area Networks: Ethernet Controls. ACM SIGMETRICS Peformance Evaluation Review 1982, 11(4), 233-240.
• Anderson T, Moulding MR. Evaluating Software Fault Tolerance in a Real-Time System. In: Second European Symposium on Real-Time Data Handling and Process Control. 1982, Versailles.
• Anderson T, Lee PA. Fault Tolerance Terminology Proposals. In: 12th Annual International Symposium on Fault-Tolerant Computing (FTCS-12). 1982, Santa Monica, CA, USA: IEEE Computer Society Press.
• Anderson T, Lee PA. Fault Tolerance Terminology Proposals. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1982. Computing Laboratory Technical Report Series 174.
• Bjørner D, Jones CB. Formal Specification and Software Development. Englewood Cliffs, NJ: Prentice Hall International, 1982.
• Randell B. From Analytical Engine to Electronic Digital Computer: The Contributions of Ludgate, Torres and Bush. IEEE Annals of the History of Computing 1982, 4(4), 327-341.
• Lee PA, Morgan D. Fundamental Concepts of Fault Tolerant Computing: Progress Report. In: 12th Annual International Symposium on Fault-Tolerant Computing (FTCS-12). 1982, Santa Monica, CA, USA: IEEE Computer Society Press.
• King PJB, Mitrani I. Modelling the Cambridge Ring. ACM SIGMETRICS Performance Evaluation Review 1982, 11(4), 250-258.
• Panzieri F, Shrivastava SK. Reliable Remote Calls for Distributed UNIX: An Implementation Study. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1982. Computing Laboratory Technical Report Series 177.
• Mitrani I. Simulation Techniques for Discrete Event Systems. Cambridge: Cambridge University Press, 1982.
• Anderson T, Knight JC. Software Fault Tolerance for Real-Time Avionics Systems. In: AGARD Symposium on Software for Avionics. 1982, The Hague, Netherlands: Advisory Group for Aerospace Research and Development.
• Shrivastava SK, Panzieri F. The design of a reliable remote procedure call mechanism. IEEE Transactions on Computers 1982, 31(7), 692-697.
• King PJB, Mitrani I. The Effect of Breakdowns on the Performance of Multiprocessor Systems. In: 8th International Conference on Modelling and Performance Evaluation (Performance). 1982, Amsterdam, The Netherlands: North-Holland Publishing.
• Brownbridge DR, Marshall LF, Randell B. The Newcastle Connection or UNIXes of the World Unite!. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1982. Computing Laboratory Technical Report Series 175.
• Brownbridge DR, Marshall LF, Randell B. The Newcastle Connection, or - UNIXes of the World Unite!. Software: Practice and Experience 1982, 12(12), 1147-1162.
• Randell B, ed. The Origins of Digital Computers: Selected Papers. Berlin; New York: Springer, 1982.
• Fayolle G, King PJB, Mitrani I. The Solution of Certain Two-Dimensional Markov Models. Advances in Applied Probability 1982, 14(2), 295-308.
• Randell B. The Structuring of Distributed Computing Systems. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1982. Computing Laboratory Technical Report Series 181.
• Randell B, Treleaven PC, ed. VLSI Architecture. Englewood Cliffs, New Jersey, USA: Prentice Hall International, 1982.