B

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)

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

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

Barker, J. R., Mudares, M., Snell, B. R., Guimaraes, P. S. S., Taylor, D. C., Eaves, L. and Hill, G. (1985) Validation of magnetophonon spectroscopy as a tool for analyzing hot-electron effects in devices. Applied Physics Letters, Vol.47 (No.4). pp. 387-389. doi:10.1063/1.96175 ISSN 0003-6951.

D

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)

F

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)

G

Grant, Patrick S., Castles, Flynn, Lei, Q., Wang, Y., Janurudin, J. M., Isakov, Dmitry, Speller, Susie, Dancer, Claire E. J. and Grovenor, Chris (2015) Manufacture of electrical and magnetic graded and anisotropic materials for novel manipulations of microwaves. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 373 (2049). 20140353. doi:10.1098/rsta.2014.0353 ISSN 1364-503X.

Gardelis, S., Rimmer, J. S., Dawson, P. (Philip), Hamilton, B. (Bruce), Kubiak, Richard A. A., Whall, Terry E. and Parker, Evan H. C. (1991) Evidence for quantum confinement in the photoluminescence of porous Si and SiGe. Applied Physics Letters, Vol.59 (No.17). pp. 2118-2120. doi:10.1063/1.106098 ISSN 0003-6951.

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)

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)

H

Hu, Z. W., Thomas, Pam A., Gupta, Mool C. and Risk, William Paul (1995) Multiple-crystal X-ray topographic characterization of periodically domain-inverted KTiOPO4 crystal. Applied Physics Letters, Vol.66 (No.1). pp. 13-15. doi:10.1063/1.114165 ISSN 0003-6951.

J

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)

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)

K

King, P. J. C., Breese, Mark B. H., Smulders, P. J. M., Wilkinson, A. J., Booker, G. R., Parker, Evan H. C. and Grime, G. W. (1995) Evidence from ion channeling images for the elastic relaxation of a Si0.85Ge0.15 layer grown on a patterned Si substrate. Applied Physics Letters, Vol.67 (No.24). pp. 3566-3568. doi:10.1063/1.115319 ISSN 0003-6951.

L

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)

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)

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)

M

McQuaid, S. A., Newman, R.C., Tucker, J. H., Lightowlers, E. C., Kubiak, Richard A. A. and Goulding, M. (1991) Concentration of atomic hydrogen diffused into silicon in the temperature range 900–1300 °C. Applied Physics Letters, Vol.58 (No.25). pp. 2933-2935. doi:10.1063/1.104726 ISSN 0003-6951.

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, William Finlay and Paterson, Michael S. (1988) Planar acyclic computation. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

O

Outlaw, Mark C. and Dimmock, N. J. (1991) Insights into neutralization of animal viruses gained from study of influenza virus. Epidemiology and Infection, Vol.106 (No.2). pp. 205-220. doi:10.1017/S0950268800048354 ISSN 0950-2688.

P

Pinto, A. A. and Rand, D. A. (David A.) (2005) Rigidity of hyperbolic sets on surfaces. Journal of the London Mathematical Society, Vol.71 (No.2). pp. 481-502. doi:10.1112/S0024610704006052 ISSN 0024-6107.

Pinto, A. A. and Rand, D. A. (David A.) (2001) Existence uniqueness and ratio decomposition for Gibbs states via duality. Ergodic Theory and Dynamical Systems, Vol.21 (No.2). pp. 533-543. doi:10.1017/S0143385701001262 ISSN 0143-3857.

Paul, Douglas J. (Professor of Semiconductor Devices)‏ , Cleaver, J. R. A., Ahmed, H. and Whall, Terry E. (1993) Coulomb blockade in silicon based structures at temperatures up to 50 K. Applied Physics Letters, Vol.63 (No.5). pp. 631-632. doi:10.1063/1.109972 ISSN 0003-6951.

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)

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)

R

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)

S

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)

T

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

Y

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

Zhang, J. P., Tang, Y. S., Robinson, A. K., Bussmann, U., Hemment, P. L. F. (Peter L. F.), Sealy, B., Newstead, S. M. (Simon M.), Powell, A. R., Whall, Terry E. and Parker, Evan H. C. (1990) Behavior of high dose O+-implanted Si/Ge/Si structures. Applied Physics Letters, Vol.57 (No.9). pp. 890-892. doi:10.1063/1.103395 ISSN 0003-6951.