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: 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
- Mazzara M, Abouzaid F, Dragoni N, Bhattacharyya A. Toward Design, Modelling and Analysis of Dynamic Workflow Reconfiguration: A process Algebra Perspective.
In: Web Services and Formal Methods. Berlin; New York: Springer-Verlag, 2012, pp.64-78. In Press.
- Duan Z, Zhang N, Koutny M. A complete proof system for propositional projection temporal logic .
Theoretical Computer Science 2012, (epub ahead of print).
- Farj K, Chen Y, Speirs NA. A Fault Injection Method for Testing Dependable Web Service Systems.
In: 15th IEEE International Symposium on Object/Component/Service-oriented Real-Time Distributed Computing. 2012, Shenzhen, China: IEEE.
- Fitzgerald JS, Pierce KG, Larsen PG, Verhoef MHG. A Formal Approach to Collaborative Modelling and Co-simulation for Embedded Systems.
Mathematical Structures in Computer Science 2012. In Press.
- Molina-Jimenez C, Shrivastava S, Strano M. A Model for Checking Contractual Compliance of Business Interactions.
IEEE Transactions on Services Computing 2012, (epub ahead of print).
- Nakjang S, Ndeh DA, Wipat A, Bolam DN, Hirt RP. A novel extracellular metallopeptidase domain shared by animal host-associated mutualistic and pathogenic microbes.
PLoS One 2012, 7(1), e30287.
- Frantz RZ, Corchuelo R, Molina-Jimenez C. A proposal to detect errors in Enterprise Application Integration solutions.
Journal of Systems and Software 2012, 85(3), 480-497.
- Missier P, Belhajjame K. A PROV encoding for provenance analysis using deductive rules.
Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2012. School of Computing Science Technical Report Series 1327.
- Steggles LJ. Abstracting Asynchronous Multi-Valued Networks.
Scientific Annals of Computer Science 2012, 21(2), 249-282.
- Banks R, Steggles LJ. An Abstraction Theory for Qualitative Models of Biological Systems.
Theoretical Computer Science 2012, (epub ahead of print).
- Little MC, Shrivastava SK, Wheater SM. Another look at the middleware for dependable distributed computing.
Journal of Internet Services and Applications 2012, 3(1), 95-105.
- Ploetz T, Hammerla N, Rozga A, Reavis A, Call N, Abowd G. Automatic Assessment of Problem Behavior in Individuals with Developmental Disabilities.
In: Proc. Int. Conf. Ubiquitous Computing (UbiComp). 2012. In Press.
- Ploetz T, Chen C, Hammerla N, Abowd G. Automatic Synchronization of Wearable Sensors and Video-Cameras for Ground Truth Annotation – A Practical Approach.
In: 16th Annual International Symposium on Wearable Computing (ISWC). 2012, Newcastle upon Tyne, UK. In Press.
- Weile J, James K, Hallinan J, Cockell SJ, Lord P, Wipat A, Wilkinson DJ. Bayesian integration of networks without gold standards.
Bioinformatics 2012, (epub ahead of print).
- Seedhouse P, Olivier P, Preston A, Jackson D, Heslop P, Wagner J, Ploetz T, Ali S. Can a kitchen teach me French?: Using digital technology to learn French language and cuisine.
Francophonie 2012, 46. In Press.
- El Ahmad A, Yan J, Ng WY. CAPTCHA Design Color, Usability, and Security.
IEEE Internet Computing 2012, 16(2), 44-51.
- Vines J, Blythe M, Dunphy P, Vlachokyriakos V, Teece I, Monk A, Olivier P. Cheque Mates: Participatory Design of Digital Payments with Eighty Somethings.
In: ACM Conference on Human Factors in Computing (CHI'12). 2012, Austin, Texas, USA. In Press.
- Bennett P, Fraser M, Balaam M. ChronoTape: Tangible Timelines For Family History.
In: Sixth International Conference on Tangible, Embedded and Embodied Interaction (TEI). 2012, Kingston, Ontario, Canada: ACM Press.
- Reinecke P, Krauss T, Wolter K. Cluster-based fitting of phase-type distributions to empirical data.
Computers & Mathematics with Application 2012, (epub ahead of print).
- Alekeish K, Ezhilchelvan P. Consensus in Sparse, Mobile Ad-hoc Networks.
IEEE Transactions on Parallel and Distributed Systems 2012, 23(3), 467-474.
- Mihoob A, Molina-Jimenez C, Shrivastava S. Consumer-centric Resource Accounting in the Cloud.
Newcastle upon Tyne: School of Computing Science, University of Newcastle, 2012. School of Computing Science Technical Report Series 1318.
- Ingram C, Riddle S. Cost‐benefits of Traceability.
In: Cleland-Huang, J., Gotel, O., Zisman, A, ed. Software and Systems Traceability. London: Springer, 2012, pp.23-42.
- Kirusnapillai SJ, Arief B, Tully A, Blythe PT. Deploying Wireless Sensor Devices in Intelligent Transportation System Applications, Intelligent Transportation Systems.
In: Abdel-Rahim, A, ed. Intelligent Transportation Systems. Rijeka, Croatia: InTech, 2012, pp.143-168.
- Greathead D, Coventry L, Arief B, van Moorsel A. Deriving Requirements for an Online Community Interaction Scheme: Indications from Older Adults.
In: ACM SIGCHI Conference on Human Factors in Computing Systems (CHI). 2012, Austin, Texas, USA. In Press.
- Kharrufa A, Leat D, Olivier P. Designing for Reflection - A Case Study with Digital Tabletops and Digital Mysteries.
In: Yang, H., Wang, S, ed. Cases on managing e-learning: Development and implementation. IGI Global, 2012. In Press.
- Hooper CJ, Marie N, Kalampokis E. Dissecting the Butterfly: Representation of Disciplines Publishing at the Web Science Conference Series.
In: Web Science. 2012, Evanston, Illinois, USA.
- Smith C, van Moorsel A. Driving Privacy Controls with Social Context.
Newcastle upon Tyne: Newcastle University, 2012. School of Computing Science Technical Report Series 1316.
- Mazzucco M, Mazzara M, Dragoni N. Dynamic Allocation and Admission Policies for QoS-aware Provisioning Systems.
International Journal of Critical Computer-Based Systems 2012. In Press.
- Suresh V, Blythe PT, Hill G, Huebner Y, Robinson A. Effects of Electric Vehicle Deployment on Energy Demand and CO2 Emission.
Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2012. School of Computing Science Technical Report Series 1328.
- Camenisch J, Gross T. Efficient attributes for anonymous credentials.
ACM Transactions on Information and System Security (TISSEC): Special issue on ACM CCS 2008 2012. In Press.
- Al-Dujaily R, Mak T, Xia F, Yakovlev A, Palesi M. Embedded Transitive Closure Networks for Run-Time Deadlock Detection in Networks-on-Chip.
IEEE Transactions on Distributed and Parallel Systems 2012, (epub ahead of print).
- Lindsay S, Britain K, Jackson D, Ladha C, Ladha K, Olivier P. Empathy, Participatory Design and People with Dementia.
In: ACM Conference on Human Factors in Computing (CHI'12). 2012, Austin, Texas, USA. In Press.
- Lindsay S, Brittain K, Jackson D, Ladha C, Ladha K, Olivier P. Empathy, Participatory Design and People with Dementia.
In: Human Factors in Computing Systems (CHI). 2012, Austin, Texas, USA. In Press.
- Wallace J, Thieme A, Wood G, Schofield G, Olivier P. Enabling Self, Intimacy and a Sense of Home in Dementia: An Enquiry into Design in a Hospital Setting.
In: ACM Conference on Human Factors in Computing (CHI'12). 2012, Austin, Texas, USA. In Press.
- Aidarov K, Ezhilchelvan P, Mitrani I. Energy-aware management of customer streams.
Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2012. School of Computing Science Technical Report Series 1330.
- Lindsay S, Jackson D, Schofield G, Olivier P. Engaging Older People through Participatory Design.
In: ACM Conference on Human Factors in Computing (CHI'12). 2012, Austin, Texas, USA. In Press.
- Laibinis L, Troubitsyna E, Iliasov A, Romanovsky A. Formal Approach to Ensuring Interoperability of Mobile Agents.
In: Alencar, P; Cowan. D, ed. Handbook of Research on Mobile Software Engineering: Design Implementation and Emergent Applications. IGI Global, 2012. In Press.
- Hasan S, Boussakta S, Yakovlev A. FPGA-Based Architecture for a Generalized Parallel 2-D MRI Filtering Algorithm.
American Journal of Engineering and Applied Sciences 2012, 4(4), 566-575.
- Moeller A, Roalter L, Diewald S, Kranz M, Hammerla N, Olivier P, Ploetz T. GymSkill: A Personal Trainer for Physical Exercises.
In: International Conference on Pervasive Computing and Communications (PerCom). 2012, Lugano, Switzerland: IEEE. In Press.
- Thomaz E, Ploetz T, Essa I, Abowd G. Hydrostream: A Platform for Collecting, Annotating and Analyzing Water Pressure for Health Applications.
In: Workshop on Personal Informatics in Practice: Improving Quality of Life Through Data (in conjunction with CHI). 2012, Austin, Texas, USA. In Press.
- Mazzara M, Dragoni N, Zhou M. Implementing Workflow Reconfiguration in WS-BPEL.
Journal of Internet Services and Information Security 2012. Submitted.
- Thomaz E, Ploetz T, Essa I, Abowd G. Interactive Techniques for Labeling Activities Of Daily Living to Assist Machine Learning.
In: International Workshop on Interactive Systems in Healthcare. 2012, Austin, Texas, USA.
- Mazzara M, Jones C, Iliasov A. Lessons from DEPLOYment.
Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2012. School of Computing Science Technical Report Series 1309.
- Pykhtina Olga, Balaam M, Pattison S, Wood G, Olivier P. Magic Land: the design and evaluation of an interactive tabletop supporting therapeutic play with children.
In: Designing Interactive Systems (DIS). 2012, Newcastle, UK: ACM Press. In Press.
- Mitrani I. Managing performance and power consumption in a server farm.
Annals of Operations Research 2012, (epub ahead of print).
- Ciobanu G, Koutny M. Modelling and analysis of biological systems.
Theoretical Computer Science 2012, (epub ahead of print).
- Abouzaid F, Mullins J, Mazzara M, Dragoni N. Modelling and Analysis of Dynamic Reconguration in BP-calculus.
In: 1st International Workshop on Trustworthy Multi-Agent Systems (TruMAS). 2012, Dubrovnik, Croatia. In Press.
- Abouzaid F, Mullins J, Mazzara M, Dragoni N. Modelling and Analysis of Dynamic Reconfiguration in BP-calculus.
Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2012. School of Computing Science Technical Report Series 1322.
- Missier P, Randell B, Koutny M. Modelling Provenance using Structured Occurrence Networks.
Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2012. School of Computing Science Technical Report Series 1326.
- Payne R, Bryans J. Modelling the Major Incident Procedure Manual: A System of Systems Case Study.
Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2012. School of Computing Science Technical Report Series 1320.
- Kleijn J, Koutny M. Mutex Causality in Processes and Traces of General Elementary Nets.
Fundamenta Informaticae 2012. In Press.
- Hao F. On Robust Key Agreement Based on Public Key Authentication.
Security and Communication Networks 2012. In Press.
- Moeller A, Hammerla N, Ploetz T, Roalter L, Diewald S, Olivier P, Kranz M. Physical Mobile Physical Exercises: Individualized Skill Assessment Using Mobile Interaction Devices.
Pervasive and Mobile Computing 2012. In Press.
- Kleijn K, Koutny M, Rozenberg G. Qualitative and Quantitative Aspects of a Model for Processes Inspired by the Functioning of the Living Cell.
In: Katz, E, ed. Biomolecular Information Processing: From Logic Systems to Smart Sensors and Actuators. Wiley-VCH, 2012. In Press.
- Vines J, Blythe M, Lindsay S, Dunphy P, Monk A, Olivier P. Questionable Concepts: Critique as Resource for Designing with Eighty Somethings.
In: ACM Conference on Human Factors in Computing (CHI'12). 2012, Austin, Texas, USA. In Press.
- Goulding D, Smith R, Clark L, Ushaw G, Morgan G. Real-time ambient occlusion on the Playstation 3.
Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2012. School of Computing Science Technical Report Series 1319.
- Yu B, Mak T, Li X, Xia F, Yakovlev A, Sun Y, Poon C. Real-Time FPGA-Based Multichannel Spike Sorting Using Hebbian Eigenfilters.
IEEE Journal on Emerging and Selected Topics in Circuits and Systems (JETCAS) 2012, 1(4), 502-515.
- Thomaz E, Bettadapura V, Reyes G, Sandesh M, Schindler G, Ploetz T, Abowd G, Essa I. Recognizing Water-Based Activities in the Home Through Infrastructure-Mediated Sensing.
In: Proc. Int. Conf. Ubiquitous Computing (UbiComp). 2012. In Press.
- Hayes IJ, Jones CB, Colvin RJ. Refining rely-guarantee thinking.
Formal Aspects of Computing 2012. Submitted.
- Hayes IJ, Jones CB, Colvin RJ. Refining rely-guarantee thinking. Formal Aspects of Computing.
Formal Aspects of Computing 2012. Submitted.
- Kleijn J, Koutny M, Pietkiewicz-Koutny M. Regions of Petri Nets with a/sync Connections.
Theoretical Computer Science 2012. In Press.
- 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, 2012. School of Computing Science Technical Report Series 1324.
- Hao F, Clarke D. Security Analysis of a Multi-Factor Authenticated Key Exchange Protocol.
Newcastle upon Tyne: Newcastle University, 2012. School of Computing Science Technical Report Series 1312.
- Hao F, Randell B, Clarke D. Self-Enforcing Electronic Voting.
In: Security Protocols Workshop 12. 2012, Cambridge: Springer Verlag. In Press.
- Bartindale T, Sheikh A, Taylor N, Wright P, Olivier P. StoryCrate: Tabletop Storyboarding for Live Film Production.
In: ACM Conference on Human Factors in Computing (CHI'12). 2012, Austin, Texas, USA.
- Bell S, Howard A, Wilson JA, Abbot EL, Smith WD, Townes CL, Hirst BH, Hall J. Streptococcus pyogenes infection of tonsil explants is associated with a human B-defensin 1 response from control but not recurrent acute tonsillitis patients.
Molecular Oral Microbiology 2012, 27(3), 160-171.
- Taylor N, Cheverst K. Supporting Community Awareness with Interactive Displays.
IEEE Computer 2012, 45(5), 26-32.
- Comber R, Weeden J, Hoare J, Lindsay S, Teal G, Macdonald A, Methven L, Moynihan P, Olivier P. Supporting visual assessment of food and nutrient intake in a clinical care setting.
In: ACM Conference on Human Factors in Computing (CHI'12). 2012, Austin, Texas, USA. In Press.
- Koutny M, Pietkiewicz-Koutny M. Synthesis of General Petri Nets with Localities.
In: Recent Advances in Petri Nets and Concurrency (RAPNeC-2010). 2012, Braga, Portugal: CEUR Workshop Proceedings.
- Koutny M, Pietkiewicz-Koutny M. Synthesis Problem for Petri Nets with Localities.
In: Jensen,K; Donatelli,S; Kleijn,J, ed. Transactions on Petri Nets and Other Models of Concurrency V. Heidelberg: Springer, 2012, pp.160-180.
- Hooper C, Preston A, Balaam M, Seedhouse P, Jackson D, Pham C, Ladha Cassim, Ladha Karim, Ploetz T, Olivier P. The French Kitchen: Task-Based Learning in an Instrumented Kitchen.
In: Proc. Int. Conf. Ubiquitous Computing (UbiComp). 2012. In Press.
- Vines J, Dunphy P, Blythe M, Lindsay S, Monk A, Olivier P. The Joy of Cheques: Trust, Paper and Eighty Somethings.
In: ACM Conference on Computer Supported Cooperative Work (CSCW'12). 2012, Seattle, Washington, USA.
- Zhao R, Selvarajah K, Speirs NA. Tools for Building Context Aware and Secure Pervasive Computing Applications.
In: 2nd International Conference on Pervasive and Embedded Computing and Communication Systems. 2012, Rome, Italy. In Press.
- Gmehlich R, Grau K, Jackson M, Jones C, Loesch F, Mazzara M. Towards a Formalism-Based Toolkit for Automotive Applications.
Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2012. School of Computing Science Technical Report Series 1317.
- Jones CB, Lovert MJ, Steggles LJ. Towards a Mechanisation of a Logic that Copes with Partial Terms.
Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2012. School of Computing Science Technical Report Series 1314.
- Jones CB, Lovert MJ, Steggles LJ. Towards a mechanisation of a logic that copes with partial terms.
Acta Informatica 2012. Submitted.
- Xia F, Mokhov A, Zhou Y, Chen Y, Mitrani I, Shang D, Sokolov D, Yakovlev A. Towards power-elastic systems through concurrency management.
IET Computers and Digital Techniques 2012, 6(1), 33-42.
- Mitrani I. Trading Power Consumption Against Performance by Reserving Blocks of Servers.
Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2012.
- Jones CB. Turing's "Checking a Large Routine".
In: Cooper, S.B., van Leeuven, J, ed. Alan Turing - His Work and Impact. London: Elsevier, 2012. In Press.
- Ingram C, Riddle S. Using Early Stage Project Data to Predict Change-Proneness.
Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2012. School of Computing Science Technical Report Series 1321.
- Balaam M. Using Technology Probes to Understand Educational Design Spaces.
In: Luckin, R., Goodyear, P., Grabowski, B., Winters, N, ed. Handbook of Design in Educational Technology. Routledge, 2012. In Press.
- Taylor N, Marshall J, Blum-Ross A, Mills J, Rogers J, Egglestone P, Frohlich D, Wright P, Olivier P. Viewpoint: Empowering Communities with Situated Voting Devices.
In: ACM Conference on Human Factors in Computing (CHI'12). 2012, Austin, Texas, USA.
- Thieme A, Comber R, Miebach J, Weeden J, Kraemer N, Lawson S, Olivier P. We've Bin Watching You - Designing for Reflection and Social Persuasion to Promote Sustainable Lifestyles.
In: ACM Conference on Human Factors in Computing (CHI'12). 2012, Austin, Texas, USA. In Press.
- Phithakkitnukoon S, Leong TW, Smoreda Z, Olivier P. Weather Effects on Mobile Social Interaction: A case study of mobile phone users in Lisbon, Portugal.
Newcastle upon Tyne: Newcastle University, 2012. School of Computing Science Technical Report Series 1315.
- Hooper CJ, Dix A. Web Science and Human-Computer Interaction: When Disciplines Collide.
In: Web Science. 2012, Evanston, Illinois, USA. In Press.