Journal Article

Achlioptas, Dimitris, Coja-Oghlan, Amin and Ricci-Tersenghi, F. (Federico). (2011) On the solution-space geometry of random constraint satisfaction problems. Random Structures & Algorithms, Volume 38 (Number 3). pp. 251-268. ISSN 10429832

Adamaszek, Anna and Adamaszek, Michał. (2011) Uniqueness of graph square roots of girth six. The Electronic Journal of Combinatorics, Vol.18 (No.1). P139 . ISSN 2150-959X

Agrafiotis, Ioannis, Creese, Sadie, Goldsmith, Michael and Papanikolaou, Nick. (2011) Applying Formal Methods to Detect and Resolve Ambiguities in Privacy Requirements. Privacy and Identity Management for Life, Vol. 352 . pp. 271-282. ISSN 1868-4238

Anand, Sarabjot Singh, Jhumka, Arshad and Wade, Kimberley A. . (2011) Towards the ordering of events from multiple textual evidence sources. International Journal of Digital Crime and Forensics, Vol.3 (No.2). pp. 16-34. ISSN 1941-6210

Arif, Muhammad, Rajpoot, Nasir M. (Nasir Mahmood), Nattkemper, Tim W., Technow, Ulrike, Chakraborty, Trinad, Fisch, Nicole, Jensen, Nickels A. and Niehaus, Karsten. (2011) Quantification of cell infection caused by Listeria monocytogenes invasion. Journal of Biotechnology, Vol.154 (No.1). pp. 76-83. ISSN 0168-1656

Aziz, Haris, Bachrach, Yoram, Elkind, Edith and Paterson, Mike. (2011) False-name manipulations in weighted voting games. Journal of Artificial Intelligence, Vol.40 . pp. 57-93. ISSN 1076-9757

Bacigalupo, D.A., van Hemert, J., Chen, X., Usmani, A., Chester, Adam P., He, Ligang, Dillenberger, D.N., Wills, G. B., Gilbert, L. and Jarvis, Stephen A.. (2011) Managing dynamic enterprise and urgent workloads on clouds using layered queuing and historical performance models. Simulation Modelling Practice and Theory, 19 (6). pp. 1479-1495. ISSN 1569-190X

Bacigalupo, David A., Van Hemert, Jano, Chen, Xiaoyu, Usmani, Asif S. (Asif Sohail), 1959-, Chester, Adam P., He, Ligang, Dillenberger, Donna N., Wills, Gary B., Gilbert, Lester and Jarvis, Stephen A., 1970-. (2011) Managing dynamic enterprise and urgent workloads on clouds using layered queuing and historical performance models. Simulation Modelling Practice and Theory, Vol.19 (No.6). pp. 1479-1495. ISSN 1569190X

Campbell-Kelly, Martin. (2011) From theory to practice : the invention of programming, 1947-51. Lecture Notes in Computer Science, Vol.6875 . pp. 23-37. ISSN 0302-9743

Campbell-Kelly, Martin. (2011) In praise of 'Wilkes, Wheeler, and Gill'. Communications of the ACM, Vol.54 (No.9). pp. 25-27. ISSN 0001-0782

Chang, Jui-Fen, Sakanoue, Tomo, Olivier, Yoann, Uemura, Takafumi, Dufourg-Madec, Marie-Beatrice, Yeates, Stephen, Cornil, Jérôme, Takeya, Jun, Troisi, Alessandro and Sirringhaus, Henning. (2011) Hall-effect measurements probing the degree of charge-carrier delocalization in solution-processed crystalline molecular semiconductors. Physical Review Letters, Vol.107 (No.6). Article 066601 . ISSN 0031-9007

Clifford, Raphaël and Sach, Ben. (2011) Pattern matching in pseudo real-time. Journal of Discrete Algorithms, Vol.9 (No.1). pp. 67-81. ISSN 1570-8667

Cooper, Martin C. and Živný, Stanislav. (2011) Hybrid tractability of valued constraint problems. Artificial Intelligence, 175 (9-10). pp. 1555-1569. ISSN 0004-3702

Cormode, Graham, Muthukrishnan, S. and Yi, Ke. (2011) Algorithms for distributed functional monitoring. ACM Transactions on Algorithms , 7 (2). pp. 1-20. ISSN 1549-6325

Cristea, Alexandra I. and Ghali, F.. (2011) Towards adaptation in e-learning 2.0. New Review of Hypermedia and Multimedia, 17 (2). pp. 199-238. ISSN 1361-4568

Djulbegovic, Benjamin, Black, Ashly D., Car, Josip, Pagliari, Claudia, Anandan, Chantelle, Cresswell, Kathrin, Bokun, Tomislav, McKinstry, Brian, Procter, Robert N., Majeed, Azeem and Sheikh, Aziz. (2011) The impact of eHealth on the quality and safety of health care : a systematic overview. PLOS Medicine, Vol.8 (No.1). Article no. e1000387. ISSN 1549-1277

Erokhin, Victor, Berzina, Tatiana, Camorani, Paolo, Smerieri, Anteo, Vavoulis, Dimitris V., Feng, Jianfeng and Fontana, Marco P.. (2011) Material memristive device circuits with synaptic plasticity : learning and memory. BioNanoScience, Vol.1 (No.1-2). pp. 24-30. ISSN 2191-1630

Fleischer, L., Goemans, M. X., Mirrokni, V. S. and Sviridenko, Maxim. (2011) Tight Approximation Algorithms for Maximum Separable Assignment Problems. Mathematics of Operations Research, 36 (3). pp. 416-431. ISSN 0364-765X

Freeman, C. L., Harding, J. H., Quigley, D. and Rodger, P. Mark. (2011) Simulations of ovocleidin-17 binding to calcite surfaces and its implications for eggshell formation. The Journal of Physical Chemistry Part C: Nanomaterials, Interfaces and Hard Matter, Vol.115 (No.16). pp. 8175-8183. ISSN 1932-7447

Gaffney, E. A., Gadêlha, H., Smith, D. J. (David J.), Blake, J. R. (John R.), 1947- and Kirkman-Brown, J. C.. (2011) Mammalian sperm motility : observation and theory. Annual Review of Fluid Mechanics, Volume 43 (Number 1). pp. 501-528. ISSN 0066-4189

Guo, Yufan, Korhonen, Anna, Liakata , M., Silins, Ilona, Hogberg, Johan and Stenius, Ulla. (2011) A comparison and user-based evaluation of models of textual information structure in the context of cancer risk assessment. BMC Bioinformatics, Volume 12 (Number 1). Article 69. ISSN 1471-2105

Herdman, J. A., Gaudin, W. P., Turland, D. and Hammond, Simon D.. (2011) Benchmarking and modelling of POWER-7, Westmere, BG/P, and GPUs : an industry case study. ACM SIGMETRICS Performance Evaluation Review, 38 (4). pp. 16-22. ISSN 0163-5999

Hu, Yongjian, Li, Chang-Tsun, Zhou, Changhui and Lin, Xufeng. (2011) Source camera identification issues : forensic features selection and robustness. International Journal of Digital Crime and Forensics, Vol.3 (No.4). pp. 1-15. ISSN 1941-6210

Iglesias, Caroline, Meunier, C. (Claude), Manuel, Marin, Timofeeva, Yulia, Delestrée, Nicholas and Zytnicki, D.. (2011) Mixed mode oscillations in mouse spinal motoneurons arise from a low excitability state. Journal of Neuroscience, Volume 31 (Number 15). pp. 5829-5840. ISSN 0270-6474

Jarvis, Stephen A., 1970-. (2011) UK performance engineering workshop 2010. The Computer Journal, Vol.54 (No.6). pp. 960-961. ISSN 0010-4620

Jhumka, Arshad, Leeke, Matthew and Shrestha, S.. (2011) On the use of fake sources for source location privacy : trade-offs between energy and privacy. The Computer Journal, Vol.54 (No.6). pp. 860-874. ISSN 0010-4620

Jiménez Roldán, J. E. (José Emilio), Wells, Stephen A., Freedman, R. B. and Roemer, Rudolf A.. (2011) Integration of FIRST, FRODA and NMM in a coarse grained method to study Protein Disulphide Isomerase conformational change. Journal of Physics: Conference Series, Vol.286 (No.1). Article No. 012002. ISSN 1742-6596

Joy, Mike, Cosma, Georgina, Yau, Jane Yin-Kim and Sinclair, Jane. (2011) Source code plagiarism - a student perspective. IEEE Transactions on Education, Vol.54 (No.1). pp. 125-132. ISSN 0018-9359

Jurdzinski, Marcin and Lazic, Ranko. (2011) Alternating automata on data trees and XPath satisfiability. ACM Transactions on Computational Logic (TOCL), Volume 12 (Number 3). pp. 1-21. ISSN 1529-3785

Kang, Jing, Ph.D., Xu, Bing, Yao, Ye, Lin, Wei, Hennessy, Conor, Fraser, Peter and Feng, Jianfeng. (2011) A dynamical model reveals gene co-localizations in nucleus. PLoS Computational Biology, Vol.7 (No.7). e1002094. ISSN 1553-734X

Kendrick, Keith M., Zhan, Yang, Fischer, Hanno, Nicol, Alister U., Zhang, Xuejuan and Feng, Jianfeng. (2011) Learning alters theta amplitude, theta-gamma coupling and neuronal synchronization in inferotemporal cortex. BMC Neuroscience, Vol.12 (No.55). ISSN 1471-2202

Kirkman-Brown, J. C. and Smith, D. J. (David J.). (2011) Sperm motility : is viscosity fundamental to progress? Molecular Human Reproduction, Vol.17 (No.8). pp. 539-544. ISSN 1360-9947

Korpelainen, Nicholas, Lozin, Vadim V., Malyshev, Dmitriy S. and Tiskin, Alexander. (2011) Boundary properties of graphs for algorithmic graph problems. Theoretical Computer Science, Vol.412 (No.29). pp. 3545-3554. ISSN 0304-3975

Krishna, Ritesh, Nanda, Satyadarshi, Kulkarni, Abhijit and Patil, Sangameshwar. (2011) A partial Granger causality based method for analysis of parameter interactions in bioreactors. Computers & Chemical Engineering, Vol.35 (No.1). pp. 121-126. ISSN 0098-1354

Lachish, Oded and Newman, Ilan. (2011) Testing periodicity. Algorithmica, Volume 60 (Number 2). pp. 401-420. ISSN 0178-4617

Lazic, Ranko. (2011) Safety alternating automata on data words. ACM Transactions on Computational Logic (TOCL), Vol.12 (No.2). pp. 1-24. ISSN 1529-3785

Loyek, Christian, Rajpoot, Nasir M. (Nasir Mahmood), Khan, Michael and Nattkemper, Tim W.. (2011) BioIMAX : a web 2.0 approach for easy exploratory and collaborative access to multivariate bioimage data. BMC Bioinformatics, Vol.12 (No.1). Article 297. ISSN 1471-2105

Lu, Wenlian, Wang, Lili and Chen, Tianping. (2011) On attracting basins of multiple equilibria of a class of cellular neural networks. IEEE Transactions on Neural Networks, 22 (3). pp. 381-394. ISSN 1045-9227

Luo, Qiang, Ge, Tian and Feng, Jianfeng. (2011) Granger causality with signal-dependent noise. Neuroimage, Vol.57 (No.4). pp. 1422-1429. ISSN 1053-8119

Pennycook, Simon J., Hammond, Simon D., Mudalige, Gihan R., Wright, Steven A. and Jarvis, Stephen A.. (2011) On the acceleration of wavefront applications using distributed many-core architectures. Computer Journal, 55 (2). pp. 138-153. ISSN 0010-4620

Perks, O. F. J., Hammond, Simon D., Pennycook, Simon J. and Jarvis, Stephen A.. (2011) Should we worry about memory loss? ACM SIGMETRICS Performance Evaluation Review, Vol.38 (No.4). pp. 69-74. ISSN 0163-5999

Procter , Robert N., Rouncefield , Mark, Lin , Yu-wei, Poschen, Meik and Voss, Alexander. (2011) Agile project management : a case study of a virtual research environment development project. Computer-Supported Cooperative Work: the journal of collaborative computing, Vol.20 (No.3). pp. 197-225. ISSN 0925-9724

Quigley, David, Freeman, C. L., Harding, J. H. and Rodger, P. Mark. (2011) Sampling the structure of calcium carbonate nanoparticles with metadynamics. The Journal of Chemical Physics, Vol.134 (No.4). 044703. ISSN 0021-9606

Qureshi, S. A., Mirza, S. M., Rajpoot, Nasir M. (Nasir Mahmood) and Arif, Muhammad. (2011) Hybrid diversification operator-based evolutionary approach towards tomographic image reconstruction. IEEE Transactions on Image Processing, Vol.20 (No.7). pp. 1977-1990. ISSN 1057-7149

Randall , Dave, Procter , Robert N., Linc, Yuwei, Poschen, Meik, Sharrock, Wes and Stephens , Robert. (2011) Distributed ontology building as practical work. International Journal of Human-Computer Studies, Vol.69 (No.4). p. 14. ISSN 1071-5819

Rogers, Caroline and Nagarajan, Rajagopal. (2011) Lossless quantum data compression and quantum Kolmogorov complexity. International Journal of Quantum Information, Vol.9 (No.2). pp. 637-650. ISSN 0219-7499

Rolls, Edmund T. and Treves, Alessandro. (2011) The neuronal encoding of information in the brain. Progress in Neurobiology, 95 (3). pp. 448-490. ISSN 0301-0082

Russ, Steve. (2011) The unreasonable effectiveness of mathematics in the natural sciences. Interdisciplinary Science Reviews, Vol.36 (No.3). pp. 209-213. ISSN 03080188

Rutkowski, Michał, Ph.D., Lazić, Ranko and Jurdzinski, Marcin. (2011) Average-price-per-reward games on hybrid automata with strong resets. International Journal on Software Tools for Technology Transfer, Vol.13 (No.6). pp. 553-569. ISSN 1433-2779

Smith, D. J. (David J.), Gaffney, E. A., Shum, Henry, Gadêlha, H. and Kirkman-Brown, J.. (2011) Comment on the article by J. Elgeti, U. B. Kaupp, and G. Gompper : hydrodynamics of sperm cells near surfaces. Biophysical Journal, Volume 100 (Number 9). pp. 2318-2320. ISSN 0006-3495

Webb, Tristan J., Rolls, Edmund T., Deco, Gustavo and Feng, Jianfeng. (2011) Noise in attractor networks in the brain produced by graded firing rate representations. PLoS ONE, Vol.6 (No.9). e23630. ISSN 1932-6203

Xu, Wenping, Hong, Liu, He, Ligang, Wang, Shuliang and Chen, Xueguang. (2011) Supply-driven dynamic inoperability input-output price model for interdependent infrastructure systems. Journal of Infrastructure Systems, Vol.17 (No.4). pp. 151-162. ISSN 1076-0342

Yau, Jane Yin-Kim and Joy, Mike. (2011) A context-aware personalised m-learning application based on m-learning preferences. International Journal of Mobile Learning and Organisation, Vol.5 (No.1). pp. 1-14. ISSN 1746-725X

Yau, Jane Yin-Kim and Joy, Mike. (2011) A context-aware personalised m-learning application based on m-learning preferences. International Journal on Mobile Learning and Organisation, Vol.5 (No.1). pp. 1-14. ISSN 1746-725X

Yuan, Yinyin, Li, Chang-Tsun and Windram, Oliver P.. (2011) Directed partial correlation : inferring large-scale gene regulatory network through induced topology disruptions. PL o S One, Vol.6 (No.4). ISSN 1932-6203

Book Item

Beynon, Meurig (2011) From formalism to experience: a Jamesian perspective on music, computing, and consciousness. In: Clarke, David and Clarke, Eric, (eds.) Music and consciousness: philosophical, psychological, and cultural perspectives. Oxford: Oxford University Press, pp. 157-178. ISBN 9780199553792

Cristea, Alexandra I., Ghali, F. and Joy, Mike (2011) Social, personalized lifelong learning. In: Magoulas, George, (ed.) E-Infrastructures and Technologies for Lifelong Learning: Next Generation Environments. Hershey, PA: IGI Global, pp. 90-125. ISBN 9781615209835

Davis, J. A., Mudalige, G. R., Hammond, Simon D., Herdman, J. A., Miller, I. and Jarvis, Stephen A. (2011) Predictive Analysis of a Hydrodynamics Application on Large-Scale CMP Clusters. In: International Supercomputing Conference (ISC11). Lecture Notes in Computer Science (R&D), 26 (3-4). Hamburg, Germany: Springer, pp. 175-185.

Griffiths, Nathan and Luck, Michael (2011) Norm diversity and emergence in tag-based cooperation. In: Coordination, Organizations, Institutions, and Norms in Agent Systems VI. Berlin / Heidelberg: Springer, pp. 230-249. ISBN 9783642212673

Kalvala, Sara (2011) A formal approach to fixing bugs. In: Simao, A. and Morgan, C., (eds.) Formal methods : foundations and applications. Lecture Notes in Computer Science (Vol.7021). Berlin Heidelberg: Springer Verlag, pp. 172-187. ISBN 9783642250316

Laine, T. H., Nygren, E., Sutinen, E., Islas Sedano, C., Joy, Mike and Blignaut, S. (2011) Ubiquitous mathematics from South Africa to Finland : does reverse transfer work? In: Chen, I. and Kidd, T., (eds.) Ubiquitous learning : strategies for pedagogy, course design and technology. Charlotte, NC: Information Age Publishing. ISBN 9781617354366

Laine, Teemu Henrikki, Nygren, E., Sutinen, Erkki, Islas Sedano, Carolina, Joy, Mike and Blignaut, S. (2011) Ubiquitous mathematics from South Africa to Finland : does reverse transfer work? In: Chen, Irene and Kidd, Terry T., (eds.) Ubiquitous learning : a survey of applications, research, and trends. Charlotte, NC: Information Age Publishing. ISBN 9781617354366

Nurse, J. R. C. and Sinclair, Jane (2011) A case study analysis of an e-business security negotiations support tool. In: Ao, S. -L. and Gelman, L., (eds.) Electrical Engineering and Applied Computing. Lecture Notes in Electrical Engineering (Vol.90). Springer, pp. 209-220. ISBN 9789400711921

Perks, O. F. J., Hammond, Simon D., Pennycook, Simon J. and Jarvis, Stephen A. (2011) WMTools - assessing parallel application memory utilisation at scale. In: Computer Performance Engineering 8th European Performance Engineering Workshop, EPEW 2011, Borrowdale, UK, October 12-13, 2011. Proceedings. Lecture Notes in Computer Science, 6977 (No.6977). Berlin, Germany: Springer, pp. 148-162. ISBN 9783642247484

Reyes-Aldasoro, C. C. and Bhalerao, Abhir (2011) Volumetric texture analysis in biomedical imaging. In: Pereira, M. and Freire, M., (eds.) Biomedical diagnostics and clinical technologies : applying high-performance cluster and grid computing. Hershey, PA: IGI Global, pp. 200-248. ISBN 9781605662800

Yau, Jane Yin-Kim and Joy, Mike (2011) M-learning generations and interview study : results of a mobile context-aware learning schedule framework. In: Parsons, David, 1959 Oct. 13-, (ed.) Combining e-learning and m-learning : new applications of blended educational resources. Hershey, PA: IGI Global, pp. 28-55. ISBN 978-1-60960-481-3 (hardcover) 978-1-60960-482-0 (ebook)

Conference Item

Adamaszek, Anna, Czumaj, Artur, Englert, Matthias and Räcke, Harald (2011) Almost tight bounds for reordering buffer management. In: STOC'11 Symposium on Theory of Computing Conference (Co-located with FCRC 2011), San Jose, CA, USA, 6-8 Jun 2011. Published in: STOC '11 Proceedings of the 43rd annual ACM symposium on Theory of computing pp. 607-616.

Al-Ghamdi, M., Chester, Adam P., He, Ligang and Jarvis, Stephen A. (2011) Dynamic resource allocation and active predictive models for enterprise applications. In: Proceedings of the 1st International Conference on Cloud Computing and Services Science (CLOSER10), Noordwijkerhout, The Netherlands, 7-9 May 2011

Al-Ghamdi, M., Chester, Adam P., He, Ligang, Jarvis, Stephen A. and Xue , J. W. J. (2011) Dynamic active window management : a method for improving revenue generation in dynamic enterprise systems. In: Proceedings of the 11th IEEE International Conference on Scalable Computing and Communications (SCALCOM'11), Pafos, Cyprus, 31st August - 2nd September, 2011. Published in: Computer and Information Technology (CIT), 2011 IEEE 11th International Conference on p. 23.

Anand, Sarabjot Singh and Griffiths, Nathan (2011) A market-based approach to address the new item problem. In: Fifth ACM conference on Recommender systems, Chicago, IL, 23-27 Oct 2011. Published in: RecSys '11 Proceedings of the fifth ACM conference on Recommender systems p. 205.

Boden, Charlotte and Bhalerao, Abhir (2011) Surface reconstruction of rotating objects from monocular video. In: 13th International Conference, ACIVS 2011, Ghent, Belgium, 22-25 Aug 2011. Published in: Lecture Notes in Computer Science, Vol.6915 pp. 702-711.

Chester, Adam P., Leeke, Matthew, Al-Ghamdi, M., Jarvis, Stephen A. and Jhumka, Arshad (2011) A modular failure-aware resource allocation architecture for cloud computing. In: UK Performance Engineering Workshop (UKPEW'11), Bradford, United Kingdom, 7-8 July, 2011. Published in: Proceedings of the UK Performance Engineering Workshop (UKPEW'11)

Chester, Adam P., Leeke, Matthew, Al-Ghamdi, M., Jhumka, Arshad and Jarvis, Stephen A. (2011) A framework for data center scale dynamic resource allocation algorithms. In: Proceedings of the 11th IEEE International Conference on Scalable Computing and Communications (SCALCOM'11), Pafos, Cyprus, 31st August - 2nd September, 2011 pp. 67-74.

Coja-Oghlan, Amin (2011) On belief propagation guided decimation for random k-SAT. In: Twenty-Second Annual ACM-SIAM Symposium on Discrete Algorithms, San Francisco, CA, USA, 23 - 25 Jan 2011. Published in: SODA '11 Proceedings of the Twenty-Second Annual ACM-SIAM Symposium on Discrete Algorithms pp. 957-966.

Czumaj, Artur, Monemizadeh, Morteza, Onak, Krzysztof and Sohler, Christian (2011) Planar graphs : random walks and bipartiteness testing. In: 52nd Annual Symposium on Foundations of Computer Science (FOCS), Palm Springs, CA, 22-25 Oct. 2011. Published in: Foundations of Computer Science (FOCS), 2011 IEEE 52nd Annual Symposium on pp. 423-432.

Foss, Jonathan G. K. and Cristea, Alexandra I. (2011) Two competing approaches in Authoring Adaptive Hypermedia : MOT versus GAT. In: Hypertext 2011, Eindhoven, The Netherlands, 6-9 June 2011

Greenhalgh, Trisha, Procter , Rob, Wherton, Joe, Rouncefield , Mark and Dewsbury, Guy (2011) ATHENE : Assistive technologies for healthy living in elders : needs assessment by ethnography. In: 2nd Digital Economy All Hands Meeting, Newcastle, UK, 15-17 Nov 2011. Published in: Proceedings of the 2nd Digital Economy All Hands Meeting

Hartswood , Mark, Anderson, S., Blot, L., Gilchrist, A., Taylor, P. and Procter , Robert N. (2011) Learning from experience : maintaining flexibility in a breast screening programme. In: Resilience Engineering International Symposium, Sophia-Antipolis, 8–10 Jun 2011. Published in: (Proceedings) 4th Resilience Engineering International Symposium

He, Ligang, Duan, K., Chen, X., Zou, D., Han, Z., Fadavinia, A. and Jarvis, Stephen A. (2011) Modelling workflow executions under role-based authorisation control. In: 8th IEEE International Conference on Services Computing (ICSC'11), Washington DC, USA, 4-9th July 2011 pp. 1-10.

He, Ligang, Huang, Chenlin, Li, Kenli, Chen, Hao, Sun, Jianhua, Gao, Bo, Duan, Kewei and Jarvis, Stephen A. (2011) Modelling and analyzing the authorization and execution of video workflows. In: 18th International Conference on High Performance Computing, HiPC 2011, Bangalore, India, 18-21 Dec 2011. Published in: 18th International Conference on High Performance Computing, HiPC 2011 pp. 1-10.

He, Ligang, Zou, D., Zhang, Z., Jin, H., Yang, K. and Jarvis, Stephen A. (2011) Optimizing resource consumptions in clouds. In: 12th IEEE/ACM International Conference on Grid Computing, Lyon, France, 21-23 Sept. 2011

He, Ligang, Zou, Deqing, Zhang, Zhang, Yang, Kai, Jin, Hai and Jarvis, Stephen A. (2011) Optimizing resource consumptions in clouds. In: Grid 2011: 12th IEEE/ACM International Conference on Grid Computing, Lyon Conference Centre, France, 21-23 Sep 2011. Published in: International Conference on GRID Computing. Proceedings pp. 42-49.

Humayun, A., Raza, Shan-e-Ahmed, Waddington, C., Abouna, Sylvie, Khan, Michael and Rajpoot, Nasir M. (Nasir Mahmood) (2011) A novel framework for molecular co-expression pattern analysis in multi-channel toponome fluorescence images. In: MIAAB 2011 (Microscopic Image Analysis with Applications in Biology), Heidelberg, Germany, 2 Sep 2011. Published in: Proceedings of the 2011 Microscopic Image Analysis with Applications in Biology (Submitted)

Jhumka, Arshad and Leeke, Matthew (2011) The early identification of detector locations in dependable software. In: 2011 IEEE 22nd International Symposium on Software Reliability Engineering, Hiroshima, Japan, 29 Nov - 2 Dec 2011. Published in: 2011 IEEE Proceedings of 22nd International Symposium on Software Reliability Engineering pp. 40-49.

Kalvala, Sara and Warburton, Richard (2011) A formal approach to fixing bugs. In: 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, 26-30 Sep 2011. Published in: Lecture Notes in Computer Science, Vol.7021 pp. 172-187.

Laine, T. H., Sutinen, E., Joy, Mike and Nygren, E. (2011) Active and passive technology integration in context-aware learning spaces. In: World Conference on E-Learning in Corporate, Government, Healthcare, and Higher Education (E-Learn 2011), Honolulu, Hawaii, 18-21 Oct 2011 pp. 719-728.

Laine, T.H., Sutinen, E., Nygren, E. and Joy, Mike (2011) Rapid Improvement of Technology Integration in Context-aware Learning Spaces. In: IEEE Africon 2011, Livingstone, Zambia, 13-15 Sep 2011 pp. 1-6.

Leeke, Matthew, Arif, Saima, Jhumka, Arshad and Anand, Sarabjot Singh (2011) A methodology for the generation of efficient error detection mechanisms. In: 2011 IEEE/IFIP 41st International Conference on Dependable Systems & Networks (DSN), Hong Kong , 27-30 Jun 2011 . Published in: International Conference on Dependable Systems and Networks. Proceedings pp. 25-36.

Leeke, Matthew and Jhumka, Arshad (2011) An automated wrapper-based approach to the design of dependable software. In: 4th International Conference on Dependability (DEPEND'11), Nice, France, August 21-27th 2011

Liu, Shuangyan and Joy, Mike (2011) A Diagnostic Mechanism and Tool for Analyzing Group Collaboration Problems with Online Group Work. In: World Conference on E-Learning in Corporate, Government, Healthcare, and Higher Education (E-Learn 2011), Honolulu, Hawaii, 18-21 Oct 2011 pp. 2613-2618.

Liu, Shuangyan and Joy, Mike (2011) Discovering Student Interactions with a Collaborative Learning Forum that Predict Group Collaboration Problems. In: 4th International Conference of Education, Research and Innovation (iCERi 2011), Madrid, Spain, 14-16 Nov 2011

Maniatopoulos , Gregory, LLewellyn, S., Harvey , Gill and Procter , Robert N. (2011) Negotiating technological innovation in healthcare. In: HSRN and SDO Network Annual Conference, Liverpool, 7-8 Jun 2011. Published in: Proceedings of the HSR Network and SDO Network joint annual conference:

Maniatopoulos , Gregory, Llewellyn, Sue, Procter , Rob and Harvey , Gill, RGN (2011) Lost in translation? Negotiating technological innovation in healthcare. In: 27th EGOS Colloquium: Reassembling Organizations, Gothenburg, Sweden, July 6–9, 2011. Published in: Proceedings of the European Group for Organisational Studies Colloquium pp. 1-20.

Mouhtaropoulos, Antonis, Grobler, Marthie and Li, Chang-Tsun (2011) Digital forensic readiness : an insight into governmental and academic initiatives. In: 2011 European Intelligence and Security Informatics Conference, Athens, Greece, 12th-14th September 2011 pp. 191-196.

Murawski, Andrzej S. and Tzevelekos, Nikos (2011) Game semantics for good general references. In: 26th Annual IEEE Symposium on Logic in Computer Science (LICS'11), Toronto, ON, 21-24 June 2011. Published in: Logic in Computer Science (LICS), 2011 26th Annual IEEE Symposium on pp. 75-84.

Perks, O. F. J., Hammond, Simon D., Pennycook, Simon J. and Jarvis, Stephen A. (2011) WMTrace - a lightweight memory allocation tracker and analysis framework. In: UK Performance Engineering Workshop (UKPEW'11), Bradford, United Kingdom, 7-8 July, 2011

Russ, Steve (2011) Concepts and contrasts : Hermann Grassmann and Bernard Bolzano. In: Grassmann Bicentennial Conference , University of Potsdam, Potsdam, Germany. Published in: From Past to Future: Grassmann's Work in Context pp. 117-128.

Shao, Z., Wang, Q., Xuejiao, X., Jin, H. and He, Ligang (2011) Analyzing and improving MPI communication performance in overcommitted virtualized systems. In: 19th Annual Meeting of the IEEE Symposium on Modelling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS'11), Singapore, 25-27 July, 2011. Published in: Proceedings of the 19th Annual Meeting of the IEEE Symposium on Modelling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS'11) pp. 381-389.

Shao, Zhiyuan, Wang, Qiang, Xie, Xuejiao, Jin, Hai and He, Ligang (2011) Analyzing and improving MPI communication performance in overcommitted virtualized systems. In: 2011 IEEE 19th International Symposium on Modeling, Analysis & Simulation of Computer and Telecommunication Systems (MASCOTS), Singapore, 25-27 Jul 2011. Published in: International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems. Proceedings pp. 381-389.

Smith, J. A., Hammond, Simon D. and Jarvis, Stephen A. (2011) The effect of an application performance modelling tool. In: UK Performance Engineering Workshop (UKPEW'11), Bradford, United Kingdom, 7-8 July, 2011

Wright, Steven A., Pennycook, Simon J., Hammond, Simon D. and Jarvis, Stephen A. (2011) RIOT - a parallel input/output tracer. In: Proceedings of the UK Performance Engineering Workshop (UKPEW'11), Bradford, United Kingdom, 7-8 July, 2011

Yang, Shanshan, Joy, Mike and Laine, T. H. (2011) An educational services architecture to share e-learning resources. In: 3rd International Conference on Computer Supported Education (CSEDU2011), Noordwijkerhout, Netherlands, 06-08 May 2011 pp. 372-375.

Yang, Shanshan, Joy, Mike and Nurse, Jason R. C. (2011) Experiences on sharing e-learning resources using service technologies. In: 14th IASTED International Conference on Computers and Advanced Technology in Education (CATE 2011), Cambridge, UK, 11-13 July 2011 pp. 283-289.

Report

Lewis, Paul, Newburn, Tim, Taylor, Matthew S., Mcgillivray, Cationa, Greenhill, Aster, Frayman, Harold and Procter , Robert N. (2011) Reading the riots : investigating England's summer of disorder. London, UK.: The London School of Economics and Political Science and The Guardian..

Pope, N. W. and Beynon, W. M. (2011) Cadence and the empirical modelling conceptual framework : a new perspective on modelling state-as-experienced. Coventry, UK: Department of Computer Science..

Scholarly Text

Coja-Oghlan, Amin and Panagiotou, Konstantinos (2011) Catching the k-NAESAT threshold. Coventry: ArXiv e-prints. (Unpublished)