HAT Project Research Team. (2016) HAT Briefing Paper 4 : HAT personal data exchange ecosystem - technology architecture briefing. Working Paper. Coventry: Warwick Manufacturing Group. WMG Service Systems Research Group Working Paper Series (01/16). (Unpublished)

HAT Project Research Team. (2016) HAT Briefing Paper 5 : Rolling out HATs and creating the market for personal data - the HAT foundation. Working Paper. Coventry: Warwick Manufacturing Group. WMG Service Systems Research Group Working Paper Series (02/16). (Unpublished)

HAT Project Research Team. (2016) HAT Briefing Paper 6 : Personal data exchange ecosystem : code of practice release 1. Working Paper. Coventry: Warwick Manufacturing Group. WMG Service Systems Research Group Working Paper Series (03/16). (Unpublished)

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.

Ahmad, Bilal, Vera, Daniel and Harrison, Robert. (2016) Engineering methods and tools for cyber–physical automation systems. Proceedings of the IEEE , PP (99). pp. 1-13. ISSN 0018-9219

Ahn, Kook-Jin, Cormode, Graham, Guha, Sudipto, McGregor, Andrew and Wirth, Anthony Ian (2015) Correlation clustering in data streams. In: International Conference on Machine Learning, Lille, France, 6-11 Jul 2015. Published in: Proceedings of the 32nd International Conference on Machine Learning, 37

Al Fayez, Reem Qadan and Joy, Mike (2015) Applying NoSQL databases for integrating web educational stores : an ontology-based approach. In: Maneth, Sebastian, (ed.) Data science : 30th British International Conference on Databases, BICOD 2015, Edinburgh, UK, July 6-8, 2015, proceedings. Lecture Notes in Computer Science (9147). Springer, pp. 29-40. ISBN 9783319204239

Al Fayez, Reem Qadan and Joy, Mike (2014) A framework for linking educational medical objects : connecting Web 2.0 and traditional education. In: 15th International Conference on Web Information System Engineering (WISE 2014), Thessaloniki, Greece, 12-14 Oct 2014. Published in: Web Information Systems Engineering – WISE 2014 : 15th International Conference, Thessaloniki, Greece, October 12-14, 2014, Proceedings, Part II, Volume 8787 pp. 156-165.

Al Qudah, Dana (2016) A framework for adaptive personalised e-advertisements. 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 (Researcher in Computer Science) (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 (Researcher in Computer Science), 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 Qudah, Dana, Cristea, Alexandra I., Shi, Lei (Researcher in Computer Science) and Alqatawna, Ja'far (2015) Designing an adaptive online advertisement system : a focus group methodology. In: The 10th International Conference on Computer Science & Education, Fitzwilliam College, Cambridge University, UK, 22-24 Jul 2015 (In Press)

Al Sebae, Alaa, Leeson, Mark S. and Green, Roger. (2014) On modelling network coded ARQ-based channels. International Journal of Space-Based and Situated Computing, 4 (2). pp. 65-76. ISSN 2044-4893

Al Shami, Ahmad, Guo, Weisi and Pogrebna, Ganna (2015) Clustering big urban data sets. In: IEEE International Smart Cities Conference, Guadalajara, Mexico, 25-28 Oct 2015 (In Press)

Al Shami, Ahmad, Guo, Weisi and Pogrebna, Ganna (2016) Fuzzy partition technique for clustering big urban dataset. In: IEEE SAI Computing Conference, London, UK, 13-15 Jul 2016. Published in: 2016 SAI Computing Conference (SAI) pp. 1-5.

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-Bawan, Kamal, Englert, Matthias and Westermann, Matthias (2016) Comparison-based FIFO buffer management in QoS switches. In: 12th Latin American Theoretical Informatics Symposium (LATIN), 2016, Ensenada, México, 11-15 Apr 2016. Published in: Proceedings of the 12th Latin American Theoretical Informatics Symposium (LATIN), 2016 (Unpublished)

Al-Bawan, Kamal , Englert, Matthias and Westermann, Matthias (2016) Online packet scheduling for CIOQ and buffered crossbar switches. In: 28th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), California, USA, 11-13 Jul 2016. Published in: SPAA '16 Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures pp. 241-250.

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.

Al-Zaidi, Maram S., Joy, Mike and Sinclair, Jane (2016) Micro note-taking on smartphone : the learner experience. In: Eighth International Conference on Mobile, Hybrid, and On-line Learning (eLmL 2016), Venice, Italy, 24-28 Apr 2016 pp. 1-6.

AlAdraj, Resala A. (2015) Security and collaborative groupware tools usage. PhD thesis, University of Warwick.

AlAdraj, Resala A. and Joy, Mike (2015) Effect of security and trust on email usage : case study at University of Bahrain. In: 2015 Fifth International Conference on e-Learning (eConf 2015), Bahrain, 18-20 Oct 2015. Published in: Proceedings of the 2015 Fifth International Conference on e-Learning (eConf 2015) pp. 195-200.

Alanyali, Merve, Preis, Tobias and Moat, Helen Susannah. (2016) Tracking protests using geotagged Flickr photographs. PLoS One, 11 (3). pp. 1-8. e0150466. ISSN 1932-6203

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

Albuquerque, João Porto de, Herfort, Benjamin and Eckle, Melanie. (2016) The tasks of the crowd : a typology of tasks in geographic information crowdsourcing and a case study in humanitarian mapping. Remote Sensing, 8 (10). 859. ISSN 2072-4292

Alexander, Sylvia, Boyle, Tom 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.

Alhanahnah, Mohannad J., Jhumka, Arshad and Alouneh, Sahel. (2016) A multi-dimension taxonomy of insider threats in cloud computing. The Computer Journal . ISSN 0010-4620 (In Press)

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.

Alis, Christian M., Letchford, Adrian, Moat, Helen Susannah and Preis, Tobias (2015) Estimating tourism statistics with Wikipedia page views. In: WebSci '15 Web Science Conference, Oxford, 28 Jun - 1 Jul 2015. Published in: WebSci '15 Proceedings of the ACM Web Science Conference (33). pp. 1-2.

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. (2004) Software process improvement as emergent change: a structurational analysis. PhD thesis, University of Warwick.

. (2016) Recent developments in Geant4. Nuclear Instruments and Methods in Physics Research Section A: Accelerators, Spectrometers, Detectors and Associated Equipment . ISSN 0168-9002 (In Press)

Almuqren, Latifah and Cristea, Alexandra I. (2016) Framework for sentiment analysis of Arabic text. In: ACM Hypertext 2016 Core A , Halifax, Canada, 10-13 Jul 2016 (In Press)

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)

Anhorn, Johannes, Herfort, Benjamin and Albuquerque, João Porto de (2016) Crowdsourced validation and updating of dynamic features in OpenStreetMap an analysis of shelter mapping after the 2015 Nepal earthquake. In: 13th International Conference on Information Systems for Crisis Response and Management ISCRAM 2016, Rio de Janeiro, Brazil, 22-25 May 2016. Published in: Proceedings of the ISCRAM 2016 Conference – Rio de Janeiro, Brazil, May 2016

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.

Armond, Jonathan W., Vladimirou, Elina, McAinsh, Andrew D. and Burroughs, Nigel John. (2016) KiT : a MATLAB package for kinetochore tracking. Bioinformatics . btw087. ISSN 1367-4803 (In Press)

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.

Asadipour, Ali, Debattista, Kurt and Chalmers, Alan. (2016) Visuohaptic augmented feedback for enhancing motor skills acquisition. The Visual Computer . ISSN 0178-2789

Asadipour, Ali, Debattista, Kurt and Chalmers, Alan (2015) A game-based training approach to enhance human hand motor learning and control abilities. In: 7th International Conference on Games and Virtual Worlds for Serious Applications (VS-Games 2015), Skövde, Sweden, 16-18 Sep 2015. Published in: 2015 7th International Conference on Games and Virtual Worlds for Serious Applications (VS-Games) pp. 1-6.

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)

Ashman, Helen, Brailsford, Tim, Cristea, Alexandra I., Sheng, Quan Z., Stewart, Craig, Toms, Elaine G. and Wade, Vincent. (2014) The ethical and social implications of personalization technologies for e-learning. Information & Management, Volume 51 (Number 6). pp. 819-832. ISSN 0378-7206

Asiatici, Mikhail, George, Nithin, Vipin, Kizheppatt, Fahmy, Suhaib A. and Ienne, Paolo. (2017) Virtualized execution runtime for FPGA accelerators in the cloud. IEEE Access, 5 . pp. 1900-1910. ISSN 2169-3536

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.

Auli-Llinas, Francesc, Enfedaque, Pablo, Moure, Juan C. and Sanchez Silva, Victor. (2016) Bitplane image coding with parallel coefficient processing. IEEE Transactions on Image Processing, 25 (1). pp. 209-219. ISSN 1057-7149

Aulí-Llinàs, Francesc, Enfedaque , Pablo , Moure , Juan , Blanes, C. Ian and Sanchez Silva, Victor (2015) Strategy of microscopic parallelism for Bitplane Image Coding. In: 2015 Data Compression Conference (DCC), Snowbird, UT, 7-9 Apr 2015. Published in: Proceedings of 2015 Data Compression Conference pp. 163-172.

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.

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, Dautenhahn, Kerstin, Doran, Jim, Luck, Michael, Moss, S. 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.

Azhar, Faisal and Li, Chang-Tsun. (2015) Hierarchical relaxed partitioning system for activity recognition. IEEE Transactions on Cybernetics . pp. 1-12. ISSN 2168-2267 (In Press)

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.

Azmat, F., Chen, Yunfei and Stocks, N. G.. (2015) Analysis of spectrum occupancy using machine learning algorithms. IEEE Transactions on Vehicular Technology . ISSN 0018-9545 (In Press)

Bacigalupo, David A., Jarvis, Stephen A., 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. 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.

Barakat, Lina, Taylor, Phillip, Griffiths, Nathan and Miles, Simon (2015) Context-driven assessment of provider reputation in composite provision scenarios. In: Barros, Alistair and Grigori , Daniela and Narendra, Nanjangud C. and Dam, Hoa Khanh, (eds.) Service-Oriented Computing : 13th International Conference, ICSOC 2015, Goa, India, November 16-19, 2015, Proceedings. Lecture Notes in Computer Science, 9435 . Springer, pp. 53-67. ISBN 9783662486153

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

Barchiesi, Daniele, Moat, Helen Susannah, Alis, Christian M., Bishop, Steven R. and Preis, Tobias. (2015) Quantifying international travel flows using Flickr. PLoS One, 10 (7). pp. 1-8. e0128470. ISSN 1932-6203

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 Alexander (2015) Towards scalable adaptive mesh refinement on future parallel architectures. PhD thesis, University of Warwick.

Beckingsale, David A., Gaudin, W. P., Hornung, R. D., Gunney, B. T., Gamblin, Todd, Herdman, J. A. and Jarvis, Stephen A. (2014) Parallel block structured adaptive mesh refinement on graphics processing units. Lawrence Livermore National Laboratory. (LLNL Technical Report).

Beckingsale, David A., Perks, O. F. J., Gaudin, W. P., Herdman, J. A. and Jarvis, Stephen A. (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 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 and Martin, R. (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)

Berger, Daniel S., Gland, Philipp, Singla, Sahil and Ciucu, Florin. (2014) Exact analysis of TTL cache networks. Performance Evaluation, Volume 79 . pp. 2-23. ISSN 0166-5316

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)

Betancourt, Michael, Byrne, Simon, Livingstone, Sam and Girolami, Mark . (2016) The geometric foundations of Hamiltonian Monte Carlo. Bernoulli . ISSN 1350-7265 (In Press)

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 (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 (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 (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. (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)

Bird, Robert F. (2016) Performance modelling and optimisation of inertial confinement fusion simulation codes. PhD thesis, University of Warwick.

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, Leeson, Mark S., Iliescu, Daciana, Bhuyan, M. and Gardner, J. W.. (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)

Bradbury, Matthew and Jhumka, Arshad (2017) Understanding source location privacy protocols in sensor networks via perturbation of Time Series. In: IEEE International Conference on Computer Communications, Atlanta, GA, USA, 01-05 May 2017. Published in: IEEE INFOCOM , 2017 (In Press)

Bradbury, Matthew, Leeke, Matthew and Jhumka, Arshad (2015) A dynamic fake source algorithm for source location privacy in wireless sensor networks. In: 2015 IEEE Trustcom/BigDataSE/ISPA, Helsinki, 20-22 Aug 2015. Published in: 2015 IEEE Trustcom/BigDataSE/ISPA, 1 pp. 531-538.

Branke, Jürgen, Farid, Suzanne S. and Shah, Nilay. (2016) Industry 4.0 : a vision for personalized medicine supply chains? Cell and Gene Therapy Insights, 2 (2). pp. 263-270. ISSN 2059-7800

Branke, Jürgen, Nguyen, Su, Pickardt, Christoph W. and Zhang, Mengjie. (2016) Automated design of production scheduling heuristics : a review. IEEE Transactions on Evolutionary Computation, 20 (1). pp. 110-124. ISSN 1089-778X

Brettschneider, Julia, Thornby, John Albert, 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 (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 (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

Bugeja, Keith (2015) High-fidelity graphics using unconventional distributed rendering approaches. PhD thesis, University of Warwick.

Bunt, Richard A., Wright, Steven A., Jarvis, Stephen A., Street, Matthew and Ho, Yoon K. (2016) Predictive evaluation of partitioning algorithms through runtime modelling. In: High Performance Computing, Data, and Analytics (HiPC'16), Hyderabad, India, 19-22 Dec 2016. Published in: 2016 IEEE 23rd International Conference on High Performance Computing (HiPC) pp. 351-361.

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

Calvi, Licia 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 (2001) Agent-based resource management for grid computing. PhD thesis, University of Warwick.

Cao, Junwei, Spooner, Daniel P., Jarvis, Stephen A. 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)

Carrapico, Helena and Farrand, Benjamin Matthew. (2016) 'Dialogue, partnership and empowerment for network and information security' : the changing role of the private sector from regulation adopters to regulation shapers. Crime, Law and Social Change . pp. 1-19.

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.

Castanhari, Raul E. Simoni, Rocha, Roberto dos Santos, Andrade, Sidgley Camargo de and Albuquerque, João Porto de (2016) A software architecture to integrate sensor data and volunteered geographic information for flood risk management. In: 13th International Conference on Information Systems for Crisis Response and Management, Rio de Janeiro, Brazil, 22-25 May 2016. Published in: Proceedings of the ISCRAM 2016 Conference – Rio de Janeiro, Brazil, May 2016

Chakrabarti, Amit, Cormode, Graham and McGregor, Andrew. (2016) Robust lower bounds for communication and stream computation. Theory of Computing, 12 . pp. 1-35. 10. ISSN 1557-2862

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

Chakrabarti, Amit, Cormode, Graham, McGregor, Andrew, Thaler, Justin and Venkatasubramanian, Suresh (2015) Verifiable stream computation and Arthur-Merlin communication. In: 30th Conference on Computational Complexity (CCC’15), Portland, Oregon, 17-19 Jun 2015. Published in: Leibniz international proceedings in informatics (LIPIcs) pp. 217-243.

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, Cheng, He, Ligang, Chaudhary, Nadeem, Fu, Songling, Chen, Hao, Sun, Jianhua, Li, Kenli, Fu, Zhangjie and Xu, Ming-Liang. (2017) Performance analysis and optimization for workflow authorization. Future Generation Computer Systems, 67 . pp. 194-205. ISSN 0167-739X

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

Chapman, Lloyd A. C. (2017) Dataset and code for reproducing figures in 'Mathematical modelling of cell layer growth in a hollow fibre bioreactor'. [Dataset] (Unpublished)

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

Chen, Bo, Coffman, Ed , Dereniowski, Dariusz and Kubiak, Wiesław. (2016) Normal-form preemption sequences for an open problem in scheduling theory. Journal of Scheduling, 19 (6). pp. 701-728. ISSN 1094-6136

Chen, Chao (2016) Performance-oriented service management in clouds. 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. (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. 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. (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.

Chirigati, F., Doraiswamy, H., Damoulas, Theodoros and Freire, J. (2016) Data polygamy : the many-many relationships among urban spatio-temporal data sets. In: ACM SIGMOD International Conference on Management of Data, (SIGMOD 2016), San Francisco, 26 Jun - 01 Jul 2016. Published in: Proceedings of the 2016 ACM SIGMOD International Conference on Management of Data, (SIGMOD 2016) pp. 1011-1025.

Chistikov, Dmitry and Haase, Christoph (2017) On the complexity of quantified integer programming. In: The 44th International Colloquium on Automata, Languages, and Programming (ICALP), Warsaw, Poland, 10-14 July 2017. Published in: Proceedings of the 44th International Colloquium on Automata, Languages, and Programming (ICALP 2017) (In Press)

Chitnis, Rajesh, Cormode, Graham, Esfandiari, Hossein, Hajiaghayi, Mohammad Taghi, McGregor, Andrew, Monemizadeh, Morteza and Vorotnikova, Sofya (2016) Kernelization via sampling with applications to dynamic graph streams. In: ACM-SIAM Symposium on Discrete Algorithms (SODA) 2016, Arlington, Virginia, 10-12 Jan 2016 (In Press)

Chitnis, Rajesh, Cormode, Graham, Esfandiari, Hossein, Hajiaghayi, Mohammad Taghi and Monemizadeh, Morteza (2015) New streaming algorithms for parameterized maximal matching & beyond. In: 27th ACM symposium on Parallelism in Algorithms and Architectures, Portland, Oregon, USA, 13-15 Jun 2015. Published in: Proceedings of the 27th ACM symposium on Parallelism in Algorithms and Architectures pp. 56-58.

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. Published in: Proceedings of the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms pp. 1234-1251.

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)

Chuah, Edward, Jhumka, Arshad, Browne, James C., Gurumdimma, Nentawe, Narasimhamurthy, Sai and Barth, Bill (2017) Using message logs and resource use data for cluster failure diagnosis. In: 23rd annual IEEE International Conference on High Performance Computing, Data, and Analytics (HiPC 2016), Hyderabad, India, 19-22 Dec 2016

Ciucu, Florin and Poloczek, Felix (2015) On multiplexing flows : does it hurt or not? In: IEEE Infocom 2015, Hong Kong, 26 Apr - 01 May 2015. Published in: 2015 IEEE Conference on Computer Communications (INFOCOM) pp. 1122-1130.

Clark, Ronald, Wang, Sen, Markham, Andrew, Trigoni, Niki and Wen, Hongkai (2017) VidLoc : 6-doF video-clip relocalization. In: CVPR, Honolulu, Hawaii, 22-25 Jul 2017 (In Press)

Clark, Ronald, Wang, Sen, Wen, Hongkai, Markham, Andrew and Trigoni, Niki (2016) VINet : Visual-inertial odometry as a sequence-to-sequence learning problem. In: Thirty-First AAAI Conference on Artificial Intelligence, San Francisco, California, 4-9 Feb 2017 (In Press)

Clemente, Lorenzo, Lasota, Slawomir, Lazic, Ranko and Mazowiecki, Filip (2017) Timed pushdown automata and branching vector addition systems. In: 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Reykjavik, Iceland, 20-23 Jun 2017. Published in: Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (In Press)

Coetzee, Peter (2017) Platforms for deployment of scalable on- and off-line data analytics. PhD thesis, University of Warwick.

Coetzee, Peter and Jarvis, Stephen A. (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 and Jarvis, Stephen A. (2015) Goal-based analytic composition for on- and off-line execution at scale. In: The 9th IEEE International Conference on Big Data Science and Engineering, Helsinki, Finland, 20-22 Aug 2015 (In Press)

Coetzee, Peter and Jarvis, Stephen A.. (2017) Goal-based composition of scalable hybrid analytics for heterogeneous architectures. Journal of Parallel and Distributed Computing, 108 . pp. 59-73. ISSN 0743-7315

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

Connelly, Roxanne, Playford, Chris J., Gayle, Vernon and Dibben, Chris. (2016) The role of administrative data in the big data revolution in social science research. Social Science Research, 59 . pp. 1-12. ISSN 0049-089X

Conte, Rosaria, Gilbert, G. Nigel, Bonelli, Giulia, Cioffi-Revilla, Claudio A., Deffuant, Guillaume, Kertész, János‏, Loreto, Vittorio, Moat, Helen Susannah, Nadal, Jean-Pierre, Sanchez, Angel, Nowak, Andrzej, Flache, Andreas, San Miguel, Maxi and Helbing, Dirk. (2012) Manifesto of computational social science. The European Physical Journal Special Topics, Volume 214 (Number 1). pp. 325-346. ISSN 1951-6355

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)

Cotton-Barratt, Conrad, Hopkins, David (Computer scientist), Murawski, Andrzej S. and Ong, Luke (2015) Fragments of ML decidable by nested data class memory automata. In: Pitts, Andrew, (ed.) Foundations of software science and computation structures : 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings. Lecture Notes in Computer Science (Volume 9034). Berlin ; Heidelberg: Springer, pp. 249-263. ISBN 9783662466773

Cotton-Barratt, Conrad, Murawski, Andrzej S. and Ong, Luke (2015) Weak and nested class memory automata. In: Horia Dediu, Adrian and Formenti, Enrico, 1968- and Martín Vide, Carlos and Truthe, Bianca, (eds.) Language and automata theory and applications : 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings. Lecture Notes in Computer Science (Volume 8977). Berlin ; Heidelberg: Springer International Publishing, pp. 188-199. ISBN 9783319155784

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 (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 (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 (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

Croarken, Mary (1985) The centralization of scientific computation in Britain, 1925-1955. PhD thesis, University of Warwick.

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

Csernai, M., Ciucu, Florin, Braun, R. -P. and Gulyás, A. (2015) Towards 48-fold cabling complexity reduction in large flattened butterfly networks. In: IEEE Conference on Computer Communications (INFOCOM), Kowloon, 26 Apr- 1 May 2015. Published in: 2015 IEEE Conference on Computer Communications (INFOCOM)

Curme, Chester, Zhuo, Ying Daisy, Moat, Helen Susannah and Preis, Tobias. (2017) Quantifying the diversity of news around stock market moves. The Journal of Network Theory in Finance, 3 (1). pp. 1-20. ISSN 2055-7795

Cygan, Marek, 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, Lokshtanov, Daniel, 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, Marx, Daniel, 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 and Pilipczuk, Marcin. (2013) Faster exponential-time algorithms in graphs of bounded average degree. Information and Computation . ISSN 0890-5401 (In Press)

Cygan, Marek, 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, 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, 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

Dacko, Scott. (2016) Enabling smart retail settings via mobile augmented reality shopping apps. Technological Forecasting & Social Change . ISSN 0040-1625 (In Press)

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. and Jarvis, Stephen A.. (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, Rob, Lin, Yuwei, Hewitt, T., Jie, Wei, Voss, Alex, Baird, Kenny, Turner, A., Birkin, Mark, Miller, Ken, Dutton, William H., 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)

Dean, Walter (2016) Algorithms and the mathematical foundations of computer science. In: Horsten, L. and Welch, P., (eds.) Gödel's disjunction : the scope and limits of mathematical knowledge. Oxford University Press, pp. 19-66. ISBN 9780198759591

Debattista, Kurt, Bashford-Rogers, Thomas, Selmanovic, Elmedin, Mukherjee, Ratnajit and Chalmers, Alan. (2015) Optimal exposure compression for high dynamic range content. The Visual Computer, 31 (6-8). pp. 1089-1099. ISSN 0178-2789

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

Degrossi, L. C., Albuquerque, João Porto de, dos Santos Rocha, Roberto and Zipf, A. (2017) A framework of quality assessment methods for crowdsourced geographic information : a systematic literature review. In: ISCRAM 2017, Albi, France, 21-24 May 2017. Published in: Proceedings of the 14th ISCRAM Conference

Derczynski, Leon, Bontcheva, Kalina, Lukasik, Michal, Declerck, Thierry, Scharl, Arno, Georgiev, Georgi, Osenova, Petya, Lobo, Toms Pariente, Kolliakou, Anna, Stewart, Robert, Terp, Sara-Jayne, Wong, Geraldine, Burger, Christian, Zubiaga, Arkaitz, Procter, Rob and Liakata, Maria (2014) PHEME : computing veracity : the fourth challenge of big social data. In: European Semantic Web Conference ESWC, Crete, 25-29 May 2014

Despotou, George, Jones, Richard W. and Arvanitis, Theodoros N. (2016) Using event trees to inform quantitative analysis of healthcare services. In: 14th International Conference on Informatics, Management and Technology in Healthcare, Athens, 1-3 Jul 2016. Published in: Studies in health technology and informatics, 226 pp. 119-122.

Despotou, George, Jones, Richard W., Katzis, Konstantinos, Bilici, Eda, Zhao, Lei, Lim Choi Keung, Sarah Niukyun and Arvanitis, Theodoros N. (2017) Implications and modelling of data quality on confidence of clinical decision support : a conceptual framework. In: 15th International Conference on Informatics, Management and Technology in Healthcare, Athens, Greece, 07-09 July 2017. Published in: Studies in Health Technology and Informatics, 238 (46847). pp. 140-143.

Despotou, George, Matragkas, Nicholas and Arvanitis, Theodoros N. (2016) Converting text to structured models of healthcare services. In: 14th International Conference on Informatics, Management and Technology in Healthcare, Athens, 1-3 Jul 2016. Published in: Studies in health technology and informatics, 226 pp. 123-126.

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).

Dickson, James, Maheswaran, Satheesh, Wright, Steven A., Herdman, J. A. and Jarvis, Stephen A. (2015) MINIO : an I/O benchmark for investigating high level parallel libraries. In: 27th ACM/IEEE International Conference for High Performance Computing, Networking, Storage and Analysis (SC’15), Austin, Texas, USA, 15-20 Nov 2015

Dickson, James, Wright, Steven A., Maheswaran, Satheesh, Herdman, J. A., Harris, Duncan, Miller, Mark C. and Jarvis, Stephen A. (2017) Enabling portable I/O analysis of commercially sensitive HPC applications through workload replication. In: Cray User Group 2017, Redmond, California, USA, 7-12 May 2017. Published in: Cray User Group 2017 Proceedings (CUG2017 Proceedings) pp. 1-14.

Dickson, James, Wright, Steven A., Maheswaran, Satheesh, Herdman, J. A., Miller, Mark C. and Jarvis, Stephen A. (2016) Replicating HPC I/O workloads with proxy applications. In: 1st Joint International Workshop on Parallel Data Storage & Data Intensive Scalable Computing Systems (PDSW-DISCS'16), Salt Lake City, Utah, USA, 14 Nov 2016. Published in: 2016 1st Joint International Workshop on Parallel Data Storage and data Intensive Scalable Computing Systems (PDSW-DISCS)

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

Dimovski, Aleksandar 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 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. (Robert McDougall), 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.

Dvořák, Zdeněk, Králʼ, Daniel and Mohar, Bojan (2017) Graphic TSP in cubic graphs. In: 34th International Symposium on Theoretical Aspects of Computer Science, Hannover, Germany, 8-11 Mar 2017. Published in: Leibniz International Proceedings in Informatics (LIPIcs), 66

Eckle, Melanie, Albuquerque, João Porto de, Herfort, Benjamin, Wolff, Rüdiger, Zipf, Alexander, Leiner, Richard and Jacobs, Clemens (2016) Leveraging OpenStreetMap to support flood risk management in municipalities : a prototype decision support system. In: 13th International Conference on Information Systems for Crisis Response and Management ISCRAM 2016, Rio de Janeiro, Brazil, 22-25 May 2016

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, Lazic, Ranko and Totzke, Patrick (2016) Reachability in two-dimensional unary vector addition systems with states is NL-complete. In: Thirty-First Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), New York City, USA, 5–8 Jul 2016. Published in: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

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

Ethier, Jean-Francois, Curcin, Vasa, McGilchrist, Mark, Lim Choi Keung, Sarah Niukyun, Zhao, Lei, Andreasson, Anna, Bródka, Piotr, Michalski, Radoslaw, Arvanitis, Theodoros N., Mastellos, Nikolaos, Burgun, Anita and Delaney, Brendan C.. (2017) eSource for clinical trials : implementation and evaluation of a standards-based approach in a real world trial. International Journal of Medical Informatics . ISSN 1386-5056 (In Press)

Fahmy, Suhaib A., Vipin, Kizheppatt and Shreejith, Shanker (2015) Virtualized FPGA accelerators for efficient cloud computing. In: IEEE International Conference on Cloud Computing Technology and Science (CloudCom), Vancouver, Canada, 30 Nov - 3 Dec 2015 pp. 430-435.

Fan, Xijian and Tjahjadi, Tardi. (2016) A dynamic framework based on local Zernike Moment and motion history image for facial expression recognition. Pattern Recognition . ISSN 0031-3203 (In Press)

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)

Fijalkow, Nathanael, Gimbert, Hugo, Kelmendi, Edon and Kuperberg, Denis (2017) Stamina : stabilisation nonoids in automata theory. In: 22nd International Conference Implementation and Application of Automata, 27-30 Jun 2017, Université Paris-Est Marne-la-Vallée. Published in: Lecture Notes in Computer Science (In Press)

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 (1986) Towards the application of artificial intelligence techniques for discrete event simulation. PhD thesis, University of Warwick.

Flores Armas, Denys and Jhumka, Arshad (2017) Implementing chain of custody requirements in database audit records for forensic purposes. In: The 16th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (IEEE TrustCom-17), Sydney, Australia, 1-4 Aug 2017 (In Press)

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. (2015) Robust reputation in decentralized markets. Computational Intelligence, 31 (4). pp. 569-592. ISSN 0824-7935

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.

Gao, Bo (2015) Developing energy-aware workload offloading frameworks in mobile cloud computing. PhD thesis, University of Warwick.

Gao, Bo, He, Ligang and Jarvis, Stephen A.. (2016) Offload decision models and the price of anarchy in mobile cloud application ecosystems. IEEE Access, 3 . pp. 3125-3137. ISSN 2169-3536

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, Rob 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.

Godtschalk , A. S. and Ciucu, Florin (2016) Randomized load balancing in finite regimes. In: ICDCS 2016 : IEEE International Conference on Distributed Computing Systems , Nara, Japan, 27-30 Jun 2016. Published in: Proceedings of ICDCS 2016 : IEEE International Conference on Distributed Computing Systems (In Press)

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 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)

Goller, Stefan, Haase, Christoph, Lazic, Ranko and Totzke, Patrick (2016) A polynomial-time algorithm for reachability in branching VASS in dimension one. In: 43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016), Rome, Italy, 12-15 Jul 2016. Published in: Leibniz International Proceedings in Informatics (LIPIcs) (In Press)

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 (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)

Goudie, Robert J. B. (2011) Bayesian structural inference with applications in social science. PhD thesis, University of Warwick.

Green, Maxwell, Davies, Philip and Ng, Irene C. L. (2016) Two strands of servitization : a thematic analysis of traditional and customer co-created servitization and future research directions. Working Paper. Coventry: Warwick Manufacturing Group. WMG Service Systems Research Group Working Paper Series (04/16). (Unpublished)

Greenhalgh, Trisha, Wherton, Joe, Sugarhood, Paul, Hinder, Sue, Procter, Rob and Stones, Rob. (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

Gregor, Ivan, Dröge, Johannes, Schirmer, Melanie, Quince, Christopher and McHardy, Alice C.. (2016) PhyloPythiaS+ : a self-training method for the rapid reconstruction of low-ranking taxonomic bins from metagenomes. PeerJ, 4 . e1603. ISSN 2167-8359

Gregory, Frank Hutson (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: 8th European Workshop on Multi-Agent Systems, Paris, France, 16-17 Dec 2010 (Unpublished)

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.

Gu, Chen, Bradbury, Matthew and Jhumka, Arshad (2017) Phantom walkabouts in wireless sensor networks. In: 32nd ACM SIGAPP Symposium On Applied Computing, Marrakech, Morocco, 3-7 April 2017. Published in: Proceedings of the Symposium on Applied Computing pp. 609-616.

Gu, Chen, Bradbury, Matthew, Jhumka, Arshad and Leeke, Matthew (2015) Assessing the performance of phantom routing on source location privacy in wireless sensor networks. In: 2015 IEEE 21st Pacific Rim International Symposium on Dependable Computing (PRDC), Zhangjiajie, China, 18-20 Nov 2015. Published in: 2015 IEEE 21st Pacific Rim International Symposium on Dependable Computing (PRDC) pp. 99-108.

Guan, Yu, Li, Chang-Tsun and Roli, Fabio. (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, Tistarelli, Massimo, 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), 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), 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, Weisi, Asyhari, Taufiq, Farsad, Nariman, Yilmaz, Birkan, Li, Bin, Eckford, Andrew W. and Chae, Chan-Byoung. (2015) Molecular communications : channel model and physical layer techniques. IEEE Wireless Communications . ISSN 1536-1276 (In Press)

Guo, Weisi, Li, Bin, Wang, Siyi and Liu, Wei. (2015) Molecular communications with longitudinal carrier waves : baseband to passband modulation. IEEE Communications Letters . ISSN 1089-7798 (In Press)

Guo, Weisi, Mias, Christos, Farsad, Nariman and Jiang-Lun, Wu. (2015) Molecular versus electromagnetic wave propagation loss in macro-scale environments. IEEE Transactions on Molecular, Biological and Multiscale Communications . ISSN 2332-7804 (In Press)

Guo, Weisi, Zhou, Shengtian, Chen, Yunfei, Wang, Siyi, Chu, Xiaoli and Niu, Zhisheng. (2015) Simultaneous information and energy flow for IoT Relay Systems with crowd harvesting. IEEE Communications Magazine, 54 (11). pp. 143-149. ISSN 0163-6804

Guo, Yue (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. and Yener, Bülent. (2009) Histopathological image analysis : a review. IEEE Reviews in Biomedical Engineering, Vol.2 . pp. 147-171. ISSN 1937-3333

Gurumdimma, Nentawe Y. (2016) Towards efficient error detection in large-scale HPC systems. PhD thesis, University of Warwick.

Hall, Vincent Austin (2014) Self organising map machine learning approach to pattern recognition for protein secondary structures and robotic limb control. PhD thesis, University of Warwick.

Hamilton, Ross (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. and Jarvis, Stephen A. (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. (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, Rob, Schopf, J. M., Slack, Roger, 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, Rob and Williams, Robin (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.

Hatchett, Jonathan, Debattista, Kurt, Mukherjee, Ratnajit, Bashford-Rogers, Thomas and Chalmers, Alan. (2016) An evaluation of power transfer functions for HDR video compression. The Visual Computer . ISSN 0178-2789

He, Hongmei, Watson, Tim, Maple, Carsten, Mehnen, Jorn and Ashutosh, Tiwari (2017) A new semantic attribute deep learning with a linguistic attribute hierarchy for spam detection. In: IJCNN 2017 : International Joint Conference on Neural Networks, Anchorage, Alaska, 14-19 May 2017 pp. 1-8. (Submitted)

He, Ligang, Chaudhary, Nadeem and Jarvis, Stephen A.. (2014) Developing security-aware resource management strategies for workflows. Future Generation Computer Systems, 38 (9). pp. 61-68. ISSN 0167-739X

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

He, Ligang, Jarvis, Stephen A., 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., 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., 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, Zhu, Huanzhou and Jarvis, Stephen A.. (2016) Developing graph-based co-scheduling algorithms on multicore computers. IEEE Transactions on Parallel and Distributed Systems, 27 (6). pp. 1617-1632. ISSN 1045-9219

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

He, Xi, Cormode, Graham, Machanavajjhala, Ashwin, Procopiuc, Cecilia and Srivastava, Divesh (2015) DPT : differentially private trajectory synthesis using hierarchical reference systems. In: 41st International Conference on Very Large Data Bases, Hawaii, 31 Aug - 4 Sep 2015. Published in: Proceedings of the VLDB Endowment, 8 (11). pp. 1154-1165.

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

Hendrix, Maurice, Bra, Paul M. E. de, 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

Herfort, Benjamin, Eckle, Melanie and Albuquerque, João Porto de (2016) Being specific about geographic information crowdsourcing : a typology and analysis of the Missing Maps project in South Kivu. In: 13th International Conference on Information Systems for Crisis Response and Management ISCRAM 2016, Rio de Janeiro, Brazil, 22-25 May 2016. Published in: Proceedings of the ISCRAM 2016 Conference – Rio de Janeiro, Brazil, May 2016

Hitchcock, Peter (1974) An approach to formal reasoning about programs. PhD thesis, University of Warwick.

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)

Hofman, Piotr , Lasota, Slawomir , Lazic, Ranko, Leroux, Jerome , Schmitz, Sylvain and Totzke, Patrick (2016) Coverability trees for petri nets with unordered data. In: 19th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS), Eindhoven, The Netherlands, 2-8 Apr 2016. Published in: Lecture Notes in Computer Science, 9634 pp. 445-461.

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

Hohlfeld, Oliver, Pujol, Enric, Ciucu, Florin, Feldmann, Anja and Barford, Paul (2014) A QoE perspective on sizing network buffers. In: 2014 Conference on Internet Measurement Conference, Vancouver, BC, Canada, 5-7 Nov 2014. Published in: Proceedings of the 2014 Conference on Internet Measurement Conference pp. 333-346.

Horita, Flávio E.A., Albuquerque, Joao Porto de, Marchezini, Victor and Mendiondo, Eduardo M.. (2017) Bridging the gap between decision-making and emerging big data sources : an application of a model-based framework to disaster management in Brazil. Decision Support Systems . ISSN 0167-9236 (In Press)

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. and Hines, Evor. (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

Hulusic, Vedad , Valenzise, Giuseppe, Provenzi, Edoardo , Debattista, Kurt and Dufaux, Frederic (2016) Perceived dynamic range of HDR images. In: 8th International Workshop on Quality of Multimedia Experience (QoMEX’2016), Lisbon, Portugal, 6-8 Jun 2016. Published in: Proceedings 8th International Workshop on Quality of Multimedia Experience (QoMEX’2016) (In Press)

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 (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. and Barnes, Ann. (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)

Issa, Ahmad (2015) A method for ontology and knowledgebase assisted text mining for diabetes discussion forum. PhD thesis, University of Warwick.

Jain, Abhishek Kumar, Li, Xiangwei, Singhai, Pranjul, Maskell, Douglas L. and Fahmy, Suhaib A. (2016) DeCO : A DSP block based FPGA accelerator overlay with low overhead interconnect. In: IEEE International Symposium on Field-Programmable Custom Computing Machines, Washington, DC, 1–3 May 2016. Published in: 2016 IEEE 24th Annual International Symposium on Field-Programmable Custom Computing Machines (FCCM), pp. 1-8.

Jain, Abhishek Kumar, Maskell, Douglas L. and Fahmy, Suhaib A. (2016) Are coarse-grained overlays ready for general purpose application acceleration on FPGAs? In: IEEE International Conference on Pervasive Intelligence and Computing, Auckland, New Zealand, 8–12 August 2016. Published in: Proceedings of IEEE International Conference on Pervasive Intelligence and Computing (In Press)

Jain, Abhishek Kumar, Maskell, Douglas L. and Fahmy, Suhaib A. (2016) Throughput oriented FPGA overlays using DSP blocks. In: Design Automation and Test in Europe Conference (DATE), Dresden, Germany, 14–18 Mar 2016. Published in: Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition (DATE) pp. 1628-1633. (In Press)

Jakobs, Kai, Williams, Robin and Procter, Rob (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.

Jammy, Satya P., Mudalige, Gihan R., Reguly, Istvan Z., Sandham, Neil D. and Giles, Mike. (2016) Block-structured compressible Navier–Stokes solution using the OPS high-level abstraction. International Journal of Computational Fluid Dynamics, 30 (6). pp. 450-454. ISSN 1061-8562

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. (2015) Mobile enhanced learning in a South African context. Educational Technology & Society, Volume 18 (Number 1). pp. 308-320. ISSN 1176-3647

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., 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., 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., 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., 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., 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., 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. 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., 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., 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., 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 and Bradbury, Matthew (2017) Deconstructing source location privacy-aware routing protocols. In: 32nd ACM SIGAPP Symposium On Applied Computing, Marrakech, Morocco, 3-7 April 2017. Published in: Proceedings of the Symposium on Applied Computing pp. 431-436.

Jhumka, Arshad, Bradbury, Matthew and Leeke, Matthew. (2015) Fake source-based source location privacy in wireless sensor networks. Concurrency and Computation: Practice and Experience, 27 (12). pp. 2999-3020. ISSN 1532-0626

Jhumka, Arshad, Bradbury, Matthew and Leeke, Matthew (2012) Towards understanding source location privacy in wireless sensor networks through fake sources. In: 11th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom'12), Liverpool, UK, 25-27 Jun 2012 pp. 760-768.

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

Jhumka, Arshad and Mottola, Luca. (2016) Neighborhood view consistency in wireless sensor networks. ACM Transactions on Sensor Network . ISSN 1550-4859 (In Press)

Jia, Ning, Sanchez Silva, Victor, Chang-Tsun, Li and Mansour, Hassan (2015) On reducing the effect of silhouette quality on Iindividual gait recognition : a feature fusion approach. In: 14th International Conference of the Biometrics Special Interest Group (BIOSIG) , Darmstadt, Germany, 09-11 Sep 2015. Published in: 14th International Conference of the Biometrics Special Interest Group (BIOSIG)

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

Jorgensen, Zach, Yu, Ting and Cormode, Graham (2015) Conservative or liberal? : personalized differential privacy. In: 31st IEEE International Conference on Data Engineering (2015), Seoul, South Korea, 13-17 Apr 2015

Jorgensen, Zach, Yu, Ting and Cormode, Graham (2016) Publishing attributed social graphs with formal privacy guarantees. In: ACM SIGMOD International Conference on Management of Data (SIGMOD), San Francisco, USA, 26 Jun - 1 Jul 2016. Published in: SIGMOD '16 Proceedings of the 2016 International Conference on Management of Data pp. 107-122.

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.

Jurdzinski, Marcin, Lazic, Ranko and Schmitz, Sylvain (2015) Fixed-dimensional energy games are in pseudo-polynomial time. In: 42nd International Colloquium, ICALP 2015, Kyoto, Japan, 6-10 Jul 2015. Published in: Automata, Languages, and Programming : 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II, 9135 pp. 260-272.

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)

Kaniappan Chinnathai, Malarvizhi, Günther, Till, Ahmad, Mussawar, Stocker, Cosima, Richter, Lukas, Schreiner, David, Vera, Daniel, Reinhart, Gunther and Harrison, Robert. (2017) An application of physical flexibility and software reconfigurability for the automation of battery module assembly. Procedia CIRP . ISSN 2212-8271 (In Press)

Karikari, Thomas K., Quansah, Emmanuel and Mohamed, Wael M. Y.. (2015) Widening participation would be key in enhancing bioinformatics and genomics research in Africa. Applied & translational genomics, 6 . pp. 35-41. ISSN 2212-0661

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

Katugampala, Nilantha and Wilson, Roland (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.

Kerbyson, Darren James (1992) A multiple-SIMD architecture for image and tracking analysis. PhD thesis, University of Warwick.

Kerr, Robert M. (Robert McDougall). (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

Khadidos, Alaa, Sanchez Silva, Victor and Li, Chang-Tsun (2014) Active contours based on weighted gradient vector flow and balloon forces for medical image segmentation. In: IEEE International Conference on Image Processing (ICIP 2014), Paris, France, 27-30 Oct 2014. Published in: 2014 IEEE International Conference on Image Processing (ICIP) pp. 902-906.

Khadidos, Alaa, Sanchez Silva, Victor and Li, Chang-Tsun. (2017) Weighted level set evolution based on local edge features for medical image segmentation. IEEE Transactions on Image Processing . ISSN 1057-7149 (In Press)

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

Kirton, Jack, Bradbury, Matthew and Jhumka, Arshad (2017) Source location privacy-aware data aggregation scheduling for wireless sensor networks. In: 37th IEEE International Conference on Distributed Computing Systems (ICDCS 2017), Atlanta, GA, 5–8 Jun 2017 (In Press)

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

Kolar, Martin, Chalmers, Alan and Debattista, Kurt. (2015) Repeatable texture sampling with interchangeable patches. The Visual Computer . pp. 1-10. ISSN 0178-2789 (In Press)

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.

Kusetoğulları, Hüseyin, Sharif, Md. Haidar, 1977-, Leeson, Mark S. and Çelik, Turgay. (2015) A reduced-uncertainty hybrid evolutionary algorithm for solving dynamic shortest-path routing problem. Journal of Circuits, Systems and Computers, 24 (5). 1550067. ISSN 0218-1266

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

Ladroue, Christophe and Kalvala, Sara (2015) Constraint-based genetic compilation. In: Dediu, Adrian-Horia and Hernández-Quiroz, Francisco and Marin-Vide, Carlos and Rosenblueth, David A., (eds.) Algorithms for Computational Biology : Second International Conference, AlCoB 2015, Mexico City, Mexico, August 4-5, 2015, Proceedings. Lecture Notes in Computer Science, 9199 . Springer, pp. 25-38. ISBN 9783319212326

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.

. (2017) The atomic simulation environment — a python library for working with atoms. Journal of Physics: Condensed Matter . ISSN 0953-8984

Lazic, Ranko and Murawski, Andrzej S. (2016) Contextual approximation and higher-order procedures. In: 19th International Conference, FOSSACS 2016, Eindhoven, The Netherlands, 2-8 Apr 2016. Published in: Foundations of Software Science and Computation Structures :19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceeding, 9634 pp. 162-179.

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)

Lazic, Ranko, Ouaknine, Joel and Worrell, James. (2016) Zeno, Hercules, and the Hydra : safety metric temporal logic is ACKERMANN-complete. ACM Transactions on Computational Logic, 17 (3). 16. ISSN 1557-945X

Lazic, Ranko and Schmitz, Sylvain. (2015) Nonelementary complexities for branching VASS, MELL, and extensions. ACM Transactions on Computational Logic (TOCL), Volume 16 (Number 3). Article number 20. ISSN 1529-3785

Lazic, Ranko and Totzke, Patrick (2017) What makes petri nets harder to verify : stack or data?, Concurrency, security, and puzzles : Festschrift for A.W. Roscoe on the occasion of his 60th birthday. In: Concurrency, Security, and Puzzles : Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday. Lecture Notes in Computer Science, 10160 . Springer, pp. 144-161. ISBN 9783319510453

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 (1977) Modes in Algol Y. University of Warwick. Department of Computer Science.. (Unpublished)

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

Letchford, Adrian, Preis, Tobias and Moat, Helen Susannah. (2016) Quantifying the search behaviour of different demographics using Google Correlate. PLoS One, 11 (2). pp. 1-11. e0149025. ISSN 1932-6203

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: 2014 IEEE International Workshop on Information Forensics and Security (WIFS), Atlanta, Georgia, 3-5 Dec 2014. Published in: 2014 IEEE International Workshop on Information Forensics and Security (WIFS) pp. 209-214.

Li, Ang (Researcher in engineering), 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 (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 (2016) Learning based forensic techniques for source camera identification. PhD thesis, University of Warwick.

Li, Ruizhe, Kotropoulos, C., Li, Chang-Tsun and Guan, Yu (Researcher in Computer Science) (2015) Random subspace method for aource camera identification. In: IEEE International Workshop on Machine Learning for Signal Processing (MLSP'15), Boston, USA, 17-20 Sept 2015. Published in: 2015 IEEE 25th International Workshop on Machine Learning for Signal Processing (MLSP)

Li, Ruizhe, Li, Chang-Tsun and Guan, Yu (Researcher in Computer Science) (2015) A compact representation of sensor fingerprint for camera identification and fingerprint matching. In: IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP 2015), South Brisbane, QLD, 19-24 Apr 2015. Published in: IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP 2015)

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. 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. 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. 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)

Lim Choi Keung, Sarah Niukyun, Khan, Mohammed Omar, Perkins, Gavin D., Smith, Christopher, Murphy, Paddie and Arvanitis, Theodoros N. (2016) The role of informatics in prehospital emergency resuscitation and defibrillation. In: West Midlands Health Informatics Network (WIN) Conference 2016, University of Warwick, Coventry, UK, 26 Jan 2016. Published in: 2nd WIN Conference: Conference e-Proceedings pp. 27-28.

Lim Choi Keung, Sarah Niukyun, Khan, Omar, Asadipour, Ali, Dereli, Huseyin, Zhao, Lei, Robbins, Tim and Arvanitis, Theodoros N. (2015) A query tool enabling clinicians and researchers to explore patient cohorts. In: 13th annual International Conference on Informatics, Management, and Technology in Healthcare (ICIMTH 2015), Athens, Greece, 9-11 July 2015. Published in: Studies in Health Technology and Informatics, Volume 213 pp. 57-60.

Lim Choi Keung, Sarah Niukyun, Ola, Bolanle, Davies, D. A. (David A.), Rowland, Martin and Arvanitis, Theodoros N. (2015) West Midlands health informatics network : a perspective on education and training needs. In: 13th annual International Conference on Informatics, Management, and Technology in Healthcare (ICIMTH 2015), Athens, Greece, 9-11 July 2015. Published in: Studies in Health Technology and Informatics, Volume 213 pp. 103-106.

Lin, Xufeng and Li, Chang-Tsun. (2016) Enhancing sensor pattern noise via filtering distortion removal. IEEE Signal Processing Letters . pp. 1-5. ISSN 1070-9908 (In Press)

Lin, Xufeng and Li, Chang-Tsun. (2015) Preprocessing reference sensor pattern noise via spectrum equalization. IEEE Transactions on Information Forensics and Security, 11 (1). pp. 126-140. ISSN 1556-6013

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, Hao (2015) Energy saving through voltage optimisation & non-intrusive load monitoring in domestic house. PhD thesis, University of Warwick.

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 (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 (1989) A semantic model for UNITY. University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Liu, Zhiming 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, Ravn, Anders P., Sørensen, Erling V. and Zhou, Chaochen (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 (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)

Luo, Ge, Wang, Lu, Yi, Ke and Cormode, Graham. (2016) Quantiles over data streams : experimental comparisons, new analyses, and further improvements. The VLDB Journal, 25 (4). pp. 449-472. ISSN 1066-8888

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: Warwick Manufacturing Group. WMG Service Systems Research Group Working Paper Series (Number 01/14).

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

Maad, Soha (2002) An empirical modelling approach to software system development in finance : applications and prospects. PhD thesis, University of Warwick.

Mach, Lukáš (2015) Parameterized complexity : permutation patterns, graph arrangements, and matroid parameters. PhD thesis, University of Warwick.

Mahmood, Arif, Small, Michael, Al-Maadeed, Somaya and Rajpoot, Nasir M. (Nasir Mahmood). (2017) Using geodesic space density gradients for network community detection. IEEE Transactions on Knowledge and Data Engineering, 294 (4). pp. 921-935. ISSN 1041-4347

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. (2016) Evaluating technologies and techniques for transitioning hydrodynamics applications to future generations of supercomputers. PhD thesis, University of Warwick.

Mallinson, A. C., Beckingsale, David A., Gaudin, W. P., Herdman, J. A. and Jarvis, Stephen A. (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., 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

Marchant, James, Griffiths, Nathan and Leeke, Matthew (2015) Manipulating conventions in a particle-based topology. In: Coordination, Organizations, Institutions and Norms in Agent Systems Workshop : A workshop of the 12th International Conference on Autonomous Agents and Multiagent Systems : AAMAS2015, Istanbul, Turkey, 4-5 May 2015. Published in: Proceedings of the Coordination, Organizations, Institutions and Norms in Agent Systems Workshop

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

Mason, Sam (Sam A.), Sayyid, Faiz, Kirk, Paul, Starr, Colin and Wild, David L.. (2016) MDI-GPU : accelerating integrative modelling for genomic-scale data using GP-GPU computing. Statistical Applications in Genetics and Molecular Biology, 15 (1). pp. 83-86. ISSN 1544-6115

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

Matsakis, Nicolaos (2015) Approximation algorithms for packing and buffering problems. PhD thesis, University of Warwick.

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)

Maumet, Camille, Auer, Tibor, Bowring, Alexander, Chen, Gang, Das, Samir, Flandin, Guillaume, Ghosh, Satrajit, Glatard, Tristan, Gorgolewski, Krzysztof J., Helmer, Karl G., Jenkinson, Mark, Keator, David B., Nichols, B. Nolan, Poline, Jean-Baptiste, Reynolds, Richard, Sochat, Vanessa, Turner, Jessica and Nichols, Thomas E.. (2016) Sharing brain mapping statistical results with the neuroimaging data model. Scientific Data, 3 . 160102. ISSN 2052-4463

Mawson, Kate. (2016) Harnessing technology to provide the support that trainees require to write high quality reflective statements. Science Education Teacher (75). pp. 19-28. ISSN 1756-915X

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, Roderick William (1991) Colour image quantisation and coding for optimal perception. PhD thesis, University of Warwick.

McColl, William Finlay 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.

McMorran, James Philip (1989) The development of an expert advisory system for the Acquired Immunodeficiency Syndrome (AIDS). PhD thesis, University of Warwick.

McNamee, Joshua, Hatchett, Jon, Debattista, Kurt and Chalmers, Alan (2014) Real time delivery of HDR video. In: CVMP 2014 : 11th European Conference on Visual Media Production , London, United Kingdom , 13-14 Nov 2014 . Published in: CVMP Proceedings

McNamee, Joshua, Hatchett, Jonathan, Debattista, Kurt and Chalmers, Alan (2015) Live HDR video streaming on commodity hardware. In: SPIE Optics + Photonics, San Diego, 9-13 Aug 2015. Published in: SPIE Proceedings : Applications of Digital Image Processing XXXVIII, 9599 95990U.

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)

Melnicuk, Vadim, Birrell, Stewart A., Crundall, Elizabeth and Jennings , P. A. (Paul A.) (2017) Employing consumer electronic devices in physiological and emotional evaluation of common driving activities. In: IEEE Intelligent Vehicles Symposium, Los Angeles, California, USA, 11-14 Jun 2017. Published in: 2017 IEEE Intelligent Vehicles Symposium (IV) pp. 1529-1534.

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, Adam Morrison (2015) Simulating collective motion from particles to birds. PhD thesis, University of Warwick.

Miller, Jimmie Andrew (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)

Mirylenka, Katsiaryna, Cormode, Graham, Palpanas, Themis and Srivastava, Divesh. (2015) Conditional heavy hitters : detecting interesting correlations in data streams. The VLDB Journal, 24 (3). pp. 395-414. ISSN 1066-8888

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

Moat, Helen Susannah, Olivola, Christopher Y., Chater, Nick and Preis, Tobias. (2016) Searching choices : quantifying decision-making processes using search engine data. Topics in Cognitive Science, 8 . pp. 685-696. ISSN 1756-8757

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)

Moreno, Andrés, Sutinen, Erkki and Joy, Mike (2014) Defining and evaluating conflictive animations for programming education : the case of Jeliot ConAn. In: SIGCSE 2014, Atlanta, GA, 5-8 Mar 2014 . Published in: Proceedings of the 45th ACM technical symposium on Computer science education pp. 629-634.

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, Dimotikalis, Panagiotis and Li, Chang-Tsun (2013) Applying a digital forensic readiness framework : three case studies. In: IEEE International Conference on Technologies for Homeland Security (HST), Waltham, MA, 12-14 Nov 2013. Published in: 2013 IEEE International Conference on Technologies for Homeland Security (HST) pp. 217-223.

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.

Mullett, Timothy L. and Stewart, Neil. (2016) Implications of visual attention phenomena for models of preferential choice. Decision, 3 (4). pp. 231-253. ISSN 2325-9965

Mundhenk, Philipp, Mrowca, Artur, Steinhorst, Sebastian, Lukasiewycz, Martin, Fahmy, Suhaib A. and Chakraborty, Samarjit. (2016) Open source model and simulator for real-time performance analysis of automotive network security. ACM Sigbed Review, 13 (3). pp. 8-13. ISSN 1551-3688

Mundhenk, Philipp, Paverd, Andrew, Mrowca, Artur, Steinhorst, Sebastian, Lukasiewycz, Martin, Fahmy, Suhaib A. and Chakraborty, Samarjit. (2017) Security in automotive networks : lightweight authentication and authorization. ACM Transactions on Design Automation of Electronic Systems, 22 (2). 25. ISSN 1084-4309

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 (2015) Bisimilarity in fresh-register automata. In: 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Kyoto, 6-10 Jul 2015. Published in: 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science LICS 2015 pp. 156-167.

Murawski, Andrzej S., Ramsay, Steven J. and Tzevelekos, Nikos (2015) Game semantic analysis of equivalence in IMJ. In: 13th International Symposium, ATVA 2015,, Shanghai, China, 12-15 Oct 2015. Published in: Automated Technology for Verification and Analysis, 9364 pp. 411-428.

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., Ramsay, Steven J. and Tzevelekos, Nikos (2015) A contextual equivalence checker for IMJ*. In: 13th International Symposium, ATVA 2015, Shanghai, China, 12-15 Oct 2015. Published in: Automated Technology for Verification and Analysis : Automated Technology for Verification and Analysis, 9364 pp. 234-240.

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: Warwick Manufacturing Group. WMG Service Systems Research Group Working Paper Series (Number 11/12).

Novak, Ladislav and Gibbons, Alan (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 and Gibbons, Alan (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'Neill, Simon John (1998) A fundamental study into the theory and application of the partial metric spaces. PhD thesis, University of Warwick.

O'Toole, R. B. (Robert Bernard) (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, R. B. (Robert Bernard) (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, 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.

Onah, Daniel F. O. and Sinclair, Jane (2015) Learning as a perspective of reflective practice in computer science. In: 22nd Annual Conference of the Association for Learning Technology (ALT2015), Manchester, United Kingdom, 8–10 Sep 2015

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.

Oyelere, Solomon S., Suhonen, Jarkko, Shonola, Shaibu A. and Joy, Mike (2016) Discovering students mobile learning experiences in higher education in Nigeria. In: Frontiers in Education 2016 Conference, Erie, PA, 12-15 Oct 2016. Published in: Proceedings of the Frontiers in Education 2016 Conference (FIE 2016)

Palit, Arnab (2015) Computational modelling of diastole for human ventricle. 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)

Papadopoulos, Stavros, Cormode, Graham, Deligiannakis, Antonis and Garofalakis, Minos. (2014) Lightweight query authentication on streams. ACM Transactions on Database Systems, Volume 39 (Number 4). Article number 30. ISSN 0362-5915

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. (2009) Model checking quantum protocols. PhD thesis, University of Warwick.

Papanikolaou, Nikolaos K. (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. (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 (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 (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 (1990) Shallow multiplication circuits. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Paterson, Michael S. and Zwick, Uri (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. (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. (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. (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, Steven A. and Jarvis, Stephen A.. (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, Steven A., Herdman, J. A., Miller, I. and Jarvis, Stephen A.. (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. (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. (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. (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.

Perera, Charith, Wakenshaw, Susan Y. L., Baarslag, Tim, Haddadi, Hamed, Bandara, Arosha, Mortier, Richard, Crabtree, Andy, Ng, Irene C. L., McAuley, Derek and Crowcroft, Jon. (2017) Valorising the IoT databox : creating value for everyone. Transactions on Emerging Telecommunications Technologies, 28 (1). e3125. ISSN 2161-3915

Perez Garcia-Plaza, Alberto, Fresno, Víctor, Martínez, Raquel and Zubiaga, Arkaitz. (2016) Using fuzzy logic to leverage HTML markup for web page representation. IEEE Transactions on Fuzzy Systems . pp. 1-17. ISSN 1063-6706 (In Press)

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., Herdman, J. A., Vadgama, A., Bhalerao, Abhir, He, Ligang and Jarvis, Stephen A.. (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. (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.. (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. (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. (2011) Economic evaluation using decision analytical modelling : design, conduct, analysis, and reporting. BMJ, Vol.342 . d1766. ISSN 0959-8138

Petrou, Stavros, Rivero-Arias, Oliver, Dakin, Helen, Longworth, Louise, Oppe, Mark, Froud, Robert J. and Gray, Alastair. (2015) Preferred reporting items for studies mapping onto preference-based outcome measures : the MAPS statement. Quality of Life Research, 25 (2). pp. 275-281. ISSN 0962-9343

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)

Pham, Thinh H., Fahmy, Suhaib A. and McLoughlin, Ian V.. (2016) Efficient integer frequency offset estimation architecture for enhanced OFDM synchronization. IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 24 (4). pp. 1412-1420. ISSN 1063-8210

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.

Player, Caroline E. and Griffiths, Nathan (2017) Bootstrapping trust and stereotypes with tags. In: 19th International Workshop on Trust in Agent Societies (Trust@AAMAS 2017), Sao Paulo, Brazil, 8 May 2017. Published in: Proceedings of the 19th International Workshop on Trust in Agent Societies (Trust@AAMAS 2017) (In Press)

Poloczek, Felix and Ciucu, Florin (2015) Service martingales : theory and applications to the delay analysis of random access protocols. In: IEEE Infocom 2015, Kowloon, 26 Apr-1 May 2015. Published in: 2015 IEEE Conference on Computer Communications (INFOCOM) pp. 945-953.

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. (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 (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, Rob, Turner, M., Hanley, Terry, Slack, Roger, Hall, Andy, Jones, Michael, 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, Rob, 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, Hernandez-Cabronero, Miguel and Sanchez Silva, Victor (2017) Cross-color channel perceptually adaptive quantization for HEVC. In: IEEE Data Compression Conference, Utah, United States, 04- 07 Apr 2017. Published in: 2017 Data Compression Conference (DCC)

Prangnell, Lee and Sanchez Silva, Victor (2016) Color-based coding unit level adaptive quantization for HEVC. Working Paper. Coventry: University of Warwick. Mathematics Institute. (Unpublished)

Prangnell, Lee and Sanchez Silva, Victor (2016) Minimizing compression artifacts for high resolutions with adaptive quantization matrices for HEVC. Working Paper. [Coventry]: [University of Warwick. Mathematics Institute]. (Unpublished)

Prangnell, Lee, Sanchez Silva, Victor and Vanam, Rahul (2015) Adaptive quantization by soft thresholding in HEVC. In: IEEE Picture Coding Symposium, Queensland, Australia, 31 May – 03 Jun 2015. Published in: IEEE Picture Coding Symposium (PCS) pp. 35-39.

Preis, Tobias 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

Procter, Rob, Voss, Alex and Lvov, Ilia. (2015) Audience research and social media data : opportunities and challenges. Participations : journal of audience and reception studies, 12 (1). pp. 470-493. ISSN 1749-8716

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)

Qadan Al Fayez, Reem Ali (2016) Taming web data : exploiting linked data for integrating medical educational content. PhD thesis, University of Warwick.

Qaffas, Alaa A., Cristea, Alexandra I. and Shi, Lei (Researcher in Computer Science) (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.

Qahmash, Ayman, Joy, Mike and Boddison, Adam (2015) To what extent mathematics correlates with programming : statistical analysis. In: 6th Annual International Conference on Computer Science Education: Innovation and Technology (CSEIT 2015), Singapore, 5-6 Oct 2015

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., Meyer, F. G., Wilson, Roland 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., Wilson, Roland, Meyer, François G. and Coifman, Ronald R. (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., Wilson, Roland and Yao, Zhen (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)

Rajpoot, Nasir M. (Nasir Mahmood) (2001) Adaptive wavelet image compression. PhD thesis, University of Warwick.

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

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)

Rawlinson, T., Bhalerao, Abhir and Wang, L. (2010) Principles and methods for face recognition and face modelling. In: Li, Chang-Tsun, (ed.) Handbook of research on computational forensics, digital crime and investigation : methods and solutions. IGI Global, pp. 53-78. ISBN 9781605668369

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

Raza, Shan-e-Ahmed, Langenkämper, Daniel, Sirinukunwattana, Korsuk, Epstein, D. B. A., Nattkemper, Tim W. and Rajpoot, Nasir M. (Nasir Mahmood). (2016) Robust normalization protocols for multiplexed fluorescence bioimage analysis. BioData Mining, 9 (11). pp. 1-13. ISSN 1756-0381

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

Reguly, Istvan Z., Mudalige, Gihan R., Bertolli, Carlo, Giles, Michael B., Betts, Adam, Kelly, Paul H. J. and Radford, David. (2016) Acceleration of a full-scale industrial CFD application with OP2. IEEE Transactions on Parallel and Distributed Systems, 27 (5). pp. 1265-1278. ISSN 1045-9219

Reimers, Stian and Stewart, Neil. (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. (2016) Auditory presentation and synchronization in Adobe Flash and HTML5/JavaScript web experiments. Behaviour Research Methods . ISSN 1554-351X (In Press)

Reimers, Stian and Stewart, Neil. (2015) Presentation and response timing accuracy in Adobe Flash and HTML5/JavaScript web experiments. Behavior Research Methods, 47 (2). pp. 309-327. ISSN 1554-351X

Reimers, Stian and Stewart, Neil. (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 (2004) Multiresolution volumetric texture segmentation. PhD thesis, University of Warwick.

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)

Rizk, Amr, Poloczek, Felix and Ciucu, Florin. (2015) Computable bounds in fork-join queueing systems. ACM SIGMETRICS Performance Evaluation Review, Volume 43 (Number 1). pp. 335-346. ISSN 0163-5999

Rizk, Amr , Poloczek, Felix and Ciucu, Florin. (2016) Stochastic bounds in fork-join queueing systems under full and partial mapping. Queueing Systems, 83 (3). pp. 261-291. ISSN 0257-0130

Roberts, Stephen I., Wright, Steven A., Fahmy, Suhaib A. and Jarvis, Stephen A. (2017) Metrics for energy-aware software optimisation. In: Kunkel, J. and Yokota , R. and Balaji , P. and Keyes , D., (eds.) High Performance Computing 32nd International Conference, ISC High Performance 2017, Frankfurt, Germany, June 18–22, 2017, Proceedings. Lecture Notes in Computer Science, 10266 . Springer, pp. 413-430. ISBN 9783319586663

Robinson, Leigh and Rolls, Edmund T.. (2015) Invariant visual object recognition : biologically plausible approaches. Biological Cybernetics, 109 (4-5). pp. 505-535. 658. ISSN 0340-1200

Robinson, Stewart 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

Rodrigues, M., McGordon, Andrew, Gest, G. and Marco, James (2017) Developing and testing of control software framework for autonomous ground vehicle. In: IEEE International Conference on Autonomous Robot Systems and Competitions (ICARSC), Coimbra, Portugal, 26-28 May 2017 (In Press)

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.

Rognes, Torbjørn, Flouri, Tomáš, Nichols, Ben, Quince, Christopher and Mahé, Frédéric. (2016) VSEARCH : a versatile open source tool for metagenomics. PeerJ, 4 . e2584. ISSN 2167-8359

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

Ronak, Bajaj and Fahmy, Suhaib A. (2016) Initiation interval aware resource sharing for FPGA DSP blocks. In: IEEE International Symposium on Field-Programmable Custom Computing Machines, Washington, DC, 1–3 May 2016. Published in: 2016 IEEE 24th Annual International Symposium on Field-Programmable Custom Computing Machines (FCCM), p. 135.

Ronak, Bajaj and Fahmy, Suhaib A.. (2016) Mapping for maximum performance on FPGA DSP blocks. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 35 (4). pp. 573-585. ISSN 0278-0070

Ronak, Bajaj and Fahmy, Suhaib A. (2015) Minimising DSP block usage through multi-pumping. In: International Conference on Field Programmable Technology (FPT), Queenstown, New Zealand, 7-9 Dec 2015

Ronak, Bajaj and Fahmy, Suhaib A. (2016) Minimizing DSP block usage through multi-pumping. In: International Conference on Field-Programmable Logic and Applications, Lausanne, Switzerland, 29 Aug-2 Sep 2016. Published in: Proceedings of the International Conference on Field-Programmable Logic and Applications (In Press)

Ronak, Bajaj and Fahmy, Suhaib A.. (2016) Multipumping flexible DSP blocks for resource reduction on Xilinx FPGAs. IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems . ISSN 0278-0070 (In Press)

Rossello, M. R., Griffiths, Nathan, Kalvala, Sara, Wellington, E. M. H. 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)

Safa, Nader Sohrabi and Maple, Carsten. (2016) Human errors in the information security realm – and how to fix them. Computer Fraud & Security, 2016 (9). pp. 17-20. ISSN 1361-3723

Saginbekov, Sain (2014) Efficient and reliable data dissemination and convergecast in Wireless Sensor Networks. PhD thesis, University of Warwick.

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. (2017) Many-to-many data aggregation scheduling in wireless sensor networks with two sinks. Computer Networks, 123 . pp. 184-199. ISSN 1389-1286

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

Sajjacholapunt, Petch and Joy, Mike (2016) SRECMATs - an intelligent tutoring system to deliver online materials for student revision. In: CSEDU 2016, 8th International Conference on Computer Supported Education , Rome, Italy, 21-23 Apr 2016 pp. 67-74.

Sample, Char, Hutchinson, Steve, Cowley, Jennifer, Watson, Tim, Hallaq, Bilal and Maple, Carsten (2017) Data fidelity : security’s soft underbelly. In: IEEE 11th International conference on Recent Challenges in Information Systems, Brighton, UK, 10-12 May 2017. Published in: Proceedings of 11th IEEE RCIS conference (In Press)

Sanassy, Daven, Fellermann, Harold, Krasnogor, Natalio, Konur, Savas, Mierla, Laurentiu M., Gheorghe, Marian, Ladroue, Christophe and Kalvala, Sara (2014) Modelling and stochastic simulation of synthetic biological Boolean gates. In: 2014 IEEE International Conference on High Performance Computing and Communications, 2014 IEEE 6th Intl Symp on Cyberspace Safety and Security, 2014 IEEE 11th Intl Conf on Embedded Software and Syst (HPCC,CSS,ICESS), Paris, 20-22 Aug 2014. Published in: High Performance Computing and Communications, 2014 IEEE 6th Intl Symp on Cyberspace Safety and Security, 2014 IEEE 11th Intl Conf on Embedded Software and Syst (HPCC,CSS,ICESS) pp. 404-408.

Sanborn, Adam N. and Silva, Ricardo. (2013) Constraining bridges between levels of analysis : a computational justification for locally Bayesian learning. Journal of Mathematical Psychology, Volume 57 (Number 3-4). pp. 94-106. ISSN 0022-2496

Satilmis, Pinar, Bashford-Rogers, Thomas, Chalmers, Alan and Debattista, Kurt. (2016) A machine learning driven sky model. IEEE Computer Graphics and Applications . pp. 1-9. ISSN 0272-1716 (In Press)

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.

Seresinhe, Chanuki Illushka, Moat, Helen Susannah and Preis, Tobias. (2017) Quantifying scenic areas using crowdsourced data. Environment and Planning B : Urban Analytics and City Science . 026581351668730. ISSN 2399-8083 (In Press)

Seresinhe, Chanuki Illushka, Preis, Tobias and Moat, Helen Susannah. (2017) Using deep learning to quantify the beauty of outdoor places. Royal Society Open Science, 4 (7). 170170. ISSN 2054-5703

Shaikh, Maha and Henfridsson, Ola. (2017) Governing open source software through coordination processes. Information and Organization, 27 (2). pp. 116-135. ISSN 1471-7727

Shaikh, Maha and Vaast, Emmanuelle. (2016) Folding and unfolding : balancing openness and transparency in open source communities. Information Systems Research, 27 (4). pp. 813-833. ISSN 1047-7047

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 , MacKrill, James B., Dawson, Carolyn, Dimitrokali, Elisavet and Cain, Rebecca (2015) Digital crowdsourcing in healthcare environment co-design. In: 24th International Conference on Information Systems Development, Harbin, China, 25-27 Aug 2015

Shi, Lei (Researcher in Computer Science) (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 (Researcher in Computer Science) (2014) Scaffolding for social personalised adaptive e-learning. PhD thesis, University of Warwick.

Shi, Lei (Researcher in Computer Science), 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 (Researcher in Computer Science), 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 (Researcher in Computer Science), 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 (Researcher in Computer Science), 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 (Researcher in Computer Science), 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 (Researcher in Computer Science), 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 (Researcher in Computer Science), 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 (Researcher in Computer Science), 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 (Researcher in Computer Science) 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 (Researcher in Computer Science) 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 (Researcher in Computer Science) and Cristea, Alexandra I.. (2016) Simplifying is not always best : learners thrive when using multifaceted open social learner models. IEEE MultiMedia , 23 (1). pp. 36-47. ISSN 1070-986X

Shi, Lei (Researcher in Computer Science), Cristea, Alexandra I., Awan, M. S. K. (Malik Shahzad K.), Hendrix, Maurice 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. Published in: Proceedings of the 19th Americas Conference on Information Systems (AMCIS 2013)

Shi, Lei (Researcher in Computer Science), 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 (Researcher in Computer Science), 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 (Researcher in Computer Science), 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 (Researcher in Computer Science), Dawson, Carolyn, MacKrill, James B., Dimitrokali, Elisavet and Cain, Rebecca (2015) Digital co-design : a future method? In: The British Human Computer Interaction Conference, Lincoln, 13-17 Jul 2015 (In Press)

Shi, Lei (Researcher in Computer Science), 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 (Researcher in Computer Science), MacKrill, James B., Dimitrokali, Elisavet, Dawson, Carolyn and Cain, Rebecca (2015) Digital co-design applied to healthcare environments : a comparative study. In: The 15th IFIP TC.13 International Conference on Human-Computer Interaction - INTERACT 2015, Bamberg, Germany, 14-18 Sep 2015. Published in: Human-Computer Interaction – INTERACT 2015 : 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part IV, 9299 pp. 518-522.

Shi, Lei (Researcher in Computer Science), 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

Shonola, Shaibu A. and Joy, Mike. (2015) Security of m-learning system : a collective responsibility. International Journal of Interactive Mobile Technologies (iJIM), 9 (3). pp. 64-70. ISSN 1865-7923

Shonola, Shaibu Adekunle and Joy, Mike. (2016) Enhancing mobile learning security. International Journal on Integrating Technology in Education, 5 (3). pp. 1-15. ISSN 2320-3935

Shreejith, Shanker, Anshuman, Bezborah and Fahmy, Suhaib A. (2016) Accelerated artificial neural networks on FPGA for fault detection in automotive systems. In: Design Automation and Test in Europe Conference (DATE), Dresden, Germany, 14–18 Mar 2016. Published in: Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition (DATE) pp. 37-42. (In Press)

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 (1993) Note recognition in polyphonic music using neural networks. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Sinclair, Jane, Boyatt, Russell, Rocks, Claire and Joy, Mike. (2015) Massive open online courses : a review of usage and evaluation. International journal of learning technology, 10 (1). pp. 1-23. ISSN 1477-8386

Sinclair, Jane and Kalvala, Sara (2015) Exploring societal factors affecting the experience and engagement of first year female computer science undergraduates. In: Koli Calling : International Conference on Computing Education Research, Koli, Finland, 19-22 Nov 2015. Published in: Koli Calling '15 Proceedings of the 15th Koli Calling Conference on Computing Education Research pp. 107-116.

Sinclair, Lucas, Ijaz, Umer Z., Jensen, Lars Juhl, Coolen, Marco J.L., Gubry-Rangin, Cecile, Chroňáková, Alica, Oulas, Anastasis, Pavloudi, Christina, Schnetzer, Julia, Weimann, Aaron, Ijaz, Ali, Eiler, Alexander, Quince, Christopher and Pafilis, Evangelos. (2016) Seqenv : linking sequences to environments through text mining. PeerJ, 4 . e2690. ISSN 2167-8359

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

Smith, J. A., Hammond, Simon D., Mudalige, Gihan R., Davis, J. A., Mills, A. B. and Jarvis, Stephen A. (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, Tzu-Hsi, Sanchez Silva, Victor, Eldaly, Hesham and Rajpoot, Nasir M. (Nasir Mahmood). (2017) Dual-channel active contour model for megakaryocytic cell segmentation in bone marrow trephine histology images. IEEE Transactions on Biomedical Engineering . ISSN 0018-9294 (In Press)

Song, Yu (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. 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, Rob (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 (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 (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. (2006) Millisecond accuracy video display using OpenGL under Linux. Behavior Research Methods, Vol.38 (No.1). pp. 142-145. ISSN 1554-351X

Stewart, Neil. (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

Stewart, Neil, Ungemach, Christoph, Harris, Adam J. L. , Bartels, Daniel M., Newell, Benjamin R., Paolacci, Gabriele and Chandler, Jesse. (2015) The average laboratory samples a population of 7,300 Amazon Mechanical Turk workers. Judgment and Decision Making, 10 (5). pp. 479-491. ISSN 1930-2975

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 (1999) Distributed empirical modelling and its application to software system development. 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.. (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. 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.. (2016) Heuristic solutions to the target identifiability problem in directional sensor networks. Journal of Network and Computer Application, 65 . pp. 84-102. ISSN 1084-8045

Tan, Wilson M. and Jarvis, Stephen A.. (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

Tang, Jin, Luo, Jian, Tjahjadi, Tardi and Guo, Fan. (2016) Robust arbitrary-view gait recognition based on 3D partial similarity matching. IEEE Transactions on Image Processing . ISSN 1057-7149 (In Press)

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

Taramonli, Chryssanthi (2014) Energy conscious adaptive security. PhD thesis, University of Warwick.

Taylor, Phillip (2015) Data mining of vehicle telemetry data. PhD thesis, University of Warwick.

Taylor, Phillip, Griffiths, Nathan, Barakat, Lina and Miles, Simon (2017) Stereotype reputation with limited observability. In: 19th International Workshop on Trust in Agent Societies, Sao Paulo, Brazil, 8 May 2017. Published in: Proceedings of the 19th International Workshop on Trust in Agent Societies (Trust@AAMAS 2017) (In Press)

Taylor, Phillip, Griffiths, Nathan and Bhalerao, Abhir (2015) Redundant feature selection using permutation methods. In: AutoML workshop @ ICML'15, Lille, France, 11 Jul 2015

Taylor, Phillip, Griffiths, Nathan, Bhalerao, Abhir, Sarabjot, Anand, Popham, Thomas, Zhou, Xu and Gelencser, Adam. (2016) Data mining for vehicle telemetry. Applied Artificial Intelligence, 30 (3). pp. 233-256. ISSN 0883-9514

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

Thomas, J. 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. (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, Griffiths, Nathan and Sanchez Silva, Victor. (2016) Identifying locations from geospatial trajectories. Journal of Computer and System Sciences, 82 (4). pp. 566-581. ISSN 0022-0000

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

Toor, Saba K. (2015) A pedagogical framework for enhancing skills of references and citations. PhD thesis, University of Warwick.

Townsend, Richard, Tsakalidis, Adam, Zhou, Yiwei, Wang, Bo, Liakata, M., Zubiaga, Arkaitz, Cristea, Alexandra I. and Procter, Rob (2015) WarwickDCS : from phrase-based to target-specific sentiment recognition. In: 9th International Workshop on Semantic Evaluation (SemEval 2015), Denver, Colorado, 4-5 Jun 2015. Published in: Proceedings of the 9th International Workshop on Semantic Evaluation (SemEval 2015) pp. 657-663.

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

Turner, James D., Bacigalupo, David A., Jarvis, Stephen A. 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

Uprichard, Emma (2015) Most big data is social data : the analytics need serious interrogation. [Online]. (http://blogs.lse.ac.uk/impactofsocialsciences/2015...). UK: London School of Economics.

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)

Vesper, Malte, Koch, Dirk, Vipin, Kizheppatt and Fahmy, Suhaib A. (2016) JetStream : an open-source high-performance PCI express 3 streaming library for FPGA-to-host and FPGA-to-FPGA communication. In: International Conference on Field-Programmable Logic and Applications, Lausanne, Switzerland, 29 Aug - 2 Sep 2016. Published in: Proceedings of the International Conference on Field-Programmable Logic and Applications

Vipin, Kizheppatt and Fahmy, Suhaib A.. (2014) ZyCAP : efficient partial reconfiguration management on the Xilinx Zynq. IEEE Embedded Systems Letters, 6 (3). pp. 41-44. ISSN 1943-0663

Virtanen, Seppo, Rost, Mattias, Morrison, Alistair, Chalmers , Matthew and Girolami, Mark. (2016) Uncovering smartphone usage patterns with multi-view mixed membership models. Stat, 5 (1). pp. 57-69. ISSN 2049-1573

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, Rob, Slack, Roger, Hartswood, Mark, Williams, Robin 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.

Wade, Sara (2015) Manual for mcclust.ext R package. [Online]. . [Coventry]: . (Unpublished)

Wade, Sara (2015) mcclust.ext R package. [Online]. . [Coventry]: . (Unpublished)

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 (1992) Objects in the Pi-calculus. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Wang, Bo, Liakata, Maria, Zubiaga, Arkaitz and Procter, Rob (2016) TDParse - multi-target-specific sentiment recognition on Twitter. In: The 15th Conference of the European Chapter of the Association for Computational Linguistics, Valencia, Spain, 3-7 April 2017

Wang, Bo, Zubiaga, Arkaitz, Liakata, Maria and Procter, Rob (2015) Making the most of tweet-inherent features for social spam detection on Twitter. In: 5th Workshop on Making Sense of Microposts, Florence, Italy, 18 May 2015. Published in: Proceedings of the the 5th Workshop on Making Sense of Microposts, 1395 pp. 10-16.

Wang, Kai, Lin, Minghong, Ciucu, Florin, Wierman, Adam and Lin, Chuang. (2015) Characterizing the impact of the workload on the value of dynamic resizing in data centers. Performance Evaluation, Volume 85-86 . pp. 1-18. ISSN 0166-5316

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)

Wang, Siyi, Guo, Weisi, Zhou, Zhenyu, Wu, Yue and Chu, Xiaoli. (2015) Outage probability for multi-hop D2D communications with shortest Path routing. IEEE Communications Letters, 19 (11). 1997 -2000. ISSN 1089-7798

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 (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.. (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

Welch, Peter Hugh (1974) The minimal continuous semantics of the lambda-calculus. PhD thesis, University of Warwick.

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

Wherton, Joseph, Sugarhood, Paul, Procter, Rob, Rouncefield, Mark, Dewsbury, Guy, Hinder, Sue and Greenhalgh, Trisha. (2012) Designing assisted living technologies 'in the wild' : preliminary experiences with cultural probe methodology. BMC Medical Research Methodology, Vol.12 (No.1). Article no. 188. ISSN 1471-2288

Wilson, Roland 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 and Knutsson, Hans (1994) Seeing things. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Wilson, Roland and Rajpoot, Nasir M. (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, Steven A. (2014) Monitoring, analysis and optimisation of I/O in parallel applications. PhD thesis, University of Warwick.

Wright, Steven A., Hammond, Simon D., Pennycook, Simon J., Bird, Robert F., Herdman, J. A., Miller, I., Vadgama, A., Bhalerao, Abhir and Jarvis, Stephen A.. (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. and Jarvis, Stephen A. (2015) Quantifying the effects of contention on parallel file systems. In: 16th IEEE International Workshop on Parallel and Distributed Scientific and Engineering Computing, Hyderabad, India, 25-29 May 2015. Published in: 2015 IEEE 29th International Parallel and Distributed Processing Symposium Workshops & PhD Forum (IPDPSW) pp. 932-940.

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

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

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

Yaghi, Ali A. G. (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. (1984) An intensional implementation technique for functional languages. PhD thesis, University of Warwick.

Yang, Bowei, Guo, Weisi, Chen, Bozhong, Yang, Guangpu and Zhang, Jie. (2016) Estimating mobile traffic demand using Twitter. IEEE Wireless Communications Letters . pp. 1-4. ISSN 2162-2337 (In Press)

Yang, Horng-Chang (1994) Multiresolution neural networks for image edge detection and restoration. 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, Yi (2014) Hand gesture recognition in uncontrolled environments. PhD thesis, University of Warwick.

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

Yao, Zhen and Rajpoot, Nasir M. (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 (2007) Improved algorithms for hybrid video coding. PhD thesis, University of Warwick.

Yuan, Ke, Girolami, Mark 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, Srivastava, Divesh and Xiao, Xiaokui (2015) Private release of graph statistics using ladder functions. In: ACM SIGMOD 2015, Melbourne, Australia, 1-4 Jun 2015. Published in: SIGMOD '15 Proceedings of the 2015 ACM SIGMOD International Conference on Management of Data pp. 731-745.

Zhang, Jun, Cormode, Graham, Procopiuc, Cecilia, 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.

Zhang, Qiang and Bhalerao, Abhir (2016) Loglet SIFT for part description in deformable part models : application to face alignment. In: British Machine Vision Conference (BMVC 2016), York, UK, 19-22 Sep 2016. Published in: Proceedings of BMVC 2016 (In Press)

Zhang, Qiang, Bhalerao, Abhir, Helm, Emma and Hutchinson, Charles (2015) Active shape model unleashed with multi-scale local appearance. In: IEEE International Conference on Image Processing (ICIP), Quebec City, Canada, 27-30 Sep 2015. Published in: Proceedings of IEEE International Conference on Image Processing (ICIP) pp. 4664-4668.

Zhang, Qiang, Bhalerao, Abhir and Hutchinson, Charles (2017) Weakly-supervised evidence pinpointing and description. In: Niethammer, M., (ed.) Information Processing in Medical Imaging. IPMI 2017. Lecture Notes in Computer Science, 10265 . Cham: Springer, pp. 210-222. ISBN 9783319590493

Zhang, Qiang, Bhalerao, Abhir, Parsons, Caron, Helm, Emma and Hutchinson, Charles. (2016) Wavelet appearance pyramids for landmark detection and pathology classification : application to lumbar spinal stenosis. Medical Image Computing and Computer-Assisted Intervention – MICCAI 2016 : 19th International Conference, Athens, Greece, October 17-21, 2016, Proceedings, Part II . pp. 274-282. ISSN 0302-9743

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)

Zhou, Yiwei, Demidova, Elena and Cristea, Alexandra I. (2016) Analysing entity context in multilingual Wikipedia to support entity-centric retrieval applications. In: Semantic Keyword-based Search on Structured Data Sources : First COST Action IC1302 International KEYSTONE Conference, IKC 2015, Coimbra, Portugal, September 8-9, 2015. Revised Selected Papers. Lecture Notes in Computer Science, 9398 . Springer International Publishing, pp. 197-208. ISBN 9783319279312

Zhou, Yiwei, Demidova, Elena and Cristea, Alexandra I. (2016) Who likes me more? Analysing entity-centric language-specific bias in multilingual Wikipedia. In: SAC 2016, Pisa, Italy, 4-8 Apr 2016. Published in: Proceedings of the 2016 ACM Symposium on Applied Computing : Artificial Intelligence and Agents, Distributed Systems, and Information Systems , 1 pp. 750-757.

Zhou, Yiwei, Kanhabua, N. and Cristea, Alexandra I. (2016) Real-time timeline summarisation for high-impact events in Twitter. In: ECAI 2016, The Hague, The Netherlands, 29 Aug - 2 Sep 2016. Published in: Proceedings of the 22nd European Conference on Artificial Intelligence, 285 pp. 1158-1166.

Zhu, Yimie and Procter, Rob. (2015) Use of blogs, Twitter and Facebook by UK PhD Students for Scholarly Communication. Observatorio, 9 (2). pp. 29-46. ISSN 1646-5954

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

Zubiaga, Arkaitz, Vicente, Iñaki San, Gamallo, Pablo, Pichel, José Ramom, Alegria, Iñaki, Aranberri, Nora, Ezeiza, Aitzol and Fresno, Víctor. (2016) TweetLID : a benchmark for tweet language identification. Language Resources and Evaluation, 50 (4). pp. 729-766. ISSN 1574-020X

Łącki, Jakub, Oćwieja, Jakub, Pilipczuk, Marcin, Sankowski, Piotr and Zych, Anna (2015) The power of dynamic distance oracles : efficient dynamic algorithms for the Steiner tree. In: STOC '15 Forty-Seventh Annual ACM on Symposium on Theory of Computing, Portland, OR, 14-17 Jun 2015. Published in: STOC '15 Proceedings of the Forty-Seventh Annual ACM on Symposium on Theory of Computing pp. 11-20.