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

Gardiner KT, Yakovlev A, Bystrov A. A C-element latch scheme with increased transient fault tolerance for asynchronous circuits. In: 13th IEEE International On-Line Testing Symposium Proceedings. 2007, Heraklion, Crete, Greece: IEEE Computer Society.
Tjostheim T, Peacock T, Ryan PYA. A Case Study in System-Based Analysis: The ThreeBallot Voting System and Prêt à Voter. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1012.
Stylianou A, Ferrari G, Ezhilchelvan P. A Comparative Evaluation of EJB Implementation Methods. In: 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC). 2007, Santorini Island, Greece: IEEE Computer Society.
Randell B. A computer scientist's reactions to NPfIT. Journal of Information Technology 2007, 22(3), 222-234.
Randell B. A Computer Scientist’s Reactions to NPfIT. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1024.
Jambli MN, Tully A, Selvarajah K, Lachenmann A. A Cross-Layer Framework Design for the Embedded Middleware in Mobility Applications (EMMA) Project. In: 19th IASTED International Conference on Parallel and Distributed Computing and Systems. 2007, Cambridge, Massachusetts, USA: ACTA Press.
Jambli M N, Tully A, Selvarajah K, Lachenmann A. A Cross-Layer Framework Design for the Embedded Middleware in Mobility Applications (EMMA) Project. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1036.
Bryans JW, Fitzgerald JS, Periorellis P. A Formal Approach to Dependable Evolution of Access Control Policies in Dynamic Collaborations. In: 37th IEEE/IFIP International Conference on Dependable Systems and Networks. 2007, Edinbugh, UK.
Bryans JW, Fitzgerald JS, Periorellis P. A Formal Approach to Dependable Evolution of Access Control Policies in Dynamic Collaborations. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1027.
Zuliani P. A formal derivation of Grover's quantum search algorithm. In: 1st Joint Symposium on Theoretical Aspects of Software Engineering (TASE). 2007, IEEE.
Iliasov A, Romanovsky A, Arief B, Laibinis L, Troubitsyna E. A framework for open distributed system design. In: COMPSAC: International Computer Software and Applications Conference. 2007, Beijing, China: IEEE.
Banks R, Steggles LJ. A High-Level Petri Net Framework for Genetic Regulatory Networks. Journal of Integrative Bioinformatics 2007, 4(3), 60.
Banks R, Steggles LJ. A High-Level Petri Net Framework for Multi-Valued Genetic Regulatory Networks. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1007.
Romanovsky A. A looming fault tolerance software crisis?. In: Software Engineering Notes: NATO Workshop on Building Robust Systems with Fallible Construction. 2007, Prague, Czech Republic: ACM.
Parkin S, Ingham D, Morgan G. A message oriented middleware solution enabling non-repudiation evidence generation for reliable web services. In: Service Availability: 4th International Service Availability Symposium (ISAS). 2007, Durham, New Hampshire, USA: Springer.
Di Marzo Serugendo G, Fitzgerald J, Romanovsky A, Guelfi N. A Metadata-Based Architectural Model for Dynamically Resilient Systems. In: 22nd ACM Symposium on Applied Computing. 2007, Seoul, Korea: ACM.
Gamble C. A Minimal Web Service Architectural Style. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1015.
Tjostheim T, Peacock T, Ryan P Y A. A Model for Systematic Analysis of Voting Systems. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1001.
Chatain T, Khomenko V. A Note on the Well-Foundedness of Adequate Orders Used for Truncating Unfoldings. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 998.
Coleman JW, Jones CB. A structural proof of the soundness of rely/guarantee rules. Journal of Logic and Computation 2007, 17(4), 807-841.
Coleman JW, Jones CB. A structural proof of the soundness of rely/guarantee rules (revised). Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1029.
Pears A, Seidman S, Malmi L, Mannila L, Adams E, Bennedsen J, Devlin M, Paterson J. A Survey of Literature on the Teaching of Introductory Programming. Inroads - SIGCSE Bulletin 2007, 39(4), 204-223.
Parkin SE, van Moorsel A. A Trust-economic Perspective on Information Security Technologies. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1056.
Missier P, Embury S, Hedeler C, Greenwood M, Pennock J, Brass A. Accelerating Disease Gene Identification Through Integrated SNP Data Analysis. In: Data Integration in the Life Sciences: 4th International Workshop (DILS 2007). 2007, Philadelphia, PA: Springer.
Devlin M, Marshall L, Phillips C. Active Learning in Computing: Engaging Learners in a Cross-Site Team Project. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 997.
Wright K. Adaptive methods for piecewise polynomial collocation for ordinary differential equations. BIT Numerical Mathematics 2007, 47(1), 197-212.
Lamprecht CJ, Van Moorsel A. Adaptive SSL: Design, implementation and overhead analysis. In: First International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2007. 2007, Cambridge, Massachusetts: IEEE Computer Society.
Lamprecht CJ, van Moorsel A. Adaptive SSL: Design, Implementation and Overhead Analysis. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1008.
Mukherjee A, Watson P. Adding dynamism to OGSA-DQP: Incorporating the DynaSOAr framework in distributed query processing. In: Euro-Par Workshops: Parallel Processing. 2007, Dresden, Germany: Springer.
Mukherjee A, Watson P. Adding dynamism to OGSA-DQP: Incorporating the DynaSOAr framework in distributed query processing. In: Euro-Par 2006 Workshops: Parallel Processing. 2007, Dresden, Germany: Springer Berlin.
Merelli E, Armano G, Cannata N, Corradini F, d'Inverno M, Doms A, Lord P, Martin A, Milanesi L, Moller S, Schroeder M, Luck M. Agents in bioinformatics, computational and systems biology. Briefings in Bioinformatics 2007, 8(1), 45-59.
Andras P, Lycett S. An advantage of chaotic neural dynamics. In: Proceedings of the International Joint Conference on Neural Networks (IJCNN). 2007, Orlando, Florida, USA: IEEE.
Andras P, Herald NDJ, Charlton BG. An analysis of the dynamics of British academic science. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1006.
Fitzgerald JS, Bryans JW, Greathead D, Jones CB, Payne R. Animation-based Validation of a Formal Model of Dynamic Virtual Organisations. In: FACS 2007 Christmas Workshop: Formal Methods in Industry. 2007, London: British Computer Society.
de Lemos R, Gacek C, Romanovsky A, ed. Architecting Dependable Systems IV. Berlin: Springer-Verlag, 2007.
Muccini H, Pelliccione P, Romanovsky A. Architecting Fault Tolerant Systems. In: Working IEEE/IFIP Conference on Software Architecture. 2007, Mumbai, India: IEEE Computer Society.
Muccini H, Romanovsky A. Architecting Fault Tolerant Systems. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1051.
Kotsiopoulos I, Missier P, Alper P, Corcho O, Bechhofer S, Goble C. Architectural patterns for the Semantic Grid. In: Domenico Talia, Angelos Bilas and Marios D. Dikaiakos, ed. Knowledge and Data Management in GRIDs. New York: Springer, 2007, pp.119-134.
Sokolov D, Poliakov I, Yakovlev A. Asynchronous Data Path Models. In: 7th International Conference on Application of Concurrency to System Design, ACSD 2007. 2007, Bratislava, Slovak Republic: Institute of Electrical and Electronics Engineers.
Shang D, Shin C, Wang P, Xia F, Koelmans A, Oh M, Kim S, Yakovlev A. Asynchronous Functional Coupling for Low Power Sensor Network Processors. In: 17th International Workshop on Power and Timing Modeling, Optimization and Simulation. 2007, Göteborg, Sweden: Springer.
Delong S, Chihoon S, Ping W, Fei X, Koelmans A, Myeonghoon O, Seongwoon K, Yakovlev A. Asynchronous functional coupling for low power sensor network processors. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2007, Springer.
Shang D, Shin C, Wang P, Xia F, Koelmans A, Oh M, Kim S, Yakovlev A. Asynchronous functional coupling for low power sensor network processors. In: Integrated Circuit and System Design: Power and Timing Modeling, Optimization and Simulation. 2007, Gothenburg, Sweden: Springer Berlin.
Coleman JW, Jones CB. Atomicity: A unifying concept in computer science papers from dagstuhl seminar 06121 J.UCS special issue. Journal of Universal Computer Science 2007, 13(8), 1042-1043.
Gorgonio K, Cortadella J, Xia F, Yakovlev A. Automating synthesis of asynchronous communication mechanisms. In: 5th International Conference on Application of Concurrency to System Design. 2007, St Malo, France: Fundamenta Informaticae, IOS Press.
Fitzgerald JS, Larsen PG. Balancing Insight and Effort: the Industrial Uptake of Formal Methods. In: Formal Methods and Hybrid Real-Time Systems, Essays in Honour of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays. 2007, Macau SAR, China: Springer.
Fitzgerald JS, Larsen PG. Balancing Insight and Effort: the Industrial Uptake of Formal Methods. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1031.
Avizienis A, Laprie J-C, Randell B, Landwehr CE. Basic Concepts and Taxonomy of Dependable and Secure Computing. In: von Knop, J., Salnikov, A.A., Yaschenko. V.V, ed. A Process for Developing a Common Vocabulary in the Information Security Area. Amsterdam; Oxford: IOS Press, 2007, pp.10-51.
Khomenko V. Behaviour-Preserving Transition Insertions in Unfolding Prefixes. In: 28th International Conference on Petri Nets and Other Models of Concurrency (ICATPN). 2007, Siedlce, Poland: Springer.
Kaiser M. Brain architecture: a design for natural computation. Philosophical Transactions of the Royal Society London Series A 2007, 365, 3033-3045.
Kaiser M. Brain architecture: a design for natural computation. Proceedings of the Royal Society of London: Mathematical, Physical and Engineering Sciences 2007, 365(1861), 3033-3045.
Yan J, Salah El Ahmad A. Breaking Visual CAPTCHAs with Naïve Pattern Recognition Algorithms. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1026.
Yan J, Salah El Ahmad A. Breaking Visual CAPTCHAs with Naive Pattern Recognition Algorithms. In: Proceedings of the 23rd Annual Computer Security Applications Conference (ACSAC). 2007, Miami Beach, Florida: IEEE.
Khomenko V, Schaefer M. Combining Decomposition and Unfolding for STG Synthesis. In: 28th International Conference on Petri Nets and Other Models of Concurrency (ICATPN). 2007, Siedlce, Poland: Springer.
Khomenko V, Schaefer M. Combining Decomposition and Unfolding for STG Synthesis. Augsburg, Germany: Institute of Computer Science, University of Augsburg, 2007. 2007-01.
Dasgupta S, Yakovlev A. Comparative analysis of GALS clocking schemes. IET Computers and Digital Techniques 2007, 1(2), 59-69.
Charlton BG, Andras P. Complex biological memory conceptualized as an abstract communication system – human long term memories grow in complexity during sleep and undergo selection while awake. In: Perlovsky, L., Kozma, R, ed. Neurodynamics of Cognition and Consciousness. Berlin; New York: Springer, 2007, pp.325-340.
Koutny M, Pappalardo G, Pietkiewicz-Koutny M. Compositional Abstractions for Interacting Processes. In: Proceedings of the International Multiconference on Computer Science and Information Technology. 2007, Wisla, Poland: Polish Information Processing Society.
Hook J, Olivier P. Control Blocks: Tangible Tools for Tabletop Groupware. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1022.
Gallina B, Guelfi N, Romanovsky A. Coordinated atomic actions for dependable distributed systems: The current state in concepts, semantics and verification means. In: Proceedings - International Symposium on Software Reliability Engineering, ISSRE. 2007, Trollhättan, Sweden: IEEE.
Andras P, Wennekers T. Cortical activity pattern computation. BioSystems 2007, 87(2-3), 179-185.
Kaiser M, Gorner M, Hilgetag CC. Criticality of spreading dynamics in hierarchical cluster networks without inhibition. New Journal of Physics 2007, 9(110).
Jambli MN, Tully A. Cross-Layer Design for Information Dissemination in Wireless Sensor Networks: State-of-the-Art and Research Challenges. In: 37th annual IEEE/IFIP International Conference on Dependable Systems and Networks. 2007, Edinburgh, UK: IEEE Computer Society.
Jambli MN, Tully A. Cross-Layer Design for Information Dissemination in Wireless Sensor Networks: State-of-the-Art and Research Challenges. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1011.
Gilroy SW, Olivier P, Cao H, Jackson D, Kray C, Lin D. CROSSBOARD: Crossmodal Access of Dense Public Displays. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1005.
Olivier P, Cao H, Gilroy SW, Jackson DG. Crossmodal Ambient Displays. In: People and Computers XX - Engage. Proceedings of HCI 2006. 2007, London, UK: Springer.
Norman SJ, Lawson S, Olivier P, Watson P, Chan A, Dade-Robertson M, Dunphy P, Green D, Hiden H, Hook J, Jackson D. Data Services for Associated Motion Capture User Categories. AHRC/EPSRC E-Science Demonstrator EP/E005624/1. AHESSC website: Newcastle University, 2007. AHRC/EPSRC E-Science Demonstrator EP/E005624/1.
D'Alessandro C, Mokhov A, Bystrov A, Yakovlev A. Delay/Phase Regeneration Circuit. In: 13th IEEE International Symposium on Asynchronous Circuits and Systems, ASYNC. 2007, Berkeley, California: IEEE.
D'Alessandro C, Mokhov A, Bystrov A, Yakovlev A. Delay/Phase regeneration circuits. In: 13th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC 2007). 2007, Berkeley, California: IEEE Computer Society.
Jones CB, Hayes IJ, Jackson MA. Deriving specifications for systems that are connected to the physical world. In: Jones CB; Liu Z; Woodcock J, ed. Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjørner and Zhou Chaochen on the Occasion of Their 70th Birthdays. Berlin: Springer-Verlag, 2007, pp.364-390.
Jones CB, Hayes IJ, Jackson MA. Deriving specifications for systems that are connected to the physical world. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1045.
Gamble C. Detecting Architectural Mismatches Between Web Services. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1019.
Kaiser M, Hilgetag CC. Development of multi-cluster cortical networks by time windows for spatial growth. Neurocomputing 2007, 70(10-12), 1829-1832.
Nisbach F, Kaiser M. Developmental time windows for spatial growth generate multiple-cluster small-world networks. European Physical Journal B: Condensed Matter and Complex Systems 2007, 58(2), 185-191.
Sokolov D, Bystrov A, Yakovlev A. Direct mapping of low-latency asynchronous controllers from STGs. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 2007, 26(6), 993-1009.
Randell B, Rushby J. Distributed Secure Systems: Then and Now. In: 23rd Annual Computer Security Applications Conference, ACSAC. 2007, Miami Beach, Florida, USA: IEEE Computer Society.
Randell B, Rushby JM. Distributed Secure Systems: Then and Now. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1052.
Dunphy P, Yan J. Do background images improve "draw a secret" graphical passwords ?. In: CCS'07: Proceedings of the 14th ACM Conference on Computer and Communications Security. 2007, Alexandria, Virginia, USA: ACM Press.
Burns F, Murphy J, Shang D, Koelmans A, Yakorlev A. Dynamic global security-aware synthesis using SystemC. IET Computers and Digital Techniques 2007, 1(4), 405-413.
Watson P. e-Science in the cloud with CARMEN. In: Parallel and Distributed Computing, Applications and Technologies (PDCAT). 2007, Adelaide, SA: IEEE.
Andras P, Gwyther R, Madalinski AA, Lynden SJ, Andras A, Young MP. Ecological network analysis: An application to the evaluation of effects of pesticide use in an agricultural environment. Pest Management Science 2007, 63(10), 943-953.
Khomenko V. Efficient Automatic Resolution of Encoding Conflicts Using STG Unfoldings. In: 7th International Conference on Application of Concurrency to System Design (ACSD 2007). 2007, Bratislava, Slovak Republic: IEEE Computer Society.
Khomenko V. Efficient Automatic Resolution of Encoding Conflicts Using STG Unfoldings. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 995.
Guelfi N, Muccini H, Pelliccione P, Romanovsky A. EFTS 2007: The 2nd international workshop on engineering fault tolerant systems. In: 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE. 2007, Dubrovnik, Croatia: ACM.
Field D, Garrity G, Gray T, Selengut J, Sterk P, Thomson N, Tatusova T, Cochrane G, Glöckner F, Kottmann R, Lister AL, Tateno Y, Vaughan R. eGenomics: Cataloguing our complete genome collection III. Comparative and Functional Genomics 2007, 2007(47304), 7.
Cao H, Olivier P, Jackson D, Armstrong A, Huang L. Enhancing privacy in public spaces through crossmodal displays. Newcastle upon Tyne: School of Computing Science, The University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1003.
de Leusse P, Periorellis P, Watson P. Enterprise Service Bus: An overview. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1037.
Charlton BG, Andras P. Evaluating universities using simple scientometric research-output metrics: Total citation counts per university for a retrospective seven-year rolling sample. Science and Public Policy 2007, 34(8), 555-563.
De Mello ER, Van Moorsel A, Da Silva Fraga J. Evaluation of P2P search algorithms for discovering trust paths. In: Fourth European Performance Engineering Workshop (EPEW). 2007, Berlin, Germany: Springer.
Ribeiro de Mello E, van Moorsel A, da Silva Fraga J. Evaluation of P2P Search Algorithms for Discovering Trust Paths. In: Formal Methods and Stochastic Models for Performance Evaluation. Fourth European Performance Engineering Workshop (EPEW). 2007, Berlin, Germany: Springer-Verlag.
Ribeiro de Mello E, van Moorsel A, da Silva Fraga J. Evaluation of P2P Search Algorithms for Discovering Trust Paths. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1033.
Parkin SE, Andras P, Morgan G. Evolutionary optimization of parameters for distributed virtual environments. In: IEEE Congress on Evolutionary Computation (CEC). 2007, Singapore: IEEE.
Alsaeed M, Inayat Q, Speirs NA, Ezhilchelvan PD. Examining the Performance Benefits of Fail-Signal Approach using a Network Emulator. In: International Conference on Computer, Control & Communication. 2007, Karachi, Pakistan.
Cacho N, Damasceno K, Garcia A, Romanovsky A, Lucena C. Exception handling in context-aware agent systems: A case study. In: Software Engineering for Multi-Agent Systems V: Research Issues and Practical Applications. Berlin: Springer, 2007, pp.57-76.
Gorbenko A, Mikhaylichenko A, Kharchenko V, Romanovsky A. Experimenting With Exception Handling Mechanisms Of Web Services Implemented Using Different Development Kits. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1010.
Smith J, Watson P. Experiments towards adaptation of concurrent workflows. In: Proceedings of the 5th IEEE European Conference on Web Services, ECOWS 07. 2007, Halle, Germany: IEEE.
Smith J, Watson P. Experiments Towards Adaptation of Concurrent Workflows. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1039.
Harrison M, Kray C, Campos JC. Exploring an option space to engineer a ubiquitous computing system. In: The Pre-proceedings of the 2nd International Workshop on Formal Methods for Interactive Systems (FMIS). 2007, Lancaster, UK: Queen Mary, University of London, Department of Computer Science.
Sun Y, Wipat A, Pocock M, Lee PA, Flanagan K, Worthington JT. Exploring microbial genome sequences to identify protein families on the grid. IEEE Transactions on Information Technology in Biomedicine 2007, 11(4), 435-442.
Shearer J, Olivier P, De Boni M, Hurling R. Exploring persuasive potential of embodied conversational agents utilizing synthetic embodied conversational agents. In: Persuasive Technology: Second International Conference. 2007, Palo Alto, CA, USA: Springer.
Smith J, Watson P. Failure recovery alternatives in grid-based distributed query processing: A case study. In: Knowledge and Data Management in GRIDs: 1st Workshop. 2007, Poznan, Poland: New York: Springer.
Randell B, Koutny M. Failures: Their Definition, Modelling and Analysis. In: Theoretical Aspects of Computing: 4th International Colloquium (ICTAC). 2007, Macao, China: Springer-Verlag.
Bryans J, Fitzgerald JS. Formal Engineering of XACML Access Control Policies in VDM++. In: Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM. 2007, Boca Raton, FL, USA: Springer.
Bryans JW, Fitzgerald JS. Formal Engineering of XACML Access Control Policies in VDM++. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1028.
Jones CB, Liu Z, Woodcock J, ed. Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjørner and Zhou Chaochen on the Occasion of Their 70th Birthdays. Berlin: Springer-Verlag, 2007.
Di Marzo Serugendo G, Fitzgerald JS, Romanovsky A, Guelfi N. Generic Framework for the Engineering of Self-Adaptive and Self-Organising Systems. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1018.
Lin D, Dunphy P, Olivier P, Yan J. Graphical Passwords & Qualitative Spatial Relations. In: Third Symposium on Usable Privacy and Security (SOUPS). 2007, Pittsburgh, Pennsylvania: ACM.
Corcho O, Alper P, Missier P, Bechhofer S, Goble C. Grid Metadata Management: requirements and architecture. In: 8th IEEE/ACM International Conference on Grid Computing (GRID '07). 2007, Austin, Texas: IEEE Computer Society.
Wennekers T, Ay N, Andras P. High-resolution multiple-unit EEG in cat auditory cortex reveals large spatio-temporal stochastic interactions. BioSystems 2007, 89(1-3), 190-197.
Cook NO, Robinson P, Shrivastava SK. High-value B2B interactions, non-repudiation and Web services. In: Periorellis, P, ed. Securing Web Services: Practical Usage of Standards and Specifications. Hershey: IDEA Group Information Science Reference, 2007, pp.71-107.
Sulaiman AN, Olivier P. How do people collaborate using paper documents around a table. An observational study. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1030.
Ramakrishnan H, Maharatna K, Chattopadhyay S, Yakovlev A. Impact of strain on the design of low-power high-speed circuits. In: IEEE International Symposium on Circuits and Systems. 2007, New Orleans, LA: IEEE.
Ramakrishnan H, Maharatna K, Chattopadhyay S, Yakovlev A. Impact of strain on the design of low-power high-speed circuits. In: IEEE International Symposium on Circuits and Systems. 2007, Institute of Electrical and Electronics Engineers.
Molina-Jimenez C, Shrivastava S, Cook N. Implementing business conversations with consistency guarantees using message-oriented middleware. In: 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007). 2007, Annapolis, Maryland, USA: IEEE Computer Society.
Lister AL, Jones AR, Pocock M, Shaw O, Wipat A. Implementing the FuGE Object Model: a Systems Biology Data Portal and Integrator. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1016.
D'Alessandro C, Bystrov A, Yakovlev A. Improved phase-encoding signalling. Electronics Letters 2007, 43(4), 216-217.
Chen Y, Romanovsky A. Improving Service Availability without Improving Availability of Individual Services. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1025.
Macedo HD, Larsen PG, Fitzgerald J. Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System using VDM. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1059.
Arief B, Blythe P, Fairchild R, Selvarajah K, Tully A. Integrating smartdust into intelligent transportation systems. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1062.
Lister AL, Pocock M, Wipat A. Integration of constraints documented in SBML, SBO, and the SBML Manual facilitates validation of biological models. Journal of Integrative Bioinformatics 2007, 4(3), 80.
Lister A L, Pocock M, Wipat A. Integration of constraints documented in SBML, SBO, and the SBML Manual facilitates validation of biological models. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1043.
Tosic V, Goschka KM, Van Moorsel A, Wong R. Introduction to the proceedings of the EDOC 2007 Workshop Middleware for Web Services (MWS) 2007. In: Proceedings of the IEEE International Enterprise Distributed Object Computing Workshop, EDOC. 2007, Annapolis, MD: IEEE.
Andreou MS, van Moorsel A. IP Traceback in a Switched Ethernet Network. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1040.
Dunphy P, Yan J. Is FacePIN Secure and Usable?. In: 3rd Symposium on Usable Privacy and Security (SOUPS). 2007, Pittsburgh, PA, USA: ACM Press.
Goble C, Wolstencroft K, Goderis A, Hull D, Zhao J, Alper P, Lord P, Wroe C, Belhajjame K, Turi D, Stevens R, Oinn T, De Roure D. Knowledge discovery for biology with Taverna: Producing and consuming semantics in the Web of Science. In: Baker, C.J.O., Cheung, K.-H, ed. Semantic Web: Revolutionizing Knowledge Discovery in the Life Sciences. New York, USA: Springer, 2007, pp.355-395.
Ha HN, Olivier P. Lighting-by-Example with Wavelets. In: Smart Graphics: 8th International Symposium (SG). 2007, Kyoto, Japan: Springer.
Devlin M, Phillips C, Marshall L. Making Computing Science Students More Employable with Problem-Based Learning and Cross-Site Teamwork. In: International Conference on Engineering Education and Research (iCEER). 2007, Melbourne, Australia: International Network for Engineering and Education Research.
Devlin M, Phillips C, Marshall L. Making Computing Science Students More Employable with Problem-Based Learning and Cross-Site TeamWork. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1055.
Missier P, Embury SM, Greenwood RM, Preece AD, Jin B. Managing information quality in e-science: the Qurator workbench. In: Proceedings of the 2007 ACM SIGMOD International Conference on Management of Data (SIGMOD '07). 2007, Beijing, China: ACM.
Kinniment DJ, Dike CE, Heron K, Russell G, Yakovlev AV. Measuring deep metastability and its effect on synchronizer performance. IEEE Transactions on Very Large Scale Integration (VLSI) Systems 2007, 15(9), 1028-1039.
Cook N. Middleware Support for Non-repudiable Business-to-Business Interactions. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1009.
Gacek C, Gamble C. Mismatch Avoidance with Web Services. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1061.
Ladha C, Sharif BS, Tsimenidis CC. Mitigating propagation errors for indoor positioning in wireless sensor networks. In: IEEE International Conference on Mobile Adhoc and Sensor Systems. 2007, Pisa, Italy: IEEE.
Smith C, van Moorsel A. Mitigating Provider Uncertainty in Service Provision Contracts. In: EMAGS 2007. Workshop on Economic Models and Algorithms for Grid Systems. 2007, Austin, Texas, USA: Institute of Information Systems and Mangement, Universität Karlsruhe.
Smith C, van Moorsel A. Mitigating Provider Uncertainty in Service Provision Contracts. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1034.
Cao H, Olivier P, Jackson D, Armstrong A. Mobile Devices in Crossmodal Interfaces. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1004.
Devillers R, Klaudel H, Koutny M. Modelling Mobility in High-level Petri Nets. In: Seventh International Conference on Application of Concurrency to System Design (ACSD). 2007, Bratislava, Slovak Republic: IEEE Computer Society.
Zhao Y, Thomas N. Modelling secure secret key exchange using stochastic process algebra. In: 23rd UK Performance Engineering Workshop. 2007, Edge Hill University, Ormskirk, UK: Edge Hill University.
Hallinan JS, Wipat A. Motifs and modules in fractured functional yeast networks. In: IEEE Symposium on Computational Intelligence in Bioinformatics and Computational Biology (CIBCB 07). 2007, Honolulu, Hawaii: IEEE.
Thimbleby H, Harrison M. Names and Reference in User Interfaces. In: People and Computers XXI. HCI...but not as we know it. 2007, University of Lancaster, UK: British Computer Society.
D'Alessandro C, Minas N, Heron K, Kinniment D, Yakovlev A. NoC communication strategies using time-to-digital conversion. In: First International Symposium on Networks-on-chips. 2007, Princeton, New Jersey: IEEE.
Gorbenko A, Kharchenko V, Romanovsky A. On composing Dependable Web Services using undependable web components. International Journal of Simulation and Process Modelling 2007, 3(1-2), 45-54.
Molina-Jimenez C, Shrivastava S. On Contract Compliant Business Process Coordination. In: NWPT'07/FLACOS'07 Workshop Proceedings. 2007, Oslo, Norway: Universitetet i Oslo, Institutt for informatikk.
Arief B, Iliasov A, Romanovsky A. On developing open mobile fault tolerant agent systems. In: Choren, R; Garcia, A Giese, H; Leung, H-F; Lucena, C; Romanovsky, A, ed. Software Engineering for Multi-Agent Systems V: Research Issues and Practical Applications. Berlin: Springer, 2007, pp.21-40.
Romanovsky A. On exceptions, exception handling, requirements and software lifecycle. In: 10th IEEE High Assurance Systems Engineering Symposium (HASE). 2007, Plano, TX: IEEE.
Iliasov A, Romanovsky A, Arief B, Laibinis L, Troubitsyna E. On rigorous design and implementation of fault tolerant ambient systems. In: 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing, ISORC 2007. 2007, Santorini Island, Greece: Institute of Electrical and Electronics Engineers.
Chatain T, Khomenko V. On the well-foundedness of adequate orders used for construction of complete unfolding prefixes. Information Processing Letters 2007, 104(4), 129-136.
Slegers J, Mitrani I, Thomas N. Optimal Dynamic Server Allocation in Systems with On/Off Sources. In: Formal Methods and Stochastic Models for Performance Evaluation. Fourth European Performance Engineering Workshop (EPEW). 2007, Berlin, Germany: Springer-Verlag.
Palmer J, Mitrani I, Mazzucco M, Mckee P, Fisher M. Optimizing revenue service provisioning systems with QoS contracts. In: ICE-B: Proceedings of the Second International Conference on e-Business. 2007, Barcelona, Spain: INSTICC.
Palmer J, Mitrani I, Mazzucco M, McKee P, Fisher M. Optimizing revenue: Service Provisioning Systems with QoS Contracts. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1023.
Hilgetag CC, Kaiser M. Organization and function of complex cortical networks. In: Graben, P; Zhou, C; Thiel, M; Kurths, J, ed. Lectures in Supercomputational Neuroscience: Dynamics in Complex Brain Networks. Berlin / Heidelberg: Springer, 2007, pp.107-133.
Khomenko V, Schaefer M, Vogler W. Output-Determinacy and Asynchronous Circuit Synthesis. In: 7th International Conference on Application of Concurrency to System Design (ACSD 2007). 2007, Bratislava, Slovak Republic: IEEE Computer Society.
Khomenko V, Schaefer M, Vogler W. Output-Determinacy and Asynchronous Circuit Synthesis. Augsburg, Germany: Institute of Computer Science, University of Augsburg, 2007. 2007-02.
Ha HN, Olivier P. Perception-Based Lighting-by-Example. In: Theory and Practice of Computer Graphics: Eurographics UK Chapter Proceedings. 2007, University of Wales, Bangor, UK: Eurographics Association.
Kleijn J, Yakovlev A, ed. Petri nets and Other Models of Concurrency – ICATPN 2007. Berlin: Springer-Verlag, 2007.
Cloth L, Hiltunen M, van Moorsel A, ed. PMCCS-8. The Eighth International Workshop on Performability Modeling of Computer and Communication Systems, September 20-21, 2007, Edinburgh, Scotland. The Netherlands: University of Twente, Centre for Telematics and Information Technology, 2007.
Costa L da F, Kaiser M, Hilgetag CC. Predicting the connectivity of primate cortical networks from topological and spatial node properties. BMC Systems Biology 2007, 1(16).
Ryan PYA. Pret a Voter with a Human-Readable, Paper Audit Trail. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1038.
Ryan PYA. Pret a Voter with Paillier Encryption. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1014.
Taylor N, Cheverst K, Fitton D, Race NJP, Rouncefield M, Graham C. Probing Communities: Study of a Village Photo Display. In: OZCHI '07 Proceedings of the 19th conference of the computer-human interaction special interest group (CHISIG) of Australia on Computer-human interaction: design activities, artifacts and environments. 2007, Adelaide, Australia: Association for Computing Machinery.
Butler M, Jones CB, Romanovsky A, Troubitsyna E. Proceedings of the Workshop on Methods, Models and Tools for Fault Tolerance. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1032.
Kleijn J, Koutny M. Processes of petri nets with range testing. Fundamenta Informaticae 2007, 80(1-3), 199-219.
Woodman S, Parastatidis S, Webber J. Protocol-Based Integration Using SSDL and pi-Calculus. In: Taylor, I. .J., Deelman, E., Gannon, D.B., Shields, M, ed. Workflows for E-science: Scientific Workflows for Grids. London, UK: Springer-Verlag, 2007, pp.227-243.
Freitas L, Woodcock J. Proving Theorems About JML Classes. In: Jones, C.B., Liu, Z., Woodcock, J, ed. Formal Methods and Hybrid Real-Time Systems. Berlin: Springer, 2007, pp.255-279.
Steggles LJ, Banks R, Shaw O, Wipat A. Qualitatively modelling and analysing genetic regulatory networks: A Petri net approach. Bioinformatics 2007, 23(3), 336-343.
Hedeler C, Missier P. Quality management challenges in the post-genomic era. In: Zongmin Ma and Jake Chen, ed. Database Modeling in Biology: Practices and Challenges. Norwood, MA: Artech House, 2007, pp.73-96.
Fitzgerald J, Larsen PG, Sahara S. Recent industrial Applications of VDM in Japan. In: BCS-FACS Christmas Workshop: Formal Methods in Industry. 2007, London, UK.
Ogg S, Valli E, D'Alessandro C, Yakovlev A, Al-Hashimi B, Benini L. Reducing interconnect cost in NOC through serialized asynchronous links. In: IEEE Computer Society International Symposium on Networks-on-Chip. 2007, Princeton, NJ: IEEE.
Iliasov A. Refinement patterns for rapid development of dependable systems. In: Proceedings of the Workshop on Engineering Fault Tolerant Systems (EFTS). 2007, Dubrovnik, Croatia: ACM Press.
Shang D, Yakovlev A, Koelmans A, Sokolov D, Bystrov A. Registers for Phase Difference Based Logic. IEEE Transactions on Very Large Scale Integration Systems 2007, 15(6), 720-724.
Missier P, Alper P, Corcho O, Dunlop I, Goble C. Requirements and services for Metadata Management. IEEE Internet Computing 2007, 11(5), 17-25.
Andrews Z, Fitzgerald J, Verhoef M. Resilience Modelling Through Discrete Event and Continuous Time Co-Simulation. In: 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks. 2007, Edinburgh, UK.
Andrews Z, Fitzgerald J, Verhoef M. Resilience Modelling Through Discrete Event and Continuous Time Co-Simulation. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1020.
Andras P, Herald NDJ, Charlton BG. Science production in top 20 UK universities is catching-up with the US universities. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1053.
Chaum D, van der Graaf J, Ryan PYA, Vora P. Secret Ballot Elections with Unconditional Integrity. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1058.
Missier P, Wieder P, Ziegler W. Semantic Support for Meta-Scheduling in Grids. In: Domenico Talia, Angelos Bilas and Marios D. Dikaiakos, ed. Knowledge and Data Management in GRIDs. New York: Springer, 2007, pp.169-183.
Malek M, Reitenspiess M, van Moorsel A, ed. Service Availability: 4th International Service Availability Symposium, (ISAS 2007). Durham, NH, USA. 21-22 May. Berlin: Springer-Verlag, 2007.
Kaiser M, Martin R, Andras P, Young MP. Simulation of robustness against lesions of cortical networks. European Journal of Neuroscience 2007, 25(10), 3185-3192.
Selvarajah K, Tully A. Smartdust and ZigBee for transport applications. In: 1st European ZigBee Developers’ Conference. 2007, Munich, Germany: ZigBee Alliance.
Selvarajah K, Tully A. Smartdust and ZigBee for Transport Applications. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1035.
Choren R, Garcia A, Giese H, Romanovsky A, ed. Software Engineering for Multi-Agent Systems V: Research Issues and Practical Applications. Berlin: Springer-Verlag, 2007.
Pelliccione P, Muccini H, Guelfi N, Romanovsky A, ed. Software Engineering of Fault Tolerant Systems. New Jersey; London: World Scientific Publishing, 2007.
Drummond S, Devlin M. Software Engineering Students’ Cross-site Collaboration: An Experience Report. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 996.
Jones CB. Splitting atoms safely. Theoretical Computer Science 2007, 375(1-3), 109-119.
Koutny M, Pietkiewicz-Koutny M. Synthesis of Elementary Net Systems with Context Arcs and Localities. In: Fundamenta Informaticae: 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (ICATPN 2007). 2007, Siedlce, Poland: IOS Press.
Koutny M, Pietkiewicz-Koutny M. Synthesis of Elementary Net Systems with Context Arcs and Localities. In: 28th International Conference on Petri Nets and Other Models of Concurrency (ICATPN). 2007, Siedlce, Poland: Springer-Verlag.
Koutny M, Pietkiewicz-Koutny M. Synthesis of Elementary Net Systems with Context Arcs and Localities. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1000.
Kray C, Olivier P, Weihong Guo A, Singh P, Ha HN, Blythe P. Taming Context: A Key Challenge in Evaluating the Usability of Ubiquitous Systems. In: Ubiquitous Systems Evaluation (USE'07), Workshop at Ubicomp. 2007, Innsbruck, Austria.
Turi D, Missier P, De Roure D, Goble C, Oinn T. Taverna Workflows: Syntax and Semantics. In: 3rd IEEE International Conference on e-Science and Grid Computing. 2007, Bangalore, India: IEEE.
Smith LS, Austin J, Baker S, Borisyuk R, Eglen S, Feng J, Gurney K, Jackson T, Kaiser M, Overton P, Panzeri S, Quian Quiroga R, Schultz SR, Sernagor E, Smith VA, Smulders TV, Stuart L, Whittington M, Ingram C. The CARMEN e-Science pilot project: Neuroinformatics work packages. In: Proceedings of the UK e-Science All Hands Meeting. 2007, Nottingham, UK: National e-Science Centre.
Watson P, Jackson T, Pitsilis G, Gibson F, Austin J, Fletcher M, Liang B, Lord P. The CARMEN Neuroscience Server. In: Proceedings of the UK e-Science All Hands Meeting. 2007, Nottingham, UK: National e-Science Centre.
Watson P, Jackson T, Pitsilis G, Gibson F, Austin J, Fletcher M, Liang B, Lord P. The CARMEN Neuroscience Server. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1042.
Fitzgerald JS, Jones CB. The Connection between Two Ways of Reasoning about Partial Functions. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1044.
Chen Y, Xia F, Shang D, Yakovlev A. The Design of Virtual Self-timed Block for Activity Communication in SOC. In: 7th International Conference on Application of Concurrency to System Design (ACSD). 2007, Bratislava, Slovakia: IEEE.
Chen Y, Xia F, Shang D, Yakovlev A. The Design of Virtual Self-timed Block for Activity Communication in SOC. In: 7th International Conference on Application of Concurrency to System Design, ACSD 2007. 2007, Bratislava, Slovak Republic: Institute of Electrical and Electronics Engineers.
Wolstencroft K, Alper P, Hull D, Wroe C, Lord PW, Stevens RD, Goble CA. The myGrid ontology: Bioinformatics service discovery. International Journal of Bioinformatics Research and Applications 2007, 3(3), 303-325.
Sugden R, Wilson R. The Myth of GP System of Choice (GPSoC). In: Healthcare Computing (HC). 2007, Harrogate, UK.
Randell B. The national programme for information technology in the UK health service - Dependability challenges and strategies. In: 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks. 2007, Edinburgh, UK: IEEE.
Anderson T, Andrews ZH, Fitzgerald JS, Randell B, Glaser H, Millard IC. The ReSIST Resilience Knowledge Base. In: 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN). 2007, Edinburgh, UK: IEEE Computer Society.
Anderson T, Andrews ZH, Fitzgerald JS, Randell B, Glaser H, Millard IC. The ReSIST Resilience Knowledge Base. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1021.
Cook N, Robinson P, Shrivastava S. The Rigorous Implementation of a Fair Exchange Protocol for Non-repudiable Web Service Interactions - a case study. In: Second International Workshop on Services Engineering (SEIW 2007). In conjunction with the IEEE 23rd International Conference on Data Engineering (ICDE'07). 2007, Istanbul, Turkey: IEEE.
Redmill F, Anderson T, ed. The Safety of Systems: Proceedings of the Fifteenth Safety-critical Systems Symposium, Bristol, UK, 13-15 February 2007. London: Springer, 2007.
Fitzgerald JS. The Typed Logic of Partial Functions and the Vienna Development Method. In: Bjorner, D; Henson, MC, ed. Logics of Specification Languages. Berlin: Springer, 2007, pp.453-487.
Jones CB, Liu Z, Woodcock J, ed. Theoretical Aspects of Computing - ICTAC 2007. 4th International Colloquium, Macao, China, September 26-28, 2007. Berlin: Springer, 2007.
Fitzgerald JS, Larsen PG. Triumphs and Challenges for the Industrial Application of Model-Oriented Formal Methods. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 999.
Aranguren ME, Bechhofer S, Lord P, Sattler U, Stevens R. Understanding and using the meaning of statements in a bio-ontology: Recasting the Gene Ontology in OWL. BMC Bioinformatics 2007, 8(57).
Jones CB. Understanding programming language concepts via operational semantics. In: 4th International Colloquium on Theoretical Aspects of Computing (ITAC 2007): Training School on Domain Modeling and the Duration Calculus. 2007, Shanghai, China: Springer.
Jones CB. Understanding programming language concepts via Operational Semantics. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1046.
Bhargav-Spantzel A, Camenisch J, Gross T, Sommer D. User centricity: A taxonomy and open issues. Journal of Computer Security 2007, 15(5), 493-527.
Devlin M, Drummond S, Hatch A. Using Collaborative Technology in CS Education to facilitate Cross-Site Software Development. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1060.
Stevens R, Lord P, Hull D. Using distributed data and tools in bioinformatics applications. In: Lengauer, T, ed. The Holy Grail: Molecular Function. Weinheim: Wiley, VCH, 2007, pp.1627-1650.
Guo AW, Blythe PT, Olivier P, Singh P, Ha HN. Using Immersive Video to Evaluate Future Traveller Information Systems. In: 14th World Congress on Intelligent Transport Systems and Services. 2007, Beijing.
Bryans J, Fitzgerald J. Validating Access Control Policies for Virtual Organisations. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1054.
Fitzgerald JS, Tjell S, Larsen PG, Verhoef M. Validation support for distributed real-time embedded systems in VDM++. In: Proceedings of IEEE International Symposium on High Assurance Systems Engineering. 2007, Dallas, Texas: IEEE.
Fitzgerald JS, Larsen PG, Tjell S, Verhoef M. Validation Support for Distributed Real-Time Embedded Systems in VDM++. In: Proceedings of the 10th IEEE High Assurance Systems Engineering Symposium (HASE). 2007, Dallas, Texas, USA: IEEE Computer Society.
Fitzgerald JS, Larsen PG, Tjell S, Verhoef M. Validation Support for Distributed Real-Time Embedded Systems in VDM++. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1017.
Fitzgerald JS, Larsen PG, Sahara S. VDMTools: advances in support for formal modeling in VDM. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1057.
Khomenko V, Koutny M. Verification of bounded Petri nets using integer programming. Formal Methods in System Design 2007, 30(2), 143-176.
Freitas L, Mokos K, Woodcock J. Verifying the CICS File Control API with Z/Eves: An Experiment in the Verified Software Repository. In: 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS). 2007, Auckland, New Zealand: IEEE.
Mukherjee A, Watson P. Virtual Machines in DynaSOAr: Creating an on-demand ad-hoc Virtual Grid. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1002.
Mazzucco M, Mitrani I, Palmer J, Fisher M, McKee P. Web Service Hosting and Revenue Maximization. In: Proceedings of the 5th IEEE European Conference on Web Services, ECOWS 07. 2007, Halle, Germany: IEEE.
Mazzucco M, Mitrani I, Palmer J, Fisher M, McKee P. Web Service Hosting and Revenue Maximization. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1047.
Chiola G, Cappello F, Anglano C, Ateniese G, Bourgeois J, Colajanni M, Corradi A, Ezhilchelvan P, Fuhrmann T, Gargano L, Iannello G, Lauria M, Lefevre L, Mancini L, Parashar M, Ruffo G, Wolsky R. Welcome to HotP2P '07. In: 21st International Parallel and Distributed Processing Symposium, IPDPS 2007. 2007, Long Beach, California: IEEE.
Jones CB, Pierce KG. What can the π-calculus tell us about the mondex purse system?. In: Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS. 2007, Auckland: IEEE.
Ezhilchelvan P, Raynal M, Datta A. Workshop on Dependable Application Support for Self-organizing Networks (DASSON 2007). In: Proceedings of the International Conference on Dependable Systems and Networks. 2007, Edinburgh, UK: IEEE Computer Society.
Smith J, Watson P. Wrapper Based Adaptive Management of Concurrent Workflow Executions. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1063.