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
- Duan Z, Zhang N, Koutny M. A complete proof system for propositional projection temporal logic .
Theoretical Computer Science 2013, (epub ahead of print).
- 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 2013. In Press.
- Wongthai W, Liberal Rocha F, van Moorsel A. A Generic Logging Template for Infrastructure as a Service Cloud.
Newcastle upon Tyne: Newcastle University, 2013. School of Computing Science Technical Report Series 1367.
- Andras P, Pakhira A, Moreno L, Marcus A. A measure to assess the behavior of method stereotypes in object-oriented software.
In: 4th International Workshop on Emerging Trends in Software Metrics - WeTSOM 2013. 2013, San Francisco, US: ACM. In Press.
- Lopatkin I, Romanovsky A. A Method for Rigorous Development of Fault-Tolerant Systems.
Newcastle upon Tyne: Newcastle University, 2013. School of Computing Science Technical Report Series 1374.
- Holt J, Perry S, Bryans J, Payne R, Hansen F, Hallerstede S. A Model-based Approach for Requirements Engineering for System of Systems.
IEEE Systems Journal 2013. Submitted.
- Solaiman K, Brook M, Ushaw G, Morgan G. A Read-Write-Validate Approach to Optimistic Concurrency Control for Energy Efficiency of Resource Constrained Systems.
In: The 9th IEEE International Wireless Communications & Mobile Computing Conference (IWCMC 2013). 2013, Calgari, Italy: IEEE. Submitted.
- Ciobanu G, Koutny M, Steggles LJ. A Timed Mobility Semantics Based on Rewriting Strategies.
In: Software Engineering and Formal Methods (SEFM'10). 2013, Thessaloniki, Greece: Springer.
- Nicholson J, Coventry L, Briggs P. Age-Related Performance Issues for PIN and Face-Based Authentication Systems.
In: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems (CHI 2013). 2013, Paris, France: ACM.
- MolinaJimenez C, Shrivastava S, Wheater S. An Architecture for Negotiation and Enforcement of Resource Usage Policies.
Newcastle University, 2013. School of Computing Science Technical Report Series 1381.
- Ushaw G, Ziogas E, Eyre J, Morgan G. An Efficient Application of Gesture Recognition from a 2D Camera for Rehabilitation of Patients with Impaired Dexterity.
Newcaslte upon Tyne: Newcastle University, 2013. School of Computing Science Technical Report Series 1368.
- Ushaw G, Ziogas E, Eyre J, Morgan G. An Efficient Application of Gesture Recognition from a 2D Camera for Rehabilitation of Patients with Impaired Dexterity.
In: 6th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2013). 2013, Barcelona, Spain: INSTICC.
- Blewitt W, Ushaw G, Morgan G. Applicability of GPGPU Computing to Real-Time AI Solutions in Games.
IEEE Transactions on Computational Intelligence and AI in Games 2013. Submitted.
- Bettadapura V, Schindler G, Ploetz T, Essa I. Augmenting Bag-of-Words: Data-Driven Discovery of Temporal and Structural Information for Activity Recognition.
In: 26th IEEE Conference on Computer Vision and Pattern Recognition (CVPR 2013). 2013. In Press.
- Denton SJ, Trenell MI, Ploetz T, Savory LA, Bailey DP, Kerr CJ. Cardiorespiratory fitness is associated with hard and light intensity physical activity but not time spent sedentary in 10-14 year old schoolchildren: the HAPPY study.
PLoS One 2013, 8(4), e61073.
- Janicki R, Kleijn J, Koutny M, Mikulski L. Causal Structures for General Concurrent Behaviours.
Newcastle upon Tyne: Newcastle University, 2013. School of Computing Science Technical Report Series 1378.
- Hayes IJ, Burns A, Dongol B, Jones CB. Comparing Degrees of Non-Determinism in Expression Evaluation.
The Computer Journal 2013, (epub ahead of print).
- Golubcovs S, Shang DL, Xia F, Mokhov A, Yakovlev A. Concurrent Multiresource Arbiter: Design and Applications.
IEEE Transactions on Computers 2013, 62(1), 31-44.
- Mihoob A, Molina-Jimenez C, Shrivastava S. Consumer-centric resource accounting in the cloud.
Journal of Internet Services and Applications 2013, 4, 8.
- Clarke D, Hao F. Cryptanalysis of the Dragonfly Key Exchange Protocol.
Newcaslte upon Tyne: Newcastle University, 2013. School of Computing Science Technical Report Series 1370.
- Missier P, Dey S, Belhajjame K, Cuevas-Vicenttin V, Ludaescher B. D-PROV: extending the PROV provenance model with workflow structure.
Newcastle University, 2013. School of Computing Science Technical Report Series 1375.
- 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 E-learning Management: Development and Implementation. Information Science Reference: Hershey, Pennsylvania, USA, 2013, pp.268-293.
- Hiden H, Woodman S, Watson P, Cala J. Developing cloud applications using the e-science central platform.
Royal Society of London. Philosophical Transactions A. Mathematical, Physical and Engineering Sciences 2013, 371(1983), 20120085.
- Iliasov A, Troubitsyna E, Laibinis L, Romanovsky A, Varpaaniemi K, Ilic D, Latvala T. Developing mode-rich satellite software by refinement in Event-B.
Science of Computer Programming 2013, 78(7), 884-905.
- Clarke R, Wright P, Balaam M, McCarthy J. Digital Portraits: Photo-sharing After Domestic Violence.
In: CHI'13 Proceedings of the 31st SIGCHI Conference on Human Factors in Computing Systems. 2013, Paris, France: Association for Computing Machinery (ACM) Press. In Press.
- Mazzucco M, Mazzara M, Dragoni N. Dynamic Allocation and Admission Policies for QoS-aware Provisioning Systems.
International Journal of Critical Computer-Based Systems 2013. In Press.
- Abouzamazem A, Ezhilchelvan P. Efficient Inter-Cloud Replication for High-Availability Services.
In: IEEE International Conference on Cloud Engineering. 2013, San Francisco, California, USA: IEEE Press. In Press.
- MolinaJimenez C, Shrivastava S. Establishing Conformance Between Contracts and Choreographies.
Newcastle University, 2013. School of Computing Science Technical Report Series 1383.
- Ghmehlich R, Jones C. Experience of Deployment in the Automotive Industry.
In: Romanovsky, A; Thomas, M, ed. Industrial Deployment of System Engineering Methods. Springer Verlag, 2013. In Press.
- Andrews Z, Fitzgerald J, Payne R, Romanovsky A. Fault Modelling for Systems of Systems.
In: 11th International Symposium on Autonomous Decentralized Systems (ISADS 2013). 2013, Mexico City, Mexico: IEEE.
- Comber R, Hoonhout J, van Halteren A, Moynihan P, Olivier P. Food Practices as Situated Action: Exploring and designing for everyday food practices with households.
In: 31st International Conference on Human Factors in Computing Systems (CHI '13). 2013, Paris, France: ACM Press. In Press.
- Sharp C, Morgan G. Hugh: A Semantically Aware Universal Construction for Transactional Memory Systems.
In: Euro-Par 2013. 2013, Aachen, Germany: Spinger. Submitted.
- Mazzara M, Dragoni N, Zhou M. Implementing Workflow Reconfiguration in WS-BPEL.
Journal of Internet Services and Information Security 2013. Submitted.
- Randell B. Incremental Construction of Structured Occurrence Nets.
Newcastle University, 2013. School of Computing Science Technical Report Series 1384.
- Klaudel H, Koutny M, Duan Z. Interval Temporal Logic Semantics of Box Algebra.
Newcastle upon Tyne: Newcastle University, 2013. School of Computing Science Technical Report Series 1373.
- Duan Z, Klaudel H, Koutny M. ITL semantics of composite Petri nets.
The Journal of Logic and Algebraic Programming 2013, 82(2), 95-110.
- Taylor N, Cheverst K, Wright P, Olivier P. Leaving the Wild: Lessons from Community Technology Handovers.
In: ACM SIGCHI Conference on Human Factors in Computing Systems (CHI 2013). 2013, Paris, France: ACM. In Press.
- Mikulski L, Piatkowski M, Smyczynski S. Lexicographical Generations of Combined Traces.
Newcastle upon Tyne: Newcastle University, 2013. School of Computing Science Technical Report Series 1365.
- Mitrani I. Managing performance and power consumption in a server farm.
Annals of Operations Research 2013, 202(1), 121-134.
- Gong H, Zuliani P, Clarke EM. Model checking of a synchronous diabetes-cancer logical network.
Current Bioinformatics 2013. In Press.
- Andrews Z, Payne R, Romanovsky A, Didier A, Mota A. Model-based development of fault tolerant systems of systems.
In: 2013 IEEE International Systems Conference (SysCon 2013). 2013, Orlando, FL: IEEE. In Press.
- Bertens L, Kleijn J, Hille S, Koutny M, Heiner M, Verbeek F. Modeling biological gradient formation: combining partial differential equations and Petri nets.
Newcastle upon Tyne: Newcastle University, 2013. School of Computing Science Technical Report Series 1379.
- Kleijn J, Koutny M. Mutex Causality in Processes and Traces of General Elementary Nets.
Fundamenta Informaticae 2013, 122(1-2), 119-146.
- Comber R, Barden P, Bryan-Kinns N, Olivier P. Not Sharing Sushi: Exploring social presence and connectedness at the Telematic Dinner Party.
In: Choi, J.H., Foth, M., Hearn, G, ed. Eat, Cook, Grow: Mixing Human-Computer Interactions with Human-Food Interactions. Cambridge, Massachusetts, USA: MIT Press, 2013. In Press.
- Jones CB, Freitas L, Velykis A. Ours is to Reason Why.
LNCS 2013. In Press.
- Memarovic N, Langheinrich M, Cheverst K, Taylor N, Alt F. P-LAYERS — a layered framework addressing the multi-faceted issues facing community-supporting public display deployments.
ACM Transactions on Computer–Human Interaction 2013. In Press.
- Moore SA, Hallsworth K, Ploetz T, Ford GA, Rochester L, Trenell MI. Physical activity, sedentary behaviour and metabolic control following stroke: A cross-sectional and longitudinal study.
PLoS One 2013, 8(1), e55263.
- Miu T, Missier P. Predicting the Execution Time of Workflow Blocks Based on Their Input Features.
Newcastle upon Tyne: Newcastle University, 2013. School of Computing Science Technical Report Series 1372.
- Missier P, Bryans J, Danger R, Curcin V. Preserving privacy in shared provenance data.
Newcastle upon Tyne: Newcastle University, 2013. School of Computing Science Technical Report Series 1366.
- Missier P, Woodman S, Hiden H, Watson P. Provenance and data differencing for workflow reproducibility analysis.
Concurrency and Computation: Practice & Experience 2013. In Press.
- Hayes IJ, Jones CB, Colvin RJ. Refining rely-guarantee thinking.
Formal Aspects of Computing 2013. Submitted.
- Harrison MD, Campos JC, Masci P. Reusing models and properties in the analysis of similar interactive devices.
Innovations in Systems and Software Engineering 2013, (epub ahead of print).
- Emms M, Arief B, Little N, van Moorsel A. Risks of Offline Verify PIN on Contactless Cards.
In: 17th International Conference on Financial Cryptography and Data Security. 2013, Okinawa, Japan. In Press.
- Emms M, Arief B, Little N, vanMoorsel A. Risks of Offline Verify PIN on Contactless Cards.
Newcastle University, 2013. School of Computing Science Technical Report Series 1369.
- Suresh V, Ezhilchelvan P, Watson P. Scalable and responsive event processing in the cloud.
Philosophical Transactions of the Royal Society A. Mathematical, Physical & Engineering Sciences 2013, 371(1983), 20120095.
- Brook M, Sharp C, Morgan G. Semantically Aware Contention Management for Distributed Applications.
In: 13th International IFIP Conference on Distributed Applications and Interoperable Systems (DAIS'13). 2013, Florence, Italy. Submitted.
- Payne R, Bryans J, Holt J, Perry S. Semi-Formal and Formal Interface Specification for System of Systems Architecture.
In: IEEE Systems Conference. 2013. In Press.
- Bryans J, Payne R, Holt J, Perry S. Semi-Formal and Formal Interface Specification for System of Systems Architecture.
Newcastle University, 2013. School of Computing Science Technical Report Series 1371.
- O'Dea R, Crofts JJ, Kaiser M. Spreading dynamics on spatially constrained complex brain networks.
Journal of the Royal Society Interface 2013, 10(81), 20130016.
- O'Dea R, Crofts JJ, Kaiser M. Spreading dynamics on spatially constrained complex brain networks.
Journal of the Royal Society: Interface 2013, 10(81), 20130016.
- Kleijn J, Koutny M, Pietkiewicz-Koutny M, Rozenberg G. Step semantics of boolean nets.
Acta Informatica 2013, 50(1), 15-39.
- Mokhov A, Iliasov A, Sokolov D, Rykunov M, Yakovlev A, Romanovsky A. Synthesis of Processor Instruction Sets from High-Level ISA Specifications.
IEEE Transactions on Computers 2013, (epub ahead of print).
- Kharrufa A, Balaam M, Heslop P, Leat D, Dolan P, Olivier P. Tables in the Wild: Lessons Learned from a Large-Scale Multi-Tabletop Deployment.
In: 31st International Conference on Human Factors in Computing Systems (CHI '13). 2013, Paris, France. In Press.
- Seedhouse P, Preston A, Olivier P, Jackson D, Heslop P, Plötz T, Balaam M, Ali S. The French Digital Kitchen: Implementing Task-Based Language Teaching beyond the Classroom.
International Journal of Computer-Assisted Language Learning and Teaching 2013, 3(1), 50-72.
- Iliasov A, Lopatkin I, Romanovsky A. The SafeCap Platform for Modelling Railway Safety and Capacity.
Newcastle University, 2013. School of Computing Science Technical Report Series 1382.
- Jones CB. Turing's "Checking a Large Routine".
In: Cooper, S.B., van Leeuven, J, ed. Alan Turing: His Work and Impact. London: Elsevier, 2013, pp.455-460.
- Andras P, Andras A. Type 2 diabetes: A side effect of the adaptation of neurons and fat cells to support increased cognitive performance.
Medical Hypotheses 2013, 80(2), 176-185.
- 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, 2013. In Press.
- Masci P, Ayoud A, Curzon P, Harrison MD, Lee I, Thimbleby H. Verification of interactive software for medical devices: PCA infusion pumps and FDA regulation as an example.
In: ACM Symposium on Engineering Interactive Computer Systems (EICS 2013). 2013. In Press.
- Brook M, Sharp C, Blewitt W, Ushaw G, Morgan G. Volatility Management of High Frequency Trading Environments.
In: 15th IEEE IFIP Conference on Business Informatics (CBI'13). 2013, Vienna, Austria. Submitted.
- Ramezani R, Yakovlev A, Xia F, Murphy J, Shang D. Voltage Sensing Using an Asynchronous Charge-to-Digital Converter for Energy-Autonomous Environments.
IEEE Journal of Emerging and Selected Topics in Circuits and Systems (JETCAS) 2013, 3(1), 35-44.