Article

Al-Kadi, Omar S (2010) Texture measures combination for improved meningioma classification of histopathological images. Pattern Recognition, 43 (6). 2043 -2053. ISSN 0031-3203

Al-Kadi, Omar S and Watson, D (2008) Texture analysis of aggressive and nonaggressive lung tumor CE CT images. IEEE Transactions on Biomedical Engineering, 55 (7). pp. 1822-1830. ISSN 0018-9294

Al-Kadi, Omar Sultan (2010) Assessment of texture measures susceptibility to noise in conventional and contrast enhanced computed tomography lung tumour images. Computerized Medical Imaging and Graphics, 34 (6). pp. 494-503. ISSN 0895-6111

Al-darkazali, Mohammed, Young, Rupert, Chatwin, Chris and Birch, Philip (2016) Integration of phoneme pattern recognition with hidden Markov models to enhance performance of low level speech recognition. Asian Journal of Physics, 25 (6). ISSN 0971-3093

Alabdullah, Bayan, Beloff, Natalia and White, Martin (2021) E‐ART: a new encryption algorithm based on the reflection of binary search tree. Cryptography, 5 (1). a4 1-15. ISSN 2410-387X

Basu, Anirban, Fleming, Simon, Stanier, James, Naicken, Stephen, Wakeman, Ian and Gurbani, Vijay (2013) The state of peer-to-peer network simulators. ACM Computing Surveys, 45 (4). 46:1-46:25. ISSN 0360-0300

Beloff, Natalia, Denisenko, P.F., Noranovich, D.A. and Gough, M.P. (2001) The resolving power of radio sounding methods for ionospheric parameter reconstruction. Advances in Space Research, 27 (6). pp. 1259-1263. ISSN 0273-1177

Berthouze, Luc and Farmer, Simon F (2012) Adaptive time-varying detrended fluctuation analysis. Journal of Neuroscience Methods, 209 (1). pp. 178-188. ISSN 1872-678X

Berthouze, Luc and Kuniyoshi, Y. (1998) Emergence and categorization of coordinated visual behavior through embodied interaction. Machine Learning, 31 (1-3). pp. 187-200. ISSN 0885-6125

Bissett, Scott, Wood, Sharon, Cox, Richard, Scott, Donia and Cassell, Jackie (2013) Calculating alcohol risk in a visualization tool for promoting healthy behavior. Patient Education and Counselling, 92 (2). pp. 167-173. ISSN 0738-3991

Buxton, Hilary (2003) Learning and understanding dynamic scene activity: a review. Image and Vision Computing, 21 (1). pp. 125-136. ISSN 0262-8856

Carroll, John and McCarthy, Diana (2000) Word sense disambiguation using automatically acquired verbal preferences. Computers and the Humanities, 34 (1-2). pp. 109-114. ISSN 0010-4817

Charlton, Nathaniel and Reus, Bernhard (2013) Specification patterns for reasoning about recursion through the store. Information and Computation, 231. pp. 167-203. ISSN 0890-5401

Chen, Hong-Yi, David, Cristina, Kroening, Daniel, Schrammel, Peter and Wachter, Björn (2017) Bit-precise procedure-modular termination analysis. ACM Transactions on Programming Languages and Systems, 40 (1). pp. 1-38. ISSN 0164-0925

Cheng, P.C.-H., Cupit, J. and Shadbolt, N.R. (2001) Supporting diagrammatic knowledge acquisition: an ontological analysis of Cartesian graphs. International Journal of Human Computer Studies, 54 (4). pp. 457-494. ISSN 1071-5819

Cheng, Peter C-H (2014) Graphical notations for syllogisms: how alterative representations impact the accessibility of concepts. Journal of Visual Languages & Computing, 25 (3). pp. 170-185. ISSN 1045-926X

Cheng, Peter C.-H. (1999) Unlocking conceptual learning in mathematics and science with effective representational systems. Computers & Education, 33 (2-3). pp. 109-130. ISSN 0360-1315

Cheong, Chi Po, Fong, Simon, Lei, Pouwan, Chatwin, Chris and Young, Rupert (2012) Designing an efficient and secure credit card-based payment system with web services based on ANSI X9.59-2006. Journal of Information Processing Systems, 8 (3). pp. 495-520. ISSN 1976-913X

Chevalier, Cecile and Kiefer, Chris (2020) What does augmented reality mean as a medium of expression for computational artists? Leonardo, 53 (3). pp. 263-267. ISSN 0024-094X

Chlebík, Miroslav and Chlebíková, Janka (2014) Connection between conjunctive capacity and structural properties of graphs. Theoretical Computer Science, 544. pp. 109-118. ISSN 0304-3975

Chrisley, Ron (2003) Embodied artificial intelligence. Artificial Intelligence, 149 (1). pp. 131-150. ISSN 0004-3702

Clark, Andy and Thornton, Chris (1997) Trading spaces: computation, representation and the limits of uninformed learning. Behavioral and Brain Sciences, 20 (1). pp. 57-66. ISSN 0140-525X

Clark, Stephen and Weir, David (2002) Class-based probability estimation using a semantic hierarchy. Computational Linguistics, 28 (2). pp. 187-206. ISSN 0891-2017

Clowes, Robert W and Chrisley, Ron (2012) Virtualist representation. International Journal of Machine Consciousness, 4 (2). pp. 503-522. ISSN 1793-8430

Collins, Nick (2006) BBCut2: incorporating beat tracking and on-the-fly event analysis. Journal of New Music Research, 35 (1). pp. 63-70. ISSN 0929-8215

Collins, Nick (2006) Composing to subvert content retrieval engines. Array (Winter). pp. 37-41.

Collins, Nick (2003) Generative music and laptop performance. Contemporary Music Review, 22. pp. 67-79. ISSN 0749-4467

Collins, Nick, McLean, Alex, Rohrhuber, Julian and Ward, Adrian (2003) Live coding techniques for laptop performance. Organised Sound, 8 (3). pp. 321-330. ISSN 1355-7718

Diamand, Alan, Schmuker, Michael and Nowotny, Thomas (2019) An unsupervised neuromorphic clustering algorithm. Biological Cybernetics. ISSN 0340-1200

Diamond, Alan, Nowotny, Thomas and Schmuker, Michael (2016) Comparing neuromorphic solutions in action: implementing a bio-inspired solution to a benchmark classification task on three parallel-computing platforms. Frontiers in Neuroscience, 9 (a491). pp. 1-14. ISSN 1662-4548

Feng, J., Sun, Y.L. and Buxton, Hilary (2003) Training integrate-and-fire neurons with the Informax principle II. IEEE Transactions on Neural Networks, 14 (2). pp. 326-336. ISSN 1045-9227

Fernando, Chrisantha, Szathmary, Eors and Husbands, Phil (2012) Selectionist and evolutionary approaches to brain function: a critical appraisal. Frontiers in Computational Neuroscience, 6 (24). pp. 1-28. ISSN 1662-5188

Fitzpatrick, Geraldine Ann, Kaplan, Simon M., Mansfield, Tim, Arnold, David and Segall, Bill (2002) Supporting public availability and accessibility with Elvin: experiences and reflections. Computer Supported Cooperative Work, 11 (3-4). pp. 447-474. ISSN 0925-9724

Ford, Elizabeth, Nicholson, Amanda, Koeling, Rob, Tate, Rosemary, Carroll, John, Axelrod, Lesley, Smith, Helen, Rait, Greta, Davies, Kevin, Petersen, Irene, Williams, Tim and Cassell, Jackie (2013) Optimising the use of electronic health records to estimate the incidence of rheumatoid arthritis in primary care: what information is hidden in free text? BMC Medical Research Methodology, 13 (105). pp. 1-12. ISSN 1471-2288

Gaffin, Douglas D, Dewar, Alexander, Graham, Paul and Philippides, Andrew (2015) Insect-inspired navigation algorithm for an aerial agent using satellite imagery. PLoS ONE, 10 (4). e0122077. ISSN 1932-6203

Garcia Garcia, Grecia and Cox, Richard (2012) An infra-red finger tracking system used in the assessment and remediation of “graph-as-picture” misconceptions. CEUR Workshop Proceedings, 887. pp. 42-51. ISSN 1613-0073

Gjoreski, Hristijan, Ciliberto, Mathias, Wang, Li, Ordonez Morales, Francisco Javier, Mekki, Sami, Valentin, Stefan and Roggen, Daniel (2018) The University of Sussex-Huawei locomotion and transportation dataset for multimodal analytics with mobile devices. IEEE Access, 6. pp. 42592-42604. ISSN 2169-3536

Gonnord, Laure and Schrammel, Peter (2014) Abstract acceleration in linear relation analysis. Science of Computer Programming, 93B. pp. 125-153. ISSN 0167-6423

Hennessy, Matthew (2002) A fully abstract denotational semantics for the π-calculus. Theoretical Computer Science, 278 (1-2). pp. 53-89. ISSN 0304-3975

Hennessy, Matthew and Riely, James (2002) Information flow vs. resource access in the asynchronous pi-calculus. ACM Transactions on Programming Languages and Systems, 24 (5). pp. 566-591. ISSN 0164-0925

Hennessy, Matthew and Riely, James (2002) Resource access control in systems of mobile agents. Information and Computation, 173 (1). pp. 82-120. ISSN 0890-5401

Hernández-Montoya, A R, Coronel-Brizio, H F, Stevens-Ramírez, G A, Rodríguez-Achach, M, Politi, M and Scalas, E (2011) Emerging properties of financial time series in the “Game of Life”. Physical Review E, 84. 066104. ISSN 1539-3755

Ho, Hsi-Ming, Zhou, Ruoyu and Jones, Timothy M (2020) Timed hyperproperties. Information and Computation. a104639. ISSN 0890-5401

Hopkins, Michael, Pineda-García, Garibaldi, Bogdan, Petruţ A and Fuber, Steve B (2018) Spiking neural networks for computer vision. Interface Focus, 8 (4). p. 20180007. ISSN 2042-8898

Howell, A.J. and Buxton, Hilary (2002) Active vision techniques for visually mediated interaction. Image and Vision Computing, 20 (12). pp. 861-871. ISSN 0262-8856

Howland, Kate, Good, Judith, Robertson, Judy and Manches, Andrew (2019) [Editorial] Special issue on computational thinking and coding in childhood. International Journal of Child-Computer Interaction, 19. pp. 93-95. ISSN 2212-8689

Huckle, Steve, Bhattacharya, Rituparna, White, Martin and Beloff, Natalia (2016) Internet of Things, blockchain and shared economy applications. Procedia Computer Science, 98. 461 - 466. ISSN 1877-0509

Huckle, Steve and White, Martin (2017) Fake news: a technological approach to proving the origins of content, using blockchains. Big Data, 5 (4). pp. 356-371. ISSN 2167-6461

Huckle, Steve, White, Martin and Bhattacharya, Rituparna (2017) Towards a post-cash society: an application to convert fiat money into a cryptocurrency. First Monday, 22 (3). ISSN 1396-0466

Huerta, Ramón, Vembu, Shankar, Amigó, José M, Nowotny, Thomas and Elkan, Charles (2012) Inhibition in multiclass classification. Neural Computation, 24 (9). pp. 2473-2507. ISSN 0899-7667

Husbands, Phil and Di Paolo, Ezequiel (2014) The Gomi legacy. Adaptive Behavior, 22 (6). pp. 386-389. ISSN 1059-7123

Husbands, Phil and Holland, Owen (2012) Warren McCulloch and the British cyberneticians. Interdisciplinary Science Reviews, 37 (3). pp. 237-253. ISSN 0308-0188

Jin, Peng, Carroll, John, Wu, Yunfang and McCarthy, Diana Frances (2012) Distributional similarity for Chinese: exploiting characters and radicals. Mathematical Problems in Engineering, 2012 (347257). pp. 1-11. ISSN 1024-123X

Johnson, Chris, Philippides, Andrew and Husbands, Philip (2019) Simulating soft-bodied swimmers with particle-based physics. Soft Robotics, 6 (2). pp. 263-275. ISSN 2169-5180

Jordanous, Anna and Keller, Bill (2016) Modelling creativity: identifying key components through a corpus-based approach. PLoS ONE, 11 (10). pp. 1-27. ISSN 1932-6203

Jordanous, Anna and Keller, Bill (2012) Weaving creativity into the Semantic Web: a language-processing approach. Proceeding of the Third International Conference on Computational Creativity. 216 -220.

Jordanous, Anna and Keller, Bill (2012) What makes musical improvisation creative? Journal of Interdisciplinary Music Studies, 6 (2). pp. 151-175. ISSN 1307-0401

Karoulis, A., Sylaiou, S. and White, Martin (2006) Usability evaluation of a virtual museum interface. Informatica, 17 (3). pp. 363-380. ISSN 0868-4952

Kiefer, Chris (2019) Sample-level sound synthesis with recurrent neural networks and conceptors. PeerJ Computer Science, 5. e205. ISSN 2376-5992

Kniveton, Dominic, Smith, Christopher and Wood, Sharon (2011) Agent-based model simulations of future changes in migration flows for Burkina Faso. Global Environmental Change, 21S (S). S34-S40. ISSN 0959-3780

Kousaridas, Apostolos, Parisis, George and Apostolopoulos, Theodore (2008) An open financial services architecture based on the use of intelligent mobile devices. Electronic Commerce Research and Applications, 7 (2). pp. 232-246. ISSN 1567-4223

Lawal, Lasisi S and Chatwin, Chris R (2019) A review of global navigation satellite and augmentation systems. IJRDO - Journal Of Electrical And Electronics Engineering, 5 (3). pp. 1-21. ISSN 2456-6055

Lawal, Lasisi Salami and Chatwin, Chris Reginald (2019) Design of a low-cost augmentation navigation system: the United Kingdom's immediate answer to the Galileo Brexit conundrum. IJRDO - Journal of Electrical And Electronics Engineering, 5 (1). pp. 1-25. ISSN 2456-6055

Li, David Day-Uei, Yu, Hongqi and Chen, Yu (2015) Fast bi-exponential fluorescence lifetime imaging analysis methods. Optics Letters, 40 (3). pp. 336-339. ISSN 0146-9592

Liang, Lihao, Melham, Tom, Kroening, Daniel, Schrammel, Peter and Tautschnig, Michael (2017) Effective verification for low-level software with competing interrupts. ACM Transactions on Embedded Computing Systems, 17 (2). a36 1-26. ISSN 1539-9087

Liang, Shao Fen, Scott, Donia, Stevens, Robert and Rector, Alan (2013) OntoVerbal: a generic tool and practical application to SNOMED CT. International Journal of Advanced Computer Science and Applications, 4 (6). pp. 227-239. ISSN 2158-107X

Liarokapis, Fotis (2006) An exploration from virtual to augmented reality gaming. Simulation and Gaming, 37 (4). pp. 507-533. ISSN 1046-8781

Liarokapis, Fotis, Brujic-Okretic, V. and Papakonstantinou, S. (2007) Exploring urban environments using virtual and Augmented Reality. Journal of Virtual Reality and Broadcasting, 3 (5). pp. 1-13. ISSN 1860-2037

Liarokapis, Fotis, Mourkoussis, N, White, Martin, Darcy, J, Sifniotis, Maria, Petridis, Panagiotis, Basu, Anirban and Lister, P.F. (2004) Web3D and Augmented Reality to support engineering education. World Transactions on Engineering and Technology Education, 3 (1). pp. 11-14. ISSN 1446-2257

Liarokapis, Fotis and White, Martin (2005) Augmented Reality techniques for museum environments. Mediterranean Journal of Computers and Networks, 1 (2). pp. 90-96. ISSN 1744-2397

Liu, Qian, Pineda García, Garibaldi, Stromatias, Evangelos, Serrano-Gotarredona, Teresa and Furber, Steve B (2016) Benchmarking spike-based visual recognition: a dataset and evaluation. Frontiers in Neuroscience, 10. 496 1-18. ISSN 1662-453X

Luckin, Rosemary (2003) Between the lines: documenting the multiple dimensions of computer-supported collaborations. Computers & Education, 41 (4). pp. 379-396. ISSN 0360-1315

Luckin, Rosemary, Connolly, D., Plowman, Lydia and Airey, S. (2003) Children's interactions with interactive toy technology. Journal Of Computer Assisted Learning, 19 (2). pp. 165-176. ISSN 0266-4909

Luckin, Rosemary, Plowman, L., Laurillard, D., Stratfold, M., Taylor, J. and Corben, S. (2001) Narrative evolution: learning from students' talk about species variation. International Journal of Artificial Intelligence in Education, 12. pp. 100-123. ISSN 1560-4292

Luckin, Rosemary and du Boulay, B. (1999) Ecolab: the development and evaluation of a Vygotskian design framework. International Journal of Artificial Intelligence in Education, 10 (2). pp. 198-220. ISSN 1560-4292

Luckin, Rosemary, du Boulay, Benedict, Smith, Hilary, Underwood, Joshua, Fitzpatrick, Geraldine Ann, Holmberg, Joseph, Kerawalla, Lucinda, Tunley, Hilary, Brewster, Diane and Pearce, Darren Michael (2005) Using mobile technology to create flexible learning contexts. Journal of Interactive Media in Education, 2005 (22). ISSN 1365-893X

Lutz, Rudi (2001) Evolving good hierarchical decompositions of complex systems. Journal of Systems Architecture, 47 (7). pp. 613-634. ISSN 1383-7621

Mania, Katerina, Troscianko, Tom, Hawkes, Rycharde and Chalmers, Alan (2003) Fidelity metrics for virtual environment simulations based on spatial memory awareness states. Presence: Teleoperators and Virtual Environments, 12 (3). pp. 296-310. ISSN 1054-7460

McCarthy, Diana and Carroll, John (2003) Disambiguating Nouns, Verbs, and Adjectives Using Automatically Acquired Selectional Preferences. Computational Linguistics, 29 (4). pp. 639-654. ISSN 0891-2017

McGregor, Simon and Harvey, Inman (2005) Embracing plagiarism: theoretical, biological and empirical justification for copy operators in genetic optimisation. Genetic Programming and Evolvable Machines, 6 (4). pp. 407-420. ISSN 1389-2576

McGregor, Simon, Vasas, Vera, Husbands, Phil and Fernando, Chrisantha (2012) Evolution of associative learning in chemical networks. PLoS Computational Biology, 8 (11). e1002739. ISSN 1553-734X

Meng, Sam Kin and Chatwin, Chris (2013) Measuring e-marketing mix elements for online business. International Journal of E-Entrepreneurship and Innovation, 3 (3). pp. 13-26. ISSN 1947-8585

Messager, Antoine, Parisis, George, Kiss, Istvan Z, Harper, Robert, Tee, Phil and Berthouze, Luc (2019) Inferring functional connectivity from time-series of events in large scale network deployments. IEEE Transactions on Network and Service Management, 16 (3). pp. 857-870. ISSN 1932-4537

Meyer, Friedrich, Spröwitz, Alexander and Berthouze, Luc (2006) Passive compliance for a RC servo-controlled bouncing robot. Advanced Robotics, 20 (8). pp. 953-961. ISSN 0169-1864

Minnen, Guido, Carroll, John and Pearce, Darren (2001) Applied morphological processing of English. Natural Language Engineering, 7 (3). pp. 207-223. ISSN 1351-3249

Moioli, Renan C and Husbands, Phil (2013) Neuronal assembly dynamics in supervised and unsupervised learning scenarios. Neural Computation, 25 (11). pp. 2934-2975. ISSN 0899-7667

Moioli, Renan C, Vargas, Patricia A and Husbands, Phil (2012) Synchronisation effects on the behavioural performance and information dynamics of a simulated minimally cognitive robotic agent. Biological Cybernetics, 106 (6-7). pp. 407-427. ISSN 0340-1200

Mousas, Christos, Newbury, Paul and Anagnostopoulos, Christos-Nikolaos (2013) Splicing of concurrent upper-body motion spaces with locomotion. Procedia Computer Science Journal, 25. pp. 348-359. ISSN 1877-0509

Mousas, Christos, Newbury, Paul and Anagnostopoulos, Christos-Nikolaos (2014) The minimum energy expenditure shortest path method. Journal of Graphics Tools, 17 (1-2). pp. 31-44. ISSN 2165-347X

Newsome, Matt and Watson, Des (2002) Proxy compilation of dynamically loaded Java classes with MoJo. SIGPLAN Notices, 37 (7). pp. 204-212. ISSN 0362-1340

Nowotny, Thomas (2014) Two challenges of correct validation in pattern recognition. Frontiers in Robotics and AI, 1 (5). pp. 1-6. ISSN 2296-9144

Nowotny, Thomas, Berna, Amalia Z, Binions, Russell and Trowell, Stephen (2013) Optimal feature selection for classifying a large set of chemicals using metal oxide sensors. Sensors and Actuators B: Chemical, 187. pp. 471-480. ISSN 0925-4005

Nowotny, Thomas, Huerta, Ramon, Abarbanel, Henry D I and Rabinovich, Mikhail I (2005) Self-organization in the olfactory system: one shot odor recognition in insects. Biological Cybernetics, 93 (6). pp. 436-446. ISSN 1432-0770

Nowotny, Thomas, Rospars, Jean-Pierre, Martinez, Dominique, Elbanna, Shereen and Anton, Sylvia (2013) Machine learning for automatic prediction of the quality of electrophysiological recordings. PLoS ONE, 8 (12). e80838. ISSN 1932-6203

Nowotny, Thomas, Stierle, Jacob S, Galizia, C Giovanni and Szyszka, Paul (2013) Data-driven honeybee antennal lobe model suggests how stimulus-onset asynchrony can aid odour segregation. Brain Research, 1536. pp. 119-134. ISSN 0006-8993

Nowotny, Thomas, Szucs, Attila, Levi, Rafael and Selverston, Allen I. (2007) Models wagging the dog: are circuits constructed with disparate parameters? Neural Computation, 19 (8). pp. 1985-2003. ISSN 0899-7667

Nowotny, Thomas, Szűcs, Attila, Pinto, Reynaldo D and Selverston, Allen I (2006) StdpC: a modern dynamic clamp. Journal of Neuroscience Methods, 158 (2). pp. 287-299. ISSN 0165-0270

Nowotny, Thomas, de Bruyne, Marien, Berna, Amalia Z, Warr, Coral G and Trowell, Stephen C (2014) Drosophila olfactory receptors as classifiers for volatiles from disparate real world applications. Bioinspiration and Biomimetics, 9 (4). a046007 1-13. ISSN 1748-3190

Obaidellah, Unaizah, Al Haek, Mohammed and Cheng, Peter (2018) A survey on the usage of eye-tracking in computer programming. ACM Computing Surveys, 51 (1). ISSN 0360-0300

Obrist, Marianna, Velasco, Carlos, Vi, Chi, Ranasinghe, Nimesha, Israr, Ali, Cheok, Adrian, Spence, Charles and Gopalakrishnakone, Ponnampalam (2016) Sensing the future of HCI: touch, taste, and smell user interfaces. Interactions, 23 (5). pp. 40-49. ISSN 1072-5520

Parisis, George and Trossen, Dirk (2014) Filling the gaps of unused capacity through a fountain coded dissemination of information. Mobile Computing and Communications Review, 18 (1). pp. 46-54. ISSN 1559-1662

Parisis, George, Trossen, Dirk and Asaeda, Hitoshi (2013) A node design and a framework for development and experimentation for an information-centric network. IEICE Transactions on Communications, E96.B (7). pp. 1650-1660. ISSN 0916-8516

Patel, M.J., du Boulay, J.B.H. and Taylor, C. (1997) Comparison of contrasting Prolog trace output formats. International Journal of Human-Computer Studies, 47 (2). pp. 289-322. ISSN 1071-5819

Peebles, David and Cheng, Peter C.-H. (2003) Modeling the effect of task and graphical representation on response latency in a graph reading task. Human Factors, 45 (1). pp. 28-46. ISSN 0018-7208

Plowman, Lydia and Luckin, Rosemary (2004) Interactivity, Interfaces, and Smart Toys. Computer, 37 (2). pp. 98-100. ISSN 0018-9162

Qiao, G, Duan, W, Chatwin, C, Sinclair, A and Wang, W (2010) Electrical properties of breast cancer cells from impedance measurement of cell suspensions. Journal of Physics: Conference Series, 224 (1). ISSN 1742-6588

Qureshi, Tabassum-Ur-Razaq, Chatwin, Chris, Huber, Nicolas, Zarafshani, Ali, Tunstall, Benjamin and Wang, Wei (2010) Comparison of Howland and General Impedance Converter (GIC) circuit based current sources for bio-impedance measurements. Journal of Physics: Conference Series, 224 (1). 012167. ISSN 1742-6588

Rambow, Owen, Vijay-Shanker, K. and Weir, David (2001) D-Tree substitution grammars. Computational Linguistics, 27 (1). pp. 87-121. ISSN 0891-2017

Randell, Cliff, Price, Sara, Rogers, Yvonne, Harris, Eric and Fitzpatrick, Geraldine Ann (2004) The ambient horn: designing a novel audio-based learning experience. Personal and Ubiquitous Computing, 8 (3). pp. 177-183. ISSN 1617-4909

Read, Jonathon Lee and Carroll, John (2012) Weakly-supervised appraisal analysis. Linguistic Issues in Language Technology, 8 (2). pp. 1-21. ISSN 1945-3604

Reus, Bernhard, Charlton, Nathaniel and Horsfall, Ben (2015) Symbolic execution proofs for higher order store programs. Journal of Automated Reasoning, 54 (3). pp. 199-284. ISSN 0168-7433

Reus, Bernhard and Streicher, Thomas (1999) General synthetic domain theory – a logical approach. Mathematical Structures in Computer Science, 9 (2). pp. 177-223. ISSN 0960-1295

Richoz, Sebastian, Wang, Lin, Birch, Philip and Roggen, Daniel (2020) Transportation mode recognition fusing wearable motion, sound and vision sensors. IEEE Sensors Journal, 20 (16). pp. 9314-9328. ISSN 1530-437X

Riely, James and Hennessy, Matthew (2003) Trust and partial typing in open systems of mobile agents. Journal of Automated Reasoning, 31 (3-4). pp. 335-370. ISSN 0168-7433

Roberts, Terri P, Kern, Felix B, Fernando, Chrisantha, Szathmary, Eors, Husbands, Phil, Philippides, Andrew O and Staras, Kevin (2019) Encoding temporal regularities and information copying in hippocampal circuits. Scientific Reports, 9. a19036. ISSN 2045-2322

Robertson, Judy and Good, Judith (2005) Story creation in virtual game worlds. Communications of the ACM, 48 (1). pp. 61-65. ISSN 0001-0782

Romero, Pablo, Cox, Richard, duBoulay, Benedict, Lutz, Rudi and Freudenberg, Sallyann (2007) A methodology for the capture and analysis of hybrid data: a case study of program debugging. Behavior Research Methods, 39 (2). pp. 309-317. ISSN 1554-351X

Sam, K M and Chatwin, C R (2015) Demographic analysis of Chinese gamblers’ perceptions of e-marketing mix elements adopted by online casinos. Journal of Industrial and Intelligent Information, 3 (2). pp. 126-132. ISSN 2301-3745

Sam, Kin Meng and Chatwin, Chris (2015) Online consumer decision-making styles for enhanced understanding of Macau online consumer behavior. Asia Pacific Management Review, 20 (2). pp. 100-107. ISSN 1029-3132

Sam, Kin Meng and Chatwin, Chris (2019) Understanding Wechat users' motivations, attitudes and intention of reading promotional material. Journal of Information Technology Management, 30 (1). pp. 25-37. ISSN 1042-1319

Santos, Bruno, Barandiarian, Xabier, Husbands, Phil, Aguilera, Miguel and Bedia, Manuel (2013) Sensorimotor coordination and metastability in a situated HKB model. Connection Science, 24 (4). pp. 143-161. ISSN 0954-0091

Santos, Bruno Andre, Barandiaran, Xabier and Husbands, Phil (2012) Synchrony and phase relation dynamics underlying sensorimotor coordination. Adaptive Behavior, 20 (5). pp. 321-336. ISSN 1059-7123

Schrammel, Peter (2016) Challenges in decomposing encodings of verification problems. Electronic Proceedings in Theoretical Computer Science, 219. pp. 29-32. ISSN 2075-2180

Schrammel, Peter and Jeannet, Bertrand (2012) Applying abstract acceleration to (co-)reachability analysis of reactive programs. Journal of Symbolic Computation, 47 (12). pp. 1512-1532. ISSN 0747-7171

Schrammel, Peter and Jeannet, Bertrand (2010) Extending abstract acceleration methods to data-flow programs with numerical inputs. Electronic Notes in Theoretical Computer Science, 267 (1). pp. 101-114. ISSN 1571-0661

Schrammel, Peter, Kroening, Daniel, Brain, Martin, Martins, Ruben, Teige, Tino and Bienmüller, Tom (2017) Incremental bounded model checking for embedded software. Formal Aspects of Computing, 29 (5). pp. 911-931. ISSN 0934-5043

Schrammel, Peter, Melham, Tom and Kroening, Daniel (2016) Generating test case chains for reactive systems. International Journal on Software Tools for Technology Transfer, 18 (3). pp. 319-334. ISSN 1433-2779

Serrano, Eduardo, Nowotny, Thomas, Levi, Rafael, Smith, Brian H and Huerta, Ramón (2013) Gain control network conditions in early sensory coding. PLoS Computational Biology, 9 (7). e1003133. ISSN 1553-7358

Seth, A. K., McKinstry, J.L., Edelman, G. M. and Krichmar, J L. (2004) Visual binding through reentrant connectivity and dynamic synchronization in a brain-based device. Cerebral Cortex, 14 (11). pp. 1185-1199. ISSN 1047-3211

Seth, Anil, Chorley, Paul and Barnett, Lionel (2013) Granger causality analysis of fMRI BOLD signals is invariant to hemodynamic convolution but not downsampling. NeuroImage, 65. pp. 540-555. ISSN 1053-8119

Seth, Anil K. and Edelman, Gerald M. (2007) Distinguishing causal interactions in neural populations. Neural Computation, 19 (4). pp. 910-933. ISSN 0899-7667

Seth, Anil K., Izhikevich, Eugene, Reeke, George N. and Edelman, Gerald M. (2006) Theories and measures of consciousness: an extended framework. Proceedings of the National Academy of Sciences, 103 (28). pp. 10799-10804. ISSN 1091-6490

Sharples, M., Jeffery, N.P., du Boulay, B., Teather, B.A., Teather, D. and du Boulay, G. H. (2000) Structured computer-based training in the interpretation of neuroradiological images. International Journal of Medical Informatics, 60 (3). pp. 263-280. ISSN 1386-5056

Shim, Yoonsik and Husbands, Phil (2012) Chaotic exploration and learning of locomotion behaviours. Neural Computation, 24 (8). pp. 2185-2222. ISSN 0899-7667

Shim, Yoonsik and Husbands, Phil (2019) Embodied neuromechanical chaos through homeostatic regulation. Chaos, 29 (3). a033123 1- 17. ISSN 1054-1500

Shim, Yoonsik and Husbands, Phil (2015) Incremental embodied chaotic exploration of self-organized motor behaviors with proprioceptor adaptation. Frontiers in Robotics and AI, 2 (a7). pp. 1-20. ISSN 2296-9144

Shim, Yoonsik and Husbands, Phil (2018) The chaotic dynamics and multistability of two coupled Fitzhugh-Nagumo model neurons. Adaptive Behavior, 26 (4). pp. 165-176. ISSN 1059-7123

Sloman, A. and Chrisley, Ron (2005) More things than are dreamt of in your biology: information processing in biologically-inspired robots. Cognitive Systems Research, 6 (2). pp. 145-174. ISSN 1389-0417

Sloman, A. and Chrisley, Ron (2003) Virtual machines and consciousness. Journal of Consciousness Studies, 10 (4-5). pp. 133-172. ISSN 1355-8250

Stenning, Keith and Cox, Richard (2006) Reconnecting interpretation to reasoning through individual differences. Quarterly Journal of Experimental Psychology, 59 (8). pp. 1454-1483. ISSN 1747-0218

Streicher, Th and Reus, B (1998) Classical logic, continuation semantics and abstract machines. Journal of Functional Programming, 8 (6). pp. 543-572. ISSN 0956-7968

Sze, Gerald, Béqo, Nevis, Huber, Nicolas, Tunstall, Benjamin, Young, Rupert, Chatwin, Chris and Wang, Wei (2010) Signal calibration for an electrical impedance mammography system. Journal of Physics: Conference Series, 244 (1). 012168. ISSN 1742-6588

Tagger, Ben, Trossen, Dirk, Kostopoulos, Alexandros, Porter, Stuart and Parisis, Georgios (2013) Realising an application environment for information-centric networking. Computer Networks, 57 (16). 3249 - 3266. ISSN 1389-1286

Teather, Derek, Teather, Briony A., Jeffery, Nathan P., du Boulay, George H., du Boulay, Benedict and Sharples, Mike (2000) Statistical support for uncertainty in radiological diagnosis. Methods of Information in Medicine, 39 (1). pp. 1-6. ISSN 0026-1270

Tehsin, Sara, Rehman, Saad, Bin Saeed, Muhammad O, Riaz, Farhan, Hassan, Ali, Young, Rupert, Abbas, Muhammad and Alam, Muhammad S (2017) Self-organizing hierarchical particle swarm optimization of correlation filters for object recognition. IEEE Access, 5. pp. 24495-24502. ISSN 2169-3536

Thornton, Chris (2003) Indirect sensing through abstractive learning. Intelligent Data Analysis, 7 (3). pp. 255-266. ISSN 1088-467X

Thornton, Chris (2003) Quantitative abstraction theory. Journal of Artificial Intelligence and Simulation of Behaviour, 1 (3). pp. 281-290. ISSN 1476-3036

Thornton, Chris (1997) The building block fallacy. Complexity International, 4. ISSN 1320-0682

Trossen, Dirk and Parisis, George (2012) Designing and realizing an information-centric internet. IEEE Communications Magazine, 50 (7). pp. 60-67. ISSN 0163-6804

Uresti, Jorge Adolfo Ramirez and du Boulay, Benedict (2004) Expertise, motivation and teaching in learning companion systems. International Journal of Artificial Intelligence in Education, 14 (2). pp. 193-231. ISSN 1560-4292

Vasilaki, E., Feng, J. and Buxton, Hilary (2003) Temporal album. IEEE Transactions on Neural Networks, 14 (2). pp. 439-443. ISSN 1045-9227

Vavoulis, Dimitris V., Nikitin, Eugeny S., Feng, Jianfeng, Benjamin, Paul and Kemenes, György (2007) Computational model of a modulatory cell type in the feeding network of the snail, Lymnaea stagnalis. BMC Neuroscience, 8 (Supp 2). p. 113. ISSN 1471-2202

Vi, Chi Thanh and Obrist, Marianna (2018) Sour promotes risk-taking: an investigation into the effect of taste on risk-taking behaviour in humans. Scientific Reports, 8 (7987). ISSN 2045-2322

Vijay-Shanker, K. and Weir, David (1993) Parsing some constrained grammar formalisms. Computational Linguistics, 19 (4). pp. 591-636. ISSN 0891-2017

Vijay-Shanker, K. and Weir, David (1994) The equivalence of four extensions of context-free grammars. Mathematical Systems Theory / Theory of Computer Systems, 27 (6). pp. 511-546. ISSN 1432-4350

Virgo, Nathaniel, Fernando, Chrisantha, Bigge, Bill and Husbands, Phil (2012) Evolvable physical self-replicators. Artificial Life, 18 (2). pp. 129-142. ISSN 1064-5462

Virvou, Maria and du Boulay, Benedict (1999) Human plausible reasoning for intelligent help. User Modeling and User-Adapted Interaction, 9 (4). pp. 321-375. ISSN 0924-1868

Wakeman, Ian and Light, Ann (2001) Beyond the interface: users' perceptions of interaction and audience on websites. Interacting with Computers, 13 (3). pp. 325-351. ISSN 0953-5438

Wang, X Rosalind, Lizier, Joseph T, Nowotny, Thomas, Berna, Amalia Z, Prokopenko, Mikhail and Trowell, Stephen C (2014) Feature selection for chemical sensor arrays using mutual information. PLoS ONE, 9 (3). e89840. ISSN 1932-6203

Weeds, Julie, Dowdall, James, Schneider, Gerold, Keller, Bill and Weir, David (2005) Using distributional similarity to organise biomedical terminology. Terminology, 11 (1). pp. 107-141. ISSN 0929-9971

Weir, David (1994) Linear iterated pushdowns. Computational Intelligence, 10 (4). pp. 431-439. ISSN 0824-7935

Weir, David (1992) A geometric hierarchy beyond context-free languages. Theoretical Computer Science, 104 (2). pp. 235-261. ISSN 0304-3975

Weir, David, Reffin, Jeremy, Weeds, Julie and Kober, Thomas (2016) Aligning packed dependency trees: a theory of composition for distributional semantics. Computational Linguistics, 42 (4). pp. 727-761. ISSN 0891-2017

Whitby, Blay (1993) The virtual sky is not the limit: ethics in virtual reality. Intelligent Tutoring Media, 4 (1). pp. 23-28. ISSN 0957-9133

Yan, Junhua, Bai, Xuehan, Zhang, Wanyi, Xiao, Yongqi, Chatwin, Chris, Young, Rupert and Birch, Phil (2019) No-reference image quality assessment based on the AdaBoost BP neural network in the wavelet domain. Journal of Systems Engineering and Electronics, 30 (2). pp. 223-237. ISSN 1004-4132

Yoshida, Nobuko and Hennessy, Matthew (2002) Assigning types to processes. Information and Computation, 174 (2). pp. 143-179. ISSN 0890-5401

Young, Rupert C D, Birch, Philip M and Chatwin, Chris R (2016) Considerations for the extension of coherent optical processors into the quantum computing regime. Proceedings of SPIE, 9845. pp. 1-9. ISSN 0277-786X

Zarafshani, Ali, Huber, Nicolas, Béqo, Nevis, Tunstall, Benjamin, Sze, Gerald, Chatwin, Chris and Wang, Wei (2010) A flexible low-cost, high-precision, single interface electrical impedance tomography system for breast cancer detection using FPGA. Journal of Physics: Conference Series, 224 (1). 012169. ISSN 1742-6588

Zhang, Yin, Xuehan, Bai, Yan, Junhua, Xiao, Yongqi, Zhang, Wanyi, Chatwin, Chris and Young, Rupert (2019) A full-reference image quality assessment for multiply distorted image based on visual mutual information. Journal of Imaging Science and Technology. ISSN 1062-3701

du Boulay, B. and Luckin, Rosemary (1999) It ain't what you learn but the way that you learn it. Computers & Education, 33 (2-3). pp. 209-215. ISSN 0360-1315

du Boulay, Benedict (2001) N. J. Nilsson, Artificial Intelligence: A New Synthesis T. Dean, J. Allen and Y. Aloimonos, Artificial Intelligence: Theory and Practice D. Poole, A. Mackworth and R. Goebel, Computational Intelligence: A Logical Approach S. Russell and P. Norvig, Artificial Intelligence: A Modern Approach. Artificial Intelligence, 125 (1-2). pp. 227-232. ISSN 0004-3702

du Boulay, Benedict and Luckin, Rosemary (2001) Modelling human teaching tactics and strategies for tutoring systems. International Journal of Artificial Intelligence in Education, 12 (3). pp. 235-256. ISSN 1560-4292

du Boulay, Benedict, O'Shea, Tim and Monk, John (1999) The black box inside the glass box: presenting computing concepts to novices. International Journal of Human-Computer Studies, 51 (2). pp. 265-277. ISSN 1071-5819

du Boulay, George, Teather, Derek, Teather, Briony, du Boulay, Benedict, Sharples, Mike, Jeffrey, Nathan, Hinkley, Lisa and Whitcombe, Emma (2003) Computer discrimination between diseases of the brain based on MR image features. Neuroradiology Journal, 16. pp. 957-960. ISSN 1971-4009

Book Section

Alghamdi, Saleh and Beloff, Natalia (2015) Virtual currency concept: its implementation, impacts and legislation. In: Science and Information Conference (SAI), 2015. IEEE, London, pp. 175-183. ISBN 9781479985470

Altenkirch, Thorsten and Reus, Bernhard (1999) Monadic presentations of Lambda terms using generalized inductive types. In: Flum, Jörg and Rodriguez-Artalejo, Mario (eds.) Computer Science Logic: Proceedings of the 13th International Workshop CSL '99, 8th Annual Conference of the EACSL, Madrid, Spain. Lecture Notes in Computer Science, 1863 . Springer-Verlag, pp. 453-468. ISBN 9783540665366

Brady, Mark, DiDuca, Debbie and Smith, Hilary (2003) A novel life cycle of collaborative methods for the design of social software. In: Haddon, L (ed.) Proceedings The Good, the Bad and the Irrelevant. University of Art and Design Helsinki, Helsinki, Finland, pp. 336-340. ISBN 9789515581259

Brain, Martin, David, Cristina, Kroening, Daniel and Schrammel, Peter (2014) Model and proof generation for heap-manipulating programs. In: Shao, Zhong (ed.) Programming languages and systems ESOP 2014. Lecture Notes in Computer Science, 8410 . Springer, Heidelberg, pp. 432-452. ISBN 9783642548321

Bryant, Sallyann, Romero, Pablo and du Boulay, Benedict (2005) Pair programming and the re-appropriation of individual tools for collaborative programming. In: Pendergast, Mark, Schmidt, Kjeld and Ackerman, Gloria Mark (eds.) GROUP ’05 : proceedings of the 2005 International ACM SIGGROUP Conference on Supporting Group Work : November 6-9, 2005, Sanibel Island, Florida, USA. ACM Press, New York, USA, pp. 332-333. ISBN 9781595932235

Bryant, Sallyann, Romero, Pablo and du Boulay, Benedict (2006) Pair programming and the re-appropriation of individual tools for collaborative software development. In: Hassanaly, P., Herrmann, T., Zacklad, M. and Kunau, G. (eds.) Cooperative Systems Design: Seamless integration of artifact and conversations - Enhanced concepts of Infrastructure for Communication. IOS press, Amsterdam, pp. 55-70. ISBN 9781586036041

Carroll, John, Nicolov, Nicolas, Shaumyan, Olga, Smets, Martine and Weir, David (2000) Engineering a wide-coverage lexicalized grammar. In: Proceedings of the Fifth International Workshop on Tree Adjoining Grammars and Related Frameworks. Universite Paris, Paris, pp. 55-60.

Carroll, John, Nicolov, Nicolas, Shaumyan, Olga, Smets, Martine and Weir, David (1998) Grammar compaction and computation sharing in automaton-based parsing. In: Proceedings of the First Workshop on Tabulation in Parsing and Deduction. Institut National de Recherche en Informatique, Paris, pp. 16-25.

Carroll, John, Nicolov, Nicolas, Shaumyan, Olga, Smets, Martine and Weir, David (1998) The LEXSYS project. In: Proceedings of the Fourth International Workshop on Tree Adjoining Grammars and Related Frameworks. University of Pennsylvania, Delaware, USA, pp. 29-33.

Carroll, John, Nicolov, Nicolas, Shaumyan, Olga, Smets, Martine and Weir, David (1999) Parsing with an extended domain of locality. In: Proceedings of the Eighth Conference of the European Chapter of the Association for Computational Linguistics. Association for Computational Linguistics, Morristown, NJ, USA, pp. 217-244.

Carroll, John and Weir, David (1997) Encoding Frequency Information in Lexicalized Grammars. In: Proceedings of the Fifth International Workshop on Parsing Technologies. Association for Computational Linguistics, pp. 8-17.

Cattaruzza, Dario, Abate, Alessandro, Schrammel, Peter and Kroening, Daniel (2015) Unbounded-time analysis of guarded LTI systems with inputs by abstract acceleration. In: Blazy, Sandrine and Jensen, Thomas (eds.) Static analysis : 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings. Lecture notes in computer science (9291). Springer, pp. 312-331.

Cenciarelli, Pietro, Knapp, Alexander, Reus, Bernhard and Wirsing, Martin (1999) An event-based structural operational semantics of multi-threaded Java. In: Alves-Foss, Jim (ed.) Formal Syntax and Semantics of Java. Lecture Notes in Computer Science, 1523 . Springer-Verlag, Berlin, Germany, pp. 157-200. ISBN 9783540661580

Chalmers, Dan, Dulay, Naranker and Sloman, Morris (2004) Meta data to support context aware mobile applications. In: Proceedings of 2004 IEEE International Conference on Mobile Data Management. IEEE Computer Society, pp. 199-211. ISBN 0-7695-2070-7

Chen, Hong-Yi, David, Cristina, Kroening, Daniel, Schrammel, Peter and Wachter, Björn (2016) Synthesising interprocedural bit-precise termination proofs. In: Automated Software Engineering (ASE), 2015 30th IEEE/ACM International Conference on. IEEE, pp. 53-64. ISBN 9781509000258

Chen, Xingyuan, Jin, Peng, McCarthy, Diana Frances and Carroll, John (2016) Integrating character representations into Chinese word embedding. In: Dong, Minghui, Lin, Jingxia and Tang, Xuri (eds.) Chinese lexical semantics: 17th workshop, CLSW 2016, Singapore, Singapore, May 20–22, 2016, revised selected papers. Lecture notes in computer science, 10085 . Springer International Publishing, pp. 335-349. ISBN 9783319495071

Cheong, Chi Po, Chatwin, Chris and Young, Rupert (2012) Performance enhancement of WS-security using participant domain name (PDNT). In: Computer Science and Software Engineering (JCSSE), 2012 International Joint Conference on. IEEE Conference Publications, United States, pp. 213-218. ISBN 978-1-4673-1920-1

Chlebík, Miroslav and Chlebíková, Janka (2013) On the conjunctive capacity of graphs. In: Du, Ding-Zhu and Zhang, Guochuan (eds.) Computing and combinatorics: 19th annual international conference, COCOON 2013, Hangzhou, China, June 21-23, 2013 : proceedings. Lecture notes in computer science (7936). Springer-Verlag, Berlin, pp. 280-291. ISBN 9783642387678

Chrisley, Ron and Ziemke, T. (2003) Embodiment. In: Nadel, L. (ed.) Encyclopedia of Cognitive Science. Macmillan Publishing, New York. ISBN 0470016191

Clark, Stephen and Weir, David (2000) A class-based probabilistic approach to structural disambiguation. In: Proceedings of the 18th International Conference on Computational Linguistics. Morgan Kaufmann, pp. 194-200.

Clark, Stephen and Weir, David (1999) An iterative approach to estimating frequencies over a semantic hierarchy. In: Proceedings of the Joint SIGDAT Conference on Empirical Methods in Natural Language Processing and Very Large Corpora. University of Maryland, pp. 258-265.

Collins, Nick (2006) Investigating computational models of perceptual attack time. In: Baroni, M., Addessi, A.R., Caterina, R. and Costa, M. (eds.) Proceedings of the 9th International Conference on Music Perception & Cognition. ICMPC and ESCOM, Bologna, Italy, pp. 923-929. ISBN 8873951554

Collins, Nick (2006) Towards a style-specific basis for computational beat tracking. In: Baroni, M,, Addessi, A.R., Caterina, R. and Costa, M. (eds.) Proceedings of the 9th International Conference on Music Perception & Cognition. ICMPC and ESCOM, Bologna, Italy, pp. 461-467. ISBN 8873951554

Eldridge, Alice, Dorin, Alan and McCormack, Jon (2008) Manipulating artificial ecosystems. In: Applications of evolutionary computing. Lecture notes in computer science, 4974 . Springer, Berlin Heidelberg, pp. 392-401. ISBN 9783540787600

Eldridge, Alice C (2005) Extra-music(ologic)al algorithms for automated composition. In: Applications of evolutionary computing. Lecture notes in computer science, 3449 . Springer-Verlag Berlin, Heidelberg, pp. 557-562. ISBN 9783540253969

Evans, Roger, Gazdar, Gerald and Weir, David (1995) Encoding lexicalized tree adjoining grammars with a nonmonotonic inheritance hierarchy. In: Proceedings of the 33rd Meeting of the Association for Computational Linguistics. Association for Computational Linguistics, Morristown, NJ, USA, pp. 77-84.

Evans, Roger, Gazdar, Gerald and Weir, David (2000) `Lexical rules' are just lexical rules. In: Abeille, Anne and Rambow, Owen (eds.) Tree Adjoining Grammars: Formalisms, Linguistic Analysis and Processing. CSLI Lecture Notes . University of Chicago Press, Chicago, pp. 71-100. ISBN 1575862522

Evans, Roger, Gazdar, Gerald and Weir, David (1994) Using default inheritance to describe LTAG. In: Proceedings of the Third International Workshop on Tree Adjoining Grammars (TAG+3). Universite Paris 7, Paris, pp. 79-87.

Evans, Roger and Weir, David (1997) Automaton-based parsing for lexicalized grammars. In: Proceedings of the Fifth International Workshop on Parsing Technologies. Association for Computational Linguistics, Morristown, NJ, USA, pp. 66-76.

Evans, Roger and Weir, David (1998) A structure-sharing parser for lexicalized grammars. In: Proceedings of the 36th Meeting of the Association for Computational Linguistics and the 17th International Conference on Computational Linguistics. Association for Computational Linguistics, Morristown, NJ, USA, pp. 372-378.

Eyecioglu, Asli and Keller, Bill (2016) ASOBEK at SemEval-2016 Task 1: Sentence representation with character N-gram embeddings for semantic textual similarity. In: SemEval-2016: The 10th International Workshop on Semantic Evaluation: proceedings of the Workshop: June 16-17, 2016, San Diego, California, USA. Association for Computational Linguistics (ACL), Stroudsburg, PA, pp. 1320-1324. ISBN 9781941643952

Eyecioglu, Asli and Keller, Bill (2015) ASOBEK: Twitter paraphrase identification with simple overlap features and SVMs. In: SemEval-2015: The 9th International Workshop on Semantic Evaluation: proceedings of SemEval-2015: June 4-5, 2016, Denver, Colorado, USA. Association for Computational Linguistics (ACL), Stroudsburg, PA, pp. 64-69. ISBN 9781941643402

Fitzpatrick, Geraldine Ann, Marshall, Paul and Phillips, Anthony (2006) CVS integration with notification and chat: lightweight software team collaboration. In: Hinds, Pamela J. and Martin, David (eds.) Proceedings of Conference on Computer Supported Cooperative Work (CSCW 2006). ACM Press, Banff, Alberta, Canada, pp. 49-58. ISBN 1595932496

Fitzpatrick, Geraldine Ann, Stringer, Mark and Harris, Eric (2006) Lessons for the future: experiences with the installation and use of today's domestic sensors and technologies. In: Fishkin, Kenneth P., Schiele, Bernt, Nixon, Paddy and Quigley, Aaron J. (eds.) Pervasive Computing: Proceedings of the 4th International Conference. Lecture Notes in Computer Science, 3968 . Springer-Verlag, Dublin, Ireland, pp. 383-399. ISBN 9783540338949

Gabrielli, Silvia, Harris, Eric, Rogers, Yvonne, Scaife, Mike and Smith, Hilary (2001) How many ways can you mix colour? Young children's explorations of mixed reality environments. In: Boehm, C., Garcia, D. and Schuter, H. (eds.) Proceedings of the International Conference for Content Integrated Research in Creative User Systems. CIRCUS 2001 . University of Glasgow, Glasgow. ISBN 9780852617465

Grau, R R and Cheng, P C H (2015) Scientific discovery, computational models of. In: Wright, James D (ed.) International encyclopedia of the social & behavioral sciences. Elsevier, Oxford, pp. 291-296. ISBN 9780080970868

Grob, J. and Wood, Sharon (2003) Modelling typical alphabetic analogical reasoning. In: Schmalhofer, F., Young, R. and Katz, G. (eds.) Proceedings of the European Conference of the Cognitive Science Society, Osnabruck, Germany. Lawrence Erlbaum / Taylor & Francis, Mahwah, NJ, USA, pp. 157-162. ISBN 9780805850055

Halloran, John, Hornecker, Eva, Fitzpatrick, Geraldine Ann, Weal, Mark J., Millard, David E., Michaelides, Danius T., Cruickshank, Don and Roure, David De (2006) Unfolding understandings: co-designing UbiComp In Situ, over time. In: Carroll, John M., Bodker, Susanne and Coughlin, Julie (eds.) Proceedings of DIS06: Designing Interactive Systems: Processes, Practices, Methods, & Techniques. ACM Press, University Park, PA, USA, pp. 109-118. ISBN 1595933670

Halloran, John, Hornecker, Eva, Weal, Mark, Fitzpatrick, Geraldine Ann, Millard, David, Michaelides, Danius, Cruickshank, Don and Roure, David De (2006) The literacy fieldtrip: using UbiComp to support children's creative writing. In: Proceedings of 5th International Conference for Interaction Design and Children. ACM Press, Tampere, Finland, pp. 17-24.

Hennessy, Matthew, Yoshida, Nobuko and Rathke, Julian (2004) safeDpi: a language for controlling mobile code. In: Walukiewicz, Igor (ed.) Foundations of Software Science and Computation Structures. Lecture Notes in Computer Science, 2987 . Springer, Verlag, pp. 241-256. ISBN 9783540212980

Hope, David Richard and Keller, Bill (2013) MaxMax - a graph-based soft clustering algorithm applied to word sense induction. In: Unset Unset, pp. 368-381.

Howell, A.J., Sage, Kingsley and Buxton, Hilary (2004) Developing task-specific RBF hand gesture recognition. In: Volpe, Gualtiero and Camurri, Antonio (eds.) Gesture-Based Communication in Human-Computer Interaction. Lecture Notes in Computer Science, 2915 . Springer Berlin / Heidelberg, Berlin, Germany, pp. 269-276. ISBN 9783540210726

Howland, Katherine, Good, Judith and Robertson, Judy (2006) Script cards: a visual programming language for games authoring by young people. In: Visual Languages and Human-Centric Computing (VL/HCC'06). IEEE Computer Society, Brighton, UK., pp. 181-186. ISBN 0769525865

Husbands, Phil (2017) Evolutionary robotics. In: Sammut, Claude and Webb, Geoffrey I (eds.) Encyclopedia of machine learning and data mining. Springer, Berlin. ISBN 9781489976871

Husbands, Phil (2014) Robotics. In: Frankish, Keith and Ramsey, William M (eds.) The Cambridge Handbook of Artificial Intelligence. CUP, Cambridge, UK, pp. 269-295. ISBN 9780521691918

Husbands, Phil, Moioli, Renan, Shim, Yoonsik, Philippides, Andy, Vargas, Patricia and O'Shea, Michael (2014) Evolutionary robotics and neuroscience. In: The Horizons of Evolutionary Robotics. Intelligent Robotics and Autonomous Agents . MIT Press, Cambridge, MA, USA, pp. 17-63. ISBN 9780262026765

Johnson, Chris, Philippides, Andrew and Husbands, Philip (2014) Active shape discrimination with physical reservoir computers. In: Sayama, Hiroki, Rieffel, John, Risi, Sebastian, Doursat, René and Lipson, Hod (eds.) Artificial Life 14: Proceedings of the Fourteenth International Conference on the Synthesis and Simulation of Living Systems. MIT Press, Cambridge, MA, USA, pp. 178-185.

Joshi, Aravind, Vijay-Shanker, K. and Weir, David (1991) The convergence of mildly context-sensitive grammar formalisms. In: Wasow, T., Sells, P. and Shieber, S. (eds.) Foundational Issues in Natural Language Processing. MIT Press, Boston, MA, USA, pp. 31-81. ISBN 0-262-19303-5

Karoulis, Athanasis, Sylaiou, Stella and White, Martin (2006) Combinatory usability evaluation of an educational virtual museum interface. In: icalt '06. IEEE International Conference on Advanced Learning Technologies (6). IEEE Computer Society, Los Alamitos, CA, USA, pp. 352-354. ISBN 0769526322

Keller, Bill and Lutz, Rudi (2002) Improved learning for hidden Markov models using penalized training. In: Artificial Intelligence and Cognitive Science. Lecture Notes in Computer Science, 2464 . Springer-Verlag, London, UK, pp. 153-166. ISBN 9783540441847

Keller, Bill, Owen, Tim, Wakeman, Ian, Weeds, Julie and Weir, David (2005) Middleware for user controlled environments. In: Third IEEE International Conference on Pervasive Computing and Communications Workshops (PERCOM '05). IEEE Computer Society, Washington, DC, USA, pp. 183-188. ISBN 0769523005

Keller, Bill and Weir, David (1994) From stacks to trees to feature structures: a tractable extension of linear indexed grammars. In: Proceedings of the Third International Workshop on Tree Adjoining Grammars. Universite Paris, Paris.

Keller, Bill and Weir, David (1995) A tractable extension of linear indexed grammars. In: Proceedings of the Sixth Conference of the European Chapter of the Association for Computational Linguistics. Association for Computational Linguistics, Morristown, NJ, USA, pp. 75-82.

Kroening, Daniel, Liang, Lihao, Melham, Tom, Schrammel, Peter and Tautschnig, Michael (2015) Effective verification of low-level software with nested interrupts. In: Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition. ACM, pp. 229-234. ISBN 9783981537048

Kroening, Daniel, Poetzl, Daniel, Schrammel, Peter and Wachter, Björn (2016) Sound static deadlock analysis for C/Pthreads. In: 31st IEEE/ACM International Conference on Automated Software Engineering (ASE 2016). ACM, New York, USA, pp. 379-390. ISBN 978145033845

Liarokapis, F (2005) Augmented reality scenarios for guitar learning. In: Liarokapis, Fotis (ed.) Proceedings of Eurographics UK Chapter, Theory and Practice of Computer Graphics 2005. Eurographics, pp. 163-170. ISBN 3905673568

Liarokapis, F, Greatbatch, I, Mountain, D, Gunesh, A, Brujic-Okretic, V and Raper, J (2005) Mobile augmented reality techniques for GeoVisualisation. In: Liarokapis, F (ed.) Proceedings of the 9th International Conference on Information Visualisation. Information Visualisation . IEEE Computer Society, London, UK, pp. 745-751. ISBN 0-7695-2397-8

Liarokapis, F, White, M and Lister, P F (2004) Augmented reality interface toolkit. In: Liarokapis, F (ed.) Proceedings of the 8th International Conference on Information Visualisation. IEEE Computer Society, pp. 761-767. ISBN 0769521770

Liarokapis, Fotis, Mountain, D, Papakonstantinou, S, Brujic-Okretic, V and Raper, Jennifer (2006) Mixed reality for exploring urban environments. In: Braz, Jos'e, Jorge, Joaquim A. and Ad'erito Marcos, Miguel Dias (eds.) Proceedings of the First International Conference on Computer Graphics Theory and Applications. INSTICC - Institute for Systems and Technologies of Information, Control and Communication, Setubal, Portugal, pp. 208-215. ISBN 972-8865-39-2

Liarokapis, Fotis, Mourkoussis, N., Petridis, Panagiotis, Rumsey, S, Lister, P. F. and White, Martin (2002) An interactive Augmented Reality system for Engineering education. In: Proceedings of the 3rd Global Congress on Engineering Education. UICEE, pp. 334-337. ISBN 0-7326-2201-8

Lister, P.F., Watten, Phil, Bassett, M.C., Ewins, J.P. and White, Martin (1999) Assisted design techniques for display oriented embedded systems. In: Roger, J., Stanford-Smith, B. and Kidd, P. T. (eds.) Business and Work in the Information Society: New Technologies and Applications. IOS Press, Amsterdam, The Netherlands, pp. 633-639. ISBN 9789051994919

Luckin, Rosemary and Hammerton, Louise (2002) Getting to Know Me: Helping Learners Understand Their Own Learning Needs through Metacognitive Scaffolding. In: Cerri, Stefano A., Gouardères, Guy and Paraguaçu, Fábio (eds.) Intelligent Tutoring Systems: Proceedings of the 6th International Conference, ITS 2002, Biarritz, France and San Sebastian, Spain, June 2-7, 2002. Lecture Notes In Computer Science, 2363 . Springer Berlin / Heidelberg, pp. 759-771. ISBN 978354043750

Lutz, Rudi (2002) Recovering high-level structure of software systems using a minimum description length principle. In: Artificial Intelligence and Cognitive Science. Lecture Notes in Computer Science, 2464 . Springer-Verlag, London, UK, pp. 63-80. ISBN 978-3-540-44184-7

Mania, K. (2004) Simulating perception with interactive virtual environments. In: IEEE International Conference on Systems, Man and Cybernetics. IEEE, pp. 2770-2776. ISBN 0780385667

Mania, Katerina and Robinson, Andrew (2004) The effect of quality of rendering on user lighting impressions and presence in virtual environments. In: Proceedings of the 2004 ACM SIGGRAPH international conference on Virtual Reality continuum and its applications in industry. ACM Press, New York, NY, USA, pp. 200-205. ISBN 1581138849

McCarthy, Diana, Keller, Bill and Carroll, John (2003) Detecting a continuum of compositionality in phrasal verbs. In: Proceedings of the conference and workshops / 41st annual meeting of the Association for Computational Linguistics. Proceedings of the conference: annual meeting of the Association for Computational Linguistics, 18 . Association for Computational Linguistics, Morristown, NJ, USA, pp. 73-80. ISBN 1932432116

McCarthy, Diana Frances (2000) Using semantic preferences to identify verbal participation in role switching alternations. In: Proceedings of the first conference on North American chapter of the Association for Computational Linguistics, Seattle, USA. ACM International Conference Proceeding Series, 4 . Morgan Kaufmann Publishers Inc, San Francisco, CA, USA, pp. 256-263.

McCarthy, Diana Frances and Korhonen, Anna (1998) Detecting verbal participation in diathesis alternations. In: COLING-ACL '98L: Proceedings of the 36th annual meeting on Association for Computational Linguistics. Annual Meeting of the ACL, 2 . Association for Computational Linguistics, Morristown, NJ, USA, pp. 1493-1495. ISBN 9781558605817

McIlhagga, Malcolm, Light, Ann and Wakeman, Ian (1998) Towards a design methodology for adaptive applications. In: Osborne, William P. and Moghe, Dhawal (eds.) MobiCom '98: Proceedings of the 4th annual ACM/IEEE international conference on Mobile computing and networking, Dallas, Texas, United States. ACM Press, New York, NY, USA, pp. 133-144. ISBN 158113035X

Monniaux, David and Schrammel, Peter (2014) Speeding Up logico-numerical strategy iteration. In: Static Analysis. Lecture Notes in Computer Science, 8723 . Springer, pp. 253-267. ISBN 9783319109350

Mountain, D and Liarokapis, Fotis (2005) Interacting with virtual reality scenes on mobile devices. In: Tscheligi, Manfred, Bernhaupt, Regina and Mihalic, Kristijan (eds.) Proceedings of the 7th international Conference on Human Computer Interaction with Mobile Devices & Services. ACM, pp. 331-332. ISBN 1-59593-089-2

Mourkoussis, N., Mania, K., Petridis, P., White, M., Rivera, F.M., Pletinckx, D., Troscianko, T. and Hawkes, R. (2006) An analysis of the effect of technological fidelity on perceptual fidelity. In: Koningsveld, Ernst (ed.) Proceedings of the 16th World Congress of the International Ergonomics Association. Elsevier Science. ISBN 0080450555

Mourkoussis, N., Mania, K., Troscianko, T. and Hawkes, R. (2005) Assessing functional realism. In: SIGGRAPH '05: ACM SIGGRAPH 2005 Posters. ACM Press, New York, p. 105.

Mourkoussis, N., Mania, K., Troscianko, T., Rivera, Fiona and Hawkes, R. (2006) Friction and slant perception in real and virtual environments. In: SIGGRAPH '06: ACM SIGGRAPH 2006 Research posters. ACM Press, New York, p. 118. ISBN 1-59593-364-6

Mourkoussis, N., White, Martin, Patel, M., Chmielewski, J. and Walczak, K. (2003) AMS: metadata for cultural exhibitions using virtual reality. In: DC-2003, proceedings of the international DCMI metadata conference and workshop, September 28-October 2, 2003, Seattle, Washington USA. University of Washington. Information School. ISBN 0974530301

Mukherjee, Rajdeep, Schrammel, Peter, Kroening, Daniel and Melham, Tom (2016) Unbounded safety verification for hardware using software analyzers. In: 2016 Design, Automation & Test in Europe Conference & Exhibition (DATE). IEEE, Dresden, Germany, pp. 1152-1155. ISBN 9783981537079

Nellis, Adam, Kesseli, Pascal, Conmy, Philippa Ryan, Kroening, Daniel, Schrammel, Peter and Tautschnig, Michael (2016) Assisted coverage closure. In: NASA formal methods: 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, proceedings. Lecture Notes in Computer Science, 9690 . Springer International Publishing, pp. 49-64. ISBN 9783319406473

Nolfi, Stefano, Bongard, Josh, Husbands, Phil and Floreano, Dario (2016) Evolutionary robotics. In: Siciliano, B and Khatib, O (eds.) Springer handbook of robotics, 2nd Ed. Springer, Cham, pp. 2035-2067. ISBN 9783319325507

Pattinson, Dirk and Reus, Bernhard (2005) A complete temporal and spatial logic for distributed dystems. In: Gramlich, Bernhard (ed.) Frontiers of Combining Systems: Proceedings of the 5th International Workshop, FroCoS 2005, Vienna, Austria. Lecture Notes in Computer Science, 3717 . Springer, pp. 122-137. ISBN 9783540290513

Price, S, Rogers, Y, Stanton, D and Smith, Hilary (2003) A new conceptual framework for CSCL: supporting diverse forms of reflection through multiple interactions. In: Wasson, B., Ludvigsen, S. and Hoppe, U. (eds.) Designing for Change in Networked Learning Environments. Computer-supported collaborative learning . Kluwer Academic Publishers, 513 - 523. ISBN 9781402013836

Qureshi, T, Mehboob, B, Chatwin, C R and Wang, W (2012) Optimal device for a low output impedance voltage source for Electrical Impedance Tomography (EIT) systems. In: Electro/Information Technology (EIT), 2012 IEEE International Conference on. IEEE, pp. 1-6. ISBN 9781467308199

Qureshi, T R, Mehboob, B, Chatwin, C R and Wang, W (2012) Wideband voltage source design for EIT systems. In: Bioengineering Conference (NEBEC), 2012 38th Annual Northeast. IEEE, pp. 353-354. ISBN 9781467311410

Rajan, Ajitha, Sharma, Subodh, Schrammel, Peter and Kroening, Daniel (2014) Accelerated test execution using GPUs. In: ASE '14 Proceedings of the 29th ACM/IEEE international conference on Automated software engineering. ACM, New York, NY, pp. 97-102. ISBN 9781450330138

Rambow, Owen, Vijay-Shanker, K. and Weir, David (1995) D-Tree grammars. In: Proceedings of the 33rd Meeting of the Association for Computational Linguistics. Association for Computational Linguistics, Morristown, NJ, USA, pp. 151-158.

Rebolledo-Mendez, Genaro, du Boulay, Benedict and Luckin, Rosemary (2005) Be bold and take a challenge: could motivational strategies improve help-seeking? In: Looi, Chee-Kit, McCalla, Gord, Bredeweg, Bert and Breuker, Joost (eds.) Artificial Intelligence in Education: Supporting Learning through Intelligent and Socially Informed Technology. Frontiers in Artificial Intelligence and Applications, 125 . IOS Press, pp. 459-466. ISBN 9781586035303

Rebolledo-Mendez, Genaro, du Boulay, Benedict and Luckin, Rosemary (2006) Motivating the learner: an empirical evaluation. In: Ikeda, Mitsuru, Ashley, Kevin D. and Chan, Tak-Wai (eds.) Intelligent Tutoring Systems: 8th International Conference, ITS2006, Taiwan. Lecture Notes in Computer Science, 4053 . Springer, Verlag, pp. 545-554. ISBN 9783540351603

Reus, Bernhard (2002) Class-based versus object-based: a denotational comparison. In: Kirchner, Helene and Ringeissen, Christophe (eds.) Algebraic Methodology and Software Technology: Proceedings of the 9th International Conference, AMAST 2002, Saint-Gilles-les- Bains, Reunion Island, France. Lecture Notes in Computer Science, 2422 . Springer-Verlag, London, UK., pp. 45-88. ISBN 3540441441

Reus, Bernhard (2003) Modular semantics and logics of classes. In: Baaz, Matthias and Makowsky, Johann A. (eds.) Computer Science Logic. Lecture Notes in Computer Science, 2803 . Springer Berlin / Heidelberg, pp. 456-469. ISBN 9783540408017

Reus, Bernhard and Hein, Tatjana (2000) Towards a machine-checked Java specification book. In: Aagaard, Mark and Harrison, John (eds.) Theorem Proving in Higher Order Logics: Proceedings of the 13th International Conference, TPHOLs 2000 Portland, OR, USA. Lecture Notes in Computer Science, 1869 . Springer-Verlag, pp. 480-497. ISBN 9783540678632

Reus, Bernhard and Schwinghammer, Jan (2005) Denotational semantics for Abadi and Leino's logic of objects. In: Sagiv, Mooly (ed.) Programming Languages and Systems: Proceedings of the 14th European Symposium on Programming, ESOP 2005, Edinburgh, UK. Lecture Notes in Computer Science, 3444 . Springer, pp. 263-278. ISBN 9783540254355

Reus, Bernhard and Streicher, T. (2002) Semantics and logic of object calculi. In: Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science. IEEE Publications, pp. 113-122.

Reus, Bernhard and Streicher, Thomas (2005) About Hoare logics for higher-order store. In: Caires, L., Italiano, G.F., Monteiro, L., Palamidessi, C. and Yung, M. (eds.) Automata, Languages and Programming: Proceedings of the 32nd International Colloquim, ICALP 2005, Lisbon, Portugal. Lecture Notes in Computer Science, 3580 . Springer Verlag, Berlin, Germany, pp. 1337-1348. ISBN 9783540275800

Reus, Bernhard, Wirsing, Martin and Hennicker, Rolf (2001) A Hoare calculus for verifying Java realizations of OCL-constrained design models. In: Hussmann, Heinrich (ed.) Proceedings in Fundamental Approaches to Software Engineering: 4th International Conference, FASE 2001, Genova, Italy. Lecture Notes in Computer Science, 2029 . Springer Berlin / Heidelberg, pp. 300-317. ISBN 9783540418634

Robinson, Andrew, Mania, Katerina and Perey, Philippe (2004) Flight simulation: research challenges and user assessments of fidelity. In: Proceedings of the 2004 ACM SIGGRAPH international conference on Virtual Reality continuum and its applications in industry. ACM Press, New York, NY, USA, pp. 261-268. ISBN 1581138849

Rogers, Yvonne, Scaife, Mike, Harris, Eric, Phelps, Ted, Price, Sara, Smith, Hilary, Muller, Henk, Randell, Cliff, Moss, Andrew, Taylor, Ian, Stanton, Danae, O'Malley, Claire, Corke, Greta and Gabrielli, Silvia (2002) Things aren't what they seem to be: innovation through technology inspiration. In: Proceedings of the Conference on Designing Interactive Systems, 2002., Serious reflection on designing interactive systems., DIS 2002. ACM Press, New York, NY, USA, pp. 373-378. ISBN 9781581135152

Rohde, Marieke and Di Paolo, Ezequiel Alejandro (2007) Adaptation to sensory delays: an evolutionary robotics model of an empirical study. In: Proceedings of the 9th European Conference on Artificial life (ECAL). Lecture Notes in Artificial Intelligence, 4648/2 . Springer, Berlin/Heidelberg, pp. 193-202. ISBN 9783540749127

Romero, Pablo, Cox, Richard, du Boulay, Benedict and Lutz, Rudi (2002) Visual attention and representation switching during Java program debugging: a study using the restricted focus viewer. In: Diagrammatic Representation and Inference : Second International Conference, Diagrams 2002 Callaway Gardens, GA, USA, April 18-20, 2002. Proceedings. Lecture Notes in Artificial Intelligence, 2317/2 . Springer-Verlag, Berlin / Heidelberg, pp. 221-235. ISBN 9783540435617

Romero, Pablo, Lutz, Rudi, Cox, Richard and du Boulay, Benedict (2002) Co-ordination of multiple external representations during Java program debugging. In: Proceedings IEEE 2002 Symposia on Human Centric Computing Languages and Environments. IEEE Computer Society, Piscataway, N.J, pp. 207-214. ISBN 9780769516448

Romero, Pablo, du Boulay, B., Cox, Richard and Lutz, Rudi (2003) Java debugging strategies in multi-representational environments. In: Petre, M. and Budgen, D. (eds.) Proceedings of the 15th Workshop of Psychology of Programming Interest Group. Keele University, Keele, UK, pp. 421-434.

Sage, Kingsley, Howell, A.J. and Buxton, Hilary (2004) Developing context sensitive HMM gesture recognition. In: Camurri, Antonio and Volpe, Gualtiero (eds.) Gesture-Based Communication in Human-Computer Interaction. Lecture Notes in Computer Science, 2915 . Springer Link, New York, USA, pp. 277-287. ISBN 9783540210726

Sam, K M and Chatwin, C R (2012) Ontology-based text-mining model for social network analysis. In: Management of Innovation and Technology (ICMIT), 2012 IEEE International Conference on. IEEE, pp. 226-231. ISBN 9781467301084

Schrammel, Peter (2015) Unbounded-time reachability analysis of hybrid systems by abstract acceleration. In: Proceedings of the 12th International Conference on Embedded Software. IEEE, Piscataway, NJ, pp. 51-54. ISBN 9781467380799

Schrammel, Peter and Jeannet, Bertrand (2012) From hybrid data-flow languages to hybrid automata. In: Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control - HSCC '12. ACM, New York, NY, pp. 167-176. ISBN 978-1-4503-1220-2

Schrammel, Peter and Jeannet, Bertrand (2011) Logico-numerical abstract acceleration and application to the verification of data-flow programs. In: Static Analysis. Lecture Notes in Computer Science, 6887 . Springer, pp. 233-248.

Schrammel, Peter and Kroening, Daniel (2016) 2LS for program analysis. In: Tools and algorithms for the construction and analysis of systems. Lecture Notes in Computer Science, 9636 . Springer Berlin Heidelberg, Berlin, pp. 905-907. ISBN 9783662496732

Schrammel, Peter, Kroening, Daniel, Brain, Martin, Martins, Ruben, Teige, Tino and Bienmüller, Tom (2015) Successful use of incremental BMC in the automotive industry. In: Núñez, Manuel and Güdemann, Matthias (eds.) Formal methods for industrial critical systems : 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings. Lecture notes in computer science (9128). Springer, pp. 62-77.

Schrammel, Peter, Melham, Tom and Kroening, Daniel (2013) Chaining test cases for reactive dystem testing. In: Testing Software and Systems. Lecture Notes in Computer Science, 8254 . Springer, pp. 133-148. ISBN 9783642417078

Schrammel, Peter and Subotic, Pavle (2013) Logico-numerical max-strategy iteration. In: Verification, Model Checking, and Abstract Interpretation. Lecture Notes in Computer Science, 7737 . Springer, pp. 414-433. ISBN 9783642358739

Seghir, Mohamed Nassim and Schrammel, Peter (2014) Necessary and sufficient preconditions via eager abstraction. In: Garrigue, Jacques (ed.) Programming languages and systems : 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings. Lecture notes in computer science (8858). Springer, pp. 236-254. ISBN 9783319127354

Shaumyan, Olga, Carroll, John and Weir, David (2002) Evaluation of LTAG parsing with supertag compaction. In: Proceedings of the Sixth International Workshop on Tree Adjoining Grammars and Related Frameworks. Association for Computational Linguistics, Morristown, NJ, USA, pp. 201-205.

Sloman, A., Chrisley, Ron and Scheutz, M. (2005) The architectural basis of affective states and processes. In: Fellous, J. and Arbib, M. (eds.) Who needs emotions? The brain meets the robot. Affective Science . Oxford University Press, NY, USA, pp. 203-244. ISBN 0195166191

Smith, Hilary, Fitzpatrick, Geraldine Ann and Rogers, Yvonne (2004) Eliciting reactive and reflective feedback for a social communication tool: a multi-session approach. In: Proceedings of the 2004 conference on Designing interactive systems: processes, practices, methods, and techniques. ACM Press, New York, NY, USA, pp. 39-48.

Smith, Hilary, Luckin, Rosemary, Fitzpatrick, Geraldine Ann, Avramides, Katerina and Underwood, J (2005) Technology at work to mediate collaborative scientific enquiry in the field. In: Looi, C., McCalla, G., Bredeweg, B. and Breuker, J. (eds.) Artificial Intelligence in Education - Supporting Learning through Intelligent and Socially Informed Technology. Frontiers in Artificial Intelligence and Applications, 125 . IOS Press, pp. 603-610. ISBN 1586035304

Smith, Hilary, Underwood, Joshua, Fitzpatrick, Geraldine Ann, Luckin, Rosemary and Fraser Stanton, Danae (2006) Identifying tools to support schools' collaborative teaching and learning. In: E-Science, Second IEEE International Conference on e-Science and Grid Computing. IEEE Computer Society, p140. ISBN 0769527345

Sordo, M., Buxton, Hilary and Watson, Des (2001) A hybrid approach to breast cancer diagnosis. In: Jain, Lakhmi and De Wilde, Philippe (eds.) Practical Applications of Computational Intelligence Techniques. International Series in Intelligent Technologies, 16 . Kluwer Academic Publishers, Norwell, MA, USA, pp. 299-330. ISBN 07923-7320-0

Stanton Fraser, Danae, Smith, Hilary, Tallyn, Ella, Kirk, Dave, Benford, Steve, Rowland, Duncan, Paxton, Mark, Price, Sara and Fitzpatrick, Geraldine Ann (2005) The SENSE project: a context-inclusive approach to studying environmental science within and across schools. In: Computer Support for Collaborative Learning: Proceedings of th 2005 conference on Computer support for collaborative learning: learning 2005: the next 10 years! International Society of the Learning Sciences, pp. 155-159. ISBN 0805857826

Sylaiou, S., Almosawi, A., Mania, K. and White, Martin (2004) Preliminary evaluation of the Augmented Representation of Cultural Objects system. In: Thwaites, H. (ed.) VSMM 2004: Proceedings Of The Tenth International Conference On Virtual Systems And Multimedia. IOS Press, Netherlands, pp. 426-432. ISBN 9781586034818

Sylaiou, S., Liarokapis, Fotis, Sechidis, L., Patias, P. and Georgoula, O. (2005) Virtual museums: first results of a survey on methods and tools. In: XXth International Symposium (the ICOMOS & ISPRS Committee on Documentation of Cultural Heritage), the CIPA International Archives for Documentation of Cultural Heritage,. CIPA, Torino, Italy, pp. 1138-1143. ISBN 1682-1777

Sylaiou, Stella, White, Martin and Liarokapis, Fotis (2013) Digital heritage systems: the ARCO evaluation. In: Garcia-Ruiz, Miguel A (ed.) Cases on usability engineering: design and development of digital products. Advances in human and social aspects of technology . IGI Global, Hershey, PA, pp. 321-354. ISBN 9781466640467

Tallyn, E, Stanton, D, Benford, S, Rowland, D, Kirk, D, Paxton, M, Smith, Helen, Price, S, Fitzpatrick, Geraldine Ann and Luckin, Rosemary (2004) Introducing eScience to the classroom. In: Cox, Simon J. (ed.) Proceedings of the UK e-Science All Hands Meeting 2004, Nottingham, UK. JISC, pp. 1027-1029.

Thornton, Chris (2002) Creativity and runaway learning. In: Dartnall, Terry (ed.) Creativity, Cognition, and Knowledge: An Interaction. Greenwood publishing group, London, UK, pp. 239-250. ISBN 9780275976811

Thornton, Chris (2020) Predictive processing: does it compute? In: Mendonça, Dina, Curado, Manuel and Gouveia, Steven S (eds.) The philosophy and science of predictive processing. Bloomsbury, London. ISBN 9781350099753

Tunley, Hilary, du Boulay, Benedict, Luckin, Rosemary, Holmberg, Joe and Underwood, Joshua (2005) Up and down the number line: modelling collaboration in contrasting school and home environments. In: Ardissimo, Liliana, Brna, Paul and Mitrovic, Antonija (eds.) User Modeling 2005 : 10th international conference, UM 2005, Edinburgh, Scotland, UK, Jul 24-29, 2005 : proceedings. Lecture Notes in Computer Science . Springer-Verlag, Berlin / Heidelberg, pp. 412-416. ISBN 9783540278856

Underwood, J, Smith, Hilary, Luckin, Rosemary, du Boulay, B, Holmberg, J, Kerawalla, L and Tunley, H (2006) Integrating data from multiple contexts. In: Brinkman, W.P. (ed.) Proceedings of the HCI 2006 workshop on computer-assisted recording, pre-processing and analysis of user interaction data. Lulu, Inc, London, pp. 6-29. ISBN 1-9023-1651-7

Underwood, J., Smith, Hilary, Luckin, Rosemary, du Boulay, B., Holmberg, J., Kerawalla, J. and Tunley, H. (2004) When the NINF came home: guiding parents and children in the co-construction of narratives linking home and school learning. In: Brna, Paul (ed.) NILE 2004: Proceedings ot the 3rd international conference on Narrative and Interactive Learning Environments, Edinburgh, UK. Northumbria University, pp. 101-108.

Underwood, Joshua, Luckin, Rosemary, Kerawalla, Lucinda, du Boulay, Benedict, Holmberg, Joe, O'Connor, Jeanette and Tunley, Hilary (2005) What did you do at school today? Using tablet technology to link parents to their children and teachers. In: Looi, Chee-Kit, McCalla, Gord, Bredeweg, Bert and Breuker, Joost (eds.) Artificial Intelligence in Education: Supporting Learning through Intelligent and Socially Informed Technology. Frontiers in Artificial Intelligence and Applications . IOS Press, Washington, DC, pp. 932-934. ISBN 9781586035303

Vijay-Shanker, K. and Weir, David (1999) Exploring the underspecified world of lexicalized tree adjoining grammars. In: Proceedings of the Sixth Meeting on Mathematics of Language. The Association for Mathematics of Language and The Institute for Research in Cognitive Science (IRCS) University of Pennsylvania.

Vijay-Shanker, K. and Weir, David (1990) Polynomial parsing of combinatory categorial grammars. In: Proceedings of the 28th Meeting of the Association for Computational Linguistics. Association for Computational Linguistics, Pittsburgh, PA, pp. 1-8.

Vijay-Shanker, K. and Weir, David (1991) Polynomial parsing of extensions of context-free grammars. In: Tomita, M. (ed.) Current Issues in Parsing Technology. Kluwer Academic Publishers, pp. 191-206. ISBN 0792391314

Vijay-Shanker, K. and Weir, David (1989) The recognition of combinatory categorial grammars, linear indexed grammars, and tree sdjoining grammars. In: Proceedings of the First International Workshop on Parsing Technologies. Carnegie Mellon University, Pittsburgh, PA, pp. 172-181.

Vijay-Shanker, K. and Weir, David (1993) The use of shared forests in TAG parsing. In: Proceedings of the Sixth Conference of the European Chapter of the Association for Computational Linguistics. Association for Computational Linguistics, Morristown, NJ, USA, pp. 384-393.

Vijay-Shanker, K., Weir, David and Joshi, Aravind (1987) Characterizing structural descriptions produced by various grammatical formalisms. In: Proceedings of the 25th Meeting of the Association for Computational Linguistics. Association for Computational Linguistics, Stanford, California, pp. 104-111.

Vijay-Shanker, K., Weir, David and Joshi, Aravind (1987) On the progression from context-free to tree adjoining languages. In: Manaster-Ramer, A. (ed.) Mathematics of Language. John Benjamins, Amsterdam, pp. 389-401. ISBN 1556190328

Vijay-Shanker, K., Weir, David and Joshi, Aravind (1986) Tree adjoining and head wrapping. In: Proceedings of the 11th International Conference on Computational Linguistics. Association for Computational Linguistics, Morristown, NJ, USA, pp. 202-207.

Vijay-Shanker, K., Weir, David and Rambow, Owen (1995) Parsing D-Tree grammars. In: Proceedings of the Fourth International Workshop on Parsing Technologies. ACL/SIGPARSE, Prague, pp. 252-259.

Wakeman, Ian, Ellis, David, Owen, Tim, Rathke, Julian and Watson, Des (2004) Risky business: motivations for markets in programmable networks. In: Wakamiya, Naoki, Solarski, Marcin and Sterbenz, James P. G. (eds.) Active Networks: in Proceedings of 5th International Workshop IWAN 2003, Kyoto, Japan. Lecture Notes in Computer Science, 2982 . Springer Verlag, New York, USA, pp. 266-279. ISBN 9783540212508

Weal, Mark J, Cruickshank, Don, Michaelides, Danius T, Millard, David E, Roure, David C De, Howland, Katherine and Fitzpatrick, Geraldine (2007) A card based metaphor for organising pervasive educational experiences. In: Proceedings of the fifth annual IEEE international conference on pervasive computing and communications workshops.PerCom workshops 2007. IEE . IEEE Computer Society, Los Alamitos, California, pp. 165-170. ISBN 9780769527888

Weeds, Julie, Weir, David and Keller, Bill (2005) The distributional similarity of sub-parses. In: Proceedings of the ACL Workshop on Empirical Modeling of Semantic Equivalence and Entailment. Proceedings of the Conference. . Association for Computational Linguistics, Menlo Park, CA. USA, pp. 7-12. ISBN 0736-587X

Weir, David (1992) Automata theory as relevant to linguistics. In: Bright, W. (ed.) International Encyclopedia of Linguistics. Oxford University Press, Oxford, England, pp. 145-146. ISBN 0195051963

Weir, David (1992) Linear context-free rewriting systems and deterministic tree-walking transducers. In: Proceedings of the 30th Meeting of the Association for Computational Linguistics. Association for Computational Linguistics, Morristown, NJ, USA, pp. 136-143.

Weir, David and Joshi, Aravind (1988) Combinatory categorial grammars: generative power and relationship to linear context-free rewriting systems. In: Proceedings of the 26th Meeting of the Association for Computational Linguistics. Association for Computational Linguistics, Stanford, California, pp. 278-285.

Weir, David, Vijay-Shanker, K. and Joshi, Aravind (1986) The relationship between tree adjoining grammars and head grammars. In: Proceedings of the 24th Meeting of the Association for Computational Linguistics. Association for Computational Linguistics, Morristown, NJ, USA, pp. 67-74.

Whitby, Blay (1996) The Turing Test: AI's biggest blind alley? In: Millican, P. and Clark, A. (eds.) Machines and Thought: The Legacy of Alan Turing. Mind Association Occasional Series, 1 . Oxford University Press, USA, USA, pp. 53-62. ISBN 9780198235934

White, M., Liarokapis, Fotis, Mourkoussis, N., Basu, Anirban, Darcy, J., Petridis, Panagiotis and Lister, P.F. (2004) A lightweight XML driven architecture for the presentation of virtual cultural exhibitions (ARCOLite). In: Guimaraes, Nuno and Isaias, Pedro (eds.) Proc. IADIS International Conference of Applied Computing 2004. IADIAS Press, Lisbon, pp. 205-212. ISBN 972-98947-3-6

White, Martin, Liarokapis, Fotis, Mourkoussis, N., Basu, Anirban, Darcy, J., Petridis, Panagiotis, Sifniotis, Maria and Lister, P.F. (2004) ARCOlite — an XML based system for building and presenting virtual museums using Web3D and augmented reality. In: Theory and Practice of Computer Graphics, 2004. Proceedings. IEEE, pp. 94-101. ISBN 0-7695-2137-1

White, Martin, Mourkoussis, N, Darcy, J, Petridis, Panagiotis, Liarokapis, Fotis, Lister, P.F, Walczak, K, Wojciechowski, R, Cellary, W, Chmielewski, J, Stawniak, M, Wiza, W, Patel, M, Stevenson, J, Manley, J, Giorgini, F, Sayd, P and Gaspard, F (2004) ARCO: an architecture for digitization, management and presentation of virtual exhibitions. In: Computer Graphics International 2004 (CGI'04). IEEE, pp. 622-625.

Witchel, Harry J, Westling, Carina, Needham, Rob, Healy, Aoife and Chockalingam, Nachiappan (2013) Mean head and shoulder heights when seated: subconscious postural cycles during discrete, computerised stimuli. In: Barcellini, Flore and Murray, Dianne (eds.) ECCE 2013 : proceedings of the 31st European Conference on Cognitive Ergonomics. Association for Computing Machinery, New York. ISBN 9781450322515

Wojciechowski, R, Walczak, K, White, M and Liarokapis, F (2004) Using virtual and augmented reality for presenting cultural objects. In: Liarokapis, F (ed.) Proc. of EVA 2003. V. Cappellini et al. (Eds). . Pitagora Editrice Bologna, Florence, Italy, p. 9. ISBN 88-371-1391-9

Wojciechowski, Rafal, Walczak, Krzysztof, White, Martin and Cellary, Wojciech (2004) Building Virtual and Augmented Reality museum exhibitions. In: Brutzman, Donald P., Chittaro, Luca and Puk, Richard (eds.) Proceeding of the Ninth International Conference on 3D Web Technology, Web3D 2004, Monterey, California, USA. ACM Press, New York, NY, USA, pp. 135-144. ISBN 1581138458

du Boulay, Benedict (2000) Can we learn from ITSs? In: Gauthier, Gilles, Frasson, Claude and VanLehn, Kurt (eds.) Intelligent Tutoring Systems: Proceedings of 5th International Conference (ITS). Lecture Notes in Computer Science, 1839 . Springer, Montreal, Canada, pp. 9-17. ISBN 3540676554

du Boulay, Benedict (2000) Fallible, distractible, forgetful, wilful and irrational learners. In: Lajoie, Susanne (ed.) Computers as Cognitive Tools: Volume II-No More Walls. Lawrence Erlbaum, London, pp. 339-375. ISBN 0805829318

du Boulay, Benedict (2004) Representation in learning computer science: black boxes in glass boxes revisited. In: Korhonen, A. (ed.) Proceedings of Third Program Visualization Workshop, University of Warwick. July 2004. Research Report CS-RR-407 . Department of Computer Science, University of Warwick, Warwick, p. 1. ISBN 0-902683-74-8

du Boulay, Benedict, Cuthbert, Lisa, De Andres Garcia, Fernando, du Boulay, George, Jeffrey, Nathan, Sharples, Mike, Teather, Briony, Teather, Derek and Whitcombe, Emma (2001) Training in image description and diagnosis for MR radiology of the brain. In: Claridge, E., J. Bamber, J. and Marlow, K. (eds.) Medical Image Understanding and Analysis 2001. BMVA, Birmingham, UK., pp. 85-88. ISBN 1901725154

du Boulay, Benedict and Luckin, Rosemary (2002) Resource reuse and broadband user modelling in ie-TV. In: Cerri, Stefano, Gouarderes, Guy and Paranguaccu, Fabio (eds.) Intelligent Tutoring Systems, 6th International Conference, ITS 2002, Biarritz, France and San Sebastian, Spain, June 2-7, 2002, Proceedings. Lecture Notes in Computer Science, Volume . Springer, Berlin/Hidelberg, pp. 207-224. ISBN 9783540437505

du Boulay, Benedict and Luckin, Rosemary (2002) Resource reuse in ie-TV. In: Mastoff, Judith and Luckin, Rosemary (eds.) Intelligent Tutoring Systems : 6th International Conference, ITS 2002, Biarritz, France and San Sebastian, Spain, June 2-7, 2002. Proceedings. Lecture Notes in Computer Science, 2363/2 . Springer, Berlin / Heidelberg, p. 995. ISBN 9783540437505

du Boulay, Benedict and Luckin, Rosemary (2001) The plausibility problem: an initial analysis. In: Beynon, Meurig, Nehaniv, Chistopher L. and Dautenhahn, Kerstin (eds.) Cognitive Technology: Instruments of Mind: 4th International Conference. Lecture Notes in Computer Science, 2117 . Springer-Verlag, pp. 289-300. ISBN 9783540424062

Reports and working papers

Chalmers, Dan, Chalmers, Matthew, Crowcroft, Jon, Kwiatkowska, Marta, Milner, Robin, O'Neill, Eamonn, Rodden, Tom, Sassone, Vladimiro and Sloman, Morris (2006) Ubiquitous Computing: Experience, Design and Science. Technical Report. Uk Computing Research Committee, London.

Conference or Workshop Item

Al-Kadi, Omar S and Watson, Des (2007) Fractal analysis of CE CT lung tumours images. In: 9th Great British R&D Show, London, UK.

Barker-Plummer, Dave, Dale, Robert and Cox, Richard (2012) Using edit distance to analyse errors in a natural language to logic translation corpus. In: The 5th International Conference on Educational Data Mining (EDM 2012), 19-21st June, Chania, Greece.

Carroll, John, Evans, Roger and Klein, Ewan (2005) Supporting text mining for e-Science: the challenges for Grid-enabled natural language processing. In: Workshop on Text Mining, e-Research And Grid-enabled Language Technology at the Fourth UK e-Science Programme All Hands Meeting (AHM2005), 19-22 Sep 2005, Nottingham, UK.

Carroll, John and Oepen, Stephan (2005) High efficiency realization for a wide-coverage unification grammar. In: Second International Joint Conference on Natural Language Processing (IJCNLP05), Jeju Island, Korea..

Chatwin, Chris (2017) Hard and soft technologies for global smart cities. In: Smart City, 27/11/2017, University of Basra, Basra, Iraq.

Chatwin, Chris, Ajiboye, Soladoye, Birch, Philip and Young, Rupert (2017) A directory service for city video surveillance systems. In: Information Technologies, Systems and Networks, 17-18th October 2017, Chisinau, Moldova.

Chatwin, Chris, Ajiboye, Soladoye, Birch, Philip and Young, Rupert (2017) A directory service for city video surveillance systems. In: Information Technologies, Systems and Networks, 17- 18 October 2017, Chisinau, Modlova.

Chatwin, Chris, Corbel, Serge and Young, Rupert (2002) Micro-engineering with lasers. In: Photon02, 2nd - 5th September, 2002, Cardiff International Arena.

Chatwin, Chris, Young, Rupert, Birch, Philip, BangaloreManjunathamurthy, Nagachetan and Hassan, Waqas (2012) Computer vision – cloud, smart or both. In: COGS seminars Summer 2012, 22nd May 2012, University of Sussex, Arts C133.

Chatwin, Chris, Young, Rupert, Budgett, David, Birch, Philip, Claret-Tournier, Frederick and Sharp, Jim (2000) Hybrid digital/optical computer systems. In: Institution of Electrical Engineers - Seminar, 21st November 2000, Arundel - West Sussex.

Cheng, Peter C H (2012) Visualizing syllogisms: category pattern diagrams versus Venn diagrams. In: 3rd International Workshop on Euler Diagrams, July 2, 2012, Canterbury, UK.

Cheong, Chi Po, Chatwin, Chris and Young, Rupert (2011) A new secure token for enhancing web service security. In: IEEE International Conference on Computer Science and Automation Engineering (CSAE), 10-12 June 2011, The Guang Dong Hotel, Shanghai, China.

Dowdall, James, Keller, Bill, Padro, Lluis and Padro, Muntsa (2007) An automata based approach to biomedical named entity recognition. In: Annual Meeting of the ISMB BioLINK Special Interest Group on Text Data Mining, Vienna, Austria.

Fazi, M Beatrice (2011) Soft computing: forms and limits in computational aesthetics. In: ISEA 2011 Istanbul - The 17th International Symposium on Electronic Art, 14-21 Sep 2011, Istanbul, Turkey.

Frauenberger, Christopher, Good, Judith, Alcorn, Alyssa and Pain, Helen (2012) Supporting the design contributions of children with autism spectrum conditions. In: Proceedings of the 11th International Conference on Interaction Design and Children (IDC '12), 12-15 June, 2012, Bremen, Germany.

Gjoreski, Hristijan, Ciliberto, Mathias, Ordoñez Morales, Francisco Javier, Roggen, Daniel, Mekki, Sami and Valentin, Stefan (2017) A versatile annotated dataset for multimodal locomotion analytics with mobile devices. In: The 15th ACM Conference on Embedded Networked Sensor Systems (SenSys 2017), Sunday 5th - Wednesday 8th November 2017, Delft, The Netherlands.

Grierson, M and Kiefer, Chris (2011) Maximillian: an easy to use, cross platform C++ toolkit for interactive audio and synthesis applications. In: International Computer Music Conference, 31 July - 5 August 2011, University of Huddersfield, UK.

Grierson, M, Kiefer, Chris and Yee-King, Matthew (2011) Progress report on the EAVI BCI toolkit for music: musical applications of algorithms for use with consumer brain computer interfaces. In: International Computer Music Conference, 31 July - 5 August 2011, University of Huddersfield, UK.

Grierson, Mick and Kiefer, Chris (2011) Better brain interfacing for the masses: progress in event-related potential detection using commercial brain computer interfaces. In: CHI '11 Extended Abstracts on Human Factors in Computing Systems, May 7 - 12, 2011, Vancouver, Canada.

Grierson, Mick and Kiefer, Chris (2013) NoiseBear: a wireless malleable instrument designed in participation with disabled children. In: 13th International Conference on New Interfaces for Musical Expression, 27 May 2013, Daejon, South Korea.

Grierson, Mick and Kiefer, Chris (2013) NoiseBear: a wireless malleable multiparametric controller for use in assistive technology contexts. In: CHI '13 Extended Abstracts on Human Factors in Computing Systems, 27 April - 2 May, 2013, Paris, France.

Kawaguchi, Nobuo, Nishio, Nobuhiko, Roggen, Daniel, Inoue, Sozo, Pirttikangas, Susanna and Van Laerhoven, Kristof (2016) 4th Workshop on human activity sensing corpus and applications: towards open-ended context awareness. In: Ubicomp workshop, 12-16 September 2016, Heidelberg, Germany.

Khaliq, Bilal and Carroll, John (2013) Induction of root and pattern lexicon for unsupervised morphological analysis of Arabic. In: 6th international joint conference on natural language processing (IJCNLP), 14-18 October 2013, Nagoya, Japan.

Khaliq, Bilal and Carroll, John (2013) Unsupervised induction of Arabic root and pattern lexicons using machine learning. In: International conference recent advances in natural language processing (RANLP), 7-13 September 2013, Hissar, Bulgaria.

Kiefer, Chris (2014) Musical instrument mapping design with Echo State Networks. In: 14th International Conference on New Interfaces for Musical Expression, 30 June - 4 July 2014, Goldsmiths, University of London.

Kober, Thomas and Weir, David (2015) Optimising agile social media analysis. In: 6th Workshop on Computational Approaches to Subjectivity, Sentiment and Social Media Analysis (WASSA 2015), 17th September 2015, Lisbon.

Magnusson, Thor (2014) Algorithmic notation: scores and timelines. In: Di Stanze Music Festival, November 1st, 2014, Leeds.

Matthews, Danny, Chalmers, Dan and Wakeman, Ian (2011) MediateSpace: decentralised contextual mediation using tuple spaces. In: Proceedings of the Third International Workshop on Middleware for Pervasive Mobile and Embedded Computing, December 2011, Lisbon, Portugal.

McCarthy, Diana Frances, Koeling, Rob, Weeds, Julie and Carroll, John (2004) Finding predominant word senses in untagged text. In: 42nd Annual Meeting of the Association for Computational Linguistics, Barcelona, Spain.

Mourkoussis, N, Liarokapis, Fotis, Basu, Anirban, White, Martin and Lister, P.F. (2004) Using XML technologies to present digital content with Augmented Reality. In: Eurographics Ireland 2004 Workshop, 9 Sep 2004, University College Cork, Cork City.

Mousas, Christos and Newbury, Paul (2012) Real-time motion synthesis for multiple goal-directed tasks using motion layers. In: Virtual Reality Interaction and Physical Simulation, 6-7/12/2012, Darmstadt, Germany.

Mousas, Christos, Newbury, Paul and Anagnostopoulos, Christos-Nikolaos (2014) Data-driven motion reconstruction using local regression models. In: 10th International Conference Artificial Intelligence Applications and Innovations, 19th-21st September 2014, Rhodes, Greece..

Mousas, Christos, Newbury, Paul and Anagnostopoulos, Christos-Nikolaos (2013) Measuring the steps: generating action transitions between locomotion behaviours. In: Computer Games: AI, Animation, Mobile, Interactive Multimedia, Educational Serious Games (CGAMES), 2013 18th International Conference on, July 30-August 1 2013, Louisville, Kentucky (KY).

Naicken, Stephen, Wakeman, Ian and Chalmers, Dan (2012) Finding trusted publish/subscribe trees. In: 6th IFIP WG 11.11 International Conference, IFIPTM, 21-25 May 2012, Surat, India.

Nowotny, Thomas and Huerta, Ramón (2012) On the equivalence of Hebbian learning and the SVM formalism. In: Information Sciences and Systems (CISS), 2012 46th Annual Conference on, 21-23 March 2012, Princeton, NJ.

Ordonez Morales, Francisco Javier and Roggen, Daniel (2016) Deep convolutional feature transfer across mobile activity recognition domains, sensor modalities and locations. In: 20th International Symposiumon Wearable Computers (ISWC) 2016, 12-16 September 2016, Heidelberg, Germany.

Parisis, George and Trossen, Dirk (2011) Towards an implementation of an information-centric network. In: Euro-NF International Workshop on Traffic and Congestion Control for the Future Internet, 31 March – 1 April, 2011, Volos, Greece.

Poland, Simon P, Coelho, Simao, Krstajic, Nikola, Tyndall, David, Walker, Richard, Pittmily, James, Li, David, Henderson, Robert and Ameer-Beg, Simon (2013) Development of a fast TCSPC FLIM-FRET imaging system. In: SPIE BiOS.

Ponce Cuspinera, Luis, Uetsuji, Sakura, Ordonez Morales, Francisco Javier and Roggen, Daniel (2016) Wearable beach volleyball serve type recognition. In: ISWC 2016: the 20th International Symposium on Wearable Computers, September 12-16, 2016, Heidelberg, Germany.

Qureshi, Tabassum-Ur-Razaq, Chatwin, Chris, Zhou, Zhou, Li, Nan and Wang, Wei (2012) Investigation of voltage source designs for Electrical Impedance Mammography Systems. In: 34th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC 2012), 28/8/2012 to 1/9/2012, San Diego, California, USA.

Rattanarungrot, Sasithorn, White, Martin and Newbury, Paul (2014) A mobile service oriented multiple object tracking augmented reality architecture for education and learning experiences. In: 10th International Conference on Mobile Learning 2014, 28/02/2014-02/03/2014, Madrid, Spain.

Savkov, Aleksandar, Carroll, John and Cassell, Jackie (2014) Chunking clinical text containing non-canonical language. In: 13th Workshop on Biomedical Natural Language Processing (BioNLP), 26-27 Jun 2014, Baltimore, MD.

Schwinghammer, Jan, Yang, Hongseok, Birkedal, Lars, Pottier, Francois and Reus, Bernhard (2010) A semantic foundation for hidden state. In: FOSSACS 2010, March 20-28, 2010., Paphos.

Tate, A Rosemary, Verheij, Robert, Beloff, Natalia, Williams, Tim and Kalra, Dipak (2012) Measuring and comparing data quality in electronic health care records. In: MIE 2012: XXIV Conference of the European Federation for Medical Information "Quality of Life through Quality of Information", 25-29th August, Pisa, Italy.

Wan, Bo, Vi, Chi, Subramanian, Sriram and Martinez Plasencia, Diego (2016) Enhancing interactivity with transcranial direct current stimulation. In: Companion Publication of the 21st International Conference on Intelligent User Interfaces, 7 to 10 March 2016, Sonoma, California.

Weal, Mark J, Cruickshank, Don, Michaelides, Danius T, Howland, Katherine and Fitzpatrick, Geraldine (2007) Supporting domain experts in creating pervasive experiences. In: Fifth Annual IEEE International Conference on Pervasive Computing and Communications (PerCom'07), 19-23 March, 2007, White Plains, New York, USA.

Westling, Carina Ellinor Irene, Barker, Leon, Healy, Aoife, Needham, Robert, Witchel, Harry and Chockalingam, Nachiappan (2013) Spatial data correlation: an interactive 3D visualisation tool for correlating the motion capture data streams from difference devices. In: Electronic Visualisation and the Arts (EVA 2013), 29 - 31 July 2013, London.

Witchel, Harry, Lavia, Lisa, Westling, Carina Ellinor Irene, Healy, Aoife, Needham, Robert and Chockalingam, Nachiappan (2013) Using body language indicators for assessing the effects of soundscape quality on individuals. In: AIA-DAGA 2013 Conference on Acoustics, 18-21 March 2013, Merano, Italy.

Young, Rupert C D, Birch, Philip M and Chatwin, Chris R (2017) Classical and quantum optical computing. In: IET Communities, 21/2/2017, University of Sussex.

Conference Proceedings

Alabdullah, Bayan, Beloff, Natalia and White, Martin (2018) Rise of big data – issues and challenges. SCS-NCC' 2018 Saudi section 21st Saudi Computer Society National Computer Conference, Riyadh, Saudi Arabia, April 25-26, 2018. Published in: 2018 21st Saudi Computer Society National Computer Conference (NCC). 1-6. ISBN 9781538641118

Almjally, Abrar, Howland, Kate and Good, Judith (2020) Comparing TUIs and GUIs for primary school programming. ACM Technical Symposium on Computer Science Education (SIGSCE 2020), Portland. Oregon, US, 11-14 March 2020. Published in: Proceedings of ACM Technical Symposium on Computer Science Education (SIGCSE’20). 521-527. ACM ISBN 9781450367936

Almjally, Abrar, Howland, Kate and Good, Judith (2020) Investigating children’s spontaneous gestures when programming using TUIs and GUIs. Interaction Design and Children Conference (IDC ’20)., Online, 17-24 June 2020. Published in: IDC '20: Proceedings of the Interaction Design and Children Conference. 36-48. ACM, New York, NY, United States. ISBN 9781450379816

Alrehaili, Ahmed, White, Martin and Beloff, Natalia (2022) BCAP-SA—Towards a blockchain based cryptocurrency adoption model as a payment method in Saudi Arabia. 8th International Congress on Information and Communication Technology, London, United Kingdom, February 20 - 23, 2023. Published in: Lecture Notes in Networks and Systems. Springer International Publishing (Accepted)

Batchkarov, Miroslav, Kober, Thomas, Reffin, Jeremy, Weeds, Julie and Weir, David (2016) A critique of word similarity as a method for evaluating distributional semantic models. The 1st Workshop on Evaluating Vector Space Representations for NLP, Berlin, 12th August 2016. Published in: Proceedings of the 1st Workshop on Evaluating Vector-Space Representations for NLP. 7-12. Association for Computational Linguistics, Berlin, Germany.

Bhattacharya, Rituparna, White, Martin and Beloff, Natalia (2018) A blockchain based peer-to-peer framework for exchanging leftover foreign currency. 2017 Computing Conference, London, 18-20 July 2017. Published in: 2017 Computing Conference. IEEE

Bogdan, Petrut, Pineda Garcia, Garibaldi, Davidson, Simon, Hopkins, Michael, James, Robert and Furber, Steve (2019) Event-based computation: unsupervised elementary motion decomposition. 2019 EMerging Technology Conference (EMiT), Huddersfield, UK, 9-11 April 2019. Published in: Bane, M K and Homes, V, (eds.) Proceedings of the 2019 Emerging Technology Conference. 20-23. EMiT/University of Huddersfield/High End Compute Ltd/University of Manchester ISBN 978-0-9933426-4-6

Bollegala, Danushka, Weir, David and Carroll, John (2014) Learning to predict distributions of words across domains. 52nd Annual Meeting of the Association for Computational Linguistics, Baltimore, Maryland, USA, 23-25 June 2014. Published in: Proceedings of the 52nd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers). 613-623. The Association for Computational Linguistics ISBN 9781937284725

Brain, Martin, Joshi, Saurabh, Kroening, Daniel and Schrammel, Peter (2015) Safety verification and refutation by k-invariants and k-induction. Static Analysis Symposium, SAS 2015, Saint-Maol, France, 9-11 September 2015. Published in: Blazy, Sandrine and Jensen, Thomas, (eds.) Static Analysis. SAS 2015. 9291 145-161. Springer ISSN 0302-9743 ISBN 9783662482872

Chen, Xingyuan, Xia, Yunqing, Jin, Peng and Carroll, John (2015) Dataless text classification with descriptive LDA. 29th AAAI Conference on Artificial Intelligence (AAAI-15), Austin, Texas, USA, January 25–30, 2015. Published in: Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence. 3 2224-2231. Association for the Advancement of Artificial Intelligence Press ISBN 9781577357018

Cheng, Peter C-H (2018) Sets for foundational representations? A design case study with probability and distributions. SetVR 2018: International Workshop on Set Visualization and Reasoning, Edinburgh, UK, 18 June 2018. Published in: Sato, Yuri and Shams, Zohreh, (eds.) Proceedings of International Workshop on Set Visualization and Reasoning (SetVR 2018). 1-11. CEUR Workshop Proceedings ISSN 1613-0073

Chevalier, Cecile and Kiefer, Chris (2018) Towards new modes of collective musical expression through audio augmented reality. New Interfaces for Musical Expression, Virginia Tech, Virginia, USA, June 3 - 6, 2018. Published in: Proceedings of the International Conference on New Interfaces for Musical Expression. Association for Computing Machinery ISSN 2220-4806

Ciliberto, Mathias, Ordonez Morales, Francisco Javier, Gjoreski, Hristijan, Roggen, Daniel, Mekki, Sami and Valentin, Stefan (2017) High reliability Android application for multidevice multimodal mobile data acquisition and annotation. 15th ACM Conference on Embedded Networked Sensor Systems, Delft, Netherlands, 5-8 November. Published in: Markham, Andrew and Zuniga, Marco, (eds.) SenSys '17 Proceedings of the 15th ACM Conference on Embedded Network Sensor Systems. ACM ISBN 9781450354592

Ciliberto, Mathias, Ponce Cuspinera, Luis and Roggen, Daniel (2019) WLCSSLearn: learning algorithm for template matching-based gesture recognition systems. Internatoinal Conference on Activity and Behavior Computing, Spokane, Eastern Washington University, USA, May. 30 - Jun. 2, 2019. Published in: Inoue, Sozo and Rahman Ahad, Atiqur, (eds.) ICIEV-&-ICIVPR 2019. 1 91-96. Institute of Electrical and Electronics Engineers ISBN 9781728107868

Ciliberto, Mathias, Roggen, Daniel, Wang, Lin and Zillmer, Ruediger (2018) A case study for human gesture recognition from poorly annotated data. UbiComp '18, Singapore, 9th - 11th October, 2018. Published in: UbiComp '18 Proceedings of the 2018 ACM International Joint Conference and 2018 International Symposium on Pervasive and Ubiquitous Computing and Wearable Computers. 1434-1443. Association for Computing Machinery, New York. ISBN 9781450359665

Cordeiro, Lucas, Kesseli, Pascal, Kroening, Daniel, Schrammel, Peter and Trtik, Marek (2018) JBMC: a bounded model checking tool for verifying java bytecode. CAV 2018- 30th International Conference on Computer Aided Verification, Oxford, UK, July 14-17, 2018. Published in: CAV 2018 Computer Aided Verification. Springer, Cham. ISBN 9783319961446

Cordeiro, Lucas C, Kroening, Daniel and Schrammel, Peter (2018) Benchmarking of Java verification tools at the software verification competition (SV-COMP). The 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Florida, USA, Monday 5 November 2018. Published in: Software Engineering Notes. 43 (4) 55-56. Association for Computing Machinery ISSN 0163-5948

Cornelio Martinez, Patricia Ivette, Maggioni, Emanuela, Hornbæk, Kasper, Obrist, Marianna and Subramanian, Sriram (2018) Beyond the Libet clock: modality variants for agency measurements. ACM CHI Conference on Human Factors in Computing Systems (CHI 2018), Montreal, QC, Canada, April 21–26, 2018. Published in: Proceedings of the ACM CHI Conference on Human Factors in Computing Systems (CHI 2018). Association for Computing Machinery, New York. ISBN 97814503562

Flegkas, Paris, Sourlas, Vassilis, Parisis, George and Trossen, Dirk (2013) Storage replication in information-centric networking. Published in: Proceedings of the 2013 International Conference on Computing, Networking and Communications (ICNC); San Diego, CA; 28-31 January 2013. 850-855. Institute of Electrical and Electronics Engineers ISBN 9781467352871

Gardezi, A, Umer, T, Butt, F, Young, R and Chatwin, C (2016) Vehicle monitoring under Vehicular Ad-Hoc Networks (VANET) parameters employing illumination invariant correlation filters for the Pakistan motorway police. Published in: Proceedings of SPIE Defense + Security 2016 on Optical Pattern Recognition; Baltimore, MD , United States; 17-21 April 2016. XXVII (984508) 1-13. SPIE ISBN 9781510600867

Gilardi, Marco, Watten, Phil L and Newbury, Paul (2014) Unsupervised three-dimensional reconstruction of small rocks from a single two-dimensional image. Eurographics 2014, Strasbourg, France, 7-11 April 2014. Published in: Galin, Eric and Wand, Michael, (eds.) Eurographics 2014 - Short Papers. 29-32. The Eurographics Association ISSN 1017-4656

Gjoreski, Hristijan and Roggen, Daniel (2017) Unsupervised online activity discovery using temporal behaviour assumption. The 21st International Symposium on Wearable Computers (ISWC), Maui, Hawai, USA, 11.09 - 15.09.2017. Published in: International Symposium on Wearable Computers. 1 (3) 42-49. Association for Computing Machinery ISBN 9781450351881

Hassan, Waqas, Birch, Philip, Young, Rupert and Chatwin, Chris (2014) PHACT: parallel HOG and correlation tracking. Published in: Loce, Robert P and Saber, Eli, (eds.) Proceedings of IS&T / SPIE on Electronic Imaging: Video Surveillance and Transportation Imaging Applications; San Francisco, California, USA; 3-5 February 2014. 9026 2. Society of Photo Optical Instrumentation Engineers / Society for Imaging Science and Technology ISSN 0277-786X ISBN 9780819499431

Iñurrieta, Uxoa, Díaz de Ilarraza, Arantza, Labaka, Gorka, Sarasola, Kepa, Aduriz, Itziar and Carroll, John (2016) Using linguistic data for English and Spanish verb-noun combination identification. COLING 2016, the 26th International Conference on Computational Linguistics: Technical Papers, Osaka, Japan. Published in: Proceedings of the 26th International Conference on Computational Linguistics: Technical Papers. 857-867. International Committee on Computational Linguistics (ICCL) ISBN 9784879747020

Jeannet, Bertrand, Schrammel, Peter and Sankaranarayanan, Sriram (2014) Abstract acceleration of general linear loops. Principles of Programming Languages, POPL 2014, San Diego, California, USA, January 2014. Published in: POPL '14. 49 529-540. ACM, New York, NY, United States. ISBN 9781450325448

Johnson, Chris, Philippides, Andrew and Husbands, Philip (2015) Maze navigation and memory with physical reservoir computers. European Conference on Artificial Life 2015, York, UK, 20-24 July 2015. Published in: Andrews, Paul, Caves, Leo, Doursat, René, Hickinbotham, Simon, Polack, Fiona, Stepney, Susan, Taylor, Tim and Timmis, Joe, (eds.) Late Breaking Proceedings of the European Conference on Artificial Life 2015. 19-22. MIT Press

Kiefer, Chris (2014) Musical instrument mapping design with Echo State Network. New Interaces for Musical Expression, Goldsmiths, London, June 2014. Published in: Proceedings of the International Conference on New Interfaces for Musical Expression. 293-298. ISSN 2220-4806

Kiefer, Chris and Magnusson, Thor (2020) Live coding machine learning and machine listening: a survey on the design of languages and environments for live coding. ICLC 2019 International Conference on Live Coding, Media Lab Prado, Madrid, 16-18th January 2019. Published in: Proceedings of the Fourth International Conference on Live Coding. Medialab Prado ISBN 9788418299087

Kober, Thomas, Weeds, Julie, Wilkie, John, Reffin, Jeremy and Weir, David (2017) One representation per word - does it make sense for composition? Published in: Proceedings of the 1st Workshop on Sense, Concept and Entity Representations and their Applications [Valencia, Spain, 3rd-7th April 2017]. 79-90. Association for Computational Linguistics

Kumar, Madhukar, Schrammel, Peter and Mandayam, Srivas (2017) Compositional safety refutation techniques. 15th International Symposium on Automated Technology for Verification and Analysis, Pune, India, 3-6 October 2017. Published in: Automated Technology for Verification and Analysis. 164-183. Springer ISBN 9783319681665

Malik, Viktor, Hruska, Martin, Schrammel, Peter and Vojnar, Tomas (2018) Template-based verification of heap-manipulating programs. fmcad.18 Formal Methods in Computer-Aided Design 2018, University of Texas, Austin, Texas, Oct 31 - Nov 2, 2018. Published in: Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design (FMCAD 2018) Austin, Texas, USA, October 30 – November 2, 2018. 103-112. Institute of Electrical and Electronics Engineers ISBN 9780983567882

Malik, Viktor, Martiček, Štefan, Schrammel, Peter, Srivas, Mandayam, Vojnar, Tomáš and Wahlang, Johanan (2018) 2LS: memory safety and non-termination (competition contribution). 24th International Conference , TACAS 2018, Thessaloniki, Greece, April 14-20, 2018. Published in: Tools and Algorithms for the Construction and Analysis of Systems (TACAS). 10806 417-421. Springer ISBN 9783319899633

Messager, Antoine, Parisis, George, Harper, Robert, Tee, Philip, Kiss, István Z and Berthouze, Luc (2018) Network Events in a Large Commercial Network: What can we learn? NOMS 2018 - 2018 IEEE/IFIP Network Operations and Management Symposium, Taipei, Taiwan, 23-27 April 2018. Published in: NOMS 2018 - IEEE/IFIP AnNet. 1-6. Institute of Electrical and Electronics Engineers

Messager, Antoine, Parisis, Georgios, Kiss, István Z, Harper, Robert, Tee, Phil and Berthouze, Luc (2019) Functional topology inference from network events. IFIP/IEEE International Symposium on Integrated Network Management. Intelligent Management for the Next Wave of Cyber and Social Networks, Washington DC, USA, 8-12 April 2019. Published in: 2019 IFIP/IEEE Symposium on Integrated Network and Service Management (IM). Institute of Electrical and Electronics Engineers ISBN 9783903176157

Mousas, Christos, Newbury, Paul and Anagnostopoulos, Christos-Nikolaos (2014) Evaluating the covariance matrix constraints for data-driven statistical human motion reconstruction. ACM/Eurographics Spring Conference on Computer Graphics, Vienna, 28th - 30th May 2014. Published in: SCCG '14: Proceedings of the 30th Spring Conference on Computer Graphics. 99-106. Association for Computing Machinery, New York, NY, United States. ISBN 9781450330701

Mukherjee, Rajdeep, Schrammel, Peter, Haller, Leopold, Kroening, Daniel and Melham, Tom (2017) Lifting CDCL to template-based abstract domains for program verification. International Symposium on Automated Technology for Verification and Analysis, Pune, India, 3-6 October 2017. Published in: Automated Technology for Verification and Analysis. 307-326. Springer ISBN 9783319681665

Nguyen, Truc L, Schrammel, Peter, Fischer, Bernd, La Torre, Salvatore and Parlato, Gennaro (2017) Parallel bug-finding in concurrent programs via reduced interleaving instances. The 32nd IEEE/ACM International Conference on Automated Software Engineering, University of Illinois, 30th October - 3rd November. Published in: Automated Software Engineering. 753-764. Association for Computing Machinery ISSN 0928-8910 ISBN 9781538626849

Overbury, Peter and Berthouze, Luc (2015) Using novelty-biased GA to sample diversity in graphs satisfying constraints. 2015 Annual Conference on Genetic and Evolutionary Computation, Madrid, 11-15th July 2015. Published in: Gecco Companion 2015. 1445-1446. ACM, New York, NY. ISBN 9781450334884

Overbury, Peter, Kiss, Istvan Z and Berthouze, Luc (2016) A genetic algorithm-based approach to mapping the diversity of networks sharing a given degree distribution and global clustering. 5th International Workshop on Complex Networks and their Applications, Milan, 30th November - 2nd December 2016. Published in: Cherifi, Hocine, Gaito, Sabrina, Quattrociocchi, Walter and Sala, Alessandra, (eds.) Complex Networks & Their Applications V. 693 223-233. Springer ISBN 9783319509006

Overbury, Peter, Kiss, István Z and Berthouze, Luc (2018) Mapping structural diversity in networks sharing a given degree distribution and global clustering: Adaptive resolution grid search evolution with Diophantine equation-based mutations. Complex Networks 2018: The 7th International Conference on Complex Networks and Their Applications, Cambridge, United Kingdom, December 11-13, 2018. Published in: Cherifi, C B, Cherifi, H, Karsai, M and Musolesi, M, (eds.) Complex Networks & Their Applications VII - Proceedings The 7th International Conference on Complex Networks and Their Applications COMPLEX NETWORKS 2018. 812 718-730. Springer ISSN 1860-949X ISBN 9783030054106

Parisis, George and Apostolopoulos, Theodore (2009) A distributed hash table-based approach for providing a file system neutral, robust and resilient storage infrastructure. Published in: Proceedings of the 5rd EURO-NGI Conference on Next Generation Internet Networks (NGI '09); Aveiro, Portugal; 1-3 July 2009. Institute of Electrical and Electronics Engineers ISBN 9781424442447

Parisis, George, Arkoulis, Stamatis and Apostolopoulos, Theodore (2008) An open architecture for monitoring and measuring QoS indicators in wireless community networks. Published in: Proceedings of the 4th EURO-NGI Conference on Next Generation Internet Networks (NGI '08); Krakow, Poland; 28-30 April 2008. 284-291. Institute of Electrical and Electronics Engineers ISBN 9781424417841

Parisis, George, Moncaster, Toby, Madhavapeddy, Anil and Crowcroft, Jon (2013) Trevi: watering down storage hotspots with cool fountain codes. Published in: Proceedings of the Twelfth ACM Workshop on Hot Topics in Networks; College Park, MD, USA; 21-22 November 2013. a22. Association for Computing Machinery ISBN 9781450325967

Parisis, George, Tagger, Ben, Trossen, Dirk, Syrivelis, Dimitris, Flegkas, Paris, Tassiulas, Leandros, Stais, Charilaos, Tsilopoulos, Christos and Xylomenos, George (2012) Demonstrating an information-centric network in an international testbed. Published in: Korakis, Thanasis, Zink, Michael and Ott, Maximilian, (eds.) Proceedings of International Conference on Testbeds and Research Infrastructure: Development of Networks and Communities; Thessaloniki, Greece; 11-13 June 2012. 44 400-402. Springer Verlag, Berlin. ISSN 1867-8211 ISBN 9783642355752

Parisis, George, Tagger, Ben, Trossen, Dirk, Tsilopoulos, Christos, Thomas, Yiannis, Stais, Charis and Xylomenos, George (2013) Demonstrating usage diversity over an information-centric network. Published in: Proceedings of the 2013 IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS); Turin, Italy; 14th-19th April 2013. Institute of Electrical and Electronics Engineers ISBN 9781479900558

Parisis, George and Trossen, Dirk (2013) Digital fountains in information-centric networking. Published in: Proceedings of the 3rd ACM SIGCOMM workshop on Information-centric networking; Hong Kong, China; 12 August 2013. 37-38. Association for Computing Machinery, New York. ISBN 9781450321792

Parisis, George and Trossen, Dirk (2013) Filling the gaps of unused capacity through a fountain coded dissemination of information. Published in: Proceedings of the 2013 ACM MobiCom workshop on Lowest Cost Denominator Networking for Universal Access; Miami, Florida, USA; 30 September - October 04 2013. 35-40. Association for Computing Machinery, New York. ISBN 9781450323659

Parisis, George, Trossen, Dirk and Syrivelis, Dimitris (2013) Implementation and evaluation of an information-centric network. Published in: Proceedings IFIP Networking Conference; Brooklyn, New York, USA; 22-24 May 2013. Institute of Electrical and Electronics Engineers ISBN 9781479927791

Parisis, George, Xylomenos, George and Apostolopoulos, Theodore (2011) DHTbd: a reliable block-based storage system for high performance clusters. Published in: Proceedings of the 11th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid); Newport Beach, CA, USA; 23-26 May 2011. 392-401. Institute of Electrical and Electronics Engineers ISBN 9781457701290

Parisis, George, Xylomenos, George and Gritzalis, Dimitris (2009) BLAST: off-the-shelf hardware for building an efficient hash-based cluster storage system. Published in: Proceedings of the Sixth IFIP International Conference on Network and Parallel Computing (NPC '09); Brisbane, Australia; 19-21 October 2009. 148-155. Institute of Electrical and Electronics Engineers ISBN 9781424449903

Peebles, David and Cheng, Peter (2017) Multiple representations in cognitive architectures. AAAI 2017 fall symposium series, Arlington, Virginia, 9-11 November 2017. Published in: AAAI 2017 fall symposium series. 425-430. AAAI Press, Palo Alto, CA. ISBN 9781577357940

Pineda García, Garibaldi, Camilleri, Patrick, Liu, Qian and Furber, Steve (2016) pyDVS: an extensible, real-time Dynamic Vision Sensor emulator using off-the-shelf hardware. 2016 IEEE Symposium Series on Computational Intelligence (SSCI), Athens, Greece, 6-9 December 2016. Published in: 2016 IEEE Symposium Series on Computational Intelligence (SSCI). 1-7. IEEE, Athens, Greece. ISBN 9781509042401

Pineda García, Garibaldi, Ortíz Bejar, José and Mercado Miramontes, José Francisco (2013) A prototype helping device for the visually impaired using an optical to mechanical transducer. 2013 IEEE International Autumn Meeting on Power Electronics and Computing (ROPEC), Morelia, Michoacán, México, 13-15 Nov. 2013. Published in: 2013 IEEE International Autumn Meeting on Power Electronics and Computing (ROPEC). Institute of Electrical and Electronics Engineers, México City, México. ISBN 9781479923700

Prabhu, Sumanth, Schrammel, Peter, Mandayam, Srivas, Tautschnig, Michael and Anand, Yeolekar (2017) Concurrent program verification with invariant-guided underapproximation. Fifteenth International Symposium on Automated Technology for Verification and Analysis, Pune, India, 3-6 October 2017. Published in: Automated Technology for Verification and Analysis. 241-248. Springer ISBN 9783319681665

Richoz, Sebastian, Ciliberto, Mathias, Wang, Lin, Birch, Philip, Gjoreski, Hristijan, Perez-Uribe, Andres and Roggen, Daniel (2019) Human and machine recognition of transportation modes from body-worn camera images. International Conference on Activity and Behavior Computing, Spokane, Eastern Washington University, USA, May. 30 - Jun. 2, 2019. Published in: Inoue, Sozo and Rahman Ahad, Atiqur, (eds.) International Conference on Activity and Behavior Computing. 1 67-72. Institute of Electrical and Electronics Engineers

Sam, K M and Chatwin, C R (2016) Adoption of Near Field Communication in the hotel industry based on risk perspectives and individual characteristics. Published in: Proceedings of the 2016 IEEE International Conference on Industrial Engineering and Engineering Management (IEEM); Bali, Indonesia; 4-7 December 2016. 1-5. Institute of Electrical and Electronics Engineers ISSN 2157-362X ISBN 9781509036653

Sam, K M and Chatwin, C R (2016) Evaluating the effectiveness of online product planning and layout tools in online apparel shopping. Published in: Proceedings of the 2015 IEEE International Conference on Industrial Engineering and Engineering Management (IEEM); Suntec City, Singapore; 6-9 December 2015. Institute of Electrical and Electronics Engineers ISBN 9781467380669

Sam, K M and Chatwin, C R (2018) Understanding adoption of big data analytics in China: from organizational users perspective. 2018 IEEE International Conference on Industrial Engineering and Engineering Management (IEEM), Bangkok, Thailand, 16-19 December 2018. Published in: IEEE Industrial Engineering & Engineering Management 2018. 507-510. Institute of Electrical and Electronics Engineers, IEEE Xplore digital library. ISSN 2157-362X ISBN 9781538667866

Schmidt, Lena, Weeds, Julie and Higgins, Julian P T (2020) Data mining in clinical trial text: transformers for classification and question answering tasks. Health Informatics, Valletta, Malta, 24th-26th February 2020. Published in: Proceedings of the 13th International Joint Conference on Biomedical Engineering Systems and Technologies. 5 83-94. Science and Technology Publications ISSN 2184-4305 ISBN 9789897583988

Shim, Yoonsik, Auerbach, Joshua E and Husbands, Phil (2016) Darwinian dynamics of embodied chaotic exploration. GECCO'16: Genetic and Evolutionary Computation Conference: A Recombination of the 25th Conference on Genetic Algorithms (IGCA) and the 21st Annual Genetic Programming Conference (GP), Denver, Colorado, July 20-24 2016. Published in: Friedrich, Tobias, (ed.) Proceedings of the 2016 on Genetic and Evolutionary Computation Conference Companion. 1053-1056. Association for Computing Machinery ISBN 9781450343237

Syrivelis, Dimitris, Parisis, George, Trossen, Dirk, Flegkas, Paris, Sourlas, Vassilis, Korakis, T and Tassiulas, Leandros (2012) Pursuing a software defined information-centric network. Published in: Conference Proceedings of the 2012 European Workshop on Software Defined Networking (EWSDN); Darmstadt, Germany; 25-26 October 2012. 103-108. Institute of Electrical and Electronics Engineers ISBN 9781467345545

Templeman, Charles, Ordóñez, Francisco Javier, Symes, Andrew and Roggen, Daniel (2016) Exploring glass as a novel method for hands-free data entry in flexible cystoscopy. The 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing (Ubicomp 2016), Heidelberg, Germany, 12-16 September 2016. Published in: Bulling, Andreas, Lim, Youn-Kyung and Patel, Shewtak, (eds.) Proceedings of the 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing. 581-592. Association for Computing Machinery ISBN 9781450344616

Trossen, Dirk, Vasilakos, Xenophon, Flegkas, Paris, Sourlas, Vassilis and Parisis, George (2011) Mobility work re-visited not considered harmful. Published in: Proceedings of the 3rd International Congress on Ultra Modern Telecommunications and Control Systems and Workshops (ICUMT); Budapest, Hungary; 5-7 October 2011. Institute of Electrical and Electronics Engineers ISSN 2157-0221 ISBN 9781457706820

Wang, Dong, Weeds, Julie and Comley, Ian (2020) Improving mental health using machine learning to assist humans in the moderation of forum posts. Health Informatics, Valletta, Malta, 24-26th February 2020. Published in: Proceedings of the 13th International Joint Conference on Biomedical Engineering Systems and Technologies. 5 187-197. Science and Technology Publications ISSN 2184-4305 ISBN 9789897583988

Wang, Lin, Gjoreski, Hristijan, Ciliberto, Mathias, Mekki, Sami, Stefan, Valentin and Roggen, Daniel (2018) Benchmarking the SHL Recognition Challenge with classical and deep-learning pipelines. HASCA Workshop at Ubicomp 2018, Singapore, 8-12 October 2018. Published in: Murao, Kazuya, Enokibori, Yu, Gjoreski, Hristijan, Lago, Paula, Okita, Tsuyoshi, Siirtola, Pekka, Hiroi, Kei and Scholl, Philipp, (eds.) Proceedings of the 2018 ACM International Joint Conference and 2018 International Symposium on Pervasive and Ubiquitous Computing and Wearable Computers. 1626-1635. Association for Computing Machinery ISBN 9781450359665

Wang, Lin, Gjoreski, Hristijan, Murao, Kazuya, Okita, Tsuyoshi and Roggen, Daniel (2018) Summary of the Sussex-Huawei Locomotion-Transportation Recognition Challenge. HASCA Workshop at Ubicomp 2018, Singapore, 8-12 October, 2018. Published in: Murao, Kazuya, Enokibori, Yu, Gjoreski, Hristijan, Lago, Paula, Okita, Tsuyoshi, Siirtola, Pekka, Hiroi, Kei and Scholl, Philipp, (eds.) UbiComp '18 Proceedings of the 2018 ACM International Joint Conference and 2018 International Symposium on Pervasive and Ubiquitous Computing and Wearable Computers. 1521-1530. Association for Computing Machinery ISBN 9781450359665

Weeds, Julie, Kober, Thomas, Reffin, Jeremy and Weir, David (2017) When a red herring is not a red herring: using compositional methods to detect non-compositional phrases. Published in: Proceedings of the 15th Conference of the European Chapter of the Association for Computational Linguistics [Valencia, Spain, April 3-7, 2017]: Volume 2, Short Papers. 529-534. ISBN 9781945626357

Yamakata, Yoko, Carroll, John and Mori, Shinsuke (2017) A comparison of cooking recipe named entities between Japanese and English. Published in: Proceedings of the 9th Workshop on Multimedia for Cooking and Eating Activities (CEA2017); Melbourne, Australia; 20 August 2017. 7-12. Association for Computing Machinery ISBN 9781450352673

Book

Collins, Nick and d'Escrivan, Julio, eds. (2007) The Cambridge companion to electronic music. Cambridge companions to music . Cambridge University Press, Cambridge. ISBN 9780521868617

Barker-Plummer, Dave, Cox, Richard and Swoboda, Nik, eds. (2006) Proceedings of diagrammatic representation and inference (Diagrams 2006): 4th International Conference. Lecture Notes in Computer Science, 4045 . Springer. ISBN 9783540356233

Vargas, Patricia A, Di Paolo, Ezequiel A, Harvey, Inman and Husbands, Phil, eds. (2014) The horizons of evolutionary robotics. Intelligent Robotics and Autonomous Agents . MIT Press, Cambridge, MA, USA. ISBN 9780262026765

Bossomaier, T, Barnett, L, Harré, M and Lizier, J T (2016) An introduction to transfer entropy: information flow in complex systems. Springer International. ISBN 9783319432212

Brna, Paul, du Boulay, Benedict and Pain, Helen (1999) Learning to build and comprehend complex information structures: prolog as a case study. Contemporary Studies in Cognitive Science and Technology, 3 . Ablex Publishing, Stamford, CT, USA. ISBN 1567504345

Crowcroft, Jon, Handley, Mark and Wakeman, Ian (1999) Internetworking multimedia. Taylor and Francis, London. ISBN 9780748408078

Hennessy, Matthew (1988) Algebraic theory of processes. The Foundations Of Computing Series . MIT Press. ISBN 0262081717

Hennessy, Matthew (1990) The semantics of programming languages: an elementary introduction using structural operational semantics. John Wiley & Sons. ISBN 0471927724

Sampson, Geoffrey Richard (1995) English for the computer: SUSANNE corpus and analytic scheme. Oxford University Press, USA. ISBN 0198240236

Sampson, Geoffrey Richard (2005) The "Language instinct" debate. Continuum International Publishing Group Ltd. ISBN 0826473857

Sampson, Geoffrey Richard (1985) Writing systems: a linguistic introduction. Stanford University Press. ISBN 0804717567

Thornton, Chris (2002) Truth from trash: how learning makes sense (complex adaptive systems). Complex Adaptive Systems . MIT Press, USA. ISBN 0262700875

Watson, Des (1989) High level languages and their compilers. International Computer Science Series . Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA. ISBN 0201184893

Whitby, Blay (1988) Artificial intelligence: a handbook of professionalism. Ellis Horwood Series in Mechanical Engineering . Ellis Horwood, Chichester, West Sussex. ISBN 0470211032

Whitby, Blay (1996) Reflections on Artificial Intelligence: the legal, moral and ethical dimensions. Intellect, Oxford, UK. ISBN 9781871516685

Wood, Sharon (1993) Planning and decision making in dynamic domains. Ellis Horwood Series in Artificial Intelligence . Ellis Horwood. ISBN 0130653845

Edited Book

Chrisley, Ron, Müller, Vincent C, Sandamirskaya, Yulia and Vincze, Markus, eds. (2017) Cognitive robot architectures: proceedings of EUCognition 2016. CEUR Workshop Proceedings, 1855 . CEUR-WS, Hamburg.

Kawaguchi, N, Nishio, N, Roggen, D, Inoue, S, Pirttikangas, S and Van Laerhoven, K, eds. (2019) Human activity sensing: corpus and applications. Springer Series in Adaptive Environments . Springer. ISBN 9783030130008

McLean, Alex, Magnusson, Thor, Ng, Kia, Knotts, Shelly and Armitage, Joanne (2015) Proceedings of the 1st International Conference on Live Coding. International Conference on Live Coding, 1 (1). ICSRiM, School of Music, Leeds. ISBN 9780853163404

Thesis

Alkhammash, Manal (2022) A blockchain and IoT based framework for decentralised smart campus environment. Doctoral thesis (PhD), University of Sussex.

Alsiyami, Aeshah Abdulkarim Dammad (2012) A policy language definition for provenance in pervasive computing. Doctoral thesis (DPhil), University of Sussex.

Alsowail, Rakan (2016) Secure file sharing. Doctoral thesis (PhD), University of Sussex.

Basu, Anirban (2010) A reputation framework for behavioural history: developing and sharing reputations from behavioural history of network clients. Doctoral thesis (DPhil), University of Sussex.

Churchill, Alexander Wainwright (2014) Evolutionary approaches to optimisation in rough machining. Doctoral thesis (PhD), University of Sussex.

Dhomeja, Lachhman Das (2011) Supporting policy-based contextual reconfiguration and adaptation in ubiquitous computing. Doctoral thesis (DPhil), University of Sussex.

Durrant, Simon James (2010) Negative correlation in neural systems. Doctoral thesis (DPhil), University of Sussex.

Fleming, Simon (2012) An ant-inspired, deniable routing approach in ad hoc question & answer networks. Doctoral thesis (DPhil), University of Sussex.

Freed, Samuel (2017) A role for introspection in AI research. Doctoral thesis (PhD), University of Sussex.

Harley, Dave (2011) Older people’s appropriation of computers and the Internet. Doctoral thesis (DPhil), University of Sussex.

Li, Jian (2010) Proxy compilation for Java via a code migration technique. Doctoral thesis (DPhil), University of Sussex.

Malkani, Yasir Arfat (2011) A proof-of-proximity framework for device pairing in ubiquitous computing environments. Doctoral thesis (DPhil), University of Sussex.

Pay, Jack Frederick (2020) The Corpus Expansion Toolkit: finding what we want on the web. Doctoral thesis (PhD), University of Sussex.

Sato, Shinya (2015) Design and implementation of a low-level language for interaction nets. Doctoral thesis (PhD), University of Sussex.

Stanier, James (2012) Removing and restoring control flow with the Value State Dependence Graph. Doctoral thesis (DPhil), University of Sussex.

Varna, Fevzi Tugrul (2023) Design and implementation of bio-inspired heterogeneous particle swarm optimisation algorithms for unconstrained and constrained problems. Doctoral thesis (PhD), University of Sussex.

Waugh, Karl Michael Vincent (2013) Partitions of codes. Doctoral thesis (PhD), University of Sussex.

Performance

Kiefer, Chris (2018) 10K video. [Performance]

Kiefer, Chris (2019) Luuma - live set. [Performance]