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

• Ryan P. A CSP formulation of non-interference and unwinding. In: 3rd IEEE Computer Security Foundations Workshop (CSFW). 1991, Franconia, New Hampshire, USA: IEEE Computer Society Technical Committee on Security and Privacy.
• Yakovlev A. A Structural Technique for Fault-Protection in Asynchronous Interfaces. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1991. Computing Laboratory Technical Report Series 362.
• de Lemos R, Saeed A, Anderson T. A Train Set as a Case Study for the Requirements Analysis of Safety-Critical Systems. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1991. Computing Laboratory Technical Report Series 361.
• Mitra D, Mitrani I, Ramakrishnan KG, Seery JB, Weiss A. A Unified Set of Proposals for Control and Design of High Speed Data Networks. Queueing Systems - Theory and Applications 1991, 9(1-2), 215-234.
• de Lemos R, Ezhilchelvan PD. Agreement on the Group Membership in Synchronous Distributed Systems. In: 4th International Workshop on Distributed Algorithms (WDAG '90). 1991, Bari, Italy: Springer-Verlag.
• Greenberg AG, Lubachevsky BD, Mitrani I. Algorithms for Unboundedly Parallel Simulations. ACM Transactions on Computer Systems 1991, 9(3), 201-221.
• Fendick KW, Mitra D, Mitrani I, Rodrigues MA, Seery JB, Weiss A. An Approach to High-Performance, High-Speed Data Networks. IEEE Communications Magazine 1991, 29(10), 74-82.
• Dobson JE, McDermid JA. An Investigation into Modelling and categorisation of Non-Functional Requirements (for the Specification of Surface Naval Command Systems). Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1991. Computing Laboratory Technical Report Series 320.
• Shrivastava SK, Dixon GN, Parrington GD. An Overview of the Arjuna Distributed Programming System. IEEE Software 1991, 8(1), 66-73.
• Mitra D, Mitrani I. Analysis of a Kanban Discipline for Cell Coordination in Production Lines, II: Stochastic Demands. Operations Research 1991, 39(5), 807-823.
• de Lemos R, Saeed A, Anderson T. Analysis of Timeliness Requirements in Safety-Critical Systems. In: Formal Techniques in Real-Time and Fault-Tolerant Systems. 2nd International Symposium. 1991, Nijmegen, The Netherlands: Springer-Verlag.
• de Lemos R, Saeed A, Anderson T. Analysis of Timeliness Requirements in Safety-Critical Systems. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1991. Computing Laboratory Technical Report Series 359.
• Koutny M. Axiom System Induced by CTL* Logic. Fundamenta Informaticae 1991, 14(2), 235-253.
• Jones CB. Can computer programs be trusted?. In: Calder, N, ed. Scientific Europe: Research and Technology in 20 Countries. Maastricht: Foundation Scientific Europe, 1991, pp.304-309.
• Mitra D, Mitrani I, ed. Communication Systems. J.C. Baltzer, 1991.
• Randell B. Coping with the Past. In: Operating Systems of the 90s and Beyond. 1991, Dagstuhl Castle, Germany: Springer-Verlag.
• Randell B. Coping with the Past. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1991. Computing Laboratory Technical Report Series 330.
• Wright K. Differential Equations for the Analytic Singular Value Decomposition of a Matrix. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1991. Computing Laboratory Technical Report Series 365.
• Tully A. Distributed Programming on Transputer Networks - An Object Oriented Model for Concurrent Processing. In: 3rd International Conference on the Applications of Transputers. 1991, Glasgow, UK: IOS Press.
• Jones CB. Does the O-O community need formal methods?. In: 4th International Conference on Technology of Object-Oriented Languages and Systems (TOOLS 4). 1991, Paris, France: Prentice-Hall.
• Dobson JE, Martin MJ. Enterprise Modelling and Security Policies. In: 4th IFIP WG 11.3 Conference on Database Security: Database Security, IV: Status and Prospects (DBSec). 1991, Halifax, UK: North-Holland Publishing.
• Randell B. European Research in Distributed Computing Systems: A personal perspective. In: 10th IEEE Symposium on Reliable Distributed Systems. 1991, Pisa, Italy: IEEE Computer Society Press.
• Shrivastava SK, Ezhilchelvan PD, Speirs NA, Seaton DT. Fail-controlled Computer Architectures for Distributed Systems. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1991. Computing Laboratory Technical Report Series 333.
• Shrivastava SK, Seaton DT, Howard N, Speirs NA. Fail-Silent Hardware for Distributed Systems. In: Powell, D, ed. Delta-4: A Generic Architecture for Dependable Distributed Computing. Berlin: Springer-Verlag, 1991, pp.295-305.
• Randell B, Fabre JC. Fault and Intrusion Tolerance in Object-Oriented Systems. In: International Workshop on Object-Orientation in Operating Systems. 1991, Palo Alto, California, USA: IEEE Technical Committee on Operating Systems and Application Environments (TCOS).
• Van Moorsel A, Haverkort B, Niemegeers I. Fault Injection Simulation. In: First International Workshop on Performability Modelling of Computer and Communication Systems. 1991, Enschede, The Netherlands: Universiteit Twente.
• Mancini LV, Shrivastava SK. Fault-tolerant Reference Counting for Garbage Collection in Distributed Systems. The Computer Journal 1991, 34(6), 503-513.
• Shrivastava SK. Fault-Tolerant System Structuring Concepts. In: McDermid, J.A, ed. Software Engineer's Reference Book. London: Butterworth-Heinemann, 1991.
• Randell B, Fabre J-C. FDP Techniques in Object-oriented Systems. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1991. Computing Laboratory Technical Report Series 337.
• Chakka R, Mitrani I. Heterogeneous Multiprocessor Systems wilh Breakdowns: Performance and Optimal Repair Strategies. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1991. Computing Laboratory Technical Report Series 369.
• Trouessin G, Deswarte Y, Fabre JC, Randell B. Improvement of Data Processing Security by Means of Fault Tolerance. In: 14th National Computer Security Conference. 1991, Washington, USA.
• Trouessin G, Deswarte Y, Fabre J-C, Randell B. Improvement of Data Processing Security by means of Fault Tolerance. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1991. Computing Laboratory Technical Report Series 331.
• Jones CB. Interference resumed. In: 6th Australian Software Engineering Conference: Engineering Safe Software (ASWEC '91). 1991, Sydney, Australia: Australian Computer Society.
• Jones CB. Interference resumed. Manchester: University of Manchester, 1991. UMCS-91-5-1.
• Jones CB. Interference revisited. In: 5th Annual Z User Meeting: Z User Workshop. 1991, Oxford, UK: Springer-Verlag.
• Janicki R, Koutny M. Invariant Semantics of Nets with Inhibitor Arcs. In: 2nd International Conference on Concurrency Theory (CONCUR). 1991, Amsterdam, The Netherlands: Springer-Verlag.
• Janicki R, Koutny M. Invariants and Paradigms of Concurrency Theory. In: 3rd International Conference on Parallel Architectures and Languages Europe (PARLE). 1991, Eindhoven, The Netherlands: Springer-Verlag.
• Janicki R, Koutny M. Invariants and Paradigms of Concurrency Theory. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1991. Computing Laboratory Technical Report Series 355.
• Greenberg AG, Mitrani I. Massively Parallel Algorithms for Network Partition Functions. In: International Conference on Parallel Processing (ICPP). 1991, Austin, Texas, USA: CRC Press.
• Wright K, Ahmed AHA, Seleman AH. Mesh Selection in Collocation for Boundary Value Problems. IMA Journal of Numerical Analysis 1991, 11(1), 7-20.
• Pietkiewicz-Koutny M. Modelling Reconfigurability using Graph Grammars and Petri Nets. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1991. Computing Laboratory Technical Report Series 356.
• Koutny M. Modelling Systems with Dynamic Priorities. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1991. Computing Laboratory Technical Report Series 353.
• Fitzgerald JS. Modularity in Model-oriented Formal Specifications and its Interaction with Formal Reasoning. Manchester, UK: Department of Computer Science, University of Manchester, 1991. UMCS 91-11-2.
• Jones CB, Jones KD, Lindsay PA, Moore R, ed. MURAL: A Formal Development Support System. New York: Springer-Verlag, 1991.
• Little MC. Object Replication in a Distributed System [PhD Thesis]. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1991.
• Janicki R, Koutny M. On Some Implementation of Optimal Simulations. In: 2nd Workshop on Computer-Aided Verification (CAV). 1991, Center for Discrete Mathematics and Theoretical Computer Science, Rutgers University, NJ, USA: American Mathematical Society.
• Cheng JH, Jones CB. On the Usability of Logics which Handle Partial Functions. In: 3rd BCS-FACS Refinement Workshop. 1991, Hursley Park, UK: Springer-Verlag.
• Shrivastava SK, McCue DL. Operating System Support for Object-Oriented Distributed Systems. In: International Workshop on Operating Systems of the 90s and Beyond (Dagstuhl Seminar no. 9128: Operating Systems of the 1990s). 1991, Dagstuhl Castle, Germany: Springer-Verlag.
• Jones CB. Operation quotation in VDM. London: Adelard, 1991.
• Janicki R, Koutny M. Optimal Simulations, Nets and Reachability Graphs. In: Rozenberg, G, ed. Advances in Petri Nets. Berlin; New York: Springer-Verlag, 1991, pp.205-226.
• Koutny M, Janicki R. Optimal Simulations, Nets and Reachability Graphs. In: 11th International Conference on Applications and Theory of Petri Nets (APN). 1991, Paris, France: Springer-Verlag.
• Wright K. Parallel Algorithms of QR Decomposition on a Shared Memory Multi-processor. Parallel Computing 1991, 17(6-7), 779-790.
• Wright K. Parallel Treatment of Block Bi-Diagonal Matrics in the Solution of Ordinary Differentail Boundary Value Problems. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1991. Computing Laboratory Technical Report Series 350.
• Yakovlev A, Petrov A. Petri Nets and Parallel Bus Controller Design. In: 11th International Conference on Applications and Theory of Petri Nets (APN 1990), Paris, France. 1991, Springer-Verlag.
• Randell B, Laprie J-C. Predictably Dependable Computing Systems: Second Year Report. Bulletin of EATCS 1991, 44, 61-86.
• Randell B, Laprie J-C. Predictably Dependable Computing Systems: Second Year Report. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1991. Computing Laboratory Technical Report Series 343.
• Shrivastava SK, Ezhilchelvan PD, Speirs NA, Tao S, Tully A. Principal Features of the Voltan Family of Reliable Node Architectures for Distributed Systems. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1991. Computing Laboratory Technical Report Series 348.
• Randell B. Programming: From Babbage to Backus. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1991. Computing Laboratory Technical Report Series 327.
• Mitrani I. Queueing Theory. In: McDermid, J. A, ed. Software Engineer's Reference Book. London: Butterworth-Heinemann, 1991, pp.Chapter 7.
• Little MC, Shrivastava SK. Replicated K-Resilient Objects in Arjuna. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1991. Computing Laboratory Technical Report Series 319.
• de Lemos R, Saeed A, Anderson T. Requirements Specification and Verification for Safety-critical Systems. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1991. Computing Laboratory Technical Report Series 341.
• Jones CB. Some comments on (BSI) VDMSL. BSI Committee, 1991.
• Wipat A, Wellington EMH, Saunders VA. Streptomyces marker plasmids for monitoring survival and spread of streptomycetes in soil. Applied and Environmental Microbiology 1991, 57(11), 3322-3330.
• Koutny M, Janicki R. Structure of Concurrency. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1991. Computing Laboratory Technical Report Series 367.
• McCue DL, Shrivastava SK. Structuring Fault-Tolerant Object Systems for Portability. In: 4th ACM SIGOPS European Workshop: Fault Tolerance Support in Distributed Systems (EW 4). 1991, University of Bologna, Italy: ACM Press, New York.
• Jones CB. Support tools for reification. In: 3rd BCS-FACS Refinement Workshop. 1991, Hursley Park, UK: Springer-Verlag.
• Watson P, Townsend P. The EDS Parallel Relational Database System. In: PRISMA Workshop on Parallel Database Systems. 1991, Noordwijk aan Zee, The Netherlands: Springer.
• Anderson T, et al. The MARS System. 1991.
• Saeed A, de Lemos R, Anderson T. The Role of Formal Methods in the Requirements Analysis of Safety-Critical Systems: a Train Set Example. In: Fault-Tolerant Computing: the 21st International Symposium (FTCS). 1991, Montreal, Canada: IEEE Computer Society Press.
• Barrett PA, Speirs NA. Towards an Integrated Approach to Fault Tolerance in Delta-4. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1991. Computing Laboratory Technical Report Series 344.
• Shrivastava SK, Waterworth A. Using objects and actions to provide fault tolerance in distributed real-time systems. In: 12th IEEE Real-Time Systems Symposium (RTSS 1991). 1991, San Antonio, Texas, USA: IEEE Computer Society Press.
• Shrivastava SK, Waterworth A. Using Objects and Actions to Provide Fault tolerance in Distributed, Real-Time Applications. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1991. Computing Laboratory Technical Report Series 349.
• Janicki R, Koutny M. Using Optimal Simulations to Reduce Reachability Graphs. In: 2nd International Workshop on Computer Aided Verification (CAV). 1991, New Brunswick, New Jersey, USA: Springer-Verlag.
• de Lemos R, Saeed A, Anderson T. Value Inconsistencies due to Time Uncertainties. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1991. Computing Laboratory Technical Report Series 360.
• DeLemos R, Saeed A, Anderson T. Value Inconsistencies due to Time Uncertainties. In: 10th IFAC Workshop on Distributed Computer Control Systems. 1991, Semmering.
• Koutny M, Mancini LV, Pappalardo G. Verifying Correctness of Communicating Replicated Processes. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1991. Computing Laboratory Technical Report Series 351.
• Fitzgerald JS. [PhD Thesis] Modularity in Model-oriented Formal Specifications and its Interaction with Formal Reasoning. Manchester, UK: Department of Computer Science, University of Manchester, 1991.