Journal Article

Adamaszek, Michał, Chrząstowski-Wachtel, Piotr and Adamaszek, Anna. (2008) VIPER, a student-friendly visual interpreter of Pascal. Lecture Notes in Computer Science, Vol.5090 . pp. 192-203. ISSN 0302-9743

Campbell-Kelly, Martin. (2011) From theory to practice : the invention of programming, 1947-51. Lecture Notes in Computer Science, Vol.6875 . pp. 23-37. ISSN 0302-9743

Gay, Simon J. and Nagarajan, Rajagopal. (2010) Types and typechecking for communicating quantum processes. Mathematical Structures in Computer Science, Vol.16 (No.3). pp. 375-406. ISSN 0960-1295

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

Wilson, Roland, 1949-. (1979) The probability distribution of the sum of N sampled baseband outputs of a product detector whose inputs are equal power coherent narrow-band signals in a Gaussian channel. IEEE Transactions on Communications, 27 (5). pp. 796-801.

Wilson, Roland, 1949- and Richter, J.. (1979) Generation and performance of quadraphase Welti codes for radar and synchronisation of coherent and differentially coherent PSK systems. IEEE Transactions on Communications, 27 (9). pp. 1296-1302.

Xu, Wenping, Hong, Liu, He, Ligang, Wang, Shuliang and Chen, Xueguang. (2011) Supply-driven dynamic inoperability input-output price model for interdependent infrastructure systems. Journal of Infrastructure Systems, Vol.17 (No.4). pp. 151-162. ISSN 1076-0342

Conference Item

Tan, G., Jarvis, Stephen A. and Kermarrec, A. M. (2008) Connectivity-Guaranteed and Obstacle-Adaptive Deployment Schemes for Mobile Sensor Networks. In: 28th IEEE International Conference on Distributed Computing Systems (ICDCS 2008), Beijing, China. Published in: IEEE Transactions on Mobile Computing, 8 (6). pp. 836-848.

Tao, Lei and Anand, Sarabjot Singh (2008) HIREL : an incremental clustering algorithm for relational datasets. In: ICDM '08. Data Mining, 2008. Eighth IEEE International Conference, Pisa, Italy, 15-19 Dec 2008. Published in: Proceedings of the 2008 Eighth IEEE International Conference on Data Mining (ICDM'08) pp. 887-892.

Report

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

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

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

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

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

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

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

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

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

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

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

Li, Chang-Tsun and Li, Y. (2012) Histogram preserving QIM-based watermarking. Coventry, UK: University of Warwick..

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

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

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

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

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

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

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

Paterson, Michael S. (1976) New bounds for formula size. Coventry, UK: Department of Computer Science..

Shamir, A. and Wadge, W. W. (1977) Data types as objects. Coventry, UK: Department of Computer Science..

Smyth, M. B. (1976) Category-theoretic solution of recursive domain equations. Coventry, UK: Department of Computer Science..

Smyth, M. B. (1975) Effectively giving domains. Coventry, UK: Department of Computer Science..

Smyth, M. B. (1976) Powerdomains. Coventry, UK: Department of Computer Science..

Valiant, L. G. (1973) Decision procedures for families of deterministic pushdown automata. Coventry, UK: Department of Computer Science..

Valiant, L. G. and Paterson, Michael S. (1975) Circuit size is nonlinear in depth. Coventry, UK: Department of Computer Science..

Wadge, W. W. (1978) Away from the operations view of computer science. Coventry, UK: Department of Computer Science..

Wadge, W. W. (1978) Programming constructs for nonprocedural languages. Coventry, UK: Department of Computer Science..

Wadge, W. W. (1979) An extensional treatment of dataflow deadlock. Coventry, UK: Department of Computer Science..

Thesis or Dissertation

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