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

• Garcia AF, Rubira CMF, Romanovsky A, Xu J. A comparative study of exception handling mechanisms for building dependable object-oriented software. Journal of Systems and Software 2001, 59(2), 197-222.
• Ezhilchelvan PD, Morgan G. A Dependable Distributed Auction System: Architecture and an Implementation Framework. In: 5th International Symposium on Autonomous Decentralized Systems (ISADS). 2001, Dallas, Texas, USA: IEEE Computer Society Press.
• Romanovsky A, Zorzo A. A distributed coordinated atomic action scheme. Computer Systems Science and Engineering 2001, 16(4), 237-247.
• Arief LB. A Framework for Supporting Automatic Simulation Generation from Design [PhD thesis]. Newcastle upon Tyne: University of Newcastle upon Tyne, 2001. Department of Computing Science.
• Ezhilchelvan PD, Shrivastava SK, Little MC. A Model and Architecture for Conducting Hierarchically Structured Auctions. In: 4th IEEE International Symposium on Object Oriented Real-Time Distributed Computing (ISORC 2001). 2001, Magdeburg, Germany: IEEE Computer Society Press.
• Ezhilchelvan PD, Shrivastava SK, Little MC. A Model and Architecture for Conducting Hierarchically Structured Auctions. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2001. Department of Computing Science Technical Report Series 723.
• Yan JJ. A Note on Proactive Password Checking. In: New Security Paradigms Workshop. 2001, Cloudcroft, NM, USA: ACM.
• Rischbeck T, Watson P. A parallel VRML97 server based on active objects. In: VECTOR AND PARALLEL PROCESSING - VECPAR 2000. 2001.
• Rischbeck T, Watson P. A Parallel VRML97 Server based on Active Objects. In: 4th International Conference on Vector and Parallel Processing (VECPAR). 2001, Porto, Portugal: Springer.
• Kalogeraki V, Van Moorsel A, Pruyne J. A Peer-to-Peer Architecture for Delivering E-Services. In: International Conference on Advances in Infrastructure for Electronic Business, Science, and Education on the Internet. 2001, L'Aquila, Italy.
• Willans JS, Harrison MD. A toolset supported approach for designing and testing virtual environment interaction techniques. International Journal of Human-Computer Studies 2001, 55(2), 145-165.
• Arief B, Speirs N. A UML Tool for an Automatic Generation of Simulation Programs. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2001. School of Computing Science Technical Report Series 731.
• Best E, Devillers R, Koutny M. A Unified Model for Nets and Process Algebras. In: Bergstra, J., Ponse, A., Smolka, S, ed. Handbook of Process Algebra. Netherlands: Elsevier Science, 2001, pp.873-944.
• Romanovsky A, Dony C, Knudsen JL, Tripathi A, ed. Advances in Exception Handling Techniques. Berlin; New York: Springer-Verlag, 2001.
• Yan J, Wu Y. An Attack on A Traitor Tracing Scheme. Cambridge, UK: Computer Laboratory, University of Cambridge, 2001. Computer Laboratory Technical Report Series 518.
• Koutny M, Khomenko V. An Efficient Algorithm for Unfolding Petri Nets. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2001. Department of Computing Science Technical Report Series 726.
• Johnson P, Harrison MD, Wright P. An evaluation of two function allocation methods. In: Human Interfaces in Control Rooms, Cockpits and Command Centres: 2nd International Conference on People in Control. 2001, Manchester, UK: IEE Press.
• de F Mendes Sampaio S, Smith J, Paton NW, Watson P. An Experimental Performance Evaluation of Join Algorithms for Parallel Object Databases. In: 7th International Euro-Par Conference (Euro-Par). 2001, Manchester, UK: Springer.
• Bowman H, Bryans J, Derrick J. Analysis of a Multimedia Stream using Stochastic Process Algebra. The Computer Journal 2001, 44(4), 230-245.
• Maevsky O, Kinniment DJ, Yakovlev A, Bystrov A. Analysis of the Oscillation Problem in Tri-Flops. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2001. Department of Computing Science Technical Report Series 747.
• Freitas L, Cavalcanti ALC, Moura H. Animating CSPm using Action Semantics. In: 4th Brazilian Workshop on Formal Methods. 2001, Campina Grande, Brazil: Sociedade Brasileira de Computacao.
• Molina C, Marshall LF. Anonymous and Confidential Communications from an IP Addressless Computer. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2001. Department of Computing Science Technical Report Series 728.
• Colom J-M, Koutny M, ed. Applications and Theory of Petri Nets 2001: 22nd International Conference (ICATPN). Newcastle upon Tyne, UK. 25-29 June 2001. Berlin: Springer-Verlag, 2001.
• Andras P. Artificial Neural Networks for Approximation and Time Series Prediction. Cluj: Presa Universitara, 2001.
• Welch I, Stroud RJ, Romanovsky A. Aspects of Exceptions at the Meta-Level. In: International Workshop on Reflection. 2001, Computing Department, University of Lancaster, UK.
• Welch I, Stroud RJ, Romanovsky A. Aspects of Exceptions at the Meta-level. In: 3rd International Conference on Metalevel Architectures and Separation of Crosscutting Concerns (REFLECTION). 2001, Kyoto, Japan: Springer-Verlag.
• Anderson T, Redmill F, ed. Aspects of Safety Management: Proceedings of the Ninth Safety-Critical Systems Symposium, Bristol, UK. London, UK: Springer-Verlag, 2001.
• Bystrov A, Yakovlev A. Asynchronous Circuit Synthesis by Direct Mapping: Interfacing to Environment. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2001. Department of Computing Science Technical Report Series 743.
• Koutny M, Pappalardo G. Behaviour abstraction for communicating sequential processes. Fundamenta Informaticae 2001, 48(1), 21-54.
• Ezhilchelvan PD. Building Responsive and Reliable Distributed Services: Models and Design Options. In: Workshop on CORBA Based Real-Time Fault-Tolerant Systems for Industrial Applications (CORFIA 2001). 2001, Bangalore, India: Centre for Development of Advanced Computing, Bangalore.
• Khomenko V, Koutny M, Vogler W. Canonical Prefixes of Petri-Net Unfoldings. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2001. Department of Computing Science Technical Report Series 741.
• Anjum F, Caruso F, Jain R, Missier P, Zordan A. CitiTime: a system for rapid creation of portable next-generation telephony services. Computer Networks 2001, 35(5), 579-595.
• Kienzle J, Romanovsky A. Combining Tasking and Transactions, Part II: Open Multithreaded Transactions. Ada Letters 2001, 21(1), 67-74.
• Stott DT, Speirs NA, Kalbarczyk Z. Comparing Fail-Silence Provided by Process Duplication versus Internal Error Detection for DHCP Server. In: 15th IEEE International Parallel & Distributed Processing Symposium (IPDPS 2001). 2001, San Francisco, CA: IEEE Computer Society Press.
• Burton J, Koutny M, Pappalardo G, Pietkiewicz-Koutny M. Compositional Development in the Event of Interface Difference. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2001. Department of Computing Science Technical Report Series 752.
• Andras P. Computation with Chaotic Patterns. In: Computational neuroscience: trends in research, 2002. 2001, San Francisco and Pacific Grove, California, USA: Elsevier Health Sciences.
• Powell D, Stroud RJ, Adelsbach A, Alessandri D, Cachin C, Creese S, Dacier M, Deswarte Y, Kursawe K, Laprie JC, Pfitzmann B, Randell B, Riordan J, Veríssimo P, Waidner M. Conceptual Model and Architecture. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2001. Department of Computing Science Technical Report Series 749.
• Romanovsky A, Ezhilchelvan P. Conversations with fixed and potential participants. Journal of Systems Architecture 2001, 47(2), 193-196.
• Romanovsky A. Coordinated Atomic Actions: How to Remain ACID in the Modern World. Software Engineering Notes 2001, 26(2), 66-68.
• Meinke K, Steggles LJ. Correctness of dataflow and systolic algorithms using algebras of streams. Acta Informatica 2001, 38(1), 45-88.
• Khomenko V, Koutny M, Yakovlev A. Detecting State Coding Conflicts in STGs Using Integer Programming. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2001. Department of Computing Science Technical Report Series 736.
• Olivier P. Diagrammatic Reasoning: An Artificial Intelligence Perspective. Artificial Intelligence Review 2001, 15(1-2), 63-78.
• Cook NO, Shrivastava SK, Wheater SM. Distributed Object Middleware to Support Dependable Information Sharing between Organisations. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2001. Department of Computing Science Technical Report Series 753.
• Randell B, Stroud R, Jones C et al. DSoS (Dependable Systems of Systems). In: 2001 International Conference on Dependable Systems and Networks (DSN-2001). 2001, Gothenburg, Sweden: IEEE Computer Society Press.
• Missier P, Bianchi M, Zordan A, Umar A. Eguru: a decision support system for the assisted design of e-commerce architectures. In: Knowledge Management & Intelligent Enterprises (Industrial Volume): Proceedings of the 9th IFIP 2.6 Working Conference on Database Semantics (DS). 2001, Hong Kong: Kluwer.
• Misra M, Mitrani I. Eigenvalue Analysis of a Transaction System with Failures & Rollback. In: 11th INFORMS Applied Probability Conference. 2001, Columbia University, New York, USA: INFORMS.
• Romanovsky A, Sanden B. Except for Exception Handling. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2001. Department of Computing Science Technical Report Series 735.
• Romanovsky A, Sanden B. Except for Exception Handling. Ada Letters 2001, 21(3), 19-25.
• Romanovsky A. Exception handling in component-based system development. In: 25th Annual International Computer Software and Application Conference (COMPSAC). 2001, Chicago, Illinois, USA: IEEE.
• Romanovsky A. Exception Handling in Component-Based System Development. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2001. Department of Computing Science Technical Report Series 724.
• de Lemos R, Romanovsky A. Exception handling in the software lifecycle. Computer Systems Science and Engineering 2001, 16(2), 119-133.
• de F Mendes Sampaio S, Smith J, Paton NW, Watson P. Experimenting with Object Navigation in Parallel Object Databases. In: 4th International Workshop on Parallel and Distributed Databases (PaDD), part of the 12th International Workshop on Database and Expert Systems Applications (DEXA). 2001, Munich, Germany: IEEE Computer Society Press.
• Welch I, Armstrong JM, Cachin C, Correia M, Costes A, Miranda H, Neves NF, Neves NM, Poritz JA, Randell B, Rodrigues L, Stroud RJ, Veríssimo P, Waidner M. First Specification of APIs and Protocols for the MAFTIA Middleware. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2001. Department of Computing Science Technical Report Series 738.
• Halliday JJ, Shrivastava SK, Wheater SM. Flexible Workflow Management in the OPENflow system. In: 5th IEEE/OMG International Enterprise Distributed Object Computing Conference (EDOC 2001). 2001, Seattle, WA, USA: IEEE Computer Society Press.
• Loer K, Harrison M. Formal interactive systems analysis and usability inspection methods: Two incompatible worlds?. In: Interactive Systems. Design, Specification and Verification. 7th International Workshop, DSV-IS. 2001, Limerick, Ireland: Springer-Verlag.
• Harwood CR, Crawshaw SG, Wipat A. From genome to function: Systematic analysis of the soil bacterium Bacillus subtilis. Comparative and Functional Genomics 2001, 2(1), 22-24.
• Avizienis A, Laprie J-C, Randell B. Fundamental Concepts of Dependability. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2001. Department of Computing Science Technical Report Series 739.
• Harwood CR, Wipat A. Genome management and analysis: prokaryotes. In: Ratledge, C. and Kristiansen, B, ed. Basic Biotechnology. Cambridge: Cambridge University Press, 2001, pp.73-118.
• Tanaka T, Burgess JG, Wright PC. High-pressure adaptation by salt stress in a moderately halophilic bacterium obtained from open seawater. Applied Microbiology and Biotechnology 2001, 57(1-2), 200-204.
• Bryans J, Shankland C. Implementing a Modal Logic over Data and Processes using XTL. In: 21st IFIP TC 6/WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE). 2001, Cheju Island, Korea: Kluwer Academic Publishers.
• Burton J, Koutny M, Pappalardo G. Implementing Communicating Processes in the Event of Interface Difference. In: 2nd International Conference on Application of Concurrency to System Design (ACSD). 2001, Newcastle upon Tyne, UK: IEEE Computer Society Press.
• Kienzle J, Romanovsky A. Implementing Exceptions in Open Multithreaded Transactions Based on Ada 95 Exceptions. Ada Letters 2001, 21(3), 57-63.
• Albert S, Hiden H, Conlin A, Martin EB, Montague GA, Morris AJ. Inferential quality assessment in breakfast cereal production. Journal of Food Engineering 2001, 50(3), 157-166.
• Welch IS, Stroud RJ. Kava - Using Bytecode Rewriting to add Behavioural Reflection to Java. In: 6th USENIX Conference on Object-Oriented Technologies and Systems (COOTS). 2001, San Antonio, Texas, USA: USENIX Association.
• Dantzer J-F, Mitrani I, Robert Ph. Large scale and heavy traffic asymptotics for systems with unreliable servers. Queueing Systems 2001, 38(1), 5-24.
• Zuliani P. Logical Reversibility. IBM Journal of Research and Development 2001, 45(6), 807-818.
• Romanovsky A. Looking Ahead in Atomic Actions with Exception Handling. In: 20th IEEE Symposium on Reliable Distributed Systems. 2001, New Orleans, Louisiana, USA: IEEE Computer Society.
• Romanovsky A. Looking Ahead in Atomic Actions with Exception Handling. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2001. Department of Computing Science Technical Report Series 732.
• Powell D, Adelsbach A, Cachin C, Creese S, Dacier M, Deswarte Y, McCutcheon T, Neves N, Pfitzmann B, Randell B, Stroud RJ, Veríssimo P, Waidner M. MAFTIA (Malicious- and Accidental-Fault Tolerance for Internet Applications). In: International Conference on Dependable Systems and Networks (DSN). 2001, Gothenburg, Sweden: IEEE Computer Society Press.
• Webber J, Corrales V, Little MC, Parastatidis S. Making Web Services Work. Application Development Advisor 2001, 5(9), 68-71.
• Ryan PYA. Mathematical Models of Computer Security. In: Focardi, R., Gorrieri, R, ed. Foundations of Security Analysis and Design: Tutorial Lectures. Berlin; New York: Springer-Verlag, 2001, pp.1-62.
• Ezhilchelvan P, Khayyambashi M-R, Morgan G, Palmer D. Measuring the cost of scalability and reliability for Internet-based, server-centered applications. In: Proceedings of the Workshop on Object-Oriented Real-Time Dependable Systems (WORDS). 2001, Rome: IEEE.
• Van Moorsel A. Metrics for the Internet Age: Quality of Experience and Quality of Business. In: Fifth International Workshop on Performability Modeling of Computer and Communication Systems (PMCCS-5). 2001, Erlangen, Germany: Univerisitaet Erlangen.
• van Moorsel A. Metrics for the Internet Age: Quality of Experience and Quality of Business. Palo Alto, California, USA: Hewlett-Packard Laboratories, 2001. HPL-2001-179.
• Campos JC, Harrison MD. Model checking interactor specifications. Automated Software Engineering 2001, 8(3-4), 275-310.
• Burns A, Wellings AJ, Burns F, Koelmans AM, Koutny M, Romanovsky A, Yakovlev A. Modelling and verification of an atomic action protocol implemented in Ada. In: 21st International Workshop on Software Engineering and Petri Nets (SEPN). 2001, Aarhus, Denmark: CRL Publishing.
• Andras P, Postma E, Van Den Herik J. Natural dynamics and neural networks: Searching for efficient preying dynamics in a virtual world. Journal of Intelligent Systems 2001, 11(3), 173-202.
• Beder DM, Randell B, Romanovsky A, Rubira CMF. On Applying Coordinated Atomic Actions and Dependable Software Architectures for Developing Complex Systems. In: 4th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC). 2001, Magdeburg, Germany: IEEE Computer Society Press.
• Burns A, Wellings AJ, Koelmans AM, Koutny M, Romanovsky A, Yakovlev A. On Developing and Verifying Design Abstractions for Reliable Concurrent Programming in Ada. ACM SIGAda Ada Letters 2001, 21(1), 48-55.
• Popov P, Riddle S, Romanovsky A, Strigini L. On Systematic Design of Protectors for Employing OTS Items. In: 27th Euromicro Conference. 2001, Warsaw, Poland: IEEE Computer Society Press.
• Popov P, Riddle S, Romanovsky A, Strigini L. On Systematic Design of Protectors for Employing OTS Items. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2001. Department of Computing Science Technical Report Series 730.
• Jones CB. On the Search for Tractable Ways of Reasoning about Programs. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2001. Department of Computing Science Technical Report Series 740.
• Kinniment DJ, Maevsky OV, Bystrov A, Russell G, Yakovlev A. On-Chip structures for Timing Measurement and Test. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2001. Department of Computing Science Technical Report Series 750.
• Hamilton MD, McKee P, Mitrani I. Optimal caching policies for web objects. In: High-Performance Computing and Networking: 9th International Conference (HPCN). 2001, Amsterdam, Netherlands: Springer.
• Hamilton MD, McKee P, Mitrani I. Optimal Caching Policies for Web Objects. In: 9th International Conference High-Performance Computing and Networking (HPCN Europe). 2001, Amsterdam, The Netherlands: Springer-Verlag.
• Heljanko K, Khomenko V, Koutny M. Parallelisation of the Petri Net Unfolding Algorithm. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2001. Department of Computing Science Technical Report Series 733.
• Best E, Devillers R, Koutny M. Petri Net Algebra. Berlin; New York: Springer-Verlag, 2001.
• Lord PW, Reich J R, Mitchell A et al. PRECIS: An automated pipeline for producing concise reports about proteins. In: 2nd Annual IEEE International Symposium on Bioinformatics and Bioengineering (BIBE 2001). 2001, Bethesda, Maryland: IEEE Computer Society.
• Ryan PYA, Schneider SA. Process Algebra and Non-Interference. Journal of Computer Security 2001, 9(1/2), 75-103.
• Lennox B, Montague GA, Hiden HG, Kornfeld G, Goulding PR. Process monitoring of an industrial fed-batch fermentation. Biotechnology and Bioengineering 2001, 74(2), 125-135.
• Popov P, Strigini L, Riddle S, Romanovsky A. Protective Wrapping of OTS Components. In: 4th ICSE Workshop on Component-Based Software Engineering: Component Certification and System Prediction (part of the 23rd IEEE International Conference on Software Engineering (ICSE). 2001, Toronto, Canada: IEEE Computer Society Press.
• Willans JC, Harrison M. Prototyping pre-implementation designs of virtual environment behaviour. In: Engineering for Human-Computer Interaction. 8th IFIP International Conference (EHCI). 2001, Toronto, Canada: Springer.
• Mitrani I. Queues with Breakdowns. In: Haverkort, B.R., Marie, R., Rubino, G., Trivedi, K, ed. Performability Modelling: Techniques and Tools. Chichester: Wiley-Blackwell, 2001, pp.320.
• Ezhilchelvan PD, Mostefaoui A, Raynal M. Randomized Multivalued Consensus. In: 4th IEEE International Symposium on Object Oriented Real-Time Distributed Computing (ISORC 2001). 2001, Magdeburg, Germany: IEEE Computer Society Press.
• Andras P. RBF Neural Networks with Orthogonal Basis Functions. In: Howlett, RJ and Jain, LC, ed. Radial Basis Function Networks 1: Recent Developments in Theory and Applications. New York: Physica-Verlag, 2001, pp.67-94.
• Best E, Devillers R, Koutny M. Recursion and Petri nets. Acta Informatica 2001, 37(11-12), 781-829.
• Wilson R, O'Neill S, Bojke C, Jones N, Sugden R, Purves I, Combe K, Davison P. Research, design, development of a tool for the support of computerised repeat prescribing management in UK general practice. In: 2001 British Computer Society Health Informatics Committee Healthcare Computing Conference: Current Perspectives in Healthcare Computing 2001 (HC2001). 2001, Harrogate, UK: British Computer Society Health Informatics Committee.
• Randell B. Review of “Inventing Systems Engineering”, by John Aris (Review no. 0101-0037). Computing Reviews 2001, 42(1), 78.
• Jones CB, Killijian M-O, Kopetz H, Marsden E, Moffat N, Paulitsch M, Powell D, Randell B, Romanovsky A, Stroud RJ. Revised Version of DSoS Conceptual Model. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2001. Department of Computing Science Technical Report Series 746.
• Steggles LJ. Rewriting Logic and Elan: Prototyping Tools for Petri Nets with Time. In: Application and Theory of Petri Nets 2001: 22nd International Conference (ICATPN 2001). 2001, Newcastle upon Tyne, UK: Springer-Verlag.
• Parastatidis S. Run-time Support for Parallel Object-Oriented Computing. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2001. Department of Computing Science Technical Report Series 748.
• Yan J, Choi H-J. Security Issues in Online Games. In: International Conference on Application and Development of Computer Games. 2001, Hong Kong, China: City University of Hong Kong.
• Arief LB, Gacek C, Lawrie T. Software Architectures and Open Source Software - Where can Research Leverage the Most?. In: 1st Workshop on Open Source Software Engineering: Making Sense of the Bazaar (part of the 23rd IEEE International Conference on Software Engineering (ICSE). 2001, Toronto, Canada.
• Coventry KR, Olivier P, ed. Spatial Language: Cognitive and Computational Perspectives. Dordrecht, Boston: Kluwer Academic Publishers, 2001.
• Yakovlev A, Xia F, Shang D. Synthesis and implementation of a signal-type asynchronous data communication mechanism. In: 7th International Symposium on Asynchronous Circuits and Systems (ASYNC 2001). 2001, Salt Lake City, Utah: IEEE Computer Society.
• Bystrov A, Yakovlev A. Synthesis of Asynchronous Circuits with Predictable Latency. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2001. Department of Computing Science Technical Report Series 754.
• Pietkiewicz-Koutny M. Synthesis of Net Systems with Inhibitor Arcs from Step Transition Systems. In: 2nd International Conference on Application of Concurrency to System Design (ACSD). 2001, Newcastle upon Tyne, UK: IEEE Computer Society Press.
• Zamli KZ, Lee PA. Taxonomy of Process Modeling Languages. In: 2001 ACS/IEEE International Conference on Computer Systems and Applications (AICCSA 2001). 2001, Beirut, Lebanon: IEEE Computer Society Press.
• Zamli KZ, Lee PA. Taxonomy of Process Modeling Languages. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2001. Department of Computing Science Technical Report Series 725.
• Houston I, Little MC, Robinson I et al. The CORBA Activity Service Framework for Supporting Extended Transactions. In: 2001 IFIP/ACM International Conference on Distributed Systems Platforms (Middleware 2001). 2001, Heidelberg, Germany: Springer-Verlag.
• Gacek C, Lawrie T, Arief LB. The Many Meanings Of Open Source. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2001. Department of Computing Science Technical Report Series 737.
• Ryan PYA, Schneider SA, Goldsmith MH, Lowe G, Roscoe AW. The Modelling and Analysis of Security Protocols: the CSP Approach. Harlow, London, UK: Addison-Wesley, 2001.
• Wolter K, van Moorsel A. The Relationship between Quality of Service and Business Metrics: Monitoring, Notification and Optimization. Hewlett Packard Laboratories: School of Computing Science, University of Newcastle upon Tyne, 2001. HPL-2001-96.
• Andras P. The role of brain chaos. In: Wermter, S., Austin, J., Willshaw, D, ed. Emergent Neural Computational Architectures Based on Neuroscience: Towards Neuroscience-Inspired Computing. Berlin; New York: Springer, 2001, pp.296-310.
• Andras P. The Role of Brain Chaos. In: Wermter, S, Austin, J and Willshaw, D, ed. Emergent Neural Computational Architectures Based on Neuroscience: Towards Neuroscience-Inspired Computing. Berlin: Springer-Verlag, 2001, pp.296-310.
• Andras P. The Sierpinski Brain. In: IEEE International Joint Conference on Neural Networks (IJCNN 2001). 2001, Washington DC, USA: IEEE.
• Jones CB. The transition from VDL to VDM. Journal of Universal Computer Science 2001, 7(8), 631-640.
• Pocock S, Fields R, Harrison M, Wright P. THEA - A Reference Guide. York, UK: Department of Computer Science, University of York, 2001. 336.
• Pocock S, Harrison MD, Wright PC, Johnson P. THEA: A technique for human error assessment early in design. In: Human Computer Interaction - INTERACT'01, IFIP TC.13 International Conference. 2001, Tokyo, Japan: IOS Press.
• Little MC, Shrivastava SK, Wheater SM. Theory and Practice of Building Reliable Distributed Applications. In: 3rd IEEE International Symposium on Distributed Objects and Applications (DOA '01). 2001, Rome, Italy: IEEE Computer Society Press.
• Jones CB. Thinking Tools for the Future of Computing Science. In: Informatics: 10 Years Back, 10 Years Ahead. 2001, Saarbrücken, Germany: Springer-Verlag.
• Ansell PS, Glazebroo KD, Mitrani I. Threshold policies for a single-server queuing network. Probability in the Engineering and Informational Sciences 2001, 15(1), 15-33.
• Khomenko V, Koutny M. Towards an Efficient Algorithm for Unfolding Petri Nets. In: 12th International Conference on Concurrency Theory (CONCUR). 2001, Aalborg, Denmark: Springer-Verlag.
• András P, Panzeri S, Young MP. Towards Statistically Valid Population Decoding Models. In: Computational neuroscience: trends in research, 2002. 2001, San Francisco and Pacific Grove, California, USA: Elsevier Health Sciences.
• Kienzle J, Jimenez-Peris R, Romanovsky A, Patino-Martinez M. Transaction Support for Ada. In: 6th Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe). 2001, Leuven, Belgium: Springer-Verlag.
• Burns F, Shang D, Koelmans A, Yakovlev A. Translating from asynchronous FSM specifications in VHDL to Petri Nets. In: 11th UK Asynchronous Forum. 2001, Cambridge, UK.
• Molina-Jimenez C, Marshall LF. True Anonymity Without Mixes. University of Newcastle upon Tyne: School of Computing Science, 2001. Technical Report Series CS-TR-727.
• Molina-Jiménez C, Marshall LF. True Anonymity Without Mixes. In: WIAPP: the Second IEEE Workshop on Internet Applications. 2001, San Jose, CA, USA: IEEE Computer Society Press.
• Molina C, Marshall LF. True Anonymity Without Mixes. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2001. Department of Computing Science Technical Report Series 727.
• Molina-Jimenez C, Marshall LF. Untraceability of mobile Internet users. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2001. CS-TR-742.
• Molina C, Marshall LF. Untraceability of Mobile Internet Users. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2001. Department of Computing Science Technical Report Series 742.
• Devlin M, Scott T. Using a Speech Technology Agent as an Interface for E-Commerce. In: Liu, J., Ye, Y, ed. E-Commerce Agents: Marketplace Solutions, Security Issues, and Supply and Demand. Berlin; New York: Springer-Verlag, 2001, pp.332-346.
• Bryans J, Verdejo A, Shankland C. Using Rewriting Logic to implement the modal logic FULL. In: 1st Workshop on Automated Verification of Critical Systems (AVoCS). 2001, Oxford University, UK: Oxford University Computing Laboratory.
• Burton J, Koutny M, Pappalardo G. Verifying Implementation Relations in the Event of Interface Difference. In: International Symposium of Formal Methods Europe, FME 2001: Formal Methods for Increasing Software Productivity. 2001, Berlin, Germany: Springer-Verlag.
• Webber J, Lee PA. Visual, Object-Oriented Development of Parallel Applications. Journal of Visual Languages and Computing 2001, 12(2), 145-161.
• Bystrov A, Koutny M, Yakovlev A. Visualisation of Partial Order Models in VLSI Design Flow. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2001. Department of Computing Science Technical Report Series 744.
• Burns F, Koelmans A, Yakovlev A. WCET Analysis of Superscalar Processors Using simulation with Coloured Petri Nets. The International Journal of Time-Critical Computing Systems 2001, 18(2/3), 267-280.
• Wessels B, Dobson J. What happens before requirements engineering?. In: Proceedings of the 5th IEEE International Conference on Requirements Engineering. 2001, Toronto, Canada.