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

Andras P, Andras A, Szabo Z. A Genetic Solution for the Cutting Stock Problem. In: 1st Online Workshop on Soft Computing (WSC1). 1996, Nagoya, Japan: Nagoya University.
Jones CB. A Rigorous Approach to Formal Methods. Computer 1996, 29(4), 20-21.
Smith JA, Shrivastava SK. A System for Fault-Tolerant Execution of Data and Compute Intensive Programs Over a Network of Workstations. In: 2nd International Euro-Par Conference (Euro-Par '96). 1996, Lyon, France: Springer-Verlag.
Smith JA, Shrivastava SK. A System for Fault-Tolerant Execution of Data and Compute Intensive Programs Over a Network of Workstations. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1996. Department of Computing Science Technical Report Series 553.
Calsavara A, Shrivastava SK. A Toolkit for Constructing Distributed Object-Oriented Metainformation Systems. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1996. Department of Computing Science Technical Report Series 557.
Andras P. A Tree-Structured Artificial Neural Network Applied for Chaotic Time series Prediction. In: Artificial Intelligence: Methodology, Systems, Applications (AIMSA '96). 1996, Sozopol, Bulgaria: IOS Press.
Yakovlev A, Lavagno L, Sangiovanni-Vincentelli A. A unified signal transition graph model for asynchronous control circuit synthesis. Formal Methods in System Design 1996, 9(3), 139-188.
Jones CB. Accommodating Interference in the Formal Design of Concurrent Object-Based Programs. Formal Methods in System Design 1996, 8(2), 105-122.
Qureshi MA, Sanders WH, van Moorsel A, German R. Algorithms for the Generation of State-Level Representations of Stochastic Activity Networks with General Reward Structures. IEEE Transactions on Software Engineering 1996, 22(9), 603-614.
Banatre M, Gefflaut A, Joubert P, Morin C, Lee PA. An architecture for tolerating processor failures in shared-memory multiprocessors. IEEE Transactions on Computers 1996, 45(10), 1101-1115.
Lait AJ, Randell B. An Assessment of Name Matching Algorithms. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1996. Department of Computing Science Technical Report Series 550.
Olivier P, Nakata K, Landon M, MacManus A. Analogical Representations for Mechanism Synthesis. In: 12th European Conference on Artificial Intelligence (ECAI). 1996, Budapest, Hungary: Wiley.
Misra M, Mitrani I. Analysis of Data Replication with Two Levels of Consistency. In: 2nd IEEE International Performance and Dependability Symposium (IPDS). 1996, Urbana-Champaign, IL, USA: IEEE Computer Society Press.
de Lemos R, Saeed A, Anderson T. Analysis of Safety Requirements for a Chemical Batch Processing System. In: 2nd IFAC Workshop on Safety and Reliability in Emerging Control Technologies. 1996, Daytona Beach, Florida, USA: Elsevier Science Ltd.
Romanovsky A. Application specific conversation schemes for ADA programs. Microprocessing and Microprogramming 1996, 41(10), 703-713.
Larsen PG, Fitzgerald J, Brookes T. Applying formal specification in industry. IEEE Software 1996, 13(3), 48-56.
Andras P. Approximation of Functions with Tree-Structured Neural Networks. In: International Conference on Approximation. 1996, Cluj-Napoca, Romania.
Romanovsky A. Atomic Actions Based on Distributed/Concurrent Exception Resolution. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1996. Department of Computing Science Technical Report Series 560.
Lee PA, Stroud RJ. C++ as an Introductory Programming Language. In: Woodman, M, ed. Programming Language Choice: Practice and Experience. London: International Thomson Computer Press, 1996, pp.63-82.
Randell B. Charles Babbage and the Anglo-American Copyright Dispute. IEEE Annals of the History of Computing 1996, 18(3), 56.
van Moorsel A. Combining Adaptive and Standard Uniformization. In: PMCCS3: Third International Workshop on Performability Modeling of Computer and Communication Systems. 1996, Indian Lakes Resort, Bloomingdale, Illinois: University of Illinois.
van Moorsel A, Kant LA, Sanders WH. Computation of the Asymptotic Bias and Variance for Simulation of Markov Reward Models. In: 29th Annual Simulation Symposium. 1996, New Orleans, LA: IEEE.
Olivier P, Nakata K. Computational Imagery and Diagrammatic Reasoning: A Case Study in Kinematics. In: IEE Colloquium on Thinking with Diagrams. 1996, London, UK: IEEE.
Olivier P. Computer Graphics and Linguistic Felicity. In: Proceedings of the ECAI-96 Workshop on AI and Graphics, European Conference on Artificial Intelligence (ECAI-98). 1996, Brighton, UK.
Meinke K, Steggles LJ. Correctness of Dataflow and Systolic Algorithms: Case Studies in Higher-Order Algebra. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1996. Department of Computing Science Technical Report Series 559.
Jones CB. Describing the Semantics of Concurrent Object-Oriented Languages. In: 3rd International Workshop on Foundations of Object-Oriented Languages (FOOL 3). 1996, New Brunswick, New Jersey, USA.
Wright PC, Fields B, Harrison MD. Distributed information resources: a new approach to interaction modelling. In: Cognition and the worksystem. Proceedings of the 8th European conference on cognitive ergonomics. 1996, Grenada, Spain: European Association of Cognitive Ergonomics.
Romanovsky A, Shturtz IV. Dynamic Conversations. International Journal of Computer Systems Science and Engineering 1996, 11(2), 109-116.
Olivier P, ed. ECAI-96 Workshop on the Representation and Processing of Spatial Expressions. 12th European Conference on Artificial Intelligence (ECAI-96). Budapest, Hungary. European Coordinating Committee for Artificial Intelligence, 1996.
Romanovsky A, Xu J, Randell B. Exception Handling and Resolution in Distributed Object-Oriented Systems. In: 16th IEEE International Conference on Distributed Computing Systems (ICDCS). 1996, Hong Kong, China: IEEE Computer Society Press.
German R, van Moorsel A, Qureshi MA, Sanders WH. Expected Impulse Rewards in Markov Regenerative Stochastic Petri Nets. In: Expected Impulse Rewards in Markov Regenerative Stochastic Petri Nets. 1996, Osaka, Japan: Springer.
Zorzo A, Xu J, Randell B. Experimental Evaluation of Fault-Tolerant Mechanisms for Object-Oriented Software. In: 23rd Brazilian Software and Hardware Seminars. 1996, Recife, Brazil.
Missier P, Rusinkiewicz M. Extending a Multidatabase Manipulation Language to Resolve Schema and Data Conflicts. In: Proceedings of the Sixth IFIP TC-2 Working Conference on Data Semantics (DS-6). 1996, Stone Mountain, Atlanta, Georgia, USA: Chapman & Hall.
Ingham DB, Caughey SJ, Little MC. Fixing the "Broken-Link" problem: The W3Objects approach. Computer Networks and ISDN Systems 1996, 28(7-11), 1255-1268.
Jones CB. Foreword. In: Woodcock, J.C.P. and Davies, J, ed. Using Z: Specification, Refinement, and Proof. London: Prentice Hall, 1996.
Clarke EM, Wing JM, et al. Formal Methods: State of the Art and Future Directions. ACM Computing Surveys 1996, 28(4), 626-643.
Steggles LJ, Wirsing M. Formal Software and Hardware Development: A Case Study in the Use of CSDM, SPECTRUM and HOLCF. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1996. Department of Computing Science Technical Report Series 551.
Ainsworth M, Riddle S, Wallis PJL. Formal validation of viewpoint specifications. Software Engineering Journal 1996, 11(1), 58-66.
Olivier P, Nakata K, McManus A. Higher Pair Kinematic Synthesis using Quadtrees. In: 4th International Conference on Computer Graphics and Image Processing (GKPO). 1996, Machocice, Poland.
Steggles LJ. Higher-Order Algebra with Transfinite Types. In: Higher-Order Algebra, Logic, and Term Rewriting: 2nd International Workshop (HOA '95). 1996, Paderborn, Germany: Springer-Verlag.
Dearden AM, Harrison MD. Impact as a Human Factor in Interactive System Design. In: Safety-Critical Systems: the Convergence of High Tech and Human Factors. Proceedings of the Fourth Safety-critical Systems Symposium. 1996, Leeds, UK: Springer.
Brasileiro FV, Ezhilchelvan PD, Shrivastava SK, Speirs NA, Tao S. Implementing fail-silent nodes for distributed systems. IEEE Transactions on Computers 1996, 45(11), 1226-1238.
Xu J, Randell B, Zorzo AF. Implementing Software-Fault Tolerance in C++ and Open C++. In: 1996 International Workshop on Computer-Aided Design, Test, and Evaluation for Dependability (CADTED). 1996, Beijing, China: International Academic Publishers.
Andras P. Increasing the Performance of Artificial Neural Networks Using Fuzzy Data. Cluj, Romania: Babes-Bolyai University, 1996. Preprint of Department of Mathematics and Computer Science.
Nakata K, Olivier P, McManus A et al. Kinematic Synthesis using Analogical Representations. In: Artificial Intelligence in Design Workshop on Visual Reasoning and Interaction in Design. 1996, Stanford, Palo Alto, California.
Randell B. La Filiation des Machines a Calculer Contemporain. In: Dumas, M, ed. Histoire Generale des Techniques, V. Les Techniques de la Civilisation Industrielle: Transformation, Communication, Facteur Humain. Paris, France: Presses Universitaires de France, 1996.
Lee PA, Phillips C, McLauchlan MR. Lab Manual to Accompany The Apprentice C++ Programmer: A Touch of Class. London: International Thomson Computer Press, 1996.
Nakata K, Olivier P, Bill J, Boyce D. Matching and tracking using decomposition. Machine Graphics and Vision 1996, 5(1-2), 131-140.
Andras P. Modeling the Development of the Concept System. Studia Universitatis Babes-Bolyai: Mathematica 1996, 41(1), 107-122.
Yakovlev AV, Koelmans AM, Semenov A, Kinniment DJ. Modelling, analysis and synthesis of asynchronous control circuits using Petri nets. Integration: the VLSI journal 1996, 21(3), 143-170.
Olivier P, Nakata K, Landon M. Multi-level Molecular Representation. In: Artificial Intelligence in Design. 4th International Conference. 1996, Stanford, California, USA: Kluwer Academic Publishers.
Jones CB, Hodges SJ. Non-Interference Properties of a Concurrent Object-Based Language: Proofs Based on an Operational Semantics. In: Dagstuhl Seminar no. 9514: Object Orientation with Parallelism and Persistence. 1996, Schloss Dagstuhl, Germany: Kluwer Academic Publishers.
Freitag B, Jones CB, Lengauer C, Schek H-J, ed. Object Orientation with Parallelism and Persistence. Boston: Kluwer Academic Publishers, 1996.
Olivier P, Ormsby A, Nakata K. Occupancy array-based kinematic reasoning. Engineering Applications of Artificial Intelligence 1996, 9(5), 541-549.
Yakovlev A, Kishinevsky M, Kondratyev A, Lavagno L, Pietkiewicz-Koutny M. On the models for asynchronous circuit behaviour with OR causality. Formal Methods in System Design 1996, 9(3), 189-233.
Yakovlev A, Semenov A, Koelmans AM, Kinniment DJ. Petri nets and asynchronous circuit design. IEE Colloquium (Digest) 1996, (40), 8/1-8/6.
Cortadella J, Kondratyev A, Kishinevsky M, Lavagno L, Yakovlev A. Petrify: A Tool for Manipulating Concurrent Specifications and Synthesis of Asynchronous Controllers. In: 11th Conference on Design of Integrated Circuits and Systems (DCIS). 1996, Barcelona, Spain.
Romanovsky A. Practical Exception Handling and Resolution in Concurrent Programs. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1996. Department of Computing Science Technical Report Series 545.
van Moorsel A, Haverkort BR. Probabilistic Evaluation for the Analytical Solution of Large Markov Models: Algorithms and Tool Support. Microelectronics Reliability 1996, 36(6), 733-755.
Davies J, Bryans J, Schneider S. Real-time LOTOS and Timed Observations. In: 8th IFIP TC6 International Conference on Formal Description Techniques (FORTE). 1996, Montreal, Canada: Chapman & Hall.
Dearden AM, Harrison MD. Risk Analysis, impact and interaction modelling. In: Design Specification and Verification of Interactive Systems '96: Proceedings of the Eurographics Workshop. 1996, Namur, Belgium: Springer.
Xu J, Randell B. Roll-Forward Error Recovery in Embedded Real-Time Systems. In: International Conference on Parallel and Distributed Systems (ICPADS). 1996, Tokyo, Japan: IEEE Computer Society Press.
Anderson T, Redmill F, ed. Safety-critical Systems: The Convergence of High Tech and Human Factors: Proceedings of the Fourth Safety-Critical Systems Symposium, Leeds, UK. London, UK: Springer-Verlag, 1996.
Gerth U, Wipat A, Harwood CR, Carter N, Emmerson PT, Hecker M. Sequence and transcriptional analysis of clpX, a class-III heat-shock gene of Bacillus subtilis. Gene 1996, 181(1-2), 77-83.
Harwood CR, Wipat A. Sequencing and functional analysis of the genome of Bacillus subtilis strain 168. FEBS Letters 1996, 389(1), 84-87.
Ansell PS, Glazebrook KD, Mitrani I. Server allocation subject to variance constraints. Performance Evaluation 1996, 27-28, 147-158.
Jones CB. Some Practical Problems and Their Influence on Semantics. In: 6th European Symposium on Programming (ESOP '96): Programming Languages and Systems. 1996, Linköping, Sweden: Springer-Verlag.
Sugden RC, Strens MR, Dobson JE. Strategies to Meet the Challenge of Changing Requirements. In: Safety Critical Systems Symposium. 1996, Leeds, UK: Springer-Verlag.
Blair H, Caughey SJ, Green H, Shrivastava SK. Structuring Call Control Software Using Distributed Objects. In: 1996 International Workshop on Trends in Distributed Systems: CORBA and Beyond (TreDS '96). 1996, Aachen, Germany: Springer-Verlag.
Blair H, Caughey SJ, Green H, Shrivastava SK. Structuring Call Control Software Using Distributed Objects. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1996. Department of Computing Science Technical Report Series 558.
Greenberg AG, Lubachevsky BD, Mitrani I. Superfast Parallel Discrete Event Simulations. ACM Transactions on Modelling and Computer Simulation 1996, 6(2), 107-136.
Jones C. TANSTAAFL (with partial functions). In: CADE-13 Workshop on the Mechanization of Partial Functions. 1996, Rutgers University, New Brunswick, NJ, USA.
Wheater SM, Little MC. The Design and Implementation of a Framework for Configurable Software. In: 3rd IEEE International Conference on Configurable Distributed Systems (ICCDS '96). 1996, Maryland, USA: IEEE Computer Society Press.
Wipat A, Carter N, Brignell SC, Guy BJ, Piper K, Sanders J, Emmerson PT, Harwood CR. The dnaB-pheA (256°-240°) region of the Bacillus subtilis chromosome containing genes responsible for stress responses, the utilization of plant cell walls and primary metabolism. Microbiology 1996, 142(11), 3067-3078.
Harrison MD. The formal specification of interactive systems. Software Engineering Journal 1996, 11(6), 322.
Gurd JR, Jones CB. The Global-yet-Personal Information System. In: Wand, I. and Milner, R, ed. Computing Tomorrow: Future research directions in computer science. Cambridge: Cambridge University Press, 1996, pp.127-157.
Andras P. The Minority Question - A Game Theory and Micro Economic Approach. Web - The Journal of the Max Weber Special Sociology College 1996, (1), 56-74.
Watson P, Ward M, Hoyle K. The System Management of the ICL GOLDRUSH Parallel Database Server. In: 1996 International Conference and Exhibition on High-Performance Computing and Networking (HPCN Europe 1996), Brussels, Belgium, 15-19 April 1996. 1996, Brussels, Belgium: Springer.
Watson P, Ward M, Hoyle K. The System Management of the ICL GOLDRUSH Parallel Database Server. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1996. Department of Computing Science Technical Report Series 548.
Harrison M, Fields R, Wright PC. The user context and formal specification in interactive system design. In: BCS-FACS Workshop on Formal Aspects of the Human Computer Interface. 1996, Sheffield Hallam University, UK: Springer in collaboration with the British Computer Society.
Garg S, van Moorsel A. Towards Performability Modeling of Software Rejuvenation. In: PMCCS3: Third International Workshop on Performability Modeling of Computer and Communication Systems. 1996, Indian Lakes Resort, Bloomingdale, Illinois: University of Illinois.
Pietkiewicz-Koutny M. Transition Systems of Elementary Net Systems with Inhibitor Arcs. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1996. Department of Computing Science Technical Report Series 547.
Andras P. Tuning Fuzzy Rule Bases with a Genetic Algorithum. In: 10th Romanian Symposium on Computer Science (ROSYCS). 1996, Iasi, Romania: Faculty of Computer Science, 'A.I. Cuza' University.
Fitzgerald JS. Two Industrial Trials of Formal Specification. In: 5th International Conference on Algebraic Methodology and Software Technology (AMAST '96). 1996, Munich, Germany: Springer-Verlag.
Starodoubstev NA, Yakovlev A, Petrov AI. Use of VHDL-based Environment for Interactive Synthesis of Asynchronous Circuits. In: VHDL Forum in Europe Spring Working Conference. 1996, Dresden, Germany.
Little MC, Shrivastava SK. Using Application Specific Knowledge for Configuring Object Replicas. In: 3rd IEEE International Conference on Configurable Distributed Systems (ICCDS '96). 1996, Maryland, USA: IEEE Computer Society Press.
Little MC, Shrivastava SK. Using application specific knowledge for configuring object replicas. In: IEEE International Workshop on Configurable Distributed Systems. 1996, Annapolis, Maryland, USA: IEEE Computer Society.
Stroud RJ, Wu Z. Using Metaobject Protocols to Satisfy Non-Functional Requirements. In: Zimmerman, C, ed. Advances in Object-Oriented Metalevel Architectures and Reflection. Boca Raton, Florida, USA: CRC Press, 1996.
Semenov A, Yakovlev A. Verification of Asynchronous Circuits using Time Petri Net Unfolding. In: 33rd Annual ACM/IEEE Conference on Design Automation (DAC). 1996, Las Vegas, Nevada, USA: ACM Press, New York.