UNSPECIFIED (2004) Proceedings of the Third Program Visualization Workshop. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Aggarwal, Vibhor (2010) High-fidelity rendering on shared computational resources. PhD thesis, University of Warwick.

Al Qudah, Dana and Cristea, Alexandra I.. (2013) MyAds : a proposed adaptive social online advertising framework. Journal of Economics, Business and Management, Volume 1 (Number 4). pp. 401-405. ISSN 2301-3567

Al Qudah, Dana, Cristea, Alexandra I. and Shi, Lei (2013) An exploratory study to design an adaptive hypermedia system for online-advertisement. In: The 9th International Conference on Web Information Systems and Technologies, Aachen, Germany, 8-10 May 2013 pp. 1-6.

Al Qudah, Dana, Cristea, Alexandra I., Shi, Lei, Al-Sayyed, Rizik M. H. and Obeidah, Amer (2014) MyAds : a social adaptive system for online advertisement from hypotheses to implementation. In: International Conference on e-Business and e-Government (ICBG 2014), Zurich, Switzerland, 13-14 Jan 2015 pp. 1-7. (Unpublished)

Al-Ammal, Hesham, Goldberg, Leslie Ann and MacKenzie, Phil (1999) Binary exponential backoff is stable for high arrival rates. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Al-Ghamdi, M. (2012) Predictive dynamic resource allocation for web hosting environments. PhD thesis, University of Warwick.

Al-Khouri, Ali Mohammed S. M. (2007) Strategic and large scale government IT projects management: innovation report. EngD thesis, University of Warwick.

Al-Meshaiei, Eisa Abdullah Eisa S. (1999) An expert system for material handling equipment selection. PhD thesis, University of Warwick.

Albrecht, Martin, Bard, Gregory and Hart, William B.. (2010) Algorithm 898 : efficient multiplication of dense matrices over GF(2). ACM Transactions on Mathematical Software, Volume 37 (Number 1). Article: 9. ISSN 0098-3500

Alexander, Sylvia, 1965-, Boyle, Tom, Ph. D. and Joy, Mike (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), Tampere, Finland, 25-30 Jun 2001 pp. 25-26.

Alifantis, Thanos (2006) Knowledge based improvement : simulation and artificial intelligence for understanding and improving decision making in an operations system. PhD thesis, University of Warwick.

Allderidge, James, Beynon, Meurig, Cartwright, Richard and Yung, Yun Pui (1997) Enabling technologies for empirical modelling in graphics. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Allison, Ian K., 1961- (2004) Software process improvement as emergent change: a structurational analysis. PhD thesis, University of Warwick.

Amos, Martyn (1997) DNA computation. PhD thesis, University of Warwick.

Amos, Martyn, Gibbons, Alan (Alan M.) and Hodgson, D. A. (David A.) (1996) Error-resistant implementation of DNA computations. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Ardeshir-Larijani, Ebrahim (2014) Automated equivalence checking of quantum information systems. PhD thesis, University of Warwick.

Ardeshir-Larijani, Ebrahim, Gay, Simon J. and Nagarajan, Rajagopal (2013) Equivalence checking of quantum protocols. In: 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Rome, Italy, 16-24 March 2013. Published in: Tools and Algorithms for the Construction and Analysis of Systems, Proceedings, Volume 7795 pp. 478-492.

Aroyo, Lora, Cristea, Alexandra I. and Dicheva, Darina (2002) A layered approach towards domain authoring support. In: International Conference on Artificial Intelligence (ICAI 2002), Las Vegas, US, 24 - 27 Jun 2002

Arunachalam, Raghu (2000) An agent based compositional framework for supply chain simulation. PhD thesis, University of Warwick.

Ashcroft, Edward A. and Wadge, William W. (1976) Lucid : a formal system for writing and proving programs. University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)

Ashcroft, Edward A. and Wadge, William W. (1976) Lucid, a nonprocedural language with iteration. University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)

Ashcroft, Edward A. and Wadge, William W. (1979) R for semantics. University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)

Ashcroft, Edward A. and Wadge, William W. (1977) Scope structures and defined functions in Lucid. University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)

Ashcroft, Edward A. and Wadge, William W. (1979) Some common misconceptions about Lucid. University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)

Ashcroft, Edward A. and Wadge, William W. (1980) Structured Lucid. University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)

Atkinson, Malcolm, Esnouf, Robert, Marmier, Arnaud, Meredith, David, Osmond, Michele, Peters, Simon, Allan, Rob, Stevens, Robert, Trefethen, Anne, Ure, Jenny, Zasada, Stephan and Youn, Choohan (2006) Report of the user requirements and web based access for eResearch workshops. In: User Requirements and Web based Access for eResearch, Edinburgh, UK, 19 May 2006 pp. 1-25.

Awan, A. Majid, Rajpoot, Nasir M. (Nasir Mahmood) and Husain, S. Afaq (2003) Stack-run adaptive wavelet image compression. In: IEEE Data Compression Conference (2003), Utah, US, 25-27 Mar 2003. Published in: DCC 2003 : proceedings : Data Compression Conference : March 25-27, 2003, Snowbird, Utah p. 414.

Awan, M. S. K. (Malik Shahzad K.) (2013) Performance characterization of computational resources for time-constrained job execution in P2P environments. PhD thesis, University of Warwick.

Awan, M. S. K. (Malik Shahzad K.), Cristea, Alexandra I., Hendrix, Maurice, Shi, Lei and Stewart, Craig (2013) Towards understanding learning behavior patterns in social adaptive personalized e-learning systems. In: 19th Americas Conference on Information Systems, Chicago, Illinois, USA, 15-17 Aug 2013 (Submitted)

Axford, Tom and Joy, Mike (1991) List processing in parallel. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Aylett, Ruth, 1951-, Dautenhahn, Kerstin, Doran, Jim, Luck, Michael (Michael M.), Moss, S. (Scott) and Tennenholtz, Moshe. (2000) Can models of agents be transferred between different areas? Knowledge Engineering Review, Vol.15 (No.2). pp. 197-203. ISSN 0269-8889

Azar, Yossi, Englert, Matthias, Gamzu, Iftah and Kidron, Eytan (2014) Generalized reordering buffer management. In: STACS ’14: 31st International Symposium on Theoretical Aspects of Computer Science, Lyon, France, 5-8 Mar 2014. Published in: 31st International Symposium on Theoretical Aspects of Computer Science (STACS ’14) pp. 87-98.

Aziz, H., Paterson, Michael S. and Leech, Dennis (2007) Efficient algorithm for designing weighted voting games. University of Warwick. Department of Computer Science. (Department of Computer Science Research Report).

Aziz, Haris (2009) Algorithmic and complexity aspects of simple coalitional games. PhD thesis, University of Warwick.

Bacigalupo, David A., Jarvis, Stephen A., 1970-, He, Ligang 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), Santa Fe, New Mexico, USA, 26-30 Apr 2004

Bacigalupo, David A., Turner, James D., Jarvis, Stephen A., 1970- 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), University of Warwick, Coventry, UK, 9-10 Jul 2003 pp. 352-362.

Baesens, C. and MacKay, R. S. (Robert Sinclair). (2013) Interaction of two systems with saddle-node bifurcations on invariant circles : I. Foundations and the mutualistic case. Nonlinearity, Volume 26 (Number 12). pp. 3043-3076. ISSN 0951-7715

Baharin, Shamsuddin (1994) Knowledge-based automatic tolerance analysis system. PhD thesis, University of Warwick.

Barbosa, Manuel Romano dos Santos Pinto (1997) Traffic management and control of automated guided vehicles using artificial neural networks. PhD thesis, University of Warwick.

Barrington, Jim, Wereko-Brobby, Olympia, Ward, Peter M., Mwafongo, Winfred and Kungulwe, Seif. (2010) SMS for Life : a pilot project to improve anti-malarial drug supply management in rural Tanzania using standard technology. Malaria Journal, Volume 9 (Number 1). Article number 298. ISSN 1475-2875

Bashford-Rogers, Thomas (2011) Accelerating global illumination for physically-based rendering. PhD thesis, University of Warwick.

Bashford-Rogers, Thomas, Debattista, Kurt and Chalmers, Alan. (2013) Importance driven environment map sampling. IEEE Transactions on Visualization and Computer Graphics (Number 99). ISSN 1077-2626

Baude, Francoise (1992) PRAM implementation on fine-grained MIMD multicomputers. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Beckingsale, David A., Perks, O. F. J., Gaudin, W. P., Herdman, J. A. and Jarvis, Stephen A., 1970- (2013) Optimisation of patch distribution strategies for AMR applications. In: Tribastone, Mirco and Gilmore, Stephen, 1962-, (eds.) Computer Performance Engineering. Lecture Notes in Computer Science , Volume 7587 . Springer, pp. 210-223. ISBN 9783642367809

Berenbrink, Petra, Friedetzky, Thomas, 1967- and Goldberg, Leslie Ann (2001) The natural work-stealing algorithm is stable. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Berenbrink, Petra, Friedetzky, Thomas, 1967- and Martin, R. (Russell) (2004) Dynamic diffusion load balancing. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Berenbrink, Petra, Goldberg, Leslie Ann, Goldberg, Paul W. and Martin, R. (Russell) (2004) Utilitarian resource assignment. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Berry, Vincent and Gascuel, Olivier (1998) Inferring evolutionary trees with strong combinatorial evidence. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Beynon, Meurig (1986) ARCA : a notation for displaying and manipulating combinatorial diagrams. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Beynon, Meurig (2005) Computational support for realism in virtual environments. In: 11th International Conference on Human-Computer Interaction (HCI 2005), Las Vegas, USA, 22-27 Jul 2005

Beynon, Meurig (1982) Coset enumeration as closure computation. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Beynon, Meurig (1987) Definitive principles for interactive graphics. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Beynon, Meurig (1989) Definitive programming for parallelism. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Beynon, Meurig (1988) Evaluating definitive principles for interaction in graphics. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Beynon, Meurig (1986) The LSD notation for communicating systems. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Beynon, Meurig (2001) Liberating the computer arts. In: 1st International Conference on Digital and Academic Liberty of Information (DALI 2001), Aizu, Japan

Beynon, Meurig (1998) Modelling state in mind and machine. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Beynon, Meurig (1984) Monotone Boolean functions computable by planar circuits. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Beynon, Meurig (1978) On the structure of free finite state machines. University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)

Beynon, Meurig (1992) Programming principles for the semantics of the semantics of programs. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Beynon, Meurig. (2005) Radical empiricism, empirical modelling and the nature of knowing. Pragmatics and Cognition, Volume 13 (Number 3). pp. 615-646. ISSN 0929-0907

Beynon, Meurig (1984) Replaceability and computational equivalence in finite distributive lattices. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Beynon, Meurig (2007) Visualisation using empirical modelling principles and tools. In: AHRC ICT Methods Network Expert Workshop, Birmingham, UK, 19 June, 2007

Beynon, Meurig (1983) A definition of the ARCA notation. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Beynon, Meurig, Angier, David, Bissell, Tim and Hunt, Steve (1986) DoNaLD : a line-drawing system based on definitive principles. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Beynon, Meurig and Beynon, Will (2012) Construals as a complement to intelligent tutoring systems in medical education. University of Warwick. Department of Computer Science.. (Unpublished)

Beynon, Meurig, Bhalerao, Abhir, Roe, Chris P. and Ward, Ashley (2003) A computer-based environment for the study of relational query languages. In: The Teaching, Learning and Assessment in Databases Workshop, Coventry, UK, 14 Jul 2003 pp. 104-108.

Beynon, Meurig, Boyatt, Russell and Chan, Zhan En (2008) Intuition in software development revisited. In: 20th Annual Psychology of Programming Interest Group Conference, Lancaster, UK, 18-20 Sep 2008 (Unpublished)

Beynon, Meurig and Buckle, John F. (1985) Computation equivalence and replaceability in finite algebras. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Beynon, Meurig, Cartwright, Alan and Yung, Yun Pui (1995) Databases from an agent-oriented perspective. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Beynon, Meurig, Cartwright, Richard, Cartwright, Alan and Yung, Yun Pui (1996) Abstract geometry for design in an empirical modelling context. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Beynon, Meurig, Cartwright, Richard, Rungrattanaubol, Jaratsri and Sun, Pi-Hwa (1999) Interactive situation models for systems development. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Beynon, Meurig, Ch'en, Yih-Chang, Hseu, Hsing-Wen, Maad, Soha, Rasmequan, Suwanna, Roe, Chris P., Rungrattanaubol, Jaratsri, Russ, Steve, Ward, Ashley and Wong, Allan (2001) The computer as instrument. In: Beynon, Meurig and Nehaniv, C. L. and Dautenhahn, K., (eds.) Cognitive Technology: instruments of mind. Lecture Notes in Computer Science, Volume 2117 . Springer-Verlag, pp. 476-489. ISBN 3540424067

Beynon, Meurig and Chan, Zhan En (2009) Computing for construals in distributed participatory design : principles and tools. University of Warwick. Department of Computer Science.. (Unpublished)

Beynon, Meurig and Chan, Zhan En (2006) A conception of computing technology better suited to distributed participatory design. In: NordiCHI Workshop on Distributed Participatory Design, Oslo, Norway, 14 Oct 2006

Beynon, Meurig and Harfield, Antony (2010) Constructionism through construal by computer. In: Constructionism 2010, Paris, France, Aug 16 - 21 2010

Beynon, Meurig and Harfield, Antony (2005) Empirical modelling in support of constructionism : a case study. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Beynon, Meurig, Harfield, Antony and Jormanainen, I. (2006) Varieties of concretisation : an illustrative example. In: 5th Annual Finnish/Baltic Sea Conference on Computer Science Education (Koli Calling 2005), Koli National Park, Finland, 17-20 Nov 2005. Published in: Koli Calling 2005 - Proceedings of the Fifth Koli Calling Conference on Computer Science Education pp. 153-156.

Beynon, Meurig and Klein, Rody R. (2006) Metis meets empirical modelling : from ancient wisdom to emerging technology. In: IST-Africa 2006, Pretoria, South Africa, 3-5 May 2006

Beynon, Meurig and Maad, Soha (1999) Empirical modelling of real life financial systems : the need for integration of enabling tools and technologies. In: The Fourth World Conference on Integrated Design & Process Technology, Kusadasi, Turkey, 27 Jun - 2 Jul 1999

Beynon, Meurig and Maad, Soha (2000) Integrated environments for virtual collaboration : an empirical modelling perspective. In: 5th World Conference On Integrated Design & Process Technology, Texas, USA, 4-5 Jun 2000

Beynon, Meurig, Ness, Paul Edward and Russ, Steve (1996) Worlds before and beyond words. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Beynon, Meurig, Norris, M. T., Russ, Steve, Slade, M. D., Yung, Yun Pui and Yung, Y. W. (1989) Software construction using definitions : an illustrative example. University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Beynon, Meurig, Norris, M. T. and Slade, M. D. (1988) Definitions for modelling and simulating concurrent systems. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Beynon, Meurig, Rasmequan, Suwanna and Russ, Steve (2000) An experience-based approach to decision support systems. In: IFIP Working Group 8.3, Working Conference on Decision Support Through Knowledge Management, Stockholm, Sweden, 9-11 July 2000

Beynon, Meurig, Rasmequan, Suwanna and Russ, Steve (2000) The use of interactive situation models for the development of business solutions. In: Perspective in Business Informatics Research (BIR 2000), Rostock, Germany, 31 Mar - 1 Apr 2000

Beynon, Meurig, Roe, Chris P., Ward, Ashley and Wong, Allan (2001) Interactive situation models for cognitive aspects of user-artefact interaction. In: Beynon, Meurig and Nehaniv, Chrystopher L., 1963- and Dautenhahn, Kerstin, (eds.) Cognitive Technology : instruments of mind. Lecture Notes in Computer Science (Volume 2117). Berlin ; London: Springer-Verlag, pp. 356-372. ISBN 9783540424062

Beynon, Meurig, Rungrattanaubol, Jaratsri, Sun, Pi-Hwa and Wright, Amanda (1998) Explanatory models for open-ended human-computer interaction. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Beynon, Meurig and Russ, Steve (1994) Empirical modelling of requirements. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Beynon, Meurig and Russ, Steve. (2008) Experimenting with computing. Journal of Applied Logic, Volume 6 (Number 4). pp. 476-489. ISSN 1570-8683

Beynon, Meurig and Russ, Steve (2006) Redressing the past : liberating computing as an experimental science. University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Beynon, Meurig and Russ, Steve (1989) The development and use of variables in mathematics and computer science. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Beynon, Meurig and Russ, Steve (1992) The interpretation of states : a new foundation for computation? University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Beynon, Meurig, Russ, Steve, Slade, M. D., Yung, Yun Pui and Yung, Y. W. (1989) Definitive principles and the specification of software. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Beynon, Meurig, Slade, M. D. and Yung, Y. W. (1988) Parallel computation in definitive models. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Beynon, Meurig, Slade, Mike and Yung, Yun Pui (1990) Protocol specification in concurrent systems software development. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Beynon, Meurig and Spaltenstein, N. (1982) The computation of green functions of finite chevalley groups of type En (n=6,7,8). Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Beynon, Meurig and Sun, Pi-Hwa (1998) Interactive situation models for program comprehension. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Beynon, Meurig, Ward, Ashley, Maad, Soha, Wong, Allan, Rasmequan, Suwanna and Russ, Steve (2000) The temposcope : a computer instrument for the idealist timetabler. In: 3rd international conference on the practice and Theory of Automated Timetabling, Konstanz, Germany, 16-18 Aug 2000 pp. 153-175.

Beynon, Meurig and Yung, Y. W. (1987) Implementing a definitive notation for interactive graphics. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

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

Bhalerao, Abhir and Summers, Paul (2001) Angiotool : a tool for interactive visualization of MRI vector and tensor fields. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Bhalerao, Abhir, Thönnes, Elke, Kendall, Wilfrid S. and Wilson, Roland, 1949- (2002) A Bayesian approach to inferring vascular tree structure from 2D imagery. In: IEEE International Conference on Image Processing, Rochester, N.Y., 2002 Sep. 22-25. Published in: Proceedings of the 2002 IEEE International Conference on Image Processing pp. 937-940.

Bhalerao, Abhir and Ward, Ashley. (2001) Towards electronically assisted peer assessment : A case study. ALT-J : research in learning technology, Volume 9 (Number 1). pp. 26-37. ISSN 0968-7769

Bhalerao, Abhir and Wilson, Roland, 1949- (1989) Multiresolution image segmentation. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Bhalerao, Abhir and Wilson, Roland, 1949- (1990) Multiresolution image segmentation combining region and boundary information. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Bhalerao, Abhir and Wilson, Roland, 1949-. (2001) Unsupervised image segmentation combining region and boundary estimation. Image and Vision Computing, Volume 19 (Number 6). pp. 353-368.

Bhardwaj, Julian (2012) The cyber security learning and research environment. University of Warwick. Department of Computer Science.. (Unpublished)

Bliznets, Ivan, Fomin, Fedor V., Pilipczuk, Marcin and Pilipczuk, Michał (2014) A subexponential parameterized algorithm for proper interval completion. In: Wagner , Dorothea and Schulz , Andreas S., (eds.) Algorithms : ESA 2014 : Proceedings of 22th Annual European Symposium, Wroclaw, Poland, September 8-10, 2014. Lecture Notes in Computer Science (Volume 8737). Berlin ; London: Springer-Verlag, pp. 173-184. ISBN 9783662447765

Borah, S., Hines, Evor, 1957-, Leeson, Mark S., 1963-, Iliescu, Daciana, Bhuyan, M. and Gardner, J. W. (Julian W.), 1958-. (2008) Neural network based electronic nose for classification of tea aroma. Sensing and Instrumentation for Food Quality and Safety, Vol.2 (No.1). pp. 7-14. ISSN 1932-7587

Boyatt, Russell, Joy, Mike, Rocks, Claire and Sinclair, Jane (2013) What (use) is a MOOC? In: Learning Technology for Education in Cloud (LTEC 2013), Kaohsiung, Taiwan, 9-13 Sept 2013. Published in: The 2nd international workshop on learning technology for education in cloud pp. 133-145.

Boyatt, Russell and Sinclair, Jane (2008) Experiences of teaching a lightweight formal method. In: Formal Methods in Computer Science Education, Budapest, Hungary, 29 Mar-6 Apr 2008 (Unpublished)

Brettschneider, Julia, Thornby, John Albert, 1982-, Nichols, Thomas E. and Kendall, Wilfrid S. (2014) Spatial analysis of dead pixels. Working Paper. Coventry, UK: University of Warwick. Centre for Research in Statistical Methodology. CRiSM Working Paper Series (Number 14-24). (Unpublished)

Bridgwater, Sally and Quigley, David (Researcher in physics). (2014) Lattice-switching Monte Carlo method for crystals of flexible molecules. Physical Review E (Statistical, Nonlinear, and Soft Matter Physics), Volume 90 (Number 6). Article number 063313. ISSN 1539-3755

Brigham, Martin Patrick, 1969- (2005) The organisation of technology and the technology of organisation: the Vehicle Mounted Data System and the provision of UK fire services. PhD thesis, University of Warwick.

Brough, Richard, 1953- (1985) The design and construction of a decision-support system for planning local hospital services. PhD thesis, University of Warwick.

Bryson, K., Luck, Michael (Michael M.), Joy, Mike and Jones, D. T.. (2001) Agent interaction for bioinformatics data management. Applied Artificial Intelligence, Volume 15 (Number 10). pp. 917-947. ISSN 0883-9514

Bryson, K., Luck, Michael (Michael M.), Joy, Mike, 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), Bologna, Italy, 12-14 Jul 2002

Bryson, K., Luck, Michael (Michael M.), Joy, Mike and Jones, David T. (2000) Applying agents to bioinformatics in GeneWeaver. In: Klusch, Matthias, 1965- and Kerschberg, Larry, (eds.) Cooperative information agents IV : The future of information agents in cyberspace. Lecture Notes in Computer Science (Volume 1860). Berlin ; London: Springer, pp. 60-71. ISBN 9783540677031

Byrd, Jonathan M. R. (2010) Parallel Markov Chain Monte Carlo. PhD thesis, University of Warwick.

Calvi, Licia, 1968- and Cristea, Alexandra I. (2002) Towards generic adaptive systems : analysis of a case study. In: Bra, Paul M. E. de, 1959- and Brusilovsky, Peter and Conejo, Richardo, (eds.) Adaptive hypermedia and adaptive web-based systems. Lecture Notes in Computer Science (2347). Berlin ; London: Springer, pp. 79-89. ISBN 9783540437376

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

Cao, Junwei, 1973- (2001) Agent-based resource management for grid computing. PhD thesis, University of Warwick.

Cao, Junwei, 1973-, Spooner, Daniel P., Jarvis, Stephen A., 1970- and Nudd, G. R.. (2005) Grid load balancing using intelligent agents. Future Generation Computer Systems, Volume 21 (Number 1). pp. 135-149. ISSN 0167-739X

Care, Charles (2008) From analogy-making to modelling : the history of analog computing as a modelling technology. PhD thesis, University of Warwick.

Care, Charles (2006) Modelling oil reservoirs : analog computing at British Petroleum. University of Warwick. Department of Computer Science. (Computer Science Research Report). (Unpublished)

Care, Charles (2005) The analogue computer as a scientific instrument. University of Warwick. Department of Computer Science. (Computer Science Research Report). (Unpublished)

Care, Charles (2006) A chronology of analogue computing. University of Warwick. Department of Computer Science. (Computer Science Research Report). (Unpublished)

Carruth, Alan A. (1983) Applications of numerical computation methods in microeconomic theory. PhD thesis, University of Warwick.

Cartwright, Richard (1998) Geometric aspects of empirical modelling : issues of design and implementation. PhD thesis, University of Warwick.

Chakrabarti, Amit, Cormode, Graham, McGregor, Andrew and Thaler, Justin. (2014) Annotations in data streams. Transactions on Algorithms, Volume 11 (Number 1). ISSN 1549-6325

Chalmers, Alan, Debattista, Kurt, Mastoropoulou, Georgia and Paulo dos Santos, Luis. (2007) There-reality : selective rendering in high fidelity virtual environments. The International Journal of Virtual Reality, Vol.6 (No.1). pp. 1-10. ISSN 1081-1451

Chan, Zhan En (2009) Towards efficacious groupware development: an empirical modelling approach. PhD thesis, University of Warwick.

Chang, Tsiar-Yuan (1998) Representing knowledge patterns in a conceptual database design aid : a dual-base knowledge model. PhD thesis, University of Warwick.

Chaudhary, Nadeem (2013) Optimizing performance of workflow executions under authorization control. PhD thesis, University of Warwick.

Chen, Hao, Sun, Jianhua, He, Ligang, Li, Kenli and Tan, Huailiang. (2014) BAG : Managing GPU as buffer cache in operating systems. IEEE Transactions on Parallel and Distributed Systems, Volume 25 (Number 6). pp. 1393-1402. ISSN 1045-9219

Chen, Xinuo (2009) Parallelisation for data-intensive applications over peer-to-peer networks. PhD thesis, University of Warwick.

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

Chen, Yih-Chang (2001) Empirical modelling for participative business process reengineering. PhD thesis, University of Warwick.

Chen, Yih-Chang, Russ, Steve and Beynon, Meurig (2000) Empirical modelling for business process reengineering : an experience-based approach. In: Perspective in Business Informatics Research (BIR 2000), Rostock, Germany, 31 Mar - 1 Apr 2000

Chen, Yih-Chang, Russ, Steve and Beynon, Meurig (2000) Participative process modelling. In: IEEE International Conference on Systems, Man and Cybernetics, Nashville, TN, 08-11 Oct 2000. Published in: 2000 IEEE International Conference on Systems, Man, and Cybernetics, Volume 1 pp. 619-624.

Chester, Adam P. (2011) Towards effective dynamic resource allocation for enterprise applications. PhD thesis, University of Warwick.

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

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

Chitnis, Rajesh, Cormode, Graham, Hajiaghayi, Mohammad Taghi and Monezimadeh, Morteza (2015) Parameterized streaming : maximal matching and vertex cover. In: ACM SIAM Symposium on Discrete Algorithms (SODA), San Diego, USA, 4-6 Jan 2015 (In Press)

Chow, Andrew D. H. and Joy, Mike (2005) Shifting the focus from methodologies to techniques. In: 6th Annual Conference of the HEA Network for Information and Computer Sciences, York, UK, 20 Aug - 1 Sep 2005 pp. 25-29.

Chown, Paul (1990) GROVER : a graph plotting program for Sun workstations. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Chown, Paul (1990) Notes on the design of a barrel shifter for the Warwick pipelined CORDIC processor. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Chown, Paul, Walton, D. W. and Nudd, G. R. (1990) VLSI design of a pipelined CORDIC processor. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Coetzee, Peter and Jarvis, Stephen A., 1970- (2013) CRUCIBLE : towards unified secure on- and off-line analytics at scale. In: The 2013 International Workshop on Data-Intensive Scalable Computing Systems, Denver, Colorado, USA, 18 Nov 2013. Published in: Proceedings of the 2013 International Workshop on Data-Intensive Scalable Computing Systems pp. 43-48.

Coetzee, Peter, Leeke, Matthew and Jarvis, Stephen A., 1970-. (2014) Towards unified secure on- and off-line analytics at scale. Parallel Computing, Volume 40 (Number 10). pp. 738-753. ISSN 0167-8191

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

Cormode, Graham and Jowhari, Hossein. (2014) A second look at counting triangles in graph streams. Theoretical Computer Science, Volume 552 . pp. 44-51. ISSN 0304-3975

Cosma, Georgina (2008) An approach to source-code plagiarism detection investigation using latent semantic analysis. PhD thesis, University of Warwick.

Cosma, Georgina and Joy, Mike (2006) Source-code plagiarism : a UK Academic Perspective. In: 7th Annual Conference of the HEA Network for Information and Computer Sciences, Dublin, Eire, 29-31 Aug 2006 pp. 116-120.

Cosma, Georgina and Joy, Mike (2006) Source-code plagiarism : a UK academic perspective. University of Warwick. Department of Computer Science.. (Unpublished)

Cosma, Georgina and Joy, Mike (2006) Source-code plagiarism : an academic perspective. University of Warwick. Department of Computer Science.. (Unpublished)

Cragg, Emma (2011) Everybody loves surfing. ORGZine .

Cragg, Emma and Brewerton, Antony. (2011) ‘Twitter ye not?’ 23 Things that helped Warwick University Library staff to develop their Web 2.0 skills. SCONUL Focus, Volume 53 . pp. 20-24. ISSN 1745-5782

Craig, Iain D. (1994) Agents that model themselves. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Craig, Iain D. (1987) The BB-SR system. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Craig, Iain D. (1987) Blackboard systems. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Craig, Iain D. (1987) CASSANDRA-II : a distributed blackboard system. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Craig, Iain D. (1991) Elektra : a reflective production system. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Craig, Iain D. (1991) Extending Cassandra. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Craig, Iain D. (1991) Formal specification of AI systems : four case studies. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Craig, Iain D. (1995) Formal techniques in the development of blackboard systems. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Craig, Iain D. (1991) Logicism and meaning : the case against (draft). University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Craig, Iain D. (1991) Making Cassandra parallel and distributed. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Craig, Iain D. (1991) Meanings and messages. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Craig, Iain D. (1996) Multi-agent systems : a risk to freedom. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Craig, Iain D. (1998) Programs that model themselves. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Craig, Iain D. (1992) Replacing Cassandra. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Craig, Iain D. (1991) Rule interpreters in ELEKTRA. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Craig, Iain D. (1987) SeRPenS : a production rule interpreter. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Craig, Iain D. (1988) WINNSOME : a neural network simulation package. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Craig, Iain D. (1992) Where do you want to go on holiday? University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Craig, Iain D. (1987) The blackboard architecture : a definition and its implications. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Craig, Iain D. (1987) The blackboard architecture : example systems. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Craig, Iain D. (1987) A distributed blackboard architecture. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Craig, Iain D. (1995) The formal specification of ELEKTRA. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Craig, Iain D. (1991) The formal specification of a blackboard framework. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Craig, Iain D. (1992) The new implementation of Cassandra. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Craig, Iain D. (1993) A new interpretation of the blackboard architecture. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Craig, Iain D. (1987) An overview of CASSANDRA-II. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Craig, Iain D. (1995) A perspective on multi-agent systems. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Craig, Iain D. (1991) The role of formal specification in rule-based real-time AI (extended abstract). University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Craig, Iain D. and Thomas, Robert F. (1987) Learning to program : a cognitive model for an ITS. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Craig, Iain D. and Wilson, David H. (1987) CONFER : a knowledge system for bio-process control. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Cristea, Alexandra I. (2003) Automatic authoring in the LAOS AHS authoring model. In: Workshop on Adaptive Hypermedia and Adaptive Web-Based Systems in the 14th ACM Conference on Hypertext and Hypermedia (HT 2003), Nottingham, UK

Cristea, Alexandra I. and Aroyo, Lora (2002) Adaptive authoring of adaptive educational hypermedia. In: De Bra, P. and Brusilovsky, P. and Conejo, R., (eds.) Adaptive Hypermedia and Adaptive Web-Based Systems. Lecture Notes in Computer Science, Volume 2347 . Springer-Verlag, pp. 122-132. ISBN 9783540437376

Cristea, Alexandra I. and Calvi, Licia, 1968- (2003) The three layers of adaptation granularity. In: Brusilovsky, Peter and Corbett, Albert T., 1950- and De Rosis, Fiorella, 1941-, (eds.) User Modeling 2003. Lecture Notes in Computer Science (2702). Berlin ; London: Springer, pp. 4-14. ISBN 9783540403814

Cristea, Alexandra I. and Carro, Rosa (2008) Authoring of adaptive and adaptable hypermedia. Journal of Universal Computer Science, Volume 14 (Number 17). pp. 2756-2757. ISSN 0948-695X

Cristea, Alexandra I. and De Mooij, Arnout (2003) Designer adaptation in adaptive hypermedia authoring. In: International Conference on Information Technology : Coding and Computing (ITCC 2003), Las Vegas, US, 28-30 Apr 2003. Published in: International Conference on Information Technology : Computers and Communication : proceedings : April 28-30, 2003, Las Vegas, Nevada pp. 444-448.

Cristea, Alexandra I. and De Mooij, Arnout (2003) Evaluation of MOT, an AHS authoring tool : URD checklist and a special evaluation class. In: International Conference on Computers and Advanced Technology in Education, Rhodos, Greece, 30 Jun - 2 Jul 2003 pp. 241-246.

Cristea, Alexandra I., Floes, Davy, Stash, Natalia and Bra, Paul M. E. de, 1959- (2003) MOT meets AHA! In: 12th International PEG Conference (PEG 2003), St. Petersburg, Russia, 28 Jun - 1st Jul 2003

Cristea, Alexandra I., Smits, David and Bra, Paul M. E. de, 1959- (2005) Writing MOT, Reading AHA! Converting between an authoring and a delivery system for adaptive educational hypermedia. In: International Workshop on Authoring of Adaptive & Adaptable Educational Hypermedia (A3EH 2005), Amsterdam, The Netherlands, 19 July 2005

Cristea, Alexandra I., Stewart, Craig, Brailsford, Tim and Cristea, P. (2005) Evaluation of interoperability of adaptive hypermedia systems : testing the MOT to WHURLE conversion in a classroom setting. In: International Workshop on Authoring of Adaptive & Adaptable Educational Hypermedia (A3EH 2005), Amsterdam, Netherlands, 19 Jul 2005

Cross, Nicola and Wilson, Roland, 1949- (1995) Neural networks for object recognition. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Cygan, Marek, Lokshtanov, Daniel, 1984-, Pilipczuk, Marcin, Pilipczuk, Michał and Saurabh, Saket. (2014) On cutwidth parameterized by vertex cover. Algorithmica, Volume 68 (Number 4). pp. 940-953. ISSN 0178-4617

Cygan, Marek, 1984-, Kratsch, Stefan, Pilipczuk, Marcin, Pilipczuk, Michał and Wahlström, Magnus. (2014) Clique cover and graph separation : new incompressibility results. ACM Transactions on Computation Theory, Volume 6 (Number 2). pp. 1-19. ISSN 1942-3454

Cygan, Marek, 1984-, Marx, Daniel, Dr., Pilipczuk, Marcin and Pilipczuk, Michał (2014) Hitting forbidden subgraphs in graphs of bounded treewidth. In: Csuhaj-Varjú, E. and Dietzfelbinger, Martin and Ésik, Zoltán, 1951-, (eds.) Mathematical foundations of computer science 2014 : proceedings, Part II 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014. Lecture Notes in Computer Science (Volume 8635). Berlin ; London: Springer Verlag, pp. 189-200. ISBN 9783662444641

Cygan, Marek, 1984- and Pilipczuk, Marcin. (2013) Faster exponential-time algorithms in graphs of bounded average degree. Information and Computation . ISSN 0890-5401 (In Press)

Cygan, Marek, 1984-, Pilipczuk, Marcin and Pilipczuk, Michał. (2014) On group feedback Vertex Set parameterized by the size of the cutset. Algorithmica . ISSN 0178-4617 (In Press)

Cygan, Marek, 1984-, Pilipczuk, Marcin, Pilipczuk, Michał and Wojtaszczyk, Jakub Onufry. (2014) Scheduling partially ordered jobs faster than 2n. Algorithmica, Volume 68 (Number 3). pp. 692-714. ISSN 0178-4617

Cygan, Marek, 1984-, Pilipczuk, Marcin, Pilipczuk, Michał and Wojtaszczyk, Jakub Onufry. (2013) Sitting closer to friends than enemies, revisited. Theory of Computing Systems . ISSN 1432-4350 (In Press)

Czumaj, Artur, Krysta, Piotr and Vöcking, Berthold. (2010) Selfish traffic allocation for server farms. SIAM Journal on Computing, Vol.39 (No.5). pp. 1957-1987. ISSN 0097-5397

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

Dain, Julia Anne (1989) Automatic error recovery for LR parsers in theory and practice. PhD thesis, University of Warwick.

Dain, Julia Anne (1985) Error recovery for YACC parsers. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Dain, Julia Anne (1984) Error recovery schemes in LR parsers. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Dain, Julia Anne (1988) Getting women into computing. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Dain, Julia Anne (1987) Minimum distance error correction. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Dain, Julia Anne (1988) Recruitment and performance of female and male students in science. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Dain, Julia Anne (1991) Syntax error handling in language translation systems. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Dain, Julia Anne (1989) Women and computing : some responses to falling numbers in higher education. University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Dain, Julia Anne (1992) A practical minimum distance method for syntax error handling. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Das Choudhury, Sruti and Tjahjadi, Tardi. (2015) Robust view-invariant multiscale gait recognition. Pattern Recognition, Volume 48 (Number 3). pp. 798-811. ISSN 0031-3203

Davis, J. A., Mudalige, Gihan R., Hammond, Simon D., Herdman, J. A., Miller, I. (Ian) and Jarvis, Stephen A., 1970-. (2011) Predictive analysis of a hydrodynamics application on large-scale CMP clusters. Computer Science - Research and Development, Volume 26 (Number 3-4). pp. 175-185. ISSN 1865-2034

Daw, Michael, Procter, Robert N., Lin, Yuwei, Hewitt, T. (Terence), 1947-, Jie, Wei, Voss, Alexander, Baird, Kenny, Turner, A. (Andy), Birkin, Mark, Miller, Ken, Dutton, William H., 1947-, Jirotka, Marina, Schroeder, Ralph, de la Flor, Grace, Edwards, Pete, Allan, Rob, Yang, Xiaobo and Crouchley, Rob (2007) Developing an e-infrastructure for social science. In: 3rd International Conference on e-Social Science, Ann Arbor, Michigan, USA, 7-9 Oct 2007 pp. 1-7.

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

Daykin, J. W. (1984) Inequalities for the number of monotonic functions of partial orders. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Debattista, Kurt, Dubla, Piotr, Santos, Luis Paulo and Chalmers, Alan. (2011) Wait-free shared-memory irradiance caching. IEEE Computer Graphics and Applications, Vol.31 (No.5). pp. 66-78. ISSN 0272-1716

Dhillon, Amrita , Peeters, Ronald and Yüksel, Ayşe Müge (2014) Overcoming moral hazard with social networks in the workplace : an experimental approach. Working Paper. Coventry, UK: Department of Economics, University of Warwick. CAGE Online Working Paper Series, Volume 2014 (Number 183).

Dimovski, Aleksandar, 1977- (2007) Compositional software verification based on game semantics. PhD thesis, University of Warwick.

Dimovski, Aleksandar, 1977- and Lazic, Ranko (2004) CSP representation of game semantics for second-order idealized Algol. University of Warwick. Department of Computer Science. (Department of Computer Science research report).

Dimovski, Aleksandar, 1977- and Lazic, Ranko (2004) Software model checking based on game semantics and CSP. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Donzis, Diego A., Gibbon, John D., Gupta, Anupam (Researcher in Computer Science), Kerr, Robert M., Pandit, Rahul and Vincenzi, Dario. (2013) Vorticity moments in four numerical simulations of the 3D Navier–Stokes equations. Journal of Fluid Mechanics, Volume 732 . pp. 316-331. ISSN 0022-1120

Dubla, Piotr (2012) Interactive global illumination on the CPU. PhD thesis, University of Warwick.

Dunne, Paul E. (1983) Improved upper bounds on the area required to embed arbitrary graphs. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Dunne, Paul E. (1984) Some results on replacement rules in monotone Boolean networks. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Dunne, Paul E. (1984) Techniques for the analysis of monotone Boolean networks. PhD thesis, University of Warwick.

Elsom-Cook, Mark (1984) Design considerations of an intelligent tutoring system for programming languages. PhD thesis, University of Warwick.

Englert, Matthias, Gupta, Anupam, Krauthgamer, Robert, Räcke, Harald, Talgam-Cohen, Inbal and Talwar, Kunal. (2014) Vertex sparsifiers : new results from old techniques. SIAM Journal on Computing, Volume 43 (Number 4). pp. 1239-1262. ISSN 0097-5397

Englert, Matthias, Matsakis, Nicolaos and Mucha, Marcin (2014) New bounds for online packing LPs. In: Latin American Theoretical INformatics (LATIN) 2014, Montevideo, Uruguay , 31 Mar- 4 Apr 2014. Published in: Lecture Notes in Computer Science series pp. 1-12.

Englert, Matthias, Raecke, Harald and Westermann, Matthias. (2010) Reordering buffers for general metric spaces. Theory of Computing, Vol.6 (No.1). pp. 27-46. ISSN 1557-2862

Englert, Matthias, Röglin, Heiko, Spönemann, Jacob and Vöcking, Berthold (2009) Economical caching. In: 26th International Symposium on Theoretical Aspects of Computer Science, Freiburg, Germany, Feb 2009. Published in: Leibniz International Proceedings in Informatics (LIPIcs), Volume 3 pp. 385-396.

Englert, Matthias, Röglin, Heiko and Vöcking, Berthold. (2014) Worst case and probabilistic analysis of the 2-Opt algorithm for the TSP. Algorithmica, Volume 68 (Number 1). pp. 190-264. ISSN 0178-4617

Englert, Matthias, Özmen, Deniz and Westermann, Matthias. (2014) The power of reordering for online minimum makespan scheduling. SIAM Journal on Computing, Volume 43 (Number 3). pp. 1220-1237. ISSN 1095-7111

Farkas, Monica, Beynon, Meurig and Yung, Yun Pui (1993) Agent-oriented modelling for a billiards simulation. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Farsad, Nariman, Guo, Weisi and Eckford, Andrew W.. (2013) Tabletop molecular communication : text messages through chemical signals. PLoS One, Volume 8 (Number 12). Article number e82935. ISSN 1932-6203

Faulkner, Alastair (2004) Data integrity: an often-ignored aspect of safety systems: executive summary. EngD thesis, University of Warwick.

Faustini, A. A. (1981) An operations semantics for pure dataflow. University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)

Faustini, Antony Azio (1982) The equivalence of an operational and a denotational semantics for pure dataflow. PhD thesis, University of Warwick.

Ferreira, W., Hill, M. R. and Joseph, Mathai (1992) Automated timing analysis of real-time programs. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Finnegan, David Jesse (2005) Knowledge sharing in the introduction of a new technology: psychological contracts, subculture interactions and non-codified knowledge in CRM systems. PhD thesis, University of Warwick.

Finney, James (2009) Autocoding methods for networked embedded systems. EngD thesis, University of Warwick.

Firth, David. (2003) CGIwithR : facilities for processing web forms using R. Journal of Statistical Software, Volume 8 (Number 10). ISSN 1548-7660

Firth, David and Turner, Heather L.. (2012) Bradley-Terry models in R : the BradleyTerry2 package. Journal of Statistical Software, Volume 48 (Number 9). ISSN 1548-7660

Fischer, Carlos N. and Beynon, Meurig (2001) Empirical modelling of products. In: International Conference on Simulation and Multimedia in Engineering Education, Phoenix, Arizona, 7-11 Jan 2001 pp. 20-26.

Fischer, Michael J. and Paterson, Michael S. (1992) Fishspear : a priority queue algorithm. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Flitman, Andrew, 1961- (1986) Towards the application of artificial intelligence techniques for discrete event simulation. PhD thesis, University of Warwick.

Foley, Brian Patrick (2009) Addressing concerns in performance prediction : the impact of data dependencies and denormal arithmetic in scientific codes. PhD thesis, University of Warwick.

Folland, Ross Simon (2005) On the development of intelligent medical systems for pre-operative anaesthesia assessment. PhD thesis, University of Warwick.

Foss, Jonathan G. K. (2012) Manual and automatic authoring for adaptive hypermedia. PhD thesis, University of Warwick.

Foss, Jonathan G. K. and Cristea, Alexandra I. (2010) Transforming a linear module into an adaptive one : tackling the challenge. In: Aleven, Vincent A. W. M. M. and Kay, Judy and Mostow, Jack, (eds.) Intelligent Tutoring Systems : 10th International Conference, ITS 2010, Pittsburgh, PA, USA, June 14-18, 2010, Proceedings, Part II. Lecture Notes in Computer Science, Volume 6095 . Springer Verlag, pp. 82-91. ISBN 9783642134364

Foss, Jonathan G. K., Cristea, Alexandra I. and Hendrix, Maurice (2010) Continuous use of authoring for adaptive educational hypermedia : a long-term case study. In: IEEE International Conference on Advanced Learning Technologies (ICALT 2010), Sousse, Tunisia, 5-7 Jul 2010. Published in: ICALT 2010 : 10th IEEE International Conference on Advanced Learning Technologies pp. 194-196.

Franks, Henry P. W. (2013) Supporting cooperation and coordination in open multi-agent systems. PhD thesis, University of Warwick.

Franks, Henry P. W. and Griffiths, Nathan. (2014) Robust reputation in decentralized markets. Computational Intelligence . ISSN 0824-7935 (In Press)

Franks, Henry P. W., Griffiths, Nathan and Anand, Sarabjot Singh. (2014) Learning agent influence in MAS with complex social networks. Autonomous Agents and Multi-Agent Systems, Volume 28 (Number 5). pp. 836-866. ISSN 1387-2532

Franks, Henry P. W., Griffiths, Nathan and Jhumka, Arshad (2010) Image scoring in ad-hoc networks : an investigation on realistic settings. In: 8th European Workshop on Multi-Agent Systems, Paris, France, 16-17 Dec 2010 (Unpublished)

Fu, Songling, He, Ligang, Huang, Chenlin, Liao, Xiangke and Li, Kenli. (2014) Performance optimization for managing massive numbers of small files in distributed file systems. IEEE Transactions on Parallel and Distributed Systems . ISSN 1045-9219 (In Press)

Fu, Songling, He, Ligang, Liao, Xiangke, Li, Kenli and Huang, Chenlin. (2014) Analyzing the impact of storage shortage on data availability in decentralized online social networks. The scientific world journal, Volume 2014 . pp. 1-14. Article number 826145. ISSN 1537-744X

Ganaba, Taher H. (1985) Nonlinear finite element analysis of plates and slabs. PhD thesis, University of Warwick.

Gay, S. J., Nagarajan, Rajagopal and Papanikolaou, N. K. (2007) QMC : a model checker for quantum systems. University of Warwick. Department of Computer Science.. (Unpublished)

Gent, Ian (1993) Analytic proof systems for classical and modal logics of restricted quantification. PhD thesis, University of Warwick.

Gent, Ian (1991) Finding problems in knowledge bases using modal logics. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Gent, Ian and Cohn, A. G. (1991) Reasoning about hybrid reasoning : a discussion. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Ghali, Fawaz (2010) Social personalized e-learning framework. PhD thesis, University of Warwick.

Ghali, Fawaz, Cristea, Alexandra I. and Stewart, Craig (2008) My online teacher 2.0. In: IGACLE Workshop, 3rd European Conference on Technology Enhanced Learning (ECTEL 2008), Maastricht, Netherlands, 17 Sep 2008 (Unpublished)

Gibbons, Alan (Alan M.) (1988) Dynamic expression evaluation in one of a class of problems which are efficiently solvable on mesh-connected computers. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Gibbons, Alan (Alan M.) and Rytter, Wojciech (1986) Fast parallel algorithms for vertex and edge colouring of Halin graphs. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Gibbons, Alan (Alan M.) and Rytter, Wojciech (1986) On the decidability of some problems about rational subsets of free partially commutative monoids. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Gibbons, Alan (Alan M.) and Rytter, Wojciech (1989) Optimally edge-colouring outerplanar graphs is in NC. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Gibbons, Alan (Alan M.) and Rytter, Wojciech (1986) A fast parallel algorithm for optimal edge-colouring of outerplanar graphs. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Gibbons, Alan (Alan M.) and Rytter, Wojciech (1986) An optimal parallel algorithm for dynamic expression evaluation and its applications. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Gibbons, Alan (Alan M.) and Ziani, R. (1990) The balanced binary tree technique on mesh connected computers. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Gibson, Jon, Tekiner, Firat, Halfpenny, Peter, Nazroo, James Y., Fagan, Colette, Procter, Robert N. and Lin, Yuwei (2007) NCeSS Project : Data mining for social scientists. In: 3rd International Conference on e-Social Science, Ann Arbor, Michigan, USA, 7-9 Oct 2007. Published in: Proceedings of the Third International Conference on e-Social Science pp. 1-8.

Giridhar, P., Kumar, Vinod and Joseph, Mathai (1997) The mine pump problem. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Gkotsis, George, Stepanyan, Karen, Cristea, Alexandra I. and Joy, Mike. (2014) Entropy-based automated wrapper generation for weblog data extraction. World Wide Web, Volume 17 (Number 4). 827-846 . ISSN 1386-145X

Gkotsis, George, Stepanyan, Karen, Cristea, Alexandra I. and Joy, Mike (2013) Self-supervised automated wrapper generation for weblog data extraction. In: 29th British National Conference on Databases, BNCOD 2013, Oxford, 8-10 July, 2013. Published in: Big data, Volume 7968 pp. 292-302.

Gkotsis, George, Stepanyan, Karen, Cristea, Alexandra I. and Joy, Mike (2013) Zero-cost labelling with web feeds for weblog data extraction. In: 23rd International World Wide Web Conference (WWW 2013), Rio de Janeiro, Brazil, 13-17 May 2013. Published in: WWW '13 Companion : Proceedings of the 22nd international conference on World Wide Web companion pp. 73-74.

Goldberg, Leslie Ann, Goldberg, Paul W., Phillips, Cynthia A. and Sorking, Gregory B. (1996) Constructing computer virus phylogenies. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Goldberg, Leslie Ann, Jerrum, Mark, 1955- and Paterson, Michael S. (2001) The computational complexity of two-state spin systems. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Goldberg, Leslie Ann and MacKenzie, Phil (1997) Contention resolution with guaranteed constant expected delay. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Goldberg, Paul W. (1999) Learning fixed-dimension linear thresholds from fragmented data. University of Warwick. Department of Computer Science. (Computer science research report). (Unpublished)

Goldberg, Paul W. (2000) When can two unsupervised learners achieve PAC separation? University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Golshani, Forouzan (1982) Varqa : A functional query language based on an algebraic approach and conventional mathematical notation. PhD thesis, University of Warwick.

Gongora, Mario Augusto, 1964- (1998) Artificial intelligence tools for path generation and optimisation for mobile robots. PhD thesis, University of Warwick.

Goswami, Asis and Joseph, Mathai (1988) A semantic model for the specification of real-time processes. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Greenhalgh, Trisha, Wherton, Joe, Sugarhood, Paul, Hinder, Sue, Procter, Robert N. and Stones, Rob, 1957-. (2013) What matters to older people with assisted living needs? A phenomenological analysis of the use and non-use of telehealth and telecare. Social Science & Medicine, Volume 93 . pp. 86-94. ISSN 0277-9536

Gregory, Frank Hutson, 1951- (1993) A logical analysis of soft systems modelling: implications for information system design and knowledge based system design. PhD thesis, University of Warwick.

Griffiths, Nathan (2004) Task delegation using experience-based multi-dimensional trust. University of Warwick. Department of Computer Science. (Department of Computer Science Research report). (Unpublished)

Griffiths, Nathan and Chao, Kuo-Ming (2004) Experience-based trust : enabling effective resource selection in a grid environment. University of Warwick. Department of Computer Science. (Department of Computer Science Research report). (Unpublished)

Griffiths, Nathan and Joy, Mike (2003) An integrated approach to courseware. In: 6th World Federation of Engineering Organizations (WFEO) and 2nd American Society for Engineering Education (ASEE) Electronic Conference, Porto, Portugal, 7-10 Sep 2003. Published in: Proceedings of the 2003 WFEO/ASEE e-Conference

Griffiths, Nathan and Luck, Michael (Michael 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, 10-14 May 2010 pp. 80-87.

Griffiths, Nathan and Luck, Michael (Michael M.) (2010) Norm emergence in tag-based cooperation. In: 8th European Workshop on Multi-Agent Systems, Paris, France, 16-17 Dec 2010 (Unpublished)

Guan, Yu (Researcher in Computer Science), Li, Chang-Tsun and Choudhury, Sruti Das (2013) Robust gait recognition from extremely low frame-rate videos. In: 2013 International Workshop on Biometrics and Forensics (IWBF), Lisbon, Portugal, 4-5 Apr 2013 pp. 1-4.

Guan, Yu (Researcher in Computer Science), Li, Chang-Tsun and Roli, Fabio, 1962-. (2015) On reducing the effect of covariate factors in gait recognition : a classifier ensemble method. IEEE Transactions on Pattern Analysis and Machine Intelligence, Volume 37 (Number 99). ISSN 0162-8828 (In Press)

Guan, Yu (Researcher in Computer Science), Tistarelli, Massimo, 1962-, Sun, Yunlian and Li, Chang-Tsun. (2014) Human gait identification from extremely low-quality videos : an enhanced classifier ensemble method. IET Biometrics, Volume 3 (Number 2). pp. 84-93. ISSN 2047-4938

Guan, Yu (Researcher in Computer Science), Wei, Xingjie, Li, Chang-Tsun and Keller, Yosi (2014) People identification and tracking through fusion of facial and gait features. In: Cantoni, V. and Dimov, Dimo and Tistarelli, Massimo, 1962-, (eds.) Biometric Authentication : First International Workshop, BIOMET 2014, Sofia, Bulgaria, June 23-24, 2014. Revised Selected Papers. Lecture Notes in Computer Science . Springer International Publishing, pp. 209-221. ISBN 9783319133850

Guo, Yue, 1983- (2009) An investigation of model-based techniques for automotive electronic system development. PhD thesis, University of Warwick.

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

Hamilton, Ross, 1971- (1997) Continuous path : the evolution of process control technologies in post-war Britain. PhD thesis, University of Warwick.

Hammond, Simon D. and Lacey, David (2006) Loop transformations in the ahead-of-time optimization of Java bytecode. In: Mycroft, A. and Zeller, A., (eds.) Compiler Construction. Lecture Notes in Computer Science, Volume 3923 . Springer Berlin Heidelberg, pp. 109-123. ISBN 9783540330509

Hammond, Simon D., Mudalige, Gihan R., Smith, J. A. (Jessica A.) and Jarvis, Stephen A., 1970- (2009) Performance prediction and procurement in practice : assessing the suitability of commodity cluster components for wavefront codes. In: 24th UK Performance Engineering Workshop (UKPEW 2008), London, UK, 3-4 Jul 2008. Published in: 24th UK Performance Engineering Workshop 3–4 July 2008

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

Happa, Jassim (2011) High-fidelity rendering and display of cultural heritage. PhD thesis, University of Warwick.

Harper, J. S., Kerbyson, D. J. and Nudd, G. R. (1998) Analytical modeling of set-associative cache behaviour. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Harper, J. S., Kerbyson, D. J. and Nudd, G. R. (1997) Predicting the cache miss ratio of loop-nested array references. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Hart, William B. (2013) FLINT : Fast library for number theory. Computeralgebra Rundbrief . ISSN 0933-5994 (Submitted)

Hart, William B. (2010) Fast library for number theory : an introduction. In: 3rd International Congress on Mathematical Software, Kobe, Japan, 13-17 Sep 2010 . Published in: Lecture Notes in Computer Science, Volume 6327 pp. 88-91.

Hartswood, Mark, Procter, Robert N., Schopf, J. M., Slack, Roger, 1965-, Ure, Jenny, Voss, Alex and Lin, Yuwei (2006) Abstractions, accounts and grid usability. In: 2nd International Conference on e-Social Science, Manchester, UK, 28-30 Jun 2006. Published in: Proceedings of 2nd International Conference on e-social science pp. 1-12.

Hartswood, Mark, Voss, Alex, Procter, Robert N. and Williams, Robin, 1952 November 13- (2001) Pick-n-mix approaches to technology supply : XML as a standard “glue” linking universalised locals. In: 6th EURAS Workshop on ‘Standards, Compatibility and Infrastructure Development', Delft, Netherlands, 28-29 Jun 2001. Published in: Proceedings of the 6th EURAS Workshop on Standards, Compatibility and Infrastructure Development pp. 117-135.

Harvey, Carlo (2011) Modality based perception for selective rendering. PhD thesis, University of Warwick.

He, Ligang, Duan, Kewei, Chen, Xueguang, Zou, Deqing, Han, Zongfen, Fadavinia, Ali and Jarvis, Stephen A., 1970- (2011) Modelling workflow executions under role-based authorisation control. In: 8th IEEE International Conference on Services Computing (ICSC'11), Washington DC, USA, 4-9 July 2011. Published in: 2011 IEEE International Conference on Services Computing (SCC) pp. 200-208.

He, Ligang, Jarvis, Stephen A., 1970-, Spooner, Daniel P. and Nudd, G. R. (2003) Dynamic scheduling of parallel real-time jobs by modelling spare capabilities in heterogeneous clusters. In: IEEE International Conference on Cluster Computing, Hong Kong, China, 01-04 Dec 2003. Published in: 2003 IEEE International Conference on Cluster Computing, 2003. Proceedings. pp. 2-10.

He, Ligang, Jarvis, Stephen A., 1970-, Spooner, Daniel 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), Volume 2 (Number 2-4). pp. 165-177. ISSN 1740-0562

He, Ligang, Jarvis, Stephen A., 1970-, Spooner, Daniel P. and Nudd, G. R. (2003) Performance-based dynamic scheduling of hybrid real-time applications on a cluster of heterogeneous workstations. In: Kosch, Harald and Böszörményi, László, 1949- and Hellwagner, Hermann, (eds.) Euro-Par 2003 Parallel Processing : 9th International Euro-Par Conference Klagenfurt, Austria, August 26-29, 2003 Proceedings. Lecture Notes in Computer Science, Volume 2790 . Berlin ; London: Springer-Verlag, pp. 195-200. ISBN 9783540407881

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

Hendrix, Maurice (2010) Supporting authoring of adaptive hypermedia. PhD thesis, University of Warwick.

Hendrix, Maurice, Bra, Paul M. E. de, 1959-, Pechenizkiy, M., Smits, David and Cristea, Alexandra I. (2008) Defining adaptation in a generic multi layer model : CAM: the GRAPPLE conceptual adaptation model. Coventry: University of Warwick. Department of Computer Science.. (Unpublished)

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

Hendrix, Maurice and Cristea, Alexandra 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, 25 Jun 2007 (Unpublished)

Hendrix, Maurice and Cristea, Alexandra I. (2008) Reuse patterns in adaptation languages : creating a meta-level for the LAG adaptation language. In: Nejdl, W. (Wolfgang), 1960- and Kay, Judy and Pu, Pearl and Herder, Eelco, (eds.) Adaptive hypermedia and adaptive web-based systems. Lecture notes in computer science, Volume 5149 . Springer-Verlag, pp. 304-307. ISBN 9783540709848

Hendrix, Maurice and Cristea, Alexandra I. (2008) A meta level to LAG for adaptation language re-use. In: 6th International Workshop on Authoring of Adaptive and Adaptable Hypermedia Workshop (A3H 2008), Hannover, Germany, 29 Jul - 1 Aug 2008 (Unpublished)

Hendrix, Maurice and Cristea, Alexandra I.. (2008) A spiral model for adding automatic, adaptive authoring to adaptive hypermedia. Journal of Universal Computer Science, Volume 14 (Number 17). pp. 2799-2818. ISSN 0948-695X

Hendrix, Maurice, Cristea, Alexandra I. and Burgos, D. (2013) Comparative analysis of adaptation in adaptive educational hypermedia and IMS-learning design. University of Warwick. Department of Computer Science.. (Unpublished)

Hendrix, Maurice, Cristea, Alexandra I. and Nejdl, W. (2006) Authoring adaptive learning material on the semantic desktop. In: International Workshop on Authoring of Adaptive and Adaptable Hypermedia (A3H 2006), Dublin, Ireland, 20 Jun 2006

Heng, PeyShan, Joy, Mike, Boyatt, Russell and Griffiths, Nathan (2005) Evaluation of the BOSS online submission and assessment system. University of Warwick. Department of Computer Science. (Computer Science Research Report). (Unpublished)

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

Hoek, W. van der (Wiebe) and Rijke, Maarten de (1996) Interleaved contractions. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Hogan, Jer (1997) An analysis of OO software metrics. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Howarth, Rolf M. and Francis, Nick D. (1988) Cluster programming language definition and user manual. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Hu, Xiao-Bing, Leeson, Mark S., 1963- and Hines, Evor, 1957-. (2012) An effective genetic algorithm for network coding. Computers & Operations Research, Vol.39 (No.5). pp. 952-963. ISSN 0305-0548

Huang, Yingping and Young, Ken. (2008) Binocular image sequence analysis : integration of stereo disparity and optic flow for improved obstacle detection and tracking. Eurasip Journal on Advances in Signal Processing, Vol.2008 (No.843232). ISSN 1687-6172

Hulusić, Vedad, Debattista, Kurt and Chalmers, Alan (2013) Smoothness perception : investigation of beat rate effect on frame rate perception. The Visual Computer, Volume 29 (Number 11). pp. 1159-1172. ISSN 0178-2789

Hung, Chin-fu, 1970- (2005) Politics and public opinion in China: the impact of the Internet, 1993-2003. PhD thesis, University of Warwick.

Hunt, Marilyn J., Neill, S. R. St. J. (Sean Rupert St. John), 1945- and Barnes, Ann, 1964-. (2007) The use of ICT in the assessment of modern languages: the English context and European viewpoints. Educational Review, Vol.59 (No.2). pp. 195-213. ISSN 0013-1911

Iliopoulos, C. S. (Costas S.) (1982) Composition and characters of binary quadratic forms. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

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

Ismail, Amirah (2009) A metametadata framework to support semantic searching of pedagogic data. PhD thesis, University of Warwick.

Ismail, Amirah, Joy, Mike, Sinclair, Jane and Hamzah, Mohd. Isa (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), Orlando, Florida, 29 June - 2 July 2010 (Unpublished)

Jakobs, Kai, 1957-, Williams, Robin, 1952 November 13- and Procter, Robert N. (1998) Standardisation and innovation. In: 9th International Conference of the Information Resources Management Association, Boston, USA, 17-20 May 1998. Published in: Effective utilization and management of emerging information technologies : 1998 Information Resources Management Association, International Conference, Boston, MA, USA, May 17-20, 1998 pp. 1-3.

Janowski, Tomasz (1994) Fault-tolerant bisimulation and process transformations. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Janowski, Tomasz (1994) Stepwise transformations for fault-tolerant design of CCS processes. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Janowski, Tomasz and Joseph, Mathai (1996) Dynamic scheduling in the presence of faults : specification and verification. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Jantjies, Mmaki (2014) A framework to support multilingual mobile learning : a South African perspective. PhD thesis, University of Warwick.

Jantjies, Mmaki and Joy, Mike (2013) Mobile learning through indigenous languages : learning through a constructivist approach. In: 12th World Conference on Mobile and Contextual Learning (mLearn 2013), Doha, Qatar, 22-24 Oct 2013. Published in: 12th World Conference on Mobile and Contextual Learning (mLearn 2013), Volume 2013 (Article number 14). (Unpublished)

Jantjies, Mmaki and Joy, Mike (2012) Multilingual mobile learning : a case study of four South African high schools. In: 11th World Conference on Mobile and Contextual Learning (mLearn 2012), Helsinki, Finland, 16-18 October 2012. Published in: Proceedings of the 11th International Conference on Mobile and Contextual Learning 2012 pp. 208-211.

Jarvis, Stephen A., 1970-, Foley, Brian Patrick, Isitt, P. J., Spooner, Daniel P., Rueckert, Daniel and Nudd, G. R. (2008) Performance prediction for a code with data-dependent runtimes. In: 4th UK e-Science All Hands Meeting (AHM 2005), Nottingham, England, 19-22 Sep 2005. Published in: Concurrency and Computation: Practice & Experience, Volume 20 (Number 3). pp. 195-206.

Jarvis, Stephen A., 1970-, He, Ligang, Spooner, Daniel P. and Nudd, G. R.. (2005) The impact of predictive inaccuracies on execution scheduling. Performance Evaluation, Volume 60 (Number 1-4). pp. 127-139. ISSN 0166-5316

Jarvis, Stephen A., 1970-, He, Ligang, Spooner, Daniel P. and Nudd, G. R. (2004) The impact of predictive inaccuracies on execution scheduling. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Jarvis, Stephen A., 1970-, Hill, J. M. D., Siniolakis, C. and Vasilev, V. P. (2001) Portable and architecture independent parallel performance tuning. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Jarvis, Stephen A., 1970-, Mirsky, Jason S., Peden, John F. and Saunders, Nigel J. (2000) Finding secret messages in DNA microdots. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Jarvis, Stephen A., 1970-, Mirsky, Jason S., Peden, John F. and Saunders, Nigel J. (2000) Identification of horizontally acquired DNA using genome signature analysis. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Jarvis, Stephen A., 1970- and Nudd, G. R. (2004) Review of the e-science demonstrators and their compatibility with the Warwick middleware project. University of Warwick. Department of Computer Science. (Department of Computer Science Research report). (Unpublished)

Jarvis, Stephen A., 1970-, Poria, Sanjay and Morgan, R. G. (1995) Experiences of teaching large-scale functional programming. In: Hartel, Pieter H. and Plasmeijer, M. J. (Marinus Jacobus), (eds.) Funtional Programming Languages in Education : First International Symposium, FPLE '95 Nijmegen, The Netherlands, December 4–6, 1995 Proceedings. Lecture Notes in Computer Science (Number 1022). Springer-Verlag, pp. 103-119.

Jarvis, Stephen A., 1970-, Spooner, Daniel P., Dyson, J. R. D., Zhao, Lei and Nudd, G. R. (2003) Performance-responsive middleware for grid computing. In: All Hands Meeting 2003: Delivering e-Science, Nottingham, UK, 2-4 Sep 2003 (Unpublished)

Jarvis, Stephen A., 1970-, Spooner, Daniel P., Lim Choi Keung, Hélène Niuklan, Cao, J., Saini, S. and Nudd, G. R. (2003) Performance prediction and its use in parallel and distributed computing systems. In: International Workshop on Performance Modelling, Evaluation and Optimization of Parallel and Distributed Systems (PMEO'2003), Nice, France, 22-26 April 2003. Published in: International Parallel and Distributed Processing Symposium, 2003. Proceedings.

Jhumka, Arshad, Bradbury, Matthew and Saginbekov, Sain. (2014) Efficient fault-tolerant collision-free data aggregation scheduling for wireless sensor networks. Journal of Parallel and Distributed Computing, Volume 74 (Number 1). pp. 1789-1801. ISSN 0743-7315

Jhumka, Arshad, Griffiths, Nathan, Dawson, A. (Anthony) and Myers, Richard (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, 25-28 Sep 2008 (Unpublished)

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

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

Johansen, Adam M.. (2009) SMCTC : sequential Monte Carlo in C++. Journal of Statistical Software, Vol.30 (No.6). pp. 1-41. ISSN 1548-7660

Joseph, Mathai (1988) Software engineering : theory, experiment, practice or performance. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Joseph, Mathai and Goswami, Asis (1988) Formal description of real-time systems : a review. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Joseph, Mathai and Goswami, Asis (1989) Relating computation and time. University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Joseph, Mathai and Goswami, Asis (1988) What's 'real' about real-time systems? University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Joseph, Mathai and Pandya, Paritosh K. (1987) Specification and verification of total correctness of distributed programs. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Joy, Mike (1993) Ginger : a simple functional language. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Joy, Mike. (2005) Group projects and the computer science curriculum. Innovations in Education and Teaching International, Volume 42 (Number 1). pp. 15-25. ISSN 1470-3297

Joy, Mike (1989) The translation of high-Level functional languages to FLIC. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Joy, Mike and Axford, Tom (1990) GCODE : a revised standard for a graph representation for functional programs. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Joy, Mike and Axford, Tom (1992) Parallel combinator reduction : some performance bounds. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Joy, Mike and Axford, Tom (1987) A standard for a graph representation for functional programs. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Joy, Mike, Chan, Pui-Shan and Luck, Michael (Michael M.) (2000) Networked submission and assessment. In: 1st Annual Conference of the LTSN Centre for Information and Computer Sciences, Edinburgh, UK, 23-25 Aug 2000

Joy, Mike, Griffiths, Nathan and Boyatt, Russell. (2005) The BOSS online submission and assessment system. Journal on Educational Resources in Computing, Volume 5 (Number 3). Article number 2. ISSN 1531-4278

Joy, Mike, Griffiths, Nathan, Stott, Mary, Harley, Jon, Wattebot, Cathy and Holt, Derek F. (2002) Coresoft : a framework for student data. In: 3rd Annual Conference of the LTSN Centre for Information and Computer Sciences, Loughborough, UK, 27-29 Aug 2002. Published in: 3rd Annual Conference of the LTSN Centre for Information and Computer Sciences pp. 31-36.

Joy, Mike and Luck, Michael (Michael M.) (1998) The BOSS system for on-line submission and assessment of computing assignments. In: Charman, D. and Elmes, A., (eds.) Computer Based Assessment (Volume 2) : Case studies in Science and Computing. Plymouth, UK: SEED Publications, pp. 39-44. ISBN 184102027

Joy, Mike and Luck, Michael (Michael M.). (1998) Computer-based submission and assessment in BOSS. Interactions, Volume 6 (Number 2).

Joy, Mike and Luck, Michael (Michael M.) (1995) On-line submission and testing of programming assignments. In: Hart, J., (ed.) Innovations in the Teaching of Computing. SEDA Papers, Volume 1 (Number 88). London: SEDA, pp. 95-103. ISBN 0946815933

Joy, Mike and Luck, Michael (Michael M.) (1996) A user-friendly on-line submissions system. In: 4th Annual Conference on the Teaching of Computing, Dublin, Eire, 27-29 Aug 1996 pp. 92-95.

Joy, Mike and Rayward-Smith, V. J. (1987) NP-Completeness of a combinator optimisation problem. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Joy, Mike and Rayward-Smith, V. J.. (1995) NP-completeness of a combinator optimisation problem. Notre Dame Journal of Formal Logic, Volume 36 (Number 2). pp. 319-335. ISSN 0029-4527

Joy, Mike, Sinclair, Jane, Boyatt, Russell, Yau, Jane Yin-Kim and Cosma, Georgina (2012) Student perspectives on plagiarism in computing. In: 5th International Plagiarism Conference, Newcastle, UK, 16-18 July 2012

Jun, Yong-Tae (1999) A feature-based reverse engineering system using artificial neural networks. PhD thesis, University of Warwick.

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

Kalvala, Sara, Warburton, Richard and Lacey, David (2008) Program transformations using temporal logic side conditions. University of Warwick. Department of Computer Science.. (Unpublished)

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

Kanda, Akira (1977) Data types as effective objects. University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)

Karunarathne, Lalith (2012) Network coding via evolutionary algorithms. PhD thesis, University of Warwick.

Katugampala, Nilantha and Wilson, Roland, 1949- (2003) Parameter estimation of two dimensional component Gaussian mixtures. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Kerbyson, D. J., Harper, J. S., Craig, A. (Adam) and Nudd, G. R. (1996) PACE : A toolset to investigate and predict performance in parallel systems. In: European Parallel Tools Meeting, ONERA, Paris, 23-25 Oct 1996

Kerbyson, D. J., Packwood, R. A. and Joy, Mike (2001) Automated progress identification and feedback in large experimental laboratories. In: CAL 2001, Coventry, UK, 2-4 Apr 2001 p. 179.

Kerr, Robert M. (Robert McDougall), 1954-. (2012) Dissipation and enstrophy statistics in turbulence : are the simulations and mathematics converging? Journal of Fluid Mechanics, Volume 700 . pp. 1-4. ISSN 0022-1120

Khan, Altaf Hamid, 1962- (1996) Feedforward neural networks with constrained weights. PhD thesis, University of Warwick.

Klasing, Ralf (1998) Improved compressions of cube-connected cycles networks. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Kratsch, Stefan, Pilipczuk, Marcin, Pilipczuk, Michał and Wahlström, Magnus. (2015) Fixed-parameter tractability of multicut in directed acyclic graphs. SIAM journal on discrete mathematics, Volume 29 (Number 1). pp. 122-144. ISSN 0895-4801

Kremer, Ilan, Mansour, Yishay and Perry, Motty (2013) Implementing the "Wisdom of the Crowd". Working Paper. Coventry, UK: University of Warwick, Department of Economics. Warwick economics research papers series (TWERPS), Volume 2013 (Number 1024).

Krishna, Ritesh V. (2005) Derivation of process algebraic models of biochemical systems. MSc thesis, University of Warwick.

Krokhin, Andrei and Larose, Benoit (2004) Maximum constraint satisfaction on diamonds. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Kurtonina, Natasha and Rijke, Maarten de (1996) Directed simulations. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Kusetoğulları, Hüseyin (2012) Network routing optimisation and effective multimedia transmission to enhance QoS in communication networks. PhD thesis, University of Warwick.

Kwon, Remi Jounghuem (2010) Anxiety activating virtual environments for investigating social phobias. PhD thesis, University of Warwick.

Lai, W. H. and Li, Chang-Tsun (2005) Detecting faces in color images. University of Warwick. Department of Computer Science. (Department of Computer Science Research report). (Unpublished)

Laine, Teemu, Islas Sedano, Carolina, Vinni, Mikko and Joy, Mike (2009) Characteristics of pervasive learning environments in museum contexts. In: 8th World Conference on Mobile and Contextual Learning (mlearn 2009), Orlando, FL, 26-30 Oct 2009 (Unpublished)

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

Laine, Teemu and Joy, Mike (2008) Survey on context-aware pervasive learning environments. In: mLearn 2008, Telford, 8-10 Oct 2008 pp. 192-199.

Laine, Teemu, Sutinen, Erkki, Nygren, Eeva and Joy, Mike (2011) Rapid improvement of technology integration in context-aware learning spaces. In: IEEE Africon 2011, Livingstone, Zambia, 13-15 Sep 2011. Published in: AFRICON, 2011 pp. 1-6.

Larkin, Andrew B. (1995) The development of artificial neural networks for the analysis of market research and electronic nose data. PhD thesis, University of Warwick.

Lazic, Ranko, Newcomb, Tom and Roscoe, A. W. (2004) On model checking data-independent systems with arrays with whole-array operations. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Lazic, Ranko, Newcomb, Tom and Roscoe, A. W. (2004) Polymorphic systems with arrays : decidability and undecidability. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Lazic, Ranko and Nowak, David (2003) On a semantic definition of data independence. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Lee, Poh Khoon Ernie (2007) A quest for a better simulation-based knowledge elicitation tool. PhD thesis, University of Warwick.

Leeke, Matthew (2011) Towards the design of efficient error detection mechanisms. PhD thesis, University of Warwick.

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

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

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

Lehmann, Daniel, 1946- (1977) Modes in Algol Y. University of Warwick. Department of Computer Science.. (Unpublished)

Lehmann, Daniel, 1946- and Smyth, M. B. (Michael B.) (1977) Data types. University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)

Levy, Ian Karl (1998) Self-similarity and wavelet forms for the compression of still image and video data. PhD thesis, University of Warwick.

Leyva, Roberto, Sanchez Silva, Victor and Li, Chang-Tsun (2014) Video anomaly detection based on wake motion descriptors and perspective grids. In: The 2nd IEEE Global Conference on Signal and Information Processing, Atlanta, 3-5 Dec 2014 (In Press)

Li, Ang, Tjahjadi, Tardi and Staunton, Richard. (2014) Adaptive deformation correction of depth from defocus for object reconstruction. Journal of the Optical Society of America A: Optics, Image Science and Vision, Volume 31 (Number 12). pp. 2694-2702. ISSN 1084-7529

Li, Chang-Tsun (2004) Reversible watermarking scheme with image-independent embedding capacity. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Li, Chang-Tsun and Li, Yue (2012) Histogram preserving QIM-based watermarking. University of Warwick. Department of Computer Science.. (Unpublished)

Li, Chang-Tsun and Wilson, Roland, 1949- (2007) Unsupervised learning and clustering using a random field approach. University of Warwick. Department of Computer Science.. (Unpublished)

Li, Chang-Tsun and Yuan, Xiang (2012) Indexing images of buildings based on geometrical invariant Hough descriptors. University of Warwick. Department of Computer Science. (Department of Computer Science Technical report). (Unpublished)

Li, Ma and Staunton, R. C.. (2008) Optimum Gabor filter design and local binary patterns for texture segmentation. Pattern Recognition Letters, Vol.29 (No.5). pp. 664-672. ISSN 0167-8655

Li, Ruizhe, Li, Chang-Tsun and Guan, Yu (Researcher in Computer Science) (2014) A reference estimator based on composite sensor pattern noise for source device identification. In: Media Watermarking, Security, and Forensics 2014, San Francisco, California, USA, 2 Feb 2014. Published in: Media Watermarking, Security, and Forensics, Volume 9028

Li, Tao and Anand, Sarabjot Singh (2008) Automated taxonomy generation for summarizing multi-type relational datasets. In: 2008 International Conference on Data Mining (DMIN 2008), Las Vegas, USA, 14 Jul 2008. Published in: Proceedings of The 2008 International Conference on Data Mining (DMIN 2008) pp. 571-577.

Li, Tao and Anand, Sarabjot Singh (2008) Multi-type relational clustering approaches : current state-of-the-art and new directions. In: International Conference on Intelligent Networks and Intelligent Systems (ICINIS 2008), Wuhan, China, 1-3 November 2008. Published in: The First International Conference on Intelligent Networks and Intelligent Systems

Li, Xingbo (2010) Swarm-inspired solution strategy for the search problem of unmanned aerial vehicles. PhD thesis, University of Warwick.

Lim Choi Keung, H. N., Cao, J., Spooner, Daniel P., Jarvis, Stephen A., 1970- and Nudd, G. R. (2002) Grid information services using software agents. In: Proceedings of the 18th Annual UK Performance Engineering Workshop (UKPEW'2002), University of Glasgow, UK, 10-11 Jul 2002 pp. 187-199.

Lim Choi Keung, Hélène Niuklan (2006) Self-adaptive Grid Resource Monitoring and discovery. PhD thesis, University of Warwick.

Lim Choi Keung, Hélène Niuklan, Dyson, J. R. D., Jarvis, Stephen A., 1970- and Nudd, G. R.. (2003) Performance evaluation of a grid resource monitoring and discovery service. IEE Proceedings - Software, Volume 150 (Number 4). pp. 243-251. ISSN 1462-5970

Lim Choi Keung, Hélène Niuklan, Dyson, J. R. D., Jarvis, Stephen A., 1970- and Nudd, G. R. (2003) Predicting the performance of globus monitoring and discovery service (MDS-2) queries. In: International Workshop on Grid Computing (4th), Phoenix, AZ, 17 Nov 2003. Published in: Fourth International Workshop on Grid Computing, 2003. Proceedings. pp. 176-183.

Lim Choi Keung, Sarah Niukyun (2011) Trust-based social mechanism to counter deceptive behaviour. PhD thesis, University of Warwick.

Lim Choi Keung, Sarah Niukyun and Griffiths, Nathan (2008) Indirect recommendations for improved trust assessment. In: 11th International Workshop on Trust in Agent Societies (TRUST 2008), Estoril, Portugal, 12-13 May 2008 (Unpublished)

Lim Choi Keung, Sarah Niukyun and Griffiths, Nathan (2008) Using recency and relevance to assess trust and reputation. University of Warwick. Department of Computer Science.. (Unpublished)

Lin, Xufeng, Wei, Xingjie and Li, Chang-Tsun (2014) Two improved forensic methods of detecting contrast enhancement in digital images. In: Media Watermarking, Security, and Forensics 2014, San Francisco, California, 2 Feb 2014. Published in: Proceedings of Media Watermarking, Security, and Forensics , Volume 9028

Liu, Shuangyan (2012) Intelligent support for group work in collaborative learning environments. PhD thesis, University of Warwick.

Liu, Shuangyan and Joy, Mike (2011) Discovering student interactions with a collaborative learning forum that predict group collaboration problems. In: 4th International Conference of Education, Research and Innovation (iCERi 2011), Madrid, Spain, 14-16 Nov 2011. Published in: ICERI2011 Proceedings pp. 557-564.

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

Liu, Shuangyan, Joy, Mike and Griffiths, Nathan (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), Taipei, Taiwan, 27-31 Oct 2008 pp. 3-10. (Unpublished)

Liu, Shuangyan, Joy, Mike and Griffiths, Nathan (2008) An exploration of correlative elements to support cognitive advancement in the design of collaborative learning tools. University of Warwick. Department of Computer Science.. (Unpublished)

Liu, Yan, Ph.D. (2004) Numerical simulations of unsteady complex geometry flows. PhD thesis, University of Warwick.

Liu, Zhiming, 1961- (1989) Modelling checkpointing and recovery within UNITY. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Liu, Zhiming, 1961- (1989) A semantic model for UNITY. University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Liu, Zhiming, 1961- and Joseph, Mathai (1990) Transformation of programs for fault-tolerance. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Liu, Zhiming, 1961-, Ravn, Anders P., Sørensen, Erling V. and Zhou, Chaochen, 1937- (1992) Towards a calculus of systems dependability. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Lo, Cheng-Hung, Chu, Chih-Hsing, Debattista, Kurt and Chalmers, Alan. (2010) Selective rendering for efficient ray traced stereoscopic images. The Visual Computer, Vol.26 (No.2). pp. 97-107. ISSN 0178-2789

Loman, Nicholas J. and Pallen, Mark J.. (2010) EntrezAJAX : direct web browser access to the Entrez Programming Utilities. Source Code for Biology and Medicine, volume 5 (Number 1). Article number 6. ISSN 1751-0473

Lombardi, S. (Sabrina), Anand, Sarabjot Singh and Gorgoglione, M. (2009) Context and customer behaviour in recommendation. In: Workshop on Context-Aware Recommender Systems (CARS-2009), New York, NY, USA, 25 Oct 2009 (Unpublished)

Lord, Andrew M. (1989) Computer system dependability : an introduction. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Lourida, Katerina, Mouhtaropoulos, Antonis and Vakaloudis, Alex. (2013) Assessing database and network threats in traditional and cloud computing. International Journal of Cyber-Security and Digital Forensics, Volume 2 (Number 3). pp. 1-17. ISSN 2305-0012

Lowe, Lawrence, 1948- (1976) An investigation into the applications of real-time computing techniques in industrial audiometry. PhD thesis, University of Warwick.

Lu, Wenlian, Feng, Jianfeng, Amari, Shun’ichi and Waxman, David, Prof.. (2013) Achieving precise mechanical control in intrinsically noisy systems. New Journal of Physics, Volume 15 (Number 6). Articel number 063012. ISSN 1367-2630

Lu, Xin (Researcher in Computer science) (2013) Efficient algorithms for scalable video coding. PhD thesis, University of Warwick.

Luck, Michael (Michael M.) and d'Inverno, Mark (1994) Agency and autonomy : a formal framework. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Ma, Xiao (2011) Ontology engineering for ICT systems using semantic relationship mining and statistical social network analysis. PhD thesis, University of Warwick.

Ma, Xiao and Bal, Jay (2009) Semantic industrial categorisation based on search engine index. In: IKE'09 - The 2009 International Conference on Information and Knowledge Engineering, Las Vegas, Nevada, USA, 13-16 July 2009. Published in: Proceedings of the 2009 International Conference on Information & Knowledge Engineering

Ma, Xiao, Bal, Jay and Issa, Ahmad (2014) Using ontology engineering for understanding needs and allocating resources in web-based industrial virtual collaboration systems. Working Paper. Coventry, UK: WMG, University of Warwick . WMG Service Systems Research Group Working Paper Series, Volume 14 (Number 1).

Maad, Soha (2002) Novel software system development for finance. In: Business Information Technology Conference (BIT 2002), Manchester, UK

Mahmoud, Samhar, Griffiths, Nathan, Keppens, Jeroen and Luck, Michael (Michael M.) (2010) An analysis of norm emergence in Axelrod's model. In: 8th European Workshop on Multi-Agent Systems, Paris, France, 16-17 Dec 2010 (Unpublished)

Mallinson, A. C, Beckingsale, David A., Gaudin, W. P., Herdman, J. A. and Jarvis, Stephen A., 1970- (2013) Towards portable performance for explicit hydrodynamics codes. In: 1st International Workshop on OpenCL (IWOCL 13), Atlanta, USA, 13 - 14 May 2013

Mallinson, A. C, Jarvis, Stephen A., 1970-, Gaudin, W. P. and Herdman, J. A. (2014) Experiences at scale with PGAS versions of a Hydrodynamics application. In: PGAS '14 : 8th International Conference on Partitioned Global Address Space Programming Models, Eugene, Oregon, USA, 7-10 Oct 2014. Published in: Proceedings of the 8th International Conference on Partitioned Global Address Space Programming Models pp. 1-11.

Mania, Katerina, Troscianko, Tom, Hawkes, Rycharde and Chalmers, Alan. (2003) Fidelity metrics for virtual environment simulations based on spatial memory awareness states. Presence, Vol.12 (No.3). pp. 296-310. ISSN 1054-7460

Martin, G. N. N. (1979) Spiral storage : incrementally augmentable hash addressed storage. University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)

Masood, Khalid (2010) Histological image analysis and gland modelling for biopsy classification. PhD thesis, University of Warwick.

Masood, Khalid and Rajpoot, Nasir M. (Nasir Mahmood). (2008) Spatial analysis for colon biopsy classification from hyperspectral imagery. Annals of the BMVA, Volume 2008 (Number 4).

Matias, Yossi, Rajpoot, Nasir M. (Nasir Mahmood) and Sahinalp, Suleyman Cenk (2008) Implementation and experimental evaluation of flexible parsing for dynamic dictionary based data compression. In: 2nd Workshop on Algorithm Engineering (WAE 1998), Saarbrucken, Germany, 20-22 Aug 2008. Published in: Proceedings WAE’98

Matias, Yossi, Rajpoot, Nasir M. (Nasir Mahmood) and Sahinalp, Suleyman Cenk (1999) The effect of flexible parsing for dynamic dictionary based data compression. In: IEEE Data Compression Conference (DCC 1999), Utah, US, 29-31 Mar 1999. Published in: Proceedings. Data Compression Conference, 1999. pp. 238-246.

Matias, Yossi, Rajpoot, Nasir M. (Nasir Mahmood) and Sahinalp, Suleyman Cenk. (2001) The effect of flexible parsing for dynamic dictionary based data compression. Journal of Experimental Algorithmics (JEA), Volume 6 . pp. 1-19. Article Number 10 . ISSN 1084-6654

Matthews, S. G. (1991) Adding second order functions to Kahn data flow. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Matthews, S. G. (1985) Metric domains for completeness. PhD thesis, University of Warwick.

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

Matthews, S. G. (1992) The cycle contraction mapping theorem. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Matthews, S. G. (1992) The topology of partial metric spaces. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

McColl, R. W. and Martin, Graham R. (1989) Texture analysis and synthesis. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

McColl, William Finlay, 1952- and Paterson, Michael S. (1988) Planar acyclic computation. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

McGee, Robert W. (1986) Accounting for software in the United States. PhD thesis, University of Warwick.

Meehan, Gary (1998) The Aladin abstract machine. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Meehan, Gary (1997) Compiling functional programs to Java byte-code. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Meehan, Gary (1997) Fuzzy functional programming. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Miles, Simon, Joy, Mike and Luck, Michael (Michael M.) (2001) Designing agent-oriented systems by analysing agent interactions. In: Ciancarini, Paolo, 1959- and Wooldridge, Michael J., 1966-, (eds.) Agent-Oriented Software Engineering : First International Workshop, AOSE 2000. Lecture Notes in Computer Science (Volume 1957). Berlin ; London: Springer, pp. 171-183. ISBN 9783540415947

Miles, Simon, Joy, Mike and Luck, Michael (Michael M.) (2003) Towards a methodology for coordination mechanism selection in open systems. In: Petta, Paolo, 1963- and Tolksdorf, Robert, 1965- and Zambonelli, Franco, 1966-, (eds.) Engineering Societies in the Agents World III : Third International Workshop on Engineering Societies in the Agents World (ESAW-2002). Lecture Notes in Computer Science (2577). Berlin ; London: Springer, pp. 241-256. ISBN 9783540140092

Miller, Jimmie Andrew, 1960- (1994) From STM to nanomemory: a transfer of technology feasibility study. PhD thesis, University of Warwick.

Miltersen, Peter Bro (1993) Lower bounds for union-split-find related problems on random access machines. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Mitra, Subhobrata, Bhalerao, Abhir, Summers, P. and Williams, S. C. R. (Steven C. R.). (2005) Cortical organization of sensory corrections in visuomotor skill acquisition. Neuroscience Letters, Volume 381 (Number 1-2). pp. 76-81. ISSN 0304-3940

Moitra, Abha and Joseph, Mathai (1991) Determining timing properties of infinite real-time programs. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Molnar, Wolfgang Alfred (2009) Information system development in a process management environment: the dynamics of improvisation and bricolage during embedded software design. PhD thesis, University of Warwick.

Moreno, Andrés and Joy, Mike (2006) Jeliot 3 in a demanding educational setting. In: Fourth International Program Visualization Workshop, Florence, Italy, 29-30 Jun 2006 pp. 48-53. (Unpublished)

Mougiakakou, Stavroula G., Kyriacou, Efthyvoulos, Perakis, Kostas, Papadopoulos, Homer, Androulidakis, Aggelos, Konnis, Georgios, Tranfaglia, Riccardo, Pecchia, Leandro, Bracale, Umberto, Pattichis, Constantinos S. and Koutsouris, Dimitrios. (2011) A feasibility study for the provision of electronic healthcare tools and services in areas of Greece, Cyprus and Italy. BioMedical Engineering OnLine, Volume 10 (Number 1). Article number 49. ISSN 1475-925X

Mouhtaropoulos, Antonis, Li, Chang-Tsun and Grobler, Marthie. (2014) Digital forensic readiness : are we there yet? Journal of International Commercial Law and Technology, Volume 9 (Number 3). pp. 173-179. ISSN 1901-8401

Mudalige, Gihan R. (2009) Predictive analysis and optimisation of pipelined wavefront applications using reusable analytic models. PhD thesis, University of Warwick.

Munro, J. Ian and Paterson, Michael S. (1978) Selection and sorting with limited storage. University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)

Muntean, Cristina Hava, Muntean, Gabriel-Miro, McManis, J. and Cristea, Alexandra I. (2006) Authoring model for quality of experience-aware adaptive hypermedia systems. In: International Workshop on Authoring of Adaptive and Adaptable Hypermedia (A3H 2006), Dublin, Ireland, 20 Jun 2006

Murawski, Andrzej S., Ramsay, Steven J. and Tzevelekos, Nikos (2014) Reachability in pushdown register automata. In: Csuhaj-Varjú, E. and Dietzfelbinger, Martin and Ésik, Zoltán, 1951-, (eds.) Mathematical Foundations of Computer Science 2014 : 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, Part I. Lecture Notes in Computer Science, Volume 8634 . Berlin ; London: Springer, pp. 464-473. ISBN 9783662445211

Murawski, Andrzej S. and Tzevelekos, Nikos (2014) Game semantics for interface middleweight Java. ACM SIGPLAN Notices, Volume 49 (Number 1). pp. 517-529. ISSN 0362-1340

Murawski, Andrzej S. and Tzevelekos, Nikos (2014) Game semantics for nominal exceptions. In: Muscholl, Anca, (ed.) Foundations of Software Science and Computation Structures : 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings. Lecture Notes in Computer Science, Volume 8412 . Berlin ; London: Springer, pp. 164-179. ISBN 9783642548291

Müller, Markus, Rogers, C. (Caroline) and Nagarajan, Rajagopal. (2009) Lossless quantum prefix compression for communication channels that are always open. Physical Review A (Atomic, Molecular and Optical Physics) , Volume 79 (Number 1). Article number 012302. ISSN 1050-2947

Naik, Yogesh (1991) A temporal approach to requirements specification of real-time systems. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Ness, Paul Edward (1997) Creative software development: an empirical modelling framework. PhD thesis, University of Warwick.

Ng, Chee Un and Martin, Graham R. (2001) Content-description interfaces for medical imaging. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Ng, Irene C. L., Badinelli , Ralph, Polese , Francesco , Di Nauta , Primiano , Löbler , Helge and Halliday , Sue (Professor of marketing) (2012) S-D logic research directions and opportunities : the perspective of systems, complexity and engineering. Working Paper. Coventry, UK: WMG, University of Warwick. WMG Service Systems Research Group Working Paper Series Issue number: 11/12 ISSN: 2049-4297 September 2012 , Volume 12 (Number 11).

Novak, Ladislav, 1950- and Gibbons, Alan (Alan M.) (1989) Double independent subsets of a graph. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Novak, Ladislav, 1950- and Gibbons, Alan (Alan M.) (1989) On perfect pairs of trees in a graph. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Nurse, Jason R. C. (2010) A business-oriented framework for enhancing web services security for e-business. PhD thesis, University of Warwick.

Nurse, Jason R. C. and Sinclair, Jane (2009) BOF4WSS : a business-oriented framework for enhancing web services security for e-business. University of Warwick. Department of Computer Science. (Technical Reports). (Unpublished)

Nurse, Jason R. C. and Sinclair, Jane (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), Cambridge, MA, USA, 29 June 2012. Published in: 2012 Workshop on Socio-Technical Aspects in Security and Trust (STAST) pp. 11-18.

Nurse, Jason R. C. and Sinclair, Jane. (2010) An evaluation of BOF4WSS and the security negotiations model and tool used to support it. International Journal on Advances in Security, Volume 3 (Number 3-4). pp. 184-201. ISSN 1942-2636

O'Toole, Robert (2013) Flipping the classroom : a design study of the adoption and adaption of new pedagogy in a higher education context. Working Paper. University of Warwick, Coventry: University of Warwick. (Unpublished)

O'Toole, Robert (2013) Innovation and design change strategies for learning technologies at Warwick : towards a ‘design capabilities’ heuristic for guiding practice and evaluating change. Working Paper. University of Warwick, Coventry, UK: University of Warwick. (Unpublished)

University of Warwick, Academic Technology Service. (2013) Pedagogical strategies and technologies for peer assessment in Massively Open Online Courses (MOOCs). Discussion Paper. University of Warwick, Coventry, UK: University of Warwick. (Unpublished)

Academic Technology Service, ITS, University of Warwick. (2013) A report on e-portfolios : design features, uses, benefits, examples & emerging trends. Working Paper. University of Warwick, Coventry, UK: University of Warwick. (Unpublished)

Oakley, Brian B., Dowd, Scot E. and Purdy, Kevin J.. (2011) ThermoPhyl : a software tool for selecting phylogenetically optimized conventional and quantitative-PCR taxon-targeted assays for use with complex samples. FEMS Microbiology Ecology, Vol.77 (No.1). pp. 17-27. ISSN 1574-6941

Okamoto, Toshio, 1947-, Kayama, Mizue and Cristea, Alexandra I. (2001) Consideration of building a common platform of collaborative learning environment. In: International Conference on Computer in Education (ICCE 2001), Seoul, Korea pp. 800-807.

Osgood, Thomas J. (2013) Semantic labelling of road scenes using supervised and unsupervised machine learning with lidar-stereo sensor fusion. PhD thesis, University of Warwick.

Palmer, N. and Goldberg, Paul W. (2004) PAC classification based on PAC estimates of label class distributions. University of Warwick. Department of Computer Science. (Department of Computer Science Research report). (Unpublished)

Papaefstathiou, E., Kerbyson, D. J. and Nudd, G. R. (1994) A layered approach to parallel software performance prediction : a case study. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Papaefstathiou, E., Kerbyson, D. J., Nudd, G. R. and Atherton, T. J. (1994) An analysis of processor resource models for use in performance prediction. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

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. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

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. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

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. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Papanikolaou, Nikolaos K., 1982- (2009) Model checking quantum protocols. PhD thesis, University of Warwick.

Papanikolaou, Nikolaos K., 1982- (2004) Techniques for design and validation of quantum protocols. MSc thesis, University of Warwick.

Parberry, Ian (1983) On the power of parallel machines with high-arity instruction sets. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Parberry, Ian and Goldschlager, L., 1951- (1983) On the construction of parallel computers from various bases of Boolean functions. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Pardoe, Andrew Charles (1996) Neural network image reconstruction for nondestructive testing. PhD thesis, University of Warwick.

Park, David (1981) Concurrency and automata on infinite sequences. University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)

Park, David (1983) Essential and ephemeral knowledge : the culture and education of computer specialists. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Park, David (1974) Finiteness is mu-ineffable. University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)

Park, David (1979) On the semantics of fair parallelism. University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)

Park, Heechan and Martin, Graham R. (2005) Video compression : wavelet based coding and texture synthesis based coding. University of Warwick. Department of Computer Science. (Department of Computer Science Research report). (Unpublished)

Park, Heechan, Martin, Graham R. and Bhalerao, Abhir. (2010) Local affine image matching and synthesis based on structural patterns. IEEE Transactions on Image Processing, Volume 19 (Number 8). pp. 1968-1977. ISSN 1057-7149

Park, Heechan, Martin, Graham R. and Bhalerao, Abhir. (2010) An affine symmetric image model and its applications. IEEE Transactions on Image Processing, Volume 19 (Number 7). pp. 1695-1705. ISSN 1057-7149

Park, Heechan, Martin, Graham R. and Yu, Andy 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), Sardinia, Italy, 15-16 Sep 2005

Park, Heechan, Yu, Andy C. and Martin, Graham R. (2006) Progressive mesh-based motion estimation using partial refinement. In: Atzori, L. and Giusto, D. D. and Leonardi, R. and Pereira, F., (eds.) Visual Content Processing and Representation. Lecture Notes in Computer Science, Volume 3893 . Springer Berlin Heidelberg, pp. 92-98. ISBN 9783540335788

Paterson, Michael S. (1993) Computer science seminars 1992/93. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Paterson, Michael S. (1987) Improved sorting networks with O(log n) depth. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Paterson, Michael S. (1986) Universal chains and wiring layouts. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Paterson, Michael S., Pippenger, Nicholas and Zwick, Uri, 1961- (1990) Optimal carry save networks. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Paterson, Michael S. and Srinavasan, Aravind (1995) Contention resolution with bounded delay. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Paterson, Michael S. and Yao, F. Frances (1989) Binary partitions with applications to hidden-surface removal and solid modelling. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Paterson, Michael S. and Yao, F. Frances (1990) Optimal binary space partitions for orthogonal objects. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Paterson, Michael S. and Zwick, Uri, 1961- (1990) Improved circuits and formulae for multiple addition, multiplication and symmetric Boolean functions. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Paterson, Michael S. and Zwick, Uri, 1961- (1990) Shallow multiplication circuits. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Paterson, Michael S. and Zwick, Uri, 1961- (1992) Shallow multiplication circuits and wise financial investments. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Pearson, Edward R. S., 1964- (1991) The multiresolution Fourier transform and its application to polyphonic audio analysis. PhD thesis, University of Warwick.

Peled, Doron (1992) Sometimes 'some' is as good as 'all'. University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Peng, R., Li, Y. F., Zhang, Wenjuan and Hu, Q. P.. (2014) Testing effort dependent software reliability model for imperfect debugging process considering both detection and correction. Reliability Engineering & System Safety, Volume 126 . pp. 37-43. ISSN 0951-8320

Pennycook, Simon J. (2012) Evaluating the performance of legacy applications on emerging parallel architectures. PhD thesis, University of Warwick.

Pennycook, Simon J., Hammond, Simon D., Mudalige, Gihan R. and Jarvis, Stephen A., 1970- (2010) Experiences with porting and modelling wavefront algorithms on many-core architectures. In: Daresbury GPU Workshop 2010, Daresbury, UK, 28-29 Sept 2010 (Unpublished)

Pennycook, Simon J., Hammond, Simon D., Mudalige, Gihan R. and Jarvis, Stephen A., 1970- (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), New Orleans, LA, USA, 13-19, Nov 2010. Published in: ACM SIGMETRICS Performance Evaluation Review, Volume 38 (Number 4). pp. 23-29.

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

Pennycook, Simon J., Hammond, Simon D., Wright, S. A. (Steven A.), Herdman, J. A., Miller, I. (Ian) and Jarvis, Stephen A., 1970-. (2013) An investigation of the performance portability of OpenCL. Journal of Parallel and Distributed Computing, Volume 73 (Number 11). pp. 1439-1450. ISSN 0743-7315

Pennycook, Simon J., Hughes, C. J., Smelyanskiy, M. and Jarvis, Stephen A., 1970- (2013) Exploring SIMD for molecular dynamics, using Intel Xeon processors and Intel Xeon Phi coprocessors. In: IEEE International Parallel & Distributed Processing Symposium, Boston, MA, 20-24 May 2013. Published in: 2013 IEEE 27th International Symposium on Parallel & Distributed Processing (IPDPS) pp. 1085-1097.

Pennycook, Simon J. and Jarvis, Stephen A., 1970- (2012) Developing performance-portable molecular dynamics kernels in Open CL. In: 3rd International Workshop on Performance Modeling, Benchmarking and Simulation of High Performance Computing Systems, International Conference for High Performance Computing, Networking, Storage and Analysis, Salt Lake City, UT, 10-16 Nov 2012. Published in: 2012 SC Companion : High Performance Computing, Networking, Storage and Analysis (SCC) pp. 386-395.

Pennycook, Simon J., Mudalige, Gihan R., Hammond, Simon D. and Jarvis, Stephen A., 1970- (2010) Parallelising wavefront applications on general-purpose GPU devices. In: 26th UK Performance Engineering Workshop (UKPEW10), University of Warwick, Coventry, 8-9 July 2010. Published in: Proceedings of the 26th UK Performance Engineering Workshop (UKPEW 2010) pp. 111-118.

Perks, O. F. J. (2013) Addressing parallel application memory consumption. PhD thesis, University of Warwick.

Perks, O. F. J., Beckingsale, David A., Hammond, Simon D., Miller, I. (Ian), Herdman, J. A., Vadgama, A., Bhalerao, Abhir, He, Ligang and Jarvis, Stephen A., 1970-. (2013) Towards automated memory model generation via event tracing. Computer Journal, Volume 56 (Number 2). pp. 156-174. ISSN 0010-4620

Perks, O. F. J., Bird, Robert F., Beckingsale, David A. and Jarvis, Stephen A., 1970- (2012) Exploiting spatiotemporal locality for fast call stack traversal. In: Second Workshop on High-performance Infrastructure for Scalable Tools (WHIST 2012), Venice, Italy, 29 June 2012. Published in: 26th International Conference on Supercomputing

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

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

Perry, S. C., Harper, J. S., Kerbyson, D. J. and Nudd, G. R. (1999) Theory and operation of the Warwick multiprocessor scheduling (MS) system. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Petrou, Stavros and Gray, Alastair, 1953-. (2011) Economic evaluation using decision analytical modelling : design, conduct, analysis, and reporting. BMJ, Vol.342 . d1766. ISSN 0959-8138

Petrášová, Alena (2010) Virtual reality for the efficient treatment of infants with feeding difficulties. PhD thesis, University of Warwick.

Peyton-Jones, S. L. and Joy, Mike (1990) FLIC - a functional language intermediate code. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Pickardt, Christoph W. (2013) Evolutionary methods for the design of dispatching rules for complex and dynamic scheduling problems. PhD thesis, University of Warwick.

Piggin, Richard Stuart Hadley (1999) Application and development of fieldbus : executive summary. EngD thesis, University of Warwick.

Pope, N. W. (2011) Supporting the migration from construal to program : rethinking software development. PhD thesis, University of Warwick.

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

Popham, T. J., Bhalerao, Abhir and Wilson, Roland, 1949-. (2014) Estimating scene flow using an interconnected patch surface model with belief-propagation inference. Computer Vision and Image Understanding, Volume 121 . pp. 74-85. ISSN 1077-3142

Popham, T. J., Bhalerao, Abhir and Wilson, Roland, 1949- (2010) Multi-frame scene-flow estimation using a patch model and smooth motion prior. In: British Machine Vision Conference Workshop, Aberystwyth, UK, 31 Aug - 3 Sept 2010. Published in: Proceedings of the BMVC 2010 UK postgraduate workshop 2.1-2.11.

Porter, James A. (2012) Out-of-equilibrium economic dynamics and persistent polarisation. PhD thesis, University of Warwick.

Poschen, Meik, Daw, Michael, Procter, Robert N., Turner, M. (Martin), Hanley, Terry, Slack, Roger, 1965-, Hall, Andy, Jones, Michael, 1953-, Le Blanc, Anja, Place, Emma, Rogers, Nikki, Rowley, Andrew, Schiebeck, Tobias, Steer, Damian, Williams, Caroline and Jones, Rebecca L. (2008) User-centered development of a Virtual Research Environment to support collaborative research events. In: 4th International Conference on e-Social Science, Manchester, UK, 18-20 Jun 2008 pp. 1-10.

Poschen, Meik, Finch, J. (June), Procter, Robert N., Goff, Mhorag, McDerby, Mary, Collins, S. (Simon), Besson, Jon, Beard, L. (Lorraine) and Grahame, T. (Tom). (2012) Development of a pilot data management infrastructure for biomedical researchers at University of Manchester – approach, findings, challenges and outlook of the MaDAM Project. International Journal of Digital Curation, Vol.7 (No.2). pp. 110-122. ISSN 1746-8256

Prangnell, Lee, Sanchez Silva, Victor and Vanam, Rahul (2014) Adaptive quantization by soft thresholding in HEVC. In: IEEE Picture Coding Symposium, Queensland, Australia, 31 May 15 – 03 Jun 15 (Submitted)

Preis, Tobias, 1981- and Moat, Helen Susannah. (2014) Adaptive nowcasting of influenza outbreaks using Google searches. Royal Society Open Science , Volume 1 (Number 2). Article number 140095. ISSN 2054-5703

Pu, Ida Mengyi and Gibbons, Alan (Alan M.) (1996) Matricial space-economy with constant access-time. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Qaffas, Alaa A., Cristea, Alexandra I. and Shi, Lei (2013) Is adaptation of e-advertising the way forward? In: 2013 IEEE Conference on e-Learning, e-Management and e-Services, Kuching, Malaysia, 2-4 Dec 2013. Published in: Proceedings of 2013 IEEE Conference on e-Learning, e-Management and e-Services pp. 117-124.

Qu, Hongyang (2005) Theoretical and practical tools for validating discrete and real-time systems. PhD thesis, University of Warwick.

Qureshi, Hammad A. and Rajpoot, Nasir M. (Nasir Mahmood) (2010) Comparative analysis of spatial and transform domain methods for meningioma subtype classification. In: Medical Image Understanding and Analysis (MIUA 2010), Coventry, UK, 6-7 July 2010. Published in: Proceedings of Medical Image Understanding and Analysis 2010 pp. 209-213.

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

Rafter, Mark (1987) Formatted streams : extensible formatted I/O for C++ using object-oriented programming. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Rajpoot, Kashif, Noble, Alison, Grau, Vicente and Rajpoot, Nasir M. (Nasir Mahmood) (2008) Feature detection from echocardiography images using local phase information. In: 12th Medical Image Understanding and Analysis (MIUA 2008), Dundee, Scotland, 2-3 Jul 2008 (Unpublished)

Rajpoot, Kashif and Rajpoot, Nasir M. (Nasir Mahmood) (2003) Wavelet based segmentation of hyperspectral colon tissue imagery. In: 7th IEEE International Multi Topic Conference (INMIC 2003), Islamabad, Pakistan, 9 Dec 2003. Published in: 7th International Multi Topic Conference, 2003. INMIC 2003. pp. 38-43.

Rajpoot, Nasir M. (Nasir Mahmood) (2004) Model based optimal bit allocation. University of Warwick. Department of Computer Science. (Department of Computer Science Research report). (Unpublished)

Rajpoot, Nasir M. (Nasir Mahmood) (2002) Simulation of the rate-distortion behaviour of a memoryless Laplacian source. In: 4th Middle Eastern Symposium on Simulation and Modelling (MESM 2002), Sharjah, UAE, 28-30 Oct 2002

Rajpoot, Nasir M. (Nasir Mahmood) (2002) Texture classification using discriminant wavelet packet subbands. In: 45th Midwest Symposium on Circuits and Systems (MWSCAS 2002), Tulsa, OK, 04-07 Aug 2002. Published in: The 2002 45th Midwest Symposium on Circuits and Systems : conference proceedings : August 4-7, 2002, Tulsa, Oklahoma., Volume 3 pp. 300-303.

Rajpoot, Nasir M. (Nasir Mahmood) and Arif, Muhammad. (2008) Unsupervised shape clustering using diffusion map. Annals of the BMVA, Volume 2008 (Number 5).

Rajpoot, Nasir M. (Nasir Mahmood) 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), Oxford, UK, 9 Sep 2005

Rajpoot, Nasir M. (Nasir Mahmood), Meyer, F. G., Wilson, Roland, 1949- and Coifman, R. R. (1999) On zerotree quantization for embedded wavelet packet image coding. In: IEEE International Conference on Image Processing (ICIP 1999), Kobe, Japan, 24-28 Oct 1999. Published in: 1999 International Conference on Image Processing, 1999. ICIP 99. Proceedings., Volume 2 pp. 283-287.

Rajpoot, Nasir M. (Nasir Mahmood), Wilson, Roland, 1949-, Meyer, François G. and Coifman, Ronald R. (Ronald Raphaël) (2001) A new basis selection paradigm for wavelet packet image coding. In: International Conference on Image Processing (ICIP 2001), Thessaloniki, Greece , 07-10 Oct 2001. Published in: Proceedings. 2001 International Conference on Image Processing, 2001. , Volume 3 pp. 816-819.

Rajpoot, Nasir M. (Nasir Mahmood), Wilson, Roland, 1949- and Yao, Zhen, 1981- (2004) Planelets : a new analysis tool for planar feature extraction. In: International Workshop on Image Analysis for Multimedia Interactive Services (5th), Lisboa, Portugal, 21-23 Apr 2004 (Unpublished)

Randell, David Anthony (1991) Analysing the familiar : reasoning about space and time in the everyday world. PhD thesis, University of Warwick.

Rasmequan, Suwanna (2001) An approach to computer-based knowledge representation for the business environment using empirical modelling. PhD thesis, University of Warwick.

Rasmequan, Suwanna, Roe, Chris P. and Russ, Steve (2000) Strategic decision support systems : an experience-based approach. In: 18th IASTED Conference on Applied Informatics, Innsbruck, Austria, 14-17 Feb 2000

Rasmequan, Suwanna and Russ, Steve (2000) Cognitive artefacts for decision support. In: IEEE International Conference on Systems, Man, and Cybernetics (SMC 2000), Tennessee, USA, 8-11 Oct 2000. Published in: 2000 IEEE International Conference on Systems, Man, and Cybernetics , Volume 1 pp. 651-656.

Rawles, Simon, Joy, Mike and Evans, M. (2002) Computer-assisted assessment in computer science : issues and software. University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Raza, Shan-e-Ahmed (2014) Multi-variate image analysis for detection of biomedical anomalies. PhD thesis, University of Warwick.

Redfern, Ian Douglas, 1968- (1993) Automatic coset systems. PhD thesis, University of Warwick.

Reimers, Stian and Stewart, Neil, 1974-. (2007) Adobe Flash as a medium for online experimentation: a test of reaction time measurement capabilities. Behavior Research Methods, Vol.39 (No.3). pp. 365-370. ISSN 1554-351X

Reimers, Stian and Stewart, Neil, 1974-. (2014) Presentation and response timing accuracy in Adobe Flash and HTML5/JavaScript web experiments. Behavior Research Methods . ISSN 1554-351X (In Press)

Reimers, Stian and Stewart, Neil, 1974-. (2008) Using Adobe Flash Lite on mobile phones for psychological research: reaction time measurement reliability and inter-device variability. Behavior Research Methods, Vol.40 (No.4). pp. 1170-1176. ISSN 1554-351X

Reyes-Aldasoro, Constantino Carlos and Bhalerao, Abhir. (2006) The Bhattacharyya space for feature selection and its application to texture segmentation. Pattern Recognition, Volume 39 (Number 5). pp. 812-826. ISSN 0031-3203

Reyes-Aldasoro, Constantino Carlos and Bhalerao, Abhir (2002) Classification of human knee data from magnetic resonance images. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Robinson, Stewart, 1964- and Brooks, Roger J.. (2010) Independent verification and validation of an industrial simulation model. Simulation : Transactions of the Society for Modeling and Simulation International, Vol.86 (No.7). pp. 405-416. ISSN 0037-5497

Roe, Chris P. (2003) Computers for learning : an empirical modelling perspective. PhD thesis, University of Warwick.

Roe, Chris P. and Beynon, Meurig (2007) Dependency by definition in imagine-d logo : applications and implications. In: 11th European Logo Conference, Bratislava, Slovakia, 19-24 Aug 2007. Published in: Proceedings of the 11th European Logo Conference

Roe, Chris P. and Beynon, Meurig (2002) Empirical modelling principles to support learning in a cultural context. In: 1st International Conference on Educational Technology in Cultural Context, Joensuu, Finland, 2-3 Sep 2002 pp. 151-172.

Roe, Chris P., Beynon, Meurig and Fischer, Carlos N. (2001) Empirical modelling for the conceptual design and use of products. In: International Conference on Simulation and Multimedia in Engineering Education, Phoenix, Arizona, 7-11 Jan 2001 pp. 27-32.

Rolls, Edmund T.. (2012) Invariant visual object and face recognition : neural and computational bases, and a model, VisNet. Frontiers in Computational Neuroscience, Volume 6 . Article number 35. ISSN 1662-5188

Rolls, Edmund T. and Webb, Tristan J.. (2014) Finding and recognizing objects in natural scenes : complementary computations in the dorsal and ventral visual systems. Frontiers in Computational Neuroscience, Volume 8 . Article number 85. ISSN 1662-5188

Rossello, M. R., Griffiths, Nathan, Kalvala, Sara, Wellington, E. M. H. (Elizabeth M. H.), 1954- and Gaze, William H. (2009) Networking strategies in streptomyces coelicolor. In: 2nd International Conference on Bioinformatics and Systems Biology (BSB 2009), Leipzig, Germany, 23-25 March 2009 (Unpublished)

Rutter, Dorian James (2005) From diversity to convergence : British computer networks and the Internet, 1970-1995. PhD thesis, University of Warwick.

Rytter, Wojciech (1987) 100 exercises in the theory of automata and formal languages. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Rytter, Wojciech (1987) On efficient parallel computations for some dynamic programming problems. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Rytter, Wojciech (1986) On the complexity of parallel parsing of general context-free languages. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Rytter, Wojciech and Giancarlo, Raffaele (1985) Optimal parallel parsing of bracket languages. University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Saginbekov, Sain and Jhumka, Arshad. (2014) Efficient code dissemination in wireless sensor networks. Future Generation Computer Systems, Volume 39 . pp. 111-119. ISSN 0167-739X

Saginbekov, Sain and Jhumka, Arshad. (2014) Towards efficient stabilizing code dissemination in wireless sensor networks. The Computer Journal, Volume 57 (Number 12). pp. 1790-1816. ISSN 0010-4620

Scotton, Joshua D. (2013) Supporting delivery of adaptive hypermedia. PhD thesis, University of Warwick.

Scotton, Joshua D. and Cristea, Alexandra I. (2010) Reusing adaptation strategies in adaptive educational hypermedia systems. In: 10th IEEE International Conference on Advanced Learning Technologies (ICALT 2010), Sousse, Tunisia, 5-7 July 2010. Published in: ICALT 2010 : 10th International Conference on Advanced Learning Technologies pp. 528-532.

Shaikhina, Torgyn, Khovanova, N. A. and Mallick, Kajal, -2013 (2014) Artificial neural networks in hard tissue engineering : another look at age-dependence of trabecular bone properties in osteoarthritis. In: International Conference on Biomedical and Health Informatics, Valencia, Spain, 1-4 Jun 2014. Published in: International Conference on Biomedical and Health Informatics (BHI), 2014 IEEE-EMBS pp. 622-625.

Shamir, Adi and Wadge, William W. (1977) Data types as objects. University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)

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

Shi, Lei (2014) Defining and evaluating learner experience for social adaptive e-learning. In: The 4th Imperial College Computing Student Workshop (ICCSW 2014), London, 25-26 Sep 2014 (In Press)

Shi, Lei, Al Qudah, Dana and Cristea, Alexandra I. (2013) Designing social personalized adaptive e-learning. In: ITiCSE 2013, the 18th Annual Conference on Innovation and Technology in Computer Science Education, Canterbury, 1-3 Jul 2013

Shi, Lei, Al Qudah, Dana, Qaffas, Alaa and Cristea, Alexandra I. (2013) To build light gamification upon social interactions : requirement analysis for the next version of Topolor. In: Sixth York Doctoral Symposium on Computer Science and Electronics (YDS2013), York, UK, 29 Oct 2013. Published in: Proceedings of the Sixth York Doctoral Symposium on Computer Science and Electronics (YDS2013) pp. 1-5. (In Press)

Shi, Lei, Al Qudah, Dana, Qaffas, Alaa and Cristea, Alexandra I. (2013) Topolor : a social personalized adaptive e-learning system. In: UMAP 2013 The 21st conference on user modeling, adaptation and personalization, Rome, Italy, 10-14 Jun 2013 (Submitted)

Shi, Lei, Al Qudah, Dana and Cristea, Alexandra I. (2012) Apply the We! Design methodology in E-learning 2.0 system design : a pilot study. In: ICCSW’12, London, 27-28 Sep 2012. Published in: 2012 Imperial College Computing Student Workshop, Volume 28 pp. 123-128.

Shi, Lei, Al Qudah, Dana and Cristea, Alexandra I. (2012) Exploring participatory design for SNS-based AEH systems. In: IADIS International Conference on WWW/internet 2012, Madrid, Spain, 18-21 Oct 2012 pp. 242-249.

Shi, Lei, Al Qudah, Dana and Cristea, Alexandra I. (2013) Social e-learning in topolor : a case study. In: IADIS International Conference , Prague, Czech Republic, 23-26 Jul 2013

Shi, Lei, Awan, M. S. K. (Malik Shahzad K.) and Cristea, Alexandra I. (2013) Evaluation of social personalized adaptive E-Learning environments : end-user point of view. In: 3th Imperial College Computing Student Workshop, London, UK, 26-27 Sep 2013

Shi, Lei, Awan, Malik Shahzad K. and Cristea, Alexandra I. (2013) Evaluating system functionality in social personalized adaptive e-learning systems. In: Hernández-Leo , Davinia and Ley , Tobias and Klamma , Ralf and Harrer , Andreas , (eds.) Scaling up Learning for Sustained Impact. Lecture Notes in Computer Science . Berlin Heidelberg: Springer , pp. 633-634. ISBN 9783642408137

Shi, Lei and Cristea, Alexandra I. (2014) Designing visualisation and interaction for social e-learning : a case study in Topolor 2. In: Rensing, Christoph and Freitas, Sara de and Ley, Tobias and Muñoz-Merino, Pedro J., (eds.) Open learning and teaching in educational communities : 9th European Conference on Technology Enhanced Learning, EC-TEL 2014, Graz, Austria, September 16-19, 2014, proceedings. Lecture Notes in Computer Science (8719). Springer International Publishing, pp. 526-529. ISBN 9783319111995

Shi, Lei and Cristea, Alexandra I. (2014) Making it game-like : Topolor 2 and gamified social e-learning. In: 22nd Conference on User Modeling, Adaptation and Personalization (UMAP 2014), Aalborg, Denmark, 7-11 Jul 2014 (In Press)

Shi, Lei, Cristea, Alexandra I., Foss, Jonathan G. K., Al Qudah, Dana and Qaffas, Alaa. (2013) A social personalized adaptive e-learning environment : a case study in Topolor. IADIS International Journal on WWW/Internet, Volume 11 (Number 3). pp. 1-17. ISSN 1645-7641

Shi, Lei, Cristea, Alexandra I., Hadzidedic, Suncica and Dervishalidovic, Naida (2014) Contextual gamification of social interaction : towards increasing motivation in social e-learning. In: Popescu , Elvira and Lau, Rynson W. H. and Pata, Kai and Leung, Howard and Laanpere, Mart, (eds.) Advances in Web-Based Learning – ICWL 2014. Lecture Notes in Computer Science, Volume 8613 . Springer International Publishing, pp. 116-122. ISBN 9783319096346

Shi, Lei, Cristea, Alexandra I. and Hadzidedic, Suncica (2014) Multifaceted open social learner modelling. In: Popescu, Elvira and Lau, Rynson W. H. and Pata, Kai and Leung, Howard and Mart, Laanpere, (eds.) Advances in Web-Based Learning – ICWL 2014. Lecture Notes in Computer Science, Volume 8613 . Springer International Publishing, pp. 32-42. ISBN 9783319096346

Shi, Lei, Gkotsis, George, Stepanyan, Karen, Al Qudah, Dana and Cristea, Alexandra I. (2013) Social personalized adaptive e-learning environment : Topolor - implementation and evaluation. In: The 16th International Conference on Artificial Intelligence in Education (AIED 2013), Memphis, USA, 9-13 Jul 2013 (Submitted)

Shi, Lei, Stepanyan, Karen, Al Qudah, Dana and Cristea, Alexandra I. (2013) Evaluation of social interaction features in topolor - a social personalized adaptive e-learning system. In: 13th IEEE International Conference on Advanced Learning Technologies (ICALT 2013), Beijing, China, 15-18 Jul 2013. Published in: Proceedings of 13th IEEE International Conference on Advanced Learning Technologies (ICALT 2013) pp. 294-295.

Shi, Xuanhua, Chen, Ming, He, Ligang, Xie, Xu, Lu, Lu, Jin, Hai, Chen, Yong and Wu, Song. (2014) Mammoth : gearing Hadoop towards memory-intensive MapReduce applications. IEEE Transactions on Parallel and Distributed Systems . ISSN 1045-9219 (In Press)

Shin, Dongjoe and Tjahjadi, Tardi. (2010) Clique descriptor of affine invariant regions for robust wide baseline image matching. Pattern Recognition, Vol.43 (No.10). pp. 3261-3272. ISSN 0031-3203

Shrestha, Sambid, Leeke, Matthew and Jhumka, Arshad (2010) On the tradeoff between privacy and energy in wireless sensor networks. In: UK Performance Engineering Workshop (UKPEW'10), Coventry, UK, 9-10 July 2010. Published in: Proceedings of the 26th UK Performance Engineering Workshop (UKPEW 2010) pp. 103-110.

Shuttleworth, T. and Wilson, Roland, 1949- (1993) Note recognition in polyphonic music using neural networks. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Sitthiworachart, Jirarat (2005) An investigation into novel software tools for enhancing students' higher cognitive skills in computer programming. PhD thesis, University of Warwick.

Sitthiworachart, Jirarat and Joy, Mike (2003) Deepening computer programming skills by using web-based peer assessment. In: 4th Annual Conference of the LTSN Centre for Information and Computer Sciences, Galway, Eire, 26-28 Aug 2003. Published in: Proceedings of the 4th Annual Conference of the LTSN Centre for Information and Computer Sciences pp. 152-156.

Sitthiworachart, Jirarat and Joy, Mike (2004) Effective peer assessment for learning computer programming. In: 9th Annual Conference on the Innovation and Technology in Computer Science Education (ITiCSE 2004), Leeds, UK, 28-30 Jun 2004. Published in: Proceedings of the 9th annual SIGCSE conference on Innovation and technology in computer science education pp. 122-126.

Sitthiworachart, Jirarat and Joy, Mike (2008) Is mobile learning a substitute for electronic learning? In: IADIS International Conference on e-Learning 2008, Amsterdam, The Netherlands, 22-25 Jul 2008 pp. 451-458.

Sitthiworachart, Jirarat and Joy, Mike (2004) Using web-based peer assessment in fostering deep learning in computer programming. In: International Conference on Education and Information Systems - Technologies and Application, Orlando, FL, 21-25 Jul 2004. Published in: EISTA '04: International Conference on Education and Information Systems: Technologies and Applications, Proceedings, Volume 3 pp. 231-236.

Sitthiworachart, Jirarat and Joy, Mike (2004) The evaluation of students’ marking in web-based peer assessment of learning computer programming. In: International Conference on Computers in Education (ICCE 2004), Melbourne, Australia, 30 Nov - 3 Dec 2004 pp. 1153-1163.

Sloper, John Erik (2010) Error management in ATLAS TDAQ : an intelligent systems approach. PhD thesis, University of Warwick.

Smith, Edward M., Littrell, Jack and Olivier, M. (Michael). (2007) Automated SNP genotype clustering algorithm to improve data completeness in high-throughput SNP genotyping datasets from custom arrays. Genomics Proteomics & Bioinformatics, Vol.5 (No.3-4). pp. 256-259. ISSN 1672-0229

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

Smith, J. A. (Jessica A.), Hammond, Simon D., Mudalige, Gihan R., Davis, J. A. (James A.), Mills, A. B. and Jarvis, Stephen A., 1970- (2009) hpsgprof : a new profiling tool for large-scale parallel scientific codes. In: UK Performance Engineering Workshop (UKPEW 2009), Leeds, UK, 6-7 July 2009. Published in: Proceedings of the 25th UK Performance Engineering Workshop

Song, Yu, 1983- (2008) Modelling and analysis of plant image data for crop growth monitoring in horticulture. PhD thesis, University of Warwick.

Spooner, Daniel P., Turner, James D., Cao, J., Jarvis, Stephen A., 1970- and Nudd, G. R. (2001) Application characterisation using a lightweight transaction model. In: Proceedings of the 17th UK Performance Engineering Workshop (UKPEW), Leeds, UK, 18-19 Jul 2001 pp. 215-227.

Stanyer, Dominic and Procter, Robert N. (1999) Human factors and the WWW : making sense of URLs. In: IFIP TC13 International Conference on Human-Computer Interaction, Edinburgh, UK, 30 Aug-3 Sep 1999. Published in: Human-computer interaction : Interact '99 : IFIP TC13 International Conference on Human-Computer Interaction, 30th August-3rd September 1999, Edinburgh, UK pp. 59-60.

Stash, Natalia, Cristea, Alexandra I. and Bra, Paul M. E. de, 1959- (2004) Authoring of learning styles in adaptive hypermedia : problems and solutions. In: 13th International World Wide Web Conference (WWW 2004), New York, US, 17 - 20 May 2004. Published in: Proceedings of the 13th international World Wide Web conference pp. 114-123.

Stash, Natalia, Cristea, Alexandra I. and Bra, Paul M. E. de, 1959- (2006) Empirical evaluation of learning styles adaptation language. In: International Workshop on Authoring of Adaptive and Adaptable Hypermedia (A3H 2006), Dublin, Ireland, 20 Jun 2006

Stegle, Oliver, Denby, Katherine J., Cooke, Emma J., Wild, David L., Ghahramani, Zoubin and Borgwardt, Karsten M.. (2010) A robust Bayesian two-sample test for detecting intervals of differential gene expression in microarray time series. Journal of Computational Biology , Volume 17 (Number 3). pp. 355-367. ISSN 1066-5277

Steliaros, M.K., Martin, Graham R. and Packwood, R. A. (1997) Parallelisation of block matching motion estimation algorithms. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Stepanyan, Karen, Borau, Kerstin and Ullrich, Carsten (2010) A social network analysis perspective on student interaction within the twitter microblogging environment. In: The 10th IEEE International Conference on Advanced Learning Technologies (ICALT) 2010, Sousse, Tunisia, 5-7 July, 2010 pp. 70-72.

Stepanyan, Karen, Mather, Richard and Dalrymple, Roger. (2014) Culture, role and group work : a social network analysis perspective on an online collaborative course. British Journal of Educational Technology, Volume 45 (Number 4). pp. 676-693. ISSN 0007-1013

Stepanyan, Karen, Mather, Richard, Jones, Hamilton and Lusuardi, Carlo (2009) Avoiding pitfalls of peer assessment. In: The 9th IEEE International Conference on Advanced Learning Technologies (ICALT) 2009, Riga, Latvia, 15-17 July 2009. Published in: Advanced Learning Technologies, 2009. ICALT 2009 pp. 186-188.

Stepanyan, Karen, Mather, Richard, Jones, Hamilton and Lusuardi, Carlo (2009) Student engagement with peer assessment : a review of pedagogical design and technologies. In: Advances in Web Based Learning – ICWL 2009 : Proceedings of 8th International Conference, Aachen, Germany, August 19-21, 2009. Lecture Notes in Computer Science, Volume 5686 . Springer, pp. 367-375. ISBN 9783642034251

Stepanyan, Karen, Mather, Richard and Payne, Janet (2007) Integrating social software into course design and tracking student engagement : early results and research perspectives. In: World Conference on E-Learning in Corporate, Government, Healthcare & Higher Education (E-LEARN) 2007, Quebec, Canada, 15-19 October, 2007. Published in: Proceedings of World Conference on E-Learning in Corporate, Government, Healthcare, and Higher Education 2007 pp. 7386-7395.

Stewart, Neil, 1974-. (2006) Millisecond accuracy video display using OpenGL under Linux. Behavior Research Methods, Vol.38 (No.1). pp. 142-145. ISSN 1554-351X

Stewart, Neil, 1974-. (2006) A PC parallel port button box provides millisecond response time accuracy under Linux. Behavior Research Methods, Vol.38 (No.1). pp. 170-173. ISSN 1554-351X

Subramaniam, Niran (2012) User interactions in enterprise systems : the role of virtual co-presence on collective activity. PhD thesis, University of Warwick.

Sun, Pi-Hwa, Russ, Steve, Chen, Y. C. and Beynon, Meurig (1999) Cultivating requirements in a situated requirements engineering process. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Sun, Shanghua and Joy, Mike (2004) An multi-agent solution for student centred learning. In: Cognition and Exploratory Learning in Digital Age (CELDA), Lisbon, Portugal, 15-17 Dec 2004 pp. 533-534.

Sun, Shanghua, Joy, Mike and Griffiths, Nathan (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, Kaohsiung, Taiwan, 05-08 Jul 2005. Published in: 5th IEEE International Conference on Advanced Learning Technologies, Proceedings pp. 846-847.

Sun, Shanghua, Joy, Mike and Griffiths, Nathan (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), Utrecht, Netherlands, 25-29 Jul 2005 (Unpublished)

Sun, Shanghua, Joy, Mike and Griffiths, Nathan (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, York, UK, 30 Aug - 1 Sep 2005 pp. 115-119.

Tan, Guang and Jarvis, Stephen A., 1970-. (2007) Improving the fault resilience of overlay multicast for media streaming. IEEE Transactions on Parallel and Distributed Systems, Volume 18 (Number 6). pp. 721-734. ISSN 1045-9219

Tan, Guang, Jarvis, Stephen A., 1970- and Kermarrec, Anne-Marie (2009) Connectivity-guaranteed and obstacle-adaptive deployment schemes for mobile sensor networks. In: 28th IEEE International Conference on Distributed Computing Systems (ICDCS 2008), Beijing, China, 17-20 June 2008. Published in: IEEE Transactions on Mobile Computing, Volume 8 (Number 6). pp. 836-848.

Tan, Wee Hoe (2010) Game-based learning in formal educational contexts : how subject matter experts and game experts could collaborate to design and develop games. PhD thesis, University of Warwick.

Tan, Wilson M. and Jarvis, Stephen A., 1970-. (2014) On the design of an energy-harvesting noise-sensing WSN mote. EURASIP Journal on Wireless Communications and Networking, Volume 2014 . Article number 167. ISSN 1687-1499

Tao, H., Guo, Shuixia, Ge, Tian, Kendrick, Keith M., Xue, Z., Liu, Zhening and Feng, Jianfeng. (2013) Depression uncouples brain hate circuit. Molecular Psychiatry, Vol.18 . pp. 101-111. ISSN 1359-4184

Thirupathi, Devi (1998) Integrated information model for managing the product introduction process. PhD thesis, University of Warwick.

Thomas, Judith R. and Cohn, A. G. (1989) An expert system for hollow extrusion die design. University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Thomas, Michael O. J. (Michael Oliver John), 1950- (1988) A conceptual approach to the early learning of Algebra using a computer. PhD thesis, University of Warwick.

Thomas, Robert F. (1987) ITS methodology for problem solving and programming. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Thomason, Alasdair, Leeke, Matthew, Bradbury, Matthew and Jhumka, Arshad (2013) Evaluating the impact of broadcast rates and collisions on fake source protocols for source location privacy. In: 12th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom'13), Melbourne, Australia, 16-18 July 2013. Published in: Proceedings: 12th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom 2013) pp. 667-674.

Thönnes, Elke, Bhalerao, Abhir and Parr, David G. (2010) Classification of lung disease in HRCT scans using integral geometry measures and functional data analysis. In: Medical Image Understanding and Analysis (MIUA'10), Coventry, UK, 6-7 July, 2010. Published in: Proceedings of Medical Image Understanding and Analysis pp. 25-30.

Timofeeva, Yulia, Cox, S. J., Coombes, Stephen and Josić, Krešimir. (2008) Democratization in a passive dendritic tree : an analytical investigation. Journal of Computational Neuroscience, Vol.25 (No.2). pp. 228-244. ISSN 0929-5313

Tkacz, Nathaniel. (2010) Wikipedia and the politics of mass collaboration. Platform : journal of media and communication, Volume 2 (Number 2). pp. 40-53. ISSN 1836-5132

Tran, Sang Cong (1991) Applications of formal methods in engineering. PhD thesis, University of Warwick.

Turner, James D., Bacigalupo, David A., Jarvis, Stephen A., 1970- and Nudd, G. R. (2002) Using a transaction definition language for the automated ARMing of web services. In: CMG UK Conference on Technology Management and Performance Evaluation of Enterprise-Wide Information Systems

Turner, James D., Lopez-Hernandez, R., Kerbyson, D. J. and Nudd, G. R. (2003) Performance optimisation of a lossless compression algorithm using the PACE toolkit. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Ullrich, Carsten, Borau, Kerstin and Stepanyan, Karen (2010) Who students interact with? A social network analysis perspective on the use of Twitter in language learning. In: Sustaining TEL: From Innovation to Learning and Practice. Lecture Notes in Computer Science, Volume 6383 . Springer, pp. 432-437. ISBN 978-3-642-16019-6

Uzun, Ümit (1998) Towards distributed object design. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Varin, Cristiano, Cattelan, Manuela and Firth, David (2013) Statistical modelling of citation exchange among statistics journals. Working Paper. Coventry: University of Warwick : Centre for Research in Statistical Methodology (CRiSM). CRiSM Research Reports (Number 13-19). (Unpublished)

Visram, Zabin and Joy, Mike (2003) Group assessment for computer science projects. In: 4th Annual Conference of the LTSN Centre for Information and Computer Sciences, Galway, Eire, 26-28 Aug 2003. Published in: Proceedings of the 4th Annual Conference of the LTSN Centre for Information and Computer Sciences pp. 49-53.

Voss, Alex, Procter, Robert N., Slack, Roger, 1965-, Hartswood, Mark, Williams, Robin, 1952 November 13- and Rouncefield, Mark (2001) Production management and ordinary action : an investigation of situated, resourceful action in production planning and control. In: 20th Workshop of the UK Planning and Scheduling Special Interest Group, Edinburgh, UK, 13-14 Dec 2001. Published in: Title PLANSIG 2001 : proceedings of the twentieth workshop of the UK Planning and Scheduling Special Interest Group, 13th-14th December 2001 pp. 230-243.

Wadge, William W. (1978) Away from the operations view of computer science. University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)

Wadge, William W. (1982) Classified algebras. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Wadge, William W. (1982) Introduction to the Baire space. University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Wadge, William W. (1978) Programming constructs for nonprocedural languages. University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)

Wadge, William W. (1979) An extensional treatment of dataflow deadlock. University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)

Wahab, Matthew (1998) Object code verification. PhD thesis, University of Warwick.

Wahab, Matthew (1998) Verification and abstraction of flow-graph programs with pointers and computed jumps. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Wahab, Matthew (1996) The semantics of TLA on the PVS theorem prover. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Walke, Richard Lewis (1997) High sample-rate Givens rotations for recursive least squares. PhD thesis, University of Warwick.

Walker, David, 1961- (1992) Objects in the Pi-calculus. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Wang, Li (2004) Segmentation of branching structures from medical images. PhD thesis, University of Warwick.

Wang, Li and Bhalerao, Abhir (2002) Detecting branching structures using local Gaussian models. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Warburton, Richard (2010) On the generation and analysis of program transformations. PhD thesis, University of Warwick.

Warburton, Richard and Kalvala, Sara (2009) Towards the automated correction of bugs. University of Warwick. Department of Computer Science.. (Unpublished)

Ward, Justin and Sviridenko, Maxim (2013) Large neighborhood local search for the maximum set packing problem. In: Freĭvalds, R. V. and Kwiatkowska, Martha and Fomin, Fedor V. and Peleg , D. (David), (eds.) Automata, Languages, and Programming : 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part I. Lecture Notes in Computer Science (7965). Berlin ; London: Springer, pp. 792-803. ISBN 9783642392054

Waters, Matthew, 1980- (2009) Application of software engineering tools and techniques to PLC programming : innovation report. EngD thesis, University of Warwick.

Webb, Tristan J. (2013) Biologically plausible attractor networks. PhD thesis, University of Warwick.

Webb, Tristan J. and Rolls, Edmund T.. (2014) Deformation-specific and deformation-invariant visual object recognition : pose vs. identity recognition of people and deforming objects. Frontiers in Computational Neuroscience, Volume 8 . Article number 37. ISSN 1662-5188

Wei, Xingjie, Li, Chang-Tsun, Lei, Zhen, Yi, Dong and Li, S. Z., 1958-. (2014) Dynamic image-to-class warping for occluded face recognition. IEEE Transactions on Information Forensics and Security, Volume 9 (Number 12). pp. 2035-2050. ISSN 1556-6013

Wentzler, Angelo, Cristea, Alexandra I., Heuvelman, Egbert and Bra, Paul M. E. de, 1959- (2006) A step towards commercial adaptive hypermedia. In: International Workshop on Authoring of Adaptive and Adaptable Hypermedia (A3H 2006), Dublin, Ireland, 20 Jun 2006

Wilson, Roland, 1949- and Bhalerao, Abhir. (1992) Kernel designs for efficient multiresolution edge detection and orientation estimation. IEEE Transactions on Pattern Analysis and Machine Intelligence, Volume 14 (Number 3). pp. 384-390. ISSN 0162-8828

Wilson, Roland, 1949- and Knutsson, Hans (1994) Seeing things. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Wilson, Roland, 1949- and Rajpoot, Nasir M. (Nasir Mahmood) (2003) Image volume denoising using a Fourier-wavelet basis. In: 6th Baiona Workshop on Signal Processing in Communications (Baiona SPC 2003), Baiona, Spain, Sep 2003

Wolfgarten, Thomas (2012) Model based community detection with application to citation analysis. Other thesis, University of Warwick.

Wong, Peter Yung Ho (2006) An investigation in energy consumption analyses and application-level prediction techniques. MSc thesis, University of Warwick.

Wright, S. A., Hammond, Simon D., Pennycook, Simon J., Bird, Robert F., Herdman, J. A., Miller, I. (Ian), Vadgama, A., Bhalerao, Abhir and Jarvis, Stephen A., 1970- . (2013) Parallel file system analysis through application I/O tracing. Computer Journal, Volume 56 (Number 2). pp. 141-155. ISSN 0010-4620

Wright, Steven A. (2014) Monitoring, analysis and optimisation of I/O in parallel applications. PhD thesis, University of Warwick.

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

Xue, James Wen Jun (2009) Performance evaluation and resource management in enterprise systems. PhD thesis, University of Warwick.

Xue, Lei, 1976- (2005) Internet connection method for mobile ad hoc wireless networks. PhD thesis, University of Warwick.

Yaghi, Ali A. G., 1953- (1983) The compilation of functional language into intensional logic. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Yaghi, Ali A. G., 1953- (1984) An intensional implementation technique for functional languages. PhD thesis, University of Warwick.

Yang, Shanshan, (Researcher in computer science) and Joy, Mike (2006) Approaches for teaching prolog to beginners. In: 7th Annual Conference of the HEA Network for Information and Computer Sciences, Dublin, Eire, 29-31 Aug 2006 pp. 106-110.

Yang, Shanshan, (Researcher in computer science) and Joy, Mike (2009) Designing e-learning services. In: International Conference on E-learning in the Workplace (ICELW 2009), New York, 10-12 Jun 2009 (Unpublished)

Yang, Shanshan, (Researcher in computer science) and Joy, Mike. (2009) Designing e-learning services : a case study. International Journal of Advanced Corporate Learning (iJAC), Volume 2 (Number 4). pp. 35-43. ISSN 1867-5565

Yang, Shanshan, (Researcher in computer science) and Joy, Mike (2008) SOA services in higher education. In: 7th WSEAS International Conference on Education and Educational Technology, Venice, Italy, 21-23 Nov 2008 (Unpublished)

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

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

Yao, Zhen, 1981- (2007) Directional edge and texture representations for image processing. PhD thesis, University of Warwick.

Yao, Zhen, 1981- and Rajpoot, Nasir M. (Nasir Mahmood) (2002) Less redundant codes for variable size dictionaries. In: IEEE Data Compression Conference (DCC 2002), Utah, US, 2-4 Apr 2002. Published in: Proceedings DCC 2002 : data compression conference p. 481.

Yau, Cheuk Yin (2011) Reusing semantic web data in authoring Wikipedia. PhD thesis, University of Warwick.

Yau, Jane Yin-Kim (2011) A mobile context-aware learning schedule framework with Java learning objects. PhD thesis, University of Warwick.

Yau, Jane Yin-Kim and Joy, Mike (2004) Adaptive learning and testing with learning objects. In: International Conference on Computers in Education (ICCE 2004), Melbourne, Australia, 30 Nov - 3 Dec 2004 pp. 1861-1865.

Yau, Jane Yin-Kim and Joy, Mike (2006) Application of learning styles for effective mobile learning. In: Mobile Learning 2006, Dublin, Eire, 16-21 Jul 2006

Yau, Jane Yin-Kim and Joy, Mike (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), Beijing, China, 30 Nov - 4 Dec 2006 pp. 17-24.

Yau, Jane Yin-Kim and Joy, Mike (2004) Introducing Java : the case for fundamentals-first. In: International Conference on Education and Information Systems - Technologies and Application, Orlando, FL, 21-25 Jul 2004. Published in: International Conference on Education and Information Systems, Technologies and Applications (EISTA 2004), Volume 2 pp. 229-234.

Yau, Jane Yin-Kim and Joy, Mike. (2010) Proposal of a mobile learning preferences model. International Journal of Interactive Mobile Technologies (iJIM), Volume 4 (Number 4). pp. 49-51. ISSN 1865-7923

Yau, Jane Yin-Kim and Joy, Mike. (2010) An adaptive context-aware mobile learning framework based on the usability perspective. International Journal of Mobile Learning and Organisation, Volume 4 (Number 4). pp. 378-390. ISSN 1746-725X

Yau, Jane Yin-Kim and Joy, Mike (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), Sainte-Luce, Martinique, 22-28 Apr 2007. Published in: Second International Conference on Systems, 2007. ICONS '07.

Yau, Jane Yin-Kim and Joy, Mike (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), Hong Kong, 30 Nov-4 Dec 2009. Published in: Proceedings of the 17th International Conference on Computers in Education pp. 512-519.

Yau, Jane Yin-Kim and Joy, Mike. (2008) A self-regulated learning approach : a mobile context-aware and adaptive learning schedule (mCALS) tool. International Journal of Interactive Mobile Technologies (iJIM), Volume 2 (Number 3). pp. 52-57. ISSN 1865-7923

Yu, Andy C. (2004) Efficient intra- and inter-mode selection algorithms for H.264/AVC. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Yu, Andy C., Park, Heechan and Martin, Graham R. (2006) Fast mesh-based motion estimation employing an embedded block model. In: IEEE International Symposium on Circuits and Systems, Kos Isl, Greece, 21-24 May 2006. Published in: 2006 IEEE International Symposium on Circuits and Systems Proceedings, Volume 1-11 pp. 4703-4706.

Yu, Chia Woo, 1975- (2007) Improved algorithms for hybrid video coding. PhD thesis, University of Warwick.

Yuan, Ke, Girolami, Mark, 1963- and Niranjan, Mahesan (2012) Markov chain Monte Carlo methods for state-space models with point process observations. Neural Computation, Volume 24 (Number 6). pp. 1462-1486. ISSN 0899-7667

Yuan, Yinyin (2009) Statistical inference from large-scale genomic data. PhD thesis, University of Warwick.

Zaman, Bieke, Vanden Abeele, Vero, Markopoulos, P. (Panos) and Marshall, Paul (2011) The evolving field of tangible interaction for children : the challenge of empirical validation. Personal and Ubiquitous Computing, Volume 16 (Number 4). pp. 367-378. ISSN 1617-4909

Zemerly, M. J. and Papaefstathiou, E. (1993) Characterisation survey. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Zemerly, M. J., Papaefstathiou, E., Atherton, T. J., Kerbyson, D. J. and Nudd, G. R. (1993) Characterising computational kernels : a case study. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Zemerly, M. J., Papaefstathiou, E., Atherton, T. J., Kerbyson, D. J. and Nudd, G. R. (1993) Smart integration : a test case study. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Zemerly, M. J., Papay, J. and Nudd, G. R. (1995) Characterisation based bottleneck analysis of parallel systems. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Zhang, Dongyang, Joy, Mike, Cosma, Georgina, Boyatt, Russell, Sinclair, Jane and Yau, Jane Yin-Kim. (2013) Source-code plagiarism in universities : a comparative study of student perspectives in China and the UK. Assessment & Evaluation in Higher Education, Volume 39 (Number 6). pp. 743-458. ISSN 0260-2938

Zhang, Fu (2012) Intelligent feature selection for neural regression : techniques and applications. PhD thesis, University of Warwick.

Zhang, Jun, Cormode, Graham, Procopiuc, Cecilia M., Srivastava, Divesh and Xiao, Xiaokui (2014) Privbayes : private data release via Bayesian networks. In: ACM SIGMOD Conference, Salt Lake City, Utah, 22-27 Jun 2014. Published in: Proceedings of the 2014 ACM SIGMOD international conference on Management of data pp. 1423-1434.

Zheng, Y., Kerbyson, D. J. and Nudd, G. R. (1992) Efficient load balancing techniques for image analysis on an M-SIMD machine. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Zito, M. (1999) Randomised techniques in combinatorial algorithmics. PhD thesis, University of Warwick.

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