Journal Article

Ananiadou, Sophia, Rea, Brian, Okazaki, Naoaki, Procter , Robert N. and Thomas, James. (2009) Supporting systematic reviews using text mining. Social Science Computer Review, Vol.27 (No.4). pp. 509-523. ISSN 0894-4393

Ashmole, I., Vavoulis, Dimitris V., Stansfeld, P. J., Mehta, Puja R., Feng, Jianfeng, Sutcliffe, M. J. and Stanfield, Peter R.. (2009) The response of the tandem pore potassium channel TASK-3 (K2P9.1) to voltage : gating at the cytoplasmic mouth. Journal of Physiology, The, Vol.587 . pp. 4769-4783. ISSN 0022-3751

Atkinson , Malcolm, Britton, David, Coveney, Peter, De Roure, David, Garnett, Ned, Geddes, Neil, Gurney, Robert, Haines, Keith, Hughes, Lorna, Ingram, David, Jeffreys, Paul, Lyon, Liz, Osbourne, Ian, Perrot, Ron, Procter , Robert N., Rusbridge, Chris, Trefethen, Anne and Watson, Paul. (2009) Century-of-information research (CIR) - a strategy for research and innovation in the century of information. Prometheus: Critical Studies in Innovation, Vol.27 (No.1). pp. 27-45. ISSN 0810-9028

Barjak, Franz, Lane, Julia, Kertcher, Zack, Poschen, Meik, Procter , Robert N. and Robinson, Simon. (2009) Case studies of e-Infrastructure adoption. Social Science Computer Review, Vol.27 (No.4). pp. 583-600. ISSN 0894-4393

Beynon, Meurig. (2009) Constructivist computer science education reconstructed. Innovations in Teaching and Learning in Information and Computer Sciences, Vol.8 (No.2). pp. 73-90. ISSN 1473-7507

Bukatin, Michael, Kopperman, Ralph and Matthews, S. G.. (2009) Partial metric spaces. American Mathematical Monthly, Vol.116 (No.8). pp. 708-718. ISSN 0002-9890

Campbell-Kelly, Martin. (2009) Origin of computing. Scientific American, Vol.301 (No.3 Sp. Iss. SI). pp. 62-69. ISSN 0036-8733

Campbell-Kelly, Martin and Garcia-Swartz, Daniel D.. (2009) Pragmatism, not ideology : historical perspectives on IBM's adoption of open-source software. Information Economics and Policy, Vol.21 (No.3). pp. 229-244. ISSN 0167-6245

Czumaj, Artur and Lingas, A.. (2009) Finding a Heaviest Vertex-Weighted Triangle Is not Harder than Matrix Multiplication. SIAM Journal on Computing (SICOMP), 39 (2). pp. 431-444. ISSN 0097-5397

Czumaj, Artur and Lingas, Andrzej. (2009) Finding a heaviest vertex-weighted triangle is not harder than matrix multiplication. SIAM Journal on Computing, Vol.39 (No.2). pp. 431-444. ISSN 0097-5397

Czumaj, Artur, Shapira, A. and Sohler, C.. (2009) Testing Hereditary Properties of Nonexpanding Bounded-Degree Graphs. SIAM Journal on Computing (SICOMP), 38 (6). pp. 2499-2510. ISSN 0097-5397

Czumaj, Artur, Shapira, Asaf and Sohler, Christian. (2009) Testing hereditary properties of nonexpanding bounded-degree graphs. SIAM Journal on Computing, Vol.38 (No.6). pp. 2499-2510. ISSN 00975397

Czumaj, Artur and Sohler, C.. (2009) Estimating the Weight of Metric Minimum Spanning Trees in Sublinear Time. SIAM Journal on Computing (SICOMP), 39 (3). pp. 904-922. ISSN 0097-5397

Czumaj, Artur and Sohler, Christian. (2009) Estimating the weight of metric minimum spanning trees in sublinear time. SIAM Journal on Computing, Vol.39 (No.3). pp. 904-922. ISSN 0097-5397

Deineko, Vladimir G. and Tiskin, Alexander. (2009) Fast minimum-weight double-tree shortcutting for metric TSP. Journal of Experimental Algorithmics, Vol.14 . 4.6. ISSN 1084-6654

Deineko, Vladimir G. and Tiskin, Alexander. (2009) Min-Weight Double-Tree Shortcutting for Metric TSP: Bounding the Approximation Ratio. Electronic Notes in Discrete Mathematics, 32 . pp. 19-26. ISSN 1571-0653

Demri, Stéphane P., 1967- and Lazic, Ranko. (2009) LTL with the freeze quantifier and register automata. ACM Transactions on Computational Logic (TOCL), Vol.10 (No.3). p. 16. ISSN 1529-3785

Englert, Matthias, Röglin, H. and Westermann, M.. (2009) Evaluation of Online Strategies for Reordering Buffers. Experimental Algorithmics (JEA), 14 .

Feng, Jianfeng, Shcherbina, Mariya and Tirozzi, Brunello. (2009) Stability of the dynamics of an asymmetric neural network. Communications on Pure and Applied Analysis, Vol.8 (No.2). pp. 655-671. ISSN 1534-0392

Feng, Jianfeng, Yi, Dongyun, Krishna, Ritesh, Guo, Shuixia and Buchanan-Wollaston, Vicky. (2009) Listen to genes : dealing with microarray data in the frequency domain. PL o S One, Vol.4 (No.4). ISSN 1932-6203

Ge, Tian, Kendrick, Keith M. and Feng, Jianfeng. (2009) A novel extended Granger Causal model approach demonstrates brain hemispheric differences during face recognition learning. PL o S Computational Biology, Vol.5 (No.11). ISSN 1553-734X

Gurcan, M., Boucheron, L., Can, A., Madabhushi, A., Rajpoot, Nasir M. (Nasir Mahmood) and Yener, B.. (2009) Histopathological Image Analysis: a Review. IEEE Reviews in Biomedical Engineering, 2 . pp. 147-171. ISSN 1937-3333

Gurcan, Metin N., Boucheron, Laura E., Can, Ali, Madabhushi, Anant, Rajpoot, Nasir M. (Nasir Mahmood) and Yener, Bülent, 1959-. (2009) Histopathological image analysis : a review. IEEE Reviews in Biomedical Engineering, Vol.2 . pp. 147-171. ISSN 1937-3333

Halfpenny , Peter and Procter , Robert N.. (2009) Special issue on e-social science. Social Science Computing Review, Vol.27 (No.4). pp. 459-466. ISSN 0894-4393

Hammond, S. D., Mudalige, G. R., Smith, J. A., Davis, J. A., Mills, A. B., Jarvis, S. A., Holt, J., Miller, I., Herdman, J. A. and Vadgama, A.. (2009) Performance prediction and procurement in practice: assessing the suitability of commodity cluster components for wavefront codes. IET Software, Vol.3 (No.6). pp. 509-521. ISSN 1751-8806

Hammond, Simon D., Mudalige, Gihan R., Smith, J. A., Davis, Jim, 1949-, Mills, A. B., Jarvis, Stephen A., 1970-, Holt, J., Miller, I., Herdman, J. A. and Vadgama, A.. (2009) Performance prediction and procurement in practice : assessing the suitability of commodity cluster components for wavefront codes. IET Software, Vol.3 (No.6). p. 509. ISSN 1751-8806

Holmes, Antony B., Kalvala, Sara and Whitworth, David E.. (2009) Myxobacteria motility : a novel 3D model of rippling behaviour in myxococcus xanthus. Systemics and Informatics World Network, Vol.6 . pp. 65-70. ISSN 2044-7272

Hu, Yongjian, Lee, Heung-Kyu and Li, Jianwei . (2009) DE-based reversible data hiding with improved overflow location map. IEEE Transactions on Circuits and Systems for Video Technology, Vol.19 (No.2). pp. 250-260. ISSN 1051-8215

Ismail, A., Joy, Mike, Sinclair, Jane and Hamzah, M. I.. (2009) A metametadata architecture for pedagogic data description. World Academy of Science, Engineering and Technology, 37 . pp. 373-378. ISSN 2010-376X

Joy, Mike. (2009) Undergraduate Computing Projects — an Investigation into the Student Experience. ITALICS, Vol.8 (No.1). pp. 60-78. ISSN 1473-7507

Joy, Mike. (2009) Undergraduate computing projects - an investigation into the student experience. Innovations in Teaching and Learning in Information and Computer Sciences, Vol.8 (No.1). pp. 60-78. ISSN 1473-7507

Joy, Mike, Sinclair, Jane, Sun, S., Sitthiworachart, J. and López-González, J.. (2009) Categorising computer science education research. Education and Information Technologies, Vol.14 (No.2). pp. 105-126. ISSN 1360-2357

Joy, Mike, Sinclair, Jane, Sun, Shanghua, Sitthiworachart, Jirarat and López-González, Javier. (2009) Categorising computer science education research. Education and Information Technologies, Vol.14 (No.2). pp. 105-126. ISSN 1360-2357

Kalvala, Sara and Warburton, R. L. M.. (2009) Program transformations using temporal logic side conditions. ACM Transactions on Programming Languages and Systems, 31 (4). ISSN 0164-0925

Kalvala, Sara, Warburton, Richard and Lacey, David. (2009) Program transformations using temporal logic side conditions. ACM Transactions on Programming Languages and Systems (TOPLAS), Vol.31 (No.4). p. 14. ISSN 0164-0925

Kopperman, R. D., Matthews, S. G. and Pajoohesh, H.. (2009) Completions of partial metrics into value lattices. Topology and its Applications, Vol.156 (No.8). pp. 1534-1544. ISSN 0166-8641

Ladroue, Christophe, Guo, Shuixia, Kendrick, Keith M. and Feng, Jianfeng. (2009) Beyond element-wise interactions: identifying complex interactions in biological processes. PLoS One, Vol.4 (No.9). e6899. ISSN 1932-6203

Laine, T. H. and Joy, Mike. (2009) Survey on context-aware pervasive learning environments. International Journal of Interactive Mobile Technologies (iJIM), Vol.3 (No.1). pp. 70-76. ISSN 1865-7923

Laine, Teemu Henrikki and Joy, Mike. (2009) Survey on context-aware pervasive learning environments. International Journal of Interactive Mobile Technologies (iJIM), Vol.3 (No.1). pp. 70-76. ISSN 1865-7923

Lee, Jon, Sviridenko, Maxim and Vondrák, Jan. (2009) Submodular maximization over multiple matroids via generalized exchange properties. Lecture Notes in Computer Science, Vol.5687 . pp. 244-257. ISSN 0302-9743

Li, Yuanqiang, Namburi, Praneeth, Yu, Zhuliang, Guan, Cuntai, Feng, Jianfeng and Gu, Zhenghui. (2009) Voxel selection in fMRI data analysis based on sparse representation. IEEE Transactions on Biomedical Engineering, Vol.56 (No.10). pp. 2439-2451. ISSN 0018-9294

Mueller, Markus, Rogers, Caroline and Nagarajan, Rajagopal. (2009) Lossless quantum prefix compression for communication channels that are always open. Physical Review A (Atomic, Molecular and Optical Physics) , Vol.79 (No.1). Article: 012302. ISSN 1050-2947

Nicodemi, Mario and Prisco, Antonella. (2009) Thermodynamic pathways to genome spatial organization in the cell nucleus. Biophysical Journal, Vol.96 (No.6). pp. 2168-2177. ISSN 0006-3495

Niebert, Peter and Peled, Doron. (2009) Efficient model checking for LTL with partial order snapshots. Theoretical Computer Science, Vol.410 (No.42). pp. 4180-4189. ISSN 0304-3975

Nurse, J. R. C. and Sinclair, Jane. (2009) Securing e-Businesses that use web services - a guided tour through BOF4WSS. International Journal on Advances in Internet Technology, Volume 2 (Number 4). pp. 253-276. ISSN 1942-2652

Ogston, Elth and Jarvis, Stephen A.. (2009) Peer sampling with improved accuracy. Peer-to-Peer Networking and Application, Vol.2 (No.1 Sp. Iss. SI). pp. 24-36. ISSN 1936-6442

Orchard, Dominic, Gover, Jonathan, Herrington, Lee Lewis, Lohr, James, Stead, Duncan, Young, Cathy and Kalvala, Sara. (2009) µCell - interdisciplinary research in modelling and simulation of cell spatial behaviour. Reinvention: a journal of undergraduate research, Vol.2 (No.1). ISSN 1755-7429

Paterson, Michael S., Peres, Y. (Yuval), Thorup, Mikkel, Winkler, P. (Peter), 1946- and Zwick, Uri, 1961-. (2009) Maximum overhang. American Mathematical Monthly, Vol.116 (No.9). pp. 765-787. ISSN 0002-9890

Paterson, Michael S. and Zwick, Uri, 1961-. (2009) Overhang. American Mathematical Monthly, Vol.116 (No.1). pp. 19-44. ISSN 0002-9890

Quigley, D. and Rodger, P. Mark. (2009) A metadynamics-based approach to sampling crystallisation events. Molecular Simulation, Vol.35 (No.7). pp. 613-623. ISSN 0892-7022

Quigley, D., Rodger, P. Mark, Freeman, C. L., Harding, J. H. and Duffy, D. M.. (2009) Metadynamics simulations of calcite crystallization on self-assembled monolayers. Journal of Chemical Physics, Vol.131 (No.9). article no. 094703 . ISSN 0021-9606

Tan, Guang, Jarvis, Stephen A., 1970- and Kermarrec, Anne-Marie. (2009) Connectivity-guaranteed and obstacle-adaptive deployment schemes for mobile sensor networks. IEEE Transactions on Mobile Computing, Vol.8 (No.6). pp. 836-848. ISSN 1536-1233

Thew, Sarah, Sutcliffe, Alistair, Procter , Robert N., de Bruijn, Oscar, McNaught, John, Venters, Colin C. and Buchan, Iain. (2009) Requirements engineering for E-science : experiences in epidemiology. IEEE Software, Vol.26 (No.1). pp. 80-87. ISSN 0740-7459

Tiskin, Alexander. (2009) Faster Subsequence Recognition in Compressed Strings. Journal of Mathematical Sciences, 158 (5). pp. 759-769. ISSN 1072-3374

Ure, J., Rakebrandt, F., Lloyd, Stuart, Khanban, A., Procter , Robert N., Anderson, S., Hanley, J., Hartswood , Mark, Pagliari, C., McKinstry, B., Tarling, A., Kidd, G. and Corscadden, P.. (2009) Giving them something to hate : using prototypes as a vehicle for early engagement in virtual organizations. Social Science Computer Review, Vol.27 (No.4). pp. 569-582. ISSN 0894-4393

Ure , Jenny, Procter , Robert N., Lin , Yu-wei, Hartswood , Mark, Lloyd, Stuart, Wardlaw, Sharon, Gonzalez-Velez, Horacio and Ho, Kate. (2009) The development of data infrastructures for eHealth : a socio-technical perspective. Journal of the Association for Information Systems, Vol.10 (No.5). Article no. 3. ISSN 1536-9323

Voss, Alexander and Procter , Robert N.. (2009) Virtual research environments in scholarly work and communications. Librarl Hi Tech, Vol.27 (No.2). pp. 174-190. ISSN 0737-8831

Wei, Chia-Hung, Li, Yue, Chau, Wing-Yin and Li, Chang-Tsun. (2009) Trademark image retrieval using synthetic features for describing global shape and interior structure. Pattern Recognition, Vol.42 (No.3). pp. 386-394. ISSN 0031-3203

Wu, Jianhua, Sinfield, James Lister, Buchanan-Wollaston, Vicky and Feng, Jianfeng. (2009) Impact of environmental inputs on reverse-engineering approach to network structures. BMC Systems Biology, Vol.3 . Article 113. ISSN 1752-0509

Yang, S. and Joy, Mike. (2009) Designing e-learning services : a case study. International Journal of Advanced Corporate Learning (iJAC), Vol.2 (No.4). pp. 35-43. ISSN 1867-5565

Yang, Y. (Ying), Sun, Xingming, Yang, Hengfu, Li, Chang-Tsun and Xiao, R. (Rong). (2009) A contrast-sensitive reversible visible image watermarking technique. IEEE Transactions on Circuits and Systems for Video Technology, Vol.19 (No.5). pp. 656-667. ISSN 1051-8215

Yau, Jane Yin-Kim and Joy, Mike. (2009) A mobile context-aware framework for managing learning schedules : data analysis from an interview study. International Journal of Mobile and Blended Learning, Vol.1 (No.4). pp. 29-55. ISSN 1941-8647

Zhan, Yang, Guo, Shuixia, Kendrick, Keith M. and Feng, Jianfeng. (2009) Filtering noise for synchronised activity in multi-trial electrophysiology data using Wiener and Kalman filters. Biosystems, Vol.96 (No.1). pp. 1-13. ISSN 0303-2647

Zou, Cunlu and Feng, Jianfeng. (2009) Granger causality vs. dynamic Bayesian network inference: a comparative study. BMC Bioinformatics, Vol.10 (No.122). ISSN 1471-2105

Book Item

Cristea, Alexandra I., Smits, David, Bevan, Jon and Hendrix, Maurice (2009) LAG 2.0 : refining a reusable adaptation language and improving on its authoring. In: Cress, U. and Dimitrova, V. and Specht, M., (eds.) Learning in the synergy of multiple disciplines. Lecture Notes in Computer Science (5794). Springer-Verlag, pp. 7-21. ISBN 9783642046353

Czumaj, Artur, Czyzowicz, J., Gąsieniec, L., Jansson, J., Lingas, A. and Zylinski, P. (2009) Approximation algorithms for buy-at-bulk geometric network design. In: Algorithms and data structures. Lecture Notes in Computer Science (5664). Springer Verlag, pp. 168-180. ISBN 9783642033667

Czumaj, Artur and Sohler, Christian (2009) Small space representations for metric min-sum k-clustering and their applications. In: Theory of Computing Systems. Springer Science+Business Media, LLC 2009, pp. 416-442.

Englert, Matthias, Vöcking, Berthold and Winkler, Melanie (2009) Economical caching with stochastic prices. In: Stochastic Algorithms: Foundations and Applications. Lecture Notes in Computer Science (5792). Springer Verlag, pp. 179-190. ISBN 9783642049439

Krusche, Peter and Tiskin, Alexander (2009) String comparison by transposition networks. In: London Algorithmics 2008: Theory and Practice. London: College Publications, pp. 184-204. ISBN 9781904987970

Lazic, Ranko, Jurdzinski, Marcin and Rutkowski, Michał, Ph.D. (2009) Average-price-per-reward games on hybrid automata with strong resets. In: Verification, Model Checking, and Abstract Interpretation. Lecture Notes in Computer Science (5403). London: Springer, pp. 167-181. ISBN 9783540938996

Nurse, J. R. C. and Sinclair, Jane (2009) Supporting the comparison of business-level security requirements within cross-enterprise service development. In: Abramowicz, W., (ed.) Business Information Systems. Lecture Notes in Business Information Processing, 21 . Springer-Verlag, pp. 61-72. ISBN 9783642011894

Rajpoot, Nasir M. (Nasir Mahmood), Yao, Z. and Wilson, Roland, 1949- (2009) Nonlinear filtering for image denoising. In: Chen, W. -K., (ed.) Passive, Active, and Digital Filters (Circuits and Filters Handbook, 3rd Edition). CRC Press. ISBN 9781420058857

Slack , Roger S., Procter , Robert N., Harstwood , Mark, Voss, Alexander and Rouncefield, Mark (2009) Suspicious minds? In: Büscher, Monika and Goodwin , Dawn and Mesman, Jessica , (eds.) Ethnographies of Diagnostic Work. Basingstoke ; New York: Palgrave Macmillan, pp. 227-244. ISBN 9780230223288

Tiskin, Alexander (2009) Periodic string comparison. In: Combinatorial Pattern Matching. Lecture Notes in Computer Science (5577). Springer Verlag, pp. 193-206. ISBN 978-3-642-02440-5

Conference Item

Adamaszek, Anna, Czumaj, Artur and Lingas, Andrzej (2009) PTAS for k-tour cover problem on the plane for moderately large values of k. In: 20th International Symposium on Algorithms and Computations (ISAAC 2009), Honolulu, HI, December 16-18, 2009. Published in: Lecture Notes in Computer Science, 5878 pp. 994-1003.

Albert, D., Nussbaumer, A., Steiner, C. M., Hendrix, M. and Cristea, Alexandra I. (2009) Design and development of an authoring tool for pedagogical relationship types between concepts. In: 17th International Conference on Computer in Education (ICCE 2009), Hong Kong, 30, Nov - 4, Dec 2009 pp. 194-196.

Aziz, Haris, Lachish, Oded, Paterson, Michael S. and Savani, Rahul (2009) Power indices in spanning connectivity games. In: 5th International Conference on Algorithmic Aspects in Information and Management, San Francisco, CA, June 15-17, 2009. Published in: Lecture Notes in Computer Science, Vol.5564 pp. 55-67.

Beynon, W. M., Myers, R. and Harfield, A. (2009) Web Eden : support for computing as construction? In: 9th International Conference on Computing Education Research (Koli Calling), Koli National Park, Finland, 28-31, Oct 2009. Published in: Koli Calling 2009 : 9th International Conference on Computing Education Research pp. 47-50.

Butt, I. and Rajpoot, Nasir M. (Nasir Mahmood) (2009) Multilateral filtering : a novel framework for generic similarity-based image denoising. In: 16th IEEE International Conference on Image Processing (ICIP 2009), Cairo, Egypt, 7-10 Nov, 2009. Published in: 16th IEEE International Conference on Image Processing (ICIP 2009) pp. 2981-2984.

Butt, Irfan T. and Rajpoot, Nasir M. (Nasir Mahmood) (2009) Multilateral filtering : a novel framework for generic similarity-based image denoising. In: 16th IEEE International Conference on Image Processing, Cairo, Egypt, November 07-10, 2009. Published in: 2009 16TH IEEE International Conference on Image Processing pp. 2945-2948.

Chamlawi, Rafiullah, Li, Chang-Tsun, Usman, Imran and Khan, Asifullah (2009) Authentication and recovery of digital images: potential application in video surveillance and remote sensing. In: 27th IEEE International Conference on Consumer Electronics, Las Vegas, NV, January 10-14, 2009. Published in: 2009 IEEE International Conference on Consumer Electronics pp. 421-422.

Chen, X. and Jarvis, Stephen A. (2009) Analysing BitTorrent's seeding strategies. In: Proceedings of the 7th IEEE/IFIP International Conference on Embedded and Ubiqutious Computing (EUC-09), Vancouver, Canada, 29-31 Aug, 2009. Published in: International Conference on Computational Science and Engineering, 2009, Vol.2 pp. 140-149.

Cristea, Alexandra I., Smits, David, Bevan, Jon and Hendrix, Maurice (2009) LAG 2.0: refining a reusable adaptation language and improving on its authoring. In: 4th European Conference on Technology Enhanced Learning, Nice, France, September 29-October 02, 2009. Published in: Lecture Notes in Computer Science, Vol.5794 pp. 7-21.

Czumaj, Artur, Czyzowicz, Jurek, Gasieniec, Leszek, Jansson, Jesper, Lingas, Andrzej and Zylinski, Pawel (2009) Approximation algorithms for buy-at-bulk geometric network design. In: 11th International Workshop on Algorithms and Data Structures (WADS 2009), Banff, Canada, August 21-23, 2009. Published in: Lecture Notes in Computer Science, Vol.5664 pp. 168-180.

Englert, Matthias, Roglin, H., Sponemann, J. and Vocking, B. (2009) Economical Caching. In: Theoretical Aspects of Computer Science

Englert, Matthias and Räcke, Harald (2009) Oblivious routing for the L-p-norm. In: 50th Annual IEEE Symposium on Foundations of Computer Science, Atlanta, GA, October 25-27, 2009. Published in: 2009 50th Annual IEEE Symposium on Foundations of Computer Science pp. 32-40.

Englert, Matthias and Räcke, Harald (2009) Oblivious routing for the Lp-norm. In: 50th Annual IEEE Symposium on Foundations of Computer Science, Atlanta, GA, October 25-27, 2009. Published in: Proceedings of the 2009 50th Annual IEEE Symposium on Foundations of Computer Science pp. 32-40.

Englert, Matthias, Voecking, Berthold and Winkler, Melanie (2009) Economical caching with stochastic prices. In: 5th International Symposium on Stochastic Algorithms - Foundations and Applications, Hokkaido Univ, Sapporo, JAPAN, OCT 26-28, 2009. Published in: Lecture Notes in Computer Science, Vol.5792 pp. 179-190.

Foss, Jonathan G. K. and Cristea, Alexandra I. (2009) Adaptive hypermedia content authoring using MOT3.0. In: 7th International Workshop on Authoring of Adaptive and Adaptable Hypermedia, Nice, France, 29 Sep - 02 Oct 2009

Ghali, Fawaz and Cristea, Alexandra I. (2009) Authoring for E-Learning 2.0: a case study. In: IEEE International Conference on Advanced Learning Technologies, Riga, Latvia, July 15-17, 2009. Published in: ICALT: 2009 IEEE International Conference on Advanced Learning Technologies pp. 170-174.

Ghali, Fawaz and Cristea, Alexandra I. (2009) MOT 2.0 : a case study on the usefuleness of social modeling for personalized e-learning systems. In: 14th International Conference on Artificial Intelligence in Education (AIED 2009), Brighton, England, July 06-10, 2009. Published in: Frontiers in Artificial Intelligence and Applications, Vol.200 pp. 333-340.

Ghali, Fawaz and Cristea, Alexandra I. (2009) Social reference model for adaptive web learning. In: 8th International Conference on Web Based Learning (ICWL 2009), Aachen, Germany, AUG 19-21, 2009. Published in: Lecture Notes in Computer Science, Vol.5686 pp. 162-171.

Hammond, Simon D., Mudalige, G. R., Smith, J. A., Jarvis, S. A., Herdman, J. A. and Vadgama, A. (2009) WARPP : a toolkit for simulating high performance parallel scientific codes. In: 2nd International Conference on Simulation Tools and Techniques (SIMUTools09), Rome, Italy, 2-6 Mar 2009. Published in: SIMUTools '09 2nd International Conference on Simulation Tools and Techniques Article no. 19.

Hammond, Simon D., Smith, J. A., Mudalige, G. R. and Jarvis, Stephen A. (2009) Predictive simulation of HPC applications. In: 23rd International Conference on Advanced Information Networking and Applications Workshops, Bradford, England, May 26-29, 2009. Published in: 2009 International Conference on Advanced Information Networking and Applications pp. 33-40.

Hartswood , Mark, Taylor , Paul, Blot, Lilian, Anderson, S., Procter , Robert N., Wilkinson, Laura and Smart, Louise (2009) Reading the lesson : eliciting requirements for a mammography training application. In: Medical Imaging 2009: Image Perception, Observer Performance, and Technology Assessment, Lake Buena Vista, FL, USA, 11 Feb 2009. Published in: Proc. SPIE 7263, Vol.7263

He, Ligang, Calleja, Mark, Hayes, Mark and Jarvis, Stephen A. (2009) Performance prediction for running workflows under role-based authorization mechanisms. In: 23rd IEEE International Symposium on Parallel and Distributed Processing, Rome, Italy, May 23-29, 2009. Published in: 2009 IEEE International Symposium on Parallel and Distributed Processing pp. 2767-2774.

Hendrix, M. and Cristea, Alexandra I. (2009) Design of the CAM Model and Authoring Tool. In: 7th International Workshop on Authoring of Adaptive and Adaptable Hypermedia (A3H 2009), Nice, France, 29 Sep - 02 Oct 2009

Hendrix, Maurice, Cristea, Alexandra I. and Stewart, Craig (2009) Adaptation languages for learning: the CAM meta-model. In: IEEE International Conference on Advanced Learning Technologies, Riga, Latvia, July 15-17, 2009. Published in: ICALT 2009: 9th International Conference on Advanced Learning Technologies, Proceedings pp. 104-106.

Jhumka, Arshad and Leeke, Matthew (2009) Issues on the design of efficient fail-safe fault tolerance. In: 20th International Symposium on Software Reliability Engineering, 2009. ISSRE '09, Mysuru, Karnataka, 16-19 Nov 2009 . Published in: International Symposium on Software Reliability Engineering. Proceedings pp. 155-164.

Jhumka, Arshad and Mottola, Luca (2009) On consistent neighborhood views in wireless sensor networks. In: 28th IEEE International Symposium on Reliable Distributed Systems, Niagara Falls, NY, September 27-30, 2009. Published in: 2009 28th IEEE International Symposium on Reliable Distributed Systems, Proceedings pp. 199-208.

Jormanainen, I., Beynon, W. M. and Sutinen, E. (2009) Understanding Open Learning Processes in a Robotics Class. In: International Conference on Computing Education Research (Koli Calling), Koli National Park, Finland

Joy, Mike, Cosma, Georgina, Sinclair, Jane and Yau, Jane Yin-Kim (2009) A taxonomy of plagiarism in computer science. In: International Conference on Education and New Learning Technologies (EDULEARN09), Barcelona, Spain, 6-8 Jul 2009 pp. 3372-3379.

Jurdzinski, Marcin (2009) Algorithms for solving infinite games. In: 35th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlyn, Czech Republic, January 24-30, 2009. Published in: Lecture Notes in Computer Science, Vol.5404 pp. 46-48.

Jurdzinski, Marcin, Kwiatkowska, Marta, Norman, Gethin and Trivedi, Ashutosh (2009) Concavely-priced probabilistic timed automata. In: 30th International Conference on Concurrency Theory, Bologna, Italy, September 01-04, 2009. Published in: Lecture Notes in Computer Science, Vol.5710 pp. 415-430.

Jurdzinski, Marcin, Lazic, Ranko and Rutkowski, Michał, Ph.D. (2009) Average-price-per-reward games on hybrid automata with strong resets. In: 10th International Conference on Verification, Model Checking, and Abstract Interpretation, Savannah, GA, January 18-20, 2009. Published in: Lecture Notes in Computer Science, Vol.5403 pp. 167-181.

Krishna, Ritesh, Li, Chang-Tsun and Buchanan-Wollaston, Vicky (2009) Interaction based functional clustering of genomic data. In: 9th IEEE International Conference on BioInformatics and BioEngineering, Taichung, Taiwan, June 22-24, 2009. Published in: 2009 9th IEEE International Conference on Bioinformatics and Bioengineering pp. 130-137.

Laine, T. H., Islas Sedano, C., Vinni, M. and Joy, Mike (2009) Characteristics of Pervasive Learning Environments in Museum Contexts. In: 8th World Conference on Mobile and Contextual Learning (mlearn 2009), Orlando, FL, 26-30 Oct 2009

Lee, Jon, Mirrokni, Vahab S., Nagarajan, Viswanath and Sviridenko, Maxim (2009) Non-monotone submodular maximization under matroid and knapsack constraints. In: 41st ACM Symposium on Theory of Computing (STOC 2009), Bethesda, Maryland, 31 May - 2 Jun 2009. Published in: STOC '09 Proceedings of the 41st annual ACM symposium on Theory of computing p. 323.

Leeke, Matthew and Jhumka, Arshad (2009) Beyond the golden run : evaluating the use of reference run models in fault injection analysis. In: UK Performance Engineering Workshop (UKPEW 2009), Leeds, UK, 6-7th July 2009 pp. 61-74.

Leeke, Matthew and Jhumka, Arshad (2009) Evaluating the use of reference run models in fault injection analysis. In: 15th Pacific Rim International Symposium on Dependable Computing, Shanghai, People's Republic of China, November 16-18, 2009. Published in: IEEE 15th Pacific Rim International Symposium on Dependable Computing, Proceedings pp. 121-124.

Li, Chang-Tsun (2009) Source camera identification using enhanced sensor pattern noise. In: 16th IEEE International Conference on Image Processing, Cairo, Egypt, November 07-10, 2009. Published in: 2009 16th IEEE International Conference in Image Procesing, Vols. 1-6 pp. 1493-1496.

Li, Tao and Anand, Sarabjot Singh (2009) Exploiting domain knowledge by automated taxonomy generation in recommender systems. In: 10th International Conference on E-Commerce and Web Technologies, Linz, Austria, September 01-04, 2009. Published in: E-commerce and Web Technologies, Proceeding, 5692 pp. 120-131.

Liu, Shuangyan, Joy, Mike and Griffiths, Nathan (2009) GAOOLE: a Gaia design of agent-based online collaborative learning environment. In: 8th European Conference on e-Learning, Univ Bari, Bari, Italy, October 29-30, 2009. Published in: Proceedings of the 8th European Conference on e-learning pp. 339-350.

Liu, Shuangyan, Joy, Mike and Griffiths, Nathan (2009) iGLS: intelligent grouping for online collaborative learning. In: IEEE International Conference on Advanced Learning Technologies, Riga, Latvia, July 15-17, 2009. Published in: ICALT: 2009 IEEE International Conference on Advanced Learning Technologies pp. 364-368.

Masood, Khalid and Rajpoot, Nasir M. (Nasir Mahmood) (2009) Texture based classification of hyperspectral colon biopsy samples using CLBP. In: IEEE Internaional Symposium on Biomedical Imaging - From Nano to Macro, Boston, MA, June 28-July 01, 2009. Published in: 2009 IEEE International Symposium on Biomedical Imaging: From Nano to Macro, Proceedings pp. 1011-1014.

Mudalige, Gihan R., Hammond, Simon D., Smith, J. A. and Jarvis, Stephen A. (2009) Predictive analysis and optimisation of pipelined wavefront computations. In: 23rd IEEE International Parallel and Distributed Processing Symposium, Rome, Italy, May 23-29, 2009. Published in: 2009 IEEE International Symposium on Parallel & Distributed Processing, Vols.1-5 pp. 1208-1215.

Murtaza, K., Khan, S. and Rajpoot, Nasir M. (Nasir Mahmood) (2009) VillageFinder: Segmentation of Nucleated Villages in Satellite Imagery. In: British Machine Vision Conference (BMVC 2009), London, UK, 7-10 September, 2009

Nurse, Jason R. C. and Sinclair, Jane (2009) BOF4WSS: a business-oriented framework for enhancing web services security for e-business. In: 4th International Conference on Internet and Web Applications and Services, Venice, Italy, May 24-28, 2009. Published in: ICIW 2009. Fourth International Conference on Internet and Web Applications and Service pp. 286-291.

Nurse, Jason R. C. and Sinclair, Jane (2009) Supporting the comparison of business-level security requirements within cross-enterprise service development. In: 12th International Conference on Business Information Systems, Poznan, Poland, April 27-29, 2009. Published in: Lecture Notes in Business Information Processing, Vol.21 pp. 61-72.

Popham, T. J. and Wilson, Roland, 1949- (2009) Selecting surface features for accurate multi-camera surface reconstruction. In: British Machine Vision Conference (BMVC), Aberystwyth, UK

Procter , Robert N., Poschen, Meik, Lin, Yuwei, Goble, Carole, 1961- and De Roure, David C. (2009) Issues for the sharing and re-use of scientific workflows. In: 5th International Conference on e-Social Science, Köln, Germany, 24-26 Jun 2009

Qureshi, H., Rajpoot, Nasir M. (Nasir Mahmood), Nattkemper, T. and Hans, V. (2009) A robust adaptive wavelet-based method for classification of meningioma histology images. In: Workshop on Optical Tissue Image Analysis in Microscopy, Histology, and Endoscopy (OPTIMHisE), London, UK, 20-24 September, 2009 pp. 31-42.

Randall , Dave, Steven, R., Sharrock, Wes, Procter , Robert N., Lin, Y and Poschen, Meik (2009) What about sea urchins? Collaborative ontology building among bio-informaticians. In: 5th International Conference on e-Social Science, Köln, Germany, 24-26 Jun 2009. Published in: Proceedings of 5th International Conference on e-Social Science

Rossello, M. R., Griffiths, Nathan and Kalvala, Sara (2009) Networking strategies in streptomyces coelicolor. In: 2nd International Conference on Bioinformatics and Systems Biology (BSB 2009), Leipzig, Germany

Räcke, Harald (2009) Survey on oblivious routing strategies. In: 5th Conference on Computability in Europe (CiE 2009), Heidelberg, Germany, July 19-24, 2009. Published in: Lecture Notes in Computer Science, Vol.5635 pp. 419-429.

Räcke, Harald and Rosen, Adi (2009) Approximation algorithms for time-constrained scheduling on line networks. In: 21st ACM Symposium on Parallelism in Algorithms and Architectures, Calgary, Canada, August 11-13, 2009. Published in: SPAA '09: Proceedings of the Twenty-First Annual Symposium on Parallelism in Algorithms and Architecture pp. 337-346.

Tiskin, Alexander (2009) Periodic string comparison. In: 20th Annual Symposium on Combinatorial Pattern Matching, Lille, France, June 22-24, 2009. Published in: Lecture Notes in Computer Science, Vol.5577 pp. 193-206.

Valdes-Amaro, Daniel and Bhalerao, Abhir (2009) Unsupervised clustering using diffusion maps for local shape modelling. In: 12th International Conference on Computer Aided Systems Theory (EUROCAST 2009), Spain, February 15-20, 2009. Published in: Lecture Notes in Computer Science, Vol.5717 pp. 342-349.

Voss, Alexander, Asgari-Targhi, Marzieh , Procter , Robert N., Halfpenny , Peter, Fragkouli, Elpiniki , Anderson, Sheila , Hughes, Lorna, Fergusson, Dave, Vander Meer, Elizabeth and Atkinson, Malcolm (2009) Adoption of e-infrastructure services : inhibitors enablers and opportunities. In: 5th International Conference on e-Social Science, Köln, Germany, 24-26 Jun 2009. Published in: Proceedings of 5th International Conference on e-Social Science pp. 1-10.

Warburton, Richard and Kalvala, Sara (2009) From specification to optimisation: an architecture for optimisation of Java bytecode. In: 18th International Conference on Compiler Construction, York, England, MAR 22-29, 2009. Published in: Lecture Notes in Computer Science, 5501 pp. 17-31.

Yuan, Yinyin and Li, Chang-Tsun (2009) Inferring causal relations from multivariate time series : a fast method for large-scale gene expression data. In: BioInformatics and BioEngineering (BIBE), 2009 Ninth IEEE International Conference on, Tʻai-chung shih (Taiwan), 2009 pp. 92-99.

Zou, Deqing, He, Ligang, Jin, Hai and Chen, Xueguang (2009) CRBAC: imposing multi-grained constraints on the RBAC model in the multi-application environment. In: IFIP International Workshop on Network and System Security, Dalian, People's Republic of China, September 18-19, 2007. Published in: Journal of Network and Computer Application, Vol.32 (No.2). pp. 402-411.

Working or Discussion Paper

Papavasiliou, Anastasia and Ladroue, Christophe (2009) Parameter estimation for rough differential equations. Working Paper. Coventry: University of Warwick. Centre for Research in Statistical Methodology. (Working papers, Vol.2009).

Book

Buscher, Moniker and Slack, Roger and Rouncefield , Mark and Procter , Robert N. and Hartswood , Mark and Voss , Alex, eds. (2009) Configuring user-designer relations : interdisciplinary perspectives. Computer supported cooperative work . London: Springer. ISBN 9781846289248

Li, Chang-Tsun, ed. (2009) Handbook of research on computational forensics, digital crime and investigation : methods and solutions. IGI Global. ISBN 1605668362

Li, Chang-Tsun, ed. (2009) Multimedia forensics and security. Hershey : Information Science Reference. ISBN 9781599048697

Elson, D. and Rajpoot, Nasir M. (Nasir Mahmood), eds. (2009) Proceedings MICCAI 2009 Workshop on Optical Tissue Microscopy, Histology, and Endoscopy (OPTIMHisE). MICCAI Conference. ISBN 9780956377609

Journal Item

Campbell-Kelly, Martin (2009) Historical reflections computing in the depression era. Communications of the ACM, Vol.52 (No.10). pp. 21-22. ISSN 0001-0782

Zhang, Xuejuan, You, Gongqiang, Chen, Tianping and Feng, Jianfeng (2009) Maximum likelihood decoding of neuronal inputs from an interspike interval distribution. Neural Computation, Vol.21 (No.11). pp. 3079-3105. ISSN 0899-7667

Zou, Cunlu, Denby, Katherine J. and Feng, Jianfeng (2009) Granger causality vs. dynamic Bayesian network inference: a comparative study (vol 10, pg 122, 2009). BMC Bioinformatics, Vol.10 . Article: 401. ISSN 1471-2105