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

• Yakovlev A. A Relation-based Approach to Analysing Semantics of Asynchronous Hardware Specifications. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1989. Computing Laboratory Technical Report Series 286.
• Ezhilchelvan PD, Mitrani I, Shrivastava SK. An Empirical Study of the Performance of Distributed Replicated Systems. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1989. Computing Laboratory Technical Report Series 278.
• Shrivastava SK, Dixon GN, Parrington GD. An Overview of Arjuna: A Programming System for Reliable Distributed Computing. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1989. Computing Laboratory Technical Report Series 298.
• Yakovlev A, Rosenblum L. Analysing Semantics of Concurrent Hardware Specifications. In: International Conference on Parallel Processing (ICPP '89). 1989, University Park, PA, USA: Pennstate University Press.
• Koutny M, Hopkins RP. Asynchronous Communication in Dynamically Structured Systems. In: 1st International Conference on Computing and Information (ICCI). 1989, Toronto, Canada: Elsevier Science Publishers BV.
• Hopkins RP, Koutny M. Asynchronous Communication in Dynamically Structured Systems. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1989. Computing Laboratory Technical Report Series 287.
• Randell B. Can Design Faults be Tolerated?. In: 11th IFIP World Computer Congress: Information Processing 89. 1989, San Francisco, California, USA: North-Holland/IFIP.
• Yakovlev A. Concurrency Models for Designing Interface Logic in Distributed Systems. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1989. Computing Laboratory Technical Report Series 285.
• Ezhilchelvan PD, Shrivastava SK, Tully A. Constructing Replicated Systems Using Processors With Point to Point Communication Links. In: 16th Annual Symposium on Computer Architecture. 1989, Jerusalem, Israel: IEEE Computer Society Press.
• Mitra D, Mitrani I. Control and Coordination Policies for Systems with Buffers. In: International Conference on Measurement and Modeling of Computer Systems (SIGMETRICS/Performance). 1989, Berkeley, California, USA: ACM Press.
• Dobson JE. Conversation Structures as a Means of Specifying Security Policy. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1989. Computing Laboratory Technical Report Series 295.
• Wright K, Ahmed AHA, Seleman AH. Criteria for Mesh Selection in Collocation Algorithms for Ordinary Differential Boundary Value Problems. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1989. Computing Laboratory Technical Report Series 289.
• Jones CB. Data reification. In: McDermid, J.A, ed. The Theory and Practice of Refinement: Approaches to the Formal Development of Large-Scale Software Systems. London: Butterworths, 1989, pp.79-89.
• Banach R, Watson P. Dealing with state on Flagship: the MONSTR computational model. In: Conference on Algorithms and Hardware for Parallel Processing (CONPAR). 1989, Manchester, UK: Cambridge University Press.
• Anderson T. Dependability of Resilient Computers. Oxford, UK: Blackwell Scientific, 1989.
• Ezhilchelvan PD. Design and Development of Algorithms For Fault Tolerant Distributed Systems [PhD thesis]. Newcastle upon Tyne: University of Newcastle upon Tyne, 1989. Computing Laboratory.
• Jones CB, ed. Essays in Computing Science. Hemel Hempstead: Prentice Hall, 1989.
• Shrivastava SK. Fault tolerance in distributed systems. In: 1989 Hewlett-Packard European Scientific Symposium. 1989, Paris, France: Hewlett-Packard.
• Hopkins RP, Koutny M. Modelling Concurrent Systems with Dynamic Communication Structure. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1989. Computing Laboratory Technical Report Series 282.
• Shrivastava SK, Wheater SM. Objects and Multi-Coloured Actions. In: 3rd Workshop on Large Grained Parallelism. 1989, Carnegie Mellon University, Pittsburgh.
• Mancini LV, Shrivastava SK. Replication within Atomic Actions and Conversations: A Case Study in Fault-Tolerance Duality. In: 19th International Symposium on Fault-Tolerant Computing (FTCS-19). 1989, Hyatt Regency Hotel, Chicago, IL, USA: IEEE Computer Society Press.
• Mancini LV, Shrivastava SK. Replication within Atomic Actions and Conversations: A Case Study in Fault-Tolerance Duality. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1989. Computing Laboratory Technical Report Series 281.
• Dobson JE, McDermid JA. Security Models and Enterprise Models. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1989. Computing Laboratory Technical Report Series 279.
• Lee PA. Shared Memory Multiprocessors: A Cost-effective Architecture for Parallel Processing. In: UNICOM Conference on Software for Parallel Computers. 1989, London: UNICOM.
• Hayes IJ, Jones CB. Specifications are not (necessarily) executable. Software Engineering Journal 1989, 4(6), 330-338.
• Hayes IJ, Jones CB. Specifications are not (necessarily) executable. Manchester: University of Manchester, 1989. UMCS-89-12-1.
• Koutny M, Mancini LV. Synchronizing Events in Replicated Systems. Journal of Systems and Software 1989, 9(3), 183-190.
• Shrivastava SK, Dixon GN, Parrington GD, Hedayati F, Wheater SM, Little MC. The Design and Implementation of Arjuna. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1989. Computing Laboratory Technical Report Series 280.
• Watson I, Sargeant J, Watson P, Woods JV. The Flagship Parallel Machine. In: Conference on Algorithms and Hardware for Parallel Processing (CONPAR). 1989, Manchester, UK: Cambridge University Press.
• Banach R, Sargeant J, Watson I, Watson P, Woods JV. The Flagship Project. In: UK IT. 1989, Swansea, UK.
• Mitra D, Mitrani I. The Kanban Policy in Production Lines. In: ORSA-TIMS Conference. 1989, Tokyo, Japan.
• Dixon GN, Parrington GD, Shrivastava SK, Wheater SM. The Treatment of Persistent Objects in Arjuna. The Computer Journal 1989, 32(4), 323-332.
• Dixon GN, Parrington GD, Shrivastava SK, Wheater SM. The Treatment of Persistent Objects in Arjuna. In: 3rd European Conference on Object-Oriented Programming (ECOOP '89). 1989, University of Nottingham, UK: Cambridge University Press.
• Dixon GN, Parrington GD, Shrivastava SK, Wheater SM. The Treatment of Persistent Objects in Arjuna. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1989. Computing Laboratory Technical Report Series 283.
• Janicki R, Koutny M. Towards a Theory of Simulation for Verification of Concurrent Systems. In: 2nd International Symposium on Parallel Architectures and Languages Europe (PARLE). 1989, Eindhoven, Netherlands: Springer-Verlag.
• Speirs NA, Barrett PA. Using Passive Replicates in Delta-4 to Provide Dependable Distributed Computing. In: 19th International Symposium on Fault-Tolerant Computing (FTCS-19). 1989, Chicago, IL, USA: IEEE Computer Society Press.
• Dobson JE, Randell B. Viewpoint: Program Verification: Public Image and Private Reality. Communications of the ACM 1989, 32(4), 420-422.
• van Moorsel A. [PhD Thesis] Optimal Routing in Simple Queueing Networks. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1989.