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

• Brookes TM, Green M, Fitzgerald JS, Larsen PG. A Comparison of the Conventional and Formal Design of a Secure System Component. FACS Europe Newsletter 1994, 1(2).
• Olivier P, Tsujii J-L. A Computational View of the Cognitive Semantics of Spatial Prepositions. In: 32nd Annual Meeting of the Association for Computational Linguistics (ACL'94). 1994, Las Cruces, NM, USA: Association for Computational Linguistics.
• Schneider S, Bryans J, Davies J. A failures semantics for ET-LOTOS. Reading, UK: Reading University, 1994.
• Yakovlev A, Petrov AI, Lavagno L. A Low Latency Asynchronous Arbitration Circuit. IEEE Transactions on Very Large Scale Integration (VLSI) Systems 1994, 2(3), 372-377.
• Cho G, Marshall LF. A Multicast Service for Mobile Computing. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1994. Department of Computing Science Technical Report Series 474.
• Jones CB, Middelburg CA. A Typed Logic of Partial Functions Reconstructed Classically. Acta Informatica 1994, 31(5), 399-430.
• Panzieri F, Shrivastava SK. A View of Large Scale Distributed Computing. BROADCAST ESPRIT Basic Research Project 6360, 1994. Second Year Report - Surveys, 1 of 4.
• Romanovsky A. About Conversations for Concurrent OO Languages. SIGPLAN Notices 1994, 29(9), 17-21.
• van Moorsel A, Sanders WH. Adaptive Uniformization. Communications in Statistics: Stochastic Models 1994, 10(3), 619-648.
• de Lemos R, Saeed A, Anderson T. An Approach for the Risk Analysis of Safety Specifications. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1994. Department of Computing Science Technical Report Series 484.
• Saeed A, DeLemos R, Anderson T. An Approach for the Risk Analysis of Safety Specifications. In: COMPASS '94. 1994, Gaithersburg.
• Banatre M, Gefflaut A, Joubert P, Morin C, Lee PA. An Architecture for Tolerating Processor Failures in Shared-memory Multiprocessors. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1994. Department of Computing Science Technical Report Series 485.
• Ettl M, Mitrani I. Applying Spectral Expansion in Evaluating the Performance of Multiprocessor Systems. In: 3rd Quantitative Modeling in Parallel Systems (QMIPS) Workshop: Performance Evaluation of Parallel and Distributed Systems: Solution Methods. 1994, Torino, Italy: CWI, Amsterdam.
• Caughey SJ, Shrivastava SK. Architectural Support for Mobile Objects. BROADCAST ESPRIT Basic Research Project 6360, 1994. Second Year Report - Systems Architecture, 3 of 4.
• Shrivastava SK. Arjuna and Voltan: Case Studies in Building Fault Tolerant Distributed Systems Using Standard Components. In: Banatre, M. and Lee, P.A, ed. Hardware and Software Architectures for Fault Tolerance: Experiences and Perspectives. Berlin: Springer-Verlag, 1994, pp.218-226.
• Olivier P, Maeda T, Tsujii J-I. Automatic Depiction of Spatial Descriptions. In: Twelfth National Conference on Artificial Intelligence (AAAI-94). 1994, Seattle, Washington: American Association for Artificial Intelligence.
• Yakovlev A, Kondratyev A, Kishinevsky M. Basic Gate Implementation of Speed-Independent Circuits. In: 31st Annual ACM/IEEE Conference on Design Automation (DAC '94), San Diego, CA, USA, 6-10 June 1994. 1994, San Diego, CA: ACM Press, New York.
• Lee PA, Stroud RJ. C++ As an Introductory Programming Language. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1994. Department of Computing Science Technical Report Series 496.
• Cook N. CaberNet (Computing Architectures for Basic European Research): The ESPRIT Basic Research-funded Network of Excellence in Distributed Computing Systems Architectures. Distributed Systems Engineering 1994, 1(3), 173-176.
• Nakata K, Olivier P, Ormsby ART et al. Capturing Functional Specifications, Reasoning with Function Workshop. In: 3rd International Conference on Artificial Intelligence in Design. 1994, Lausanne, Switzerland.
• Little MC, McCue DL. Construction and Use of a Simulation Package in C++. C User's Journal 1994, 12(3).
• Barrett PA, Speirs NA. Delta-4: An Open Architecture for Dependable Systems. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1994. Department of Computing Science Technical Report Series 457.
• Janicki R, Koutny M. Deriving Histories of Nets with Priority Relation. In: 6th International PARLE Conference on Parallel Architectures and Languages Europe (PARLE). 1994, Athens, Greece: Springer-Verlag.
• Fabre J-C, Deswarte Y, Randell B. Designing Secure and Reliable Applications Using Fragmentation-Redundancy-Scattering: An Object-Oriented Approach. In: 1st European Dependable Computing Conference (EDCC). 1994, Berlin, Germany: Springer-Verlag.
• Mitra D, Mitrani I. Efficient Window Flow Control for High Speed Data Networks with Small Buffers. Annals of Operations Research 1994, 49(1), 1-24.
• Lee MH, Ormsby ART, Nakata K, Olivier P. Enhanced Product Integrity through Model-Based Reasoning Support Tools. In: International Symposium on Automotive Technology and Automation (ISATA-94). 1994, Aachen, Germany.
• Semenov A, Yakovlev A. Event-based Framework for Verifying High-level Models of Asynchronous Circuits. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1994. Department of Computing Science Technical Report Series 487.
• Wheater SM, Shrivastava SK. Exercising Application Specific Run-Time Control Over Clustering of Objects. In: 2nd IEEE International Workshop on Configurable Distributed Systems (IWCDS-2). 1994, Pittsburgh, USA: IEEE Computer Society Press.
• Jones CB. Foreword. In: Bicarregui, J.C., Fitzgerald, J.S., Lindsay, P.A., Moore, R. and Ritchie, B, ed. Proof in VDM: A Practitioner's Guide. Berlin: Springer-Verlag, 1994, pp.v-vi.
• Fitzgerald JS, Brookes TM, Green MA, Larsen PG. Formal and Informal Specifications of a Secure System Component: first results in a comparative study. In: FME'94: Industrial Benefits of Formal Methods - 2nd International Symposium of Formal Methods Europe. 1994, Barcelona, Spain: Springer-Verlag.
• de Lemos R, Saeed A, Anderson T. Formal Techniqes for Requirements Analysis for Safety-critical Systems. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1994. Department of Computing Science Technical Report Series 468.
• Rubira-Calsavara CMF, Stroud RJ. Forward and Backward Error Recovery in C++. Object Oriented Systems 1994, 1, 61-85.
• Nakata K, Olivier P, Ormsby ART, Lee MH. Functional Modelling to Support Diagnosis System Development. In: The Fifth International Workshop on Principles of Diagnosis. 1994, New York, USA.
• Banatre M, Lee PA, ed. Hardware and Software Architectures for Fault Tolerance: Experiences and Perspectives. Berlin: Springer-Verlag, 1994.
• Chakka R, Mitrani I. Heterogeneous Multiprocessor Systems with Breakdowns: Performance and Optimal Repair Strategies. Theoretical Computer Science: Special Issue on Probabilistic Modelling 1994, 125(1), 91-109.
• Romanovsky A, Strigini L. Implementation of Conversations in the Conventional Ada. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1994. Department of Computing Science Technical Report Series 475.
• Randell B. Lessons from History?. In: Randell, B; Ringland, G; Wulf, WA, ed. Software 2000: A View of the Future. Stevenage: ICL and the Commission of the European Communities, 1994, pp.B27-B29.
• Ametistova A, Mitrani I. Modelling and Evaluation of Cache Coherence Protocols in Multiprocessor Systems. In: 9th UK Performance Engineering Workshop for Computer and Telecommunication Systems: Computer and Telecommunication Systems Performance Engineering. 1994, Loughborough University, UK: Pentech Press, London.
• Wipat A, Wellington EMH, Saunders VA. Monoclonal antibodies for Streptomyces lividans and their use for immunomagnetic capture of spores from soil. Microbiology 1994, 140(8), 2067-2076.
• Olivier P, Nakata K, Ormsby ART, Lee MH. Multiple and Single Perspective Models. In: Twelfth National Conference on Artificial Intelligence (AAAI-94). 1994, Seattle, Washington.
• Ezhilchelvan P, Macedo R, Shrivastava SK. NewTop: A Fault-Tolerant Group Communication Protocol. BROADCAST Project, 1994.
• Little MC, Shrivastava SK. Object Replication in Arjuna. BROADCAST Project, 1994. 50.
• Mitrani I, Wright PE. On the Interaction of Unreliable Routes. In: Kelly, F.P, ed. Probability, Statistics and Optimization: A Tribute to Peter Whittle. Chichester: Wiley, 1994.
• de Lemos R, Saeed A, Anderson T. On the Safety Analysis of Requirements Specifications. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1994. Department of Computing Science Technical Report Series 493.
• DeLemos R, Saeed A, Anderson T. On the Safety Analysis of Requirements Specifications. In: SAFECOMP '94. 1994, Anaheim.
• Anderson T. Operating Safety and Fault Tolerance. In: Real Time Symposium ‘94. 1994, Paris.
• Koutny M, Esparza J, Best E. Operational Semantics for the Petri Box Calculus. In: 5th International Conference on Concurrency Theory (CONCUR). 1994, Uppsala, Sweden: Springer-Verlag.
• Yakovlev A, Kishinevsky M, Kondratyev A, Lavagno L. OR Causality: Modelling and Hardware Implementation. In: 15th International Conference on Application and Theory of Petri Nets (APN 1994). 1994, Zaragoza, Spain: Springer-Verlag.
• Dobson JE, Strens MR. Organisational Requirements Definition for Information Technology Systems. In: 1st IEEE International Conference on Requirements Engineering (ICRE). 1994, Colorado Springs, Colorado, USA: IEEE Computer Society Press.
• Kaya D, Wright K. Parallel Algorithms for Reduction of a General Matrix to Upper Hessenberg form on a Shared Memory Multiprocessor. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1994. Department of Computing Science Technical Report Series 490.
• Koutny M. Partial Order Semantics of Box Expressions. In: 15th International Conference on Application and Theory of Petri Nets (APN). 1994, Zaragoza, Spain: Springer-Verlag.
• Mitrani I, Gelenbe E. Preface: Special Issue on Probabilistic Modelling. Theoretical Computer Science: Special Issue on Probabilistic Modelling 1994, 125(1), 1-174.
• Olivier P, Tsujii J. Prepositional Semantics in the WINTOP System. In: Twelfth National Conference on Artificial Intelligence (AAAI-94), Workshop on Integrating National Language and Vision Processing. 1994, Seattle, Washington, USA.
• Jones CB. Process Algebra Arguments about an Object-Based Notation. In: Roscoe, A.W, ed. A Classical Mind: Essays in Honour of C.A.R. Hoare. Prentice Hall PTR, 1994, pp.231-246.
• Duan Z, Koutny M, Holt CM. Projection in Temporal Logic Programming. In: 5th International Conference on Logic Programming and Automated Reasoning. 1994, Kiev, Ukraine: Springer-Verlag.
• Bicarregui JC, Fitzgerald JS, Lindsay PA, Moore R, Ritchie B. Proof in VDM: A Practitioner's Guide. London: Springer, 1994.
• Bicarregui JC, Fitzgerald JS, Moore R, Ritchie B. Proof in VDM: Reader's Notes. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1994. Department of Computing Science Technical Report Series 489.
• Olivier P, Tsujii J-I. Quantitative perceptual representation of prepositional semantics. Artificial Intelligence Review 1994, 8(2-3), 147-158.
• Bryans J, Davies J, Schneider S. Real-time CSP and ET-LOTOS. Reading, UK: Reading University, 1994.
• Randell B, Xu J. Recovery Blocks. In: Marciniak, J.J, ed. Encyclopedia of Software Engineering. New York, USA: Wiley, 1994, pp.1037-1038.
• Randell B, Xu J. Recovery Blocks. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1994. Department of Computing Science Technical Report Series 479.
• Romanovsky A. Recovery Unification for Concurrent Heterogeneous Systems. Computer Systems Science and Engineering 1994, 9(4), 234-239.
• Ezhilchelvan PD, Shrivastava SK. rel/REL: A Family of Reliable Multicast Protocols for Distributed Systems. IEE Distributed Systems Engineering 1994, 1(6), 323-331.
• Burnett R, Anderson T. Reliability Allocation for a Software System with Modular Structure. In: VIII Brazilian Symposium on Software Engineering. 1994, Curitiba.
• Burnett R, Anderson T. Reliability Allocation for a System Using Markov Analysis. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1994. Department of Computing Science Technical Report Series 477.
• Janicki R, Koutny M. Representations of Discrete Interval Orders and Semi-Orders. Journal of Information Processing and Cybernetics EIK 1994, 30(3), 161-168.
• de Lemos R, Saeed A, Anderson T. Requirements Analysis for Safety-critical Systems: A Chemical Batch Processing Example. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1994. Department of Computing Science Technical Report Series 469.
• Dobson JE, Strens MR. Responsibility Modelling as a Technique for Requirements Definition. IEE Intelligent Systems Engineering 1994, 3(1), 20-26.
• Mitrani I, Wright PE. Routing in the Presence of Breakdowns. Performance Evaluation: Special Issue on Performance '93 1994, 20(1-3), 151-164.
• Snow CR, Whitfield H. Simple Authentication. Software: Practice and Experience 1994, 24(5), 437-447.
• Randell B, Ringland G, Wulf WA, ed. Software 2000: A View of the Future. Stevenage: ICL and the Commission of the European Communities, 1994.
• Xu J, Randell B, Rubira-Calsavara CMF, Stroud RJ. Software Fault-tolerance: Towards an Object-oriented Approach. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1994. Department of Computing Science Technical Report Series 498.
• Lee PA. Software Faults: The Remaining Problem in Fault Tolerant Systems?. In: Banatre, M. and Lee, P.A, ed. Hardware and Software Architectures for Fault Tolerance. Berlin: Springer-Verlag, 1994, pp.171-181.
• Randell B. Some Lessons from the SW2000 Workshop. In: 1st European Dependable Computing Conference (EDCC). 1994, Berlin, Germany: Springer-Verlag.
• Littlewood B, Anderson T, Bloomfield R, Malcolm R. Special Issue on Software Safety. Reliability Engineering & System Safety 1994, 43(2), 101-244.
• Meinke K, Steggles LJ. Specification and Verification in Higher Order Algebra: A Case Study of Convolution. In: Higher-Order Algebra, Logic, and Term Rewriting: 1st International Workshop (HOA '93). 1994, Amsterdam, The Netherlands: Springer-Verlag.
• McCue DL, Shrivastava SK. Structuring Fault-Tolerant Object Systems for Modularity in a Distributed Environment. IEEE Transactions on Parallel and Distributed Systems 1994, 5(4), 421-432.
• Anderson T, Redmill F, ed. Technology and Assessment of Safety-Critical Systems: Proceedings of the Second Safety-Critical Systems Symposium, Birmingham, UK. Berlin; New York: Springer-Verlag, 1994.
• Parrington GD, Shrivastava SK, Wheater SM, Little MC. The Design and Implementation of Arjuna. BROADCAST Project, 1994. 65.
• Randell B, Xu J. The Evolution of the Recovery Block Concept. In: Lyu, M, ed. Software Fault Tolerance. Chichester: John Wiley & Sons, 1994, pp.1-22.
• Gurd JR, Jones CB. The global-yet-personal information system. Manchester: Manchester University, 1994. UMCS-94-4-1.
• Randell B. The Origins of Computer Programming. IEEE Annals of the History of Computing 1994, 16(4), 6-14.
• Romanovsky A. The Problems of Designing a Conversion Scheme for Concurrent Object Oriented Languages. Microprocessing and Microprogramming 1994, 40(10-12), 897-900.
• Little MC, McCue DL. The Replica Management System: A Scheme for Flexible and Dynamic Replication. In: 2nd IEEE International Workshop on Configurable Distributed Systems (IWCDS-2). 1994, Pittsburgh, USA: IEEE Computer Society Press.
• Little MC, McCue DL. The Replica Management System: A Scheme for Flexible and Dynamic Replication. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1994. Department of Computing Science Technical Report Series 472.
• Xu J, Randell B, Rubira CMF, Stroud RJ. Toward an Object-Oriented Approach to Software Fault Tolerance. In: Fault-Tolerant Parallel and Distributed Systems. 1994, College Station, Texas, USA: IEEE Press.
• Koutny M, Mancini LV, Pappalardo G. Two Implementation Relations and the Correctness of Communicating Replicated Processes. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1994. Department of Computing Science Technical Report Series 491.
• Greenberg AG, Lubachevsky BD, Mitrani I. Unboundedly Parallel Simulations. U.S: AT&T Corp, 5.375.074, 1994, 23-01-1990.
• Hayes IJ, Jones CB, Nicholls JE. Understanding the Differences Between VDM and Z. ACM SIGSOFT Software Engineering Notes 1994, 19(3), 75-81.
• Haverkort BR, van Moorsel A, Speelman D-J. Xmgm: Performance Modeling Using Matrix Geometric Techniques. In: Second International Workshop on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS '94). 1994, Durham, North Carolina, USA: IEEE Computer Society.