Gay, S. and Nagarajan, R. (2005) Communicating Quantum Processes. In: 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), 12-14 Jan 2005, Long Beach, CA, USA.

A

Adamaszek, A. and Adamaszek, M. (2010) Combinatorics of the Change-Making Problem. European Journal of Combinatorics, 31 (1). pp. 47-63. ISSN 0195-6698

Adamaszek, A. and Adamaszek, M. (2010) Large-Girth Roots of Graphs. In: 27th International Symposium on Theoretical Aspects of Computer Science - STACS 2010, 1-8 Feb 2010, Nancy, France.

Adamaszek, A., Czumaj, A and Lingas, A (2009) PTAS for k-Tour Cover Problem on the Plane for Moderately Large Values of k*. Lecture Notes in Computer Science, 2009,. pp. 994-1003. ISSN 0302-9743

Adamaszek, M., Chrza̧stowski-Wachtel, P. and Adamaszek, A. (2008) VIPER, a Student-Friendly Visual Interpreter of Pascal. Lecture Notes in Computer Science, 5090. pp. 192-203. ISSN 0302-9743

Adler, M., Fitch, F., Goldberg, L.A. and Paterson, M.S. (2000) Tight size bounds for packet headers in narrow meshes. Technical Report. Department of Computer Science, Coventry, UK.

Agarwala, R., Bafna, V., Farach, M., Paterson, M.S. and Thorup, M. (1997) On the approximability of numerical taxonomy (fitting distances by tree metrics). Technical Report. Department of Computer Science, Coventry, UK.

Al-Ammal, H., Goldberg, L.A. and MacKenzie, P.D. (1999) Binary exponential backoff is stable for high arrival rates. Technical Report. Department of Computer Science, Coventry, UK.

Al-Ghamdi, M., Chester, A.P., He, L. and Jarvis, S.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.

Al-Ghamdi, M., Chester, A.P., He, L., Jarvis, S.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), 31st August - 2nd September, 2011, Pafos, Cyprus.

Al-Ghamdi, M., Chester, A.P. and Jarvis, S.A. (2010) Predictive and Dynamic Resource Application for Enterprise Applications. In: 10th IEEE International Conference on Scalable Computing and Communications (SCALCOM10).

Al-Ghamdi, M., Chester, A.P., Xue, J.W.J. and Jarvis, S.A. (2010) The Effect of Server Reallocation Time in Dynamic Resource Allaocation. In: UK Performance Engineering Workshop (UKPEW 2009), 6th July, 2009, Leeds, UK.

Al-Zaidi, M.S., Joy, M.S. and Sinclair, J.E. (2013) Exploring the Use of Micro Note-Taking with Social Interaction Features for Education. In: International Conference on Education and New Learning Technologies (EDULEARN13), 1-3 July 2013, Barcelona, Spain. (In Press)

AlAdraj, R.A. and Joy, M.S. (2013) Security and Collaborative Groupware Tools in Education: Case Study at the University of Bahrain. In: Fourth International e-learning Conference (IeLC 2013), 7-9 May 2013, Bahrain. (In Press)

Albert, D., Nussbaumer, A., Steiner, C.M., Hendrix, M. and Cristea, A.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.

Alexander, S., Boyle, T. and Joy, M.S. (2001) Promoting Best Practice in Information and Computer Science Education Through the UK National Subject Centre. In: World Conference on Educational Multimedia, Hypermedia and Telecommunications (EDMEDIA 2001), 25-30 Jun 2001, Tampere, Finland.

Alexander, T. (2006) Bulk-Synchronous Parallelism: An Emerging paradigm of High-Performance Computing. In: High-Performance Computing: Paradigm and Infrastructure. John Wiley & Sons, Inc., pp. 69-80. ISBN 9780471654711

Alexander-Craig, I.D. (1994) Agents that model themselves. Technical Report. Department of Computer Science, Coventry, UK.

Alexander-Craig, I.D. (1987) The BB-SR system. Technical Report. Department of Computer Science, Coventry, UK.

Alexander-Craig, I.D. (1987) The Blackboard architecture: a definition and its implications. Technical Report. Department of Computer Science, Coventry, UK.

Alexander-Craig, I.D. (1987) The Blackboard architecture: example systems. Technical Report. Department of Computer Science, Coventry, UK.

Alexander-Craig, I.D. (1987) Blackboard systems. Technical Report. Department of Computer Science, Coventry, UK.

Alexander-Craig, I.D. (1987) CASSANDRA-II: a distributed Blackboard system. Technical Report. Department of Computer Science, Coventry, UK.

Alexander-Craig, I.D. (1991) Elektra: a reflective production system. Technical Report. Department of Computer Science, Coventry, UK.

Alexander-Craig, I.D. (1991) Extending Cassandra. Technical Report. Department of Computer Science, Coventry, UK.

Alexander-Craig, I.D. (1991) Formal specification of AI systems: four case studies. Technical Report. Department of Computer Science, Coventry, UK.

Alexander-Craig, I.D. (1991) Formal techniques in the development of Blackboard systems. Technical Report. Department of Computer Science, Coventry, UK.

Alexander-Craig, I.D. (1991) Logicism and meaning: the case against (draft). Technical Report. Department of Computer Science, Coventry, UK.

Alexander-Craig, I.D. (1991) Making Cassandra parallel and distributed. Technical Report. Department of Computer Science, Coventry, UK.

Alexander-Craig, I.D. (1991) Meanings and messages. Technical Report. Department of Computer Science, Coventry, UK.

Alexander-Craig, I.D. (1996) Multi-agent systems: a risk to freedom. Technical Report. Department of Computer Science, Coventry, UK.

Alexander-Craig, I.D. (1997) Programs that model themselves. Technical Report. Department of Computer Science, Coventry, UK.

Alexander-Craig, I.D. (1992) Replacing Cassandra. Technical Report. Department of Computer Science, Coventry, UK.

Alexander-Craig, I.D. (1991) Rule interpreters in ELEKTRA. Technical Report. Department of Computer Science, Coventry, UK.

Alexander-Craig, I.D. (1987) SeRPenS - a production rule interpreter. Technical Report. Department of Computer Science, Coventry, UK.

Alexander-Craig, I.D. (1988) WINNSOME: a neural network simulation package. Technical Report. Department of Computer Science, Coventry, UK.

Alexander-Craig, I.D. (1992) Where do you want to go on holiday? Technical Report. Department of Computer Science, Coventry, UK.

Alexander-Craig, I.D. (1987) A distributed Blackboard architecture. Technical Report. Department of Computer Science, Coventry, UK.

Alexander-Craig, I.D. (1995) The formal specification of ELEKTRA. Technical Report. Department of Computer Science, Coventry, UK.

Alexander-Craig, I.D. (1991) The formal specification of a Blackboard framework. Technical Report. Department of Computer Science, Coventry, UK.

Alexander-Craig, I.D. (1992) The new implementation of Cassandra. Technical Report. Department of Computer Science, Coventry, UK.

Alexander-Craig, I.D. (1993) A new interpretation of the Blackboard architecture. Technical Report. Department of Computer Science, Coventry, UK.

Alexander-Craig, I.D. (1987) An overview of CASSANDRA-II. Technical Report. Department of Computer Science, Coventry, UK.

Alexander-Craig, I.D. (1994) A perspective on multi-agent systems. Technical Report. Department of Computer Science, Coventry, UK.

Alexander-Craig, I.D. (1996) A review of 'Android Epistemology'. Technical Report. Department of Computer Science, Coventry, UK.

Alexander-Craig, I.D. (1991) The role of formal specification in rule-based real-time AI (extended abstract). Technical Report. Department of Computer Science, Coventry, UK.

Alexander-Craig, I.D. and Thomas, R.F. (1987) Learning to program: a cognitive model for an ITS. Technical Report. Department of Computer Science, Coventry, UK.

Alexander-Craig, I.D. and Wilson, D.H. (1987) CONFER: a knowledge system for bio-process control. Technical Report. Department of Computer Science, Coventry, UK.

Alkindi, A.M., Kerbyson, D.J., Papaefstathiou, E. and Nudd, G.R. (2001) Dynamic Optimisation of Application Execution on Distributed Systems. Future Generation Computing Systems, 17 (8). pp. 941-949.

Allderidge, J., Beynon, W.M., Cartwright, R.I. and Yung, Y.P. (1997) Enabling technologies for empirical modelling in graphics. Technical Report. Department of Computer Science, Coventry, UK.

Amos, M., Gibbons, A.M. and Hodgson, D. (1996) Error-resistant implementation of DNA computations. Technical Report. Department of Computer Science, Coventry, UK.

Anand, S.S., Bell, D.A. and Hughes, J.G. (1996) EDM: A General Framework for Data Mining based on Evidence Theory. Data and Knowledge Engineering, 18. pp. 189-223.

Anand, S.S. and Hughes, J.G. (1998) Hybrid Data Mining Systems: The Next Generation. In: 2nd Pacific-Asia Conference in Knowledge Discovery and Data Mining (PAKDD-98), 1998, Melbourne, Australia.

Anand, S.S., Kearney, P. and Shapcott, M. (2007) Generating Semantically Enriched User Profiles for Web Personalization. ACM Transactions on Internet Technology, 7 (4).

Anand, S.S. and Mobasher, B. (2007) Contextual Recommendation. Lecture Notes in Artificial Intelligence, 4737. pp. 142-160.

Anand, S.S., Patrick, A.R, Hughes, J.G. and Bell, D.A. (1998) A Data Mining Methodology for Cross Sales. Knowledge-Based Systems, 10 (7). pp. 449-461.

Anand, S.S., Patterson, D. and Hughes, J.G. (1998) Knowledge Intensive Exception Spaces. In: 15th National Conference On Artificial intelligence (AAAI-98), 1998.

Anand, S.S., Patterson, D., Hughes, J.G. and Bell, D.A. (1998) Discovering Case Knowledge using Data Mining. In: 2nd Pacific-Asia Conference on Knowledge Discovery and Data Mining (PAKDD-98), 1998, Melbourne, Australia.

Ardeshir-Larijani, E. and Sarbazi-Azad, H. (2007) Parallel Hermite Interpolation on the Pyramid. In: 22nd International Symposium on Computer and Information Sciences (ISCIS 2007), 7-9 Nov 2007, Ankara, Turkey.

Arif, M. and Rajpoot, N.M. (2007) Classification of Potential Nuclei in Histology Images using Shape Manifold Learning. In: International Conference on Machine Vision (ICMV 2007), 28-29 December, 2007, Islamabad, Pakistan.

Arif, M. and Rajpoot, N.M. (2007) Detection of Nuclei by Unsupervised Manifold Learning. In: 11th Medical Image Understanding and Analysis (MIUA 2007), 17-18 July, 2007, Aberystwyth, Wales.

Arumugam, M., Jhumka, A., Abujarad, F. and Kulkarni, S.S. (2008) Stabilizing Inference-Free Slot Assignment for Wireless Mesh Networks. In: Guide to Wireless Mesh Networks. Springer. ISBN 978-1-84800-908-0

Ashcroft, E.A. and Wadge, W.W. (1975) Lucid - A Formal System for Writing and Proving Programs. Technical Report. Department of Computer Science, Coventry, UK.

Ashcroft, E.A. and Wadge, W.W. (1976) Lucid, a nonprocedural language with iteration. Technical Report. Department of Computer Science, Coventry, UK.

Ashcroft, E.A. and Wadge, W.W. (1979) R for semantics. Technical Report. Department of Computer Science, Coventry, UK.

Ashcroft, E.A. and Wadge, W.W. (1977) Scope structures and defined functions in Lucid. Technical Report. Department of Computer Science, Coventry, UK.

Ashcroft, E.A. and Wadge, W.W. (1979) Some common misconceptions about Lucid. Technical Report. Department of Computer Science, Coventry, UK.

Ashcroft, E.A. and Wadge, W.W. (1980) Structive Lucid. Technical Report. Department of Computer Science, Coventry, UK.

Atherton, T.J., Kerbyson, D.J. and Nudd, G.R. (1992) An heterogeneous M-SIMD architecture for Kalman Filter controlled processing of image sequences. Technical Report. Department of Computer Science, Coventry, UK.

Awan, A., Rajpoot, N.M. and Husain, S. (2003) Stack-Run Adaptive Wavelet Image Compression. In: IEEE Data Compression Conference (DCC 2003), 25-27 March, 2003, Utah, US.

Awan, M.S.K. and Jarvis, S.A. (2010) Understanding Resource Provisioning for ClimatePredication.net. In: 10th IEEE International Conference on Scalable Computing and Communications (SCALCOM10), Bradford, UK.

Axford, T.H. and Joy, M.S. (1996) Aladin: An Abstract Machine for Integrating Functional and Procedural Programming. Journal of Programming Languages, 4. pp. 63-76. ISSN 0963-9306

Axford, T.H. and Joy, M.S. (1993) List Processing Primitives for Parallel Computation. Computer Languages, 19 (1). pp. 1-17.

Axford, T.H. and Joy, M.S. (1991) List processing in parallel. Technical Report. Department of Computer Science, Coventry, UK.

Axford, T.H. and Joy, M.S. (1992) List processing in parallel languages. Technical Report. Department of Computer Science, Coventry, UK.

Aziz, H. and Paterson, M.S. (2008) Variation in weighted voting games. Technical Report. Department of Computer Science, Coventry, UK.

Aziz, H., Paterson, M.S. and Leech, D. (2007) Efficient algorithm for designing weighted voting games. Technical Report. Department of Computer Science, Coventry, UK.

B

Bacigalupo, D.A., Jarvis, S.A., He, L. and Nudd, G.R. (2004) An Investigation into the Application of Different Performance Techniques to e-Commerce Applications. In: Workshop on Performance Modelling, Evaluation and Optimization of Parallel and Distributed Systems (PMEO'04), 26 - 30 April, 2004, Santa Fe, New Mexico, USA.

Bacigalupo, D.A., Jarvis, S.A., He, L., Spooner, D.P., Dillenberger, D.N. and Nudd, G.R. (2005) An Investigation into the Application of Different Performance Prediction Methods to Distributed Enterprise Applications. The Journal of Supercomputing, 34 (2). pp. 93-111. ISSN 0920-8542

Bacigalupo, D.A., Jarvis, S.A., He, L., Spooner, D.P. and Nudd, G.R. (2005) A Comparative Evaluation of Two Techniques for Predicting the Performance of Dynamic Enterprise Systems. In: Parallel Computing (ParCo) 2005, 13-16 September, 2005, Malaga, Spain.

Bacigalupo, D.A., Jarvis, S.A., He, L., Spooner, D.P. and Nudd, G.R. (2005) Comparing Layered Queuing and Historical Performance Models of a Distributed Enterprise Application. In: Proceedings of the International Conference on Parallel and Distributed Computing and Network (PDCN'05), 15-17 February, 2005, Innsbruck, Austria.

Bacigalupo, D.A., Turner, J.D., Jarvis, S.A., Dillenberger, D.N. and Nudd, G.R. (2003) A Dynamic Predictive Framework for e-business Workload Management. In: Proceedings of the 7th World Multiconference on Systemics, Cybernetics and Informatics (SCI 2003, 27-30 July, 2003, Orlando, USA.

Bacigalupo, D.A., Turner, J.D., Jarvis, S.A. and Nudd, G.R. (2003) Modelling Dynamic e-Business Applications Using Historical Performance Data. In: Proceedings of the 19th Annual UK Performance Engineering Workshop (UKPEW'2003), 9-10 July, 2003, University of Warwick, Coventry, UK.

Bacigalupo, D.A., Xue, J.W.J., Hammond, S.D., Jarvis, S.A., Dillenberger, D.N. and Nudd, G.R. (2007) Predicting the Effect on Performance of Container-Managed Persistence in a Distributed Enterprise Application. In: 6th International Workshop on Performance Modelling, Evaluation and Optimization of Parallel and Distributed Systems (PMEO'07), Long Beach, California, USA.

Bacigalupo, D.A., van Hemert, J., Usmani, A., Dillenberger, D.N., Wills, G. B. and Jarvis, S.A. (2010) Resource Management of Enterprise Cloud Systems Using Layered Queuing and Historical Performance Models. In: 9th International Workshop on Performance Modelling, Evaluation and Optimisation of Ubiquitous Computing and Network Systems, April 19-23, 2010, Atlanta, USA.

Banos, V., Stepanyan, K., Joy, M.S., Cristea, A.I. and Manolopoulos, Y. (2012) Technological Foundations of the Current Blogosphere. In: The 2nd International Conference on Web Intelligence, Mining and Semantics (WIMS'12), 13-15 June 2012, Craiova, Romania.

Baude, F. (1992) PRAM implementation on fine-grained MIMD multicomputers. Technical Report. Department of Computer Science, Coventry, UK.

Bednarik, R., Joy, M.S., Moreno, A., Myller, N., Sun, S. and Sutinen, E. (2005) Multi-Agent Educational System for Program Visualization. In: 2005 International Conference on Computational Intelligence for Modelling, Control and Automation, and International Conference on Intelligent Agents, Web Technologies and Internet Commerce (CIMCA-IAWTIC’05), 28-30 Nov 2005, Vienna, Austria.

Belkada, S., Cristea, A.I. and Okamoto, T. (2001) DiscoverNet: Adaptive Simulation-Based Learning Environment and Support System for Designing Neural Networks. Journal of Educational Technology Research.

Belkada, S., Cristea, A.I. and Okamoto, T. (2001) Measuring Knowledge Transfer Skills by Using Constrained-Student Modeler Autonomous Agent. In: 2nd IEEE International Conference on Advanced Learning Technologies (ICALT 2001), 6-8 August, 2001, Madison, USA.

Berenbrink, P., Friedetzky, T. and Goldberg, L.A. (2001) The natural work-stealing algorithm is stable. Technical Report. Department of Computer Science, Coventry, UK.

Berenbrink, P., Friedetzky, T. and Martin, R. (2004) Dynamic diffusion load balancing. Technical Report. Department of Computer Science, Coventry, UK.

Berenbrink, P., Goldberg, L.A., Goldberg, P.W. and Martin, R. (2004) Utilitarian resource assignment. Technical Report. Department of Computer Science, Coventry, UK.

Berry, V. (1998) An improved polynomial time algorithm for computing the refined Buneman tree. Technical Report. Department of Computer Science, Coventry, UK.

Berry, V. and Gascuel, O. (1998) Inferring evolutionary Trees with Strong Combinatorial Evidence. Technical Report. Department of Computer Science, Coventry, UK.

Beynon, W.M. (1986) ARCA - a notation for displaying and manipulating combinatorial diagrams. Technical Report. Department of Computer Science, Coventry, UK.

Beynon, W.M. (2005) Computational Support for Realism in Virtual Environments. In: 11th International Conference on Human-Computer Interaction (HCI 2005), 22-27 July, 2005, Las Vegas, USA.

Beynon, W.M. (2007) Computing Technology for Learning - in Need of a Radical New Conception. Educational Technology and Society, 10 (1). pp. 94-106. ISSN 1436-4522

Beynon, W.M. (2009) Constructivist Computer Science Education Reconstructed. ITALICS e-Journal, 8 (2). pp. 73-90.

Beynon, W.M. (1982) Coset enumeration as closure computation. Technical Report. Department of Computer Science, Coventry, UK.

Beynon, W.M. (1987) Definitive principles for interactive graphics. Technical Report. Department of Computer Science, Coventry, UK.

Beynon, W.M. (1988) Definitive programming for parallelism. Technical Report. Department of Computer Science, Coventry, UK.

Beynon, W.M. (1988) Evaluating definitive principles for interaction in graphics. Technical Report. Department of Computer Science, Coventry, UK.

Beynon, W.M. (1986) The LSD notation for communicating systems. Technical Report. Department of Computer Science, Coventry, UK.

Beynon, W.M. (2001) Liberating the Computer Arts. In: 1st International Conference on Digital and Academic Liberty of Information (DALI 2001), Aizu, Japan.

Beynon, W.M. (2006) Mathematics and Music - Models and Morals. In: The Bridges Conference: Mathematical Connections in Art, Music, and Science, 4 - 9 August, 2006.

Beynon, W.M. (1998) Modelling state in mind and machine. Technical Report. Department of Computer Science, Coventry, UK.

Beynon, W.M. (1987) Monotone Boolean functions as combinatorially piecewise linear maps. Technical Report. Department of Computer Science, Coventry, UK.

Beynon, W.M. (1984) Monotone Boolean functions computable by planar circuits. Technical Report. Department of Computer Science, Coventry, UK.

Beynon, W.M. (1981) On Raney's binary encoding for continued fractions, generalisations of Pell's Equation, and the theory of factorisation. Technical Report. Department of Computer Science, Coventry, UK.

Beynon, W.M. (1978) On the structure of free finite state machines. Technical Report. Department of Computer Science, Coventry, UK.

Beynon, W.M. (1992) Programming principles for the semantics of the semantics of programs. Technical Report. Department of Computer Science, Coventry, UK.

Beynon, W.M. (2005) Radical Empiricism, Empirical Modelling and the Nature of Knowing. Pragmatics and Cognition, 13 (3). pp. 615-646. ISSN 0929-0907

Beynon, W.M. (1984) Replaceability and computational equivalence in finite distributive lattices. Technical Report. Department of Computer Science, Coventry, UK.

Beynon, W.M. (2006) Towards Technology for Learning in a Developing World. In: IEEE 4th International Workshop on Technology for Education in Developing Countries (TEDC 2006), 10 - 12 July, 2006, Iringa, Tanzania.

Beynon, W.M. (2007) Visualisation using Empirical Modelling Principles and Tools. In: AHRC ICT Methods Network Expert Workshop, 19 June, 2007, Birmingham, UK.

Beynon, W.M. (1983) A definition of the ARCA notation. Technical Report. Department of Computer Science, Coventry, UK.

Beynon, W.M., Angier, D., Bissell, T. and Hunt, S. (1986) DoNaLD: a line-drawing system based on definitive principles. Technical Report. Department of Computer Science, Coventry, UK.

Beynon, W.M. and Beynon, Will (2012) Construals as a Complement to Intelligent Tutoring Systems in Medical Education. Technical Report. Department of Computer Science.

Beynon, W.M., Bhalerao, A.H., Roe, C. and Ward, A. (2003) A Computer-based Environment for the Study of Relational Query Languages. In: The Teaching, Learning and Assessment in Databases Workshop, 14th July, 2003, Coventry, UK.

Beynon, W.M., Boyatt, R.C. and Russ, S.B. (2006) Rethinking Programming. In: 3rd International Conference on Information Technology: New Generations (ITNG 2006), 10 - 12 April, 2006, Las Vegas, Nevada.

Beynon, W.M. and Buckle, J.F. (1985) Computation equivalence and replaceability in finite algebras. Technical Report. Department of Computer Science, Coventry, UK.

Beynon, W.M., Cartwright, A. and Yung, Y.P. (1995) Databases from an agent-oriented perspective. Technical Report. Department of Computer Science, Coventry, UK.

Beynon, W.M., Cartwright, R.I., Cartwright, A. and Yung, Y.P. (1996) Abstract geometry for design in an empirical modelling context. Technical Report. Department of Computer Science, Coventry, UK.

Beynon, W.M., Cartwright, R.I., Rungrattanaubol, J. and Sun, P.H. (1999) Interactive situation models for systems development. Technical Report. Department of Computer Science, Coventry, UK.

Beynon, W.M., Ch'en, Y.-C., Hseu, H.-W., Maad, S., Rasmequan, S., Roe, C., Rungrattanaubol, J., Russ, S.B., Ward, A. and Wong, A. (2001) The Computer as Instrument. In: Cognitive Technology: instruments of mind. Lecture Notes in Computer Science, 2117 . Springer-Verlag, pp. 476-489. ISBN 3540424067

Beynon, W.M. and Chan, Z.E. (2009) Computing for construals in distributed participatory design - principles and tools. Technical Report. Department of Computer Science, Coventry, UK.

Beynon, W.M. and Chan, Z.E. (2006) A Conception of Computing Technology Better Suited to Distributed Participatory Design. In: NordiCHI Workshop on Distributed Participatory Design, 14 October, 2006, Oslo, Norway.

Beynon, W.M. and Harfield, A. (2010) Constructionism through Construal by Computer. In: Constructionism 2010, Paris, France.

Beynon, W.M. and Harfield, A. (2005) Empirical Modelling in Support of Constructionist Learning. In: 5th IEEE International Conference on Advanced Learning Technologies (ICALT 2005), 5-8 July, 2005, Kaohsiung, Taiwan.

Beynon, W.M. and Harfield, A. (2005) Empirical Modelling in support of constructionism: a case study. Technical Report. Department of Computer Science, Coventry, UK.

Beynon, W.M. and Harfield, A. (2007) Lifelong Learning, Empirical Modelling and the Promises of Constructivism. Journal of Computers, 2 (3). pp. 43-55. ISSN 1796-203X

Beynon, W.M. and Harfield, A. (2006) Rethinking Life-long Learning: the Empirical Modelling Approach. In: 6th IEEE International Conference on Advanced Learning Technologies (ICALT 2006), 5-7 July, 2006, Kerkrade, The Netherlands.

Beynon, W.M., Harfield, A. and Chang, S. (2005) Alternative Model-building for the Study of Socially Interactive Robots. In: AISB 2005 Symposium on Robot Companions Hard Problems and Open Challenges in Human-Robot Interaction, 12 - 15 April, 2005, Hatfield, UK.

Beynon, W.M., Harfield, A. and Jormanainen, I. (2005) Varieties of Concretisation: an Illustrative Example. In: 5th Annual Finnish/Baltic Sea Conference on Computer Science Education (Koli Calling 2005), 17-20 November, 2005, Koli National Park, Finland.

Beynon, W.M., Harfield, A. and Vesisenaho, M. (2008) Contextualising Information and Communications Technology in Developing Countries. In: 7th Annual Finnish/Baltic Sea Conference on Computer Science Education (Koli Calling 2007), 15-18 November, 2007, Koli National Park, Finland.

Beynon, W.M. and Iliopoulos, C.S. (1981) Gauss' Algorithm for the solution of quadratic diophantine equations. Technical Report. Department of Computer Science, Coventry, UK.

Beynon, W.M. and Klein, R.R. (2006) Metis meets Empirical Modelling: from Ancient Wisdom to Emerging Technology. In: IST-Africa 2006, 3 - 5 May, 2006, Pretoria, South Africa.

Beynon, W.M. and Maad, S. (2000) Empirical Modelling of Real Life Financial Systems. Journal of Integrated Design and Process Science, 6 (1). pp. 43-58. ISSN 1092-0617

Beynon, W.M. and Maad, S. (2000) Integrated Environments for Virtual Collaboration: an Empirical Modelling Perspective. In: 5th World Conference On Integrated Design & Process Technology, Texas, USA.

Beynon, W.M., Myers, R. and Harfield, A. (2009) Web Eden: Support for Computing as Construction? In: International Conference on Computing Education Research (Koli Calling), Koli National Park, Finland.

Beynon, W.M., Ness, P.E. and Russ, S.B. (1996) Worlds before and beyond words. Technical Report. Department of Computer Science, Coventry, UK.

Beynon, W.M., Norris, M.T., Russ, S.B., Slade, M.D., Yung, Y.P. and Yung, Y.W. (1989) Software construction using definitions: an illustrative example. Technical Report. Department of Computer Science, Coventry, UK.

Beynon, W.M., Norris, M.T. and Slade, M.D. (1988) Definitions for modelling and simulating concurrent systems. Technical Report. Department of Computer Science, Coventry, UK.

Beynon, W.M., Norris, M.T. and Slade, M.D. (1988) Parallel computation in Definitive models. Technical Report. Department of Computer Science, Coventry, UK.

Beynon, W.M., Rasmequan, S. and Russ, S.B. (2000) An Experience-Based Approach to Decision Support Systems. In: IFIP Working Group 8.3, Working Conference on Decision Support Through Knowledge Management, 9-11 July, 2000, Stockholm, Sweden.

Beynon, W.M., Rasmequan, S. and Russ, S.B. (2000) A New Paradigm for Computer-Based Decision Support. Decision Support Systems, 33. pp. 127-142. ISSN 0167-9236

Beynon, W.M., Rasmequan, S. and Russ, S.B. (2000) The Use of Interactive Situation Models for the Development of Business Solutions. In: Perspective in Business Informatics Research (BIR 2000), 31 March - 1 April, 2000, Rostock, Germany.

Beynon, W.M., Roe, C., Ward, A. and Wong, A. (2001) Interactive Situation Models for Cognitive Aspects of User-Artefact Interaction. In: Cognitive Technology: instruments of mind. Lecture Notes in Computer Science, 2117 . Springer-Verlag, pp. 356-372. ISBN 3540424067

Beynon, W.M., Rungrattanaubol, J., Sun, P.H. and Wright, A. (1998) Explanatory models for open-ended human-computer interaction. Technical Report. Department of Computer Science, Coventry, UK.

Beynon, W.M. and Russ, S.B. (1989) The Development and Use of Variables in Mathematics and Computer Science. Technical Report. Department of Computer Science, Coventry, UK.

Beynon, W.M. and Russ, S.B. (1995) Empirical modelling of requirements. Technical Report. Department of Computer Science, Coventry, UK.

Beynon, W.M. and Russ, S.B. (2007) Experimenting with Computing. Journal of Applied Logic, 6 (4). pp. 476-489. ISSN 1570-8683

Beynon, W.M. and Russ, S.B. (2006) Redressing the past: liberating computing as an experimental science. Technical Report. Department of Computer Science, Coventry, UK.

Beynon, W.M. and Russ, S.B. (1992) The interpretation of states: a new foundation for computation? Technical Report. Department of Computer Science, Coventry, UK.

Beynon, W.M., Russ, S.B. and McCarty, W. (2005) Human Computing: Modelling with Meaning. Literary and Linguistic Computing, 21 (2). pp. 141-157. ISSN 1477-4615

Beynon, W.M., Russ, S.B., Slade, M.D., Yung, Y.P. and Yung, Y.W. (1989) Definitive principles and the specification of software. Technical Report. Department of Computer Science, Coventry, UK.

Beynon, W.M., Slade, M.D. and Yung, Y.P. (1990) Protocol specification in concurrent systems software development. Technical Report. Department of Computer Science, Coventry, UK.

Beynon, W.M. and Spaltenstein, N. (1982) The Computation of Green Functions of Finite Chevalley Groups of Type En (n=6,7,8). Technical Report. University of Warwick Computer Centre, Coventry.

Beynon, W.M. and Sun, P.H. (1998) Interactive situation models for program comprehension. Technical Report. Department of Computer Science, Coventry, UK.

Beynon, W.M., Ward, A., Maad, S., Wong, A., Rasmequan, S. and Russ, S.B. (2000) The Temposcope: a Computer Instrument for the Idealist Timetabler. In: 3rd international conference on the practice and Theory of Automated Timetabling, 16-18 August, 2000, Konstanz, Germany.

Beynon, W.M. and Yung, Y.W. (1987) Implementing a definitive notation for interactive graphics. Technical Report. Department of Computer Science, Coventry, UK.

Bhalerao, A.H. (1991) Multiresolution Image Segmentation. PhD thesis, University of Warwick.

Bhalerao, A.H., Anand, S.S. and Saravanan, P (2008) Retinal Fundus Image Contrast Normalization Using Mixture of Gaussians. In: Asilomar Conference on Signals, Systems and Computers, 26 - 29 October, 2008, Monterey, CA, USA.

Bhalerao, A.H., Patanaik, A., Anand, S.S. and Saravanan, P (2008) Robust Detection of Microaneurysms for Sight Threatening Retinopathy Screening. In: Proceedings of the Sixth IEEE Indian Conference on Computer Vision, Graphics and Image Processing (IGVGIP), December, 2008, India.

Bhalerao, A.H., Pfister, H., Halle, M. and Kikinis, R. (2000) Fast Re-Rendering of Volume and Surface Graphics by Depth, Color and Opacity Buffering. Medical Image Analysis, 4 (3). pp. 235-251.

Bhalerao, A.H. and Rajpoot, N.M. (2003) Discriminant Feature Selection for Texture Classification. In: British Machine Vision Conference (BMVC 2003), Norwich, UK.

Bhalerao, A.H. and Summers, P. (2001) Angiotool: A Tool For Interactive Visualization Of MRI Vector And Tensor Fields. Technical Report. University of Warwick, Coventry, UK.

Bhalerao, A.H. and Summers, P.B. (2001) Angiotool: a tool for interactive visualization of MRI vector and tensor fields. Technical Report. Department of Computer Science, Coventry, UK.

Bhalerao, A.H. and Ward, A. (2001) Towards Electronically Assisted Peer Assessment: A Case Study. ALT-J: research in learning technology, 9 (1). pp. 26-37. ISSN 0968-7769 (print) 1741-1629 (online)

Bhalerao, A.H. and Wilson, R.G. (1990) Multiresolution Image Segmentation Combining Region and Boundary Information. Technical Report. Department of Computer Science, Coventry, UK.

Bhalerao, A.H. and Wilson, R.G. (1989) Multiresolution image segmentation. Technical Report. Department of Computer Science, Coventry, UK.

Bhalerao, A.H. and Wilson, R.G. (2001) Unsupervised Image Segmentation Combining Region and Boundary Estimation. Image and Vision Computing, 19 (6). pp. 353-368.

Bhalerao, A.H. and Wilson, R.G. (2000) Unsupervised image segmentation combining region and boundary estimation. Technical Report. Department of Computer Science, Coventry, UK.

Bhalerao, A.H. and Wilson, R.G. (2005) Warplets: An Image-Dependent Wavelet Representation. In: Proceedings of the IEEE International Conference on Image Processing (ICIP'05).

Bhardwaj, J. (2012) The Cyber Security Learning and Research Environment. Technical Report. Department of Computer Science, Coventry, UK.

Bokma, A., Jarvis, S.A., Huiban, M. and Slade, A. (1995) Handling Communication in Concurrent KBS. In: Proceedings of the 8th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, 6-8 June, 1995, Melbourne, Australia.

Boonmee, P., Saunders, N.J. and Jarvis, S.A. (2001) Computational Analysis of Lateral Gene Transfer. In: Proceedings of Bioinformatics 2001, March 2001, Skovde, Sweden.

Bowen, A., Mullins, A., Rajpoot, N.M. and Wilson, R.G. (2005) Photo-Consistency and Multiresolution Methods for Light Field Disparity Estimation. In: IEE International Conference on Visual Information Engineering (VIE 2005), 4-6 April, 2005, Glasgow, UK.

Bowen, A., Mullins, A., Wilson, R.G. and Rajpoot, N.M. (2008) Estimation of Dense, Non-Rigid Motion Fields from a Multi-Camera Array using a Hierarchical Mixture Model. In: Articulated Motion and Deformable Objects. Lecture Notes in Computer Science, 5098 . Springer-Verlag, pp. 11-21. ISBN 3540705163

Bowen, A., Mullins, A., Wilson, R.G. and Rajpoot, N.M. (2005) Light Field Reconstruction Using a Planar Patch Model. In: Image Analysis. Lecture Notes in Computer Science, 3540 . Springer-Verlag, pp. 85-94. ISBN 3540263209

Bowen, A., Mullins, A., Wilson, R.G. and Rajpoot, N.M. (2007) Surface Estimation and Tracking using Sequential MCMC Methods for Video Based Rendering. In: IEEE International Conference on Image Processing (ICIP 2007), 16-19 September, 2007, Texas, USA.

Boyatt, R.C., Harfield, A. and Beynon, W.M. (2006) Learning About and Through Empirical Modelling. In: 6th IEEE International Conference on Advanced Learning Technologies (ICALT 2006), 5-7 July, 2006, Kerkrade, The Netherlands.

Boyatt, R.C. and Joy, M.S. (2012) Developing Learning Materials Using an Ontology of Mathematical Logic. In: IADIS Cognition and Exploratory Learning in Digital Age (CELDA 2012), 19-21 October 2012, Madrid, Spain.

Boyatt, R.C. and Joy, M.S. (2010) Developing an Ontology of Mathematical Logic. Scientific Journal of the Technical University of Civil Engineering Bucharest, 6. pp. 6-11. ISSN 2066-6926

Boyatt, R.C., Joy, M.S., Rocks, C.L. and Sinclair, J.E. (2013) What (use) is a MOOC? In: Learning Technology for Education in Cloud (LTEC 2013), 9-13 September 2013, Kaohsiung, Taiwan. (In Press)

Boyatt, R.C. and Sinclair, J.E. (2008) Experiences of Teaching a Lightweight Formal Method. In: Formal Methods in Computer Science Education, 29 March - 6 April, 2008, Budapest, Hungary.

Boyatt, R.C. and Sinclair, J.E. (2007) Investigating post-completion errors with the Alloy Analyzer. Technical Report. Department of Computer Science, Coventry, UK.

Boyatt, R.C. and Sinclair, J.E. (2012) Navigating the Educational Cloud. In: Workshop on Learning Technology for Education in Cloud (LTEC), 11-13th July 2012, Salamanca, Spain.

Brown, E., Cristea, A.I., Stew, C. and Brailsford, T. (2005) Patterns in Authoring of Adaptive Educational Hypermedia: a Taxonomy of Learning Styles. Educational Technology and Society, 8 (3). pp. 77-90. ISSN 1436-4522

Bryson, K., Joy, M.S., Luck, M. and Jones, D.T. (1999) Using Software Agents to Investigate Genomes. CCP11 Newsletter, 8.

Bryson, K., Luck, M., Joy, M.S. and Jones, D.T. (2001) Agent Interaction for Bioinformatics Data Management. Applied Artificial Intelligence, 15 (10). pp. 917-947. ISSN 0883-9514

Bryson, K., Luck, M., Joy, M.S. and Jones, D.T. (2000) Applying Agents to Bioinformatics in GeneWeaver. In: Cooperative Information Agents IV - The Future of Information Agents in Cyberspace. LNAI (1860). Springer, pp. 60-71. ISBN 978-3-540-67703-1

Bryson, K., Luck, M., Joy, M.S. and Jones, D.T. (1999) GeneWeaver: A Novel Genome Annotation System Based on Software Agents. In: Seventh International Conference on Intelligent Systems for Molecular Biology, 6-10 August 1999, Heidelberg, Germany.

Bryson, K., Luck, M., Joy, M.S., Jones, D.T., Nicolas, P., Bessieres, P. and Gibrat, J.-F. (2002) From GeneWeaver to Agmial. In: Network Tools and Applications in Biology Workshop on Agents in Bioinformatics (NETTAB 2002), 12-14 Jul 2002, Bologna, Italy.

Butt, I. and Rajpoot, N.M. (2009) Multilateral Filtering: a Novel Framework for Generic Similarity-based Image Denoising. In: 16th IEEE International Conference on Image Processing (ICIP 2009), 7-10 November, 2009, Cairo, Egypt.

Byrd, J.M.R., Jarvis, S.A. and Bhalerao, A.H. (2010) On the Parallelisation of MCMC by Speculative Chain Execution. In: Workshop on Multitheaded Architectures and Applications (MTAAP), Atlanta, Georgia, USA.

Byrd, J.M.R., Jarvis, S.A. and Bhalerao, A.H. (2008) Reducing the Run-time of MCMC Programs by Multithreading on SMP Architectures. In: Workshop on Multithreaded Architectures and Applications (MTAAP '08), Miami, Florida.

Byrd, J.M.R., Jarvis, S.A. and Bhalerao, A.H. (2008) Speculative Moves: Multithreading Markov Chain Monte Carlo Programs. In: High-Performance Medical Image Computing and Computer Aided Intervention, New York, USA.

C

Calway, A.D., Knutsson, H. and Wilson, R.G. (1991) Multiresolution estimation of 2-D disparity using a frequency domain approach. Technical Report. Department of Computer Science, Coventry, UK.

Calway, A.D. and Wilson, R.G. (1987) Hierarchical descriptors for nonstationary 1 and 2 dimensional signal processing. Technical Report. Department of Computer Science, Coventry, UK.

Campbell-Kelly, M. (1990) The Airy Tape: an early chapter in the history of debugging. Technical Report. Department of Computer Science, Coventry, UK.

Campbell-Kelly, M. (1987) Charles Babbage's table of logarithms (1827). Technical Report. Department of Computer Science, Coventry, UK.

Cao, J., Jarvis, S.A., Kerbyson, D.J. and Nudd, G.R. (2002) ARMS: an Agent-based Resource Management System for Grid Computing. Scientific Programming, 10 (2). pp. 135-148.

Cao, J., Jarvis, S.A., Saini, S. and Nudd, G.R. (2003) GridFlow: Workflow Management for Grid Computing. In: Proceedings of the 3rd IEEE/ACM International Symposium on Cluster Computing and the Grid (CCGrid'2003), 12-14 May, 2003, Tokyo, Japan.

Cao, J., Jarvis, S.A., Spooner, D.P., Turner, J.D. and Nudd, G.R. (2002) Performance Prediction Technology for Agent-based Resource Management in Grid Environments. In: Proceedings of the 11th IEEE International Heterogeneous Computing Workshop.

Cao, J., Spooner, D.P., Jarvis, S.A. and Nudd, G.R. (2005) Grid Load Balancing Using Intelligent Agents. Future Generation Computer Systems, 21 (1). pp. 135-149.

Cao, J., Spooner, D.P., Jarvis, S.A., Saini, S. and Nudd, G.R. (2003) Agent-based Grid Load Balancing using Performance-driven Task Scheduling. In: Proceedings of the 17th IEEE International Parallel and Distributed Symposium (IPDPS'03), 22-26 April, 2003, Nice, France.

Cao, J., Spooner, D.P., Turner, J.D., Jarvis, S.A., Kerbyson, D.J., Saini, S. and Nudd, G.R. (2002) Agent-based Resource Management for Grid Computing. In: Proceedings of the 2nd IEEE International Symposium on Cluster Computing and the Grid, Berlin, Germany.

Care, C. (2006) Modelling oil reservoirs: analog computing at British Petroleum. Technical Report. Department of Computer Science, Coventry, UK.

Care, C. (2006) The analogue computer as a scientific instrument. Technical Report. Department of Computer Science, Coventry, UK.

Care, C. (2006) A chronology of analogue computing. Technical Report. Department of Computer Science, Coventry, UK.

Cartwright, R.I. (2000) Geometric aspects of Empirical Modelling: issues of design and implementation. PhD thesis, University of Warwick.

Chandra, L.S., Das, A. and Shah, C. (2009) Cubicity, Boxicity, and Vertex Coverstar. Discrete Mathematics, 309. pp. 2488-2496. ISSN 0012-365X

Channa, A., Rajpoot, N.M. and Rajpoot, K. (2006) Texture Segmentation using Ant Tree Clustering. In: IEEE International Conference on Engineering of Intelligent Systems (ICEIS 2006), 14-15 January, 2006, Islamabad, Pakistan.

Chao, K.-M., Younas, M. and Griffiths, N. (2006) BPEL4WS-Based Coordination of Grid Services in Design. Computers in Industry, 57 (8). pp. 778-786.

Chen, G.H. and Wilson, R.G. (1998) Image segmentation based on the multiresolution Fourier transform and Markov random fields. Technical Report. Department of Computer Science, Coventry, UK.

Chen, J., Inoue, H., Okamoto, T., Belkada, S. and Cristea, A.I. (2001) The Development of CALL Environment on the WWW for Teaching Academic English. In: 2nd IEEE International Conference on Advanced Learning Technologies (ICALT 2001), 6-8 August, 2001, Madison, USA.

Chen, X. and Jarvis, S.A. (2009) Analysing BitTorrent's Seeding Strategies. In: Proceedings of the 7th IEEE/IFIP International Conference on Embedded and Ubiqutious Computing (EUC-09), 29-31 August, 2009, Vancouver, Canada.

Chen, X. and Jarvis, S.A. (2007) Design and Implementation of Efficient Range Query over DHT Services. In: Proceedings of the 1st International Conference on Signal Processing and Communication Systems, Gold Coast, Australia.

Chen, X. and Jarvis, S.A. (2007) Distributed Arbitrary Segment Tree: Efficient Range Query Over Public DHT Services. In: 12th IEEE International Workshop on Computer Aided Modeling and Design of Communication Links and Networks, Athens, Greece.

Chen, X., Jarvis, S.A., Tan, G., He, L., Spooner, D.P. and Nudd, G.R. (2005) An Implementation of BLAST over Peer-to-Peer and its Performance Validation through Simulation. In: Proceedings of the 8th International Conference on Computer Modelling and Simulation, 6-8 April, 2005, Oxford, UK.

Chen, Y.-C., Russ, S.B. and Beynon, W.M. (2000) Empirical Modelling for Business Process Reengineering: An Experience-Based Approach. In: Perspective in Business Informatics Research (BIR 2000), 31 March - 1 April, 2000, Rostock, Germany.

Chen, Y.-C., Russ, S.B. and Beynon, W.M. (2000) Participative Process Modelling. In: IEEE International Conference on Systems, Man, and Cybernetics (SMC 2000), 8-11 October, 2000, Tennessee, USA.

Chester, A.P., Leeke, M., Al-Ghamdi, M., Jarvis, S.A. and Jhumka, A. (2011) A Modular Failure-Aware Resource Allocation Architecture for Cloud Computing. In: Proceedings of the UK Performance Engineering Workshop (UKPEW'11), 7-8th July, 2011, Bradford, United Kingdom.

Chester, A.P., Leeke, M., Al-Ghamdi, M., Jhumka, A. and Jarvis, S.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), 31st August - 2nd September, 2011, Pafos, Cyprus.

Chester, A.P., Xue, J.W.J., He, L. and Jarvis, S.A. (2008) A System for Dynamic Resource Allocation in Application Server Clusters. In: UK Performance Engineering Workshop, July 2008, Imperial College, London, UK.

Chester, A.P., Xue, J.W.J., He, L. and Jarvis, S.A. (2008) A System for Dynamic Server Allocation in Application Server Clusters. In: Proceedings of the IEEE International Symposium on Parallel and Distributed Processing with Applications (ISPA'08), 10-12 December, 2011, Sydney, Australia.

Chow, A. and Joy, M.S. (2005) Shifting the Focus from Methodologies to Techniques. In: 6th Annual Conference of the HEA Network for Information and Computer Sciences, 20 Aug - 1 Sep 2005, York, UK.

Chown, P. (1990) GROVER: a graph plotting program for Sun workstations. Technical Report. Department of Computer Science, Coventry, UK.

Chown, P. (1990) Notes on the design of a barrel shifter for the Warwick pipelined CORDIC processor. Technical Report. Department of Computer Science, Coventry, UK.

Chown, P., Walton, D.W. and Nudd, G.R. (1990) VLSI design of a pipelined CORDIC processor. Technical Report. Department of Computer Science, Coventry, UK.

Clarke, C.T. and Nudd, G.R. (1994) Highly non-linear encoders for current mode multiple-valued logic. Technical Report. Department of Computer Science, Coventry, UK.

Clarke, C.T. and Nudd, G.R. (1994) Three dimensional CORDIC with reduced iterations. Technical Report. Department of Computer Science, Coventry, UK.

Clarke, C.T. and Nudd, G.R. (1992) A redundant arithmetic CORDIC system with a unit scale factor. Technical Report. Department of Computer Science, Coventry, UK.

Coja-Oghlan, A, Alon, N, Hàn, H, Kang, M, Rödl, V and Schacht, M (2010) Quasi-Randomness and Algorithmic Regularity for Graphs with General Degree Distributions. Siam Journal on Computing, 39 (6). pp. 2336-2362. ISSN 0097-5397

Coja-Oghlan, A., Blum, A., Frieze, A. and Zhou, S. (2009) Separating Populations with Wide Data: A Spectral Analysis. Electronic Journal of Statistics, 3. pp. 76-113. ISSN 1935-7524

Coja-Oghlan, A., Krivelevich, M. and Vilenchik, D. (2007) Why Almost All k-Colorable Graphs Are Easy to Color. Theory of Computing Systems, 46 (3). pp. 523-565. ISSN 1432-4350

Coja-Oghlan, A., Onsjö, M. and Watanabe, O. (2010) Propagation Connectivity of Random Hypergraphs. In: Approximation, Randomization, and Combinatorial Optimization. Lecture Notes in Computer Science, 6302 (6302). Springer Verlag, London, pp. 490-503. ISBN 978-3-642-15368-6

Cormode, G. (2003) Sequence distance embeddings. PhD thesis, University of Warwick.

Cormode, G., Paterson, M.S., Sahinalp, S.C. and Vishkin, U. (1999) Communication complexity of document exchange. Technical Report. Department of Computer Science, Coventry, UK.

Cosma, G. (2008) An Approach To Source-code Plagiarism Detection And Investigation Using Latent Semantic Analysis. PhD thesis, University of Warwick.

Cosma, G. (2008) An approach to source-code plagiarism detection and investigation using latent semantic analysis. Technical Report. Department of Computer Science, Coventry, UK.

Cosma, G. and Joy, M.S. (2012) An Approach to Source-Code Plagiarism Detection and Investigation using Latent Semantic Analysis. IEEE Transactions on Computers, 61 (3). pp. 379-394.

Cosma, G. and Joy, M.S. (2012) Evaluating the Performance of LSA for Source-code Plagiarism Detection. Informatica, 36 (4). pp. 409-424. ISSN Print edition ISSN: 0350-5596, Web edition ISSN: 1854-3871

Cosma, G. and Joy, M.S. (2006) Source-code Plagiarism: a UK Academic Perspective. Technical Report. University of Warwick, Coventry.

Cosma, G. and Joy, M.S. (2006) Source-code Plagiarism: a UK Academic Perspective. In: 7th Annual Conference of the HEA Network for Information and Computer Sciences, 29-31 August 2006, Dublin, Eire.

Cosma, G. and Joy, M.S. (2006) Source-code plagiarism: an academic perspective. Technical Report. Department of Computer Science, Coventry, UK.

Cosma, G. and Joy, M.S. (2008) Towards a Definition on Source-Code Plagiarism. IEEE Transactions on Education, 51 (2). pp. 195-200.

Cristea, A.I. (2005) Authoring of Adaptive Hypermedia. Educational Technology and Society, 8 (3). pp. 6-8. ISSN 1436-4522

Cristea, A.I. and Burgos, D. (2006) Authoring Adaptive Hypermedia and IMS Learning Design: A possible understanding? In: 6th IEEE International Conference on Advanced Learning Technologies (ICALT 2006), Kerkrade, The Netherlands.

Cristea, A.I. and Carro, R. (2008) Authoring of Adaptive and Adaptable Hypermedia. J.UCS Journal of Universal Computer Science, 14 (17). pp. 2756-2757.

Cristea, A.I. and Carro, R.M. (2007) Authoring of Adaptive and Adaptable Hypermedia: an Introduction. International Journal of Learning Technology (IJLT), 3 (3). pp. 203-208. ISSN 1477-8386

Cristea, A.I. and Ghali, F. (2011) Towards Adaptation in E-Learning 2.0. The New Review of Hypermedia and Multimedia, 17 (2). pp. 199-238.

Cristea, A.I., Ghali, F. and Joy, M.S. (2011) Social, Personalized Lifelong Learning. In: E-Infrastructures and Technologies for Lifelong Learning: Next Generation Environments. IGI Global, Hershey, PA, pp. 90-125. ISBN 978-1-61520-983-5

Cristea, A.I., Hendrix, M. and Nejdl, W. (2006) Automatic and Manual Annotation using Flexible Schemas for Adaptation on the Semantic Desktop. In: Innovative Approaches for Learning and Knowledge Sharing. Lecture Notes in Computer Science, 4227 . Springer-Verlag, pp. 88-102. ISBN 9783540457770

Cristea, A.I. and Nejdl, W. (2006) Adaptive Authoring of Adaptive Courses on the Semantic Desktop Using Malleable Schemas. In: World Conference on E-Learning in Corporate, Government, Healthcare, and Higher Education (ELEARN 2006), Honolulu, Hawaii.

Cristea, A.I. and Okamoto, T. (2001) Object-oriented Collaborative Course Authoring Environment Supported by Concept Mapping in MyEnglishTeacher. Educational Technology and Society, 4 (2). ISSN 1436-4522

Cristea, A.I., Smits, D., Bevan, J. and Hendrix, M. (2009) LAG 2.0: Refining a Reusable Adaptation Language and Improving on its Authoring. In: Learning in the Synergy of Multiple Disciplines. Lecture Notes in Computer Science, 5794 . Springer-Verlag, pp. 7-21. ISBN 9783642046353

Cristea, A.I., Smits, D. and De Bra, P. (2007) Towards a Generic Adaptive Hypermedia Platform: a Conversion Case Study. Journal of Digital Information, 8 (3). ISSN 1368-7506

Cristea, A.I. and Stash, N. (2006) AWELS: Adaptive Web-Based Education and Learning Styles. In: 6th IEEE International Conference on Advanced Learning Technologies (ICALT 2006), Kerkrade, The Netherlands.

Cristea, A.I. and Stewart, C. (2006) Authoring of Adaptive Hypermedia. In: Advances in Web-Based Education: personalized Learning Environments. IGI Global, pp. 225-252. ISBN 9781591406914

Cristea, A.I. and Stewart, C. (2006) Automatic Authoring of Adaptive Educational Hypermedia. In: Web-based Intelligent E-Learning Systems: technologies and Applications. IGI Global, pp. 24-55. ISBN 9781591407294

Cristea, A.I., Stewart, C., Ashman, H. and Cristea, P. (2005) Evaluation of Adaptive Hypermedia Systems' Conversion. In: 16th ACM Conference on Hypertext and Hypermedia, Salzburg, Austria.

Cristea, A.I., Stewart, C., Brailsford, T. and Cristea, P. (2007) Adaptive Hypermedia System Interoperability: a 'Real World' Evaluation. Journal of Digital Information, 8 (3). ISSN 1368-7506

Cross, N. and Wilson, R.G. (1995) Neural networks for object recognition. Technical Report. Department of Computer Science, Coventry, UK.

Cross, N. and Wilson, R.G. (1994) Object representation using circular harmonics. Technical Report. Department of Computer Science, Coventry, UK.

Cryan, M. (1999) Learning and approximation algorithms for problems motivated by evolutionary trees. PhD thesis, University of Warwick.

Cryan, M., Goldberg, L.A. and Goldberg, P.W. (1998) Evolutionary trees can be learned in polynomial time in the two-state general Markov model. Technical Report. Department of Computer Science, Coventry, UK.

Cryan, M., Goldberg, L.A. and Phillips, C.A. (1997) Approximation algorithms for the fixed-topology phylogenetic number problem. Technical Report. Department of Computer Science, Coventry, UK.

Czumaj, A. (2008) Euclidean Traveling Salesperson Problem. In: Encyclopedia of Algorithms. Springer Verlag, pp. 1-99. ISBN 978-0-387-30162-4

Czumaj, A. (1992) Parallel algorithm for the matrix chain product problem. Technical Report. Department of Computer Science, Coventry, UK.

Czumaj, A. (1992) An optimal parallel algorithm for computing a near-optimal order of matrix multiplications. Technical Report. Department of Computer Science, Coventry, UK.

Czumaj, A., Adamaszek, M. and Sohler, C. (2010) Testing Monotone Continuous Distributions on High-dimensional Real Cubes. In: 21st ACM-SIAM Symposium on Discrete Algorithms (SODA'10), Austin, Texas,.

Czumaj, A., 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 978-3-642-03366-7

Czumaj, A., Krysta, P. and Vocking, B. (2010) Selfish Traffic Allocation for Server Farms. Siam Journal on Computing, 39 (5). pp. 1957-1987. ISSN 0097-5397

Czumaj, A. 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, A. and Lingas, A. (2008) Minimum k -Connected Geometric Networks. In: Encyclopedia of Algorithms. SpringerScience+BuisinessMedia, LLC.. ISBN 978-0-387-30162-4

Czumaj, A., 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, A. 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, A. and Sohler, C. (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.

Czumaj, A. and Sohler, C. (2008) Testing Euclidean minimum spanning trees in the plane. ACM Transactions on Algorithms (TALG), 4 (3).

Czumaj, A. and Sohler, C. (2007) Testing Expansion in Bounded-Degree Graphs. In: 48th Annual IEEE Symposium on Foundations of Computer Science.

Czumaj, A. and Vocking, B. (2008) Price of Anarchy for Machines Models. In: Encyclopedia of Algorithms. Springer Science+Business Media, LLC 2008, pp. 1-99. ISBN 978-0-387-30162-4

Czumaj, A. and Wang, X. (2007) Communication Problems in Random Line-of-Sight Ad-Hoc Radio Networks. In: Stochastic Algorithms: Foundations and Applications. Lecture Notes in Computer Science, 4665 . Springer Verlag, pp. 70-81. ISBN 978-3-540-74870-0

Czumaj, A. and Wang, X. (2007) Fast Message Dissemination in Random Geometric Ad-Hoc Radio Networks. In: Algorithms and Computation. Lecture Notes in Computer Science, 4835 . Springer Verlag, pp. 220-231. ISBN 978-3-540-77118-0

D

Dain, J.A. (1985) Error recovery for YACC parsers. Technical Report. Department of Computer Science, Coventry, UK.

Dain, J.A. (1984) Error recovery schemes in LR parsers. Technical Report. Department of Computer Science, Coventry, UK.

Dain, J.A. (1988) Getting women into computing. Technical Report. Department of Computer Science, Coventry, UK.

Dain, J.A. (1992) Minimum Distance Error Recovery for LR Parsers. Technical Report. Department of Computer Science, Coventry, UK.

Dain, J.A. (1987) Minimum distance error correction. Technical Report. Department of Computer Science, Coventry, UK.

Dain, J.A. (1988) Recruitment and performance of female and male students in science. Technical Report. Department of Computer Science, Coventry, UK.

Dain, J.A. (1991) Syntax error handling in language translation systems. Technical Report. Department of Computer Science, Coventry, UK.

Dain, J.A. (1989) Women and computing: some responses to falling numbers in higher education. Technical Report. Department of Computer Science, Coventry, UK.

Davies, A.R. and Wilson, R.G. (1991) Curve and corner extraction using the multiresolution Fourier transform. Technical Report. Department of Computer Science, Coventry, UK.

Davies, A.R. and Wilson, R.G. (1990) Linear feature extraction using the multiresolution Fourier Transform. Technical Report. Department of Computer Science, Coventry, UK.

Daykin, D.E., Daykin, J.W. and Paterson, M.S. (1983) On log concavity for order-preserving and order-non-reversing maps of partial orders. Technical Report. Department of Computer Science, Coventry, UK.

Daykin, J.W. (1984) Inequalities for the number of monotonic functions of partial orders. Technical Report. Department of Computer Science, Coventry, UK.

Deineko, V. and Tiskin, A. (2007) Fast Minimum-Weight Double-Tree Shortcutting for Metric TSP. In: Experimental Algorithms. Lecture Notes in Computer Science, 4525 . Springer Verlag, pp. 136-149. ISBN 978-3-540-72844-3

Deineko, V. and Tiskin, A. (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

Deineko, V. and Tiskin, A. (2006) One-Sided Monge TSP is NP-Hard. In: Computational Science and Its Applications - ICCSA 2006. Lecture Notes in Computer Science, 3982 . Springer Verlag, pp. 793-801. ISBN 978-3-540-34075-1

Dimovski, A. (2007) Compositional software verification based on game semantics. Technical Report. Department of Computer Science, Coventry, UK.

Dimovski, A. and Lazic, R.S. (2004) CSP representation of game semantics for second-order idealized Algol. Technical Report. Department of Computer Science, Coventry, UK.

Dimovski, A. and Lazic, R.S. (2004) Software model checking based on game semantics and CSP. Technical Report. Department of Computer Science, Coventry, UK.

Dolog, P., Kravcik, M., Cristea, A.I., Burgos, D., De Bra, P., Ceri, S., Devedzic, V., Houben, G.J., Libbrecht, P., Matera, M., Melis, E., Nejdl, W., Specht, M., Stewart, C., Smits, D., Stash, N. and Tat, C. (2007) Specification, Authoring and Prototyping of Personalised Workplace Learning Solutions. International Journal of Learning Technology (IJLT), 3 (3). pp. 286-308. ISSN 1477-8386

Dunne, P.E. (1983) Improved upper bounds on the area required to embed arbitrary graphs. Technical Report. Department of Computer Science, Coventry, UK.

Dunne, P.E. (1984) Some results on replacement rules in monotone Boolean networks. Technical Report. Department of Computer Science, Coventry, UK.

Dunne, P.E. (1984) Techniques for the analysis of monotone Boolean networks. Technical Report. Department of Computer Science, Coventry, UK.

Dyer, M., Goldberg, L.A., Greenhill, C., Istrate, G. and Jerrum, M. (2000) Convergence of the iterated prisoner's dilemma game. Technical Report. Department of Computer Science, Coventry, UK.

Dyer, M., Goldberg, L.A., Greenhill, C. and Jerrum, M. (2000) On the relative complexity of approximate counting problems. Technical Report. Department of Computer Science, Coventry, UK.

Dyer, M., Goldberg, L.A., Jerrum, M. and Martin, R. (2004) Markov chain comparison. Technical Report. Department of Computer Science, Coventry, UK.

de Rijke, M. (1996) Bisimulations for temporal logic. Technical Report. Department of Computer Science, Coventry, UK.

de Rijke, M. (1996) A note on graded modal logic. Technical Report. Department of Computer Science, Coventry, UK.

E

Englert, M., Franke, T. and Olbrich, L. (2009) Sensitivity of Wardrop Equilibria. In: Theory of Computing Systems. Lecture Notes in Computer Science, 47 (1). Springer Science+Business Media, LLC 2009, pp. 3-14.

Englert, M., Franke, T. and Olbrich, L. (2008) Sensitivity of Wardrop Equilibria. In: Algorithmic Game Theory. Lecture Notes in Computer Science, 4997 . Springer Verlag, pp. 158-169. ISBN 978-3-540-79308-3

Englert, M., Gupta, A., Krauthgamer, R., Räcke, H., Talgam-Cohen, I. and Talwar, K. (2010) Vertex Sparsifiers: New Results from Old Techniques. In: Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques. Lecture Notes in Computer Science, 6302 . Springer Verlag, pp. 152-165. ISBN 978-3-642-15368-6

Englert, M., Ozmen, D. and Westermann, M. (2008) The Power of Reordering for Online Minimum Makespan Scheduling. In: 49th Annual IEEE Symposium on Foundations of Computer Science.

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

Englert, M., Roglin, H. and Vocking, B. (2007) Worst Case and Probabilistic Analysis of the 2-Opt Algorithm for the TSP. ACM-SIAM symposium on Discrete algorithms. pp. 1295-1304.

Englert, M., Roglin, H. and Vocking, B. (2006) Worst Case and Probabilistic Analysis of the 2-Opt Algorithm for the TSP. In: Electronic Colloquium on Computational Complexity.

Englert, M., Roglin, H. and Westermann, M. (2006) Evaluation of Online Strategies for Reordering Buffers. In: Experimental Algorithms. Lecture Notes in Computer Science, 4007 . Springer Verlag, pp. 183-194. ISBN 978-3-540-34597-8

Englert, M. and Räcke, H. (2009) Oblivious Routing for the Lp-norm. In: Foundations of Computer Science, 2009. FOCS '09. 50th Annual IEEE Symposium on, 25-27 Oct. 2009, Atlanta, GA.

Englert, M., Räcke, H. and Westermann, M. (2007) Reordering Buffers for General Metric Spaces. In: ACM symposium on Theory of computing.

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

Englert, M., Vocking, B. and Winkler, M. (2009) Economical Caching with Stochastic Prices. In: Stochastic Algorithms: Foundations and Applications. Lecture Notes in Computer Science, 5792 . Springer Verlag, pp. 179-190. ISBN 978-3-642-04943-9

Englert, M. and Westermann, M. (2007) Considering Suppressed Packets Improves Buffer Management in QoS Switches. In: ACM-SIAM symposium on Discrete algorithms.

Englert, M. and Westermann, M. (2008) Lower and Upper Bounds on FIFO Buffer Management in QoS Switches. In: Algorithmica. Lecture Notes in Computer Science, 53 (4). Springer Science+Business Media, LLC 2008, pp. 523-548.

Englert, M. and Westermann, M. (2006) Lower and Upper Bounds on FIFO Buffer Management in QoS Switches. In: Algorithms – ESA 2006. Lecture Notes in Computer Science, 4168 . Springer Verlag, pp. 352-363. ISBN 978-3-540-38875-3

Evans, M., Beynon, W.M. and Fischer, C.N. (2001) Empirical Modelling for the Logistics of Rework in the Manufacturing Process. In: 16th Brazilian Congress of Mechanical Engineering, Minas Gerais, Brazil.

F

Farkas, M., Beynon, W.M. and Yung, Y.P. (1993) Agent-oriented modelling for a billiards simulation. Technical Report. Department of Computer Science, Coventry, UK.

Faustini, A.A. (1982) The equivalence of an operational and a denotational semantics for pure dataflow. Technical Report. Department of Computer Science, Coventry, UK.

Faustini, A.A. (1981) An operations semantics for pure dataflow. Technical Report. Department of Computer Science, Coventry, UK.

Fernandes, K., Raja, V., Keast, J., Beynon, W.M., Chan, P.S. and Joy, M.S. (2002) Business and IT Perspectives on AMORE: A Methodology using Object-Orientation in Reengineering Enterprises. In: Systems Engineering for Business Process Change: Collected Papers from the EPSRC Research Program. Springer, London, pp. 274-297. ISBN 1-85233-399-5

Ferreira, W.M., Hill, M.R. and Joseph, M. (1992) Automated timing analysis of real-time programs. Technical Report. Department of Computer Science, Coventry, UK.

Fischer, C.N. and Beynon, W.M. (2001) Empirical Modelling in Product Design. In: 16th Brazilian Congress of Mechanical Engineering, Minas Gerais, Brazil.

Fischer, C.N. and Beynon, W.M. (2001) Empirical Modelling of Products. In: International Conference on Simulation and Multimedia in Engineering Education, Phoenix, Arizona.

Fischer, M.J. and Paterson, M.S. (1992) Fishspear: a priority queue algorithm. Technical Report. Department of Computer Science, Coventry, UK.

Foley, B.P., Spooner, D.P., Isitt, P.J., Jarvis, S.A. and Nudd, G.R. (2005) Performance Prediction for a Code with Data-Dependent Runtimes. In: Proceedings of the UK e-Science All Hands Conference: Innovating through e-Science, 19-22 September, 2005, Nottingham, UK.

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

Foss, J.G.K. and Cristea, A.I. (2010) The Next Generation Authoring Adaptive Hypermedia: Using and Evaluating the MOT3.0 and PEAL Tools. In: ACM Conference on Hypertext and Hypermedia (Hypertext 2010), 13-16 Jun 2010, Toronto, Canada.

Foss, J.G.K. and Cristea, A.I. (2010) Transforming a Linear Module into an Adaptive One: Tackling the Challenge. In: 10th IEEE International Conference on Intelligent Tutoring Systems (ITS 2010), 14-18 Jun 2010, Pittsburgh, USA.

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

Foss, J.G.K., Cristea, A.I. and Hendrix, M. (2010) Continuous Use of Authoring for Adaptive Educational Hypermedia: A Long-term Case Study. In: IEEE International Conference on Advanced Learning Technologies (ICALT 2010), 5-7 Jul 2010, Sousse, Tunisia.

Franks, H.P.W., Griffiths, N. and Jhumka, A. (2010) Image Scoring in Ad-Hoc Networks: An Investigation on Realistic Settings. In: 8th European Workshop on Multi-Agent Systems, Paris, France.

Freiling, F.C. and Jhumka, A. (2010) Global Predicate Detection in Distributed Systems with Small Faults. In: 9th International Symposium on Stabilisation, Safety and Security of Distributed Systems, Paris, France.

G

Gay, S. and Nagarajan, R. (2010) Types and Typechecking for Communicating Quantum Processes. Mathematical Structures in Computer Science, 16 (3). 375 -406. ISSN 0960-1295

Gay, S., Nagarajan, R. and Papanikolaou, N.K. (2010) Specification and Verification of Quantum Protocols. In: Semantic Techniques in Quantum Computation. Cambridge University Press, USA, pp. 414-472. ISBN 9780521513746

Gay, S.J., Nagarajan, R. and Papanikolaou, N.K. (2007) QMC: a Model checker for quantum systems. Technical Report. Department of Computer Science, Coventry, UK.

Gent, I.P. (1993) Analytic proof systems for classical and modal logics of restricted quantification. Technical Report. Department of Computer Science, Coventry, UK.

Gent, I.P. (1991) Finding problems in knowledge bases using modal logics. Technical Report. Department of Computer Science, Coventry, UK.

Gent, I.P. (1990) A sequent system for Lewis's counterfactual logic VC. Technical Report. Department of Computer Science, Coventry, UK.

Gent, I.P. and Cohn, A.G. (1991) Reasoning about hybrid reasoning: a discussion. Technical Report. Department of Computer Science, Coventry, UK.

Ghali, F., Cristea, A.I. and Stewart, C. (2008) My Online Teacher 2.0. In: IGACLE Workshop, 3rd European Conference on Technology Enhanced Learning (ECTEL 2008), 2008, Maastricht, Netherlands.

Gibbons, A.M. (1988) Dynamic expression evaluation in one of a class of problems which are efficiently solvable on mesh-connected computers. Technical Report. Department of Computer Science, Coventry, UK.

Gibbons, A.M. (1989) Optimally edge-colouring outerplanar graphs is in NC. Technical Report. Department of Computer Science, Coventry, UK.

Gibbons, A.M. (1992) A tutorial introduction to distributed memory models of parallel computation. Technical Report. Department of Computer Science, Coventry, UK.

Gibbons, A.M., Israeli, A. and Rytter, W. (1987) Parallel O(log(n)) time edge-colouring of trees and Halin graphs. Technical Report. Department of Computer Science, Coventry, UK.

Gibbons, A.M. and Paterson, M.S. (1992) Dense edge-disjoint embedding of binary trees in the mesh. Technical Report. Department of Computer Science, Coventry, UK.

Gibbons, A.M. and Rytter, W. (1986) Fast parallel algorithms for vertex and edge colouring of Halin graphs. Technical Report. Department of Computer Science, Coventry, UK.

Gibbons, A.M. and Rytter, W. (1987) Observations on the disjointness problem for rational subsets of free partially commutative monoids. Technical Report. Department of Computer Science, Coventry, UK.

Gibbons, A.M. and Rytter, W. (1986) On the decidability of some problems about rational subsets of free partially commutative monoids. Technical Report. Department of Computer Science, Coventry, UK.

Gibbons, A.M. and Rytter, W. (1986) A fast parallel algorithm for optimal edge-colouring of outerplanar graphs. Technical Report. Department of Computer Science, Coventry, UK.

Gibbons, A.M. and Rytter, W. (1986) An optimal parallel algorithm for dynamic expression evaluation and its applications. Technical Report. Department of Computer Science, Coventry, UK.

Gibbons, A.M. and Ziani, R. (1990) The balanced binary tree technique on mesh connected computers. Technical Report. Department of Computer Science, Coventry, UK.

Giridhar, P., Kumar, V. and Joseph, M. (1997) The mine pump control program in Esterel. Technical Report. Department of Computer Science, Coventry, UK.

Gkotsis, G., Stepanyan, K., Cristea, A.I. and Joy, M.S. Self-supervised automated wrapper generation for weblog data extraction. In: 29th British National Conference on Databases (BNCOD 2013), 8-10 July 2013, Oxford, UK. (In Press)

Gkotsis, G., Stepanyan, K., Cristea, A.I. and Joy, M.S. (2013) Zero-cost Labelling with Web Feeds for Weblog Data Extraction. In: 23rd International World Wide Web Conference (WWW 2013), 13-17 May 2013, Rio de Janeiro, Brazil. (In Press)

Goh, W.B. and Martin, G.R. (1991) Deriving optical flow in noisy image sequences. Technical Report. Department of Computer Science, Coventry, UK.

Goldberg, L.A. (1999) Randomly sampling unlabelled structures. Technical Report. Department of Computer Science, Coventry, UK.

Goldberg, L.A., Goldberg, P.W., Phillips, C.A. and Sorking, G.B. (1996) Constructing computer virus phylogenies. Technical Report. Department of Computer Science, Coventry, UK.

Goldberg, L.A., Hart, W.E. and Wilson, D.B. (1996) Learning foraging thresholds for lizards. Technical Report. Department of Computer Science, Coventry, UK.

Goldberg, L.A. and Jerrum, M. (1998) The 'Burnside Process' converges slowly. Technical Report. Department of Computer Science, Coventry, UK.

Goldberg, L.A. and Jerrum, M. (1999) Counting unlabelled subtrees of a tree is #P-complete. Technical Report. Department of Computer Science, Coventry, UK.

Goldberg, L.A. and Jerrum, M. (1996) Randomly sampling molecules. Technical Report. Department of Computer Science, Coventry, UK.

Goldberg, L.A., Jerrum, M., Kannan, S. and Paterson, M.S. (2000) A bound on the capacity of backoff and acknowledgement-based protocols. Technical Report. Department of Computer Science, Coventry, UK.

Goldberg, L.A., Jerrum, M. and Paterson, M.S. (2001) The computational complexity of two-state spin systems. Technical Report. Department of Computer Science, Coventry, UK.

Goldberg, L.A., Kelk, S. and Paterson, M.S. (2001) The complexity of choosing an H-colouring (nearly) uniformly at random. Technical Report. Department of Computer Science, Coventry, UK.

Goldberg, L.A. and MacKenzie, P.D. (1997) Contention resolution with guaranteed constant expected delay. Technical Report. Department of Computer Science, Coventry, UK.

Goldberg, L.A., MacKenzie, P.D., Paterson, M.S. and Srinavasan, A. (1998) Contention Resolution with Constant Expected Delay. Technical Report. Department of Computer Science, Coventry, UK.

Goldberg, L.A., Paterson, M.S., Srinavasan, A. and Sweedyk, E. (1996) Better approximation guarantees for job-shop scheduling. Technical Report. Department of Computer Science, Coventry, UK.

Goldberg, P.W. (1999) Learning fixed-dimension linear thresholds from fragmented data. Technical Report. Department of Computer Science, Coventry, UK.

Goldberg, P.W. (2000) When can two unsupervised learners achieve PAC separation? Technical Report. Department of Computer Science, Coventry, UK.

Golshani, F. (1982) Varqa - A functional query language based on an algebraic approach and conventional mathematical notation. Technical Report. Department of Computer Science, Coventry, UK.

Goswami, A. and Joseph, M. (1988) A semantic model for the specification of real-time processes. Technical Report. Department of Computer Science, Coventry, UK.

Griffiths, N. (2004) Task delegation using experience-based multi-dimensional trust. Technical Report. Department of Computer Science, Coventry, UK.

Griffiths, N. and Chao, K.M. (2004) Experience-based trust: enabling effective resource selection in a grid environment. Technical Report. Department of Computer Science, Coventry, UK.

Griffiths, N. and Luck, M. (2010) Norm Emergence in Tag-Based Cooperation. In: 8th European Workshop on Multi-Agent Systems, Paris, France.

Griffiths, N. (2008) Cooperation through Tags and Context Awareness. In: AISB Symposium on Behaviour Regulation in Multi-Agent Systems (BRMAS 2008), Aberdeen, UK.

Griffiths, N. (2006) Enhancing Peer-to-Peer Collaboration using Trust. Expert Systems with Applications, 31 (4). pp. 849-858.

Griffiths, N. (2008) Tags and Image Scoring for Robust Cooperation. In: 7th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), Estoril, Portugal.

Griffiths, N., Jhumka, A., Dawson, A. and Myers, R. (2008) A Simple Trust Model for On-Demand Routing in Mobile Ad-hoc Networks. In: 2nd International Symposium on Intelligent Distributed Computing (IDC 2008).

Griffiths, N. and Joy, M.S. (2003) An Integrated Approach to Courseware. In: World Federation of Engineering Organizations (WFEO) and American Society for Engineering Education (ASEE) Electronic Conference, 7-10 Sep 2003, Porto, Portugal.

Griffiths, N. and Luck, M. (2010) Changing Neighbours: Improving Tag-Based Cooperation. In: 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), Toronto, Canada.

Griffiths, N. and Luck, M. (2010) Norm Emergence in Tag-Based Cooperation. In: 9th International Workshop on Coordination, Organization, Institutions and Norms in Multi-Agent Systems (COIN10), Toronto, Canada.

Gu, Y.Q. (1988) A brief summary of digital image enhancement. Technical Report. Department of Computer Science, Coventry, UK.

Guo, T. and Jarvis, S.A. (2008) DIAO: A Scheme of Cooperative Data Distribution for Grid-Enabled Data Analysis Applications. In: 3rd International Conference on Computing and Global Information Technology., July, 2008, Athens, Greece.

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

Gurcan, M.N., Madabhushi, A. and Rajpoot, N.M. (2010) Pattern Recognition in Histopathological Images: An ICPR 2010 Contest. In: International Conference on Pattern Recognition (ICPR 2010), 23-26 August, 2010, Istanbul, Turkey.

H

Hammond, S.D. and Lacey, D. (2006) Loop Transformations in the Ahead-of-Time Optimization of Java Bytecode. In: 15th International Conference on Compiler Construction (CC 2006), March 30 - March 31, Vienna, Austria.

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, 3 (6). p. 509. ISSN 17518806

Hammond, S.D., Mudalige, G.R., Smith, J.A. and Jarvis, S.A. (2008) Performance Prediction and Procurement in Practice: Assessing the Suitability of Commodity Cluster Components for Wavefront Codes. In: UK Performance Engineering Workshop (UKPEW 2008), London, UK.

Hammond, S.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.

Hammond, S.D., Smith, J.A., Mudalige, G.R. and Jarvis, S.A. (2009) Predictive Simulation of HPC Applications. In: 23rd International Conference on Advanced Information Networking and Applications (AINA09), Bradford, UK.

Harfield, A., Beynon, W.M. and Myers, R. (2009) Web Eden and Moodle: an Empirical Modelling Approach to Web-based Education. In: IASTED International Conference Web-based Education (WBE 2009), 16-18 March, 2009, Phuket, Thailand.

Harper, J.S., Kerbyson, D.J. and Nudd, G.R. (1998) Analytical modeling of set-associative cache behaviour. Technical Report. Department of Computer Science, Coventry, UK.

Harper, J.S., Kerbyson, D.J. and Nudd, G.R. (1997) Predicting the cache miss ratio of loop-nested array references. Technical Report. Department of Computer Science, Coventry, UK.

He, L., Calleja, M., Hayes, M. and Jarvis, S.A. (2009) Performance Prediction for Running Workflows under Role-based Authorisation Mechanisms. In: Workshop on Performance Modelling, Evaluation and Optimisation of Ubiquitous Computing and Network Systems (PMEO), Rome, Italy.

He, L., Calleja, M., Hayes, M. and Jarvis, S.A. (2009) Performance Prediction for Running Workflows under Role-based Authorisation Mechanisms. In: 23rd IEEE International Symposium on Parallel and Distributed Processing, 23-29 May 2009, Rome, Italy.

He, L., Jarvis, S.A., Bacigalupo, D.A., Spooner, D.P. and Nudd, G.R. (2004) Performance-Aware Load Balancing for Multiclusters. In: 2nd International Symposium on Parallel and Distributed Processing and Applications (ISPA'04), Hong Kong.

He, L., Jarvis, S.A. and Nudd, G.R. (2003) Dynamic Scheduling of Parallel Real-time Jobs by Modelling Spare Capabilities. In: Proceedings of the 2003 IEEE International Conference on Cluster Computing (CLUSTER'03), December 1-4, 2003, Hong Kong.

He, L., Jarvis, S.A., Spooner, D.P., Bacigalupo, D.A., Tan, G. and Nudd, G.R. (2005) Mapping DAG-based Applications to Multiclusters with Background Workload. In: Proceedings of the 5th IEEE International Symposium on Cluster Computing and the Grid (CCGrid'05), 9-12 May, 2005, Cardiff, UK.

He, L., Jarvis, S.A., Spooner, D.P., Jiang, H., Dillenberger, D. and Nudd, G.R. (2006) Allocating Non-Real-Time and Soft Real-Time Jobs in Multiclusters. IEEE Transactions on Parallel and Distributed Systems, 17 (2). pp. 99-112. ISSN 1045-9219

He, L., Jarvis, S.A., Spooner, D.P. and Nudd, G.R. (2004) Dynamic, Capability-driven Scheduling of DAG-based Real-time Jobs in Heterogeneous Cluster. International Journal of High Performance Computing and Networking (IJHPCN) 225555, 2 (2-4). pp. 165-177. ISSN 1740-0562

He, L., Jarvis, S.A., Spooner, D.P. and Nudd, G.R. (2004) Optimising Static Workload Allocation in Multiclusters. In: Proceedings of the 18th IEEE International Parallel and Distributed Processing Symposium (IPDPS'04), 26-30 April, 2004, Santa Fe, New Mexico, USA.

He, L., Jarvis, S.A., Spooner, D.P. and Nudd, G.R. (2006) Performance Evaluation of Scheduling Applications with DAG Topologies on Multiclusters with Independent Local Schedulers. In: 5th International Workshop on Performance Modelling, Evaluation and Optimization of Parallel and Distributed Systems (PMEO'06), Rhodes Island, Greece.

He, L., Jarvis, S.A., Spooner, D.P. and Nudd, G.R. (2003) Performance-based Dynamic Scheduling of Hybrid Real-time Applications on a Cluster of Heterogeneous Workstations. In: Proceedings of the International Conference on Parallel and Distributed Computing, Euro-Par 2003, 26-29 August, 2003, Klagenfurt, Austria.

Hendrix, M. (2010) Supporting Authoring of Adaptive Hypermedia. Technical Report. Department of Computer Science, Coventry, UK.

Hendrix, M. and Cristea, A.I. (2007) Evaluating Adaptive Authoring of Adaptive Hypermedia. In: 5th Adaptive and Adaptable Educational Hypermedia Workshop at the User Modelling (UM) 2007 conference, Corfu, Greece.

Hendrix, M. and Cristea, A.I. (2008) Meta-levels of Adaptation in Education. In: 11th IASTED International Conference on Computers and Advanced Technology in Education (CATE 2008), Crete, Greece.

Hendrix, M. and Cristea, A.I. (2007) A Qualitative and Quantitative Evaluation of Adaptive Authoring of Adaptive Hypermedia. In: Creating New Learning Experiences on a Global Scale. Lecture Notes in Computer Science, 4753 . Springer-Verlag, pp. 71-85. ISBN 9783540751946

Hendrix, M. and Cristea, A.I. (2008) Reuse Patterns in Adaptation Languages: Creating a meta-level for the LAG adaptation language. In: Adaptive Hypermedia and Adaptive Web-based Systems. Lecture Notes in Computer Science, 5149 . Springer-Verlag, pp. 304-307. ISBN 9783540709848

Hendrix, M. and Cristea, A.I. (2008) A Spiral Model for Adding Automatic, Adaptive Authoring to Adaptive Hypermedia. J.UCS Journal of Universal Computer Science, 14 (17). pp. 2799-2818.

Hendrix, M., Cristea, A.I. and Burgos, D. (2009) Comparative analysis of adaptation in adaptive educational hypermedia and IMS-learning design. Technical Report. Department of Computer Science, Coventry, UK.

Hendrix, M., Cristea, A.I. and Joy, M.S. (2007) Evaluating the Automatic and Manual Creation Process of Adaptive Lessons. In: 7th IEEE International Conference on Advanced Learning Technologies (ICALT 2007), 18-20 Jul 2007, Niigata, Japan.

Hendrix, M., Cristea, A.I. and Nejdl, W. (2007) Authoring Adaptive Educational Hypermedia on the Semantic Desktop. International Journal of Learning Technology (IJLT), 3 (3). pp. 230-251. ISSN 1477-8386

Hendrix, M., Cristea, A.I. and Stewart, C. (2009) Adaptation Languages for Learning: the CAM Meta-Model. In: IEEE International Conference on Advanced Learning Technologies (ICALT 2009), Riga.

Hendrix, M., De Bra, P., Pechenizkiy, M., Smits, D. and Cristea, A.I. (2008) Defining Adaptation in a Generic Multi-layer Model: CAM: The GRAPPLE Conceptual Adaptation Model. In: Times of Convergence. Technologies Across Learning Contexts. Lecture Notes in Computer Science, 5192 . Springer-Verlag, pp. 132-143. ISBN 9783540876045

Hendrix, M., De Bra, P., Pechenizkiy, M., Smits, D. and Cristea, A.I. (2008) Defining adaptation in a generic multi layer model: CAM: the GRAPPLE Conceptual Adaptation Model. Technical Report. Department of Computer Science, Coventry, UK.

Heng, P-S., Joy, M.S., Boyatt, R.C. and Griffiths, N. (2005) Evaluation of the BOSS Online Submission and Assessment System. Technical Report. University of Warwick, Coventry.

Herdman, J.A., Gaudin, W.P., Turland, D. and Hammond, S.D. (2010) Benchmarking and Modelling of POWER-7, Westmere, BG/P, and GPUs: An Industry Case Study. In: 1st International Workshop on Performance Modeling, Benchmarking and Simulation of High Performance Computing Systems (PMBS 10), held in conjunction with IEEE/ACM Supercomputing 2010 (SC'10), New Orleans, LA, USA.

Herdman, J.A., Gaudin, W.P., Turland, D. and Hammond, S.D. (2011) Benchmarking and Modelling of POWER-7, Westmere, BG/P, and GPUs: An Industry Case Study. ACM SIGMETRICS Performance Evaluation Review, 38 (4). ISSN 0163-5999

Herold, J., Friedenberger, M., Bode, M., Rajpoot, N.M., Schubert, W. and Nattkemper, T. (2008) Flexible Synapse Detection in Fluorescence Micrographs by Modeling Human Expert Grading. In: 5th IEEE International Symposium on Biomedical Imaging (ISBI 2008), 14-17 May, 2008, Paris, France.

Hill, J.M.D., Jarvis, S.A., Siniolakis, C. and Vasilev, V.P. (1998) Analysing an SQL Application with a BSPlib Call-graph Profiling Tool. In: EuroPar'98, September, 1998, Southhampton, UK.

Hill, J.M.D., Jarvis, S.A., Siniolakis, C. and Vasilev, V.P. (1997) Portable and Architecture Independent Parallel Performance Tuning using a Call-Graph Profiling Tool: A Case Study in Optimising SQL. Technical Report. University of Oxford, Oxford, UK.

Hogan, J. (1997) An analysis of OO software metrics. Technical Report. Department of Computer Science, Coventry, UK.

Howarth, R.M. (1987) A heterogeneous pyramid array architecture for image understanding. Technical Report. Department of Computer Science, Coventry, UK.

Howarth, R.M. and Francis, N.D. (1988) Cluster programming language definition and user manual. Technical Report. Department of Computer Science, Coventry, UK.

Hseu, H.-W., Bhalerao, A.H. and Wilson, R.G. (1999) Image Matching Based On The Co-occurrence Matrix. Technical Report. University of Warwick, Coventry, UK.

Hseu, H.W.R., Bhalerao, A.H. and Wilson, R.G. (1999) Image matching based on The co-occurrence matrix. Technical Report. Department of Computer Science, Coventry, UK.

Hsu, T.I., Calway, A.D. and Wilson, R.G. (1992) Analysis of structured texture using the multiresolution Fourier transform. Technical Report. Department of Computer Science, Coventry, UK.

Hsu, T.I., Kuo, J.L and Wilson, R.G. (2000) A Multiresolution Texture Gradient Method for Unsupervised Segmentation. Pattern Recognition, 33 (11). pp. 1819-1833.

Hsu, T.I. and Wilson, R.G. (1996) A two-component model of texture for analysis and synthesis. Technical Report. Department of Computer Science, Coventry, UK.

Hu, Y., Jian, C. and Li, C.-T. (2010) Using Improved Imaging Sensor or Pattern Noise for Source Camera Identification. In: IEEE International Conference on Multimedia and Expo, 19-23 July 2010, Singapore.

Hu, Y. and Li, C.-T. (2010) Selecting Forensic Features for Robust Source Camera Identification. In: Proc. International Computer Symposium, 16-18 Dec, 2010, Tainan, Taiwan.

Hu, Y., Li, C.-T. and Jian, C (2010) Building fingerprints with information from three color Bands for Source camera identification. In: MiFor '10 - 2nd ACM workshop on Multimedia in forensics, security and intelligence, 25-29 October, 2010, Firenze, Italy.

Hudnott, E., Sinclair, J.E. and Darwen, H. (2010) Efficient Multiple Simultaneous Assignment of Database Tables. In: 9th International Conference on Artificial Intelligence, Knowledge Engineering and Data Bases (AIKED 2010), 20-22 February, 2010, Cambridge, UK.

Hussain, A., Rajpoot, N.M. and Rajpoot, K. (2006) Texture Classification with Ants. In: IEEE International Conference on Image Processing (ICIP 2006), 8-11 October, 2006, Georgia, USA.

I

Iliopoulos, C.S. (1981) Algorithms in the theory of integral binary quadratic forms. Technical Report. Department of Computer Science, Coventry, UK.

Iliopoulos, C.S. (1982) Composition and characters of binary quadratic forms. Technical Report. Department of Computer Science, Coventry, UK.

Iliopoulos, C.S. (1982) On the computation of the structure of an Abelian group represented by a set of defining relations. Technical Report. Department of Computer Science, Coventry, UK.

Irony, D., Toledo, S. and Tiskin, A. (2004) Communication Lower Bounds for Distributed-Memory Matrix Multiplication. Journal of Parallel and Distributed Computing, 64 (9). pp. 1017-1026. ISSN 0743-7315

Ismail, A. and Joy, M.S. (2007) A Novel Approach for Metametadata Views in Learning Domains. In: ED-MEDIA - World Conference on Educational Multimedia, Hypermedia and Telecommunication, 2007, Chesapeake, VA.

Ismail, A., Joy, M.S., Sinclair, J.E. and Hamzah, M.I. (2009) A Metametadata Architecture for Pedagogic Data Description. Proceedings of World Academy of Science, Engineering and Technology (WASET), 49. pp. 373-378. ISSN 2070-3740

Ismail, A., Joy, M.S., Sinclair, J.E. and Hamzah, M.I. (2010) A Structured Model Metametadata Technique to Enhance Semantic Searching in Metadata Repository. In: 4th International Conference on Knowledge Generation, Communication and Management (KGCM 2010), 29 June - 2 July 2010, Orlando, Florida.

J

Janowski, T. (1994) Fault-tolerant bisimulation and process transformations. Technical Report. Department of Computer Science, Coventry, UK.

Janowski, T. (1994) Stepwise transformations for fault-tolerant design of CCS processes. Technical Report. Department of Computer Science, Coventry, UK.

Janowski, T. and Joseph, M. (1996) Dynamic scheduling in the presence of faults: specification and verification. Technical Report. Department of Computer Science, Coventry, UK.

Jantjies, M.E. and Joy, M.S. (2012) Multilingual Mobile Learning - A Case Study of Four South African High Schools. In: 11th World Conference on Mobile and Contextual Learning (mLearn 2012), 16-18 October 2012, Helsinki, Finland.

Jarvis, S.A. (2002) Grid Middleware: Underpinning the e-Architectures. In: Shaping the Information Society in Europe 2002, April 22-23, Berlin, Germany.

Jarvis, S.A., Foley, B.P., Isitt, P.J., Spooner, D.P., Rueckert, D. and Nudd, G.R. (2008) Performance Prediction for a Code with Data-dependent Runtimes. Concurrency and Computation: Practice and Experience, 20 (3). pp. 1-12. ISSN 1532-0626

Jarvis, S.A., He, L., Spooner, D.P. and Nudd, G.R. (2005) The Impact of Predictive Inaccuracies on Execution Scheduling. International Journal of Performance Evaluation, 60 (1-4). pp. 127-139.

Jarvis, S.A., He, L., Spooner, D.P. and Nudd, G.R. (2003) The Impact of predictive inaccuracies on execution scheduling. Technical Report. Department of Computer Science, Coventry, UK.

Jarvis, S.A., Hill, J.M.D., Siniolakis, C. and Vasilev, V.P. (2002) Portable and Architecture Independent Parallel Performance Tuning using BSP. Parallel Computing, 28 (11). pp. 1587-1609.

Jarvis, S.A., Hill, J.M.D., Siniolakis, C.J. and Vasilev, V.P. (2001) Portable and architecture independent parallel performance tuning. Technical Report. Department of Computer Science, Coventry, UK.

Jarvis, S.A., Marlow, S., Peyton-Jones, S.L. and Wilcox, E. (1998) Standardising Compiler/Profiler Log Files. In: Proceedings of the 10th International Workshop of the Implementation of Functional Languages (IFL'98), London, UK.

Jarvis, S.A., Mirsky, J.A., Peden, J.F. and Saunders, N.J. (2001) Finding Secret Messages in DNA Microdots - Identification of Horizontally Acquired DNA using Genome Signature Analysis. Technical Report. University of Warwick, Coventry, UK.

Jarvis, S.A., Mirsky, J.S., Peden, J.F. and Saunders, N.J. (2001) Computational Analysis of Lateral Gene Transfer - Identification of Horizontally Acquired DNA using Genome Signature Analysis. Technical Report. University of Warwick, Coventry, UK.

Jarvis, S.A., Mirsky, J.S., Peden, J.F. and Saunders, N.J. (2001) Finding secret messages in DNA microdots. Technical Report. Department of Computer Science, Coventry, UK.

Jarvis, S.A., Mirsky, J.S., Peden, J.F. and Saunders, N.J. (2001) Identification of horizontally acquired DNA using genome signature analysis. Technical Report. Department of Computer Science, Coventry, UK.

Jarvis, S.A. and Morgan, R.G. (1996) The Results of Profiling Large-Scale Lazy Functional Programs. Lecture Notes in Computer Science (Selected Papers of the Implementation of Functional Languages 8th International Workshop), 1268. pp. 200-211. ISSN 3-540-63237-9

Jarvis, S.A. and Nudd, G.R. (2003) Review of the e-science demonstrators and their compatibility with the Warwick Middleware Project. Technical Report. Department of Computer Science, Coventry, UK.

Jarvis, S.A., Poria, S. and Morgan, R.G. (1995) Understanding LOLITA: Experiences of Teaching Large-Scale Functional Programming. Lectures Notes in Computer Science (LNCS), 1022.

Jarvis, S.A. and Randewich, A. (2010) High Performance Computing for National Security. Discovery, The Science and Technology Journal of AWE, 21. pp. 24-33.

Jarvis, S.A., Spooner, D.P., Dyson, J.R.D., Zhao, L. and Nudd, G.R. (2003) Performance-Responsive Middleware for Grid Computing. In: All Hands Meeting 2003: Delivering e-Science, 2-4 September, 2003, Nottingham, UK.

Jarvis, S.A., Spooner, D.P., Lim Choi Keung, H.N, Cao, J., Saini, S. and Nudd, G.R. (2006) Performance Prediction and its use in Parallel and Distributed Computing Systems. Future Generation Computer Systems, 22 (7). pp. 745-754. ISSN 0167-739X

Jarvis, S.A., Spooner, D.P., Lim Choi Keung, H.N., Cao, J., Saini, S. and Nudd, G.R. (2003) Performance Prediction and its use in Parallel and Distributed Computing Systems. In: Proceedings of the IEEE/ACM International Workshop on Performance Modelling, Evaluation and Optimization of Parallel and Distributed Systems (PMEO'2003), 22-26 April, Nice, France.

Jarvis, S.A., Spooner, D.P., Lim Choi Keung, H.N., Dyson, J.R.D., Zhao, L. and Nudd, G.R. (2003) Performance-based Middleware Services for Grid Computing. In: Proceedings of the 5th International Workshop on Active Middleware Services (AMS'2003), Seattle, USA.

Jarvis, S.A., Tan, G., Spooner, D.P. and Nudd, G.R. (2006) Constructing Reliable and Efficient Overlays for P2P Live Media Streaming. International Journal of Simulation and Process Modelling (IJSPM), 7 (2). pp. 54-62. ISSN 1740-2123

Jarvis, S.A., Thomas, N. and van Moorsel, A. (2004) Open Issues in Grid Performability. International Journal of Simulation and Process Modelling (IJSPM), 5 (5). pp. 3-12. ISSN 1740-2123

Jhumka, A. (2010) Crash-Tolerant Collision-Free Data Agreegation Scheduling for Wireless Sensor Networks. In: 29th IEEE International Symposium on Reliable Distriduted Systems(SRDS10), October 31st, 2010, New Delhi, India.

Jhumka, A., Freiling, F.C., Fetzer, C. and Suri, N. (2006) An Approach to Synthesize Safe Systems. International Journal of Security and Networks, 1 (2). pp. 62-74.

Jhumka, A., Griffiths, N., Dawson, A. and Myers, R. (2008) An Outlook on the Impact of Trust Models on Routing in Mobile Ad Hoc Networks (MANETs). In: Networking and Electronic Commerce Research Conference (NAEC 2008), Lake Garda, Italy.

Jhumka, A. and Kulkarni, S.S. (2007) On the Design of Mobility-Tolerant TDMA-Based Media Access Control (MAC) Protocol for Mobile Sensor Networks. In: Proceedings of the 4th International Conference on Distributed Computing and Internet Technology.

Jhumka, A. and Mottola, L (2009) On consistent neighborhood views in wireless sensor network. In: 28th IEEE International Symposium on Reliable Distributed Systems, 2009.

Jhumka, A. and Mottola, L. (2009) On Consistent Neighbourhood Views In Wireless Sensor Networks. In: 28th International Symposium on Reliable Distributed Systems, 27-30 September 2009, Niagra Falls, New York, USA.

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.

Joseph, M. (1988) Software engineering: theory, experiment, practice or performance. Technical Report. Department of Computer Science, Coventry, UK.

Joseph, M. and Goswami, A. (1988) Formal description of real-time systems: a review. Technical Report. Department of Computer Science, Coventry, UK.

Joseph, M. and Goswami, A. (1989) Relating computation and time. Technical Report. Department of Computer Science, Coventry, UK.

Joseph, M. and Goswami, A. (1988) What's 'real' about real-time systems? Technical Report. Department of Computer Science, Coventry, UK.

Joseph, M. and Pandya, P.K. (1987) Specification and verification of total correctness of distributed programs. Technical Report. Department of Computer Science, Coventry, UK.

Joy, M.S. (2004) Automating the Process of Skills-based Assessment. In: Effective Learning and Teaching in Computing. Routledge Farmer, pp. 76-85. ISBN 978-0415335010

Joy, M.S. (1994) Beginning UNIX. Tutorial Guides in Computing and Information Systems, 1 . Chapman and Hall, London. ISBN 0-412-57660-0

Joy, M.S. (1997) Beginning UNIX (Second Edition). Tutorial Guides in Computing and Information Systems . ITP, London. ISBN 1-85032-263-5

Joy, M.S. (2004) Doctoral Study in Educational Technology. In: 4th IEEE International Conference on Advanced Learning Technologies (ICALT2004), 30 Aug - 3 Sep 2004, Joensuu, Finland.

Joy, M.S. (1992) Ginger - a simple functional language. Technical Report. Department of Computer Science, Coventry, UK.

Joy, M.S. (2005) Group Projects and the Computer Science Curriculum. Innovations in Education and Teaching International, 42 (1). pp. 15-25. ISSN 1470-3297

Joy, M.S. (1985) On the Efficient Implementation of Combinators as an Object Code for Functional Programs. PhD thesis, University of East Anglia.

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

Joy, M.S. (1989) The translation of high-Level functional languages to FLIC. Technical Report. Department of Computer Science, Coventry, UK.

Joy, M.S. and Axford, T.H. (1990) GCODE: a revised standard for a graph representation for functional programs. Technical Report. Department of Computer Science, Coventry, UK.

Joy, M.S. and Axford, T.H. (1992) Parallel combinator reduction: some performance bounds. Technical Report. Department of Computer Science, Coventry, UK.

Joy, M.S. and Axford, T.H. (1987) A standard for a graph representation for functional programs. Technical Report. Department of Computer Science, Coventry, UK.

Joy, M.S. and Burnett, I. (2001) The BOSS Online Submission System. In: LTSN-ICS Workshop on CAA, Coventry, UK.

Joy, M.S., Chan, P.S. and Luck, M. (2000) Networked Submission and Assessment. In: 1st Annual Conference of the LTSN Centre for Information and Computer Sciences, 23-25 August 2000, Edinburgh, UK.

Joy, M.S., Cosma, G., Sinclair, J.E. and Yau, J.Y-K. (2009) A Taxonomy of Plagiarism in Computer Science. In: International Conference on Education and New Learning Technologies (EDULEARN09), 6-8 Jul 2009, Barcelona, Spain.

Joy, M.S., Foss, J.G.K., King, E.L., Sinclair, J.E., Sitthiworachart, J. and Davis, R.M. (2013) Incorporating Technologies into a Flexible Teaching Space. British Journal Of Educational Technology. (In Press)

Joy, M.S., Griffiths, N. and Boyatt, R.C. (2005) The BOSS Online Submission and Assessment System. ACM Journal on Educational Resources in Computing, 5 (3). pp. 1-28. ISSN 15314278

Joy, M.S. and Griffiths, N. (2004) The BOSS Online Submission System. Forum, 26. p. 15.

Joy, M.S. and Griffiths, N. (2004) Online Submission of Coursework - a Technological Perspective. In: 4th IEEE International Conference on Advanced Learning Technologies (ICALT2004), Joensuu, Finland.

Joy, M.S., Griffiths, N., Stott, M.B., Harley, J.W., Wattebot, C. and Holt, D. (2002) Coresoft: A Framework for Student Data. In: 3rd Annual Conference of the LTSN Centre for Information and Computer Sciences, 27-29 Aug 2002, Loughborough, UK.

Joy, M.S. and Jarvis, S.A. and Luck, M. (2002) Introducing UNIX and Linux. Grassroots . Palgrave, London. ISBN 0-333-98763-2

Joy, M.S. and Luck, M. (1998) The BOSS System for On-line Submission and Assessment of Computing Assignments. In: Computer Based Assessment (Volume 2): Case studies in Science and Computing. SEED Publications, Plymouth, UK, pp. 39-44. ISBN 1-84102-02-7

Joy, M.S. and Luck, M. (1998) The BOSS System for On-line Submission and Assessment. Monitor: Journal of the CTI Centre for Computing, 10. pp. 27-29.

Joy, M.S. and Luck, M. (1997) Computer-Assisted Learning using the Web. In: Proceedings of the 5th Annual Conference on the Teaching of Computing, 28-30 Aug 1997, Dublin, Eire.

Joy, M.S. and Luck, M. (1998) Computer-Based Submission and Assessment in BOSS. Interactions, 6 (2).

Joy, M.S. and Luck, M. (1998) Effective Electronic Marking for On-line Assessment. ACM SIGCSE, 30 (3). pp. 134-138. ISSN 0097-8418

Joy, M.S. and Luck, M. (1995) On-line Submission and Testing of Programming Assignments. In: Innovations in the Teaching of Computing. SEDA Papers, 1 (88). SEDA, London, pp. 95-103. ISBN 0-946815-93-3

Joy, M.S. and Luck, M. (1999) Plagiarism in Programming Assignments. IEEE Transactions on Education, 42 (2). pp. 129-133. ISSN 0018-9359

Joy, M.S. and Luck, M. (1998) Plagiarism in Programming Assignments. Technical Report. University of Warwick, Coventry.

Joy, M.S. and Luck, M. (1996) Software Standards in Undergraduate Computing Courses. Journal Of Computer Assisted Learning, 12 (2). pp. 103-113. ISSN 0026-4909

Joy, M.S. and Luck, M. (1996) A User-Friendly On-line Submissions System. In: 4th Annual Conference on the Teaching of Computing, 27-29 Aug 1996, Dublin, Eire.

Joy, M.S. and Matthews, S.G. (1994) Some Experiences in Teaching Functional Programming. International Journal of Mathematical Education in Science and Technology, 25 (2). pp. 165-172.

Joy, M.S., Muzykantskii, B., Rawles, S. and Evans, M. (2002) An Infrastructure for Web-Based Computer-Assisted Learning. Journal on Educational Resources in Computing (JERIC), 2 (4). pp. 1-19.

Joy, M.S. and Rayward-Smith, V.J. (1995) NP-Completeness of a Combinator Optimisation Problem. Notre Dame Journal of Formal Logic, 36 (2). pp. 319-335. ISSN 0029-4527

Joy, M.S. and Rayward-Smith, V.J. (1987) NP-Completeness of a combinator optimisation problem. Technical Report. Department of Computer Science, Coventry, UK.

Joy, M.S., Rayward-Smith, V.J. and Burton, F.W. (1985) Efficient Combinator Code. Computer Languages, 10 (3/4). pp. 211-224. ISSN 0096-0551

Joy, M.S., Sinclair, J.E., Boyatt, R.C., Yau, J.Y-K. and Cosma, G. (2012) Student Perspectives on Plagiarism in Computing. In: 5th International Plagiarism Conference, 16-18 July 2012, Newcastle, UK.

Joy, M.S., Sinclair, J.E., Boyatt, R.C., Yau, J.Y-K. and Cosma, G. (2013) Student Perspectives on Source-code Plagiarism. International Journal for Educational Integrity, 9 (1).

Joy, M.S., Sinclair, J.E., Sun, S., Sitthiworachart, J. and López-González, J. (2009) Categorising Computer Science Education Research. Education and Information Technologies, 14 (2). pp. 105-126. ISSN 1360-2357

K

Kalvala, S. (2011) A Formal Approach to Fixing Bugs. In: Formal Methods: Foundations and Applications. Lecture Notes in Computer Science, 7021 . Springer Verlag. ISBN 978-3-642-25031-6 (In Press)

Kalvala, S., Warburton, R. and Lacey, D.J. (2008) Program transformations using temporal logic side conditions. Technical Report. Department of Computer Science, Coventry, UK.

Kanda, A. (1977) Data types as effective objects. Technical Report. Department of Computer Science, Coventry, UK.

Kanda, A. and Park, D.M.R. (1979) When are two effectively given domains identical? Technical Report. Department of Computer Science, Coventry, UK.

Katugampala, N. and Wilson, R.G. (2002) Parameter estimation of two dimensional component Gaussian mixtures. Technical Report. Department of Computer Science, Coventry, UK.

Kavitha, T. and Shah, C. (2006) Efficient Algorithms for Weighted Rank-Maximal Matchings and Related Problems. In: Algorithms and Computation. Lecture Notes in Computer Science, 4288 . Springer Verlag, pp. 153-162. ISBN 978-3-540-49694-6

Kearney, P., Shapcott, M., Anand, S.S. and Patterson, D. (2007) Evaluating the Use of Semantics in Collaborative Recommender Systems: A User Study, Intelligent Techniques for Web Personalization and Recommender Systems in E-Commerce. AAAI Technical Report WS-07-08.

Keer, D., Russ, S.B. and Beynon, W.M. (2010) Computing for Construal: an Exploratory Study in Ant Navigation. Procedia Computer Science, 1 (1). pp. 2201-2210. ISSN 1877-0509

Kerbyson, D.J., Harper, J.S., Craig, A. and Nudd, G.R. (1996) PACE: A Toolset to Investigate and Predict Performance in Parallel Systems. In: European Parallel Tools Meeting, ONERA, Paris.

Kerbyson, D.J., Packwood, R.A. and Joy, M.S. (2001) Enhancing the Learning Environment in Experimental Laboratories. In: CAL 2001, 2-4 April 2001, Coventry, UK.

Kerbyson, D.J., Papaefstathiou, E., Harper, J.S., Perry, S.C. and Nudd, G.R. (1999) Is Predictive Tracing Too Late For HPC Users? In: High Performance Computing. Plenum Press, pp. 57-67.

Kerbyson, D.J., Papaefstathiou, E. and Nudd, G.R. (1998) Application Execution Steering Using On-the-fly Performance Prediction. In: High Performance Computing an Networking 98, April, 1998, Amsterdam, Netherlands.

Keung, S. Lim Choi and Griffiths, N. (2009) Networking for Multi-agents: Beyond a Local View. In: 8th International Conference on Autonomous Agentsand Multiagent Systems, 2009.

Khanna, S., Muthukrishnan, S. and Paterson, M.S. (1998) On approximating rectangle tiling and packing. Technical Report. Department of Computer Science, Coventry, UK.

King, A.P. and Wilson, R.G. (1993) Multiresolution image analysis based on local symmetries. Technical Report. Department of Computer Science, Coventry, UK.

Klasing, R. (1998) Improved compressions of cube-connected cycles networks. Technical Report. Department of Computer Science, Coventry, UK.

Klasing, R. (1998) Methods and problems of wavelength-routing in all-optical networks. Technical Report. Department of Computer Science, Coventry, UK.

Koizumi, H., Maruoka, A. and Paterson, M.S. (1993) Consistency of natural relations on sets. Technical Report. Department of Computer Science, Coventry, UK.

Korhonen (Ed.), A. (2004) Proceedings of the Third Program Visualization Workshop. Technical Report. Department of Computer Science, Coventry, UK.

Krishna, R, Li, C.-T. and Buchanan-Wollaston, V. (2010) A Temporal Precedence Based Clustering Method for GENE Expression Microarray Data. BMC Bioinformatics, 11 (68).

Krishna, R.V. (2006) Derivation of process algebraic models of biochemical systems. Technical Report. Department of Computer Science, Coventry, UK.

Krishna, R.V., Li, C.-T. and Buchanan-Wollaston, V. (2009) Interaction Based Functional Clustering of Genomic Data. In: IEEE International Conference on Bioinformatics and Bioengineering., 22-24 June 2009, Taichung, Taiwan.

Krokhin, A.A. and Larose, B. (2004) Maximum constraint satisfaction on diamonds. Technical Report. Department of Computer Science, Coventry, UK.

Krusche, P. and Tiskin, A. (2006) Efficient Longest Common Subsequence Computation Using Bulk-Synchronous Parallelism. In: Computational Science and Its Applications - ICCSA 2006. Lecture Notes in Computer Science, 3984 . Springer Verlag, pp. 165-174. ISBN 978-3-540-34079-9

Krusche, P. and Tiskin, A. (2007) Efficient Parallel String Comparison. In: Parallel Computing: Architectures, Algorithms and Applications. NIC Series, 38 . John von Neumann-Institut für Computing, pp. 193-200. ISBN 978-3-9810843-4-4

Krusche, P. and Tiskin, A. (2010) New Algorithms for Efficient Parallel String Comparison. In: 22nd ACM symposium on Parallelism in algorithms and architectures.

Krusche, P. and Tiskin, A. (2009) String Comparison by Transposition Networks. In: London Algorithmics 2008: Theory and Practice. Texts in Algorithmics, College Publications, pp. 184-204. ISBN 978-1-904987-97-0

Kurtonina, N. and de Rijke, M. (1996) Directed simulations. Technical Report. Department of Computer Science, Coventry, UK.

Kurtonina, N. and de Rijke, M. (1997) Expressiveness of first-order description logics. Technical Report. Department of Computer Science, Coventry, UK.

L

Lai, W.H. and Li, C.T. (2005) Detecting faces in color images. Technical Report. Department of Computer Science, Coventry, UK.

Laine, T.H., Islas Sedano, C., Joy, M.S. and Sutinen, E. (2010) Critical Factors for Technology Integration in Game-Based Pervasive Learning Spaces. IEEE Transactions on Learning Technologies. ISSN 1939-1382 (In Press)

Laine, T.H., Islas Sedano, C., Joy, M.S. and Sutinen, E. (2010) Critical Factors for Technology Integration in Game-Based Pervasive Learning Spaces. IEEE Transactions on Learning Technologies, 3 (4). pp. 294-306.

Laine, T.H., Islas Sedano, C., Sutinen, E. and Joy, M.S. (2010) Viable and Portable Architecture for Pervasive Learning Spaces. In: 9th International Conference on Mobile and Ubiquitous Multimedia (MUM'10), 1-3 Dec 2010, Limassol, Cyprus.

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

Laine, T.H. and Joy, M.S. (2009) Survey on Context-Aware Pervasive Learning Environments. International Journal of Interactive Mobile Technologies, 3 (1). pp. 70-76. ISSN 1865-7923

Laine, T.H. and Joy, M.S. (2008) Survey on Context-Aware Pervasive Learning Environments. In: mLearn 2008, 8-10 Oct 2008, Telford, UK.

Laine, T.H., Nygren, E., Sutinen, E., Islas Sedano, C., Joy, M.S. and Blignaut, S. (2011) Ubiquitous Mathematics from South Africa to Finland: Does Reverse Transfer Work? In: Ubiquitous Learning: A Survey of Applications, Research, and Trends. Information Age Publishing, Charlotte, NC. (In Press)

Laine, T.H., Sutinen, E., Joy, M.S. 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), 18-21 Oct 2011, Honolulu, Hawaii.

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

Landia, N. and Anand, S.S. (2009) Personalised Tag Recommendation. In: 3rd ACM Conference on Recommender Systems, 22-25 October 2009, New York City, NY, USA.

Langley, K. (1988) Phase shifts from Gabor filters. Technical Report. Department of Computer Science, Coventry, UK.

Langley, K., Fleet, D.J. and Atherton, T.J. (1991) An instantaneous frequency-based computation of transparent motion. Technical Report. Department of Computer Science, Coventry, UK.

Lazi?, R.S., Newcomb, T. and Roscoe, A.W. (2003) On model checking data-independent systems with arrays with whole-array operations. Technical Report. Department of Computer Science, Coventry, UK.

Lazi?, R.S., Newcomb, T. and Roscoe, A.W. (2004) Polymorphic systems with arrays: decidability and undecidability. Technical Report. Department of Computer Science, Coventry, UK.

Lazic, R. (2010) The Reachability Problem for Branching Vector Addition Systems requires Doubly-Exponential Space. Information Processing Letters, 110 (17). pp. 740-745. ISSN 0020-0190

Lazic, R. and Demri, S. (2009) LTL with the Freeze Quantifier and Register Automata. ACM Transactions on Computational Logic, 10 (3). pp. 1-30. ISSN 1529-3785

Lazic, R., Demri, S. and Sangnier, A. (2010) Model Checking Memoryful Linear-time Logics over One-counter Automata. Theoretical Computer Science, 411 (22-24). pp. 2298-2316. ISSN 0304-3975

Lazic, R., Jurdziński, M. and Rutkowski, M. (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). Springer, London, pp. 167-181. ISBN 978-3-540-93899-6

Lazic, R. and Nowak, D. (2002) On a semantic definition of data independence. Technical Report. Department of Computer Science, Coventry, UK.

Lehmann, D.J. (1976) Algebraic structures for transitive closure. Technical Report. Department of Computer Science, Coventry, UK.

Lehmann, D.J. (1976) Categories for fixpoint semantics. Technical Report. Department of Computer Science, Coventry, UK.

Lehmann, D.J. (1977) Modes in Algol Y. Technical Report. Department of Computer Science, Coventry, UK.

Lehmann, D.J. and Smyth, M.B. (1977) Data types. Technical Report. Department of Computer Science, Coventry, UK.

Levett, C, Jhumka, A. and Anand, S.S. (2010) Towards Event Ordering in Digital Forensics. In: 12th ACM Workshop on Multimedia and Security, 9th September 2010, Rome, Italy.

Levy, I. and Wilson, R.G. (1996) Advances in predictive wavelet transform image coding. Technical Report. Department of Computer Science, Coventry, UK.

Levy, I. and Wilson, R.G. (1995) A hybrid fractal-wavelet transform image data compression algorithm. Technical Report. Department of Computer Science, Coventry, UK.

Li, C.-T. (2001) An Approach to Reducing the Labeling Cost of Markov Random Fields within an Infinite Label Space. Signal Processing, 81 (3). pp. 609-620.

Li, C.-T. (2010) A Conditional Random Field Approach to Unsupervised Texture Image Segmentation. EURASIP Journal of Advanced Signal Processing. ISSN 1110-8657

Li, C.-T. (2009) Detection of Block Artifacts for Digital Forensic Analysis. In: International Conference on Forensic Applications and Techniques in Telecommunications, Information and Multimedia (e-Forensics 09), 19-21 January, 2009, Adelaide, Australia.

Li, C.-T. (2004) Digital Fragile Watermarking Scheme For Authentication Of JPEG Images. IEE Proceedings - Vision, Image and Signal Processing, 151 (6). pp. 460-466. ISSN 1350-245X

Li, C.-T. (2009) Handbook of Research on Computational Forensics, Digital Crime and Investigation. IGI Global. ISBN 1605668362

Li, C.-T. (2000) Image Segmentation Based on A Multiresolution MRF Framework and Stochastic Relaxation. In: 4th Asian Conference on Computer Vision, January, 2000, Taipei, Taiwan.

Li, C.-T. (2008) Multimedia Forensics and Security. IGI Global, USA.

Li, C.-T. (2003) Multiresolution Image Segmentation Integrating Gibbs Sampler and Region Merging Algorithm. Signal Processing, 83 (1). pp. 67-78.

Li, C.-T. (2005) Reversible Watermarking Scheme with Image-independent Embedding Capacity. IEE Proceedings - Vision, Image and Signal Processing, 152 (6). pp. 779-786. ISSN 1350-245X

Li, C.-T. (2010) Unsupervised Classification of Digital Images Using Enhanced Sensor Pattern Noise. In: IEEE International Symposium on Circuits and Systems (ISCAS), 30 May - 2 June 2010.

Li, C.-T., Chang, C.-Y and Li, Y. (2009) On the Repudiability of Device Identification and Image Integrity Verification Using Sensor Pattern Noise. In: International Conference on Information Security and Digital Forensics, 7-8 September 2009, London, UK.

Li, C.-T. and Chiao, R. (2000) Image authentication and integrity verification via content-based watermarks and a public key cryptosystem. In: International Conference on Image Processing, September, 2000, Vancouver, Canada.

Li, C.-T. and Chiao, R. (2003) Multiresolution Genetic Clustering Algorithm for Texture Segmentation. Image and Vision Computing, 21 (11). pp. 955-966.

Li, C.-T., Der-Chyuan, L. and Liu, J.-L. (2003) Image Integrity and Authenticity Verification via Content-Based Watermarks and a Public Key Cryptosystem. Journal of Chinese Institute of Electrical Engineering, 10 (1). pp. 99-106.

Li, C.-T. and Li, Y. (2009) Authenticating Medical Images through Repetitive Index Modulation Based Watermarking. In: International Conference on Forensic Applications and Techniques in Telecommunications, Information and Multimedia (e-Forensics 09), 19-21 January, 2009, Adelaide, Australia.

Li, C.-T. and Li, Y. (2010) Digital Camera Identification Using Colour-Decoupled Photo Respose Non-Uniformity. In: IEEE International Symposium on Circuits and Systems, 30 May - 2 June 2010, Paris, France.

Li, C.-T. and Li, Y. (2012) Histogram Preserving QIM-Based Watermarking. Technical Report. University of Warwick, Coventry, UK.

Li, C.-T. and Li, Y. (2009) Medical Images Authentication Through Repetitive Index Modulation Based on Watermarking. International Journal of Digital Crime and Forensics. ISSN 1941-6210

Li, C.-T. and Li, Y. (2008) Random Index Modulation Based Fragile Watermarking Scheme for Authenticating Colour Images. In: International Conference on Intelligent Information Hiding and Multimedia Signal Processing, 15 - 17 August, 2008, Harbin, China.

Li, C.-T., Li, Y. and Wei, C.H. (2009) Protection of Digital Mammograms on PACSs Using Data Hiding Techniques. Internation Journal of Digital Crime and Forensics, 1 (1). pp. 75-88.

Li, C.-T., Lou, D.C and Chen, T.H. (2000) Image Authentication and Integrity Verification via Content-Based Watermarks and a Public Key Cryptosystem. In: IEEE International Conference on Image processing, 10 - 13 September 2000, Vancouver, Canada.

Li, C.-T. and Si, H. (2007) Digital Watermarking Scheme Exploiting Non-deterministic Dependence for Image Authentication. The Journal of Electronic Imaging (JEI), 16 (1).

Li, C.-T. and Si, H. (2007) Wavelet-based Fragile Watermarking Scheme for Image Authentication. The Journal of Electronic Imaging (JEI), 16 (1).

Li, C.-T. and Yuan, Xiang (2012) Indexing Images of Buildings Based on Geometrical Invariant Hough Descriptors. Technical Report. University of Warwick.

Li, C.-T. and Yuan, Y. (2006) Digital Watermarking Scheme Exploiting Non-deterministic Dependence for Image Authentication. Optical Engineering (OE), 45 (12).

Li, C.-T., Yuan, Y. and Wilson, R.G. (2008) An Unsupervised Conditional Random Fields Approach for Clustering Gene Expression Time Series. Bioinformatics, 24 (21). pp. 2467-2473.

Li, C.T. (2004) Reversible watermarking scheme with image-independent embedding capacity. Technical Report. Department of Computer Science, Coventry, UK.

Li, C.T. and Wilson, R.G. (1995) Image segmentation using multiresolution Fourier transform. Technical Report. Department of Computer Science, Coventry, UK.

Li, C.T. and Wilson, R.G. (1997) Textured image segmentation using multiresolution Markov random fields and a two-component texture model. Technical Report. Department of Computer Science, Coventry, UK.

Li, C.T. and Wilson, R.G. (2007) Unsupervised learning and clustering using a random field approach. Technical Report. Department of Computer Science, Coventry, UK.

Li, T. and Anand, S.S. (2008) Automated Taxonomy Generation for Summarizing Multi-type Relational Datasets. In: Proceedings of The 2008 International Conference on Data Mining (DMIN 2008), Las Vegas, USA.

Li, T. and Anand, S.S. (2007) DIVA: A Variance-based Clustering Approach for Multi-type Relational Data. In: Proceedings of the 16th ACM Conference on Conference on Information and Knowledge Management (CIKM'07), Lisbon, Portual.

Li, T. and Anand, S.S. (2009) Exploiting Domain Knowledge by Automated Taxonomy Generation in Recommender Systems. In: Proceedings of the 10th International Conference on Electronic Commerce and Web Technologies, Linz, Austria.

Li, T. and Anand, S.S. (2008) Labelling Nodes of Automatically Generated Taxonomy for Multi-Type Relational Datasets. In: 10th International Conference on Data Warehousing and Knowledge Discovery, Sep 02-05, 2008, Turin, Italy.

Li, T. and Anand, S.S. (2008) Multi-type Relational Clustering Approaches: Current State-of-the-Art and New Directions. In: Proceedings of the International Conference on Intelligent Systems and Networks (IISN 2008), India.

Li, Y. and Li, C.-T. (2009) Decomposed Photo response Non-Uniformity for Digital Forensic Analysis. In: International Conference on Forensic Applications and Techniques in Telecommunications, Information and Multimedia (e-Forensics 09), 19-21 January, 2009, Adelaide, Australia.

Lim Choi Keung, H.N, Dyson, J.R.D., Jarvis, S.A. and Nudd, G.R. (2003) Performance Evaluation of a Grid Resource Monitoring and Discovery Service. IEE Proceedings - Software, 150 (4). pp. 243-251. ISSN 1462-5970

Lim Choi Keung, H.N, Dyson, J.R.D., Jarvis, S.A. and Nudd, G.R. (2003) Predicting the Performance of Globus Monitoring and Discovery Service (MDS-2) Queries. In: Proceedings of the 4th ACM/IEEE International Workshop on Grid Computing (GRID'2003), November, 2003, Phoenix, Arizona, USA.

Lim Choi Keung, H.N., Cao, J., Spooner, D.P., Jarvis, S.A. and Nudd, G.R. (2002) Grid Information Services Using Software Agents. In: Proceedings of the 18th Annual UK Performance Engineering Workshop (UKPEW'2002), 10-11 July, 2002, University of Glasgow, UK.

Lim Choi Keung, H.N., Dyson, J.R.D., Jarvis, S.A. and Nudd, G.R. (2003) The Globus Monitoring and Discovery Service (MDS-2): a Performance Analysis. In: Proceedings of the 19th Annual UK Performance Engineering Workshop (UKPEW'2003), 9-10 July, 2003, University of Warwick, Coventry, UK.

Lim Choi Keung, H.N., Wang, L., Spooner, D.P., Jarvis, S.A., Jie, W. and Nudd, G.R. (2002) Grid Resource Management Information Services for Scientific Computing. In: Proceedings of the International Conference on Scientific and Engineering Computation (IC-SEC 2002), 3-5 December 2002, Singapore.

Lim Choi Keung, S.N. and Griffiths, N. (2008) Using recency and relevance to assess trust and reputation. Technical Report. Department of Computer Science, Coventry, UK.

Lim Choi Keung, S.N. and Griffiths, N. (2008) Indirect Recommendations for Improved Trust Assessment. In: 11th International Workshop on Trust in Agent Societies (TRUST 2008), Estoril, Portugal.

Lim Choi Keung, S.N. and Griffiths, N. (2008) Towards Improved Partner Selection using Recommendations and Trust. In: TRUST 2008: Revised Selected and Invited Papers (LNAI 5396). Springer-Verlag, Heidelberg, pp. 43-64. ISBN 978-3-540-92802-7

Lim Choi Keung, S.N. and Griffiths, N. (2010) Trust and Reputation. In: Agent-Based Service-Oriented Computing. Springer. ISBN 978-1-84996-040-3

Lim Choi Keung, S.N. and Griffiths, N. (2008) Using Recency and Relevance to Assess Trust and Reputation. In: AISB Symposium on Behaviour Regulation in Multi-Agent Systems (BRMAS 2008), Aberdeen, UK.

Liu, S. and Joy, M.S. (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), 18-21 Oct 2011, Honolulu, Hawaii.

Liu, S. and Joy, M.S. (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), 14-16 Nov 2011, Madrid, Spain.

Liu, S., Joy, M.S. and Griffiths, N. (2013) An Exploratory Study on Group Formation Based on Learning Styles. In: 13th IEEE International Conference on Advanced Learning Technologies (ICALT 2013), 15-18 July 2013, Beijing, China. (In Press)

Liu, S., Joy, M.S. and Griffiths, N. (2008) An exploration of correlative elements to support cognitive advancement in the design of collaborative learning tools. Technical Report. Department of Computer Science, Coventry, UK.

Liu, S., Joy, M.S. and Griffiths, N. (2009) GAOOLE: a Gaia Design of Agent-Based Online Collaborative Learning Environment. In: 8th European Conference on eLearning (ECEL 2009), 26-30 Oct 2009, Bari, Italy.

Liu, S., Joy, M.S. and Griffiths, N. (2008) Incorporating Learning Styles in a Computer-Supported Collaborative Learning Model. In: International Workshop on Cognitive Aspects in Intelligent and Adaptive Web-based Education Systems (CIAWES 2008), 27-31 Oct 2008, Taipei, Taiwan.

Liu, S., Joy, M.S. and Griffiths, N. (2010) Students’ Perceptions of the Factors Leading to Unsuccessful Group Collaboration. In: 10th IEEE International Conference on Advanced Learning Technologies (ICALT 2010), 5-7 Jul 2010, Sousse, Tunisia.

Liu, S., Joy, M.S. and Griffiths, N. (2009) iGLS: Intelligent Grouping for Online Collaborative Learning. In: 9th IEEE International Conference on Advanced Learning Technologies (ICALT 2009), 15-17 Jul 2009, Riga, Latvia.

Liu, Y, Sun, X., Liu, Y and Li, C.-T. (2010) MIMIC-PPT: Mimicking-Based Steganography for Microsoft Powerpoint Document. Information Technology General, 7. pp. 654-660. ISSN 10.3923/itj.2008.654.660

Liu, Z. (1989) Modelling checkpointing and recovery within UNITY. Technical Report. Department of Computer Science, Coventry, UK.

Liu, Z. (1989) A semantic model for UNITY. Technical Report. Department of Computer Science, Coventry, UK.

Liu, Z. and Joseph, M. (1990) Transformation of programs for fault-tolerance. Technical Report. Department of Computer Science, Coventry, UK.

Liu, Z. and Joseph, M. (1992) A transformational approach to specifying recovery in asynchronous communicating systems. Technical Report. Department of Computer Science, Coventry, UK.

Liu, Z., Ravn, A.P., Sorensen, E.V. and Zhou, C. (1992) Towards a calculus of systems dependability. Technical Report. Department of Computer Science, Coventry, UK.

Liu, Z., Ravn, A.P., Sorensen, E.V. and Zhou, C. (1992) A probabilistic duration calculus. Technical Report. Department of Computer Science, Coventry, UK.

Loeber, S. and Cristea, A.I. (2003) A WWW Information Seeking Process Model. Educational Technology and Society, 6 (3). pp. 43-52. ISSN 1436-4522

Lombardi, S., Anand, S.S. and Gorgoglione, M. (2009) Context and Customer Behaviour in Recommendation. In: Workshop on Context-Aware Recommender Systems (CARS-2009) , 25 October 2009, New York, NY, USA.

Lord, A. (1989) Computer system dependability: an introduction. Technical Report. Department of Computer Science, Coventry, UK.

Luck, M., Griffiths, N. and d'Inverno, M. (1997) From Agent Theory to Agent Construction: A Case Study. Lecture Notes in Artificial Intelligence (Proceedings of the 3rd International Workshop on Agent Theories, Architectures and Languages), 870. pp. 49-63.

Luck, M. and Joy, M.S. (1995) Automatic Submission in an Evolutionary Approach to Computer Science Teaching. Computers and Education, 25 (3). pp. 105-111. ISSN 0360-1315

Luck, M. and Joy, M.S. (1999) A Secure On-line Submission System. Software: Practice and Experience, 29 (8). pp. 721-740. ISSN 0038-0644

Luck, M.M. and d'Inverno, M. (1995) Agency and autonomy: a formal framework. Technical Report. Department of Computer Science, Coventry, UK.

M

Martin, J.M.R and Tiskin, A. (2004) Dynamic BSP: Towards a Flexible Approach to Parallel Computing over the Grid. Communicating Process Architectures. pp. 219-226. ISSN 1383-7575

Maad, S. (2002) Novel Software System Development for Finance. In: Business Information Technology Conference (BIT 2002), Manchester, UK.

Maad, S., Beynon, W.M. and Garbaya, S. (2001) Realising Virtual Trading: what price Virtual Reality? In: Usability Evaluation and Interface Design: Cognitive Engineering, Intelligent Agents and Virtual Reality. Lawrence Erlbaum Associates, pp. 1007-1011. ISBN 9780805836073

Mahmoud, S., Griffiths, N., Keppens, J. and Luck, M. (2010) An Analysis of Norm Emergence in Axelrod's Model. In: 8th European Workshop on Multi-Agent Systems, Paris, France.

Mahmoud, S., Griffiths, N., Keppens, J. and Luck, M. (2010) An Analysis of Norm Emergence in Axelrods Model. In: 5th International Workshop on Normative Multi-Agent Systems (NorMAS10), Leicester, UK.

Martin, G.N.N. (1979) Spiral storage: incrementally augmentable hash addressed storage. Technical Report. Department of Computer Science, Coventry, UK.

Marx, M. and Areces, C. (1997) Failure of interpolation in combined modal logics. Technical Report. Department of Computer Science, Coventry, UK.

Masood, K. and Rajpoot, N.M. (2007) Classification of Colon Biopsy Samples by Spatial Analysis of a Single Spectral Band from its Hyperspectral Cube. In: 11th Medical Image Understanding and Analysis (MIUA 2007), 17-18 July, 2007, Aberystwyth, Wales.

Masood, K. and Rajpoot, N.M. (2006) Hyperspectral colon biopsy classification into normal and malignant categories. Technical Report. Department of Computer Science, Coventry, UK.

Masood, K. and Rajpoot, N.M. (2008) Spatial Analysis for Colon Biopsy Classification from Hyperspectral Imagery. The Annals of the BMVA, 2008 (4). pp. 1-16.

Masood, K. and Rajpoot, N.M. (2009) Texture based Classification of Hyperspectral Colon Biopsy Samples using CBLP. In: 6th IEEE International Symposium on Biomedical Imaging (ISBI 2009), 28 June - July 1, 2009, Boston, US.

Masood, K., Rajpoot, N.M., Qureshi, H. and Rajpoot, K. (2006) Co-occurrence and Morphological Analysis for Colon Tissue Biopsy Classification. In: 4th International Workshop on Frontiers of Information Technology (FIT 2006), 20-21 December, 2006, Islamabad, Pakistan.

Masood, K., Rajpoot, N.M., Qureshi, H. and Rajpoot, K. (2007) Hyperspectral Texture Analysis for Colon Tissue Biopsy Classification. In: International Symposium on Health Informatics and Bioinformatics (HIBIT 2007), 30 April - May 2, 2007, Antalya, Turkey.

Matias, Y., Rajpoot, N.M. and Sahinalp, C. (2001) The Effect of Flexible Parsing for Dynamic Dictionary-Based Data Compression. ACM Journal on Experimental Algorithmics, 6. pp. 1-19. ISSN 1084-6654

Matias, Y., Rajpoot, N.M. and Sahinalp, S. (1998) Implementation and Experimental Evaluation of Flexible Parsing for Dynamic Dictionary Based Data Compression. In: 2nd Workshop on Algorithm Engineering (WAE 1998), 20-22 August, 2008, Saarbrucken, Germany.

Matias, Y., Rajpoot, N.M. and Sahinalp, S.C. (1999) The Effect of Flexible Parsing for Dynamic Dictionary Based Data Compression. In: IEEE Data Compression Conference (DCC 1999), 29-31 March, 1999, Utah, US.

Matias, Y., Rajpoot, N.M. and Sahinalp, S.C. (2001) The Effect of Flexible Parsing for Dynamic Dictionary Based Data Compression. Journal of Experimental Algorithmics (JEA), 6.

Matthews, S.G. (1991) Adding second order functions to Kahn Data Flow. Technical Report. Department of Computer Science, Coventry, UK.

Matthews, S.G. (1986) Metric domains for completeness. Technical Report. Department of Computer Science, Coventry, UK.

Matthews, S.G. (1990) Notes on separability in metric sets. Technical Report. Department of Computer Science, Coventry, UK.

Matthews, S.G. (1992) Partial metric spaces. Technical Report. Department of Computer Science, Coventry, UK.

Matthews, S.G. (1992) The cycle contraction mapping theorem. Technical Report. Department of Computer Science, Coventry, UK.

Matthews, S.G. (1992) The topology of partial metric spaces. Technical Report. Department of Computer Science, Coventry, UK.

McCluskey, W., Anand, S.S. and Borst, R. (1998) The Application of Hybrid Intelligent Appraisal Techniques Within the Field of Comparable Sales Analysis. In: International Association of Assessing Officers Annual Conference, 1998.

McCluskey, W., Dyson, K., McFall, D. and Anand, S.S. (1996) Mass Appraisal for Property Taxation: An Artificial Intelligence Approach. Australian Land Economics Review, 2 (1).

McColl, R.W. and Martin, G.R. (1987) Quantisation of digitised colour images. Technical Report. Department of Computer Science, Coventry, UK.

McColl, R.W. and Martin, G.R. (1989) Texture analysis and synthesis. Technical Report. Department of Computer Science, Coventry, UK.

McColl, W.F. (1977) Some results on circuit depth. Technical Report. Department of Computer Science, Coventry, UK.

McColl, W.F. and Paterson, M.S. (1975) The depth of all Boolean functions. Technical Report. Department of Computer Science, Coventry, UK.

McColl, W.F., Paterson, M.S. and Bowditch, B.H. (1988) Planar acyclic computation. Technical Report. Department of Computer Science, Coventry, UK.

Meccawy, M., Celik, I., Cristea, A.I., Stewart, C. and Ashman, H. (2006) Interoperable Adaptive Educational Hypermedia: a Web Service Definition. In: 6th IEEE International Conference on Advanced Learning Technologies (ICALT 2006), Kerkrade, The Netherlands.

Meehan, G.P. (1998) The Aladin Abstract Machine. Technical Report. Department of Computer Science, Coventry, UK.

Meehan, G.P. (1999) Aspects of functional programming. PhD thesis, University of Warwick.

Meehan, G.P. (1997) Compiling functional programs to Java Byte-code. Technical Report. Department of Computer Science, Coventry, UK.

Meehan, G.P. (1997) Fuzzy functional programming. Technical Report. Department of Computer Science, Coventry, UK.

Meehan, G.P. and Joy, M.S. (1998) Animated Fuzy Logic. Journal of Functional Programming, 8 (8). pp. 503-525.

Meehan, G.P. and Joy, M.S. (1999) Compiling Lazy Functional Programs to Java Bytecode. Software: Practice and Experience, 29 (7). pp. 617-645. ISSN 0038-0644

Meulemans, P.R. and Wilson, R.G. (1995) Feature extraction for very low bit rate video coding. Technical Report. Department of Computer Science, Coventry, UK.

Miles, S., Joy, M.S. and Luck, M. (2001) Designing Agent-Oriented Systems by Analysing Agent Interactions. In: Agent-Oriented Software Engineering: First International Workshop, AOSE 2000. LNCS (1957). Springer, pp. 171-183. ISBN 978-3-540-41594-7

Miles, S., Joy, M.S. and Luck, M. (2003) Towards a Methodology for Coordination Mechanism Selection in Open System. In: Engineering Societies in the Agents World III: Third International Workshop on Engineering Societies in the Agents World (ESAW-2002). LNCS (2577). Springer, pp. 241-256. ISBN 3-540-39173-8

Miltersen, P.B. (1993) Lower bounds for union-split-find related problems on random access machines. Technical Report. Department of Computer Science, Coventry, UK.

Miltersen, P.B. (1994) On the cell probe complexity of polynomial evaluation. Technical Report. Department of Computer Science, Coventry, UK.

Miltersen, P.B., Paterson, M.S. and Tarui, J. (1992) The asymptotic complexity of merging networks. Technical Report. Department of Computer Science, Coventry, UK.

Mitra, S., Bhalerao, A.H., Summers, P. and Williams, S. (2005) Cortical Organization of Sensory Corrections in Visuomotor Skill Acquisition. Neuroscience Letters, 381 (1-2). pp. 76-81.

Moitra, A. and Joseph, M. (1991) Determining timing properties of infinite real-time programs. Technical Report. Department of Computer Science, Coventry, UK.

Moreno, A. and Joy, M.S. (2007) Jeliot 3 in a Demanding Educational Setting. Electronic Notes in Theoretical Computer Science, 178. pp. 51-59. ISSN 1571-0661

Moreno, A. and Joy, M.S. (2006) Jeliot 3 in a Demanding Educational Setting. In: Fourth International Program Visualization Workshop, 29-30 June 2006, Florence, Italy.

Moreno, A., Joy, M.S., Myller, N. and Sutinen, E. (2010) Layered Architecture for Automatic Generation of Conflictive Animations in Programming Education. IEEE Transactions on Learning Technologies, 3 (2). pp. 139-151. ISSN 1939-1382

Moreno, A., Joy, M.S. and Sutinen, E. (2013) Roles of Animation Tools in Understanding Programming Concepts. Journal of Educvational Multimedia and Hypermedia, 22 (2). pp. 39-56. (In Press)

Morgan, R.G. and Jarvis, S.A. (1998) Profiling Large-Scale Lazy Functional Programs. Journal of Functional Programming, 8 (3). pp. 201-237. ISSN 0956-7968

Morgan, R.G. and Jarvis, S.A. (1995) Profiling Large-Scale Lazy Functional Programs. In: High Performance Functional Computing, 9-11 April, 1995, Denver, USA.

Mozgovoy, M., Frederiksson, K., White, D.R., Joy, M.S. and Sutinen, E. (2005) Fast Plagiarism Detection System. In: String Processing and Information Retrieval: 12th International Conference (SPIRE 2005). LNCS (3772). Springer, London, pp. 267-270.

Mozgovoy, M., Kakkonen, T. and Cosma, G. (2010) Automatic Student Plagiarism Detection: Future Perspectives. Journal of Educational Computing Research. (In Press)

Mudalige, G.R., Jarvis, S.A., Spooner, D.P. and Nudd, G.R. (2006) Predictive Performance Analysis of a Parallel Pipelined Synchronous Wavefront Application for Commodity Processor Cluster Systems. In: IEEE International Conference on Cluster Computing (IEEE Cluster 2006), Barcelona, Spain.

Mudalige, G.R., Vernon, M.K. and Jarvis, S.A. (2008) A Plug-and-Play Model for Evaluating Wavefront Computations on Parallel Architectures. In: 22nd IEEE International Parallel and Distributed Processing Symposium (IPDPS08), Miami, Florida.

Mullins, A., Bowen, A., Wilson, R.G. and Rajpoot, N.M. (2007) Bayesian Surface Estimation from Multiple Cameras Using a Prior Based on the Visual Hull and its Application to Image Based Rendering. In: British Machine Vision Conference (BMVC 2007), 10-13 September, 2007, Coventry, UK.

Mullins, A., Bowen, A., Wilson, R.G. and Rajpoot, N.M. (2005) Estimating Planar Patches for Light Field Reconstruction. In: British Machine Vision Conference (BMVC 2005), 5-8 September, 2005, Oxford, UK.

Mullins, A., Bowen, A., Wilson, R.G. and Rajpoot, N.M. (2006) Multiresolution Particle Filters in Image Processing. In: 7th International Conference on Mathematics in Signal Processing, 18-20 December, 2006, Cirencester, UK.

Mullins, A., Bowen, A., Wilson, R.G. and Rajpoot, N.M. (2006) Scene Reconstruction from Multiple Views Using a Locally Planar Model. In: Vision, Modeling and Visualisation (VMV 2006), 22-24 November, 2006, Aachen, Germany.

Mullins, A., Bowen, A., Wilson, R.G. and Rajpoot, N.M. (2007) Video based Rendering using Surface Patches. In: 3DTV Conference (3DTV-Con 2007), 7-9 May, 2007, Kos Island, Greece.

Munro, J.I. and Paterson, M.S. (1978) Selection and sorting with limited storage. Technical Report. Department of Computer Science, Coventry, UK.

Muntean, C.H., Muntean, G.M., McManis, J. and Cristea, A.I. (2007) Quality of Experience-LAOS: Create Once, Use Many, Use Anywhere. International Journal of Learning Technology (IJLT), 3 (3). pp. 209-229. ISSN 1477-8386

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

N

Nagarajan, R., Müller, M. and Rogers, C. (2009) Lossless Quantum Prefix Compression for Communication Channels that are always Open. Physical Review -Series A, 79 (1). pp. 1-11. ISSN 1050-2947

Naik, Y. (1991) A temporal approach to requirements specification of real-time systems. Technical Report. Department of Computer Science, Coventry, UK.

Ng, C.U. and Martin, G.R. (2001) Content-description interfaces for medical imaging. Technical Report. Department of Computer Science, Coventry, UK.

Ng, C.U. and Martin, G.R. (2002) Content-description interfaces for medical imaging. Technical Report. Department of Computer Science, Coventry, UK.

Novak, L.A. and Gibbons, A.M. (1989) Double independent subsets of a graph. Technical Report. Department of Computer Science, Coventry, UK.

Novak, L.A. and Gibbons, A.M. (1992) Hybrid bases in graphs. Technical Report. Department of Computer Science, Coventry, UK.

Novak, L.A. and Gibbons, A.M. (1989) On perfect pairs of trees in a graph. Technical Report. Department of Computer Science, Coventry, UK.

Nudd, G.R. and Jarvis, S.A. (2005) Performance-based Middleware for Grid Computing. Concurrency and Computation: Practice and Experience, 17 (2-4). pp. 215-234. ISSN 1532-0626

Nurse, J.R.C. and Sinclair, J.E. (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 (ICIW 2009), 24-28 May, 2009, Venice/Mestre, Italy.

Nurse, J.R.C. and Sinclair, J.E. (2009) BOF4WSS: a business-oriented framework for enhancing web services security for e-business. Technical Report. Department of Computer Science, Coventry, UK.

Nurse, J.R.C. and Sinclair, J.E. (2010) Evaluating the Compatibility of a Tool to Support E-Businesses' Security Negotiations. In: International Conference of Information Security and Internet Engineering, under World Congress on Engineering (WCE 2010), 30 June - 2 July, 2010, London, UK.

Nurse, J.R.C. and Sinclair, J.E. (2009) Securing e-Businesses that use Web Services - a Guided Tour Through BOF4WSS. International Journal on Advances in Internet Technology, 2 (4). pp. 253-276. ISSN 1942-2652

Nurse, J.R.C. and Sinclair, J.E. (2010) A Solution Model and Tool for Supporting the Negotiation of Security Decisions in E-Business Collaborations. In: 5th International Conference on Internet and Web Applications and Services (ICIW 2010), 9-15 May, 2010, Barcelona, Spain.

Nurse, J.R.C. and Sinclair, J.E. (2009) Supporting the Comparison of Business-Level Security Requirements within Cross-Enterprise Service Development. In: Business Information Systems. Lecture Notes in Business Information Processing, 21 . Springer-Verlag, pp. 61-72. ISBN 9783642011894

Nurse, J.R.C. and Sinclair, J.E. (2010) A Thorough Evaluation of the Compatibility of an E-Business Security Negotiations Support Tool. International Journal of Computer Science, 37 (4). pp. 376-387. ISSN 1819-9224

Nurse, J.R.C. and Sinclair, J.E. (2012) Towards A Model to Support the Reconciliation of Security Actions across Enterprises. In: 2nd Workshop on Socio-Technical Aspects in Security and Trust (STAST), 29th June 2012, Cambridge, MA, USA. (In Press)

O

O'Neill, S.J. (1995) Two topologies are better than one. Technical Report. Department of Computer Science, Coventry, UK.

Ogston, E. (2010) Peer-to-Peer Aggregation Techniques Dissected. International Journal of Parallel, Emergent and Distributed Systems, 25 (1). pp. 51-71. ISSN 1744-5760

Ogston, E. and Jarvis, S.A. (2008) Improving the Accuracy of Peer-to-Peer Sampling Services. In: The First Inernational Workshop on Computational P2P Networks, July 27 - 1 August, 2008, Athens, Greece.

Ogston, E. and Jarvis, S.A. (2009) Peer Sampling with Improved Accuracy. Peer to Peer Networking and Applications, 2 (1). pp. 24-36. ISSN 1936-6442

Okamoto, T. and Cristea, A.I. (2001) A Distance Ecological Model for Individual and Collaborative-Learning Support. Educational Technology and Society, 4 (2). pp. 79-90. ISSN 1436-4522

Okamoto, T., Cristea, A.I. and Kayama, M. (2001) Future Integrated Learning Environments with Multimedia. Journal Of Computer Assisted Learning, 17 (1). pp. 4-12.

Okamoto, T., Inoue, H., Cristea, A.I., Kayama, M., Matsui, T. and Seki, K. (2001) A Cooperative Linkage between University and Industry via an Internet Distance Education System. In: 2nd IEEE International Conference on Advanced Learning Technologies (ICALT 2001), 6-8 August, 2001, Madison, USA.

Okamoto, T., Kayama, M. and Cristea, A.I. (2001) Proposal of a Collaborative Learning Standardization. In: 2nd IEEE International Conference on Advanced Learning Technologies (ICALT 2001), 6-8 August, 2001, Madison, USA.

Okamoto, T., Kayama, M., Cristea, A.I. and Seki, K. (2001) The Distance Ecological Model to Support Self/Collaborative-Learning in the Internet Environment. In: 2nd IEEE International Conference on Advanced Learning Technologies (ICALT 2001), 6-8 August, 2001, Madison, USA.

Okamoto, T., Kayama, M., Inoue, H. and Cristea, A.I. (2002) The Integrated e-Learning System-RAPSODY Based on Distance Ecology Model and its Practice. Educational Technology and Society, 5 (4). pp. 124-136. ISSN 1436-4522

P

Palmer, N. and Goldberg, P.W. (2004) PAC classification based on PAC estimates of label class distributions. Technical Report. Department of Computer Science, Coventry, UK.

Papaefstathiou, E., Kerbyson, D.J. and Nudd, G.R. (1994) A layered approach to parallel software performance prediction: a case study. Technical Report. Department of Computer Science, Coventry, UK.

Papaefstathiou, E., Kerbyson, D.J., Nudd, G.R. and Atherton, T.J. (1994) An analysis of processor resource models for use in performance prediction. Technical Report. Department of Computer Science, Coventry, UK.

Papaefstathiou, E., Kerbyson, D.J., Nudd, G.R. and Atherton, T.J. (1995) An introduction to the CHIP3S language for characterising parallel systems in performance studies. Technical Report. Department of Computer Science, Coventry, UK.

Papaefstathiou, E., Kerbyson, D.J., Nudd, G.R., Atherton, T.J. and Harper, J.S. (1997) An Introduction To The Layered Characterisation For High Performance Systems. Technical Report. University of Warwick, Coventry, UK.

Papaefstathiou, E., Kerbyson, D.J., Nudd, G.R., Atherton, T.J. and Harper, J.S. (1997) An introduction to the layered characterisation for high performance systems. Technical Report. Department of Computer Science, Coventry, UK.

Papaefstathiou, E., Papay, J., Nudd, G.R., Atherton, T.J., Clarke, C.T., Kerbyson, D.J., Stratton, A., Ziani, R. and Zemerly, M.J. (1993) A layered approach to modelling parallel systems for performance prediction. Technical Report. Department of Computer Science, Coventry, UK.

Papanikolaou, N.K. (2005) Reasoning formally about quantum systems: an overview. Technical Report. Department of Computer Science, Coventry, UK.

Papanikolaou, N.K. (2005) Techniques for design and validation of quantum protocols. Technical Report. Department of Computer Science, Coventry, UK.

Parberry, I.D. (1984) On the power of parallel machines with high-arity instruction sets. Technical Report. Department of Computer Science, Coventry, UK.

Parberry, I.D. and Goldschlager, L.M. (1983) On the construction of parallel computers from various bases of Boolean functions. Technical Report. Department of Computer Science, Coventry, UK.

Park, D.M.R. (1981) Concurrency and automata on infinite sequences. Technical Report. Department of Computer Science, Coventry, UK.

Park, D.M.R. (1983) Essential and ephemeral knowledge. Technical Report. Department of Computer Science, Coventry, UK.

Park, D.M.R. (1974) Finiteness is mu-ineffable. Technical Report. Department of Computer Science, Coventry, UK.

Park, D.M.R. (1976) The Y-combinator in Scott's lambda-calculus models. Technical Report. Department of Computer Science, Coventry, UK.

Park, H. (2007) Affine symmetry and applications in image processings. Technical Report. Department of Computer Science, Coventry, UK.

Park, H., Bhalerao, A.H., Martin, G.R. and Yu, A.C. (2006) An Affine Symmetric Approach To Natural Image Compression. In: Proceedings of the 2nd International Conference on Mobile Multimedia Communications (MOBIMEDIA'06), 18-20th September, 2006, Sardinia, Italy.

Park, H. and Martin, G.R. (2005) Video compression: wavelet based coding and texture synthesis based coding. Technical Report. Department of Computer Science, Coventry, UK.

Park, H., Martin, G.R. and Bhalerao, A.H. (2010) An Affine Symmetric Image Model and Its Applications. IEEE Transactions on Image Processing, 19 (7). pp. 1695-1705. ISSN 1057-7149

Park, H., Martin, G.R. and Bhalerao, A.H. (2010) Local Affine Image Matching and Synthesis Based on Structural Patterns. IEEE Transactions on Image Processing, 19 (8). pp. 1968-1977. ISSN 1057-7149

Park, H., Martin, G.R. and Yao, Z. (2007) Image Denoising with Directional Bases. In: Proceedings of the IEEE International Conference on Image Processing (ICIP 2007), September, 2007, San Antonio, Texas, USA.

Park, H., Martin, G.R. and Yu, A.C. (2005) Fast Motion Estimation based on the Redundant Wavelet for 2D+T Wavelet Coder. In: Proceedings of the 9th International Workshop of Visual Content Processing and Representation (VLBV 2005), 15-16th September, 2005, Sardinia, Italy.

Park, H., Martin, G.R. and Yu, A.C. (2005) Lossless Contour Representation Using Efficient Multiple Grid Chain Coding. In: Proceedings of the 13th European Signal Processing Conference (EURASIP 2005), September, 2005, Turkey.

Park, H., Yu, A.C. and Martin, G.R. (2006) Progressive Mesh-Based Motion Estimation Using Partial Refinement. In: Selected Papers of the 9th International Workshop of Visual Content Processing and Representation (VLBV 2005). Lecture Notes in Computer Science (LNAI), 3893 . Springer, pp. 92-98. ISBN 3-540-33578-1

Paterson, M.S. (1974) Complexity of monotone networks for Boolean matrix product. Technical Report. Department of Computer Science, Coventry, UK.

Paterson, M.S. (1993) Computer Science seminars 1992/93. Technical Report. Department of Computer Science, Coventry, UK.

Paterson, M.S. (1987) Improved sorting networks with O(log n) depth. Technical Report. Department of Computer Science, Coventry, UK.

Paterson, M.S. (1976) New bounds for formula size. Technical Report. Department of Computer Science, Coventry, UK.

Paterson, M.S. (1986) Universal chains and wiring layouts. Technical Report. Department of Computer Science, Coventry, UK.

Paterson, M.S., Pippenger, N. and Zwick, U. (1990) Optimal carry save networks. Technical Report. Department of Computer Science, Coventry, UK.

Paterson, M.S. and Przytycka, T. (1995) On the complexity of string folding. Technical Report. Department of Computer Science, Coventry, UK.

Paterson, M.S. and Razborov, A.A. (1988) The set of minimal braids is co-NP-complete. Technical Report. Department of Computer Science, Coventry, UK.

Paterson, M.S. and Srinavasan, A. (1995) Contention resolution with bounded delay. Technical Report. Department of Computer Science, Coventry, UK.

Paterson, M.S. and Yao, F.F. (1989) Binary partitions with applications to hidden-surface removal and solid modelling. Technical Report. Department of Computer Science, Coventry, UK.

Paterson, M.S. and Yao, F.F. (1990) Optimal binary space partitions for orthogonal objects. Technical Report. Department of Computer Science, Coventry, UK.

Paterson, M.S. and Zwick, U. (1990) Improved circuits and formulae for multiple addition, multiplication and symmetric Boolean functions. Technical Report. Department of Computer Science, Coventry, UK.

Paterson, M.S. and Zwick, U. (1990) Shallow multiplication circuits. Technical Report. Department of Computer Science, Coventry, UK.

Paterson, M.S. and Zwick, U. (1992) Shallow multiplication circuits and wise financial investments. Technical Report. Department of Computer Science, Coventry, UK.

Paterson, M.S. and Zwick, U. (1991) Shrinkage of de Morgan formulae under restriction. Technical Report. Department of Computer Science, Coventry, UK.

Patterson, D., Anand, S.S., Dubitzky, W. and Hughes, J.G. (1999) Towards Automated Case Knowledge Discovery in the M2 Case-based Reasoning System. Knowledge and Information Systems, 1 (1). pp. 61-82.

Patterson, D., Dubitzky, W., Anand, S.S. and Hughes, J.G. (1998) On the Automation of Case Base Development from Large Databases. In: Working Notes of the AAAI Workshop on CBR Integrations, 1998.

Peled, D.A. (1992) Sometimes 'Some' is as good as 'All' (preliminary version). Technical Report. Department of Computer Science, Coventry, UK.

Peng, F., Guo, Re-Si, Li, C.-T. and Long, Min (2010) A Semi-Fragile Watermarking Algorithm for Authenticating 2D Engineering Graphics Based on Log-Polar Transformation. Computer-Aided Design, 42 (12). pp. 1207-1216.

Peng, F., Lei, Y.Z. and Li, C.-T. (2009) A Reversible Watermarking Scheme for 2D Engineering Graphics Based on Imporved Quantization Index Modulation. In: 3rd International Conference on Imaging for Crime Detection and Prevention, 3 December 2009, London, UK.

Pennycook, S.J. (2012) Evaluating the Performance of Legacy Applications on Emerging Parallel Architectures. PhD thesis, University of Warwick.

Pennycook, S.J., Hammond, S.D., Jarvis, S.A. and Mudalige, G.R. (2011) Performance Analysis of a Hybrid MPI/CUDA Implementation of the NAS-LU Benchmark. ACM SIGMETRICS Performance Evaluation Review, 38 (4). ISSN 0163-5999

Pennycook, S.J., Hammond, S.D., Mudalige, G.R. and Jarvis, S.A. (2010) Experiences with Porting and Modelling Wavefront Algorithms on Many-Core Architectures. In: Daresbury GPU Workshop 2010, Daresbury, UK.

Pennycook, S.J., Hammond, S.D., Mudalige, G.R. and Jarvis, S.A. (2010) Performance Analysis of a Hybrid MPI/CUDA Implementation of the NAS-LU Benchmark. In: 1st International Workshop on Performance Modeling, Benchmarking and Simulation of High Performance Computing Systems (PMBS 10), held in conjunction with IEEE/ACM Supercomputing 2010 (SC'10), New Orleans, LA, USA.

Pennycook, S.J., Hammond, S.D., Mudalige, G.R., Wright, S.A. and Jarvis, S.A. (2012) On the Acceleration of Wavefront Applications using Distributed Many-Core Architectures. The Computer Journal, 55 (2). pp. 138-153. ISSN 0010-4620

Perks, O.F.J., Hammond, S.D., Pennycook, S.J. and Jarvis, S.A. (2011) Should We Worry About Memory Loss? ACM SIGMETRICS Performance Evaluation Review, 38 (4). ISSN 0163-5999

Perks, O.F.J., Hammond, S.D., Pennycook, S.J. and Jarvis, S.A. (2010) Should We Worry About Memory Loss? In: 1st International Workshop on Performance Modeling, Benchmarking and Simulation of High Performance Computing Systems (PMBS 10), held in conjunction with IEEE/ACM Supercomputing 2010 (SC'10), New Orleans, LA, USA.

Perks, O.F.J., Hammond, S.D., Pennycook, S.J. and Jarvis, S.A. (2011) WMTools - Assessing Parallel Application Memory Utilisation at Scale. Computer Performance Engineering. Lecture Notes in Computer Science, 6977. pp. 148-162.

Perks, O.F.J., Hammond, S.D., Pennycook, S.J. and Jarvis, S.A. (2011) WMTrace - A Lightweight Memory Allocation Tracker and Analysis Framework. In: Proceedings of the UK Performance Engineering Workshop (UKPEW'11), 7-8th July, 2011, Bradford, United Kingdom.

Perry, S.C., Harper, J.S., Kerbyson, D.J. and Nudd, G.R. (1999) Theory and operation of the Warwick Multiprocessor Scheduling (MS) system. Technical Report. Department of Computer Science, Coventry, UK.

Peyton-Jones, S.L. and Joy, M.S. (1990) FLIC - a functional language intermediate code. Technical Report. Department of Computer Science, Coventry, UK.

Picot, E., Krusche, P., Tiskin, A., Carre´, I. and Ott, S. (2010) Evolutionary Analysis of Regulatory Sequences (EARS) in Plants. The Plant Journal, 64 (1). pp. 165-176.

Pope, N. and Beynon, W.M. (2010) Empirical Modelling as an Unconventional Approach to Software Development. In: SPLASH 2010 Workshop on Flexible Modeling Tools, October 18, 2010, Reno Nevada, USA.

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

Popham, T.J. (2010) Tracking 3D Surfaces Using Multiple Cameras: A Probabilistic Approach. PhD thesis, University of Warwick.

Popham, T.J., Bhalerao, A.H. and Wilson, R.G. (2010) Multi-Frame Scene-Flow Estimation Using a Patch Model and Smooth Motion Prior. In: British Machine Vision Conference Workshop, London, UK.

Popham, T.J. and Wilson, R.G. (2009) Selecting Surface Features for Accurate Multi-Camera Surface Reconstruction. In: British Machine Vision Conference (BMVC), Aberystwyth, UK.

Popham, T.J., Wilson, R.G. and Bhalerao, A.H. (2010) A Smooth 6DOF Motion Prior for Efficient 3D Surface Tracking. In: IEEE 3DTV Conference, Tampere, Finland.

Power, G., Davis, H.C., Cristea, A.I., Stewart, C. and Ashman, H. (2005) Goal Oriented Personalisation with SCORM. In: 5th IEEE International Conference on Advanced Learning Technologies (ICALT 2005), Kaohsiung, Taiwan.

Pu, I. and Gibbons, A.M. (1996) Matricial space-economy with constant access-time. Technical Report. Department of Computer Science, Coventry, UK.

Q

Qu, H. (2005) Theoretical and practical tools for validating discrete and real-time systems. Technical Report. Department of Computer Science, Coventry, UK.

Qureshi, H. and Rajpoot, N.M. (2010) Comparative Analysis of Spatial and Transform Domain Methods for Meningioma Subtype Classification. In: Medical Image Understanding and Analysis (MIUA 2010), 6-7 July, 2010, Coventry, UK.

Qureshi, H., Rajpoot, N.M., Masood, K. and Hans, V. (2006) Classification of Meningiomas using Discriminant Wavelet Packets and Learning Vector Quantization. In: Medical Image Understanding and Analysis (MIUA 2006), 4-5 July, 2006, Manchester, UK.

Qureshi, H., Rajpoot, N.M., 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), 20-24 September, 2009, London, UK.

Qureshi, H., Rajpoot, N.M., Wilson, R.G., Nattkemper, T. and Hans, V. (2007) Comparative Analysis of Discriminant Wavelet Packet Features and Raw Image Features for Classification of Meningioma Subtypes. In: 11th Medical Image Understanding and Analysis (MIUA 2007), 17-18 July, 2007, Aberystwyth, Wales.

Qureshi, H., Sertel, O., Rajpoot, N.M. and Wilson, R.G. (2008) Adaptive Discriminant Wavelet Packet Transform and Local Binary Patterns for Meningioma Subtype Classification. In: Medical Image Computing and Computer-Assisted Intervention. Lecture Notes in Computer Science, 5242 . Springer-Verlag, pp. 196-204. ISBN 3540859896

Qureshi, H., Wilson, R.G. and Rajpoot, N.M. (2008) Optimal Wavelet Basis for Wavelet Packets based Meningioma Subtype Classification. In: 12th Medical Image Understanding and Analysis (MIUA 2008), 2-3 July, 2008, Dundee, Scotland.

R

Rafter, M.F. (1987) Formatted Streams: extensible formatted I/O for C++ using Object-Oriented programming. Technical Report. Department of Computer Science, Coventry, UK.

Rajpoot, K., Noble, A., Grau, V. and Rajpoot, N.M. (2008) Feature Detection from Echocardiography Images Using Local Phase Information. In: 12th Medical Image Understanding and Analysis (MIUA 2008), 2-3 July, 2008, Dundee, Scotland.

Rajpoot, K. and Rajpoot, N.M. (2004) Hyperspectral Colon Tissue Cell Classification. In: SPIE Medical Imaging (MI), US.

Rajpoot, K. and Rajpoot, N.M. (2004) SVM Optimization for Hyperspectral Colon Tissue Cell Classification. In: 7th International Conference on Medical Image Computing and Computer Assisted Intervention (MICCAI 2004), 26-30 September, 2004, Saint-Malo, France.

Rajpoot, K. and Rajpoot, N.M. (2003) Wavelet Based Segmentation of Hyperspectral Colon Tissue Imagery. In: 7th IEEE International Multi Topic Conference (INMIC 2003), 9 December, 2003, Islamabad, Pakistan.

Rajpoot, K. and Rajpoot, N.M. (2004) Wavelets and Support Vector Machines for Texture Classification. In: 8th IEEE International Multitopic Conference (INMIC 2004), 24-26 December, 2004, Lahore, Pakistan.

Rajpoot, K., Rajpoot, N.M. and Noble, J. (2008) Discrete Wavelet Diffusion for Image Denoising. In: Image and Signal Processing. Lecture Notes in Computer Science, 5099 . Springer-Verlag, pp. 20-28. ISBN 354069904X

Rajpoot, N.M. (2003) Local Discriminant Wavelet Packet Basis for Texture Classification. In: SPIE Wavelets X, August, 2003, San Diego, US.

Rajpoot, N.M. (2004) Model Based Optimal Bit Allocation. In: IEEE Data Compression Conference (DCC 2004), 23-25 March, 2004, Utah, US.

Rajpoot, N.M. (2004) Model based optimal bit allocation. Technical Report. Department of Computer Science, Coventry, UK.

Rajpoot, N.M. (2002) Simulation of the Rate-Distortion Behaviour of a Memoryless Laplacian Source. In: 4th Middle Eastern Symposium on Simulation and Modelling (MESM 2002), September, 2002, Sharjah, UAE.

Rajpoot, N.M. (2002) Texture Classification Using Discriminant Wavelet Packet Subbands. In: IEEE 45th Midwest Symposium on Circuits and Systems (MWSCAS 2002), 4-7 August, 2002.

Rajpoot, N.M. and Arif, M. (2008) Unsupervised Shape Clustering using Diffusion Maps. The Annals of the BMVA, 2008 (5). pp. 1-17.

Rajpoot, N.M., Arif, M. and Bhalerao, A.H. (2007) Unsupervised Learning of Shape Manifolds. In: British Machine Vision Conference (BMVC 2007), 10-13 September, 2007, Coventry, UK.

Rajpoot, N.M., Hussain, A., Ali, U., Saleem, K. and Qureshi, M. (2004) A Novel Image Coding Algorithm using Ant Colony System Vector Quantization. In: International Workshop on Systems, Signals and Image Processing (IWSSIP 2004), 13-15 September, 2004, Poznan, Poland.

Rajpoot, N.M. and Masood, K. (2005) Human Gait Recognition with 3-D Wavelets and Kernel based Subspace Projections. In: International Workshop on Human Activity Recognition and Modelling (HAREM 2005), 9 September, 2005, Oxford, UK.

Rajpoot, N.M., Meyer, F.G., Wilson, R.G. and Coifman, R.R. (1999) On Zerotree Quantization for Embedded Wavelet Packet Image Coding. In: IEEE International Conference on Image Processing (ICIP 1999), 24-28 October, 1999, Kobe, Japan.

Rajpoot, N.M. and Wilson, R.G. (1998) Progressive image coding using augmented zerotrees of wavelet coefficients. Technical Report. Department of Computer Science, Coventry, UK.

Rajpoot, N.M., Wilson, R.G., Meyer, F.G. and Coifman, R.R. (2003) Adaptive Wavelet Packet Basis Selection for Zerotree Image Coding. IEEE Transactions on Image Processing, 12 (12). pp. 1460-1472. ISSN 1057-7149

Rajpoot, N.M., Wilson, R.G., Meyer, F.G. and Coifman, R.R. (2001) A New Basis Selection Paradigm for Wavelet Packet Image Coding. In: IEEE International Conference on Image Processing (ICIP 2001), 7-10 October, 2001, Thessaloniki, Greece.

Rajpoot, N.M., Wilson, R.G. and Yao, Z. (2004) Planelets: a New Analysis Tool for Planar Feature Extraction. In: 5th International Workshop on Image Analysis for Multimedia Interactive Services (WIAMIS 2004), 21-23 April, 2004, Lisboa, Portugal.

Rajpoot, N.M., Yao, Z. and Wilson, R.G. (2005) Adaptive Wavelet Restoration of Noisy Video Sequences. In: IEEE International Conference on Image Processing (ICIP 2004), 24-27 October, 2004, Singapore.

Rajpoot, N.M., Yao, Z. and Wilson, R.G. (2009) Nonlinear Filtering for Image Denoising. In: Passive, Active, and Digital Filters (Circuits and Filters Handbook, 3rd Edition). CRC Press. ISBN 9781420058857

Rasmequan, S., Roe, C. and Russ, S.B. (2000) Strategic Decision Support Systems: An Experience-Based Approach. In: 18th IASTED Conference on Applied Informatics, 14-17 February, 2000, Innsbruck, Austria.

Rasmequan, S. and Russ, S.B. (2000) Cognitive Artefacts for Decision Support. In: IEEE International Conference on Systems, Man, and Cybernetics (SMC 2000), 8-11 October, 2000, Tennessee, USA.

Rasmequan, S. and Russ, S.B. (2002) Knowledge Modelling. In: IASTED Conference on Applied Modelling and Simulation, Massachusetts, USA.

Ravindran, S. and Gibbons, A.M. (1992) Dense edge-disjoint embedding of complete binary trees in the hypercube. Technical Report. Department of Computer Science, Coventry, UK.

Ravindran, S., Gibbons, A.M. and Paterson, M.S. (1995) Dense edge-disjoint embedding of complete binary trees in interconnection networks. Technical Report. Department of Computer Science, Coventry, UK.

Rawles, S., Joy, M.S. and Evans, M. (2002) Computer-Assisted Assessment in Computer Science: Issues and Software. Technical Report. University of Warwick, Coventry.

Rawles, S., Joy, M.S. and Evans, M. (2002) Computer-assisted assessment in computer science: issues and software. Technical Report. Department of Computer Science, Coventry, UK.

Rawlinson, T., Bhalerao, A.H. and Wang, L. (2010) Principles and Methods for Face Recognition and Face Modelling. In: Handbook of Research on Computational Forensics, Digital Crime and Investigation: Methods and Solutions. IGI Global. ISBN 1605668362

Reyes-Aldasoro, C.C. (2004) A guide to co-occurrence matrix analysis. Technical Report. Department of Computer Science, Coventry, UK.

Reyes-Aldasoro, C.C. and Bhalerao, A.H. (2006) The Bhattacharyya Space for Feature Selection and its Application to Texture Segmentation. Pattern Recognition, 39 (5).

Reyes-Aldasoro, C.C. and Bhalerao, A.H. (2002) Classification Of Human Knee Data From Magnetic Resonance Images. Technical Report. University of Warwick, Coventry, UK.

Reyes-Aldasoro, C.C. and Bhalerao, A.H. (2002) Classification of human knee data from magnetic resonance images. Technical Report. Department of Computer Science, Coventry, UK.

Reyes-Aldasoro, C.C. and Bhalerao, A.H. (2011) Volumetric Texture Analysis in Biomedical Imaging. In: Biomedical Diagnostics and Clinical Technologies: Applying High-Performance Cluster and Grid Computing. IGI Global, pp. 200-248. ISBN 9781605662800

Reyes-Aldasoro, C.C. and Bhalerao, A.H. (2007) Volumetric Texture Segmentation by Discriminant Feature Selection and Mulitresolution Classification. IEEE Transactions on Medical Imaging, 26 (1).

Rinneheimo, K-M., Kinnari-Korpela, H., Boyatt, R.C. and Joy, M.S. (2012) MALog: A New Way to Teach and Learn Mathematical Logic. In: 16th SEFI Mathematics Working Group Seminar, 28-30 June 2012, Salamanda, Spain.

Roe, C. and Beynon, W.M. (2004) Computer Support for Constructionism in Context. In: IEEE International Conference on Advanced Learning Technologies (ICALT 2004), 30 August - 1 September, 2004, Joensuu, Finland.

Roe, C. and Beynon, W.M. (2007) Dependency by Definition in Imagine-d Logo: Applications and Implications. In: 11th European Logo Conference, 19-24 August, 2007, Bratislava, Slovakia.

Roe, C. and Beynon, W.M. (2002) Empirical Modelling Principles to Support Learning in a Cultural Context. In: 1st International Conference on Educational Technology in Cultural Context, 2 - 3 September, 2002, Joensuu, Finland.

Roe, C., Beynon, W.M. and Fischer, C.N. (2001) Empirical Modelling for the Conceptual Design and Use of Products. In: International Conference on Simulation and Multimedia in Engineering Education, Phoenix, Arizona.

Rossano, V., Joy, M.S., Roselli, T. and Sutinen, E. (2005) A Taxonomy for Definitions and Applications of LOs: A Metaanalysis of ICALT Papers. Educational Technology and Society, 8 (4). pp. 148-160. ISSN 1436-4522

Rossello, M.R., Griffiths, N. and Kalvala, S. (2009) Networking Strategies in Streptomyces Coelicolor. In: 2nd International Conference on Bioinformatics and Systems Biology (BSB 2009), Leipzig, Germany.

Rutter, D.J. (2005) From Diversity to Convergence: British Computer Networks and the Internet, 1970-1995. PhD thesis, University of Warwick.

Ryan, M.S. and Nudd, G.R. (1993) Dynamic character recognition using hidden Markov models. Technical Report. Department of Computer Science, Coventry, UK.

Ryan, M.S. and Nudd, G.R. (1993) The Viterbi algorithm. Technical Report. Department of Computer Science, Coventry, UK.

Rytter, W. (1987) 100 exercises in the theory of automata and formal languages. Technical Report. Department of Computer Science, Coventry, UK.

Rytter, W. (1987) On efficient parallel computations for some dynamic programming problems. Technical Report. Department of Computer Science, Coventry, UK.

Rytter, W. (1986) On the complexity of parallel parsing of general context-free languages. Technical Report. Department of Computer Science, Coventry, UK.

Rytter, W. and Giancarlo, R. (1986) Optimal parallel parsing of bracket languages. Technical Report. Department of Computer Science, Coventry, UK.

S

Sato, Y, Westing, C.F, Bhalerao, A.H., Nakajima, S., Shiraga, N., Tamura, S. and Kikinis, R. (2000) Tissue classification based on 3D local intensity structures for volume rendering. IEEE Transactions on Visualisation and Computer Graphics, 6. pp. 160-180. ISSN 1077-2626

Schönhage, A., Paterson, M.S. and Pippenger, N. (1975) Finding the median. Technical Report. Department of Computer Science, Coventry, UK.

Scott, H. and Wilson, R.G. (1992) A comparison of filters for audio signal segmentation in audio restoration. Technical Report. Department of Computer Science, Coventry, UK.

Scotton, J.D. and Cristea, A.I. (2010) Reusing Adaptation Strategies in Adaptive Educational Hypermedia Systems. In: The 10th IEEE International Conference on Advanced Learning Technologies.

Scotton, J.D., Moebs, S., McManis, J. and Cristea, A.I. (2009) A Case Study on Merging Strategies for Authoring QoE-based Adaptive Hypermedia. In: 7th International Workshop on Authoring of Adaptive and Adaptable Hypermedia, 29 Sep - 02 Oct 2009, Nice, France.

Shamir, A. and Wadge, W.W. (1977) Data types as objects. Technical Report. Department of Computer Science, Coventry, UK.

Shuttleworth, T. and Wilson, R.G. (1993) Note recognition in polyphonic music using neural networks. Technical Report. Department of Computer Science, Coventry, UK.

Sinclair, J.E., Joy, M.S., Yau, J.Y-K. and Hagan, S.J. (2013) A Practice-oriented Review of Learning Objects. IEEE Transactions on Learning Technologies, 6. (In Press)

Sitthiworachart, J. and Joy, M.S. (2008) Computer Support of Effective Peer Assessment in an Undergraduate Programming Class. Journal of Computer-Assisted Learning, 24 (3). pp. 217-231.

Sitthiworachart, J. and Joy, M.S. (2003) Deepening Computer Programming Skills by Using Web-based Peer Assessment. In: 4th Annual Conference of the LTSN Centre for Information and Computer Sciences, 26-28 August 2003, Galway, Eire.

Sitthiworachart, J. and Joy, M.S. (2004) Effective Peer Assessment for Learning Computer Programming. In: 9th Annual Conference on the Innovation and Technology in Computer Science Education (ITiCSE 2004), 28-30 Jun 2004, Leeds, UK.

Sitthiworachart, J. and Joy, M.S. (2004) The Evaluation of Students’ Marking in Web-based Peer Assessment of Learning Computer Programming. In: International Conference on Computers in Education (ICCE 2004), 30 Nov - 3 Dec 2004, Melbourne, Australia.

Sitthiworachart, J. and Joy, M.S. (2008) Is Mobile Learning a Substitute for Electronic Learning? In: IADIS International Conference on e-Learning 2008, 22-25 July 2008, Amsterdam, The Netherlands.

Sitthiworachart, J. and Joy, M.S. (2004) Using Web-based Peer Assessment in Fostering Deep Learning in Computer Programming. In: International Conference on Education and Information Systems, Technologies and Applications (EISTA 2004), 21-24 Jul 2004, Orlando, FL.

Sitthiworachart, J. and Joy, M.S. (2004) Web-based Peer Assessment System with an Anonymous Communication Tool. In: 4th IEEE International Conference on Advanced Learning Technologies (ICALT2004), Joensuu, Finland.

Sitthiworachart, J. and Joy, M.S. (2003) Web-based Peer Assessment in Learning Computer Programming. In: 3rd IEEE International Conference on Advanced Learning Technologies (ICALT 2003), 9-11 Jul 2003, Athens, Greece.

Sitthiworachart, J., Joy, M.S. and Sutinen, E. (2008) Success Factors for e-Assessment in Computer Science Education. In: World Conference on E-Learning in Corporate, Government, Healthcare, and Higher Education (ELEARN) 2008, 17-21 November 2008, Las Vegas, NV.

Smith, J.A., Hammond, S.D. and Jarvis, S.A. (2011) The Effect of an Application Performance Modelling Tool. In: Proceedings of the UK Performance Engineering Workshop (UKPEW'11), 7-8 July, 2011, Bradford, United Kingdom.

Smith, T.M.A. and Bhalerao, A.H. (2005) Texture Transfer using Affine Transformation Groups and Patch Boundary Matching. In: Proceedings of the IEE Visual Information Engineering Conference (VIE'2005), 4-6 April, 2005, Glasgow, UK.

Smyth, M.B. (1976) Category-theoretic solution of recursive domain equations. Technical Report. Department of Computer Science, Coventry, UK.

Smyth, M.B. (1980) Computability in categories. Technical Report. Department of Computer Science, Coventry, UK.

Smyth, M.B. (1975) Effectively giving domains. Technical Report. Department of Computer Science, Coventry, UK.

Smyth, M.B. (1976) Powerdomains. Technical Report. Department of Computer Science, Coventry, UK.

Spooner, D.P., Cao, J., Jarvis, S.A., He, L. and Nudd, G.R. (2005) Performance-aware Workflow Management for Grid Computing. The Computer Journal, 48 (3).

Spooner, D.P., Jarvis, S.A., Cao, J., Nudd, G.R., Saini, S. and Kerbyson, D.J. (2002) Performance-based Workload Management for Grid Computing. In: Proceedings of the Los Alamos Computer Science Institute Symposium (LACSI'02), Santa Fe, New Mexico, USA.

Spooner, D.P., Jarvis, S.A., Cao, J., Saini, S. and Nudd, G.R. (2003) Local Grid Scheduling Techniques using Performance Prediction. IEE Proceedings - Computers and Digital Techniques, 150 (2). pp. 87-96. ISSN 1350-2387

Spooner, D.P., Turner, J.D., Cao, J., Jarvis, S.A. and Nudd, G.R. (2001) Application Characterisation using a Lightweight Transaction Model. In: Proceedings of the 17th UK Performance Engineering Workshop (UKPEW), 18-19 July, 2001, Leeds, UK.

Stash, N., Cristea, A.I. and De Bra, P. (2007) Adaptation languages as vehicles of explicit intelligence in Adaptive Hypermedia. International Journal of Continuing Engineering Education and Life-Long Learning (IJCEELL), 17 (4/5). pp. 319-336. ISSN 1560-4624

Stash, N., Cristea, A.I. and De Bra, P. (2006) Adaptation to Learning Styles in E-Learning: Approach Evaluation. In: World Conference on E-Learning in Corporate, Government, Healthcare, and Higher Education (ELEARN 2006), Honolulu, Hawaii.

Stash, N., Cristea, A.I. and De Bra, P. (2006) Learning Styles Adaptation Language for Adaptive Hypermedia. In: Adaptive Hypermedia and Adaptive Web-based Systems. Lecture Notes in Computer Science, 4018 . Springer-Verlag, pp. 323-327. ISBN 9783540346968

Stash, N., De Bra, P. and Cristea, A.I. (2008) AHA! (Adaptive Hypermedia Architecture!). Educational Technology and Society, 11 (1). ISSN 1436-4522

Steliaros, M.K., Martin, G.R. and Packwood, R.A. (1997) Parallelisation of block matching motion estimation algorithms. Technical Report. Department of Computer Science, Coventry, UK.

Steliaros, M.K., Martin, G.R. and Packwood, R.A. (1998) Video Object Motion repesentation using run-length codes. Electronics Letters, 34. pp. 543-544. ISSN 0013-5194

Stepanyan, K., Gkotsis, G., Banos, V., Cristea, A.I. and Joy, M.S. (2013) A Hybrid Approach for Spotting, Disambiguating and Annotating Places in User-Generated Text. In: 23rd International World Wide Web Conference (WWW 2013), 13-17 May 2013, Rio de Janeiro, Brazil. (In Press)

Stepanyan, K., Gkotsis, G., Kalb, H., Kim, Y., Cristea, A.I., Joy, M.S., Trier, M. and Ross, S. (2012) Blogs as Objects of Preservation: Advancing the Discussion on Significant Properties. In: iPRES 2012, 1-5 October 2012, Toronto, Canada.

Stewart, C., Chandramouli, K., Cristea, A.I., Brailsford, T. and Izquierdo, E. (2008) Cultural Artefacts in Education: Analysis, Ontologies and Implementation. In: IEEE International Conference on Information Technology in Education (CITE 2008), Wuhan, China.

Stewart, C., Cristea, A.I., Brailsford, T. and Ashman, H. (2005) 'Authoring Once, Delivering many': creating Reusable Adaptive Courseware. In: 4th IASTED International Conference on Web-Based Education (WBE 2005), Grindelwald, Switzerland.

Summers, P., Bhalerao, A.H. and Hawkes, D. (1997) Multi-Resolution, Model Based Segmentation of MR Angiograms. Journal of Magnetic Resonance Imaging, 7 (6). pp. 950-957. ISSN 1053-1807

Sun, P.H., Russ, S.B., Chen, Y.C. and Beynon, W.M. (1999) Cultivating requirements in a situated requirements engineering process. Technical Report. Department of Computer Science, Coventry, UK.

Sun, S. and Joy, M.S. (2005) An Autonomous Multi-Agent Solution for Adaptive Education. In: IASTED International Conference on Artificial Intelligence and Applications (AIA 2005), 14-16 Feb 2005, Innsbruck, Austria.

Sun, S. and Joy, M.S. (2004) An Autonomous Multi-Agent Solution for Student Centred Learning. In: Cognition and Exploratory Learning in Digital Age (CELDA), 15-17 Dec 2004, Lisbon, Portugal.

Sun, S. and Joy, M.S. (2005) Learning Objects and Learning Styles as a Foundation for a Multi-Agent Web-based Education System. In: 4th IASTED International Conference on WEB-BASED Education (WBE 2005), 21-23 Feb 2005, Grindelwald, Switzerland.

Sun, S., Joy, M.S. and Griffiths, N. (2005) An Agent-Based Approach to Dynamic Adaptive Learning. In: Agent Based Systems for Human Learning (ABSHL) Workshop, the Fourth International Joint Conference on Autonomous Agents and Multi Agent Systems (AAMAS), 25-29 Jul 2005, Utrecht, Netherlands.

Sun, S., Joy, M.S. and Griffiths, N. (2005) An Innovative Use of Learning Objects and Learning Style in Pedagogic Agent Systems. In: 6th Annual Conference of the HEA Network for Information and Computer Sciences, 30 Aug - 1 Sep 2005, York, UK.

Sun, S., Joy, M.S. and Griffiths, N. (2005) To Support Adaptivity in Agent-Based Learning Systems - The Use of Learning Objects and Learning Style. In: 5th IEEE International Conference on Advanced Learning Technologies (ICALT 2005), 5-8 July, 2005, Kaohsiung, Taiwan.

Sun, S., Joy, M.S. and Griffiths, N. (2007) The Use of Learning Objects and Learning Styles in a Multi-Agent Education System. Journal of Interactive Learning Research (JILR), 18 (3). pp. 381-398. ISSN 1093-023X

Sun, S., Joy, M.S. and Griffiths, N. (2005) The Use of Learning Objects and Learning Styles in a Multi-agent Education System. In: ED-MEDIA 2005 - World Conference on Educational Multimedia, Hypermedia and Telecommunications, 27 Jun - 2 Jul 2005, Montreal, Canada.

Sunaders, N.J., Mirsky, J.S., Peden, J.F. and Jarvis, S.A. (2001) An Improved Method for Identifying Horizontally Acquired Virulence Genes. In: Proceedings of the The Federation of Infection Societies (FIS'2000), November, 2000, Manchester, UK.

Synder, L.A.S., Jarvis, S.A. and Saunders, N.J. (2005) Complete and Variant Forms of the Gonococcal Genetic Island in Neisseria Meningitidis. Microbiology, 151. pp. 4005-4013.

T

Tan, G. and Jarvis, S.A. (2007) Improving the Fault Resilience of Overlay Multicast for Media Streaming. IEEE Transactions on Parallel and Distributed Systems, 18 (6). pp. 723-734. ISSN 1045-9219

Tan, G. and Jarvis, S.A. (2008) A Payment-Based Incentive and Service Differentiation Scheme for Peer-to-Peer Streaming Broadcast. IEEE Transactions on Parallel and Distributed Systems, 19 (7). pp. 940-953. ISSN 1045-9219

Tan, G. and Jarvis, S.A. (2006) A Payment-based Incentive and Service Differentiation Mechanism for Peer-to-Peer Streaming Broadcast. In: IEEE International Workshop on Quality of Service (IWQoS 2006), Yale University, CT, USA.

Tan, G. and Jarvis, S.A. (2006) Prediction of Short-Lived TCP Transfer Latency on Bandwidth Asymmetric Links. Journal of Computer and System Sciences, 72 (7). pp. 1201-1210. ISSN 0022-0000

Tan, G. and Jarvis, S.A. (2007) Stochastic Analysis and Improvement of the Reliability of DHT-based Multicast. In: 26th Annual IEEE Conference on Computer Communications (INFOCOM 2007), Anchorage, Alaska.

Tan, G., Jarvis, S.A., Chen, X., Spooner, D.P. and Nudd, G.R. (2005) Performance Analysis and Improvement of Overlay Construction for Peer-to-Peer Live Media Streaming. In: Proceedings of the 13th IEEE Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS), September, 2005.

Tan, G., Jarvis, S.A., He, L., Chen, X., Spooner, D.P. and Nudd, G.R. (2005) Modelling Web transfer Performance over Asymmetric Networks. In: Proceedings of the 1st International Workshop on Performance Modelling in Wired, Wireless and Mobile Networking and Computing (PMWMNC'2005), 20-22 July, 2005, Fukuoka Institute of Technology, Japan.

Tan, G., Jarvis, S.A. and Kermarrec, A.M. (2008) Connectivity-Guaranteed and Obstacle-Adaptive Deployment Schemes for Mobile Sensor Networks. In: 28th IEEE International Conference on Distributed Computing Systems (ICDCS 2008), Beijing, China.

Tan, G., Jarvis, S.A. and Kermarrec, A.M. (2009) Connectivity-Guaranteed and Obstacle-Adaptive Deployment Schemes for Mobile Sensor Networks. IEEE Transactions on Mobile Computing, 8 (6).

Tan, G., Jarvis, S.A. and Spooner, D.P. (2006) Improving Fault Resilience of Overlay Multicast for Media Streaming. In: IEEE International Conference on Dependable Systems and Networks 2006, Philadelphia, USA.

Tan, G., Jarvis, S.A., Xue, J.W.J. and Hammond, S.D. (2007) Distributed Broadcast Scheduling in Mobile Ad Hoc Networks with Unknown Topologies. In: 6th International Workshop on Performance Modelling, Evaluation and Optimization of Parallel and Distributed Systems (PMEO), Long Beach, California, USA.

Tao, L. and Anand, S.S. (2008) HIREL: An Incremental Clustering Algorithm for Relational Datasets. In: Proceedings of the 2008 Eighth IEEE International Conference on Data Mining (ICDM'08), Pisa, Italy.

Tao, L. and Anand, S.S. (2008) Labeling Nodes of Automatically Generated Taxonomy for Multi-type Relational Datasets. In: 10th International Conference on Data Warehousing and Knowledge Discovery (DaWaK 2008), Turin, Italy.

Thomas, J.R. and Cohn, A.G. (1989) An expert system for hollow extrusion die design. Technical Report. Department of Computer Science, Coventry, UK.

Thomas, R.F. (1987) ITS methodology for problem solving and programming. Technical Report. Department of Computer Science, Coventry, UK.

Thonnes, E., Bhalerao, A.H. and Parr, D. (2010) Classification of Lung Disease in HRCT Scans using Integral Geometry Measures and Functional Data Analysis. In: Proceedings of the Medical Image Understanding and Analysis (MIUA'10), 6-7 July, 2010, Coventry, UK.

Tiskin, A. (2006) All Semi-local Longest Common Subsequences in Subquadratic Time. In: Computer Science – Theory and Applications. Lecture Notes in Computer Science, 3967 . Springer Verlag, pp. 352-363. ISBN 978-3-540-34166-6

Tiskin, A. (2002) Bulk-Synchronous Parallel Gaussian Elimination. Journal of Mathematical Sciences, 108 (6). pp. 977-991. ISSN 1072-3374

Tiskin, A. (2003) Communication-Efficient Parallel Gaussian Elimination. In: Parallel Computing Technologies. Lecture Notes in Computer Science, 2763 . Springer Verlag, pp. 369-383. ISBN 3-540-40673-5

Tiskin, A. (2007) Communication-Efficient Parallel Generic Pairwise Elimination. Future Generation Computer Systems, 23 (2). pp. 179-188. ISSN 0167-739X

Tiskin, A. (2006) Efficient Representation and Parallel Computation of String-Substring Longest Common Subsequences. In: Parallel Computing: Current & Future Issues of High-End Computing,. NIC Series, 33 . John von Neumann Institute for Computing, pp. 827-834. ISBN 3-00-017352-8

Tiskin, A. (2010) Fast Distance Multiplication of Unit-Monge Matrices. In: ACM-SIAM Symposium on Discrete Algorithms, Austin,Texas.

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

Tiskin, A. (2006) Longest Common Subsequences in Permutations and Maximum Cliques in Circle Graphs. In: Combinatorial Pattern Matching. Lecture Notes in Computer Science, 4009 . Springer Verlag, pp. 270-281. ISBN 978-3-540-35455-0

Tiskin, A. (2007) Packing Tripods: Narrowing the Density Gap. Discrete Mathematics, 307 (16). pp. 1973-1981. ISSN 0012-365X

Tiskin, A. (2002) Parallel Convex Hull Computation by Generalised Regular Sampling. In: Euro-Par 2002 Parallel Processing. Lecture Notes in Computer Science, 2400 . Springer Verlag, pp. 392-399. ISBN 3-540-44049-6

Tiskin, A. (2010) Parallel Selection by Regular Sampling. In: Euro-Par 2010 - Parallel Processing. Lecture Notes in Computer Science, 6272 . Springer Verlag, Germany, pp. 393-399. ISBN 978-3-642-15290-0

Tiskin, A. (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

Tiskin, A. (2008) Semi-Local Longest Common Subsequences in Subquadratic Time. Journal of Discrete Algorithms, 6 (4). pp. 570-581. ISSN 1570-8667

Tiskin, A. (2008) Semi-local String Comparison: Algorithmic Techniques and Applications. Mathematics in Computer Science, 1 (4). pp. 571-603. ISSN 1661-8270

Tiskin, A. and Krusche, P. (2009) Computing Alignment Plots Efficiently. In: Proceedings of ParCo.

Tiskin, A. and Krusche, P. (2010) Parallel Longest Increasing Subsequences in Scalable Time and Memory. In: Parallel Processing and Applied Mathematics. Lecture Notes in Computer Science, 6067 . Springer Verlag, Germany, pp. 176-185. ISBN 978-3-642-14389-2

Tiskin, A., Lozin, V.V. and Korpelainen, N. (2010) Hamiltonian Cycles in Subcubic Graphs: What Makes the Problem Difficult. In: Theory and Applications of Models of Computation. Lecture Notes in Computer Science, 6108 . Springer Verlag, pp. 320-327. ISBN 978-3-642-13561-3

Todd, M. and Wilson, R.G. (1988) Image data compression. Technical Report. Department of Computer Science, Coventry, UK.

Turner, J.D., Bacigalupo, D.A., Jarvis, S.A. and Nudd, G.R. (2002) Using a Transaction Definition Language for the Automated ARMing of Web Services. In: Proceedings of the CMG UK Conference on Technology Management and Performance Evaluation of Enterprise-Wide Information Systems.

Turner, J.D., Lopez-Hernandez, R., Kerbyson, D.J. and Nudd, G.R. (2002) Performance optimisation of a lossless compression algorithm using the PACE Toolkit. Technical Report. Department of Computer Science, Coventry, UK.

Turner, J.D., Spooner, D.P., Cao, J., Jarvis, S.A., Dillenberger, D.N. and Nudd, G.R. (2001) A Transaction Definition Language for Java Application Response Measurement. Journal of Computer Resource Measurement, 105. pp. 55-65.

Turtiainen, E., Blignaut, S., Els, C., Laine, T.H. and Sutinen, E. (2009) Story-based UFractions Mobile Game in South Africa: Contextualization Process and Multidimensional Playing Experiences. In: Story-based UFractions Mobile Game in South Africa: Contextualization Process and Multidimensional Playing Experiences: Second Workshop of Story Telling and Educational Games (STEG 2009), 19-21 Aug 2009, Aachen, Germany.

U

Uzun, U. (1998) Towards distributed object design. Technical Report. Department of Computer Science, Coventry, UK.

V

Valdes, D. and Bhalerao, A.H. (2009) Unsupervised Clustering Using Diffusion Maps for Local Shape Modelling. In: Computer Aided Systems Theory (EUROCAST), 15-20 February, 2009, Spain.

Valiant, L.G. (1973) Decision procedures for families of deterministic pushdown automata. Technical Report. Department of Computer Science, Coventry, UK.

Valiant, L.G. and Paterson, M.S. (1975) Circuit size is nonlinear in depth. Technical Report. Department of Computer Science, Coventry, UK.

Visram, Z. and Joy, M.S. (2003) Group Assessment for Computer Science Projects. In: 4th Annual Conference of the LTSN Centre for Information and Computer Sciences, 26-28 August 2003, Galway, Eire.

van der Hoek, W. and de Rijke, M. (1996) Interleaved contractions. Technical Report. Department of Computer Science, Coventry, UK.

W

Wadge, W.W. (1978) Away from the operations view of computer science. Technical Report. Department of Computer Science, Coventry, UK.

Wadge, W.W. (1982) Classified algebras. Technical Report. Department of Computer Science, Coventry, UK.

Wadge, W.W. (1982) Introduction to the Baire Space. Technical Report. Department of Computer Science, Coventry, UK.

Wadge, W.W. (1978) Programming constructs for nonprocedural languages. Technical Report. Department of Computer Science, Coventry, UK.

Wadge, W.W. (1975) A complete natural deduction system for the relational calculus. Technical Report. Department of Computer Science, Coventry, UK.

Wadge, W.W. (1979) An extensional treatment of dataflow deadlock. Technical Report. Department of Computer Science, Coventry, UK.

Wahab, M. (1998) Object code verification. PhD thesis, University of Warwick.

Wahab, M. (1998) Verification and abstraction of flow-graph programs with pointers and computed jumps. Technical Report. Department of Computer Science, Coventry, UK.

Wahab, M. (1996) The semantics of TLA on the PVS theorem prover. Technical Report. Department of Computer Science, Coventry, UK.

Walker, D.J. (1992) Objects in the Pi-calculus. Technical Report. Department of Computer Science, Coventry, UK.

Wang, F.F. and Griffiths, N. (2010) Protecting Privacy in Automated Transaction Systems: A Legal and Technological Perspective in the European Union. International Review of Law, Computers and Technology, 24 (2). pp. 153-162. ISSN 1360-0869

Wang, L. (2004) Segmentation of Branching Structures from Medical Images. PhD thesis, University of Warwick.

Wang, L. and Bhalerao, A.H. (2001) Detecting Branching Structures Using Local Gaussian Models. Technical Report. University of Warwick, Coventry, UK.

Wang, L. and Bhalerao, A.H. (2001) Detecting branching structures using local Gaussian models. Technical Report. Department of Computer Science, Coventry, UK.

Wang, L., Bhalerao, A.H. and Wilson, R.G. (2007) Analysis of Retinal Vasculature Using a Multiresolution Hermite Model. IEEE Transactions on Medical Imaging, 26 (2). pp. 137-152. ISSN 0278-0062

Warburton, R. and Kalvala, S. (2009) Towards the automated correction of bugs. Technical Report. Department of Computer Science, Coventry, UK.

Ward, A., Sitthiworachart, J. and Joy, M.S. (2004) Aspects of Web-based Peer Assessment Systems for Teaching and Learning Computer Programming. In: 3rd IASTED International Conference on Web-based Education (WBE 2004), 16-18 Feb 2004, Innsbruck, Austria.

Wei, C.H. and Li, C.-T. (2009) Content Analysis from User's Relevance Feedback for Content-Based Image Retrieval. In: Artificial Intelligence for Maximizing Content Based Image Retrieval. IGI Global, pp. 216-234.

Wei, C.H. and Li, C.-T. (2009) Content-Based Retrieval for Mammograms. In: Artificial Intelligence for Maximizing Content Based Image Retrieval. IGI Global, pp. 315-341.

Wei, C.H. and Li, C.T. (2006) A logistic regression approach to content-based mammogram retrieval. Technical Report. Department of Computer Science, Coventry, UK.

White, D.R. and Joy, M.S. (2004) Sentence-Based Natural Language Plagiarism Detection. ACM Journal on Educational Resources in Computing, 4 (4). pp. 1-20.

Williams, G.K. and Anand, S.S. (2009) Predicting the Polarity Strength of Adjectives Using WordNet. In: AAAI International Conference on Weblogs and Social Media, 17-20 May, 2009, San Jose, California, USA.

Wilson, R.G. (1982) The Acceptance of Information, its Subjective Cost and the Measurement of Distortion. IEEE Transactions on Information Theory, 28 (6). pp. 967-971.

Wilson, R.G. (1980) Complementary Sequences for Multivariable System Identification. In: Proceedings of IEEE Conference on Decision and Control, Albuquerque, New Mexico, USA.

Wilson, R.G. (2000) MGMM: multiresolution Gaussian mixture models for computer vision. In: 15th International Conference on Pattern Recognition (ICPR-2000), September, 2000, Barcelona, Spain.

Wilson, R.G. (2000) Multiresolution Gaussian mixture models: theory and application. Technical Report. Department of Computer Science, Coventry, UK.

Wilson, R.G. (1981) Orthogonal Multilevel Pseudorandom Sequences and Impulse Sequences Derived from Them. IEEE Transactions on Information Theory, 27 (3). pp. 339-342.

Wilson, R.G. (1979) The Probability Distribution of the Sum of N Sampled Baseband Outputs of a Product Detector Whose Inputs are Equal Power Coherent Narrow-Band Signals in a Gaussian Channel. IEEE Transactions on Communications, 27 (5). pp. 796-801.

Wilson, R.G. and Bhalerao, A.H. (1992) Kernel Designs for Efficient Multiresolution Edge Detection and Orientation Estimation. IEEE Transactions on Pattern Analysis and Machine Intelligence, 14 (3). pp. 384-390. ISSN 0162-8828

Wilson, R.G., Bowen, A., Mullins, A. and Rajpoot, N.M. (2008) Estimation of a 3D Motion Field from a Multi-Camera Array using a Multiresolution Gaussian Mixture Model. In: Workshop on Multi-camera and Multi-modal Sensor Fusion: Algorithms and Applications, 18 October, 2008, Marseille, France.

Wilson, R.G., Calway, A.D., Pearson, E.R.S. and Davies, A.R. (1992) An introduction to the multiresolution Fourier transform and its applications. Technical Report. Department of Computer Science, Coventry, UK.

Wilson, R.G. and Knutsson, H. (1994) Seeing things. Technical Report. Department of Computer Science, Coventry, UK.

Wilson, R.G. and Li, C.-T. (2003) A Class of Discrete Multiresolution Random Fields and Its Application to Image Segmentation. IEEE Transactions on Pattern Analysis and Machine Intelligence, 25 (1). pp. 42-56. ISSN 0162-8828

Wilson, R.G. and Li, C.T. (1999) Multiresolution random fields and their application to image analysis. Technical Report. Department of Computer Science, Coventry, UK.

Wilson, R.G., Meulemans, P.R., Calway, A.D. and Kruger, S. (1998) Image Sequence Analysis and Segmentation Using G-blobs. In: IEEE International Conference on Image Processing, October, 1998, Chicago.

Wilson, R.G. and Rajpoot, N.M. (2003) Image Volume Denoising Using A Fourier-Wavelet Basis. In: 6th Baiona Workshop on Signal Processing in Communications (Baiona SPC 2003), September, 2003, Baiona, Spain.

Wilson, R.G. and Richter, J. (1979) Generation and Performance of Quadraphase Welti Codes for Radar and Synchronisation of Coherent and Differentially Coherent PSK Systems. IEEE Transactions on Communications, 27 (9). pp. 1296-1302.

Wilson, R.G. and Spann, M. (1990) A New Approach to Clustering. Pattern Recognition, 23 (12). pp. 1413-1425.

Wong, J. and Wilson, R.G. (1990) Eigenvector decomposition of a multiresolution operator. Technical Report. Department of Computer Science, Coventry, UK.

Wong, P.Y.H. (2006) An investigation in energy consumption analyses and application-level prediction techniques. Technical Report. Department of Computer Science, Coventry, UK.

Wright, S.A., Hammond, S.D., Pennycook, S.J. and Jarvis, S.A. (2011) Light-weight Parallel I/O Analysis at Scale. Computer Performance Engineering. Lecture Notes in Computer Science, 6977. pp. 235-249. ISSN 0302-9743

Wright, S.A., Pennycook, S.J., Hammond, S.D. and Jarvis, S.A. (2011) RIOT - A Parallel Input/Output Tracer. In: Proceedings of the 27th UK Performance Engineering Workshop (UKPEW 2011), 7 July 2011, Bradford.

X

Xue, J.W.J, Chester, A.P., He, L. and Jarvis, S.A. Dynamic Resource Allocation for Enterprise Systems. In: International Conference on Parallel and Distributed Systems , 08-10th December, 2008, Melbourne, Australia.

Xue, J.W.J., Chester, A.P., He, L.G and Jarvis, S.A. (2009) Model-Driven Server Allocation in Distributed Enterprise Systems. In: The 3rd International Conference on Adaptive Business Information Systems, 23-25 March, 2009, Leipzig, Germany.

Xue, J.W.J., He, L. and Jarvis, S.A. (2007) A Scheduling Algorithm for Revenue Maximisation for Cluster-based Internet Services. In: 3rd International Workshop on Scheduling and Resource Management for Parallel and Distributed Systems (SRMPDS'07), Hsinchu, Taiwan.

Y

Yaghi, A.A. (1983) The compilation of functional language into intensional logic. Technical Report. Department of Computer Science, Coventry, UK.

Yang, S. and Joy, M.S. (2007) Approaches for Learning Prolog Programming. Italics, 6 (4). pp. 88-107. ISSN 1473-7507

Yang, S. and Joy, M.S. (2006) Approaches for Teaching Prolog to Beginners. In: 7th Annual Conference of the HEA Network for Information and Computer Sciences, 29-31 August 2006, Dublin, Eire.

Yang, S. and Joy, M.S. (2009) Designing E-Learning Services. In: International Conference on E-learning in the Workplace (ICELW 2009), 10-12 Jun 2009, New York, NY.

Yang, S. and Joy, M.S. (2008) SOA Services in Higher Education. In: 7th WSEAS International Conference on Education and Educational Technology, 21-23 Nov 2008, Venice, Italy.

Yang, S., Joy, M.S. and Nurse, J.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), 11-13 July 2011, Cambridge, UK.

Yang, Y., Sun, X., Yang, H. and Li, C.-T. (2008) A Removable Visible Image Watermarking Algorithm in DCT Domain. Journal of Electronic Imaging, 17 (3).

Yao, F.F., Dobkin, D.P., Edelsbrunner, H. and Paterson, M.S. (1988) Partitioning space for range queries. Technical Report. Department of Computer Science, Coventry, UK.

Yao, Z. and Rajpoot, N.M. (2005) Image Denoising Using Multiscale Directional Cosine Bases. In: IEEE International Conference on Image Processing (ICIP 2005), 11-14 September, 2005, Genoa, Italy.

Yao, Z. and Rajpoot, N.M. (2002) Less Redundant Codes for Variable Size Dictionaries. In: IEEE Data Compression Conference (DCC 2002), 2-4 April, 2002, Utah, US.

Yao, Z. and Rajpoot, N.M. (2004) Radon/ridgelet Signature for Image Authentication. In: IEEE International Conference on Image Processing (ICIP 2004), 24-27 October, 2004, Singapore.

Yao, Z., Rajpoot, N.M. and Wilson, R.G. (2005) Directional Wavelet Analysis with Fourier-type Bases for Image Processing. In: 4th International Conference on Wavelet Analysis and its Applications (WAA 2005), 30 November - 2 December, 2005, China.

Yau, J.Y-K. and Joy, M.S. (2010) An Adaptive Context-aware Mobile Learning Framework Based on the Usability Perspective. International Journal of Mobile Learning and Organisation, 4 (4). pp. 378-390. ISSN 1746-725X

Yau, J.Y-K. and Joy, M.S. (2004) Adaptive Learning and Testing with Learning Objects. In: International Conference on Computers in Education (ICCE 2004), 30 Nov - 3 Dec 2004, Melbourne, Australia.

Yau, J.Y-K. and Joy, M.S. (2006) Application of Learning Styles for Effective Mobile Learning. In: Mobile Learning 2006, 16-21 Jul 2006, Dublin, Eire.

Yau, J.Y-K. and Joy, M.S. (2007) Architecture of a Context-aware and Adaptive Learning Schedule for Learning Java. In: 7th IEEE International Conference on Advanced Learning Technologies (ICALT 2007), 18-20 Jul 2007, Niigata, Japan.

Yau, J.Y-K. and Joy, M.S. (2006) Context-Aware and Adaptive Learning Schedule for Mobile Learning. In: International Workshop on Mobile and Ubiquitous Learning Environments (MULE) at the International Conference on Computers in Education (ICCE 2006), 30 Nov - 4 Dec 2006, Beijing, China.

Yau, J.Y-K. and Joy, M.S. (2011) A Context-aware Personalised M-learning Application based on M-learning Preferences. International Journal on Mobile Learning and Organisation, 5 (1). pp. 1-14.

Yau, J.Y-K. and Joy, M.S. (2010) A Context-aware Personalized M-learning Application Based on M-learning Preferences. In: 6th IEEE International Conference on Wireless, Mobile, and Ubiquitous Technologies in Education (WMUTE 2010), 12-16 Apr 2010, Kaohsiung, Taiwan.

Yau, J.Y-K. and Joy, M.S. (2007) A Context-aware and Adaptive Learning Schedule Framework for Supporting Learners’ Daily Routines. In: Second International Workshop on Mobile Communications and Learning (MCL 2007), 22-28 Apr 2007, Sainte-luce, Martinique.

Yau, J.Y-K. and Joy, M.S. (2010) Context-based Recommendations of Java Learning Objects: a Case Study. IEEE Multidisciplinary Engineering Education Magazine, 5 (4). pp. 1-7. ISSN 1558-7908

Yau, J.Y-K. and Joy, M.S. (2010) Designing and Evaluating the Mobile Context-Aware Learning Schedule Framework: Challenges and Lessons Learnt. In: IADIS International Conference Mobile Learning 2010, Porto, Portugal.

Yau, J.Y-K. and Joy, M.S. (2004) Introducing Java: A Case for Fundamentals-first. In: International Conference on Education and Information Systems, Technologies and Applications (EISTA 2004), 21-24 Jul 2004, Orlando, FL.

Yau, J.Y-K. and Joy, M.S. (2011) M-learning Generations and Interview Study: Results of A Mobile Context-aware Learning Schedule Framework. In: Combining E-Learning and M-Learning: New Applications of Blended Educational Resources. IGI Global, Hershey, PA. ISBN 978-1-60960-481-3 (hardcover) 978-1-60960-482-0 (ebook)

Yau, J.Y-K. and Joy, M.S. (2009) A Mobile Context-Aware Framework for Supporting Self-Regulated Learners. In: IADIS International Conference Cognition and Exploratory Learning in Digital Age (CELDA 2009), 22-24 Nov 2009, Rome, Italy.

Yau, J.Y-K. and Joy, M.S. (2009) A Mobile Context-aware Framework for Managing Learning Schedules – Data Analysis from an Interview Study. International Journal of Mobile and Blended Learning, 1 (4). pp. 29-55. ISSN 1941-8647

Yau, J.Y-K. and Joy, M.S. (2009) A Mobile and Context-Aware Adaptive Learning Schedule Framework from a Usability Perspective - a ‘Diary: Diary-Questionnaire’ Study. In: 17th International Conference on Computers in Education (ICCE 2009), 30 Nov - 4 Dec 2009, Hong Kong.

Yau, J.Y-K. and Joy, M.S. (2009) A Mobile and Context-based Learning Schedule Framework from a Pedagogical Perspective — an Interview Study. In: IADIS International Conference Mobile Learning 2009, 6-8 Jul 2009, Barcelona, Spain.

Yau, J.Y-K. and Joy, M.S. (2010) Proposal of a Mobile Learning Preferences Model. In: 5th Interactive Mobile and Computer Aided Learning Conference (IMCL2010), 16-17 September 2010, Hasselt, Belgium.

Yau, J.Y-K. and Joy, M.S. (2010) Proposal of a Mobile Learning Preferences Model. International Journal of Interactive Mobile Technologies, 4 (4). ISSN 1865-7923

Yau, J.Y-K. and Joy, M.S. (2008) A Self-Regulated Learning Approach: A Mobile Context-aware and Adaptive Learning Schedule (mCALS) Tool. International Journal of Interactive Mobile Technologies, 2 (3). pp. 52-57. ISSN 1865-7923

Yau, J.Y-K. and Joy, M.S. (2008) A Self-Regulated Learning Approach: A Mobile Context-aware and Adaptive Learning Schedule (mCALS) Tool. In: 3rd International Conference on Interactive Mobile and Computer Aided Learning (IMCL2008), 16-18 Apr 2008, Amman, Jordan.

Yau, J.Y-K. and Joy, M.S. (2013) Technical Feasibility of a Mobile Context-aware (Social) Learning Schedule Framework. International Journal of Distance Education Technologies, 11 (1). ISSN ISSN: 1539-3100, EISSN: 1539-3119

Yau, J.Y-K., Joy, M.S. and Dickert, S. (2010) A Mobile Context-aware Framework for Managing Learning Schedules – Data Analysis from a Diary Study. Educational Technology and Society, 13 (3). pp. 22-32. ISSN 1436-4522

Yu, A.C. (2004) Efficient intra- and inter-mode selection algorithms for H.264/AVC. Technical Report. Department of Computer Science, Coventry, UK.

Yu, A.C. (2006) Improved schemes for multi-mode coding in the H.264/AVC standard and simplified Lagrangian evaluation for video coding. Technical Report. Department of Computer Science, Coventry, UK.

Yu, A.C., Martin, G.R. and Park, H. (2005) Improved Schemes for Inter-Frame Coding in the H.264/AVC Standard. In: Proceedings of the 2005 International Conference on Image Processing (ICIP 2005), 11-14th September, 2005, Genoa, Italy.

Yu, A.C., Park, H. and Martin, G.R. (2006) Fast Mesh-Based Motion Estimation Employing an Embedded Block Model. In: Proceedings of the IEEE International Symposium on Circuits and Systems (ISCAS 2006), 21-24th May, 2006, Kos, Greece.

Yu, A.C., Park, H. and Martin, G.R. (2006) Rate-Distortion Performance of Dual-Layer Motion Compensation Employing Different Mesh Densities. In: Proceedings of the European Signal Processing Conference (EUSIPCO 2006), 4-8th September, 2006, Florance, Italy.

Yuan, Xiang and Li, C.-T. (2008) CBIR Approach to Building image Retrieval Based on Invariant Characteristics in Hough Domain. In: IEEE International Conference on Acoustics, Speech and Signal Processing, 30 March - 4 April 2008, Las Vegas, USA.

Yuan, Y. and Li, C.-T. (2008) A Bayes Random Field Approach for Integrative Large-Scale Regulatory Network Analysis. Journal of Integrative Bioinformatics, 5 (2). ISSN 1613-4516

Yuan, Y. and Li, C.-T. (2009) Inferring Casual Relations from Multivariant time Series: A Fast Method for Large-Scale Gene Expression Data. In: Ninth IEEE International Conference on BioInformatics and BioEngineering (BIBE), 30 March - 2 April, 2009, Tʻai-chung shih, Taiwan.

Yuan, Y. and Li, C.-T. (2008) Probabilistic Framework for Gene Expression Clustering Validation Based on Gene Oncology and Graph Theory. In: IEEE International Conference on Acoustics, Speech and Signal Processing., 30 March - 4 April 2008, Las Vegas, USA .

Yuan, Y., Li, C.-T. and Wilson, R.G. (2008) Partial mixture model for tight clustering of gene expression time-course. BMC Bioinformatics, 9 (287).

Z

Zemerly, M.J. (1993) Hardware characterisation of multi-processor systems. Technical Report. Department of Computer Science, Coventry, UK.

Zemerly, M.J. and Papaefstathiou, E. (1993) Characterisation survey. Technical Report. Department of Computer Science, Coventry, UK.

Zemerly, M.J., Papaefstathiou, E., Atherton, T.J., Kerbyson, D.J. and Nudd, G.R. (1993) Smart integration: a test case study. Technical Report. Department of Computer Science, Coventry, UK.

Zemerly, M.J., Papay, J. and Nudd, G.R. (1995) Characterisation based bottleneck analysis of parallel systems. Technical Report. Department of Computer Science, Coventry, UK.

Zhao, L and Jarvis, S.A. (2007) Predictive Performance Modelling of Parallel Component Compositions. Cluster Computing, 10 (2). pp. 155-166. ISSN 1386-7857

Zhao, L., Jarvis, S.A., Spooner, D.P. and Nudd, G.R. (2005) On Predictive Performance Modelling of Parallel Component Composition. In: Proceedings of the Workshop on Performance Modelling, Evaluation and Optimization of Parallel and Distributed Systems (PMEO'2005), 4-8 April, 2005, Denver, Colorado, USA.

Zheng, Y., Kerbyson, D.J. and Nudd, G.R. (1992) Efficient load balancing techniques for image analysis on an M-SIMD machine. Technical Report. Department of Computer Science, Coventry, UK.

Zito, M. (1999) Randomised techniques in combinatorial algorithmics. PhD thesis, University of Warwick.

Zwick, U. and Paterson, M.S. (1991) The memory game. Technical Report. Department of Computer Science, Coventry, UK.