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
- Welch I, Stroud RJ. Dalang - A Reflective Extension for Java.
Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2000. Department of Computing Science Technical Report Series 672.
- Garcia F, Rubira-Calsavara CMF, Romanovsky A, Xu J. A Comparative Study of Exception Handling Mechanisms for Building Dependable Object-Oriented Software.
Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2000. Department of Computing Science Technical Report Series 714.
- Koutny M. A Compositional Model of Time Petri Nets.
In: Application and Theory of Petri Nets 2000: 21st International Conference, ICATPN 2000. 2000, Aarhus, Denmark: Springer-Verlag.
- Kienzle J, Romanovsky A. A Framework Based on Design Patterns for Providing Persistence in Object-Oriented Programming Languages.
Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2000. Department of Computing Science Technical Report Series 688.
- Xu J, Randell B, Romanovsky A. A Generic Implementation Approach to Concurrent Fault-Tolerant Software.
Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2000. Department of Computing Science Technical Report Series 692.
- Umar A, Bianchi M, Caruso F, Missier P. A Knowledge-Based Decision Support Workbench for Advanced Ecommerce.
In: Academia/Industry Working Conference on Research Challenges (AIWoRC 2000), Next Generation Enterprises: Virtual Organizations and Mobile/Pervasive Technologies. 2000, Buffalo, New York, USA: IEEE Computer Society.
- Akehurst D, Bowman H, Bryans J, Derrick J. A Manual for a Model Checker for Stochastic Automata.
Canterbury, UK: University of Kent at Canterbury, 2000. 5-00.
- Bowman H, Bryans J, Derrick J. A model checking algorithm for stochastic systems.
Canterbury, UK: University of Kent at Canterbury, 2000. 4-00.
- Ezhilchelvan PD, Liu C, Barcellos AMP. A Multicast Transport Protocol for Reliable Group Applications.
Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2000. Department of Computing Science Technical Report Series 681.
- Arief LB, Speirs NA. A UML Tool for an Automatic Generation of Simulation Programs.
In: 2nd International Workshop on Software and Performance (WOSP 2000). 2000, Ottawa, Canada: ACM Press.
- Shrivastava SK, Bellissard L, Féliot D et al. A Workflow and Agent based Platform for Service Provisioning.
In: 4th IEEE/OMG International Enterprise Distributed Object Computing Conference (EDOC 2000). 2000, Makuhari, Japan: IEEE Computer Society Press.
- Romanovsky A. Abstract Object State and Version Recovery in N-Version Programming.
Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2000. Department of Computing Science Technical Report Series 669.
- Romanovsky A, Kienzle J. Action-Oriented Exception Handling in Cooperative and Competitive Concurrent Object-Oriented Systems.
Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2000. Department of Computing Science Technical Report Series 713.
- Shrivastava SK, Krakowiak S, ed. Advances in Distributed Systems: Advanced Distributed Computing from Algorithms to Systems.
New York: Springer, 2000.
- Ezhilchelvan PD, Shrivastava SK. Advances in Distributed Systems: advanced distributed computing, from algorithms to systems.
Berlin, New York: Springer-Verlag, 2000.
- Dearden A, Harrison MD, Wright PC. Allocation of function: scenarios, context and the economics of effort.
International Journal of Human-Computer Studies 2000, 52(2), 289-318.
- Randell B, Beder DM, Romanovsky A, Snow CR, Stroud RJ. An Application of Fault Tolerance Patterns and Coordinated Atomic Actions to a Problem in Railway Scheduling.
Operating Systems Review 2000, 34(4), 21-31.
- Smith J, de F Mendes Sampaio S, Watson P, Paton NW. An Architecture for a Parallel Object Database.
In: Workshop on High Performance Object Databases (HIPOD). 2000, Cardiff, UK: Department of Computer Science, Cardiff University.
- Romanovsky A. An Exception Handling Framework for N-Version programming in Object Oriented Systems.
In: 3rd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC). 2000, Newport Beach, California, USA: IEEE.
- Romanovsky A. An Exception Handling Framework for N-Version programming in Object Oriented Systems.
Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2000. Department of Computing Science Technical Report Series 684.
- Parastatidis S, Watson P. An Object-based Software DSM for the NIP Parallel System.
Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2000. Department of Computing Science Technical Report Series 678.
- Wright PC, Fields RE, Harrison MD. Analyzing Human-Computer Interaction as Distributed Cognition: the resources model.
Human-Computer Interaction 2000, 15(1), 1-41.
- Molina-Jiménez C. Anonymous and Confidential Communication using PDAs [PhD Thesis].
Newcastle upon Tyne: University of Newcastle upon Tyne, 2000. Department of Computing Science.
- Lennox B, Hiden HG, Montague GA, Kornfeld G, Goulding PR. Application of multivariate statistical process control to batch operations.
Computers and Chemical Engineering 2000, 24(2-7), 291-296.
- Xia F, Yakovlev A, Shang D, Bystrov A, Koelmans A, Kinniment D. Asynchronous communication mechanisms using self-timed circuits.
In: 6th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 2000). 2000, Eliat, Israel: IEEE Computer Society.
- Pedone F, Schiper A, Van Moorsel A. Bridging the Gap between Application Semantics and Group Communication Protocols.
In: 19th IEEE Symposium on Reliable Distributed Systems: Workshop on Dependable System Middleware and Group Communication. 2000, Nuremberg, Germany: Ecole Polytechnique Lausanne.
- Frolund S, Pedone F, Pruyne J, Van Moorsel A. Building Dependable Internet Services with E-speak.
In: Workshop on Dependability of IP Applications, Platforms and Networks. 2000, New York, NY: AT&T Laboratories.
- Ezhilchelvan PD, Hulary J-M, Raynal M. Building TMR-Based Reliable Servers Despite Bounded Input Lifetimes.
Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2000. Department of Computing Science Technical Report Series 701.
- Halper N, Olivier P. CamPlan: A Camera Planning Agent.
In: Smart Graphics: Papers from the 2000 AAAI Spring Symposium. 2000, Stanford, Palo Alto, California: American Association for Artificial Intelligence.
- Jones CB. Compositionality, Inference and Concurrency.
In: 1999 Oxford-Microsoft Symposium in honour of Professor Sir Tony Hoare: Millennial Perspectives in Computer Science. 2000, St. Catherine's College, Oxford University, UK: Palgrave Macmillan.
- Xu J, Romanovsky A, Randell B. Concurrent exception handling and resolution in distributed object systems.
IEEE Transactions on Parallel and Distributed Systems 2000, 11(10), 1019-1032.
- Ingham DB, Shrivastava SK, Panzieri F. Constructing dependable Web services.
IEEE Internet Computing 2000, 4(1), 25-33.
- Ingham DB, Panzieri F, Shrivastava SK. Constructing dependable Web services.
In: Krakowiak, S., Shrivastava, S, ed. Advances in Distributed Systems: Advanced Distributed Computing: From Algorithms to Systems. Berlin, New York: Springer, 2000, pp.277-294.
- Perry DE, Romanovsky A, Tripathi A. Current trends in exception handling.
IEEE Transactions on Software Engineering 2000, 26(10), 921-922.
- Caruso F, Cochinwala M, Ganapathy U, Lalk G, Missier P. Demonstration of Telcordia's Database Reconciliation and Data Quality Analysis Tool.
In: Proceedings of 26th International Conference on Very Large Data Bases (VLDB). 2000, Cairo, Egypt: Morgan Kaufmann.
- Jones CB. Dependability of Computer-Based Systems.
In: XIV Simposia Brasiliero de Engenharia de Software (14th Brazilian Symposium on Software Engineering) (SBES-2000). 2000, Joao Pessoa, Paraiba, Brazil.
- Romanovsky A, Wellings A. Developing fault-tolerant systems with Ada.
COMPUTER SYSTEMS SCIENCE AND ENGINEERING 2000, 15(1), 3-6.
- Romanovsky A. Diversely Designed Classes for use by Multiple Tasks.
Ada Letters 2000, 20(1), 25-37.
- Romanovsky A. Diversely Designed Classes for Use by Multiple Tasks.
Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2000. Department of Computing Science Technical Report Series 691.
- Popov P, Strigini L, Romanovsky A. Diversity for Off-The-Shelf Components.
In: International Conference on Dependable Systems and Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), Workshops and Fast Abstracts Digest. 2000, New York, USA: IEEE Computer Society Press.
- Romanovsky A, Wellings AJ. Editorial to Special Issue on Developing Fault-Tolerant Systems with Ada.
Computer Systems Science and Engineering 2000, 15(1), 3-6.
- McGough AS, Mitrani I. Efficient distributed simulation of a communication switch with bursty sources and losses.
In: 14th Workshop on Parallel and Distributed Simulation. 2000, University of Bologna, Italy: IEEE.
- McGough SA, Mitrani I. Efficient Parallel Simulation of a Sliding Window Protocol.
In: 7th IFIP International Conference on ATM Networks, Ilkley, UK, 2000. 2000.
- Collette P, Jones CB. Enhancing the Tractability of Rely/Guarantee Specifications in the Development of Interfering Operations.
In: Plotkin, G.D., Stirling, C.P. and Tofte, M, ed. Proof, Language and Interaction: Essays in Honour of Robin Milner. Cambridge, MA, USA: MIT Press, 2000, pp.277-307.
- Anderson T, et al. Evaluation of Danish Electronics, Light & Acoustics.
Copenhagen, 2000. Report for the Danish agency for Trade and Industry.
- Romanovsky A, Dony C, Knudsen JL, Tripathi A. Exception handling in object oriented systems.
In: ECOOP 2000 - Object-Oriented Programming, 14th European Conference. 2000, Sophia Antipolis and Cannes, France: Springer-Verlag.
- Romanovsky A, Dony C, Knudsen JL, Tripathi A. Exception Handling in Object-Oriented Systems.
In: ECOOP 2000 Workshops, Panels, and Posters: Object-Oriented Technology; part of the 14th European Conference on Object-Oriented Programming (ECOOP). 2000, Sophia Antipolis and Cannes, France: Springer-Verlag.
- Romanovsky A. Extending conventional languages by distributed/concurrent exception resolution.
Journal of Systems Architecture 2000, 46(1), 79-95.
- Randell B. Facing up to Faults.
The Computer Journal 2000, 43(2).
- Stott DT, Speirs NA, Xu J, Bagchi S, Whisnant K, Kalbarczyk Z, Iyer RK. Fault Injection Based Assessment of Fail-Silence Provided by Process Duplication versus Internal Error Detection.
Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2000. Department of Computing Science Technical Report Series 694.
- Randell B. Fault Tolerance in Decentralized Systems.
IEICE Transactions on Communications 2000, 83(5), 903-908.
- Romanovsky A. Faulty version recovery in object-oriented N-version programming.
IEE Proceedings: Software 2000, 147(3), 81-90.
- Romanovsky A. Faulty Version Recovery in Object-Oriented N-Version Programming.
Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2000. Department of Computing Science Technical Report Series 679.
- Jones CB. Formal methods and dependability.
In: Mathematics of Program Construction 2000. 2000, Oxford, UK: Springer.
- Steggles LJ, Kosiuczenko P. Formal model for SDL specifications based on Timed Rewriting Logic.
Automated Software Engineering 2000, 7(1), 61-90.
- Avizienis A, Laprie J-C, Randell B. Fundamental Concepts of Dependability.
In: 3rd IEEE Information Survivability Workshop (ISW). 2000, Boston, Massachusetts, USA: Software Engineering Institute, Carnegie-Mellon University, Pittsburgh.
- Bearden M, Garg S, van Moorsel A, Lee W-J. Gallifrey: A Component-Based Framework for Building Policy-Based Management Applications.
New Jersey: Lucent Technologies - Bell Laboratories, 2000. Work Project No. MA30035004.
- Guy J, Spalluto C, McMurray A, Hearn T, Crosier M, Viggiano L, Miolla V, Archidiacono N, Rocchi M, Scott C, Lee PA, Sulston J, Rogers J, Bentley D, Jackson MS. Genomic sequence and transcriptional profile of the boundary between pericentrometric satellites and genes on human chromosome arm 10q.
Human Molecular Genetics 2000, 9(13), 2029-2042.
- Marshall LF, Webber J. Gotos Considered Harmful and Other Programmers' Taboos.
In: Proceedings of the Twelfth Annual meeting of the Psychology of Programming Interest Group (PPIG 2000). 2000, Cozenza, Italy.
- Marshall LF, Webber J. Gotos Considered Harmful and Other Programmers' Taboos.
In: 12th Annual Workshop of the Psychology of Programming Interest Group (PPIG). 2000, Corigliano Calabro, Cosenza, Italy: Memoria.
- Marshall LF, Webber J. Gotos Considered Harmful and other Programmers' Taboos.
Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2000. Department of Computing Science Technical Report Series 699.
- Cortadella J, Kishinevsky M, Kondratyev A, Lavagno L, Yakovlev A. Hardware and Petri nets: Application to asynchronous circuit design.
In: Application and Theory of Petri Nets 2000: 21st International Conference, ICATPN 2000. 2000, Aarhus, Denmark: Springer.
- Yakovlev A, Gomes L, Lavagno L, ed. Hardware Design and Petri Nets.
United Kingdom: Springer, 2000.
- Morgan G, Shrivastava SK. Implementing flexible object group invocation in networked systems.
In: International Conference on Dependable Systems and Networks (DSN). 2000, New York, NY, US: IEEE Computer Society.
- Morgan G, Rischbeck T. Implementing Scalable Networked Virtual Environments using Replicated VRML Servers.
In: International SRDS Workshop on Object-Oriented Reliable Distributed Systems (WOODS), held as part of the 19th IEEE Symposium on Reliable Distributed Systems (SRDS). 2000, Nürnberg, Germany: IEEE Computer Society.
- Morgan G, Ezhilchelvan PD. Issues in designing group invocation and management policies for using replica groups over the Internet.
In: International 19th Symposium on Reliable Distributed Systems (SRDS). 2000, Nürnberg, Germany.
- Morgan G, Ezhilchelvan PD. Issues in designing group invocation and management policies for using replica groups over the Internet.
In: International SRDS Workshop on Dependable System Middleware and Group Communication (DSMGC), held as part of the 19th IEEE Symposium on Reliable Distributed Systems (SRDS). 2000, Nürnberg, Germany: IEEE Computer Society.
- Jain R, Anjum F, Missier P, Shastry S. Java Call Control, Coordination and Transactions.
IEEE Communications 2000, 38(1), 108-114.
- Welch I, Stroud RJ. Kava - A reflective Java based on bytecode rewriting.
Reflections and Software Engineering: Lecture Notes in Computer Science 2000, 1826, 155-167.
- Welch IS, Stroud RJ. Kava - A Reflective Java Based on Bytecode Rewriting.
In: 1st OOPSLA Workshop on Reflection and Software Engineering (OORaSE). 2000, Denver, Colorado, USA: Springer-Verlag.
- Welch I, Stroud RJ. Kava - Using Byte code Rewriting to add Behavioural Reflection in Java.
Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2000. Department of Computing Science Technical Report Series 704.
- Anderson T, Redmill F, ed. Lessons in System Safety: Proceedings of the 8th Safety-critical Systems Symposium, Southampton, UK.
Berlin; New York: Springer-Verlag, 2000.
- Koutny M, Khomenko V. Linear Programming Deadlock Checking Using Partial Order Dependencies.
Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2000. Department of Computing Science Technical Report Series 695.
- Hamilton MD, McKee P, Mitrani I. Loads and Delays in Distributed Systems using Multicast.
In: 16th Annual UK Performance Engineering Workshop (UKPEW). 2000, Durham, UK: Department of Computer Science, University of Durham.
- Khomenko V, Koutny M. LP Deadlock Checking Using Partial Order Dependencies.
In: 11th International Conference on Concurrency Theory (CONCUR). 2000, University Park, Pennsylvania, USA: Springer-Verlag.
- Cachin C, Camenisch J, Dacier M, Deswarte Y, Dobson JE, Horne D, Kursawe K, Laprie J-C, Lebraud J-C, Long D, McCutcheon T, Muller J, Petzold F, Pfitzmann B, Powell D, Randell B, Schunter M, Shoup V, Veríssimo P, Trouessin G, Stroud R, Waidner M, Welch I. Mailicious- and Accidental- Fault Tolerance for Internet Applications (MAFTIA) : Reference Model and Use Cases.
Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2000. Department of Computing Science Technical Report Series 707.
- Riddle S, Dawkins S. Managing and supporting the use of COTS.
In: Redmill, R and Anderson, T, ed. Lessons in System Safety: Proceedings of the 8th Safety-Critical Systems Symposium, Southampton, UK. London: Springer, 2000, pp.284-300.
- Dawkins S, Riddle S. Managing and supporting the use of COTS.
In: 8th Safety-Critical Systems Symposium. 2000, Southampton, UK: Springer, London.
- Ryan PYA. Mathematical Models of Computer Security.
In: IFIP TC 1 WG 1.7 International School on Foundations of Security Analysis and Design (FOSAD). 2000, Bertinoro, Italy.
- Marshall LF, Parastatidis S. Modelling Agent Systems Using the Hotel Analogy.
Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2000. Department of Computing Science Technical Report Series 698.
- Marshall L, Parastatidis S. Modelling Agents using the Hotel Analogy: Sanitised for your Protection?.
In: Symposium on Starting from Society: the Application of Social Analogies to Computational Systems (AISB). 2000, Birmingham, UK: AISB.
- Burton J, Koutny M, Pappalardo G. Modelling and Verification of Communicating Processes in the Event of Interface Difference.
Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2000. Department of Computing Science Technical Report Series 696.
- Burns A, Wellings AJ, Koelmans AM, Koutny M. On Developing and Verifying Design Abstractions for Reliable Concurrent Programming in Ada.
Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2000. Department of Computing Science Technical Report Series 706.
- Kienzle J, Romanovsky A. On persistent and reliable streaming in Ada.
Lecture notes in Computer Science: Reliable Software Technologies ADA-Europe 2000 2000, 1845, 82-95.
- Kienzle J, Romanovsky A. On Persistent and Reliable Streaming in Ada.
In: 5th Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe). 2000, Potsdam, Germany: Springer-Verlag.
- Romanovsky A. On Structuring Cooperative and Competitive Concurrent Systems.
Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2000. Department of Computing Science Technical Report Series 682.
- Wheater SM, Shrivastava SK, Ranno F. OPENflow: A CORBA based transactional workflow system.
Advances in Distributed Systems 2000, 1752, 354-374.
- Hamilton MD, Mitrani I. Optimal allocation policies for mobile agents.
In: 11th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools (TOOLS 2000). 2000, Schaumburg, IL, USA: Springer-Verlag.
- Hamilton MD, Mitrani I. Optimal Allocation Policies for Mobile Agents.
In: 11th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools (TOOLS). 2000, Schaumburg, IL, USA: Springer-Verlag.
- Watson P, Silva F. Or-Parallel Prolog on a Distributed Memory Architecture.
The Journal of Logic Programming 2000, 43(2), 173-186.
- Silva F, Watson P. Or-parallel Prolog on a distributed memory architecture.
Journal of Logic Programming 2000, 43(2), 173-186.
- McGough AS, Mitrani I. Parallel Simulation of ATM Switches Using Relaxation.
Performance Evaluation (Special Issue on ATM Networks: Performance Modelling and Analysis) 2000, 41(2-3), 149-164.
- McGough AS, Mitrani I. Parallel simulation of ATM switches using relaxation.
Performance Evaluation 2000, 41(2), 149-164.
- McGough AS. Parallel simulations using recurrence relations and relaxation [PhD thesis].
Newcastle upon Tyne: University of Newcastle upon Tyne, 2000. Department of Computing Science.
- Smith JA, Watson P, de F Mendes Sampaio S, Paton NW. Polar: An Architecture for a Parallel ODMG Compliant Object Database.
In: 9th International Conference on Information Knowledge Management (CIKM). 2000, McLean, Virginia, USA: ACM Press.
- Morgan G, Ezhilchelvan PD. Policies for Using Replica Groups and their Effectiveness over the Internet.
In: 2nd International Workshop on Networked Group Communication (NGC). 2000, Stanford University, Palo Alto, California, USA: ACM Press.
- Morgan G, Ezhilchelvan PD. Policies for using Replica Groups and their effectiveness over the Iternet.
In: 2nd International Workshop on Networked Group Communication (NGC 2000). 2000, Palo Alto, California, USA: Association for Computing Machinery.
- Bystrov A, Kinniment D, Yakovlev A. Priority arbiters.
In: 6th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 2000). 2000, Eliat, Israel: IEEE Computer Society.
- Yakovlev A, Nouta R, ed. Proceedings AINT'2000: Asynchronous Interfaces: tools, techniques, and implementations, TU Delft, The Netherlands, 19-20th July 2000.
Newcastle-upon-tyne: University of Newcastle upon Tyne, Department of Economics, 2000.
- Kleijn J, Koutny M. Process semantics of P/T-nets with inhibitor arcs.
In: Application and Theory of Petri Nets 2000: 21st International Conference, ICATPN 2000. 2000, Aarhus, Denmark: Springer-Verlag.
- Kleijn HCM, Koutny M. Process Semantics of P/T-Nets with Inhibitor Arcs.
In: 21st International Conference on Application and Theory of Petri Nets (ICATPN). 2000, Aarhus, Denmark: Springer-Verlag.
- Sanders JW, Zuliani P. Quantum programming.
In: MPC. 2000.
- Ezhilchelvan PD, Mostefaoui A, Raynal M. Randomized Multivalued Consensus.
Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2000. Department of Computing Science Technical Report Series 702.
- Cazzola W, Stroud RJ, Tisato F, ed. Reflection and Software Engineering: Papers from 1st OOPSLA Workshop on Reflection and Software Engineering (OORaSE), Denver, CO, USA, November 1999.
Berlin; New York: Springer-Verlag, 2000.
- Pietkiewicz-Koutny M. Relating Formal Models of Concurrency for the Modelling of Asynchronous Digital Hardware [PhD thesis].
Newcastle upon Tyne: University of Newcastle upon Tyne, 2000. Department of Computing Science.
- Madalinski A, Xia F, Yakovlev A. Relative Data Freshness of Asynchronous Communication Mechanisms.
Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2000. Department of Computing Science Technical Report Series 709.
- Doherty GJ, Campos JC, Harrison MD. Representational Reasoning and Verification.
Formal Aspects of Computing 2000, 12(4), 260-277.
- Steggles LJ. Rewriting Logic and Elan: Prototyping Tools for Petri Nets with Time.
Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2000. School of Computing Science Technical Report Series 716.
- Parastatidis S. Run-Time Support for Parallel Object-Oriented Computing: The NIP Lazy Task Creation Technique and the NIP Object-based Software Distributed Shared Memory [PhD Thesis].
Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2000.
- Shrivastava SK, Ezhilchelvan PD, Speirs N, Fitzgerald JS. Safety Critical Distributed Systems: a State of Art Report.
London: National Air Traffic Services, 2000.
- Starodoubtsev N, Bystrov A, Yakovlev A. Semi-modular latch chains for asynchronous circuit design.
Lecture Notes in Computer Science: Integrated Circuit Design 2000, 1918, 168-177.
- Speirs NA, Arief LB. Simulation of a Telecommunication System Using SimML.
In: IEEE Proceedings of the 33rd Annual Simulation Symposium. 2000, Washington DC, USA: IEEE.
- Butz A, Krüger A, Olivier P, ed. Smart Graphics: Papers from the AAAI Spring Symposium.
California, USA: Ammerican Association for Artificial Intelligence, 2000.
- Marshall LF. Some Shadows of Eternity - the Internet and Memorials to the Dead.
University of Newcastle upon Tyne: Department of Computing Science, 2000. Technical Report Series 718.
- Marshall LF. Some Shadows of Eternity: The Internet and Memorials to the Dead.
Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2000. Department of Computing Science Technical Report Series 718.
- Steggles LJ. Specifying and verifying real-time systems using second-order algebraic methods: A case study of the railroad crossing controller.
Journal of Universal Computer Science 2000, 6(4), 460-473.
- Steggles LJ. Specifying and Verifying Real-Time Systems using Second-Order Algebraic Methods: A Case Study of the Railroad Crossing Controller.
Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2000. Department of Computing Science Technical Report Series 697.
- Marshall LF. Static Testing Tools for TCL.
In: 1st European Tcl/Tk User Meeting. 2000, Hamburg, Germany.
- Marshall LF. Static Testing Tools for tcl.
Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2000. Department of Computing Science Technical Report Series 719.
- Madalinski A, Bystrov A, Yakovlev A. Statistical Fairness of Ordered Arbiters.
Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2000. Department of Computing Science Technical Report Series 703.
- Watson P, Watson I, Ibbett R, Kelly P, Muller H. Strategic Directions in Computer Architecture Research.
Computer Architecture Group, UK, 2000. "Strategic Directions in Computer Science" Workshop.
- Mikhailova A, Romanovsky A. Supporting Evolution of Interface Exceptions.
Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2000. Department of Computing Science Technical Report Series 715.
- Kinniment D, Yakovlev A, Gao B. Synchronous and asynchronous A-D conversion.
IEEE Transactions on Very Large Scale Integration (VLSI) Systems 2000, 8(2), 217-220.
- Yakovlev A, Xia F, Shang D. Synthesis of a Signal-type Asynchronous Data Communication Mechanism and its Hardware Implementation.
Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2000. Department of Computing Science Technical Report Series 720.
- Pietkiewicz-Koutny M. Synthesis of Net systems with Inhibitor Arcs from Step Transition systems.
Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2000. Department of Computing Science Technical Report Series 673.
- Romanovsky A. The domino effect as a deadlock.
Computer Systems Science and Engineering 2000, 15(3), 147-154.
- Watson P, Lee PA. The NU-Grid Persistent Object Computation Server.
In: 1st European GRID Forum Workshop (part of the ISTHMUS 2000 Conference). 2000, Poznan, Polan: Instytut Informatyki, Politechnika Poznánska, Poznan.
- Snow CR, Little MC, Wheater SM, Ingham DB. The University Student Registration System: a Case Study in Building a High-Availability Distributed Application Using General Purpose Components.
In: Advances in Distributed Systems: Advanced Distributed Computing - from Algorithms to Systems. Springer-Verlag, 2000, pp.453-471.
- Yan J, Early S, Anderson R. The XenoService -- A Distributed Defeat for Distributed Denial of Service.
In: Third Information Survivability Workshop (ISW). 2000, Boston, Massachusetts, USA: IEEE.
- Burns A, Wellings AJ, Burns F, Koelmans AM, Koutny M, Romanovsky A, Yakovlev A. Towards Modelling and Verification of Concurrent Ada Programs Using Petri Nets.
Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2000. Department of Computing Science Technical Report Series 700.
- Burns A, Wellings AJ, Burns FP, Koutny M, Romanovsky A. Towards Modelling and Verification of Concurrent Ada Programs using Petri Nets.
In: DAIMIPB: International Workshop on Software Engineering and Petri Nets (SEPN 2000) (in conjunction with the 21st International Conference on Application and Theory of Petri Nets (ICATPN). 2000, Aarhus, Denmark: Aarhus Universitet, Datalogisk Afdeling.
- Randell B. Turing Memorial Lecture Facing Up to Faults.
Computer Journal 2000, 43(2), 95-106.
- Bearden M, Garg S, Lee W-J, Van Moorsel A. User-Centric QoS Policies, or Saying What and How.
In: Services Management in Intelligent Networks, 11th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management (DSOM). 2000, Austin, Texas, USA: IEEE.
- Vachon J, Guelgi N, Romanovsky A. Using COALA to Develop a Distributed Object-Based Application.
In: 2000 IEEE International Symposium on Distributed Objects and Applications (DOA). 2000, Antwerp, Belgium: IEEE Computer Society Press.
- Welch I, Stroud RJ. Using reflection as a mechanism for enforcing security policies in mobile code.
In: Computer Security - ESORICS 2000: 6th European Symposium on Research in Computer Science. 2000, Toulouse, France: Springer-Verlag.
- Welch I, Stroud RJ. Using Reflection as a Mechanism for Enforcing Security Policies in Mobile Code.
Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2000. Department of Computing Science Technical Report Series 705.
- Khomenko V, Koutny M. Verification of Bounded Petri Nets Using Integer Programming.
Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2000. Department of Computing Science Technical Report Series 711.
- Webber J, Lee PA. Visual Object-Oriented Development of Parallel Applications.
In: IEEE VL 2000 Satellite Workshop on Visual Methods for Parallel and Distributed Programming, Seattle, USA, 14 September 2000. Part of the 2000 IEEE Symposium on Visual Languages (VL 2000). 2000, Seattle, USA: IEEE.
- Burns F, Koelmans A, Yakovlev A. WCET analysis of superscalar processors using simulation with Coloured Petri Nets.
Real-Time Systems 2000, 18(2-3), 275-288.