Newcastle University

Publications

The School of Computing Science was originally founded in 1957 as the Computing Laboratory and has published thousands of publications. At that time Newcastle University was part of Durham University and known as King's College. In 1963 King's College became the University of Newcastle upon Tyne, and in 1992 the Computing Laboratory became the Department of Computing Science.

Year: 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 2002 2001 2000 1999 1998 1997 1996 1995 1994 1993 1992 1991 1990 1989 1988 1987 1986 1985 1984 1983 1982 1981 1980 1979 1978 1977 1976 1975 1974 1973 1972 1971 1970 1969 1968 1967 1966 1965 1964 1963 1962 1961 1960 1958

• Dickmann L, Volkmann G, Malaka R, Boll S, Krüger A, Olivier P, ed. 11th International Symposium on Smart Graphics (SG), Bremen, Germany, 18-20 July 2011. Berlin; New York: Springer, 2011.
• Abouzaid F, Bhattacharyya A, Dragoni N, Fitzgerald JS, Mazzara M, Zhou M. A Case Study of Workflow Reconfiguration: Design, Modelling, Analysis and Implementation. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1265.
• Randell B. A Computer Perspective. ACM Inroads 2011, 2(3), 28-29.
• Lythgow KT, Hudson G, Andras P, Chinnery PF. A critical analysis of the combined usage of protein localization prediction methods: Increasing the number of independent data sets can reduce the accuracy of predicted mitochondrial localization. Mitochondrion 2011, 11(3), 444-449.
• Velykiene R, Jones CB. A Fast Track Analysis of ICT Constraints on Evolving Physical Infrastructure. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1282.
• Farj K, Speirs N, Chen Y. A Fault Injection Method for Testing Dependable Web Service Systems. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1263.
• Kim K, Thomas N. A fitting method with generalized Erlang distributions and its matrix interpretation. Simulation Modelling Practice and Theory 2011, 19(7), 1507-1517.
• Fitzgerald JS, Larsen PG, Pierce KG, Verhoef MHG. A Formal Approach to Collaborative Modelling and Co-simulation for Embedded Systems. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1264.
• Merad S, DeLemos R, Anderson T. A Game Theoretic Solution for the Optimal Selection of Services. In: Valeria Cardellini;Emiliano Casalicchio;Kalinka Regina Lucas Jaquie Castelo Branco;Júlio Cezar Estrella;Francisco José Monaco, ed. Performance and Dependability in Service Computing: Concepts, Techniques and Research Directions. IGI Global, 2011, pp.172-188.
• Abdelsadiq A, Molina-Jimenez C, Shrivastava S. A High–Level Model–Checking Tool for Verifying Electronic Contracts. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1279.
• Abdelsadiq A, Molina-Jimenez C, Shrivastava SK. A High–Level Model–Checking Tool for Verifying Service Agreements. In: The 6th IEEE International Symposium on Service-Oriented System Engineering (SOSE 2011). 2011, Irvine, CA: IEEE Computer Society.
• Li F, Pienkowski D, van Moorsel A, Smith C. A Holistic Framework for Trust in Online Transactions. International Journal of Management Reviews 2011, 13(2), 218–235.
• Sharp C, Morgan G. A Many Systems Interpretation of Concurrency Control. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1299.
• Watson P. A Multi-Level Security Model for Partitioning Workflows over Federated Clouds. Newcastle upon Tyne: Newcastle University, 2011. School of Computing Science Technical Report Series 1271.
• Watson P. A Multi-Level Security Model for PartitioningWorkflows over Federated Clouds. In: Third International Conference on Cloud Computing Technology and Science (CloudCom). 2011, Athens, Greece: IEEE.
• Zhang X, Shang D, Xia F, Yakovlev A. A Novel Power Delivery Method for Asynchronous Loads in Energy Harvesting Systems. ACM Journal on Emerging Technologies in Computing Systems (JETC) 2011, 7(4), 16.1-16.22.
• Zhang XF, Shang DL, Xia F, Yakovlev A. A Novel Power Delivery Method for Asynchronous Loads in Energy Harvesting Systems. In: 17TH IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC). 2011, Ithaca, New York, USA: IEEE.
• Zhao Y, Thomas N. A Simplified Solution of a PEPA Model of Kerberos Protocol. In: 2011 International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery (CyberC). 2011, Beijing, China: IEEE Computer Society.
• Kaiser M. A tutorial in connectome analysis: Topological and spatial features of brain networks. NeuroImage 2011, 57(3), 892-907.
• Bleikertz S, Gross T. A Virtualization Assurance Language for Isolation and Deployment. In: International Symposium on Policies for Distributed Systems and Networks (POLICY). 2011, Pisa, Italy: IEEE.
• Hook J, Green D, McCarthy J, Taylor S, Wright P, Olivier P. A VJ Centered Exploration of Expressive Interaction. In: 29th Annual International Conference on Human Factors in Computing Systems (CHI). 2011, Vancouver, British Columbia, Canada: ACM Press.
• Steggles LJ. Abstracting Asynchronous Multi-Valued Networks: An Initial Investigation. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1269.
• Gross T, Karjoth G. Access control in data processing systems. US, US13/077,881, 31 March 2011.
• Woodman S, Hiden H, Watson P, Missier P. Achieving Reproducibility by Combining Provenance with Service and Workflow Versioning. In: 6th Workshop on Workflows in Support of Large-Scale Science. 2011, Seattle, Washington, USA: ACM Digital Library.
• Ploetz T, Moynihan P, Pham C, Olivier P. Activity Recognition and Healthier Food Preparation. In: Chen, L., Nugent, C.D., Biswas, J., Hoey, J, ed. Activity Recognition in Pervasive Intelligent Environments. Amsterdam, Netherlands: Atlantis Press, 2011, pp.313-339.
• Abdullah R, Christie M, Schofield G, Lino C, Olivier P. Advanced Composition in Virtual Camera Control. In: International Symposium on Smart Graphics (SG'11). 2011, Bremen, Germany: Springer.
• Abdullah R, Christie M, Schofield G, Lino C, Olivier P. Advanced Composition in Virtual Camera Control. In: Smart Graphics: 11th International Symposium on Smart Graphics. 2011, Bremen, Germany: Springer.
• Dale C, Anderson T, ed. Advances in Systems Safety: Proceedings of the Nineteenth Safety-Critical Systems Symposium, Southampton, UK, 8-10th February 2011. London: Springer, 2011.
• Mokhov A, Khomenko V, Alekseyev A, Yakovlev A. Algebra of Parametrised Graphs. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1307.
• Khomenko V, Mokhov A. An Algorithm for Direct Construction of Complete Merged Processes. In: 32nd International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS). 2011, Newcastle upon Tyne, UK: Springer Verlag.
• Molina-Jimenez C, Shrivastava SK, Wheater SM. An Architecture for Negotiation and Enforcement of Resource Usage Policies. In: IEEE International Conference on Service Oriented Computing & Applications (SOCA). 2011, Irvine, California, USA: IEEE.
• Riddle S, Keshlaf AAA. An Empirical Study of Web and Distributed Software Risks from Three Perspectives: Project, Process and Product. In: Sixth International Conference on Internet Monitoring and Protection. 2011, St Maarten, The Netherlands Antilles.
• Younes O, Thomas N. An SRN Model of the IEEE 802.11 DCF MAC Protocol in Multi-Hop Ad Hoc Networks with Hidden Nodes. The Computer Journal 2011, 54(6), 875-893.
• Wang YC, Komuravelli A, Zuliani P, Clarke EM. Analog circuit verification by statistical model checking. In: 16th Asia and South Pacific Design Automation Conference (ASP-DAC). 2011, Yokohama, JAPAN: IEEE.
• Thomas N, Bradley J. Analysis of Non-product Form Parallel Queues Using Markovian Process Algebra. In: Kouvatsos, D, ed. Handbook on Convergent Multi-Service Networks and Next Generation Internet. Berlin; New York: Springer, 2011, pp.331-342.
• McGough AS, Gerrard C, Noble J, Robinson P, Wheater S. Analysis of Power-Saving Techniques over a large multi-use Cluster. In: International Conference on Cloud and Green Computing (CGC2011). 2011, Sydney, Australia: IEEE.
• Younes O, Thomas N. Analysis of the Expected Number of Hops in Mobile Ad Hoc Networks with Random Waypoint Mobility. Electronic Notes in Theoretical Computer Science 2011, 275, 143-158.
• Bichsel P, Camenisch J, Gross T, Shoup V. Anonymous Credentials on Java Card. In: 21st Fraunhofer SIT-Smartcard Workshop. 2011, Darmstadt, Germany: Fraunhofer Verlag.
• Weatherhead S, Farr P, Swan D, Jamieson D, Hallinan J, Lloyd J, Wipat A, Reynolds N. Apoptosis of keratinocytes is a key mechanism in UVB-induced clearance of psoriasis. In: 41st Annual Meeting of the European Society for Dermatological Research. 2011, Barcelona, Spain: Nature Publishing Group.
• Larsen PG, Fitzgerald JS, Wolff S. Are Formal Methods Ready for Agility? A Reality Check. In: FM + AM 2010: Second International Workshop on Formal Methods and Agile Methods. 2011, Pisa (Italy): Bonner Köllen Verlag.
• Hammerla N, Ploetz T, Andras P, Olivier P. Assessing Motor Performance with PCA. In: International Workshop on Frontiers in Activity Recognition using Pervasive Sensing (in conjunction with Pervasive). 2011, San Francisco, California, USA.
• Bleikertz S, Gross T, Schunter M, Eriksson K. Automated Information Flow Analysis of Virtualized Infrastructures. In: 16th European Symposium on Research in Computer Security (ESORICS). 2011, Leuven, Belgium: Springer.
• Bleikertz S, Gross T, Mödersheim S. Automated Verification of Virtualized Infrastructures. In: 3rd ACM Workshop on Cloud Computing Security Workshop (CCSW). 2011, Chicago, Illinois, USA: ACM Press.
• Kolluru B, Nakjang S, Hirt RP, Wipat A, Ananiadou S. Automatic extraction of microorganisms and their habitats from free text using text mining workflows. Journal of Integrative Bioinformatics 2011, 8(2), 184.
• Echtermeyer C, Costa LD, Rodrigues FA, Kaiser M. Automatic Network Fingerprinting through Single-Node Motifs. PLoS ONE 2011, 6(1), e15765.
• Durrant A, Rowland D, Kirk D, Benford S, Fischer J, McAuley D. Automics: Souvenir Generating Photoware for Theme Parks. In: Proceedings of the Annual Conference on Human Factors in Computing Systems (CHI '11). 2011, Vancouver, British Colombia, Canada: ACM Press.
• Misirli G, Hallinan JS, Pocock M, Cockell SJ, Weile J, Wipat A. BacillOndex: An Integrated Data Resource for Systems and Synthetic Biology. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1237.
• Selvarajah K, Zhao R, Speirs NA. Building Smart Space Applications with PErvasive Computing in Embedded Systems (PECES) Middleware. Global Science and Technology Forum: Journal on Computing 2011, 1(4), 22.
• Yan J, El Ahmad AS. Captcha Robustness: A Security Engineering Perspective. Computer 2011, 44(2), 54-60.
• Kleijn J, Koutny M. Causality in Extensions of Petri Nets. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1294.
• Kleijn J, Koutny M. Causality in Structured Occurrence Nets. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1290.
• Kleijn J, Koutny M. Causality in Structured Occurrence Nets. In: Jones, C.B., Lloyd, J.L, ed. Dependable and Historic Computing. Berlin and New York: Springer, 2011, pp.283-297.
• Kleijn J, Koutny M, Pietkiewicz-Koutny M, Rozenberg G. Classifying Boolean Nets for Region-based Synthesis. In: ART-2011, Applications of Region Theory. 2011, Newcastle upon Tyne: CEUR-WS, RWTH Aachen University.
• Watson P, Leahy D, Cala J, Sykora V, Hiden H, Woodman S, Taylor M, Searson D. Cloud Computing for Chemical Activity Prediction. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1242.
• Mühlberg JT, Freitas L. Combining formal methods and testing: A case study on FreeRTOS. In: 11th International Conference on Software QA and Testing on Embedded Systems (QA&Test). 2011, Bilbao, Spain: SQS, Software Quality Systems.
• Hayes IJ, Burns A, Dongol B, Jones CB. Comparing Models of Nondeterministic Expression Evaluation. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1273.
• Thomas N, ed. Computer Performance Engineering - 8th European Performance Engineering Workshop, EPEW 2011, Borrowdale, UK, October 12-13, 2011. Proceedings. Berlin, Germany: Springer, 2011.
• Mihoob A, Molina-Jimenez C, Shrivastava S. Consumer Side Resource Accounting in the Cloud. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1259.
• Mihoob A, Molina-Jimenez C, Shrivastava S. Consumer Side Resource Accounting in the Cloud. In: Building the e-World Ecosystem: 11th IFIP Conference on e-Business, e-Services, e-Society (I3E). 2011, Kaunas, Lithuania: Springer.
• Payne RJ, Fitzgerald JS. Contract-Based Interface Specification Language for Functional and Non-Functional Properties. Newcastle University: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1250.
• Courtot M, Juty N, Knupfer C, Waltemath D, Zhukova A, Drager A, Dumontier M, Finney A, Golebiewski M, Hastings J, Hoops S, Keating S, Kell DB, Kerrien S, Lawson J, Lister A, Lu J, Machne R, Mendes P, Pocock M, Rodriguez N, Villeger A, Wilkinson DJ, Wimalaratne S, Laibe C, Hucka M, LeNovere N. Controlled vocabularies and semantics in systems biology. Molecular Systems Biology 2011, 7, 543.
• Courtot M, Juty N, Knupfer C, Waltemath D, Zhukova A, Drager A, Dumontier M, Finney A, Golebiewski M, Hastings J, Hoops S, Keating S, Kell DB, Kerrien S, Lawson J, Lister A, Lu J, Machne R, Mendes P, Pocock M, Rodriguez N, Villeger A, Wilkinson DJ, Wimalaratne S, Laibe C, Hucka M, Le Novere N. Controlled vocabularies and semantics in systems biology. Molecular Systems Biology 2011, 7, 543.
• Stahl F, Parkin SE, van Moorsel A. Cooperative Information Security Knowledge: Content Validation and incentives to contribute. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1241.
• van der Vlugt S, Kleijn J, Koutny M. Coverability and Inhibitor Arcs: an example. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1293.
• McNaney R, Lindsay S, Ladha K, Ladha C, Schofield G, Ploetz T, Hammerla N, Jackson D, Walker R, Miller N, Olivier P. Cueing for drooling in Parkinson's disease. In: 29th Annual CHI Conference on Human Factors in Computing Systems (CHI). 2011, Vancouver, Canada: ACM Press.
• Weile J, Pocock M, Cockell SJ, Lord P, Dewar JM, Wilkinson D, Lydall D, Hallinan J, Wipat A. Customisable views on a semantically integrated network for systems biology. Bioinformatics 2011, 27(9), 1299-1306.
• Gamble C, Riddle S. Dependability Explicit Metadata: Experimental Results and Research Issues. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1249.
• Gamble C, Riddle S. Dependability Explicit Metadata: Extended Report on Properties, Policies and Exemplary Application to Case Studies. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1248.
• Jones CB, Lloyd JL, ed. Dependable and Historic Computing: Essays Dedicated to Brian Randell on the Occasion of his 75th Birthday. Berlin: Springer, 2011.
• Taylor R, Schofield G, Shearer J, Wallace J, Wright P, Boulanger P, Olivier P. Designing from within: humanaquarium. In: 29th Annual Conference on Human Factors in Computing Systems (CHI). 2011, Vancouver, British Columbia, Canada: ACM, New York, NY, USA.
• Bryans JW. Developing a Consensus Algorithm using Stepwise Refinement. In: 13th International Conference on Formal Engeneering Methods. 2011, Durham, UK: Springer.
• Bryans JW. Developing a Consensus Algorithm Using Stepwise Refinement. In: Formal Methods and Software Engineering: 13th International Conference on Formal Engineering Methods (ICFEM). 2011, Durham, UK: Springer.
• Woodman S, Hiden H, Watston P, Cala J. Developing Applications using the e-Science Central API. In: UK e-Science All Hands Meeting. 2011, York.
• Thomson RG, Beyer F, Colquhoun J, Critchley J, Eccles M, Faye M, Lambert M, van Moorsel A, Penn L, Prentice M, Sugden B, Wood V. Development and usability testing of a shared decision support tool for cardiovascular risk reduction in primary care. In: 6th International Shared Decision Making Conference. 2011, Maastricht, Netherlands.
• Zhao R, Selvarajah K, Speirs NA. Development Tools for Pervasive Computing in Embedded Systems (PECES) Middle ware. In: International Conference on Wireless Information Networks and Systems (WINSYS). 2011, Seville, Spain.
• van Moorsel A, Emms M, Rendall G, Arief B. Digital Strategy for the Social Inclusion of Survivors of Domestic Violence. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1277.
• Suresh V, Ezhilchelvan P, Watson P, Pham C, Jackson D, Olivier P. Distributed Event Processing For Activity Recognition. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1258.
• Suresh V, Ezhilchelvan P, Watson P, Pham C, Jackson D, Olivier P. Distributed event processing for activity recognition. In: DEBS '11 Proceedings of the 5th ACM international conference on Distributed event-based system. 2011, New York, NY, USA: ACM.
• Woodman S, Hiden H, Watson P, Cala J. Drug Design Experiments in the Cloud. In: Microsoft e-Science Workshop. 2011, Stockholm, Sweden: Microsoft.
• Kenwright B, Davison R, Morgan G. Dynamic Balancing and Walking for Real-Time 3D Characters. In: Motion in Games: 4th International Conference (MIG). 2011, Edinburgh, UK: Springer.
• Pakhira A, Andras P. Dynamic network analysis of software systems. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1239.
• Mak T, Al-Dujaily R, Zhou K, Meng Y, Yakovlev A, Poon CS. Dynamic Programming Networks for Large-Scale 3D Chip Integration. IEEE Circuits and Systems Magazine 2011, 11(3), 51.
• Camenisch J, Gross T, Heydt-Benjamin TS. Efficient Tight Interval Proofs with Camenisch-Gross Encoding. Zurich, Switzerland: IBM Research Division, 2011. IBM Research Report RZ3800.
• Vines J, Blythe M, Dunphy P, Monk A. Eighty something: banking for the older old. In: 25th BCS Conference on Human-Computer Interaction (BCS-HCI 2011). 2011, Newcastle upon Tyne, UK: British Computer Society.
• Jones CB, Pierce KG. Elucidating concurrent algorithms via layers of abstraction and reification. Formal Aspects of Computing 2011, 23(3), 289-306.
• Mokhov A, Alekseyev A, Yakovlev A. Encoding of processor instruction sets with explicit concurrency control. IET Computers and Digital Techniques 2011, 5(6), 427-439.
• Balaam M, Fitzpatrick G, Good J, Harris E. Enhancing interactional synchrony with an ambient display. In: Annual Conference on Human Factors in Computing Systems (CHI '11). 2011, Vancouver, British Colombia, Canada: ACM Press.
• Varier S, Kaiser M, Forsyth R. Establishing, versus Maintaining, Brain Function: A Neuro-computational Model of Cortical Reorganization after Injury to the Immature Brain. Journal of the International Neuropsychological Society 2011, 17(6), 1030-1038.
• Kaiser M, Varier S. Evolution and development of Brain Networks: From Caenorhabditis elegans to Homo sapiens. Network : computation in neural systems 2011, 22(1-4), 143-147.
• Zhao J, Sahoo S, Missier P, Sheth A, Goble C. Extending semantic provenance into the web of data. IEEE Internet Computing 2011, 15(1), 40-48.
• Ploetz T, Hammerla N, Olivier P. Feature Learning for Activity Recognition in Ubiquitous Computing. In: International Joint Conference on Artificial Intelligence (IJCAI'11). 2011, Barcelona, Spain: AAAI Press.
• Thomas N, Bradley J, Knottenbelt W, Kounev S, Huber N, Brosig F. Fifth International Workshop on the Practical Application of Stochastic Modelling. Electronic Notes in Theoretical Computer Science 2011, 275, 1-3.
• Mokhov A, Khomenko V, Yakovlev A. Flat Arbiters. Fundamenta Informaticae 2011, 108(1-2), 63-90.
• Gong H, Zuliani P, Wang Q, Clarke EM. Formal analysis for logical models of pancreatic cancer. In: 50th IEEE Conference of Decision and Control (CDC)/European Control Conference (ECC). 2011, Orlando, FL: IEEE.
• Iliasov A, Laibinis L, Troubitsyna E, Romanovsky A. Formal Derivation of a Distributed Program in Event B. In: 13th International Conference on Formal Engineering Methods (ICFEM). 2011, Durham, UK: Springer.
• Iliasov A, Laibinis L, Troubitsyna E, Romanovsky A. Formal Derivation of a Distributed Program in Event B. In: 13th International Conference on Formal Engineering Methods. 2011, Durham, UK: Springer.
• Grotsev D, Iliasov A, Romanovsky A. Formal Stepwise Development of Scalable and Reliable Multiagent Systems. In: Petre, L; Sere, K; Troubitsyna, E, ed. Dependability and Computer Engineering: Concepts for Software-Intensive Systems. Hershey, PA: IGI Global, 2011, pp.58-74.
• Chang H, Lawless C, Addinall SG, Oexle S, Taschuk M, Wipat A, Wilkinson DJ, Lydall D. Genome-Wide Analysis to Identify Pathways Affecting Telomere-Initiated Senescence in Budding Yeast. G3: Genes, Genomes, Genetics 2011, 1(3), 197-208.
• Missier P, Ludäscher B, Dey S, Wang M, McPhillips T, Bowers S, Agun M, Altintas I. Golden-Trail: Retrieving the Data History that Matters from a Comprehensive Provenance Repository. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1300.
• Tuddenham P, Kirk DS, Izadi S. Graspables revisited: Multi-Touch vs. Tangible Input for Tabletop Displays in Acquisition and Manipulation Tasks. In: 28th International Conference on Human Factors in Computing Systems. 2011, Atlanta, Georgia, USA: ACM Press.
• Moeller A, Scherr J, Roalter L, Diewald S, Kranz M, Hammerla N, Ploetz T, Olivier P. GymSkill: Mobile Exercise Skill Assessment to Support Personal Health and Fitness. In: International Conference on Pervasive Computing (Pervasive). 2011, San Francisco, California, USA.
• Apabhai S, Gorman GS, Sutton L, Elson JL, Ploetz T, Turnbull DM, Trenell MI. Habitual Physical Activity in Mitochondrial Disease. PLoS One 2011, 6(7), e22294.
• Phillips C, Devlin M. Helping Students Understand Programming through Active Learning. In: Tenth International Workshop on Active Learning in Engineering Education. 2011, Santiago, Chile: Escuela de Ingenieria Universidad de Chile.
• Krüger A, Schöning J, Olivier P. How Computing Will Change the Face of Retail. IEEE Computer 2011, 44(4), 84-87.
• Hao F, Ryan PYA. How to Sync with Alice. In: Security Protocols XIX : 19th International Workshop, Cambridge, UK, March 28-30, 2011, Revised Selected Papers. 2011, Heidelberg, Berlin, Germany: Springer-Verlag.
• Hao F. How to Sync with Alice (Transcript of Discussion). In: Security Protocols XIX : 19th International Workshop, Cambridge, UK, March 28-30, 2011, Revised Selected Papers. 2011, Heidelberg, Berlin, Germany: Springer-Verlag.
• Taylor R, Schofield G, Shearer S, Wallace J, Wright P, Boulanger P, Olivier P. humanaquarium: exploring audience, participation, and interaction. In: ACM Conference on Human Factors in Computing (CH'11). 2011, Vancouver, British Columbia, Canda: ACM Press.
• Al-Azawi S, Boussakta S, Yakovlev A. Image Compression Algorithms Using Intensity Based Adaptive Quantization Coding. American Journal of Engineering and Applied Sciences 2011, 4(4), 504-512.
• Alekseyev A, Khomenko V, Mokhov A, Wist D, Yakovlev A. Improved parallel composition of labelled Petri nets. In: 11th International Conference on Application of Concurrency to System Design (ACSD). 2011, Kanazawa, Japan: IEEE.
• Baz A, Shang DL, Xia F, Yakovlev A, Bystrov A. Improving the Robustness of Self-timed SRAM to Variable Vdds. In: Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation: 21st International Workshop (PATMOS). 2011, Madrid, Spain: Springer.
• Missier P. Incremental workflow improvement through analysis of its data provenance. In: 3rd USENIX Workshop on the Theory and Practice of Provenance (TaPP). 2011, Heraklion, Crete, Greece: CEUR.
• Payne RJ, Fitzgerald JS. Interface Contracts for Architectural Specification and Assessment: a SysML Extension. In: Workshop on Dependable Systems of Systems. 2011, York, UK.
• Duan Z, Klaudel H, Koutny M. ITL Semantics of Composite Petri Nets. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1296.
• Cockell S, Lord P. Kcite - A tool for producing citations and bibliographies in WordPress posts. [program]. Knowledgeblog project, 2011.
• Weatherhead SC, Farr PM, Jamieson D, Hallinan JS, Lloyd JL, Wipat A, Reynolds NJ. Keratinocyte Apoptosis in Epidermal Remodeling and Clearance of Psoriasis Induced by UV Radiation. Journal of Investigative Dermatology 2011, 131(9), 1916-1926.
• McCullagh P, Nugent CD, Zheng H, Zhang S, Huang Y, Davies RJ, Black ND, Wright P, Hawley M, Eccleston C, Mawson SJ, Mountain GA. Knowledge capture for self management of long-term conditions. In: 1st International Congress on Telehealth and Telecare 2011. 2011, London: King's Fund & University Medical Center Utrecht (UMC).
• Solaiman K, Morgan G. Later Validation/Earlier Write: Concurrency Control for Resource-Constrained Systems with Real-Time Properties. In: IEEE 30th Symposium on Reliable Distributed Systems Workshops. 2011, Madrid, Spain: IEEE.
• Lord P. Latextowordpress. [program]. WordPress, 2011.
• Seedhouse P, Ali S, Jackson D, Ploetz T, Olivier P. Learning French in a Digital Kitchen. In: International Conference of the European Association on Computer-Assisted Language Learning. 2011, Nottingham, UK.
• Ingram C, Riddle S. Linking Software Design Metrics to Component Change-Proneness. In: 2nd International Workshop on Emerging Trends in Software Metrics (WeTSOM 2011). 2011, Honolulu, Hawaii, USA: ACM Press.
• Ingram C, Riddle S. Linking Software Design Metrics to Component Change-Proneness. Newcastle upon Tyne: School of Computing Science, The University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1257.
• Ingram C, Riddle S. Linking software design metrics to component change-proneness. In: 2nd International Workshop on Emerging Trends in Software Metrics (WeTSOM 2011) at IEEE International Conference on Software Engineering (ICSE). 2011, Honolulu, Hawaii: ACM Press.
• Kleijn J, Koutny M. Localities in Systems with a/sync Communication. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1285.
• Khomenko V. Logic Decomposition of Asynchronous Circuits Using STG Unfoldings. In: 17th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC). 2011, Cornell University, Ithaca, New York, USA: IEEE.
• Thieme A, Wallace J, Thomas J, Kraemer N, Olivier P. Lovers’ Box: Designing for Reflection within Romantic Relationships. International Journal of Human-Computer Studies 2011, 69(5), 283-297.
• Al-Azawi S, Boussakta S, Yakovlev A. Low complexity image compression algorithm using AMBTC and bit plane squeezing. In: 7th IEEE International Workshop on Systems, Signal Processing and their Applications (WOSSPA). 2011, Tipaza, Algeria: IEEE.
• Shedabale S, Russell G, Yakovlev A. M-PRES: a statistical tool for modelling the impact of manufacturing process variations on circuit-level performance parameters. IET Circuits, Devices and Systems Series 2011, 5(5), 403-410.
• Ploetz T, Fink G. Markov Models for Handwriting Recognition. London, UK: Springer, 2011.
• Cockell SJ, Lord PW. Mathjax-Latex Wordpress Plugin. [program]. WordPress, 2011.
• Massimi M, Odom W, Banks R, Kirk D. Matters of Life and Death: Locating the End of Life in Lifespan-Oriented HCI Research. In: Annual Conference on Human Factors in Computing Systems (CHI '11). 2011, Vancouver, British Colombia, Canada: ACM Press.
• Zhao Y, Thomas N. Mean value analysis for a class of PEPA models. The Computer Journal 2011, 54(5), 643-652.
• Chen Y, Gorbenko A, Kharchenko V, Romanovsky A. Measuring and Dealing with the Uncertainty of SOA Solutions. In: Cardellini, V; Casalicchio, E; Branco, K; Estrella, J; Monaco, F, ed. Performance and Dependability in Service Computing: Concepts, Techniques and Research Directions. Pennsylvania, USA: IGI Global, 2011, pp.265-294.
• Kleijn J, Koutny M. Membrane Systems with Qualitative Evolution Rules. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1287.
• Kleijn J, Koutny M. Membrane Systems with Qualitative Evolution Rules. Fundamenta Informaticae 2011, 110(1-4), 217-230.
• Quinn TA, Granite S, Allessie MA, Antzelevitch C, Bollensdorff C, Bub G, Burton RAB, Cerbai E, Chen PS, Delmar M, DiFrancesco D, Earm YE, Efimov IR, Egger M, Entcheva E, Fink M, Fischmeister R, Franz MR, Garny A, Giles WR, Hannes T, Harding SE, Hunter PJ, Iribe G, Jalife J, Johnson CR, Kass RS, Kodama I, Koren G, Lord P, Markhasin VS, Matsuoka S, McCulloch AD, Mirams GR, Morley GE, Nattel S, Noble D, Olesen SP, Panfilov AV, Trayanova NA, Ravens U, Richard S, Rosenbaum DS, Rudy Y, Sachs F, Sachse FB, Saint DA, Schotten U, Solovyova O, Taggart P, Tung L, Varro A, Volders PG, Wang K, Weiss JN, Wettwer E, White E, Wilders R, Winslow RL, Kohl P. Minimum Information about a Cardiac Electrophysiology Experiment (MICEE): Standardised reporting for model reproducibility, interoperability, and data sharing. Progress in Biophysics & Molecular Biology 2011, 107(1), 4-10.
• Courtot M, Gibson F, Lister AL, Malone J, Schober D, Brinkman RR, Ruttenberg A. MIREOT: The minimum information to reference an external ontology term. Applied Ontology 2011, 6(1), 23-33.
• Misirli G, Hallinan JS, Yu T, Lawson JR, Wimalaratne SM, Cooling MT, Wipat A. Model annotation for synthetic biology: automating model to nucleotide sequence conversion. Bioinformatics 2011, 27(7), 973-979.
• Gong H, Zuliani P, Clarke EM. Model checking of a diabetes-cancer model. In: International Symposium on Computational Models for Life Sciences (CMLS-11). 2011, Toyama City, Japan: AIP.
• Campos JC, Harrison MD. Modelling and analysing the interactive behaviour of an infusion pump. In: Fourth International Workshop on Formal Methods for Interactive Systems 2011. 2011, European Association of Software Science and Technology (E A S S T).
• Andrews Z, Bryans J, Fitzgerald J, Hughes J, Payne R, Pierce K, Riddle S. Modelling and Refinement of the MONDEX Electronic Purse in VDM. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1308.
• Pierce KG, Fitzgerald JS, Gamble C. Modelling Faults and Fault Tolerance Mechanisms in a Paper Pinch Co- model. In: ERCIM/EWICS/Cyber-physical Systems Workshop at SafeComp. 2011, Naples, Italy.
• Andras P. Modelling living systems. In: Proceedings of the 10th European Conference on Artificial Life - ECAL 2009, LNCS 5778. 2011, Budapest, Hungary.
• Kleijn J, Koutny M, Rozenberg G. Modelling Reaction Systems with Petri Nets. Newcastle upon Tyne: School of Computing Science, Newcastle University, 2011. School of Computing Science Technical Report Series 1244.
• Kleijn J, Koutny M, Rozenberg G. Modelling Reaction Systems with Petri Nets. In: BioPPN-2011, 2nd International Workshop on Biological Processes & Petri Nets. 2011, Newcastle upon Tyne: CEUR-WS, RWTH Aachen University.
• Balaam M, Rennick-Egglestone S, Fitzpatrick G, Rodden T, Hughes A, Wilkinson A, Nind T, Axelrod L, Harris E, Ricketts I, Mawson S, Burridge J. Motivating Mobility: Designing for Lived Motivation in Stroke Rehabilitation. In: Annual Conference on Human Factors in Computing Systems (CHI '11). 2011, Vancouver, British Colombia, Canada: ACM Press.
• James K, Lycett SJ, Wipat A, Hallinan JS. Multiple Gold Standards Address Bias in Functional Network Integration. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1302.
• Leong TW, Wright P. Music in Households in the Digital Economy. In: Digital Engagement. 2011, Newcastle upon Tyne.
• Kleijn J, Koutny M. Mutex Causality in Processes and Traces of General Elementary Nets. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1286.
• Monk A, Jackson D, Nielsen D, Jefferies E, Olivier P. N-backer: An auditory n-back task with automatic scoring of spoken responses. Behavior Research Methods 2011, 43(3), 888-896.
• Ezhilchelvan P. Near Certain Multicast Delivery Guarantees Amidst Perturbations in Computer Clusters. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1267.
• Hallinan JS, James K, Wipat A. Network Approaches to the Functional Analysis of Microbial Proteins. Advances in Microbial Physiology 2011, 59, 101-133.
• Andras P. Networks of artificial social interactions. In: Proceedings of the 10th European Conference on Artificial Life - ECAL 2009, LNCS 5778. 2011, Budapest, Hungary.
• Varier S, Kaiser M. Neural Development Features: Spatio-Temporal Development of the Caenorhabditis elegans Neuronal Network. PLOS Computational Biology 2011, 70(1), e1001044.
• Randell B. Occurrence Nets Then and Now: The Path to Structured Occurrence Nets. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1243.
• Randell B. Occurrence Nets Then and Now: The Path to Structured Occurrence Nets. In: Application and Theory of Petri Nets. 2011, Newcastle upon Tyne, UK: Springer-Verlag.
• Hao F. On Robust Key Agreement Based on Public Key Authentication. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1266.
• Stein W, Städele C, Andras P. Optical imaging of neurons in the crab stomatogastric ganglion with voltage-sensitive dyes. Journal of Visualized Experiments 2011, 49, 5.
• Hasan S, Boussakta S, Yakovlev A. Parameterized FPGA-based architecture for parallel 1-D filtering algorithms . In: 7th IEEE International Workshop on Systems, Signal Processing and their Applications (WOSSPA). 2011, Tipaza, Algeria: IEEE.
• Lopatkin I, Iliasov A, Romanovsky A, Prokhorova Y, Troubitsyna E. Patterns for Representing FMEA in Formal Specification of Control Systems. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1261.
• Lopatkin I, Iliasov A, Romanovsky A, Prokhorova Y, Troubitsyna Y. Patterns for Representing FMEA in Formal Specification of Control Systems. In: 13th IEEE International Symposium on High-Assurance Systems Engineering, HASE 2011. 2011, Boca Raton, Florida, USA: IEEE.
• Chen X, Thomas N, Harrison M. Performance Evaluation of Scheduling Policies in a Smart Hospital Environment. In: International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery, CyberC. 2011, Beijing, China: IEEE.
• Ciobanu G, Koutny M. PerTiMo: A Model of Spatial Migration with Safe Access Permissions. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1303.
• Kleijn J, Koutny M, Rozenberg G. Petri Nets for Biologically Motivated Computing. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1284.
• Kleijn J, Koutny M, Rozenberg G. Petri Nets for Biologically Motivated Computing. Scientific Annals of Computer Science 2011, 21, 199-225.
• Newton JL, Pairman J, Hallsworth K, Moore S, Ploetz T, Trenell MI. Physical activity intensity but not sedentary activity is reduced in chronic fatigue syndrome and is associated with autonomic regulation. QJM 2011, 104(8), 681-687.
• Lindsay S, Thieme A, Olivier P. Physical, Cognitive and Contextual - the Gulf between Older People and Designers Experiences. In: 29th Annual CHI Conference on Human Factors in Computing Systems (CHI). 2011, Vancouver, British Colombia, Canada: ACM Press.
• Emms M, vanMoorsel A. Practical Attack on Contactless Payment Cards. In: HCI 2011 Health Wealth and Happiness. 2011.
• Madalinski A, Khomenko V. Predictability Verification with Parallel LTL-X Model Checking Based on Petri Net Unfoldings. School of Computing Science, Newcastle University, 2011. CS-TR-1276. Submitted.
• Madalinski A, Khomenko V. Predictability Verification with Parallel LTL-X Model Checking Based on Petri Net Unfoldings. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1276.
• Bendisposto J, Jones C, Leuschel M, Romanovsky A, (eds). Proceedings of the 11th International Workshop on Automated Verification of Critical Systems. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1272.
• Bhargav-Spantzel A, Gross T, ed. Proceedings of the 7th ACM Workshop on Digital Identity Management. New York, USA: ACM Press, 2011.
• Harrison P, Thomas N. Product-Form Solution in PEPA via the Reversed Process. In: Kouvatsos, D, ed. Network Performance Engineering: A Handbook on Convergent Multi-Service Networks and Next Generation Internet. Berlin; New York: Springer-Verlag, 2011, pp.343-356.
• Ehrenfeucht A, Kleijn J, Koutny M, Rozenberg G. Qualitative and Quantitative Aspects of a Model for Processes Inspired by the Functioning of the Living Cell. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1305.
• Zeng W, van Moorsel A. Quantitative Evaluation of Enterprise DRM Technology. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1238.
• Addinall SG, Holstein EM, Lawless C, Yu M, Chapman K, Banks AP, Ngo HP, Maringele L, Taschuk M, Young A, Ciesiolka A, Lister AL, Wipat A, Wilkinson DJ, Lydall D. Quantitative Fitness Analysis Shows That NMD Proteins and Many Other Protein Complexes Suppress or Enhance Distinct Telomere Cap Defects. PLoS Genetics 2011, 7(4), e1001362.
• Hoey J, Ploetz T, Jackson D, Monk A, Pham C, Olivier P. Rapid specification and automated generation of prompting systems to assist people with dementia. Pervasive and Mobile Computing 2011, 7(3), 299-318.
• Kenwirght B, Davison R, Morgan G. Real-Time Deformable Soft-Body Simulation using Distributed Mass-Spring Approximations. In: The Third International Conference on Creative Content Technologies (CONTENT). 2011, Rome, Italy: IARIA.
• Bryans J, Fitzgerald JS, McCutcheon T. Refinement-based Techniques in the Analysis of Information Flow Policies for Dynamic Virtual Organisations. In: 12th IFIP Working Conference on Virtual Enterprises. 2011, Sao Paulo, Brazil: Springer.
• Bryans JW, Fitzgerald JS, McCutcheon T. Refinement-Based Techniques in the Analysis of Information Flow Policies for Dynamic Virtual Organisations. In: 12th IFIP WG 5.5 Working Conference on Virtual Enterprises (PRO-VE): Adaptation and value creating collaborative networks. 2011, Sao Paulo, Brazil: Springer.
• Kleijn J, Koutny M, Pietkiewicz-Koutny M. Regions of Petri Nets with a/sync Connections. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1297.
• Ehrenfeucht A, Kleijn J, Koutny M, Rozenberg G. Relevance of Entities in Reaction Systems. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1295.
• Romanovsky A, Vardanega T, ed. Reliable Software Technologies - Ada-Europe 2011. Proceedings of the 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Netherlands: Springer, 2011.
• Andras P. Research: metrics, quality, and management implications. Research Evaluation 2011, 20(2), 90-106.
• Lopatkin I, Iliasov A, Romanovsky A. Rigorous Development of Dependable Systems using Fault Tolerance Views. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1234.
• Lopatkin I, Iliasov A, Romanovsky A. Rigorous Development of Dependable Systems using Fault Tolerance Views. In: 22nd IEEE International Symposium on Software Reliability Engineering (ISSRE). 2011, Hiroshima, Japan: IEEE.
• Al-Dujaily R, Mak T, Xia F, Yakovlev A, Palesi M. Run-Time Deadlock Detection in Networks-on-Chip Using Coupled Transitive Closure Networks. In: Design, Automation and Test in Europe (DATE). 2011, Grenoble, France.
• Taylor N, Cheverst K. Rural Communities and Pervasive Advertising. In: Müller, J., Alt, F., Michelis, D, ed. Pervasive Advertising. Berlin: Springer, 2011, pp.269-286.
• Suresh V, Ezhilchelvan P, Watson P. Scalable and Responsive Event Processing in the Cloud. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1251.
• Hamhoum F, Kray C. Scalable Navigation Support for Crowds: Personalized Guidance via Augmented Signage. In: 10th International Conference on Spatial Information Theory (COSIT 2011). 2011, Belfast, ME: Springer.
• Burns F, Bystrov A, Koelmans A, Yakovlev A. Security Evaluation of Balanced 1-of-n Circuits. IEEE Transactions on VLSI Systems 2011, 19(11), 2135-2139.
• Walker DW, Atkinson MP, Brooke JM, Watson P. Selected papers from the 2010 e-Science All Hands Meeting PREFACE. Philosophical Transactions of the Royal Society of London A: Mathematical, Physical and Engineering Sciences 2011, 369(1949), 3251-3253.
• Baz A, Shang D, Xia F, Yakovlev A. Self-timed SRAM for Energy Harvesting Systems. Journal of Low Power Electronics 2011, 7(2), 274-284.
• Jones CB, Lovert MJ. Semantic Models for a Logic of Partial Functions. International Journal of Software and Informatics 2011, 5(1-2, part I), 55-76.
• Phithakkitnukoon S, Olivier P. Sensing Urban Social Geography Using Online Social Networking Data. In: International AAAI Conference on Weblogs and Social Media (ICWSM'11). 2011, Barcelona, Spain.
• Ploetz T, Pham C, Olivier P. Sensor-Based Actor Identification in the Kitchen. In: Workshop on Frontiers in Activity Recognition using Pervasive Sensing, Pervasive Computing. 2011, San Francisco, California, USA.
• Mitrani I. Service center trade-offs between customer impatience and power consumption. Performance Evaluation 2011, 68(11), 1222-1231.
• Bury S, Cheverst K, Ishmael J, Mitchell K, Race NJP, Rouncefield M, Smith P, Taylor N. Service Design, New Media and Community Development. In: Meroni, A., Sangiorgi, D, ed. Design for Services. Farnham: Gower, 2011, pp.125-130.
• Colquhoun J, Devlin M, Marshall L. SHAPE your CLASS: Improving the Lecture Experience. In: Learning & Teaching Research Conference (CLTR). 2011, Ormskirk, Lancashire.
• Curcin V, Missier P, De Roure D. Simulating Taverna workflows using stochastic process algebras. Concurrency and Computation: Practice & Experience 2011, 23(16), 1920-1935.
• Stein W, Städele C, Andras P. Single-sweep voltage sensitive dye imaging of interacting identified neurons. Journal of Neuroscience Methods 2011, 194(2), 224-234.
• Phithakkitnukoon S, Smoreda Z, Olivier P. Socio-geography of Human Mobility: A study using longitudinal mobile phone data. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1283.
• Halak B, Yakovlev A. Statistical analysis of crosstalk-induced errors for on-chip interconnects. IET Computers and Digital Techniques 2011, 5(2), 104-112.
• Clarke EM, Zuliani P. Statistical model checking for cyber-physical systems. In: 9th International Symposium on Automated Technology for Verification and Analysis (ATVA). 2011, Taipei, Taiwan: Springer-Verlag Berlin.
• Kleijn J, Koutny M, Pietkiewicz-Koutny M, Rozenberg G. Step Semantics of Boolean Nets. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1298.
• Stadler LKJ, Hoffmann T, Tomlinson DC, Song Q, Lee T, Busby M, Nyathi Y, Gendra E, Tiede C, Flanagan K, Cockell SJ, Wipat A, Harwood C, Wagner SD, Knowles MA, Davis JJ, Keegan N, KoFerrigno P. Structure-function studies of an engineered scaffold protein derived from Stefin A. II: Development and applications of the SQT variant. Protein Engineering Design and Selection 2011, 24(9), 751-763.
• Zhou J, Ashouei M, Kinniment D, Huisken J, Russell G, Yakovlev A. Sub-threshold Synchronizer. Microelectronics Journal 2011, 42(6), 840-850.
• Bartindale T, Harrison C, Olivier P, Hudson SE. SurfaceMouse: supplementing multi-touch interaction with a virtual mouse. In: Proceedings of the Fifth International Conference on Tangible, Embedded, and Embodied Interaction (TEI). 2011, Funchal, Madeira, Portugal: ACM Press.
• Gong H, Wang Q, Zuliani P, Faeder JR, Lotze MT, Clarke EM. Symbolic model checking of signaling pathways in pancreatic cancer. In: 3rd International Conference on Bioinformatics and Computational Biology, BICoB-2011. 2011, New Orleans, Louisiana, USA: ISCA.
• Koutny M, Pietkiewicz-Koutny M. Synthesis Problem for Petri Nets with Localities. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1288.
• Mace JC, van Moorsel A, Watson P. The Case for Dynamic Security Solutions in Public Cloud Workflow Deployments. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1246.
• Little MC, Shrivastava SK. The Evolution of the Arjuna Transaction Processing System. In: Jones, C.B., Lloyd, J.L, ed. Dependable and Historic Computing. Berlin; New York: Springer-Verlag, 2011, pp.323-343.
• Kleijn J, Koutny M. The Mutex Paradigm of Concurrency. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1289.
• Kleijn J, Koutny M. The Mutex Paradigm of Concurrency. In: Applications and Theory of Petri Nets: 32nd International Conference, PETRI NETS 2011. 2011, Newcastle upon Tyne: Springer.
• Moreau L, Clifford B, Freire J, Futrelle J, Gil Y, Groth P, Kwasnikowska N, Miles S, Missier P, Myers J, Plale B, Simmhan Y, Stephan E, Van den Bussche J. The Open Provenance Model Core Specification (v1.1). Future Generation Computer Systems 2011, 27(6), 743-756.
• Watson P, Hiden H, Woodman S, Leahy D, Cala J, Missier P. The Panel of Experts Cloud Pattern. In: Proceedings of the third international workshop on Cloud data management (CloudDB). 2011, Glasgow, Scotland: ACM.
• Gaver W, Boucher A, Bowers J, Blythe M, Jarvis N, Cameron D, Kerridge T, Wilkie A, Phillips R, Wright P. The Photostroller: Supporting Diverse Care Home Residents in Engaging with the World. In: Proceedings of the Annual Conference on Human Factors in Computing Systems (CHI). 2011, Vancouver, British Columbia, Canada: ACM Press.
• Mazzara M, Antonio M, Biselli L, Chiarabini L. The Polidoxa Shift: a New Approach to Social Networks. Journal of Internet Services and Information Security 2011, 1(4), 74-88.
• El Ahmad AS, Yan J, Tayara M. The Robustness of Google CAPTCHAs. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1278.
• Ciobanu G, Koutny M. Timed Migration and Interaction with Access Permissions. In: Formal Methods: 17th International Symposium on Formal Methods. 2011, Limerick, Ireland: Springer.
• Ciobanu G, Koutny M. Timed Migration and Interaction with Access Permissions. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1291.
• Ciobanu G, Koutny M. Timed Mobility in process algebra and Petri nets. Journal of Logic and Algebraic Programming 2011, 80(7), 377-391.
• Ciobanu G, Koutny M. Timed Mobility in Process Algebra and Petri Nets. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1292.
• Wagner J, van Halteren A, Hoonhout J, Ploetz T, Pham C, Moynihan P, Jackson D, Ladha C, Ladha K, Olivier P. Towards a pervasive kitchen infrastructure for measuring cooking competence. In: International Conference on Pervasive Computing Technologies for Healthcare (PervasiveHealth'11). 2011, Dublin, Ireland: IEEE.
• Luo JW, Mak T, Yu B, Andras P, Yakovlev A. Towards neuro-silicon interface using reconfigurable dynamic clamping. In: Conference of the IEEE Engineering in Medicine and Biology Society. 2011, Boston, Massachusetts, USA: IEEE.
• Bryans J, Koutny M, Mu C. Towards Quantitative Analysis of Opacity. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1304.
• Arief B, Greathead D, Coventry L, van Moorsel A. Towards the Implementation of an Internet-based Neighbourhood Watch Scheme: Impacts of Inclusive Technologies on Societies. In: Third International Conference on Computational Aspects of Social Networks (CASoN). 2011, Salamanca, Spain: IEEE.
• Gorbenko A, Kharchenko V, Tarasyuk O, Romanovsky A. Using Diversity in Cloud-Based Deployment Environment to Avoid Intrusions. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1262.
• Gorbenko A, Kharchenko V, Tarasyuk O, Romanovsky A. Using Diversity in Cloud-Based Deployment Environment to Avoid Intrusions. In: Third International Workshop on Software Engineering for Resilient Systems (SERENE). 2011, Geneva, Switzerland: Springer.
• Pakhira A, Andras P. Validation of Network Analysis Methods Applied in the Context of Dynamic Analysis of Software Systems. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1240.
• Low HS, Shang DL, Xia F, Yakovlev A. Variation Tolerant Asynchronous FPGA. In: 19th Annual ACM International Symposium on Field-Programmable Gate Arrays. 2011, Monterey, California, USA: Association for Computing Machinery.
• Low HS, Shang DL, Xia F, Yakovlev A. Variation Tolerant Asynchronous FPGA. In: 17th International Symposium on Asynchronous Circuits and Systems (ASYNC). 2011, Ithaca, NY, USA: Institution of Electronic and Electrical Engineers.
• Gross T, Mödersheim S. Vertical Protocol Composition. In: 24th Computer Security Foundations Symposium (CSF). 2011, Cernay-la-Ville, France: IEEE.
• Gross T, Mödersheim S. Vertical Protocol Composition (Extended Version). Zurich, Switzerland: IBM Research Division, 2011. IBM Research Report RZ3803.
• Roggen D, Magnenat S, Waibel M, Troster G. Wearable Computing: designing and sharing activity-recognition systems across platforms. IEEE Robotics and Automation Magazine 2011, 18(2), 83-95.
• Ploetz T, Pham C, Olivier P. Who is Cooking? Sensor-Based Actor Identification in the Kitchen. In: International Workshop on Frontiers in Activity Recognition using Pervasive Sensing (in conjunction with Pervasive). 2011, San Francisco, California, USA.
• Missier P, Goble C. Workflows to Open Provenance Graphs, round-trip. Future Generation Computer Systems 2011, 27(6), 812-819.