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
- Blyth AJC, Chudge J, Dobson JE, Strens MR. A Framework for Modelling Evolving Requirements.
In: 17th Annual IEEE International Computer Software and Applications Conference (COMPSAC). 1993, Phoenix, Arizona, USA: IEEE Computer Society Press.
- Blyth AJC, Chudge J, Dobson JE, Strens MR. A Framework for Modelling Evolving Requirements.
Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1993. Department of Computing Science Technical Report Series 455.
- Fabre JC, Deswarte Y, Randell B. A Framework for the Design of Secure and Reliable Applications by Fragmentation-Redundancy-Scattering.
Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1993. Department of Computing Science Technical Report Series 410.
- Chakka R, Mitrani I. A Numerical Solution Method for Multiprocessor Systems with General Breakdowns and Repairs.
In: 6th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation. Computer Performance Evaluation '92: Modelling Techniques and Tools. 1993, Edinburgh, UK: Edinburgh University Press.
- Jones CB. A pi-Calculus Semantics for an Object-Based Design Notation.
In: 4th International Conference on Concurrency Theory (CONCUR '93). 1993, Hildesheim, Germany: Springer-Verlag.
- Jones CB, Middelburg CA. A typed logic of partial functions reconstructed classically.
Utrecht: Utrecht University, Department of Philosophy, 1993. Logic Group Preprint Series 89.
- Van Moorsel A, Haverkort B. A Unified Performability Evaluation Framework for Computer and Communication Systems.
In: Second International Workshop on Performability Modelling of Computer and Communication Systems. 1993, Le Mont Saint Michel, France: INRIA Rennes.
- Duke DJ, Harrison MD. Abstract Interaction Objects.
Computer Graphics Forum 1993, 12(3), 25-36.
- Shrivastava SK, Tully A. Active Replication of Distributed Programs: Problems and Solutions.
Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1993. Department of Computing Science Technical Report Series 418.
- Jones CB, Monahan BQ. An introduction to pi-calculus.
1993.
- Fabre J-C, Randell B. An Object-Oriented View of Fragmented Data Processing for Fault and Intrusion Tolerance in Distributed Systems.
Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1993. Department of Computing Science Technical Report Series 419.
- Randell B. Approaches to Software Fault Tolerance.
In: CNRS-LAAS 25th Anniversary Conference. 1993, Toulouse, France: Cépaduès-Éditions.
- Barrett PA, Shrivastava SK, Speirs NA, Waterworth A. Building Fault-Tolerant Distributed Computing Systems Using Standard Components.
In: 9th AIAA Computing in Aerospace Conference (AIAA Computing in Aerospace 9). 1993, San Diego, CA, USA: American Institute of Aeronautics and Astronautics.
- Barrett PA, Shrivastava SK, Speirs NA, Waterworth A. Building Fault-tolerant Distributed Computing Systems using Standard Components.
Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1993. Department of Computing Science Technical Report Series 449.
- Lee PA, Stroud RJ. C++ as an Initial Programming Language.
In: OU Workshop on Choice of Programming Languages. 1993, Milton Keynes, United Kingdom.
- Jones CB. Constraining Interference in an Object-Based Design Model.
In: 1993 International CAAP/FASE Joint Conference on Theory and Practice of Software Development (TAPSOFT '93). 1993, Orsay, France: Springer-Verlag.
- Little MC, McCue DL. Construction and Use of a Simulation Package in C++.
Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1993. Department of Computing Science Technical Report Series 437.
- Landwehr CE, Randell B, Simoncini L, ed. Dependable Computing for Critical Applications.
Berlin; New York: Springer-Verlag, 1993.
- Fabre J-C, Deswarte Y, Randell B. Designing Secure and Reliable Applications using FRS: An Object-Oriented Approach.
Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1993. Department of Computing Science Technical Report Series 438.
- Anderson T, Redmill F, ed. Directions in Safety-Critical Systems: Proceedings Of The First Safety-Critical Systems Symposium, Bristol, United Kingdom.
New York; London: Springer-Verlag, 1993.
- Speirs NA. Efficient Protocols for Fail-Silent Nodes in Distributed Systems.
In: 5th European Workshop on Dependable Computing. 1993, Lisbon, Portugal.
- Brasiliero FV, Ezhilchelvan PD, Shrivastava SK, Speirs NA, Tao S. Efficient Protocols for Fail-silent Nodes in Distributed Systems.
Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1993. School of Computing Science Technical Report Series 413.
- Iggulden D, Dobson JE, Veryard R. Enterprise Computing as an Instrument of Hegemony.
In: International Conference on Open Distributed Processing. 1993, Berlin, Germany.
- Wheater SM, Shrivastava SK. Exercising Application-Specific Run-Time Control over Clustering of Objects.
BROADCAST Project, 1993.
- Fitzgerald JS, Moore R. Experiences in Developing a Proof Theory for VDM Specifications.
In: Proceedings of the International Workshop on Semantics of Specification Languages (SoSL). 1993, Utrecht, The Netherlands: Springer-Verlag.
- Fitzgerald JS, Moore R. Experiences in Developing a Proof Theory for VDM Specifications.
Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1993. Department of Computing Science Technical Report Series 424.
- Romanovsky A. Fault Tolerance: Synchronization of Redundancy.
Operating Systems Review 1993, 27(4), 58-66.
- Saeed A, de Lemos R, Anderson T. Formal Techniques for Requirements Analysis for Safe Reactor Control.
The Nuclear Engineer: Journal of the Institution of Nuclear Engineers 1993, 34(4), 108-115.
- Saeed A, de Lemos R, Anderson T. Formal Techniques for Requirements Analysis for Safe Reactor Control.
Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1993. Department of Computing Science Technical Report Series 430.
- Rubira-Calsavara CMF, Stroud RJ. Forward and Backward Error Recovery in C++.
Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1993. Department of Computing Science Technical Report Series 417.
- Yakovlev A, Koelmans AM, Lavagno L. High Level Modelling and Design of Asynchronous Interface Logic.
Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1993. Department of Computing Science Technical Report Series 460.
- Yakovlev A, Petrov AI, Lavagno L. High Speed Asynchronous Arbiter.
Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1993. Department of Computing Science Technical Report Series 427.
- Pulkkis G, Yakovlev A, Petrov A. Interfacing Transputers to Analog Environments in Real-Time Systems.
In: 3rd Nordic Transputer Conference. 1993, Copenhagen, Denmark: Nordic Transputer User Group.
- Mitrani I, Puhalskii A. Limiting Results for Multiprocessor Systems with Breakdowns and Repairs.
Queueing Systems - Theory and Applications 1993, 14(3-4), 293-311.
- Little MC, McCue DL, Shrivastava SK. Maintaining Information about Persistent Replicated Objects in a Distributed System.
In: 13th IEEE International Conference on Distributed Computing Systems (ICDCS '93). 1993, Pittsburgh, PA, USA: IEEE Computer Society Press.
- Little MC, McCue DL, Shrivastava SK. Maintaining Information about Persistent Replicated Objects in a Distributed System.
Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1993. Department of Computing Science Technical Report Series 422.
- Little MC, McCue DL, Shrivastava SK. Maintaining Information about Persistent Replicated Objects in a Distributed System.
BROADCAST Project, 1993.
- Haverkort B, Van Moorsel A, Dijkstra A. MGMtool: A Performance Analysis Tool Based on Matrix Geometric Methods.
In: Computer Performance Evaluation 1992: Modelling Techniques and Tools. 1993, Edinburgh, UK: Edinburgh University Press.
- Koutny M, Mancini L, Pappalardo G. Modelling Replicated Processing.
In: 5th International PARLE Conference on Parallel Architectures and Languages Europe (PARLE). 1993, Munich, Germany: Springer-Verlag.
- Macedo RA, Ezhilchelvan PD, Shrivastava SK. NewTop: A Total Order Multicast Protocal Using Causal Blocks.
BROADCAST Project, 1993.
- Wright K. Numerical Solution of Differential Equations for the Analytic Singular Value Decomposition.
In: 1st International Colloquium on Numerical Analysis. 1993, Plovdiv, Bulgaria: VSP, Utrecht.
- Xu J, Randell B. Object-oriented Construction of Fault-tolerant Software.
Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1993. Department of Computing Science Technical Report Series 444.
- Capretz LF, Lee PA. Object-Oriented Design: Guidelines and Techniques.
Information and Software Technology 1993, 35(4), 195-206.
- Capretz LF, Lee PA. Object-oriented Design: Guidelines and Techniques.
Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1993. Department of Computing Science Technical Report Series 447.
- Randell B, Xu J. Object-Oriented Software Fault Tolerance: Framework, reuse and design diversity.
In: 1st PDCS2 Open Workshop. 1993, Toulouse, France.
- Anderson T, de Lemos R, Fitzgerald JS, Saeed A. On Formal Support for Industrial Scale Requirements Analysis.
Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1993. Department of Computing Science Technical Report Series 412.
- Anderson T, de Lemos R, Fitzgerald JS, Saeed A. On Formal Support for Industrial-scale Requirements Analysis.
In: Grossman, RL., Nerode, A., Ravn, A.P., Rischel, H, ed. Hybrid Systems. Berlin; New York: Springer-Verlag, 1993, pp.426-451.
- Yakovlev A, Kishinevsky M, Kondratyev A, Lavagno L. On the Models for Asynchronous Circuit Behaviour with OR Causality.
Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1993. Department of Computing Science Technical Report Series 463.
- Janicki R, Koutny M. Order Structures and Generalisations of Szpilrajn's Theorem.
In: 13th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS). 1993, Bombay, India: Springer-Verlag.
- Janicki R, Koutny M. Order Structures and Generalisations of Szpilrajn's Theorem.
Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1993. Department of Computing Science Technical Report Series 425.
- Blyth AJC, Chudge J, Dobson JE, Strens MR. ORDIT: A New Methodology to Assist in the Process of Eliciting and Modelling Organisational Requirements.
In: ACM Conference on Organizational Computing Systems (COCS). 1993, Milpitas, California, USA: ACM Press, New York.
- Blyth AJC, Chudge J, Dobson JE, Strens MR. ORDIT: A New Methodology to Assist in the Process of Eliciting and Modelling Organisational Requirements.
Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1993. Department of Computing Science Technical Report Series 456.
- Dobson JE. Organisational Requirements Definition for Information Technology Systems.
In: Conference on the Theory of Use and Integrative Aspects of IS Methodologies. 1993, Edinburgh, UK: British Computer Society.
- Kaya D, Wright K. Parallel Algorithms for LU Decomposition on a Shared Memory Multiprocessor.
Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1993. Department of Computing Science Technical Report Series 450.
- Wright K. Parallel Treatment of Block Bi-diagonal Matrices in the Solution of Ordinary Differential Boundary Value Problems.
Journal of Computational and Applied Mathematics 1993, 45(1-2), 191-200.
- Randell B. Personal Ancestral File and Reunion - Two Genealogical Database Management Systems for the Apple Macintosh.
Computers in Genealogy 1993, 4(10), 424-437.
- van Moorsel A. PhD Thesis: Performability Evaluation Concepts and Techniques.
The Netherlands: Universiteit Twente, 1993. Computer Science Department.
- Jones CB. Process algebraic foundations for an object-based design notation.
Manchester: Manchester University, 1993. UMCS-93-10-1.
- Duan Z, Koutny M, Holt CM. Projection in Temporal Logic Programming.
Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1993. Department of Computing Science Technical Report Series 452.
- Jones CB. Reasoning about Interference in an Object-Based Design Method.
In: 1st International Symposium of Formal Methods Europe: Industrial-Strength Formal Methods (FME '93). 1993, Odense, Denmark: Springer-Verlag.
- Jones CB. Reasoning about Interference in an Object-Based Design Method.
In: 4th Nordic Workshop on Program Correctness. 1993, Bergen, Norway: University of Bergen, Department of Informatics.
- Ezhilchelvan PD, Shrivastava SK. rel/REL: A Family of Reliable Multicast Protocols for Distributed Real-time Systems.
Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1993. Department of Computing Science Technical Report Series 461.
- Marshall LF. Representing management policy using contract objects.
In: IEEE First International Workshop on Systems Management. 1993, Los Angeles, CA, USA: IEEE Computer Society Press.
- Saeed A, Anderson T, de Lemos R. Robust Requirements Specifications for Safety-Critical Systems.
In: 12th International Conference on Computer Safety, Reliability and Security (SAFECOMP). 1993, Poznan-Kiekrz, Poland: Springer-Verlag.
- Saeed A, Anderson T, de Lemos R. Robust Requirements Specifications for Safety-Critical Systems.
Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1993. Department of Computing Science Technical Report Series 451.
- Anderson T. Safety - Status and Perspectives.
In: 12th International Conference on Computer Safety, Reliability and Security (SAFECOMP '93). 1993, Poznan-Kiekrz, Poland: Springer-Verlag.
- Redmill F, Anderson T, ed. Safety-Critical Systems: Current Issues, Techniques and Standards.
London: Chapman-Hall, 1993.
- Caughey SJ, Parrington GD, Shrivastava SK. SHADOWS - A Flexible Support System for Objects in Distributed Systems.
In: 3rd IEEE International Workshop on Object-Orientation in Operating Systems (IWOOOS '93). 1993, Ashville, North Carolina, USA: IEEE Computer Society Press.
- Caughey SJ, Parrington GD, Shrivastava SK. SHADOWS - A Flexible Support System for Objects in Distributed Systems.
Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1993. Department of Computing Science Technical Report Series 453.
- Snow CR, Whitfield H. Simple Authentication.
Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1993. Department of Computing Science Technical Report Series 459.
- Yakovlev A. Structural Technique for Fault-masking in Asynchronous Interfaces.
IEE Proceedings E - Computers and Digital Techniques 1993, 140(2), 81-91.
- Janicki R, Koutny M. Structure of Concurrency.
Theoretical Computer Science 1993, 112(1), 5-52.
- Shrivastava SK, McCue DL. Structuring Fault-Tolerant Object Systems for Modularity in a Distributed Environment.
Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1993. Department of Computing Science Technical Report Series 414.
- Shrivastava SK, McCue DL. Structuring Fault-Tolerant Object Systems for Modularity in a Distributed Environment.
BROADCAST ESPRIT Basic Research Project 6360, 1993. First Year Report - Systems Engineering, 3 of 3.
- Yakovlev A, Petrov A, Rosenblum L. Synthesis of Asynchronous Control Circuits from Symbolic Signal Transition Graphs.
In: IFIP WG10.5 Working Conference on Asynchronous Design Methodologies. 1993, Manchester, UK: Elsevier Science (North-Holland).
- Yakovlev A. Synthesis of Hazard-Free Asynchronous Circuits from Generalised Signal-Transition Graphs.
In: 6th IEEE International Conference on VLSI Design: Chip, Board and System Design in the 90s (VLSI Design '93). 1993, Bombay, India: IEEE Computer Society Press.
- Shrivastava SK, Ezhilchelvan PD, Speirs NA et al. The Design and Implementation of Voltan Fault-tolerant Nodes for Distributed Systems.
Transputer Communications 1993, 1(2), 93-109.
- Speirs NA, Tao S, Brasileiro FV, Ezhilchelvan PD, Shrivastava SK. The Design and Implementation of Voltan Fault-tolerant Nodes for Distributed Systems.
Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1993. Department of Computing Science Technical Report Series 454.
- Shrivastava SK, Mancini L, Randell B. The Duality of Fault-tolerant System Structures.
Software: Practice and Experience 1993, 23(7), 773-798.
- Saeed A, de Lemos R, Anderson T. The Role of Formal Methods in the Requirements Analysis of Safety Critical Systems: A Train Set Example.
Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1993. Department of Computing Science Technical Report Series 429.
- Barrett PA, Speirs NA. Towards an Integrated Approach to Fault Tolerance in Delta-4.
Distributed Systems Engineering 1993, 1(2), 59-66.
- Stroud RJ. Transparency and Reflection in Distributed Systems.
ACM SIGOPS Operating Systems Review 1993, 27(2), 99-103.
- Hayes IJ, Jones CB, Nicholls JE. Understanding the Differences Between VDM and Z.
FACS Europe (BCS Formal Aspects of Computing Science/Formal Methods Europe Newsletter) 1993, 1(1), 7-30.
- Hayes IJ, Jones CB, Nicholls JE. Understanding the differences between VDM and Z.
Manchester: Manchester University, 1993. UMCS-93-8-1.
- Romanovsky A, Shturtz IV. Unplanned Recovery for Non-program Objects.
International Journal of Computer Systems Science and Engineering 1993, 8(2), 72-79.
- Jones CB. VDM: une méthode rigoureuse pour le développement du logiciel.
Paris: Masson, 1993.
- Lee PA, Phillips C. Visualising Parallel Numerical Software Performance on a Shared Memory Multiprocessor.
Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1993. Department of Computing Science Technical Report Series 458.