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

• Hopkins RP, Koutny M. A Model for Dynamically Structured Communicating Systems. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1987. Computing Laboratory Technical Report Series 239.
• Corradi A, Salati C, Speirs NA. A Reliable Telecontrol Application Built on a Fault Tolerant Distributed System. In: IASTED International Conference on Reliability and Quality Control. 1987, Paris, France: International Association of Science and Technology for Development.
• Shrivastava SK. A tutorial on the principles of fault tolerance. Sadhana 1987, 11(1-2), 7-22.
• Watson P, Watson I. An Efficient Garbage Collection Scheme for Parallel Computer Architectures. In: 1st International Symposium on Parallel Architectures and Languages Europe (PARLE). 1987, Eindhoven, The Netherlands: Springer.
• Jones CB, Moore R. An experimental user interface for a theorem proving assistant. Manchester: University of Manchester, 1987. UMCS 87-12-8.
• Mitra D, Mitrani I. Analysis and Optimal Performance of Two Message-Passing Parallel Processors Synchronized by Rollback. Performance Evaluation 1987, 7(2), 111-124.
• Robert P, Mitrani I, King PJB. Analysis of a Meteor Scatter Communication Protocol. In: 12th IFIP WG 7.3 International Symposium on Computer Performance Modelling, Measurement and Evaluation (Performance '87). 1987, Brussels, Belgium: North-Holland.
• Greenberg AG, Mitrani I. Analysis of Snooping Caches. In: 12th IFIP WG 7.3 International Symposium on Computer Performance Modelling, Measurement and Evaluation (Performance '87). 1987, Brussels, Belgium: North-Holland.
• Banach R, Watson P. Dealing with state on Flagship: the MONSTR computational model. In: Thakkar, S.S, ed. Selected Reprints on Dataflow and Reduction Architectures. Washington DC, USA: IEEE, 1987.
• Randell B. Design Fault Tolerance. In: Avizienis, A., Kopetz, H., Laprie, J.-C, ed. The Evolution of Fault-Tolerant Computing. Berlin; New York: Springer-Verlag, 1987, pp.251-270.
• Anderson T. Design Fault Tolerance in Practical Systems. In: Littlewood, B, ed. Software Reliability: Achievement and Assessment. Oxford, UK: Blackwell Scientific Publications, 1987, pp.44-55.
• Ezhilchelvan PD. Early Stopping Algorithms For Distributed Agreement Under Fail-stop, Omission, and Timing Fault Types. In: 6th IEEE Symposium on Reliability in Distributed Software and Database Systems. 1987, Williamsburg, VA.
• Ezhilchelvan PD. Early Stopping Algorithms for Distributed Agreement Under Fail-stop, Omission, and Timing Fault Types. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1987. Computing Laboratory Technical Report Series 235.
• Randell B. ESPRIT Basic Research Actions. In: IT Forum at the 4th ESPRIT Conference: Achievements and Impacts (Esprit). 1987, Brussels, Belgium: Elsevier Science BV (North-Holland).
• Watson P, Watson I. Evaluating Functional Programs on the Flagship Machine. In: Functional Programming Languages and Computer Architectures Conference. 1987, Portland, Oregon, USA: Springer-Verlag.
• Dixon GN, Shrivastava SK. Exploiting Type Inheritance Facilities to Implement Recoverability in Object Based Systems. In: 6th IEEE Symposium on Reliability in Distributed Software and Database Systems. 1987, Williamsburg, Virginia, USA: IEEE Computer Society Press.
• Mancini LV, Shrivastava SK. Failure Detection in Replicated Systems. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1987. Computing Laboratory Technical Report Series 238.
• Anderson T, et al. Fault Tolerant Software in a Naval Command and Control System. Newcastle, 1987. Computing Lab/MARI Report 4844/DD.17/5.
• Watson I, Sargeant J, Woods JV, Watson P. Flagship Computational Models and Machine Architecture. ICL Technical Journal 1987, 5(3), 555-574.
• Watson I, Watson P. Graph Reduction in a Parallel Virtual Memory Environment. In: Graph Reduction Workshop. 1987, Santa Fe, New Mexico, USA: Springer.
• Dixon GN, Shrivastava SK, Parrington GD. Managing Persistent Objects in Arjuna: A System for Reliable Distributed Computing. In: 2nd International Workshop on Persistent Object Systems: Their Design, Implementation and Use (POS-2). 1987, Appin, Scotland: University of Glasgow and St. Andrew's University.
• King PJB, Mitrani I. Modelling a Slotted Ring Local Area Network. IEEE Transactions on Computers 1987, 36(5), 554-561.
• Hopkins RP, Koutny M. Modelling Dynamic Distributed Systems. In: 11th Annual International Computer Software and Applications Conference (COMPSAC). 1987, Tokyo, Japan: IEEE Computer Society Press.
• Mitrani I. Modelling of Computer and Communication Systems. Cambridge, UK: Cambridge University Press, 1987.
• Mitrani I. Multiprocessor Systems with Reserves and Preferences. Queueing Systems - Theory and Applications 1987, 2(3), 245-259.
• Shrivastava SK, Dixon GN, Parrington GD. Objects and Actions in Reliable Distributed Systems. IEE Software Engineering Journal 1987, 2(5), 160-168.
• Shrivastava SK, Dixon GN, Parrington GD. Objects and Actions in Reliable Distributed Systems. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1987. Computing Laboratory Technical Report Series 242.
• Janicki R, Koutny M. On Equivalent Execution Semantics of Concurrent Systems. In: Rozenberg, G, ed. Advances in Petri Nets 1986. Berlin; New York: Springer-Verlag, 1987, pp.179-190.
• Janicki R, Koutny M. On Equivalent Execution Semantics of Concurrent Systems. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1987. Computing Laboratory Technical Report Series 234.
• Shrivastava SK, Mancini LV, Randell B. On the Duality of Fault Tolerant System Structures. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1987. Computing Laboratory Technical Report Series 248.
• Shrivastava SK, Mancini LV, Randell B. On the Duality of Fault-Tolerant System Structures. In: Experiences with Distributed Systems. 1987, Kaiserslautern, Germany: Springer-Verlag.
• Jones CB. Program specification and verification in VDM. In: NATO Advanced Study Institute on Logic of Programming and Calculi of Discrete Design. 1987, Marktoberdorf, West Germany: Springer-Verlag.
• Anderson T, ed. Safe and Secure Computing Systems. Oxford: Blackwell Scientific, 1987.
• Jones CB. Software Development Based on Formal Methods. In: 1986 CRAI Workshop on Software Factories and Ada: Software Development and Ada. 1987, Capri, Italy: Springer-Verlag.
• Jones CB. Specyfikacje a programy I. Informatyka 1987, 10, 1-4.
• Jones CB. Specyfikacje a programy II. Informatyka 1987, 11, 2-6.
• Koutny M, Mancini LV. Synchronizing Events in Replicated Systems. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1987. Computing Laboratory Technical Report Series 237.
• Randell B. System Design and Structuring for Dependability. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1987. Computing Laboratory Technical Report Series 232.
• Jones CB. Teaching notes (second version) for 'Systematic software development using VDM'. Manchester: University of Manchester, 1987. UMCS 87-12-9.
• Black JP, Marshall LF, Randell B. The Architecture of UNIX United. Proceedings of the IEEE 1987, 75(5), 709-718.
• Anderson T, Avizienis A, Laprie JC. The Technical Committee on Fault Tolerant Computing of the IEEE Computer Society. In: Avizienis, A., Kopetz, H., Laprie, J.C, ed. The Evolution of Fault-Tolerant Computing. In the Honor of William C. Carter. Wien; New York: Springer-Verlag, 1987, pp.437-440.
• Anderson T. Tolerating Software Faults. In: Software Quality Assurance, Reliability and Testing. Gower Technical Press, 1987, pp.65-72.
• Coffman EG, Fayolle G, Mitrani I. Two Queues with Alternating Service Periods. In: 12th IFIP WG 7.3 International Symposium on Computer Performance Modelling, Measurement and Evaluation (Performance '87). 1987, Brussels, Belgium: North-Holland.
• Bjørner D, Jones CB, Mac an Airchinnigh M, Neuhold EJ, ed. VDM - A Formal Method at Work: Proceedings of the VDM-Europe Symposium (VDM '87), Brussels, Belgium, 23-26 March 1987. Berlin: Springer-Verlag, 1987.
• Jones CB. VDM Proof Obligations and their Justification. In: 1st VDM-Europe Symposium: VDM - A Formal Method at Work (VDM '87). 1987, Brussels, Belgium: Springer-Verlag.
• Stroud RJ. [PhD Thesis] Naming Issues in the Design of Transparently Distributed Operating Systems. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1987.