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

• Saeed A, Anderson T, Koutny M. A Formal Model for Safety-Critical Computing Systems. In: International Conference on Computer Safety, Reliability and Security (SAFECOMP). 1990, London, UK: Elsevier Science.
• Dobson JE. A Methodology for Analysing Human and Computer-Related Issues in Secure Systems. In: 6th IFIP TC11 International Conference on Computer Security and Information Integrity in our Changing World (IFIP/Sec '90). 1990, Helsinki, Finland: Elsevier Science (North-Holland).
• Dobson JE. A Methodology for Analysing Human and Computer-related Issues in Secure Systems. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1990. Computing Laboratory Technical Report Series 307.
• Ezhilchelvan PD, Mitrani I, Shrivastava SK. A Performance Evaluation Study of Pipelined TMR Systems. IEEE Transactions on Parallel and Distributed Systems 1990, 1(4), 442-456.
• Ezhilchelvan PD, de Lemos R. A Robust Group Membership Algorithm for Distributed Real-Time Systems. In: 11th IEEE Real-Time Systems Symposium (RTSS '90). 1990, Lake Buena Vista, Florida, USA: IEEE Computer Society Press.
• Jones CB. A small language definition. In: Jones, C.B. and Shaw, R.C.F, ed. Case Studies in Systematic Software Development. London: Prentice Hall, 1990, pp.235-256.
• Mitra D, Mitrani I. Analysis of a Kanban Discipline for Cell Coordination in Production Lines. Management Science 1990, 36(12), 1548-1566.
• Mitra D, Mitrani I. Asymptotic Optimality of the Go-back-n Protocol in High-Speed Data Networks with Small Buffers. In: 4th International Conference on Data Communication Systems. 1990, Barcelona, Spain.
• Koutny M. Axiom System Induced by CTL Logic. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1990. Computing Laboratory Technical Report Series 313.
• Jones CB, Shaw RCF, ed. Case Studies in Systematic Software Development. London: Prentice Hall, 1990.
• Jones CB. Consequences. In: Feijen, W.H.J., van Gasteren, A.J.M., Gries, D. and Misra, J, ed. Beauty is Our Business: A Birthday Salute to Edsger W. Dijkstra. New York: Springer-Verlag, 1990, pp.220-225.
• Wheater SM. Constructing Reliable Distributed Applications using Actions and Objects. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1990. Computing Laboratory Technical Report Series 316.
• Wheater SM. Constructing Reliable Distributed Applications Using Actions and Objects [PhD Thesis]. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1990.
• Ezhilchelvan PD. Design and Development of Algorithms for Fault Tolerant Distributed Systems. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1990. Computing Laboratory Technical Report Series 304.
• Shrivastava SK. Distributed Computer Systems: Reliability. In: Singh, M.G, ed. Systems and Control Encyclopedia: Advances in Systems, Control and Information Engineering. Oxford: Pergamon Press, 1990, pp.181-186.
• Tully A. Distributed Programming on Transputer Networks - An Object Oriented Interface to the Helios Operating System. In: 2nd International Conference on the Applications of Transputers. 1990, Southampton, UK: IOS Press.
• Randell B. Electronic Computing: A Continuing Revolution. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1990. Computing Laboratory Technical Report Series 311.
• Randell B. Epilogue. In: Eames, C., Eames, R, ed. A Computer Perspective: Background to the Computer Age. Cambridge, Massachusetts, USA: Harvard University Press, 1990, pp.161-163.
• Watson P, Watson I. Evaluating Declarative Languages on a Parallel Graph Reduction Machine. In: IFIP TC 10/WG 10.1 Workshop on Concepts and Characteristics of Declarative Systems. 1990, Budapest, Hungary: Elsevier Science Ltd.
• Shrivastava SK, Ezhilchelvan PD, Speirs NA. Fail-controlled processor architectures for distributed systems. DELTA-4 ESPRIT Project, 1990.
• Lee PA, Anderson T. Fault Tolerance: Principles and Practice. Berlin: Springer-Verlag, 1990.
• Shrivastava SK. Fault-tolerant object-oriented computations for MIMD machines. In: SERC/DTI Workshop on Software Standards for MIMD Machines. 1990, Abingdon, UK: SERC/DTI.
• Randell B. Foreword. In: Feijen, W.H.J., van Gasteren, A.J.M., Gries, D., Misra, J, ed. Beauty is Our Business: A Birthday Salute to Edsger W. Dijkstra. New York: Springer-Verlag, 1990, pp.ix-xi.
• Wellington EMH, Cresswell N, Herron PR , Wipat A. Gene transfer between streptomycetes in soil. In: Fry, J.C. and Day, M.J, ed. Bacterial Genetics in Natural Environments. London: Chapman and Hall, 1990, pp.216-230.
• Shrivastava SK, Wheater SM. Implementing Fault-Tolerant Distributed Applications Using Objects and Multi-Coloured Actions. In: 10th IEEE International Conference on Distributed Computing Systems (ICDCS-10). 1990, Paris, France: IEEE Computer Society Press.
• Shrivastava SK, Wheater SM. Implementing Fault-tolerant Distributed Applications using Objects and Multi-coloured Actions. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1990. Computing Laboratory Technical Report Series 315.
• Randell B. Le Coupable n'est pas la technologie. La Lettre de la Sûreté de Fonctionnement 1990, 13, 3-4.
• Kolias V, Lefebvre I, Mackenzie R et al. Managing Management - The TOBIAS Approach. In: Annual ESPRIT Conference (Esprit). 1990, Brussels, Belgium: Kluwer Academic Publishers.
• Lee PA, Stoker MA. Mechanisms For Parallel Processing on Unix Multiprocessor Systems. In: NUUG Conference. 1990, South Carolina, USA: NUUG.
• Fitzgerald JS, Jones CB. Modularizing the Formal Description of a Database System. In: 3rd International Symposium of VDM Europe: VDM and Z - Formal Methods in Software Development (VDM '90). 1990, Kiel, FRG: Springer-Verlag.
• Fitzgerald JS, Jones CB. Modularizing the Formal Description of a Database System. Manchester: University of Manchester, 1990. UMCS 90-1-1.
• Lee PA. Multiprocessor Systems for Performance and Fault Tolerance. In: UNICOM. 1990, London: UNICOM.
• Janicki R, Koutny M. Net Implementation of Optimal Simulations. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1990. Computing Laboratory Technical Report Series 312.
• Janicki R, Koutny M. Observing Concurrent Histories. In: Workshop on Real-Time Systems: Theory and Applications. 1990, Horsholm, Denmark: Elsevier Science Publishers B.V.
• Dobson JE, McDermid J, Randell B. On the Trustworthiness of Computing Systems. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1990. Computing Laboratory Technical Report Series 306.
• Cheng JH, Jones CB. On the Usability of Logics which Handle Partial Functions. Manchester: University of Manchester, 1990. UMCS-90-3-1.
• Lee PA. Parallel Programming on Shared Memory Multiprocessors. In: BIRA International Conference on Software for Vector and Parallel Computers. 1990, Antwerp, Belgium.
• King PJB, Mitrani I, Pooley R, ed. Performance '90, Proceedings of the 14th IFIP WG 7.3 International Symposium on Computer Performance Modelling, Measurement and Evaluation. Edinburgh, UK. 12-14 September 1990. North-Holland: Elsevier BV, 1990.
• Dobson JE, Laprie J-C, Randell B. Predictably Dependable Computing Systems: An ESPRIT Basic Research Project. Bulletin of EATCS 1990, 40, 100-116.
• Tully A, Shrivastava SK. Preventing State Divergence in Replicated Distributed Programs. In: 9th IEEE Symposium on Reliable Distributed Systems (SRDS-9). 1990, Huntsville, Alabama, USA: IEEE Computer Society Press.
• Lee PA, Anderson T. Principles of Fault Tolerance in Computing Systems. Journal of Communications Technology 1990, 1(1), 3-9.
• Broy M, Jones CB, ed. Programming Concepts and Methods: Proceedings of the IFIP TC2 WG 2.2/2.3 Working Conference on Programming Concepts and Methods, Tiberias, Sea of Galilee, Israel, April 1990. Amsterdam: North-Holland, 1990.
• Little MC, Shrivastava SK. Replicated K-Resilient Objects in Arjuna. In: 1st IEEE Workshop on the Management of Replicated Data. 1990, Houston, Texas, USA: IEEE Computer Society Press.
• Randell B. Súrété de Fonctionnement et Défauts du Logiciel: Minimiser les risques et éviter les responsabilités. La Lettre de la Sûreté de Fonctionnement 1990, 13, 3-4.
• Anderson T. Software Dependability Through Diversity. 1990.
• Hayes IJ, Jones CB. Specifications are not (necessarily) executable. Queensland, Australia: Key Centre for Software Technology, Department of Computer Science, University of Queensland, 1990. 148.
• McCue DL, Shrivastava SK. Structuring Persistent Object Systems for Portability in a Distributed Environment. In: 4th ACM SIGOPT Workshop. 1990, Bologna, Italy.
• Randell B. System Design and Structuring for Dependability. In: Anderson, T, ed. Resilient Computing Systems. Chichester, UK: John Wiley & Sons, 1990, pp.29-43.
• Jones CB. Systematic Software Development using VDM (2nd edition). London: Prentice Hall, 1990.
• Jones CB. Systematic software development using VDM (second edition) teaching notes. London: Prentice Hall International, 1990.
• Lee PA. Technology: Parallel Processing. Unix Business 1990, 1, 26-28.
• Barrett PA, Hilborne AM, Bond PG, Seaton DT, Verissimo P, Rodrigues L, Speirs NA. The Delta-4 Extra Performance Architecture (XPA). In: 20th International Symposium on Fault-Tolerant Computing (FTCS-20). 1990, Newcastle upon Tyne, UK: IEEE Computer Society Press.
• Shrivastava SK, Mancini LV, Randell B. The Duality of Fault-Tolerant System Structures. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1990. Computing Laboratory Technical Report Series 305.
• Watson P. The Flagship Parallel Machine. In: Shute, M, ed. Parallel Computers. Berlin; New York: Springer-Verlag, 1990.
• Romanovsky A, Shturtz IV. Transparent Structurization of Parallel Processes for Backward Recovery. In: 2nd IEEE International Parallel and Distributed Processing Symposium (IPPS). 1990, Dallas, Texas, USA: IEEE Computer Society Press.
• Greenberg AG, Lubachevsky BD, Mitrani I. Unboundedly Parallel Simulations Via Recurrence Relations for Network and Reliability Problems. In: 22nd Winter Simulation Conference (WSC). 1990, New Orleans, Louisiana, USA: IEEE Press.
• Shrivastava SK, Ezhilchelvan PD, Little MC. Understanding Component Failures and Replications in Distributed Systems. ISA, 1990. UNT/TR1.
• Fitzgerald JS. Unification: Specification and Development. In: Jones, C.B., Shaw, R.C.F, ed. Case Studies in Systematic Software Development. London, UK: Prentice Hall, 1990, pp.127-162.
• Tully A. [PhD Thesis] Preventing State Divergence in Replicated Distributed Systems. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1990.