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

Stepanyan, Karen, Mather, Richard and Dalrymple, Roger. (2013) Culture, role and group work : a social network analysis perspective on an online collaborative course. British Journal of Educational Technology . ISSN 0007-1013

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

Book Item

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

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

Conference Item

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

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

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

Stepanyan, Karen, Mather, Richard and Payne, Janet (2007) Awareness of the capabilities and use of social software attributes within and outside the educational context : moving towards collaborative learning with Web 2.0. In: Interactive Computer Aided Learning (ICL2007), Villach, Austria, 26 -28 September, 2007

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

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.

Submitted Journal Article

Koskela, Jere, Jenkins, Paul and Spanò, Dario (2013) Computational inference beyond Kingman's coalescent. (Submitted)

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

Lowe, Lawrence, 1948- (1976) An investigation into the applications of real-time computing techniques in industrial audiometry. 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.

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