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

Conlin A, Hiden H, Wright A. A chemical process development case study as a source of requirements for the GOLD project. Newcastle upon Tyne: School of Computing Science, Newcastle University, 2006. School of Computing Science Technical Report Series 968.
Romanovsky A. A Looming Fault Tolerance Software Crisis?. Newcastle upon Tyne: School of Computing Science, Newcastle University, 2006. School of Computing Science Technical Report Series 991.
Chen Y, Romanovsky A. A Mediator System for Improving Dependability of Web Services. In: International Conference on Dependable Systems and Networks (DSN-2006). 2006, Philadelphia, USA: IEEE.
Lobato C, Garcia A, Lucena C, Romanovsky A. A modular implementation framework for code mobility. In: 3rd international conference on Mobile Technology, Applications & Systems (Mobile '06). 2006, Bangkok, Thailand: ACM.
Inayat Q-U-A, Ezhilchelvan PD. A performance study on the signal-on-fail approach to imposing total order in the streets of Byzantium. In: Proceedings of the International Conference on Dependable Systems and Networks. 2006, Philadelphia, PA: IEEE.
Inayat Q, Ezhilchelvan PD. A Performance Study on the Signal-On-Fail Approach to Imposing Total Order in the Streets of Byzantium. In: 2006 International Conference on Dependable Systems and Networks. 2006, Philadelphia, Pennsylvania: IEEE Computer Society.
Inayat Q, Ezhilchelvan P. A Performance Study on the Signal-On-Fail Approach to Imposing Total Order in the Streets of Byzantium. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 967.
Devillers R, Klaudel H, Koutny M. A Petri Net Semantics of a Simple Process Algebra for Mobility. Electronic Notes in Theoretical Computer Science 2006, 154(3), 71-94.
Devillers R, Klaudel H, Koutny M. A Petri Net Translation of p-Calculus Terms. In: Theoretical Aspects of Computing: 3rd International Colloquium (ICTAC). 2006, Tunis, Tunisia: Springer.
Di Ferdinando A, Ezhilchelvan P, Dales M, Crowcroft J. A QoS-negotiable middleware system for reliably multicasting messages of arbitrary size. In: Ninth IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC). 2006, Gyeongju, Korea: IEEE.
Zhou J, Kinniment D, Russell G, Yakovlev A. A robust synchronizer. In: Annual Symposium on Emerging VLSI Technologies and Architectures. 2006, Karlsruhe, Germany: IEEE.
Andras P, Ha HN. A Scientific Document Management System for Neuroscience. In: Fifteenth Annual Computational Neuroscience Meeting (CNS*2006). 2006, Edinburgh: National Institute of Mental Health.
Coleman JW, Jones CB. A structural proof of the soundness of rely/guarantee rules. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 987.
Devlin M, Marshall L, Phillips C. Active Learning in Computing: Engaging Learners in a Cross-Site Team Project. In: SOLSTICE Conference 2006. 2006, Edge Hill, Ormskirk: Edge Hill Centre for Excellence in Teaching and Learning.
Mukherjee A, Watson P. Adding Dynamism to OGSA-DQP: Incorporating the DynaSOAr Framework in Distributed Query Processing. In: Euro-Par 2006 Workshops: Parallel Processing. CoreGRID 2006, UNICORE Summit 2006, Petascale Computational Biology and Bioinformatics. 2006, Dresden, Germany: Springer.
Mukherjee A, Watson P. Adding Dynamism To OGSA-DQP: Incorporating The DynaSOAr Framework In Distributed Query Processing. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 979.
Dony C, Knudsen JL, Romanovsky A, Tripathi A, ed. Advanced Topics in Exception Handling Techniques. Berlin: Springer-Verlag, 2006.
Garcia A, Lucena C, Bordini R, Breitman K, Bresciani P, Briot J-P, Cabri G, Cossentino M, Choren R, Davidsson P, Deloach S, Di Marzo Serugendo G, Elrad T, Fuentes L, Giampapa J, Giese H, Giorgini P, Guessoum Z, Guizzardi G, Henderson-Sellers B, Holvoet T, Iglesias C, Julien C, Leung H-F, Mamei M, Mouratidis H, Mueller J, Omicini A, Romanovsky A, Rossi G, Shehory O, Shepherdson J, Sichman J, Sycara K, Von Staa A, Weiss M, Weyns D, Winikoff M, Zisman A. Agent-oriented architecture for monitoring and diagnosis in supervisory systems. Computer Systems Science and Engineering 2006, 21(2), 85-86.
Murphy JP, Yakovlev A. An Alternating Spacer AES Crypto-Processor. In: 32nd European Solid-State Circuits Conference (ESSCIR 2006). 2006, Montreux, Switzerland: IEEE.
Murphy J, Yakovlev A. An alternating spacer AES crypto-processor. In: ESSCIRC 2006: Proceedings of the 32nd European Solid-State Circuits Conference. 2006, Montreux, Switzerland: IEEE.
Loer K, Harrison MD. An integrated framework for the analysis of dependable interactive systems (IFADIS): Its tool support and evaluation. Automated Software Engineering 2006, 13(4), 469-496.
Corcho O, Alper P, Kotsiopoulos I, Missier P, Bechhofer S, Goble C. An overview of S-OGSA: A Reference Semantic Grid Architecture. Journal of Web Semantics 2006, 4(2), 102-115.
van Moorsel A, Wolter K. Analysis of restart mechanisms in software systems. IEEE Transactions on Software Engineering 2006, 32(8), 547-558.
Holmes MK, Gallagher P, Robinson LJ, Gray JM, Olivier P, Heslop P, Ferrier IN. Applications of virtual reality technology in the measurement of spatial memory in patients with mood disorders [2]. CNS Spectrums 2006, 11(6), 417-418.
Khomenko V, Koutny M, Niaouris A. Applying Petri Net Unfoldings for Verification of Mobile Systems. In: Fourth International Workshop on Modelling of Objects, Components and Agents (MOCA'06). 2006, Turku, Finland: Universität Hamburg, Department Informatik.
Khomenko V, Koutny M, Niaouris A. Applying Petri Net Unfoldings for Verification of Mobile Systems. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 953.
Thomas N. Approximation in non-product form finite capacity queue systems. Future Generation Computer Systems 2006, 22(7), 820-827.
de Lemos R, Gacek C, Romanovsky A. Architecting dependable systems. Journal of Systems and Software 2006, 79(10), 1359-1360.
Parastatidis S, Woodman S, Webber J, Kuo D, Greenfield P. Asynchronous messaging between Web services using SSDL. IEEE Internet Computing 2006, 10(1), 26-39.
Shaw O, Steggles J, Wipat A. Automatic Parameterisation of Stochastic Petri Net Models of Biological Networks. In: Second International Workshop on the Practical Application of Stochastic Modeling (PASM 2005). 2006, Newcastle upon Tyne: Electronic Notes in Theoretical Computer Science: Elsevier BV.
Khomenko V. Behaviour-Preserving Transition Insertions in Unfolding Prefixes. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 952.
Yan J. Bot, Cyborg and Automated Turing Test. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 970.
Xia F, Hao F, Clark I, Yakovlev A, Chester EG. Buffered asynchronous communication mechanisms. In: 4th International Conference on Application of Concurrency to System Design. 2006, Hamilton, Canada: Fundamenta Informaticae, IOS Press.
Capozucca A, Guelfi N, Pelliccione P, Romanovsky A, Zorzo A. CAA-DRIP: a framework for implementing Coordinated Atomic Actions. In: 17th International Symposium on Software Reliability Engineering (ISSRE '06). 2006, Raleigh, North Carolina: IEEE Computer Society.
Christie M, Olivier P. Camera Control in Computer Graphics. In: Eurographics 2006. 2006, Vienna, Austria: Eurographics Association.
Sokolov D, Yakovlev A. Clock-less circuits and system synthesis. In: Bashir M.Al-Hashimi, ed. System on Chip: next generation electronics. London: Institution of Electrical Engineers, 2006, pp.541-586.
Hallinan J, Wipat A. Clustering and cross-talk in a yeast functional interaction network. In: IEEE Symposium on Computational Intelligence in Bioinformatics and Computational Biology (CIBCB). 2006, Toronto, Ontario, Canada: IEEE.
Peacock T, Ryan PYA. Coercion-resistance as Opacity in Voting Systems. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 959.
Grosso S, Tully A, Arief B, Marques A, Matoses S. Collaborations among in-vehicle and infrastructure-based sensing technology for automotive applications: The EMMA and TRACKSS EU Projects. In: IET Seminar on RFID and Electronic Vehicle Identification in Road Transport. 2006, Newcastle upon Tyne, UK: IET.
Hao F, Anderson R, Daugman J. Combining Crypto with Biometrics Effectively. IEEE Transactions on Computers 2006, 55(9), 1081-1088.
Coleman JW, Jefferson NP, Jones CB. Comments on several years of teaching of modelling programming language concepts. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 978.
Harrison MD, Kray C. Connecting rigorous system analysis to experience centred design in ambient and mobile systems. In: Workshop on Software Engineering Challenges for Ubiquitous Computing. 2006, Lancaster, UK: Lancaster University.
Damasceno K, Cacho N, Garcia A, Romanovsky A, Lucena C. Context-Aware Exception Handling in Mobile Agent Systems: The MoCA Case. In: International Workshop on Software Engineering for Large-Scale Multi-Agent Systems (SELMAS 2006 Workshop). 2006, Shanghai, China: ACM.
Damasceno K, Cacho N, Garcia A, Romanovsky A, Lucena C. Context-aware exception handling in mobile agent systems: The MoCA case. In: Proceedings of the International Conference on Software Engineering. 2006, Shanghai, China: ACM Press.
Zhou Y, Sokolov D, Yakovlev A. Cost-aware synthesis of asynchronous circuits based on partial acknowledgement. In: 2006 International Conference on Computer-Aided Design. 2006, San Jose, California: ACM Press.
Zhou Y, Sokolov D, Yakovlev A. Cost-aware synthesis of asynchronous datapath based on partial acknowledgement. Newcastle upon Tyne, UK: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 113.
Gilroy SW, Olivier PL, Cao H, Jackson DG, Kray C, Lin D. CrossBoard: Crossmodal Access of Dense Public Displays. In: 1st International Workshop on Multimodal and Pervasive Services (MAPS '06). 2006, Lyon, France.
Olivier P, Gilroy SW, Cao H, Jackson DG, Kray C. Crossmodal Attention in Public-Private Displays. In: International Conference on Pervasive Services (ICPS). 2006, Lyon, France: IEEE.
Batarfi O, Marshall L. Defining criteria for rating an entity's trustworthiness based on its certificate policy. In: 1st International Conference on Availability, Reliability and Security (ARES 2006). 2006, Vienna , Austria: IEEE.
Sujan MA, Harrison MD, Steven A, Pearson PH, Vernon SJ. Demonstration of safety in healthcare organisations. In: 25th International Conference on Computer Safety, Reliability and Security (SAFECOMP). 2006, Gdansk, Poland: Springer.
Di Marzo Serugendo G, Fitzgerald J, Romanovsky A, Guelfi N. Dependable Self-Organising Software Architectures - An Approach for Self-Managing Systems. London: School of Computer Science and Information Systems, Birkbeck College, 2006. BBKCS-06-05.
Robinson PF. Design and Implementation of Extensible Middleware for Non-Repudiable Interactions [PhD Thesis]. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006.
Cook N, Robinson P, Shrivastava SK. Design and implementation of web services middleware to support fair non-repudiable interactions. International Journal of Cooperative Information Systems 2006, 15(4), 565-597.
Yeung SF, Lui JCS, Liu J, Yan J. Detecting cheaters for multiplayer games: Theory, design and implementation. In: 3rd IEEE Consumer Communications and Networking Conference (CCNC). 2006, Las Vegas, USA: IEEE.
Redmill F, Anderson T, ed. Developments in Risk-based Approaches to Safety: Proceedings of the Fourteenth Safety-citical Systems Symposium, Bristol, UK, 7-9 February 2006. London: Springer, 2006.
Bryans JW, Fitzgerald JS, Jones CB, Mozolevsky I. Dimensions of Dynamic Coalitions. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 963.
Watson P, Fowler C, Kubicek C, Mukherjee A, Colquhoun J, Hewitt M, Parastatidis S. Dynamically deploying web services on a grid using dynasoar. In: Ninth IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC). 2006, Gyeongju, Korea: IEEE.
Craddock T, Lord P, Harwood C, Wipat A. e-science tools for the genomic scale characterisation of bacterial secreted proteins. In: Proceedings of the UK e-Science All Hands Meeting 2006. 2006, Nottingham, UK: National e-Science Centre.
Goschka KM, Oliveira R, Hallsteinsen SO, Romanovsky A. Editorial message: Special track on dependable and adaptive distributed systems. In: Proceedings of the ACM Symposium on Applied Computing. 2006, Dijon, France: ACM Press.
Palmer J, Mitrani I. Empirical and Analytical Evaluation of Systems with Multiple Unreliable Servers. In: International Conference on Dependable Systems and Networks (DSN). 2006, Philadelphia, Pennsylvania: IEEE Computer Society.
Yan J, Cho PL. Enhancing Collaborative Spam Detection with Bloom Filters. In: 22nd Annual Computer Security Applications Conference (ACSAC '06). 2006, Miami Beach, Florida, USA: IEEE Computer Society.
Camenisch J, Gross T, Sommer D. Enhancing privacy in identity federation: Anonymous credentials ensure unlinkability in WS-Security. In: IEEE Workshop on Web Services Security (WSSS). 2006, Berkeley, California, USA: IEEE.
Cao H, Olivier P, Jackson DG, Armstrong A, Huang L. Enhancing privacy in public spaces through crossmodal displays. In: Pervasive: Workshop on Privacy, Trust and Identity Issues for Ambient Intelligence. 2006, Dublin, Ireland.
Camenisch J, Gross T, Sommer D. Enhancing privacy of federated identity management protocols. In: Workshop on Privacy in the Electronic Society (WPES). 2006, Alexandria, Virginia, USA: ACM Press.
Yan J, Cho PL. Enhancing Signature-based Collaborative Spam Detection with Bloom Filters. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 973.
Reinecke P, Van Moorsel A, Wolter K. Experimental analysis of the correlation of HTTP GET invocations. In: Formal Methods and Stochastic Models for Performance Evaluation: Third European Performance Engineering Workshop. 2006, Budapest, Hungary: Springer.
Reinecke P, van Moorsel APA, Wolter K. Experimental analysis of the correlation of HTTP GET invocations. In: Formal Methods and Stochastic Models for Performance Evaluation: 3rd European Performance Engineering Workshop. 2006, Budapest, Hungary: Springer.
Ha HN, Olivier P. Explorations in declarative lighting design. In: Smart Graphics: 6th International Symposium (SG 2006). 2006, Vancouver, Canada: Springer-Verlag.
Andras P. Extraction of an activity pattern language from EEG data. Neurocomputing 2006, 69(10-12), 1313-1316.
Smith J, Watson P. Failure Recovery Alternatives In Grid Based Distributed Query Processing: A Case Study. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 957.
Randell B, Koutny M. Failures: Their Definition, Modelling and Analysis. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 994.
Andras P, Idowu O, Periorellis P. Fault tolerance and network integrity measures: the case of computer-based systems. In: Adaptation in Artificial and Biological Systems (AISB '06). 2006, University of Bristol, UK: Society for the Study of Artificial Intelligence and the Simulation of Behaviour.
Choren R, Garcia A, Giese H, Leung H-F, Lucena C, Romanovsky A. Fifth workshop on Software Engineering for Large-Scale Multi-Agent Systems (SELMAS). In: 28th International Conference on Software Engineering. 2006, Shanghai, China: IEEE.
Randell B. Foreword. In: Dony, C., Knudsen, J.L., Romanovsky, A., and Tripathi, A, ed. Advanced Topics in Exception Handling Techniques. Berlin: Springer, 2006, pp.vii-viii.
Laibinis L, Iliasov A, Troubitsyna E, Romanovsky A. Formal Approach to Ensuring Interoperability of Mobile Agents. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 989.
Bryans JW, Fitzgerald JS, Jones CB, Mozolevsky I. Formal Modelling of Dynamic Coalitions, with an Application in Chemical Engineering. In: Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2006). 2006, Paphos, Cyprus: IEEE.
Bryans JW, Fitzgerald JS, Jones CB, Mozolevsky I. Formal Modelling of Dynamic Coalitions, with an Application in Chemical Engineering. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 981.
Guo AW, Blythe PT, Olivier P, Singh P, Ha HN, Jackson DG, James P. Future Traveller Information Systems: Impacts on Modal Shift. In: ASK IT Conference. 2006, Nice, France.
Gibson F, Wipat A, Pocock M, Morris N. GELI: a data model for the representation of a gel electrophoresis experiment. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 942.
Charlton BG, Andras P. Globalization in science education: An inevitable and beneficial trend. Medical Hypotheses 2006, 66(5), 869-873.
Bechhofer SK, Stevens RD, Lord PW. GOHSE: Ontology Driven Linking of Biology Resources. Journal of Web Semantics 2006, 4(3), 155-163.
Periorellis P, Cook N, Hiden H, Conlin A, Hamilton MD, Wu J, Bryans J, Gong X, Zhu F, Wright A. GOLD Infrastructure for Virtual Organisations. In: UK e-Science All Hands Meeting 2006. 2006, Nottingham, UK: National e-Science Centre.
Coleman JW, Jones CB. Guaranteeing the soundness of rely/guarantee rules. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 955.
Shang D, Burns F, Bystrov A, Koelmans A, Sokolov D, Yakovlev A. High-security asynchronous circuit implementation of AES. IEE Proceedings - Computers and Digital Techniques 2006, 153(2), 71-77.
Charlton BG, Andras P. How should we rate research? Counting number of publications may be best research performance measure. British Medical Journal 2006, 332(7551), 1214-1215.
Singh P, Ha HN, Kuang Z, Olivier P, Kray C, Blythe P, James P. Immersive video as a rapid prototyping and evaluation tool for mobile and ambient applications. In: 8th International Conference on Human-Computer Interaction with Mobile Devices and Services (MobileHCI 06). 2006, Espoo, Finland: ACM.
Holmes MK, Gallagher P, Robinson LJ, Gray JM, Olivier P, Heslop P, Ferrier IN. Immersive virtual reality assessment of spatial memory in patients with mood disorders. In: Bipolar Disorders: 2nd Biennial Conference of the International Society for Bipolar Disorders. 2006, Edinburgh, UK: Wiley-Blackwell Publishing, Inc.
Kleijn HCM, Koutny M. Infinite Process Semantics of Inhibitor Nets. In: Petri Nets and Other Models of Concurrency: 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (ICATPN). 2006, Turku, Finland: Springer.
Madalinski A, Khomenko V, Yakovlev A. Interactive Resolution of Encoding Conflicts in Asynchronous Circuits Based on STG Unfoldings. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 944.
Gilroy SW, Harrison MD, ed. Interactive Systems: Design, Specification and Verification. 12th International Workshop (DSVIS). Newcastle upon Tyne, UK. 13-15 July 2005. Berlin; New York: Springer, 2006.
Tosic V, Van Moorsel A, Wong R. Introduction to the Proceedings of the EDOC 2006 workshop Middleware for Web Services (MWS) 2006. In: Enterprise Distributed Object Computing Conference Workshops, 2006. EDOCW '06. 10th IEEE International. 2006, Hong Kong, China: IEEE.
Choren R, Garcia A, Giese H, Leung H, Lucena C, Romanovsky A. Introduction to the SELMAS 2006. In: Proceedings of the International Conference on Software Engineering. 2006, Shanghai, China: ACM Press.
Lamprecht C, van Moorsel A, Tomlinson P, Thomas N. Investigating the efficiency of cryptographic algorithms in online transactions. International Journal of Simulation: Systems, Science & Technology 2006, 7(2), 63-75.
Sujan MA, Harrison MD. Investigation of structural properties of hazard mitigation arguments. In: Safety and Reliability for Managing Risk. Proceedings of the 15th European Safety and Reliability Conference (ESREL). 2006, Estoril, Portugal: Taylor & Francis Group.
Hao F. Kish's key exchange scheme is insecure. Information Security 2006, 153(4), 141-142.
Larsen PG, Fitzgerald JS, Riddle S. Learning by Doing: Practical Courses in Lightweight Formal Methods using VDM++. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 992.
Olivier P, Jackson DG, Wiggins C. LEXICLECS: A Real-world Architecture for the Synthesis of Spontaneous Gesture. In: Computer Animation and Social Agents. 2006, Geneva, Switzerland: Computer Graphics Society (CGS).
Lu F, Parkin S, Morgan G. Load Balancing for Massively Multiplayer Online Games. In: 5th ACM SIGCOMM Workshop on Network and System Support for Games. 2006, Singapore: ACM.
Khomenko V, Koutny M, Yakovlev A. Logic Synthesis for Asynchronous Circuits Based on STG Unfoldings and Incremental SAT. Fundamenta Informaticae 2006, 70(1-2), 49-73.
Monod M, Kienzle J, Romanovsky A. Looking Ahead in Open Multithreaded Transactions. In: Ninth IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC 2006). 2006, Gyeongju, Korea: IEEE Computer Society.
Shang D, Yakovlev A, Burns F, Xia F, Bystrov A. Low-Cost Online Tesing of Asynchronous Handshakes. In: 11th IEEE European Test Symposium (ETS'06). 2006, Southampton, UK: IEEE.
Molina-Jimenez C, Shrivastava S. Maintaining consistency between loosely coupled services in the presence of timing constraints and validation errors. In: Fourth IEEE European Conference on Web Services (ECOWS). 2006, Zurich, Switzerland: IEEE.
Preece AD, Jin B, Pignotti E, Missier P, Embury SM, Stead D, Brown A. Managing Information Quality in e-Science Using Semantic Web Technology. In: The Semantic Web: Research and Applications - 3rd European Semantic Web Conference (ESWC 2006). 2006, Budva, Montenegro: Springer.
Parkin S E, Andras P, Morgan G. Managing Missed Interactions in Distributed Virtual Environments. In: Virtual Environments 2006: 12th Eurographics Symposium on Virtual Environments. 2006, Lisbon, Portugal: Eurographics Association.
de F Mendes Sampaio S, Paton NW, Smith J, Watson P. Measuring and modelling the performance of a parallel ODMG compliant object database server. Concurrency Computation Practice and Experience 2006, 18(1), 63-109.
Li P, Chen Y, Romanovsky A. Measuring the Dependability of Web Services for Use in e-Science Experiments. In: Service Availability: Third International Service Availability Symposium (ISAS). 2006, Helsinki, Finland: Springer.
Li P, Chen Y, Romanovsky A. Measuring the Dependability of Web Services for Use in e-Science Experiments. In: Service Availability: Third International Service Availability Symposium (ISAS 2006). 2006, Helsinki, Finland: Springer.
Khomenko V, Kondratyev A, Koutny M, Vogler W. Merged processes: A new condensed representation of Petri net behaviour. Acta Informatica 2006, 43(5), 307-330.
Cao H, Olivier P, Jackson DG, Armstrong A. Mobile Devices in Crossmodal Interfaces. In: Pervasive: Workshop on Pervasive Mobile Interaction Devices (PERMID). 2006, Dublin, Ireland.
Bryans JW, Fitzgerald JS, Periorellis P. Model Based Analysis and Validation of Access Control Policies. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 976.
Dasgupta S, Yakovlev A. Modeling and performance analysis of GALS architectures. In: 2006 International Symposium on System-on-Chip, SOC. 2006, Tampere, Finland: IEEE.
Steggles LJ, Banks R, Wipat A. Modelling and analysing genetic networks: From Boolean networks to Petri nets. In: Computational Methods in Systems Biology: International Conference (CMSB 2006). 2006, Trento, Italy: Springer-Verlag.
Steggles LJ, Banks R, Wipat A. Modelling and Analysing Genetic Networks: From Boolean Networks to Petri Nets. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 962.
Thomas N. Modelling job allocation where service duration is unknown. In: 20th International Parallel and Distributed Processing Symposium, IPDPS 2006. 2006, Rhodes Island, Greece: IEEE.
Gounaris A, Paton NW, Sakellariou R, Fernandes AAA, Smith J, Watson P. Modular adaptive query processing for service-based grids. In: 3rd International Conference on Autonomic Computing (ICAC). 2006, Dublin, Ireland: IEEE.
Bicarregui JC, Woodcock JCP, Freitas L, Schellhorn G, Ramananandro T, Bowen J, Banach R, Butler M, Crocker D, George C, Haxthausen A, Jackson M. Mondex Case Study Second Workshop. In: Mondex Case Study Second Workshop. 2006, Abingdon, UK.
Dasgupta S, Potop-Butucaru D, Caillaud B, Yakovlev A. Moving from weakly endochronous systems to delay-insensitive circuits. Electronic Notes in Theoretical Computer Science 2006, 146(2), 81-103.
D'Alessandro C, Shang D, Bystrov A, Yakovlev A, Maevsky O. Multipl-rail phase-encoding for NoC. In: 12th International Symposium Advanced Research in Asynchronous Systems and Circuits (ASYNC'06). 2006, Grenoble, France: IEEE Computer Society Press.
D'Alessandro C, Shang D, Bystrov A, Yakovlev A, Maevsky O. Multiple-rail phase-encoding for NoC. In: 12th IEEE International Symposium on Asynchronous Circuits and Systems. 2006, Grenoble: IEEE.
Kaiser M, Hilgetag CC. Nonoptimal component placement, but short processing paths, due to long-distance projections in neural systems. PLoS Computational Biology 2006, 2(7), e95 (0805-0815).
Smith C, van Moorsel A. On Efficient Stateful Resource Management. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 961.
Iliasov A, Romanovsky A, Arief B, Laibinis L, Troubitsyna E. On Rigorous Design and Implementation of Fault Tolerant Ambient Systems. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 993.
Molina-Jimenez C, Shrivastava SK, Woodman SJ. On State Synchronization of Business Conversations. In: 8th IEEE International Conference on E-Commerce and Technology (CEC). 2006, San Francisco, California: IEEE Computer Society.
Arief B, Iliasov A, Romanovsky A. On Using the CAMA Framework for Developing Open Mobile Fault Tolerant Agent Systems. In: 2006 International Workshop on Software Engineering for Large-Scale Multi-Agent Systems. 2006, Shanghai, China: ACM.
Arief B, Iliasov A, Romanovsky A. On Using the CAMA Framework for Developing Open Mobile Fault Tolerant Agent Systems. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 943.
Arief B, Iliasov A, Romanovsky A. On using the CAMA framework for developing open mobile fault tolerant agent systems. In: Proceedings of the International Conference on Software Engineering. 2006, Shanghai, China: ACM Press.
Koppad D, Sokolov D, Bystrov A, Yakovlev A. Online testing by protocol decomposition. In: 12th IEEE International On-Line Testing Symposium (IOLTS 2006). 2006, Lake Como, Italy: IEEE.
Ryan PYA, Peacock T. Opacity - Further Insights on an Information Flow Property. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 958.
Bryans JW, Koutny M, Mazare L, Ryan PYA. Opacity generalised to transition systems. In: Formal Aspects in Security and Trust: 3rd International Workshop (FAST). 2006, Newcastle upon Tyne, UK: Springer.
Bryans JW, Koutny M, Mazare L, Ryan PYA. Opacity generalised to transition systems. In: Formal Aspects in Security and Trust: 3rd International Workshop on Formal Aspects in Security and Trust. 2006, Newcastle upon Tyne, UK: Springer.
Charlton B, Andras P. Oxbridge versus the 'Ivy League' : 30 year citation trends. Oxford Magazine 2006, (255), 16-16.
Ha HN, Olivier P. Perception-based Lighting Design. In: Theory and Practice of Computer Graphics 2006: Eurographics UK Chapter Proceedings. 2006, University of Teesside, Middlesbrough, UK: Eurographics Association.
Dick S, Thomas N. Performance Analysis of PGP. In: 22nd UK Performance Engineering Workshop. 2006, Bournemouth University.
Bradley JT, Gilmore ST, Thomas N. Performance analysis of Stochastic Process Algebra models using Stochastic Simulation. In: 20th International Parallel and Distributed Processing Symposium (IPDPS). 2006, Rhodes Island, Greece: IEEE.
Ferrari G, Ezhilchelvan PD, Mitrani I. Performance Modeling and Evaluation of E-Business Systems. In: 39th Annual Simulation Symposium. 2006, Huntsville, Alabama, USA: IEEE.
Ferrari G, Ezhilchelvan P, Mitrani I. Performance Modelling and Evaluation of E-Business Systems. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 954.
Fitzgerald JS. Perspectives on Formal Methods in the Last 25 years. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 983.
Devillers R, Klaudel H, Koutny M. Petri net semantics of the finite π-calculus terms. Fundamenta Informaticae 2006, 70(3), 203-226.
Gounaris A, Paton NW, Sakellariou R, Fernandes AAA, Smith J, Watson P. Practical adaptation to changing resources in grid query processing. In: 22nd International Conference on Data Engineering (ICDE '06). 2006, Atlanta, GA: IEEE.
Missier P, Oliaro A, Raffa A. Practical data quality certification: model, architecture, and experiences. In: IQIS: International Workshop on Information Quality in Information Systems (SIGMOD 2006 Workshop). 2006, Chicago, USA: ACM.
Ryan PYA, Schneider SA. Prêt à Voter with Re-encryption Mixes. In: Computer Security - ESORICS 2006: 11th European Symposium on Research in Computer Security. 2006, Hamburg, Germany: Springer-Verlag.
Garcia A, Choren R, Lucena C, Giorgini P, Holvoet T, Romanovsky A. Preface. In: Garcia, A; Choren, R; Lucena, C; Giorgini, P; Holvoet, T; Romanovsky, A, ed. Software Engineering for Multi-Agent Systems IV: Research Issues and Practical Applications: v. 4. Berlin/Heidelberg: Springer, 2006, pp.VII-IX.
Thomas N. Preface. Electronic Notes in Theoretical Computer Science 2006, 151(3), 1-3.
Ryan PYA. Pret a Voter with Paillier Encryption. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 965.
Ryan PYA, Schneider SA. Pret a Voter with Re-encryption Mixes. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 956.
Kleijn J, Koutny M, Rozenberg G. Process Semantics for Membrane Systems. Journal of Automata, Languages and Combinatorics 2006, 11(3), 321-340.
Kleijn J, Koutny M. Processes of Membrane Systems with Promoters and Inhibitors. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 986.
Kleijn J, Koutny M. Processes of Nets with Range Arcs. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 985.
Kleijn HCM, Koutny M, Rozenberg G. Processes of Petri Nets with Localities. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 941.
Wolstencroft K, Lord P, Tabernero L, Brass A, Stevens R. Protein classification using ontology classification. In: 14th Conference on Intelligent Systems for Molecular Biology (ISMB 2006). 2006, Fortaleza, Brazil: Bioinformatics: Oxford University Press.
Ryan PYA, Peacock T. Putting the Human back in Voting Protocols. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 972.
Sujan MA, Smith SP, Harrison MD. Qualitative analysis of dependability argument structure. In: Besnard, D., Gacek, C. and Jones, C.B, ed. Structure for Dependability: Computer Based Systems from an Interdisciplinary Perspective. London: Springer-Verlag, 2006, pp.269-287.
Missier P, Embury SM, Greenwood M, Preece AD, Jin B. Quality views: capturing and exploiting the user perspective on data quality. In: 32nd International Conference on Very Large Databases (VLDB '06). 2006, Seoul, Korea: ACM.
Bonnet F, Ezhilchelvan P, Vollset E. Quiescent consensus in mobile ad-hoc networks using eventually storage-free broadcasts. In: Proceedings of the ACM Symposium on Applied Computing. 2006, Dijon, France: Association for Computing Machinery.
Bonnet F, Ezhilchelvan P, Vollset E. Quiescent Consensus in Mobile Ad-hoc Networks using Eventually Storage-Free Broadcasts. In: Applied Computing 2006: the 21st annual ACM Symposium on Applied Computing. 2006, Dijon, France: ACM.
Singh P, Ha HN, Olivier P, Kray C et al. Rapid prototyping and evaluation of intelligent environments using immersive video. In: 8th International Conference on Human Computer Interaction with Mobile Devices and Services (Mobile HCI). 2006, Espoo, Finland.
Sugden RC, Wilson RG, Cornford J. Re-configuring the health supplier market: Changing relationships in the primary care supplier market in England. In: Integrated Health Records (IHR): Practice and Technology. 2006, Edinburgh, UK: nesc.
Charlton B, Andras P. Reply to May and Harvey. Oxford Magazine 2006, (255), 18-18.
Shearer J, Olivier P, Heslop P. Requirements of non-verbal communication in believable synthetic agents. In: AISB Symposium on Narrative AI and Games. 2006, Bristol, UK.
Shearer J, Olivier P, Heslop P, de Boni M. Requirements of non-verbal communication in believable synthetic agents. In: Symposium on Narrative AI and Games. 2006, University of Bristol, UK: Society for the Study of Artificial Intelligence and the Simulation of Behaviour.
Khomenko V, Madalinski A, Yakovlev A. Resolution of encoding conflicts by signal insertion and concurrency reduction based on STG unfoldings. In: 6th International Conference on Application of Concurrency to System Design (ACSD 2006). 2006, Turku, Finland: IEEE.
Butler M, Jones C, Romanovsky A, Troubitsyna E, ed. Rigorous Development of Complex Fault-Tolerant Systems. Berlin: Springer-Verlag, 2006.
Laibinis L, Troubitsyna E, Iliasov A, Romanovsky A. Rigorous Development of Fault-Tolerant Agent Systems. In: Butler, M., Jones, C., Romanovsky, A. and Troubitsyna, E, ed. Rigorous Development of Complex Fault-Tolerant Systems. Berlin: Springer-Verlag, 2006, pp.241-260.
Leavens GT, Abrial J-R, Batory D, Butler M, Coglio A, Fisler K, Hehner E, Jones C, Miller D, Peyton-Jones S, Sitaraman M, Smith DR, Stump A. Roadmap for enhanced languages and methods to aid verification. In: Fifth International Conference on Generative Programming and Component Engineering (GPCE). 2006, Portland, Oregon: ACM Press.
Jones CB. RODIN: Intermediate report on methodology. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 990.
Gross T, Pfitzmann B. SAML artifact information flow revisited. In: IEEE Workshop on Web Services Security (WSSS). 2006, Berkeley, California, USA: IEEE.
Shrivastava S. Satem: Trusted Service Code Execution across Transactions. In: 25th Symposium on Reliable Distributed Systems. 2006, Leeds, UK: IEEE.
De Mello ER, Parastatidis S, Reinecke P, Smithy C, Van Moorsel A, Webber J. Secure and provable service support for human-intensive real-estate processes. In: Proceedings - IEEE International Conference on Services Computing, SCC. 2006, Chicago, IL: IEEE.
Ribeiro de Mello E, Parastatidis S, Reinecke P, Smith C, van Moorsel A, Webber J. Secure and Provable Service Support for Human-Intensive Real-Estate Processes. In: IEEE International Conference on Services Computing (SCC). 2006, Chicago, Illinois: IEEE Computer Society.
Ribeiro de Mello E, Parastatidis S, Reinecke P, Smith C, van Moorsel A, Webber J. Secure and Provable Service Support for Human-Intensive Real-Estate Processes. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 960.
Gross T, Pfitzmann B. Secure Identity Management. New York: International Business Machines Corporation, WO Patent WO/2007/072318, European Patent EP1964021B1, January 2006.
Slegers J, Mitrani I, Thomas N. Server Allocation in Grid Systems with On/Off Sources. In: Frontiers of High Performance Computing and Networking - ISPA 2006 Workshops. 2006, Sorrento, Italy: Springer-Verlag.
Slegers J, Mitrani I, Thomas N. Server allocation in Grid systems with on/off sources. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 982.
Periorellis P, Cook N, Conlin A, Hiden HG, Watson P, Smith R, Wright A. Service Oriented Middleware for the Formation and Operation of Virtual Organisations: The GOLD Project. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 940.
Garcia A, Choren R, Lucena C, Giorgini P, Holvoet T, Romanovsky A, ed. Software Engineering for Multi-Agent Systems IV: Research Issues and Practical Applications. Berlin: Springer-Verlag, 2006.
Drummond S, Devlin M. Software Engineering Students' Cross-Site Collaboration: An Experience Report. In: 7th Annual Conference of the Subject Centre for Information and Computer Sciences. 2006, Trinity College, Dublin: Higher Education Academy, Subject Centre for ICS.
Jones CB, Hayes IJ, Jackson MA. Specifying systems that connect to the physical world. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 964.
Freitas L, Woodcock J, Cavalcanti A. State-rich model checking. Innovations in Systems and Software Engineering 2006, 2(1), 49-64.
Schaefer M, Vogler W, Wollowski R, Khomenko V. Strategies for Optimised STG Decomposition. In: 6th International Conference on Application of Concurrency to System Design (ACSD 2006). 2006, Turku, Finland: IEEE Computer Society.
Besnard D, Gacek C, Jones CB, ed. Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective. London: Springer-Verlag, 2006.
Iliasov A, Romanovsky A. Structured coordination spaces for fault tolerant mobile agents. In: Dony, C; Lindskov Knudsen, J; Romanovsky, A; Tripathi, A, ed. Advanced Topics in Exception Handling Techniques. Berlin: Springer-Verlag, 2006, pp.181-199.
Kleijn J, Koutny M. Synchrony and Asynchrony in Membrane Systems. In: Membrane Computing: 7th International Workshop (WMC). 2006, Leiden, The Netherlands: Springer.
Heslop P, Shearer J, Olivier P, DeBoni M. Synthetic Character Fidelity through Non-Verbal Behaviour in Computer Games. In: iDiG International Digital Games Conference. 2006, Portalegre, Portugal.
Backes M, Gross T, Karjoth G. Tag identification system. Armonk, New York, US: International Business Machines Corporation, Patent applications US2008204243A1, EP0612346.3, December 2006.
Arkley P, Riddle S, Brookes T. Tailoring Traceability Information to Business Needs. In: 14th IEEE International Requirements Engineering Conference (RE'06). 2006, Minneapolis/St Paul, Minnesota, USA: IEEE.
Arkley P, Riddle S, Brookes T. Tailoring Traceability Information to Business Needs. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 945.
Freitas L, Cavalcanti A, Woodcock J. Taking Our Own Medicine: Applying the Refinement Calculus to State-Rich Refinement Model Checking. In: Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods (ICFEM). 2006, Macao, China: Springer.
Oinn T, Greenwood M, Addis M, Alpdemir MN, Ferris J, Glover K, Goble C, Goderis A, Hull D, Marvin D, Li P, Lord P, Pocock MR, Senger M, Stevens R, Wipat A, Wroe C. Taverna: lessons in creating a workflow environment for the life sciences. Concurrency and Computation: Practice and Experience 2006, 18(10), 1067-1100.
Jones CB. The DIRC Project as the context of this book. In: Clarke, K., Hardstone, G., Rouncefield, M., Sommerville, I, ed. Trust in Technology: a Socio-Technical Perspective. Dordrecht: Springer, 2006, pp.217-221.
Reinecke P, van Moorsel A, Wolter K. The fast and the fair: A fault-injection-driven comparison of restart oracles for reliable Web Services. In: 3rd International Conference on the Quantitative Evaluation of Systems (QEST 06). 2006, Riverside, California: IEEE Computer Society.
Lappe M, Kuhlmann S, Oerke B, Kaiser M. The fate of object features during perisaccadic mislocalization. Journal of Vision 2006, 6(11), 1282-1293.
Perioellis P, Cook N, Hiden H, Conlin A, Hamilton MD, Wu J, Bryans J, Gong X, Zhu F, Wright A. The GOLD Project: Architecture, Development and Deployment. In: UK e-Science All Hands Meeting 2006. 2006, Nottingham, UK: National e-Science Centre.
Fitzgerald JS, Gnesi S, Mandrioli D. The industrialization of formal methods. International Journal on Software Tools for Technology Transfer 2006, 8(4-5), 301-302.
Andras P. The language of cortical dynamics. In: Computational Life Sciences II: Second International Symposium. 2006, Cambridge, UK: Springer.
Andras P. The language of cortical dynamics. In: Computational Life Sciences II: Second International Symposium (CompLife 2006). 2006, Cambridge, UK: Springer-Verlag.
Jones CB, Randell B. The role of structure: a dependability perspective. In: Besnard, D., Gacek , C. and Jones, C.B, ed. Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective. London: Springer-Verlag, 2006, pp.3-15.
Fitzgerald JS. The Typed Logic of Partial Functions and the Vienna Development Method. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 984.
Ryan PYA, Peacock T. Threat Analysis of Cryptographic Election Schemes. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 971.
Harrison MD, Loer K. Time as a dimension in the design and analysis of interactive systems. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 980.
Kleijn JHCM, Koutny M, Rozenberg G. Towards a Petri net semantics for membrane systems. In: 6th International Workshop on Membrane Computing. 2006, Vienna, Austria: Springer.
Kleijn HCM, Koutny M, Rozenberg G. Towards a Petri Net Semantics for Membrane Systems. In: Membrane Computing: 6th International Workshop (WMC). 2006, Vienna, Austria: Springer-Verlag.
Koutny M, Pappalardo G, Pietkiewicz-Koutny M. Towards an Algebra of Abstractions for Communicating Processes. In: Sixth International Conference on Application of Concurrency to System Design (ACSD). 2006, Turku, Finland: IEEE Computer Society.
Koutny M, Pappalardo G, Pietkiewicz-Koutny M. Towards an Algebra of Abstractions for Communicating Processes. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 949.
Becker S, Brogi A, Gorton I, Overhage S, Romanovsky A, Tivoli M. Towards an Engineering Approach to Component Adaptation. In: Architecting Systems with Trustworthy Components: International Seminar. 2006, Dagstuhl Castle, Germany: Springer-Verlag.
Becker S, Brogi A, Gorton I, Overhage S, Romanovsky A, Tivoli M. Towards an Engineering Approach to Component Adaptation. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 939.
Fitzgerald JS, Larsen PG, Plat N. Towards Next Generation Tools for VDM: Contributions to the First International Overture Workshop, Newcastle, July 2005. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 969.
Preece AD, Jin B, Missier P, Embury SM, Stead D, Brown A. Towards the Management of Information Quality in Proteomics. In: 19th IEEE International Symposium on Computer-Based Medical Systems (CBMS'06). 2006, Salt Lake City, Utah: IEEE Computer Society.
Kistijantoro AI, Morgan G, Shrivastava SK. Transaction manager failover: A case study using JBOSS application server. In: On the Move to Meaningful Internet Systems. 2006, Montpellier, France: Springer.
Kistijantoro AI, Morgan G, Shrivastava SK. Transaction Manager Failover: A Case Study Using JBOSS Application Server. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 975.
Koutny M, Pietkiewicz-Koutny M. Transition Systems of Elementary Net Systems with Localities. In: Concurrency Theory: 17th International Conference (CONCUR). 2006, Bonn, Germany: Springer.
Koutny M, Pietkiewicz-Koutny M. Transition Systems of Elementary Net Systems with Localities. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 948.
Fitzgerald JS, Larsen PG. Triumphs and Challenges for Model-Oriented Formal Methods: The VDM++ Experience. In: 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA). 2006, Paphos, Cyprus: IEEE.
Wilson RG, Cornford JR, Martin MJ, Baines S, Vaughan R, Sugden B. Trying to do a Jigsaw without the picture on the box: The problem of joining up across internal and external boundaries in medicine, health and care. In: Infrastructures for Health Care:Connecting practices across institutional and professional boundaries. 2006, Technical University of Denmark, Copenhagen: Center for Information and Communication Technologies.
Andras P, Lazarus J, Roberts G, Lynden SJ. Uncertainty and Cooperation: Analytical Results and a Simulated Agent Society. Journal of Artificial Societies and Social Simulation 2006, 9(1).
Bhargav-Spantzel A, Camenisch J, Gross T, Sommer D. User centricity: a taxonomy and open issues. In: ACM Digital Identity Management (DIM). 2006, Alexandria, Virginia, USA: ACM Press.
Backes M, Gross T, Karjoth G, O'Connor L. Verification method and system. Armonk, New York, US: International Business Machines Corporation, Patent applications US20080136586A1, EP06123078.5, October 2006.
Castor Filho F, Romanovsky A, Rubira CMF. Verification of Coordinated Exception Handling. In: Proceedings of the 2006 ACM Symposium on Applied Computing. 2006, Dijon, France: ACM.
Ryan PYA. Verified Encrypted Paper Audit Trails. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 966.
Jones C, O'Hearn P, Woodcock J. Verified Software: a Grand Challenge. Computer 2006, 39(4), 93-95.
Steggles LJ. Verifying an infinite systolic algorithm using third-order equational methods. Journal of Logic and Algebraic Programming 2006, 69(1-2), 75-92.
Chen Y, Xia F, Yakovlev A. Virtual self-timed blocks for systems-on-chip. In: Proceedings - IEEE International Symposium on Circuits and Systems. 2006, Island of Kos: IEEE.
Chen Y, Xia F, Yakovlev A. Virtual self-timed blocks for systems-on-chip. In: 2006 IEEE International Symposium on Circuits and Systems. ISCAS 2006. 2006, Island of Kos, Greece: IEEE.
Randell B, Ryan PYA. Voting technologies and trust. IEEE Security & Privacy Magazine 2006, 4(5), 50-56.
Randell B, Ryan PYA. Voting technologies and trust. In: Formal Aspects in Security and Trust: 3rd International Workshop (FAST 2005). 2006, Newcastle upon Tyne, UK: Springer-Verlag.
Cavalieri S, Scibilia F, Fowler C, Parastatidis S, Watson P. Web services usage monitoring for Dynasoar. In: Proceedings of the Advanced International Conference on Telecommunications and International Conference on Internet and Web Applications and Services (AICT/ICIW '06). 2006, Guadeloupe: IEEE.
Watson P. Welcome and introduction. In: Proceedings of the UK e-Science All Hands Meeting 2006. 2006, Nottingham: National e-Science Centre.
de Lemos R, Gacek C, Romanovsky A. Workshop on Architecting Dependable Systems (WADS). In: International Conference on Dependable Systems and Networks (DNS 2006). 2006, Philadelphia, Pennsylvania: IEEE Computer Society.
Woodcock J, Freitas L. Z/Eves and the Mondex Electronic Purse. In: Theoretical Aspects of Computing: Third International Colloquium (ICTAC). 2006, Tunis, Tunisia: Springer.
Cook N. [PhD Thesis] Middleware Support for Non-repudiable Business-to-Business Interactions. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006.