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

• Pappalardo G, Shrivastava SK. A Formal Treatment of Interference in Remote Procedure Calls. In: Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT). 1988, University of Warwick, UK: Springer-Verlag.
• Pappalardo G, Shrivastava SK. A Formal Treatment of Interference in Remote Procedure Calls. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1988. Computing Laboratory Technical Report Series 263.
• Jones CB, Lindsay PA. A Support System for Formal Reasoning: Requirements and Status. In: 2nd VDM-Europe Symposium: VDM - The Way Ahead (VDM '88). 1988, Dublin, Ireland: Springer-Verlag.
• Shrivastava SK, Dixon GN, Hedayati F, Parrington GD, Wheater SM. A Technical Overview of Arjuna: A System for Reliable Distributed Computing. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1988. Computing Laboratory Technical Report Series 262.
• Koutny M. Adequacy-preserving Transformatics of COSY Path Programs. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1988. Computing Laboratory Technical Report Series 270.
• Koutny M. Adequacy-Preserving Transformations of COSY Path Programs. In: International Conference on Concurrency (Concurrency). 1988, Hamburg, Germany: Springer-Verlag.
• Robert P, Mitrani I, King PJB. An Intermittently Served Discrete Time Queue with Applications to Meteor Scatter Communications. Queueing Systems - Theory and Applications 1988, 3(1), 25-40.
• Jones CB. Combining implicit/explicit function definitions in the VDM protostandard. BSI, 1988. IST/5/50 Document no. 58.
• Ezhilchelvan PD, Shrivastava SK, Tully A. Constructing Replicated Systems using Processors with Point-to-Point Communication Links. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1988. Computing Laboratory Technical Report Series 274.
• Wright K. Continuous Orthonormalization Algorithms for Boundary Value Problems. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1988. Computing Laboratory Technical Report Series 257.
• Anderson T. Design Fault Tolerance in Practical Systems. In: Software Engineering. 1988, London, UK: Blenheim Online.
• Anderson T. Die Auswirkungen der Fehler so klein wei moglich halten. In: Informations-verarbeitung - Grenzen der Machbarkeit. STR-AG, 1988, pp.30-43.
• Watson I, Woods JV, Watson P et al. Flagship: A Parallel Architecture for Declarative Programming. In: 15th 15th Annual International Symposium on Computer Architecture. 1988, Honolulu, Hawaii: IEEE.
• Parrington GD, Shrivastava SK. Implementing Concurrency Control in Reliable Distributed Object Oriented Systems. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1988. Computing Laboratory Technical Report Series 259.
• Parrington GD, Shrivastava SK. Implementing Concurrency Control in Reliable Distributed Object-Oriented Systems. In: 2nd European Conference on Object-Oriented Programming (ECOOP '88). 1988, Oslo, Norway: Springer-Verlag.
• Pietkiewicz-Koutny M. Modelling Dynamic Reconfiguration in TMR Systems. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1988. Computing Laboratory Technical Report Series 261.
• Dobson JE. Modelling Real-world Issues for Dependable Software. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1988. Computing Laboratory Technical Report Series 268.
• Jones CB, Moore R. Muffin: A User Interface Design Experiment for a Theorem Proving Assistant. In: 2nd VDM-Europe Symposium: VDM - The Way Ahead (VDM '88). 1988, Dublin, Ireland: Springer-Verlag.
• SHRIVASTAVA SK, MANCINI LV, RANDELL B. ON THE DUALITY OF FAULT TOLERANT SYSTEM STRUCTURES. LECTURE NOTES IN COMPUTER SCIENCE 1988, 309, 19-37.
• Wellington EMH, Saunders VA, Cresswell N, Wipat A. Plasmid transfer between streptomycetes in soil. In: 7th International Symposium on Biology of Actinomycetes (ISBA 1988). 1988, Tokyo: Japan Scientific Societies Press.
• Panzieri F, Shrivastava SK. Rajdoot: A Remote Procedure Call Mechanism Supporting Orphan Detection and Killing. IEEE Transactions on Software Engineering 1988, 14(1), 30-37.
• Littlewood B, Anderson T. Reliability Modelling for Fault-Tolerant Software. In: Voges, U, ed. Software Diversity in Computerized Control Systems. Wien; New York: Springer, 1988, pp.173-182.
• Dobson JE. Representing the Real World. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1988. Computing Laboratory Technical Report Series 267.
• Jones CB. Response to Arentoft and Larsen's 'Underspecification and non-determinism note'. BSI, 1988. IST/5/50 Document no. 67.
• Dobson JE. Security and Databases: A Methodological Approach. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1988. Computing Laboratory Technical Report Series 264.
• Coffman EG, Flatto L, Knessl C, Mitrani I, Shepp LA. Stochastic Models of Queue Storage. Probability in the Engineering and Informational Sciences 1988, 2(1), 75-93.
• Jones CB. Theorem proving and software engineering. Software Engineering Journal 1988, 3(1), 2-2.
• Anderson T et al. Tolerating Software Design Faults in a Command and Control System. In: Voges, U, ed. Software Diversity in Computerized Control Systems. Wien; New York: Springer, 1988, pp.109-128.
• Parrington GD, Shrivastava SK. Towards a Theory of Replicated Processing. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1988. Computing Laboratory Technical Report Series 260.
• Ezhilchelvan PD. With Less Malicious Byzantine Generals: Agreement Algorithms Under Value Faults. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1988. Computing Laboratory Technical Report Series 252.