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

• Jones CB, Shaw RC, Denvir T, ed. 5th Refinement Workshop: Proceedings of the 5th BCS-FACS Refinement Workshop, London, UK, 1-10 January 1992. New York: Springer-Verlag, 1992.
• Capretz LF, Lee PA. A Classification of Object-Oriented Development Methodologies. In: 7th Brazilian Conference on Software Engineering. 1992, Granado, Brazil.
• Capretz LF, Lee PA. A Classification of Object-Oriented Development Methodologies. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1992. Department of Computing Science Technical Report Series 398.
• Ezhilchelvan P, Shrivastava SK. A Distributed Systems Architecture Supporting High Availability and Reliability. In: 2nd IFIP TC11 WG 10.4 International Working Conference on Dependable Computing for Critical Applications (DCCA-2). 1992, Tucson, Arizona, USA: Springer-Verlag.
• van Moorsel A, Haverkort BR, Niemegeers IG. A Method for Analysing the Performance Aspects of the Fault-Tolerance Mechanisms in FDDI. In: IEEE INFOCOM '92: Conference on Computer Communications. Eleventh Annual Joint Conference of the IEEE Computer and Communications Societies. 1992, Florence, Italy: IEEE.
• Wright K. A Review of some Developments in Collocation Algorithms. In: IMA Conference on Computational Ordinary Differential Equations. 1992, Imperial College, University of London, UK: Oxford University Press.
• Mitrani I, Mitra D. A Spectral Expansion Method for Random Walks on Semi-Infinite Strips. In: IMACS International Symposium on Iterative Methods in Linear Algebra. 1992, Brussels, Belgium: North-Holland Publishing.
• de Lemos R, Saeed A, Anderson T. A Train Set as a Case Study for the Requirements Analysis of Safety-Critical Systems. The Computer Journal 1992, 35(1), 30-40.
• Yakovlev A, Lavagno L, Sangiovanni-Vincentelli A. A Unified Signal Transition Graph Model for Asynchronous Control Circuit Synthesis. In: 1992 IEEE/ACM International Conference on Computer-Aided Design (ICCAD '92). 1992, Santa Clara, California, USA: IEEE Computer Society Press.
• Olivier P, Ananiadou S, Tsujii J. A Visualization Architecture Based on the Systematicity of Language. In: Pacific Rim Conference on Artificial Intelligence (PRICAI-92). 1992, Seoul, Korea.
• Koutny M. Adequacy-Preserving Transformations of COSY Path Programs. Theoretical Computer Science 1992, 94(1), 141-158.
• Saeed A, de Lemos R, Anderson T. An Approach to the Assessment of Requirements Specifications for Safety-Critical Systems. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1992. Computing Laboratory Technical Report Series 381.
• Saeed A, Anderson T. An Approach to the Requirements Analysis of Safety-Critical Systems. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1992. Computing Laboratory Technical Report Series 380.
• Jones CB. An object-based design method for concurrent programs. Manchester: University of Manchester, 1992. UMCS-92-12-1.
• Fabre J-C, Randell B. An Object-Oriented View of Fragmented Data Processing for Fault and Intrusion Tolerance in Distributed Systems. In: 2nd European Symposium on Research in Computer Security (ESORICS). 1992, Toulouse, France: Springer-Verlag.
• Capretz LF, Lee PA. CASE Tools for Object-Oriented Design Methodologies. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1992. Department of Computing Science Technical Report Series 399.
• Mitrani I. Computer System Models. In: Coffman, E.G., Lenstra, J.K., Rinooy Kan, A.H.G, ed. Computing. Amsterdam; London: North-Holland Publishing, 1992.
• McCue DL, Little MC. Computing Replica Placement in a Distributed System. In: 2nd IEEE Workshop on the Management of Replicated Data. 1992, Monterey, California, USA: IEEE Computer Society Press.
• McCue DL, Little MC. Computing Replica Placement in Distributed Systems. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1992. Department of Computing Science Technical Report Series 392.
• Wheater SM, McCue DL. Configuring Distributed Applications using Object Decomposition in an Atomic Action Environment. In: IEEE International Workshop on Configurable Distributed Systems. 1992, Imperial College, London, UK: IEEE Computer Society.
• Speirs NA, Shrivastava SK. Demonstration of Voltan Fail-Controlled Node. Dependable Computing Systems Centre, 1992. BG/92/40.
• Anderson T, Avizienis A, Carter WC, Costes A, Cristian F, Koga Y, Kopetz H, Lala JH, Laprie JC, Meyer JF, Randell B, Robinson AS. Dependability: Basic Concepts and Terminology. Wien; New York: Springer-Verlag, 1992.
• Romanovsky A, Shturtz IV, Vassilyev VR. Designing Fault-Tolerant Objects in Object-Oriented Programming. In: 7th International Conference on the Technology of Object-Oriented Languages and Systems (TOOLS Europe). 1992, Dortmund, Germany: Prentice-Hall.
• Saunders VA, Wellington EMH, Wipat A. Detection of Streptomyces marker plasmids in soil. In: 2nd International Conference on the Release of Genetically-engineered Micro-organisms (REGEM 2): Release of Genetically Modified Microorganisms. 1992, Nottingham, England: Kluwer Academic/Plenum Publishers.
• Wipat A, Wellington EM, Saunders VA. Detection systems for streptomycetes. In: Wellington, E.M.H. and van Elsas, J.D, ed. Genetic Interactions Among Microorganisms in the Natural Environment. Oxford: Pergamon Press, 1992, pp.83-90.
• Wright K. Differential Equations for the Analytic Singular Value Decomposition of a Matrix. Numerische Mathematik 1992, 63(2), 283-295.
• Anderson T, et al. Education and Training for Safety-Critical Systems Practitioners. In: J.A. McDermid, ed. In Software in Safety-Related Systems. Wiley, 1992, pp.177-207.
• Speirs NA, Shrivastava SK, Ezhilchelvan PD, Tao S, Brasileiro FV. Efficient Schemes for Constructing Reliable Computing Nodes in Distributed Systems. UK: University of Newcastle upon Tyne, PCT/GB 93/02225, 28-07-1992.
• Dobson JE. Elicitation and Representation of a Security Policy for a Telecommunications Application. In: 8th International Conference on Software Engineering for Telecommunications Systems and Services. 1992, Florence, Italy: IEE Press.
• Shrivastava SK, Ezhilchelvan PD, Speirs NA. Fail-Controlled Computer Architectures for Distributed Systems. Dependable Computing Systems Centre, 1992. BG/92/38.
• van Moorsel A, Haverkort BR, Niemegeers IG. Fault Injection Simulation: A Variance Reduction Technique for Systems with Rare Events. In: Dependable Computing for Critical Applications 2: 2nd IFIP Working Conference on Depend- able Computing for Critical Applications. 1992, Tucson, Arizona: Springer-Verlag.
• Jones CB, McCauley AM. Formal methods – selected historical references. Manchester: Manchester University, 1992. UMCS-92-12-2.
• Caughey SJ, Shrivastava SK. Implementing fault-tolerant object systems on distributed memory multiprocessors. In: 2nd IEEE International Workshop on Object Orientation in Operating Systems: Operating systems support for distributed and persistent objects (IWOOOS '92). 1992, Dourdan, France: IEEE Computer Society Press.
• Caughey SJ, Shrivastava SK, McCue DL. Implementing Fault-Tolerant Object Systems on Distributed Memory Multiprocessors. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1992. Department of Computing Science Technical Report Series 391.
• Marshall LF. Internationalisation: The Programmer, the User and the Writer. In: O'Brian Holt, P., Williams, N, ed. Computers and Writing : State of the Art. Oxford, UK: Intellect, 1992, pp.197-205.
• Janicki R, Koutny M. Invariants and Paradigms of Concurrency Theory. In: Future Generation Computer Systems: Papers from the Workshop on Parallel and distributed workstation systems. 1992, Florence, Italy: Elsevier Science Publishers BV.
• Koutny M. Modelling Systems with Dynamic Priorities. In: Rozenberg, G, ed. Advances in Petri Nets. Berlin; New York: Springer-Verlag, 1992, pp.251-266.
• Dobson JE. New Security Paradigms: What Other Concepts Do We Need as Well?. In: 1992-1993 ACM SIGSAC Workshop on New Security Paradigms (NSPW). 1992, Little Compton, Rhode Island, USA: IEEE Computer Society Press.
• Wright K. Numerical Solutions of Differential Equations for the Analytic Singular Value Decomposition. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1992. Department of Computing Science Technical Report Series 405.
• Little MC. Object Replication in a Distributed System. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1992. Computing Laboratory Technical Report Series 376.
• Yakovlev A. On Limitations and Extensions of Signal Transition Graph Model for Designing Asynchronous Control Circuits. In: IEEE International Conference on Computer Design: VLSI in Computers and Processors (ICCD). 1992, Cambridge, Massachusetts, USA: IEEE Computer Society Press.
• Yakovlev A. On Limitations and Extensions of Signal Transition Graph Model for Designing Asynchronous Control Circuits. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1992. Computing Laboratory Technical Report Series 374.
• Fitzgerald JS, Lindsay PA, Moore R. On Making Formal Proof More Tractable. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1992. Department of Computing Science Technical Report Series 404.
• Burns A, McDermid JA, Dobson JE. On the Meaning of Safety and Security. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1992. Computing Laboratory Technical Report Series 382.
• Wright K. Parallel treatment of block bi-diagonal matrices in the solution of ordinary differential boundary value problems (extended abstract). In: 13th IMACS World Congress on Computation and Applied Mathematics (IMACS). 1992, Dublin, Ireland: North-Holland Publishing.
• Heijenk GJ, van Moorsel APA, Niemegeers IG. Performance of a Connectionless Protocol over ATM. In: Proceedings of the International Workshop on Advanced Communications and Applications for High Speed Networks. 1992, Munich, Germany: IEEE.
• Best E, Koutny M. Petri Net Semantics of Priority Systems. Theoretical Computer Science 1992, 96(1), 175-215.
• Randell B, Laprie J-C. Predictably Dependable Computing Systems: Final Report. Bulletin of EATCS 1992, 48(Oct), 55-87.
• Shrivastava SK, Ezhilchelvan PD, Speirs NA, Tao S, Tully A. Principle Features of the VOLTAN Family of Reliable Node Architectures for Distributed Systems. IEEE Transactions on Computers (Special Issue on Fault-Tolerant Computing) 1992, 41(5), 542-549.
• Fitzgerald JS. Reasoning about a Modular Model-oriented Formal Specification. In: Specifications of Database Systems: 1st International Workshop on Specifications of Database Systems. 1992, Glasgow, UK: Springer-Verlag.
• Anderson T. Reliable Research and Dependable Development. In: Joint Framework for Information Technology (JFIT) Technical Conference. 1992, Brighton, UK: SERC/DTI, UK.
• Koutny M, Mancini LV, Pappalardo G. Replication in Acyclic Networks of Communicating Processes. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1992. Computing Laboratory Technical Report Series 378.
• Randell B. Reunion at Bletchley Park. IEEE Annals of the History of Computing 1992, 14(2), 51-53.
• Capretz LF, Lee PA. Reusability and Life Cycle Issues within an Object-Oriented Methodology. In: 8th International Conference on Technology of Object-Oriented Languages and Systems (TOOLS 8). 1992, Santa Barbara, California, USA: Prentice Hall.
• Capretz LF, Lee PA. Reusability and Life Cycle Issues within an Object-Oriented Methodology. Computing Laboratory, University of Newcastle upon Tyne, 1992. Computing Laboratory Technical Report Series 386.
• Randell B. Review of “Marks on Paper, part 1: A historical survey of computer output printing” by I.L. Wieselman and E. Tomash (Review no. 0047). Computing Reviews 1992, 33(1), 78.
• Missier P. Semantic unification in the inference of union types. In: 7th Italian Conference on Logic Programming (GULP'92). 1992, Tremezzo, Como, Italy.
• Xu J, Randell B. Software Fault Tolerance: t(n-1)-Variant Programming. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1992. Computing Laboratory Technical Report Series 388.
• Janicki R, Koutny M. Structure of Concurrency. In: 2nd International Conference on Algebraic Methodology and Software Technology (AMAST). 1992, Iowa City, USA: Springer-Verlag.
• Yakovlev A, Petrov AI. Symbolic Signal Transition Graphs and Asynchronous Circuit Design. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1992. Department of Computing Science Technical Report Series 395.
• Romanovsky A. Synchronization as a Framework for Distributed System Fault-Tolerance Design. In: 5th ACM SIGOPS European Workshop: Models and Paradigms for Distributed Systems Structuring (EW 5). 1992, Mont Saint-Michel, France: ACM Press.
• Yakovlev A. Synthesis of Hazard-Free Asynchronous Circuits from Generalised Signal-Transition Graphs. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1992. Computing Laboratory Technical Report Series 377.
• Randell B. System Dependability. In: Future Tendencies in Computer Science, Control and Applied Mathematics International Conference on the Occasion of the 25th Anniversary of INRIA. 1992, Paris, France: Springer-Verlag.
• Randell B. System Dependability. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1992. Department of Computing Science Technical Report Series 396.
• Koelmans AM, Yakovlev A, Kinniment DJ. System-level Design Based on Transformational Synthesis: Problems and Options. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1992. Computing Laboratory Technical Report Series 371.
• Blyth AJC, Chudge J, Dobson JE, Strens MR. The ORDIT Approach to Requirements Identification. In: 16th Annual IEEE International Computer Software and Applications Conference (COMPSAC). 1992, Chicago, IL, USA: IEEE Computer Society Press.
• Dobson JE, Blyth AJC, Chudge J, Strens MR. The ORDIT Approach to Requirements Identification. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1992. Department of Computing Science Technical Report Series 394.
• Jones CB. The search for tractable ways of reasoning about programs. Manchester: University of Manchester, 1992. UMCS-92-4-4.
• Marshall LF. They All Laughed at Christopher Columbus. In: National Conference on Women into Computing: Teaching Computing: Content and Methods. 1992, Keele, UK.
• Capretz LF, Lee PA. Towards an Object-Oriented Approach. In: 13th National Computer Conference. 1992, Riyadh, Saudi Arabia: Saudi Computer Society.
• Capretz LF, Lee PA. Towards an Object-Oriented Approach. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1992. Department of Computing Science Technical Report Series 408.
• Johnson CW, Harrison MD. Using temporal logic to support the specification and prototyping of interactive control systems. International Journal of Man-Machine Studies 1992, 37(3), 357-385.
• Olivier P, Ananiadou S, Maeda T et al. Visualization: Mediating the Interchange of Information from the Visual to the Verbal Domain. In: ISI'92. 1992, Saarbrucken, Germany.
• Jones CB. What inhibits the use of formal methods?. In: 8th Meeting on the Mathematical Foundations of Programming Semantics (MFPS '92). 1992, Oxford, UK.