Browse by Theses by Department

A

Alharthi, Khalid Ayed (2023) The terminator : an AI-based framework to handle dependability threats in large-scale distributed systems. PhD thesis, University of Warwick.

Alotaibi, Naif (2022) English-Arabic cross-language plagiarism detection. PhD thesis, University of Warwick.

Algamdi, Abdullah M. (2022) Action recognition and tracking using capsule networks. PhD thesis, University of Warwick.

Alhajaili, Sara (2022) Towards reliable logging in the internet of things networks. PhD thesis, University of Warwick.

Awan, Ruqayya (2022) Deep learning based frameworks for patient selection. PhD thesis, University of Warwick.

Alturki, Aseel Fahad (2022) Resilience, robustness and community structure of complex networks : applied to a real-world transport network. PhD thesis, University of Warwick.

Aldawood, Mansour (2021) Secure virtual machines allocation in cloud computing environments. PhD thesis, University of Warwick.

Almujally, Nouf (2021) Investigating the application of knowledge management systems in Saudi HEIs : a design science approach. PhD thesis, University of Warwick.

Adam, Zakiyya (2021) Commuting : perceptions and subjective well-being. PhD thesis, University of Warwick.

Alharbi, Alwaleed (2021) Towards accurate predicate detection in wireless sensor networks. PhD thesis, University of Warwick.

Ascott, Katherine (2020) Geological resources: perception and impact for enhancing sustainability and resilience in urban settings. PhD thesis, University of Warwick.

AlShahrani, Abdulaziz (2020) A novel real-time feedback tool to enhance learning and teaching in lecture theatres. PhD thesis, University of Warwick.

Alghamdi, Mohammed (2020) Developing the parallelization techniques for finding the all-pairs shortest paths in graphs. PhD thesis, University of Warwick.

Abdul Wahab, Monisa (2019) Raising engagement and motivation through gamified e-portfolio: A student perspective. PhD thesis, University of Warwick.

Al-Fraihat, Dimah (2019) Evaluating the success of e-learning systems : the case of Moodle LMS at the University of Warwick. PhD thesis, University of Warwick.

Alsubaie, Najah Mohammed (2018) Automatic analysis of lung adenocarcinoma histology whole slide images. PhD thesis, University of Warwick.

Al-Zaidi, Maram S. (2017) A micro note taking approach : the student experience. PhD thesis, University of Warwick.

Alamri, Afaf (2016) Adaptive social e-learning for Saudi students: virtual project and group formation recommendation acceptance. PhD thesis, University of Warwick.

Adamu-Fika, Fatimah (2016) LnCm fault model : complexity and validation. PhD thesis, University of Warwick.

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

Al Qudah, Dana (2016) A framework for adaptive personalised e-advertisements. PhD thesis, University of Warwick.

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

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

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.

Adamaszek, Anna (2012) Approximation algorithms for geometric, caching and scheduling problems. PhD thesis, University of Warwick.

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

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

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

Adler, Micah, Fitch, Faith, Goldberg, Leslie Ann and Paterson, Michael S. (2000) Tight size bounds for packet headers in narrow meshes. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

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

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

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

Agarwala, Richa, Bafna, Vineet, Farach, Martin, Paterson, Michael S. and Thorup, Mikkel (1997) On the approximability of numerical taxonomy (fitting distances by tree metrics). University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

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

Axford, T. H. and Joy, Mike (1993) List processing in parallel languages. University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Atherton, T. J., Kerbyson, D. J. and Nudd, G. R. (1992) An heterogeneous M-SIMD architecture for Kalman Filter controlled processing of image sequences. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

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

Ashcroft, Edward A. and Wadge, William W. (1980) Structured Lucid. 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. (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. (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. (1976) Lucid, a nonprocedural language with iteration. University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)

B

Bashir, Raja Muhammad Saad (2023) Learning with minimal annotations in computational pathology. PhD thesis, University of Warwick.

Brown, Dominic (2020) Higher-order particle representation for a portable unstructured particle-in-cell application. PhD thesis, University of Warwick.

Batra, Vishwash (2020) Neural models for stepwise text illustration. PhD thesis, University of Warwick.

Bradbury, Matthew S. (2018) Near optimal routing protocols for source location privacy in wireless sensor networks: modelling, design and evaluation. PhD thesis, University of Warwick.

Barbosa, Rafael da Ponte (2017) New algorithms for distributed submodular maximization. PhD thesis, University of Warwick.

Bunt, Richard A. (2016) Performance engineering unstructured mesh, geometric multigrid codes. PhD thesis, University of Warwick.

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

Beckingsale, David A. (2015) Towards scalable adaptive mesh refinement on future parallel architectures. PhD thesis, University of Warwick.

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

Boyatt, Russell and Sinclair, Jane (2007) Investigating post-completion errors with the alloy analyzer. University of Warwick. Department of Computer Science. (Unpublished)

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)

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)

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)

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)

Bhalerao, Abhir and Wilson, Roland (2000) Unsupervised image segmentation combining region and boundary estimation. 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 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, 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)

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

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

Berry, Vincent (1998) An improved polynomial time algorithm for computing the refined Buneman tree. 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, 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, 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 and Russ, Steve (1994) Empirical modelling of requirements. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Baude, Francoise (1992) PRAM implementation on fine-grained MIMD multicomputers. University of Warwick. Department of Computer Science. (Department of Computer Science research 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 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)

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

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)

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)

Buckle, John Francis (1989) Computational aspects of lattice theory. PhD thesis, University of Warwick.

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)

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, 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 (1989) Definitive programming for parallelism. Coventry, UK: 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 (1988) Evaluating definitive principles for interaction in graphics. 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, 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 (1987) Monotone Boolean functions as combinatorially piecewise linear maps. 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 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)

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 (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, 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 Buckle, John Francis (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 (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 (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 (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 (1982) Coset enumeration as closure computation. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Beynon, Meurig and Iliopoulos, C. S. (Costas S.) (1981) Gauss' algorithm for the solution of quadratic diophantine equations. University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)

Beynon, Meurig (1981) On Raney's binary encoding for continued fractions, generalisations of Pell's Equation, and the theory of factorisation. University of Warwick. Department of Computer Science. (Theory of Computation 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)

C

Cunningham, Teddy (2022) Generating and sharing differentially private spatio-temporal data using real-world knowledge. PhD thesis, University of Warwick.

Chen, Zhiyan (2022) Optimizing task offloading for mobile edge cloud systems. PhD thesis, University of Warwick.

Chester, Dean Gordon (2021) An applications approach to benchmarking and performance modelling low latency interconnection networks. PhD thesis, University of Warwick.

Chuah, Edward (2020) Features correlation-based workflows for high-performance computing systems diagnosis. PhD thesis, University of Warwick.

Chang, Ching-Chun (2019) Privacy-preserving information hiding and its applications. PhD thesis, University of Warwick.

Chotvijit, Sarunkorn (2019) Social care service provision using spatial-temporal data analytics. PhD thesis, University of Warwick.

Crosby, Henry James (2018) Road distance and travel time for spatial urban modelling. PhD thesis, University of Warwick.

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

Chen, Chao (2016) Performance-oriented service management in clouds. PhD thesis, University of Warwick.

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

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

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

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

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

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

Care, Charles (2006) A chronology of analogue computing. 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)

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

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

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

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

Chen, Guo-Huei and Wilson, Roland (1999) Image segmentation based on the multiresolution Fourier transform and Markov random fields. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Cormode, Graham, Paterson, Michael S., Sahinalp, Suleyman Cenk and Vishkin, Uzi (1999) Communication complexity of document exchange. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

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

Cryan, Mary, Goldberg, Leslie Ann and Goldberg, Paul W. (1998) Evolutionary trees can be learned in polynomial time in the two-state general Markov model. 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)

Cryan, Mary, Goldberg, Leslie Ann and Phillips, Cynthia A. (1997) Approximation algorithms for the fixed-topology phylogenetic number problem. 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)

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)

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

Cross, Nicola and Wilson, Roland (1994) Object representation using circular harmonics. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

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

Clarke, C. T. and Nudd, G. R. (1994) Highly non-linear encoders for current mode multiple-valued logic. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Clarke, C. T. and Nudd, G. R. (1994) Three dimensional CORDIC with reduced iterations. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Clarke, Christopher Turrall (1993) The implementation and applications of multiple-valued logic. PhD thesis, University of Warwick.

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)

Clarke, C. T. and Nudd, G. R. (1992) A redundant arithmetic CORDIC system with a unit scale factor. 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. (1992) The new implementation of Cassandra. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Czumaj, Artur (1992) Parallel algorithm for the matrix chain product problem. 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)

Czumaj, Artur (1992) An optimal parallel algorithm for computing a near-optimal order of matrix multiplications. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Calway, Andrew David, Knutsson, Hans and Wilson, Roland (1991) Multiresolution estimation of 2-d disparity using a frequency domain approach. 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. (1991) Extending Cassandra. 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) Elektra : a reflective production system. 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. (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) Meanings and messages. 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. (1991) The formal specification of a blackboard framework. 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)

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)

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

Clewlow, Les (1989) Cellular automata and dynamical systems. PhD thesis, University of Warwick.

Calway, Andrew David (1989) The multiresolution Fourier transform : a general purpose tool for image analysis. PhD thesis, University of Warwick.

Clippingdale, Simon (1988) Multiresolution image modelling and estimation. PhD thesis, University of Warwick.

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

Calway, Andrew David and Wilson, Roland (1987) Hierarchical descriptors for nonstationary 1 and 2 dimensional signal processing. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Campbell-Kelly, Martin (1987) Charles Babbage's table of logarithms (1827). 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)

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) SeRPenS : a production rule interpreter. Coventry, UK: 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) 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. (1987) A distributed blackboard architecture. Coventry, UK: 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)

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

D

Deshpande, Srijay Parag (2023) Generative AI for computational pathology. PhD thesis, University of Warwick.

Dall'Agnol, Marcel (2023) Classical and quantum sublinear algorithms. PhD thesis, University of Warwick.

Dixon, Alex (2022) Vector addition systems and their applications in the verification of computer programs. PhD thesis, University of Warwick.

Devlin, Ciaran (2021) Digital planning in the smart city : the transition towards digital urban planning in English local authorities. PhD thesis, University of Warwick.

Du, Bowen (2021) Gait recognition with event cameras. PhD thesis, University of Warwick.

Dickens, Charlie (2021) On the efficiency of finding and using tabular data summaries : scalability, accuracy, and hardness. PhD thesis, University of Warwick.

Devilly, Oran Zane (2021) The impact of an adaptive learning environment on students’ classroom related and learning related emotions. PhD thesis, University of Warwick.

Davies, Eleanor (2021) Modular reasoning about combining modular compiler phases. PhD thesis, University of Warwick.

Dark, Jacques (2020) Finding structure in data streams : correlations, independent sets, and matchings. PhD thesis, University of Warwick.

Davies, Peter (2018) Radio network algorithms for global communication. PhD thesis, University of Warwick.

Dickson, James (2018) Towards application-centric I/O benchmarking for parallel scientific applications. PhD thesis, University of Warwick.

Davis, James A. (2017) Analytical modelling for the performance prediction and optimisation of near-neighbour structured grid hydrodynamics. PhD thesis, University of Warwick.

Davidson, Timothy A. S. (2012) Formal verification techniques using quantum process calculus. PhD thesis, University of Warwick.

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

Dyer, Martin, Goldberg, Leslie Ann, Jerrum, Mark and Martin, R. (2004) Markov chain comparison. University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

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)

Dyer, Martin, Goldberg, Leslie Ann, Greenhill, Catherine, Istrate, Gabriel and Jerrum, Mark (2000) Convergence of the iterated prisoner's dilemma game. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Dyer, Martin, Goldberg, Leslie Ann, Greenhill, Catherine and Jerrum, Mark (2000) On the relative complexity of approximate counting problems. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Dancík, Vladimír (1994) Expected length of longest common subsequences. PhD thesis, University of Warwick.

Davies, Andrew Richard (1993) Image feature analysis using the Multiresolution Fourier Transform. PhD thesis, University of Warwick.

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)

Davies, Andrew Richard and Wilson, Roland (1991) Curve and corner extraction using the multiresolution Fourier transform. 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)

Davies, Andrew Richard and Wilson, Roland (1990) Linear feature extraction using the multiresolution Fourier transform. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

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

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

Daykin, Jacqueline (1984) Monotonic functions of finite posets. PhD thesis, University of Warwick.

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

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)

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

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)

E

Ekanayake, Peduru Hewage Suneth Dasantha (2023) Communication-avoiding optimizations for large-scale unstructured-mesh applications with OP2. PhD thesis, University of Warwick.

Evans, Richard Anthony (1988) Self-organising techniques for tolerating faults in 2-dimensional processor arrays. PhD thesis, University of Warwick.

F

Fang, Zheng (2023) Topic modelling for computational grounded theory. PhD thesis, University of Warwick.

Feng, Ruiqing (2022) Exploring the impact of health and lifestyle factors on brain function in humans : insights from large-scale neuroimaging data. PhD thesis, University of Warwick.

Flores Armas, Denys (2019) Theory and practice of proactive database forensics. PhD thesis, University of Warwick.

Fasoulakis, Michail (2017) Computing approximate Nash equilibria. PhD thesis, University of Warwick.

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

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

Fearnley, John (2010) Strategy iteration algorithms for games and Markov decision processes. PhD thesis, University of Warwick.

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

Forrest, Michael (2008) Biophysics of Purkinje computation. PhD thesis, University of Warwick.

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)

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)

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)

Francis, Nicholas David (1991) Parallel architectures for image analysis. PhD thesis, University of Warwick.

Faustini, Antony Azio (1982) The equivalence of an operational and a denotational semantics for pure dataflow. PhD 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)

G

Grosso, Jasmine (2021) Reliable many-to-many routing in wireless sensor networks using ant colony optimisation. PhD thesis, University of Warwick.

Gupta, Neha (2018) Exploring happiness indicators in cities and industrial sectors using Twitter and Urban GIS data. PhD thesis, University of Warwick.

Gu, Chen (2018) Source location privacy in wireless sensor networks under practical scenarios : routing protocols, parameterisations and trade-offs. PhD thesis, University of Warwick.

Gu, Zhuoer (2017) Mining previously unknown patterns in time series data. PhD thesis, University of Warwick.

Guan, Xin (2017) On reducing the data sparsity in collaborative filtering recommender systems. PhD thesis, University of Warwick.

Gkiokas, Alexandros (2016) Imitation learning in artificial intelligence. PhD thesis, University of Warwick.

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

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

Guan, Yu (2015) Covariate-invariant gait recognition using random subspace method and its extensions. PhD thesis, University of Warwick.

Ge, Tian (2013) Some novel models and methods for neuroimaging data analysis. PhD thesis, University of Warwick.

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

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

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 (2004) Task delegation using experience-based multi-dimensional trust. 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, 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)

Griffiths, Nathan (2000) Motivated cooperation in autonomous agents. PhD thesis, University of Warwick.

Goldberg, Leslie Ann, Jerrum, Mark, Kannan, Sampath and Paterson, Michael S. (2000) A bound on the capacity of backoff and acknowledgement-based protocols. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Goldberg, Leslie Ann and Jerrum, Mark (1999) Counting unlabelled subtrees of a tree is #P-complete. 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, Leslie Ann (1999) Randomly sampling unlabelled structures. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Goldberg, Leslie Ann and Jerrum, Mark (1998) The 'Burnside process' converges slowly. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Goldberg, Leslie Ann, MacKenzie, Phil, Paterson, Michael S. and Srinavasan, Aravind (1998) Contention resolution with constant expected delay. 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)

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)

Goldberg, Leslie Ann, Paterson, Michael S., Srinavasan, Aravind and Sweedyk, Elizabeth (1996) Better approximation guarantees for job-shop scheduling. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Goldberg, Leslie Ann and Jerrum, Mark (1996) Randomly sampling molecules. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

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, Hart, W. E. and Wilson, D. B. (1996) Learning foraging thresholds for lizards. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

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

Gibbons, Alan (Alan M.) (1992) A tutorial introduction to distributed memory models of parallel computation. University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Gibbons, Alan (Alan M.) and Paterson, Michael S. (1992) Dense edge-disjoint embedding of binary trees in the mesh. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Goh, Wooi Boon and Martin, Graham R. (1991) Deriving optical flow in noisy image sequences. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

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)

Gent, Ian (1990) A sequent system for Lewis's counterfactual logic VC. 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)

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

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)

Gibbons, Alan (Alan M.), Israeli, Amos and Rytter, Wojciech (1987) Parallel O(log(n)) time edge-colouring of trees and Halin graphs. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Gibbons, Alan (Alan M.) and Rytter, Wojciech (1987) Observations on the disjointness problem for rational subsets of free partially commutative monoids. 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 (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)

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

H

Haldar, Aparajita (2022) Hypergraph-based optimisations for scalable graph analytics and learning. PhD thesis, University of Warwick.

Hickey, Christopher J. A. (2021) Streaming interactive proofs. PhD thesis, University of Warwick.

Houlden, Victoria (2019) Bringing cities to life: The relationship between urban greenspace and mental wellbeing. PhD thesis, University of Warwick.

Herdman, Andy (2017) The readying of applications for heterogeneous computing. PhD thesis, University of Warwick.

Hadzidedic, Suncica (2017) Introducing emotion-based personalisation to cancer websites : the impact of emotions on website personalisation and reuse intentions. PhD thesis, University of Warwick.

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

Harfield, Antony (2007) Empirical modelling as a new paradigm for educational technology. PhD thesis, University of Warwick.

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)

Hseu, Hsing-Wen, Bhalerao, Abhir and Wilson, Roland (1999) Image matching based on the co-occurrence matrix. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

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)

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

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

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)

Hsu, Tao-I and Wilson, Roland (1995) A two-component model of texture for analysis and synthesis. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Hovsepian, Felix (1992) A metalogical analysis of vagueness : an exploratory study into the geometry of logic. PhD thesis, University of Warwick.

Hsu, Tao-I, Calway, Andrew David and Wilson, Roland (1992) Analysis of structured texture using the multiresolution Fourier transform. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

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

Howarth, Rolf M. (1987) A heterogeneous pyramid array architecture for image understanding. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

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

I

Iranmanesh, Sima (2023) Efficient similarity assessment techniques for large-scale networks. PhD thesis, University of Warwick.

Ibrahim Teo, Noor Hasimah (2019) Ontologies for automatic question generation. PhD thesis, University of Warwick.

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

Iliopoulos, C. S. (1983) Computational problems in the theory of Abelian groups. PhD thesis, University of Warwick.

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)

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.) (1981) Algorithms in the theory of integral binary quadratic forms. University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)

J

Johnson, Nicholas E. (2018) Studies in urban informatics: tools and techniques to explore socio-ecological urban systems. PhD thesis, University of Warwick.

Jia, Ning (2016) View-invariant feature selector and its application on gait recognition. PhD thesis, University of Warwick.

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

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

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)

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)

Joy, Mike (1993) Ginger : a simple functional language. 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 (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 (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)

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) 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 (1988) What's 'real' about real-time systems? University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

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

K

Kamalakkannan, Kamalavasan (2023) High-level FPGA accelerator design for structured-mesh-based numerical solvers. PhD thesis, University of Warwick.

Klemmer, Konstantin (2022) Improving neural networks for geospatial applications with geographic context embeddings. PhD thesis, University of Warwick.

Kenny, Melissa (2020) Planning in practice for resilience and climate change in extreme and extreme-ing urban environments. PhD thesis, University of Warwick.

Koohbanani, Navid Alemi (2020) Working with scarce annotations in computational pathology. PhD thesis, University of Warwick.

Kirk, Richard Oliver (2020) Data structure abstraction and parallelisation of multi-material hydrodynamic applications. PhD thesis, University of Warwick.

Kulkarni, Tejas (2019) Efficient estimation of statistical functions while preserving client-side privacy. PhD thesis, University of Warwick.

Kirton, Jack (2019) Source location privacy-aware data aggregation scheduling for wireless sensor networks. PhD thesis, University of Warwick.

Kochkina, Elena (2019) Rumour stance and veracity classification in social media conversations. PhD thesis, University of Warwick.

Khan, Javed Arif (2018) A visual adaptive authoring framework for adaptive hypermedia. PhD thesis, University of Warwick.

Khadidos, Alaa (2016) Medical image segmentation using edge-based active contours. PhD thesis, University of Warwick.

Khan, Adnan M. (2014) Algorithms for breast cancer grading in digital histopathology images. PhD thesis, University of Warwick.

Krishna, Ritesh V. (2009) From gene-expressions to pathways. PhD thesis, University of Warwick.

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)

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)

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

Klasing, Ralf (1998) Methods and problems of wavelength-routing in all-optical networks. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Khanna, Sanjeev, Muthukrishnan, S. and Paterson, Michael S. (1998) On approximating rectangle tiling and packing. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Kurtonina, Natasha and Rijke, Maarten de (1997) Expressiveness of first-order description logics. 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)

King, Andrew and Wilson, Roland (1993) Multiresolution image analysis based on local symmetries. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Koizumi, Hirotaka, Maruoka, Akira and Paterson, Michael S. (1993) Consistency of natural relations on sets. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

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

Kanda, Akira (1980) Effective solutions of recursive domain equations. PhD thesis, University of Warwick.

Kanda, Akira and Park, David (1979) When are two effectively given domains identical? University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)

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

Kestner, Simon (1974) The information rate and other parameters of probabilistic context free grammars and their parsers. PhD thesis, University of Warwick.

L

Lisowski, Grzegorz (2022) An algorithmic analysis of deliberation and representation in collective behaviour. PhD thesis, University of Warwick.

Luo, Man (2021) Deep spatio-temporal learning for dynamic urban shared mobility systems. PhD thesis, University of Warwick.

Li, Junyu (2020) Accelerating the processing of deep neural networks. PhD thesis, University of Warwick.

Lin, Shan (2019) Scalable deep feature learning for person re-identification. PhD thesis, University of Warwick.

Li, Anthony Zhenyu (2019) An elastic, parallel and distributed computing architecture for machine learning. PhD thesis, University of Warwick.

Leyva, Roberto (2018) Online video analysis for abnormal event detection and action recognition. PhD thesis, University of Warwick.

Law, Timothy R. (2017) An algorithm for computing short-range forces in molecular dynamics simulations with non-uniform particle densities. PhD thesis, University of Warwick.

Lin, Xufeng (2016) Digital image forensics based on sensor pattern noise. PhD thesis, University of Warwick.

Li, Guannan (2016) Locality sensitive modelling approach for object detection, tracking and segmentation in biomedical images. PhD thesis, University of Warwick.

Li, Ruizhe (2016) Learning based forensic techniques for source camera identification. PhD thesis, University of Warwick.

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

Landia, Nikolas (2013) Content-awareness and graph-based ranking for tag recommendation in folksonomies. PhD thesis, University of Warwick.

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

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)

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

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

Li, Tao (2010) Relational clustering models for knowledge discovery and recommender systems. PhD thesis, University of Warwick.

Li, Yue (2009) Digital image authentication. PhD thesis, University of Warwick.

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

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

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

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)

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)

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)

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

Li, Chang-Tsun (1998) Unsupervised texture segmentation using multiresolution Markov random fields. PhD thesis, University of Warwick.

Li, Chang-Tsun and Wilson, Roland (1997) Textured image segmentation using multiresolution Markov random fields and a two-component texture model. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Levy, Ian Karl and Wilson, Roland (1996) Advances in predictive wavelet transform image coding. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Li, Chang-Tsun and Wilson, Roland (1995) Image segmentation using multiresolution Fourier transform. University of Warwick. Department of Computer Science. (Department of Computer Science research report).

Levy, Ian Karl and Wilson, Roland (1995) A hybrid fractal-wavelet transform image data compression algorithm. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

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)

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)

Liu, Zhiming, Ravn, Anders P., Sørensen, Erling V. and Zhou, Chaochen (1992) A probabilistic duration calculus. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Liu, Zhiming and Joseph, Mathai (1992) A transformational approach to specifying recovery in asynchronous communicating systems. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Langley, K., Fleet, David J. and Atherton, T. J. (1991) An instantaneous frequency-based computation of transparent motion. 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)

Langley, Keith (1990) Phase relationships in stereoscopic computation. PhD thesis, University of Warwick.

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)

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)

Langley, K. (1988) Phase shifts from Gabor filters. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

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

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

Lehmann, Daniel (1976) Categories for fixpoint semantics. University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)

Lehmann, Daniel (1976) Algebraic structures for transitive closure. University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)

Lehmann, Daniel (1976) Categories for fixpoint semantics. PhD thesis, University of Warwick.

M

Mazzamurro, Matteo (2022) Structure, entropy and evolution of systems of cities. PhD thesis, University of Warwick.

McKay, Helen (2022) Online transfer learning for concept drifting data streams. PhD thesis, University of Warwick.

Maray, Mohammed Mufareh A. (2021) Efficient computational offloading of dependent tasks in mobile edge networks. PhD thesis, University of Warwick.

Ma, Qingzhi (2021) Approximate query processing using machine learning. PhD thesis, University of Warwick.

Muir, Corinne Gwen (2021) Biodiversity and amenity in urban parks and greenspaces. PhD thesis, University of Warwick.

Mirza, O. M. (2018) Style analysis for source code plagiarism detection. PhD thesis, University of Warwick.

Marchant, James M. (2017) Convention emergence and destabilisation in multi-agent systems. PhD thesis, University of Warwick.

Mallinson, Andrew C. (2016) Evaluating technologies and techniques for transitioning hydrodynamics applications to future generations of supercomputers. PhD thesis, University of Warwick.

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

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

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

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

Masood, Khalid and Rajpoot, Nasir M. (Nasir Mahmood) (2006) Hyperspectral colon biopsy classification into normal and malignant categories. University of Warwick. Department of Computer Science. (Unpublished)

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

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

Marx, Maarten and Areces, Carlos (1997) Failure of interpolation in combined modal logics. 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)

Meulemans, P. R. and Wilson, Roland (1995) Feature extraction for very low bit rate video coding. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Miltersen, Peter Bro, Paterson, Michael S. and Tarui, Jun (1995) The asymptotic complexity of merging networks. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Miltersen, Peter Bro (1994) On the cell probe complexity of polynomial evaluation. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

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)

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

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

Matthews, Stephen G. (1992) Partial metric spaces. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

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

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)

McColl, Roderick William (1991) Colour image quantisation and coding for optimal perception. PhD thesis, University of Warwick.

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

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

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

McColl, R. W. and Martin, Graham R. (1987) Quantisation of digitised colour images. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

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

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

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)

McColl, William Finlay (1977) Some results on circuit depth. University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)

McColl, William Finlay (1976) Some results on circuit depth. PhD thesis, University of Warwick.

McColl, William Finlay and Paterson, Michael S. (1975) The depth of all Boolean functions. University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)

N

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

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

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)

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

Naik, Yogesh (1993) A temporal logic for the specification and verification of real-time systems. PhD thesis, University of Warwick.

Novak, Ladislav and Gibbons, Alan (1992) Hybrid bases in graphs. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

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)

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)

O

Owenson, A. M. B (2020) Towards the use of mini-applications in performance prediction and optimisation of production codes. PhD thesis, University of Warwick.

Onah, Daniel F. O. (2017) Investigating self-regulated learning in massive open online courses : a design science research approach. PhD thesis, University of Warwick.

O'Neill, Simon John (1998) A fundamental study into the theory and application of the partial metric spaces. PhD thesis, University of Warwick.

O'Neill, Simon (1995) Two topologies are better than one. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

P

Powell, Archie (2023) Predictive analysis and optimization of large-scale coupled multi-physics simulations using mini-apps. PhD thesis, University of Warwick.

Pocock, Johnathan (2023) Tools for conversion, analysis, and annotation of histology images. PhD thesis, University of Warwick.

Perera, Shanaka (2022) A Bayesian spatial interaction framework for optimal facility location in urban environments. PhD thesis, University of Warwick.

Peinelt, Nicole (2021) Detecting semantic similarity : biases, evaluation and models. PhD thesis, University of Warwick.

Pergola, Gabriele (2020) Probabilistic neural topic models for text understanding. PhD thesis, University of Warwick.

Purser, David (2020) On the complexity of verifying differential privacy. PhD thesis, University of Warwick.

Pitidis, Evangelos (2019) Putting urban resilience into action: a longitudinal study of resilience thinking implementation in Thessaloniki, Greece. PhD thesis, University of Warwick.

Player, Caroline (2019) Trust assessment in the context of unrepresentative information. PhD thesis, University of Warwick.

Prangnell, Lee (2017) Visually lossless coding for the HEVC standard : efficient perceptual quantisation contributions for HEVC. PhD thesis, University of Warwick.

Poloczek, Felix (2016) Stochastic network calculus with martingales. PhD thesis, University of Warwick.

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

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

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

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

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

Palmer, Nicholas James (2008) Pattern classification via unsupervised learners. PhD thesis, University of Warwick.

Park, Heechan (2007) Affine symmetry and applications in image processing. University of Warwick. Department of Computer Science. (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)

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)

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

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)

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)

Philippou, Anna (1996) Reasoning about systems with evolving structure. PhD thesis, University of Warwick.

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)

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)

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)

Paterson, Michael S. and Przytycka, Teresa (1995) On the complexity of string folding. 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. 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)

Paterson, Michael S. (1993) Computer science seminars 1992/93. 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)

Peled, Doron (1992) Sometimes 'some' is as good as 'all'. 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.

Paterson, Michael S. and Zwick, Uri (1991) Shrinkage of de Morgan formulae under restriction. 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., 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 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)

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)

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 Razborov, Alexander (1988) The set of minimal braids is co-NP-complete. 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)

Packwood, Roger Andrew (1986) Progressive transmission and display of static images. PhD thesis, University of Warwick.

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)

Parberry, Ian (1984) A complexity theory of parallel computation. PhD thesis, University of Warwick.

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)

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)

Pilgram, Paul Theo (1983) Translating lucid data flow into message passing actors. 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)

Paterson, Michael S. (1976) New bounds for formula size. University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)

Park, David (1976) The Y-combinator in Scott's lambda-calculus models. University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)

Paterson, Michael S. (1974) Complexity of monotone networks for Boolean matrix product. University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)

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

Q

Quqandi, Ebtehal (2021) The role of mobile AR in facilitating nursing independent learning : the student experience. PhD thesis, University of Warwick.

Qazi, Farrukh (2020) Automating SLA enforcement in the cloud computing. PhD thesis, University of Warwick.

Quan, Yijun (2020) Photo response non-uniformity based image forensics in the presence of challenging factors. PhD thesis, University of Warwick.

Qaiser, Talha (2019) Topology and attention in computational pathology. PhD thesis, University of Warwick.

Qahmash, Ayman (2018) Towards a model of giftedness in programming: an investigation of programming characteristics of gifted students at University of Warwick. PhD thesis, University of Warwick.

Qaffas, Alaa (2016) Lightweight adaptive personalised e-advertising. PhD thesis, University of Warwick.

Qureshi, Hammad A. (2009) Meningioma classification using an adaptive discriminant wavelet packet transform. PhD thesis, University of Warwick.

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

Qiang, Gu Yun (1988) A brief summary of digital image enhancement. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

R

Roy, Debaleena (2023) Graph based transforms for block-based predictive transform coding. PhD thesis, University of Warwick.

Ravenscroft, James (2022) Natural language processing methods for detecting and measuring the impact of scientific work beyond academia. PhD thesis, University of Warwick.

Rahilly, John (2020) A green and pleasant land? An exploration of the impact associated with planning policy. PhD thesis, University of Warwick.

Rehman, Mohammed (2020) A framework for mobile learning in international contexts. PhD thesis, University of Warwick.

Ren, Shenyuan (2018) Performance-aware task scheduling in multi-core computers. PhD thesis, University of Warwick.

Roberts, Stephen I. (2017) Energy-aware performance engineering in high performance computing. PhD thesis, University of Warwick.

Robinson, Leigh (2015) Invariant object recognition : biologically plausible and machine learning approaches. PhD thesis, University of Warwick.

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

Rutkowski, Michał, Ph.D. (2011) Games for optimal controller synthesis on hybrid automata. PhD thesis, University of Warwick.

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

Reyes-Aldasoro, Constantino Carlos (2004) Multiresolution volumetric texture segmentation. PhD thesis, University of Warwick.

Reyes-Aldasoro, Constantino Carlos (2004) A guide to co-occurrence matrix analysis. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

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)

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

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)

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)

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

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

Rajpoot, Nasir M. and Wilson, Roland (1998) Progressive image coding using augmented zerotrees of wavelet coefficients. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Rijke, Maarten de and Kurtonina, Natasha (1996) Bisimulations for temporal logic. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Rijke, Maarten de (1996) A note on graded modal logic. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Ravindran, Somasundaram, Gibbons, Alan (Alan M.) and Paterson, Michael S. (1995) Dense edge-disjoint embedding of complete binary trees in interconnection networks. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Ravindran, Somasundaram (1993) Aspects of practical implementations of PRAM algorithms. PhD thesis, University of Warwick.

Ravindran, Somasundaram (1993) Aspects of practical implementations of PRAM algorithms. PhD thesis, University of Warwick.

Ryan, M. S. and Nudd, G. R. (1993) Dynamic character recognition using hidden Markov models. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Ryan, M. S. and Nudd, G. R. (1993) The Viterbi algorithm. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Ravindran, Somasundaram and Gibbons, Alan (Alan M.) (1992) Dense edge-disjoint embedding of complete binary trees in the hypercube. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

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

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)

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

S

Sutton-Parker, Justin (2022) The impact of end user computing carbon footprint information on human behavioural change and greenhouse gas emission abatement. PhD thesis, University of Warwick.

Shanghooshabad, A. M. (2022) Learned joins with probabilistic graphical models. PhD thesis, University of Warwick.

Shirian, Amir (2022) Graph neural network for audio representation learning. PhD thesis, University of Warwick.

Slattery, Isabella (2022) Integrating urban development & placemaking practice to enhance quality of life : communities, consultation and constraints at the local city neighbourhood level in different global settings. PhD thesis, University of Warwick.

Styles, Olly (2021) Scalable methods for single and multi camera trajectory forecasting. PhD thesis, University of Warwick.

Steadman, Liam (2020) Reducing spatio-temporal data : methods and analysis. PhD thesis, University of Warwick.

Shaban, Muhammad (2020) Spatial context in computational pathology. PhD thesis, University of Warwick.

Shapcott, Caroline Mary (2020) Preprocessing algorithms for the digital histology of colorectal cancer. PhD thesis, University of Warwick.

Song, Tzu-Hsi (2017) Algorithms for the analysis of bone marrow cancer histology images. PhD thesis, University of Warwick.

Shonola, Shaibu A. (2017) Mobile learning security in Nigeria. PhD thesis, University of Warwick.

Sayyid, Faiz (2016) Computational models of morphology's effects on cellular dynamics. PhD thesis, University of Warwick.

Sajjacholapunt, Petch (2016) Enhancing online course materials for self-revision in higher education. PhD thesis, University of Warwick.

Sirinukunwattana, Korsuk (2016) Towards a quantitative analysis of cancer tissue morphology. PhD thesis, University of Warwick.

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

Shi, Lei (2014) Scaffolding for social personalised adaptive e-learning. PhD thesis, University of Warwick.

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

Sitthiworachart, Jirarat (2005) An investigation into novel software tools for enhancing students' higher cognitive skills in computer programming. 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, Pi-Hwa (1999) Distributed empirical modelling and its application to software system development. PhD thesis, University of Warwick.

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)

Scott, Hugh R.R. (1995) Multiresolution techniques for audio signal restoration. PhD thesis, University of Warwick.

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)

Scott, Hugh and Wilson, Roland (1992) A comparison of filters for audio signal segmentation in audio restoration. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Saward, Guy R.E.S. (1991) Interpreted dependency networks : a general framework for belief revision. PhD thesis, University of Warwick.

Steer, Barry (1985) Navigation for the guidance of a mobile robot. PhD thesis, University of Warwick.

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

Smyth, M. B. (Michael B.) (1976) Category-theoretic solution of recursive domain equations. University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)

Smyth, M. B. (Michael B.) (1976) Powerdomains. University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)

Smyth, M. B. (Michael B.) (1975) Effectively giving domains. University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)

T

Thiarai, Malkiat (2020) A study of the challenges and capability of the re-use of social care data. PhD thesis, University of Warwick.

Tkachenko, Nataliya (2019) Using semantic drift on social media for event detection, differentiation and segmentation. PhD thesis, University of Warwick.

Tsakalidis, Adam (2018) Nowcasting user behaviour with social media and smart devices on a longitudinal basis: from macro- to micro-level modelling. PhD thesis, University of Warwick.

Thomason, Alasdair (2017) Predicting context and locations from geospatial trajectories. PhD thesis, University of Warwick.

Trahearn, Nicholas (2017) Registration and multi-immunohistochemical analysis of whole slide images of serial tissue sections. PhD thesis, University of Warwick.

Tan, Wilson M. (2016) Noise-sensing energy-harvesting wireless sensor network nodes. PhD thesis, University of Warwick.

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

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

Trivedi, Ashutosh (2009) Competitive optimisation on timed automata. PhD thesis, University of Warwick.

Turner, James David (2003) A dynamic prediction and monitoring framework for distributed applications. PhD thesis, University of Warwick.

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)

Todd, Martin Peter (1989) Image data compression based on a multiresolution signal model. 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)

Todd, M. and Wilson, Roland (1988) Image data compression. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

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)

U

Ulbrich, Philipp (2021) Locating the sustainability and resilience multiple : a cross-scalar case study of the transformative impacts of Sustainable Development Goal 11 localisation. PhD thesis, University of Warwick.

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

V

Vu, Quoc Dang (2023) Handcrafted representations for whole slide images. PhD thesis, University of Warwick.

Van Hinsbergh, James (2022) Enhancing vehicle destination prediction using latent trajectory information. PhD thesis, University of Warwick.

Valdés Amaro, Daniel Alejandro (2009) Statistical shape analysis for bio-structures : local shape modelling, techniques and applications. PhD thesis, University of Warwick.

Vaudin, John (1991) A unified programming system for a multi-paradigm parallel architecture. PhD thesis, University of Warwick.

Valiant, Leslie and Paterson, Michael S. (1975) Circuit size is nonlinear in depth. University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)

Valiant, Leslie (1973) Decision procedures for families of deterministic pushdown automata. University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)

Valiant, Leslie (1973) Decision procedures for families of deterministic pushdown automata. PhD thesis, University of Warwick.

W

Wang, Shen (2023) New authentication applications in the protection of caller ID and banknote. PhD thesis, University of Warwick.

Wu, Hao (2022) Optimizing GAN for generating high quality samples. PhD thesis, University of Warwick.

Wan, Zhuo (2021) Analysis of neuroimaging with big data to understand brain systems involved in emotion. PhD thesis, University of Warwick.

Wu, Wentai (2021) Towards efficient horizontal federated learning. PhD thesis, University of Warwick.

Wang, Haoyi (2020) Age-related facial analysis with deep learning. PhD thesis, University of Warwick.

Watson, Gregory A. (2020) People re-identification using deep appearance, feature and attribute learning. PhD thesis, University of Warwick.

Wang, Bo (2017) Macro-micro approach for mining public sociopolitical opinion from social media. PhD thesis, University of Warwick.

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

Wei, Xingjie (2014) Unconstrained face recognition with occlusions. PhD thesis, University of Warwick.

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

Warburton, Richard (2010) On the generation and analysis of program transformations. PhD 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.

Wei, Chia-Hung and Li, Chang-Tsun (2006) A logistic regression approach to content-based mammogram retrieval. University of Warwick. Department of Computer Science. (Unpublished)

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

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

Wilson, Roland (2000) Multiresolution Gaussian mixture models : theory and applications. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Wilson, Roland and Li, Chang-Tsun (1999) Multiresolution random fields and their application to image analysis. University of Warwick. Department of Computer Science. (Department of Computer Science research 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)

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

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)

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

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

Wilson, Roland, Calway, Andrew David, Pearson, Edward R. S. and Davies, Andrew Richard (1992) An introduction to the multiresolution Fourier transform and its applications. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Wong, June and Wilson, Roland (1990) Eigenvector decomposition of a multiresolution operator. University of Warwick. Department of Computer Science. (Department of Computer Science research 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. (1979) An extensional treatment of dataflow deadlock. University of Warwick. Department of Computer Science. (Theory of Computation Report). (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. (1978) Programming constructs for nonprocedural languages. University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)

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

X

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

Xu, Daoyi (1994) Texture analysis and synthesis using the multiresolution Fourier transform. PhD thesis, University of Warwick.

Y

Yao, Ye (2016) Variability of structurally constrained and unconstrained functional connectivity in schizophrenia. PhD thesis, University of Warwick.

Yao, Yi (2014) Hand gesture recognition in uncontrolled environments. PhD thesis, University of Warwick.

Yang, Shanshan, (Researcher in computer science) (2012) An effective services framework for sharing educational resources. 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, Cheuk Yin (2011) Reusing semantic web data in authoring Wikipedia. PhD thesis, University of Warwick.

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

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

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

Yu, Andy C. (2006) Improved schemes for multi-mode coding in the H.264/AVC standard and simplified Lagrangian evaluation for video coding. University of Warwick. Department of Computer Science. (Unpublished)

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)

Yang, Horng-Chang (1994) Multiresolution neural networks for image edge detection and restoration. PhD thesis, University of Warwick.

Yung, Simon Yun Pui (1992) Definitive programming : a paradigm for exploratory programming. PhD thesis, University of Warwick.

Yao, F. Frances, Dobkin, David P., Edelsbrunner, Herbert and Paterson, Michael S. (1988) Partitioning space for range queries. 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.

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)

Z

Zhao, Runcong (2023) Probabilistic models for opinion dynamics understanding. PhD thesis, University of Warwick.

Zhu, Lixing (2023) Topic representation learning on sequential data for text understanding. PhD thesis, University of Warwick.

Zhou, Yujue (2022) Data-driven abnormal detection for utility-oriented sensor time series data. PhD thesis, University of Warwick.

Zhou, Yiwei (2017) Understanding the topics and opinions from social media content. PhD thesis, University of Warwick.

Zhang, Qiang (2017) Appearance modelling, pathology classification and evidence pinpointing for medical image analysis. PhD thesis, University of Warwick.

Zhu, Huanzhou (2016) Developing graph-based co-scheduling algorithms with GPU acceleration. PhD thesis, University of Warwick.

Zou, Cunlu (2010) Applications of Granger causality to biological data. PhD thesis, University of Warwick.

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

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)

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

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)

Ziani, Ridha (1992) On the implementation of P-RAM algorithms on feasible SIMD computers. PhD thesis, University of Warwick.

Zwick, Uri and Paterson, Michael S. (1991) The memory game. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)