Research

Items from Faculty of Science > Computer Science

Up a level
Export as [feed] RSS 1.0 [feed] Atom [feed] RSS 2.0
Group by: Creators | Date | Item Type | No Grouping
Jump to: 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1999 | 1998 | 1997 | 1996 | 1995 | 1994 | 1993 | 1992 | 1991 | 1990 | 1989 | 1988 | 1987 | 1986 | 1985 | 1984 | 1983 | 1982 | 1981 | 1980 | 1979 | 1978 | 1977 | 1976 | 1975 | 1973 | 1972 | 1971 | 1970
Number of items at this level: 1438.

2016

Aramo-Immonen, H., Kärkkäinen, H., Jussila, J. J., Joel-Edgar, S. and Huhtamäki, J., 2016. Visualizing informal learning behavior from conference participants’ Twitter data with the Ostinato model. Computers in Human Behavior, 55 (Part A), pp. 584-595.

Duro, J. A., Padget, J. A., Bowen, C. R., Kim, H. A. and Nassehi, A., 2016. Multi-sensor data fusion framework for CNC machining monitoring. Journal of Mechanical Systems and Signal Processing, 66-67, pp. 505-520. Item availability may be restricted.

Finnegan, D., O'Neill, E. and Proulx, M., 2016. Forthcoming. Compensating for Distance Compression in Audiovisual Virtual Environments Using Incongruence. In: SIGCHI Conference in Human Factors in Computing Systems 2016, 2016-05-07.

Kelly, R., Gooch, D. and Watts, L., 2016. Technology appropriation as discretionary effort in mediated close personal relationships. In: Collaborative Appropriation: How Couples, Teams, Groups and Communities Adapt and Adopt Technologies, 2016-02-27 - 2016-02-27, San Francisco.

Kelly, R., Watts, L. and Payne, S., 2016. Forthcoming. Can visualization of contributions support fairness in collaboration? Findings from meters in an online game. In: The 19th ACM Conference on Computer-Supported Cooperative Work and Social Computing, 2016-02-27 - 2016-03-03, San Francisco.

2015

Aramo-Immonen, H., Leppäniemi, J., Soini, J. and Joel-Edgar, S., 2015. Forthcoming. Mediator’s Role in an Innovation Ecosystem. Journal of Business Research

Baines, V. and Padget, J., 2015. A situational awareness approach to intelligent vehicle agents. In: Baines, V. and Padget, J., eds. 2nd SUMO User Conference, SUMO 2014, 2014-05-15 - 2014-05-16, Berlin. Springer, pp. 77-103. (Lecture Notes in Mobility)

Barber, A., Brown, M., Hogbin, P. and Cosker, D., 2015. Inferring changes in intrinsic parameters from motion blur. Computers & Graphics, 52, pp. 155-170. Item availability may be restricted.

Baskent, C., 2015. Game theoretical semantics for paraconsistent logics. In: van der Hoek, W., Holliday, W. H. and Wang, W.-F., eds. 5th International Workshop on Logic, Rationality, and Interaction, LORI 2015, 2015-10-28 - 2015-10-31, Taipei. Berlin, Germany: Springer, pp. 14-26. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 9394)

Basu, S., Gabrielov, A. and Vorobjov, N., 2015. Triangulations of monotone families I:two-dimensional families. Proceedings of the London Mathematical Society, 111 (5), pp. 1013-1051.

Basurra, S. S., De Vos, M., Padget, J., Ji, Y., Lewis, T. and Armour, S., 2015. Energy efficient zone based routing protocol for MANETs. Networks, 25 (Part A), pp. 16-37.

Brosnan, M., Johnson, H., Grawmeyer, B., Chapman, E. and Benton, L., 2015. Emotion recognition in animated compared to human stimuli in adolescents with Autism Spectrum Disorder. Journal of Autism and Developmental Disorders, 45 (6), pp. 1785-1796.

Bryson, J., 2015. Artificial intelligence and pro-social behaviour. Berlin: Springer, pp. 281-306. (Philosophical Studies; 122) Item availability may be restricted.

Chinery, A., 2015. Dynamic Editable Models of Fire From Video. Thesis (Doctor of Philosophy (PhD)). University of Bath.

Collomosse, J. and Hall, P., 2015. Foreword:Special section on visual media production. Computers & Graphics, 52, 2618.

Corradi, T., Hall, P. and Iravani, P., 2015. Bayesian tactile object recognition:learning and recognising objects using a new inexpensive tactile sensor. In: IEEE Interational Conference on Robotics and Automation (ICRA) 2015, 2015-05-26 - 2015-05-30, Seattle.

Davenport, J. H. and England, M., 2015. Recent advances in real geometric reasoning. In: Botana, F. and Quaresma, P., eds. 10th International Workshop on Automated Deduction in Geometry (ADG), 2014, 2011-07-09 - 2011-07-11, Coimbra. Springer, pp. 37-52. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 9201)

Davenport, J. H., 2015. Forthcoming. Solving computational problems in real algebra/geometry. Annales Mathematicae et Informaticae, 44, pp. 35-46.

De Angeli, D. and O'Neill, E., 2015. Development of an Inexpensive Augmented Reality (AR) Headset. In: CHI EA '15 the 33rd Annual ACM Conference Human Factors in Computing Systems, 2015-04-18. New York, U. S. A.: ACM, pp. 971-976.

De Vries, A., 2015. The use of social media for shaming strangers:young people's views. In: 48th Annual Hawaii International Conference on System Sciences, HICSS 2015, 2015-01-05 - 2015-01-08, Kauai. IEEE Computer Society Press, pp. 2053-2062.

Du, H., Jin, X. and Willis, P., 2015. Two-level joint local Laplacian texture filtering. Visual Computer Item availability may be restricted.

El Kaafarani, A., 2015. Traceability, Linkability and Policy Hiding in Attribute-Based Signature Schemes. Thesis (Doctor of Philosophy (PhD)). University of Bath. Item availability may be restricted.

Elakehal, E. E., 2015. Modelling Self-managing Multi Agent Systems Using Norms. Thesis (Doctor of Philosophy (PhD)). University of Bath. Item availability may be restricted.

Elakehal, E. E., Montali, M. and Padget, J., 2015. Run-time verification of MSMAS norms using event calculus. In: 2014 8th IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, SASOW 2014, 2014-09-08 - 2014-09-12, London. IEEE, pp. 110-115.

England, M., Bradford, R. and Davenport, J., 2015. Improving the use of equational constraints in cylindrical algebraic decomposition. In: ISSAC '15 - 2015 ACM on International Symposium on Symbolic and Algebraic Computation, 2015-07-06 - 2015-07-09, Bath.

England, M. and Wilson, D., 2015. An Implementation of Sub-CAD in Maple. Other. Department of Computer Science, University of Bath. (Department of Computer Science Technical Report Series; CSBU-2015-01)

Gabrielov, A. and Vorobjov, N., 2015. On topological lower bounds for algebraic computation trees. Foundations of Computational Mathematics

Gaudl, S., Osborn, J. and Bryson, J., 2015. Learning from Play:Facilitating character design through genetic programming and human mimicry. In: 17th Portuguese Conference on Artificial Intelligence (EPIA-2015), 2015-09-08 - 2015-09-11, Coimbra.

Gong, H., 2015. Interactive Shadow Removal. Thesis (Doctor of Philosophy (PhD)). University of Bath. Item availability may be restricted.

Guglielmi, A., 2015. Deep Inference. College Publications. (Mathematical Logic and Foundations)

Heijltjes, W. and Houston, R., 2015. Forthcoming. Proof equivalence in MLL is PSPACE-complete. Logical Methods in Computer Science

Heijltjes, W. and Hughes, D., 2015. Complexity bounds for sum-product logic via additive proof nets and Petri nets. In: 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2015, 2015-07-06 - 2015-07-10, Kyoto. IEEE, pp. 80-91.

Huang, B., Li, M., De Souza, R. L., Bryson, J. J. and Billard, A., 2015. A modular approach to learning manipulation strategies from human demonstration. Autonomous Robots Item availability may be restricted.

Huang, Z., England, M., Wilson, D., Davenport, J. H. and Paulson, L. C., 2015. A comparison of three heuristics to choose the variable ordering for CAD. New York, U. S. A.: ACM, pp. 121-123.

Johnson, P. and Martins Calderon, A., 2015. Achieving an Information System\'s Capability through C2. International Journal of Information Systems for Crisis Response and Management (IJISCRAM), 7 (1), 5.

Jones, S., Ferreira, D., Hosio, S., Goncalves, J. and Kostakos, V., 2015. Revisitation analysis of smartphone app use.

Jones, S., Payne, S., Hicks, B., Gopsill, J. and Snider, C., 2015. Subject Lines as Sensors:Co-word Analysis of Email to Support the Management of Collaborative Engineering Work. In: International Conference on Engineering Design 2015 (ICED 2015), 2015-07-27 - 2015-07-30, Milan.

Kelly, R., Gooch, D. and Watts, L., 2015. Is ‘additional’ effort always negative? Understanding discretionary work in interpersonal communications. In: 18th ACM Conference on Computer-Supported Cooperative Work and Social Computing, 2015-03-14 - 2015-03-18, Vancouver.

Kelly, R. and Watts, L., 2015. Characterising the inventive appropriation of emoji as relationally meaningful in mediated close personal relationships. In: Experiences of Technology Appropriation: Unanticipated Users, Usage, Circumstances, and Design, 2015-09-20 - 2015-09-20, Oslo.

King, T., Li, T., De Vos, M., Dignum, V., Jonker, C., Padget, J. and van Riemsdijk, M. B., 2015. A Framework for Institutions Governing Institutions. In: 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS2015), 2015-05-04 - 2015-05-08, Istanbul.

Koniaris, C., 2015. Real-time Rendering of Complex, Heterogeneous Mesostructure on Deformable Surfaces. Thesis (Doctor of Engineering (EngD)). Computer Science. Item availability may be restricted.

Kuo, M.-H., Lin, Y.-E., Chu, H.-K., Lee, R.-R. and Yang, Y., 2015. Pixel2Brick:constructing brick sculptures from Pixel Art. Computer Graphics Forum, 34 (7), pp. 339-348.

Laird, J., 2015. Sequential algorithms for unbounded nondeterminism. Electronic Notes in Theoretical Computer Science, 319, pp. 271-287.

Lee, J., 2015. Norm Awareness for Virtual Characters Behaviour: A Socio-Cognitive Approach. Thesis (Doctor of Philosophy (PhD)). University of Bath.

Li, T., De Vos, M., Padget, J., Satoh, K. and Balke, T., 2015. Debugging ASP using ILP. CEUR.

Lyons, Z., Barak, O., Caleb-Solly, P., Harris, N., O'Neill, B., da Silva Ramos, S. and Watts, L., 2015. Establishing Design Requirements for a Virtual Therapy Aid for Executive Dysfunction. In: The 2015 International Conference on Brain Informatics and Health, 2015-08-30 - 2015-09-02, London.

McCusker, G., Power, J. and Wingfield, C., 2015. A graphical foundation for interleaving in game semantics. Journal of Pure and Applied Algebra, 219 (4), pp. 1131-1174.

Miltiadou, M., Warren, M. A., Grant, M. and Brown, M., 2015. Alignment of hyperspectral imagery and full-waveform LIDAR data for visualisation and classification purposes. International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences, 40 (7W3), pp. 1257-1264.

Noriega, P., Padget, J., Verhagen, H. and D’Inverno, M., 2015. Towards a framework for socio-cognitive technical systems. In: Ghose, A., Oren, N., Telang, P. and Thangarajah, J., eds. 10th International Conference on Coordination, Organizations, Institutions and Norms in Agent Systems, COIN 2014, 2016-05-06 - 2016-05-06, Paris. Switerland: Springer, pp. 164-181. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 9372)

Novikova, J., Ren, G. and Watts, L., 2015. It’s not the way you look, it’s how you move:validating a general scheme for robot affective behaviour. In: 15th IFIP TC.13 International Conference on Human-Computer Interaction - INTERACT 2015, 2015-09-14 - 2015-09-18, Bamberg. Item availability may be restricted.

Novikova, J., Watts, L. and Inamura, T., 2015. Emotionally Expressive Robot Behavior Improves Human-Robot Collaboration. In: IEEE RO-MAN 2015, 2015-08-31 - 2015-09-04, Kobe.

Novikova, J., Watts, L. and Inamura, T., 2015. Modeling Human-Robot Collaboration in a Simulated Environment. In: 10th ACM/IEEE International Conference on Human-Robot Interaction; HRI2015, 2015-03-02 - 2015-03-05, Portland.

Padget, J. and Vasconcelos, W., 2015. Policy-Carrying Data:A Step Towards Transparent Data Sharing. In: The 6th International Conference on Ambient Systems, Networks and Technologies, 2015-06-02 - 2015-06-05, London.

Pieters, W., Padget, J., Dechesne, F., Dignum, V. and Aldewereld, H., 2015. Effectiveness of qualitative and quantitative security obligations. Journal of Information Security and Applications, 22, pp. 3-16.

Ramallo Gonzalez, A., Brown, M. and Coley, D., 2015. Forthcoming. Identifying the Ideal Topology of Simple Models Used to Represent Dwellings. In: Buildign Simulation International Conference BS2015, 2015-12-11, Hyderabad.

Ramallo Gonzalez, A., Vellei, M., Brown, M. and Coley, D., 2015. Remote facade surveying. In: 6th International Building Physics Conference, 2015-06-14 - 2015-06-17, Torino.

Ren, G., Hourizi, R. and O'Neill, E., 2015. Forthcoming. Situation Awareness and Home Energy Consumption Feedback. In: The 5th World Sustainability Forum, 2015, 2015-09-07 - 2015-09-09.

Ridge, A. and O'Neill, E., 2015. Establishing requirements for end-user service composition tools. Requirements Engineering, 20 (4), pp. 435-463.

Shi, L., Newnes, L., Culley, S., Gopsill, J., Jones, S. and Snider, C., 2015. Identifying and Visualising KPIs for Collaborative Engineering Projects:a Knowledge Based Approach. In: ICED15, The 20th International Conference on Engineering Design, 2015, 2015-07-27 - 2015-07-31, Milan.

Stubbings, G., 2015. Investigating and Modelling Rationale Style Arguments. Thesis (Doctor of Philosophy (PhD)). University of Bath.

Thompson, M., Battle, S. and Padget, J., 2015. Telling non-linear stories with interval temporal logic. In: Shoenau-Fog, H., Bruni, L. E., Louchart, S. and Baceviciute, S., eds. 8th International Conference on Interactive Digital Storytelling, ICIDS 2015, 2015-11-30 - 2015-12-04, Copenhagen. Switzerland: Springer, pp. 370-373. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 9445)

Thompson, M., Padget, J. and Battle, S., 2015. Forthcoming. An interactive, generative Punch and Judy show using institutions, ASP and emotional agents. In: AISB Convention 2015, 2015-04-20 - 2015-04-22, Canterbury. The Society for the Study of Artificial Intelligence and the Simulation of Behaviour (AISB).

Turmukhambetov, D., Campbell, N., Prince, S. and Kautz, J., 2015. Modeling Object Appearance using Context-Conditioned Component Analysis. In: International Conference on Computer Vision and Pattern Recognition (CVPR), 2015-06-08 - 2015-06-10, Boston.

Turmukhambetov, D., Campbell, N. D. F., Goldman, D. B. and Kautz, J., 2015. Interactive sketch-driven image synthesis. Computer Graphics Forum, 34 (8), pp. 130-142.

Vellei, M., Natarajan, S., Biri, B., Padget, J. and Walker, I., 2015. The effect of real-time context-aware feedback on thermal comfort and heating energy use:A case study. In: 31th International PLEA Conference: ARCHITECTURE IN (R)EVOLUTION, 2015-09-09 - 2015-09-11, Bologna.

Wang, Y., Lan, Y., Weinreich, D., Priest, N. and Bryson, J., 2015. Recombination Is Surprisingly Constructive for Artificial Gene Regulatory Networks in the Context of Selection for Developmental Stability. In: The 13th European Conference on Artificial Life, 2015-07-20 - 2015-07-24, York.

Willey, S., Willis, P., Clifford, J. and Waine, T., 2015. Colour matching between stereo pairs of images. In: Jawahar, C. V. and Shan, S., eds. 12th Asian Conference on Computer Vision, ACCV 2014, 2014-11-01 - 2014-11-02, Singapore. London, U. K.: Springer, pp. 289-298. (Lecture Notes in Computer Science; 9009)

Wrigglesworth, T. and Watts, L., 2015. An Exploratory Study of Sensemaking of Historical Information. In: 7th International Conference on Communities & Technologies, 2015-06-28 - 2015-06-30, Limerick.

Wright, M. A. E., 2015. Supporting the Transfer of Learning of Freehand Gestures. Thesis (Doctor of Philosophy (PhD)). University of Bath.

Wu, Q., 2015. Modelling Visual Objects Regardless of Depictive Style. Thesis (Doctor of Philosophy (PhD)). University of Bath.

Yang, Y., Wang, J. and Mitra, N. J., 2015. Reforming Shapes for Material-aware Fabrication. Computer Graphics Forum, 34 (5), pp. 53-64.

Yu, R., Russell, C., Campbell, N. and Agapito, L., 2015. Direct, Dense, and Deformable:Template-Based Non-Rigid 3D Reconstruction from RGB Video. In: IEEE International Conference on Computer Vision (ICCV 2016), 2015-12-13.

2014

AlHalawani, S., Yang, Y., Wonka, P. and Mitra, N. J., 2014. What Makes London Work Like London? Computer Graphics Forum, 33 (5), pp. 157-165.

Alwan, E., 2014. Enhancing the performance of Decoupled Software Pipeline through Backward Slicing. Thesis (Doctor of Philosophy (PhD)). Faculty of Science.

Bann, E. Y. and Bryson, J. J., 2014. The conceptualisation of emotion qualia:semantic clustering of emotional tweets. In: Mayor, J. and Gomez, P., eds. NCPW 13 Neural Computation and Psychology Workshop, 2012-07-12 - 2012-07-14, San Sebastien. Singapore, Singapore: World Scientific, pp. 249-263. (Progress in Neural Processing; 21)

Barber, A., Brown, M., Hogbin, P. and Cosker, D., 2014. Estimating Camera Intrinsics From Motion Blur. In: Conference for Visual Media Production, 2014-11-13 - 2014-11-14, London.

Benedetti, L., Winnemöller, H., Corsini, M. and Scopigno, R., 2014. Painting with Bob:Assisted creativity for novices. In: 27th Annual ACM Symposium on User Interface Software and Technology, UIST 2014, 2014-10-05 - 2014-10-08, Honolulu. ACM, pp. 419-428.

Blute, R., Guglielmi, A., Ivanov, I., Panangaden, P. and Straßburger, L., 2014. A Logical Basis for Quantum Evolution and Entanglement. Springer, pp. 90-107. (Lecture Notes in Computer Science; 8222)

Bradford, R., Chen, C., Davenport, J. H., England, M., Moreno Maza, M. and Wilson, D., 2014. Truth table invariant cylindrical algebraic decomposition by regular chains. Springer, pp. 44-58. (Lecture Notes in Computer Science)

Bryson, J. J., Mitchell, J., Powers, S. T. and Sylwester, K., 2014. Understanding and addressing cultural variation in costly antisocial punishment. London, U. K.: Springer, pp. 201-222. (Advances in the Evolutionary Analysis of Human Behaviour; 1)

Burrows, R., Johnson, H. and Johnson, P., 2014. Developing an Online Social Media System to Influence Pro-environmental Behaviour based on User Values. In: 9th International Conference on Persuasive Technology, Extended Abstract, 2014-05-21 - 2014-05-23, Padova.

Burrows, R., Johnson, P. and Johnson, H., 2014. Influencing Behaviour by Modelling User Values:Energy Consumption. In: 2nd International Workshop on Behaviour Change Support Systems, PERSUASIVE'2014, 2014-05-21, Padova.

Calderon, A., Hinds, J. and Johnson, P., 2014. IntCris:A tool for enhanced communication and collective decision-making during crises. In: 11th International Conference on Information Systems for Crisis Response and Management, ISCRAM 2014, 2014-05-01 - 2014-05-01.

Campbell, N. D. F. and Kautz, J., 2014. Learning a Manifold of Fonts. ACM Transactions on Computer Systems, 33 (4).

Chiravirakul, P. and Payne, S. J., 2014. Choice overload in search engine use? In: ACM CHI Conference on Human Factors in Computing Systems 2014, 2014-04-26 - 2014-05-01, Toronto.

Corradi, T., Hall, P. and Iravani, P., 2014. Tactile features:recognising touch sensations with a novel and inexpensive tactile sensor. In: Mistry, M., Leonardis, A., Witkowski, M. and Melhuish, C., eds. Proceedings of the 15th Annual Conference, TAROS, 2014, 2014-09-01 - 2014-09-03, Birmingham. Springer, pp. 163-172. (Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics; 8717)

Das, A., 2014. On the pigeonhole and related principles in deep inference and monotone systems. In: Joint Meeting of the 23rd Annual EACSL Conference on Computer Science Logic, CSL 2014 and the 29th Annual ACM/ IEEE Symposium on Logic in Computer Science, LICS 2014, 2014-07-14 - 2014-07-18, Vienna. ACM.

Davenport, J., 2014. Mathematical Massive Open Online Courses (MOOCs):report of a panel at the 2014 ICM. In: Seoul International Conference of Mathematicians (ICM), 2014, 2014-08-13 - 2014-08-21, Seoul.

Davenport, J. H., 2014. OpenMath 2014 preface. CEUR Workshop Proceedings, 1186.

De Groot, E., Wyvill, B., Barthe, L., Nasri, A. and Lalonde, P., 2014. Implicit decals:interactive editing of repetitive patterns on surfaces. Computer Graphics Forum, 33 (1), pp. 141-151.

El Kaafarani, A., Chen, L., Ghadafi, E. and Davenport, J., 2014. Attribute-based signatures with user-controlled linkability. In: Gritzalis, D., Kiayias, A. and Askoxylakis, I., eds. 13th International Conference on Cryptology and Network Security, CANS 2014, 2014-10-22 - 2014-10-24, Heraklion, Crete. Springer, pp. 256-269. (Lecture Notes in Computer Science; 8813)

El Kaafarani, A., Ghadafi, E. and Khader, D., 2014. Decentralized traceable attribute-based signatures. In: Benalloh, J., ed. CT-RSA 2014, 2014-02-24 - 2014-02-28, San Francisco. Springer, pp. 327-348. (Lecture Notes in Computer Science)

England, M., 2014. CICM-WS-WiP 2014 preface. CEUR Workshop Proceedings, 1186.

England, M., Eilbeck, J. C. and Onishi, Y., 2014. Some new addition formulae for Weierstrass elliptic functions. Proceedings of the Royal Society of London Series A - Mathematical Physical and Engineering Sciences, 470 (2171), 20140051.

Gaudl, S. E. and Bryson, J. J., 2014. Extended ramp goal module:Low-cost behaviour arbitration for real-time controllers based on biological models of dopamine cells. In: 2014 IEEE Conference on Computational Intelligence and Games, CIG 2014, 2014-08-26 - 2014-08-29, Dortmund. IEEE Computer Society Press.

Gong, H. and Cosker, D. P., 2014. Interactive Shadow Removal and Ground Truth for Variable Scene Categories. In: BMVC 2014 - Proceedings of the British Machine Vision Conference 2014, 2014-09-01 - 2014-09-05, Nottingham.

Gong, H. and Cosker, D., 2014. Interactive shadow editing from single images. Springer, pp. 243-252. (Lecture Notes in Computer Science; 9009)

Gopsill, J., Jones, S., Snider, C., Shi, L., McMahon, C. A. and Hicks, B. J., 2014. Understanding the Engineering Design Process Through the Evolution of Engineering Digital Objects. In: DESIGN 2014 13th International Design Conference, 2014-05-19 - 2014-05-22, Dubrovnik.

Grow, A., Gaudl, S., Gomes, P., Mateas, M. and Wardrip-Fruin, N., 2014. A Methodology for Requirements Analysis of AI Architecture Authoring Tools.

Hall, P. M. and Lehmann, A.-S., 2014. Don't measure - appreciate:NPR seen through the prism of art history. UK: Springer, pp. 333-351.

Hall, P.M., 2014. Introduction to Machine Learning for Computer Graphics. In: ACM Special Interest Group on Computer Graphics and Interactive Techniques Conference, SIGGRAPH 2014, 2014-08-10 - 2014-08-14, Vamcouver. ACM.

Heijltjes, W. and Houston, R., 2014. No proof nets for MLL with units:Proof equivalence in MLL is PSPACE-complete. In: Joint Meeting of the 23rd Annual EACSL Conference on Computer Science Logic, CSL 2014 and the 29th Annual ACM/ IEEE Symposium on Logic in Computer Science, LICS 2014, 2014-07-14 - 2014-07-18, Vienna. New York: ACM.

Heijltjes, W. and Strassburger, L., 2014. Proof nets and semi-*-autonomous categories. Mathematical Structures in Computer Science, FirstView.

Huang, B., 2014. The Use of Modular Approaches for Robots to Learn Grasping and Manipulation. Thesis (Doctor of Philosophy (PhD)). Computer Science.

Huang, Z., England, M., Wilson, D., Davenport, J. H., Paulson, L. and Bridge, J., 2014. Applying machine learning to the problem of choosing a heuristic to select the variable ordering for cylindrical algebraic decomposition. Springer, pp. 92-107. (Lecture Notes in Artificial Intelligence)

Jones, S., Cotterill, R., Dewdney, N., Muir, K. and Joinson, A., 2014. Finding Zelig in Text:A Measure for Normalising Linguistic Accommodation. In: 25th International Conference on Computational Linguistics, 2014-08-23 - 2014-08-29, Dublin.

Joyce, C., Pham, H., Fraser, D.S., Payne, S., Crellin, D. and McDougall, S., 2014. Building an Internet of school things ecosystem:A national collaborative experience. New York: Association for Computing Machinery (ACM), pp. 289-292.

Kaparelos, S., 2014. Extending Cachegrind:L2 cache inclusion and TLB measuring. Other. Department of Computer Science, University of Bath. (Department of Computer Science Technical Report Series; CSBU-2014-01)

Kelly, R. and Payne, S. J., 2014. Collaborative web search in context:a study of tool use in everyday tasks. In: 2014 ACM Conference on Computer Supported Cooperative Work, 2014-02-15 - 2014-02-19, Baltimore.

Kinoshita, Y. and Power, J., 2014. Category theoretic structure of setoids. Theoretical Computer Science, 546, pp. 145-163.

Komendantskaya, E., Power, J. and Schmidt, M., 2014. Coalgebraic logic programming:from semantics to implementation. Journal of Logic and Computation

Koniaris, C., Cosker, D., Yang, X. and Mitchell, K., 2014. Survey of texture mapping techniques for representing and rendering volumetric mesostructure. Journal of Computer Graphics Techniques

Koniaris, C., Cosker, D., Yang, X., Mitchell, K. and Matthews, I., 2014. Content aware texture mapping on deformable surfaces. US2014267306, 2014.

Lazzarini, V., Costello, E., Yi, S. and ffitch, J. P., 2014. Csound on the Web.

Lazzarini, V., Costello, E., Yi, S. and ffitch, J. P., 2014. Development Tools for Ubiquitous Music on the World Wide Web. Springer, pp. 111-128. (Computational Music Science)

Lee, J., Padget, J., Logan, B., Dybalova, D. and Alechina, N., 2014. N-Jason: Run-time norm compliance in AgentSpeak(L). In: Dalpiaz, F., Dix, J. and Birna van Riemsdiijk, M., eds. 2nd International Workshop on Engineering Multi-Agent Systems, EMAS 2014, 2014-05-05 - 2014-05-06, Paris. Springer, pp. 367-387. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 8758)

Lee, J., Padget, J., Logan, B., Dybalova, D. and Alechina, N., 2014. Run-time norm compliance in BDI agents. In: 13th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2014, 2014-05-05 - 2014-05-09, Paris. The International Foundation for Autonomous Agents and Multiagent Systems, pp. 1581-1582.

Li, C., Willis, P. J. and Brown, M., 2014. Appearance stylization of Manhattan world buildings. Computer Graphics Forum, 33 (1), pp. 15-26.

Li, T., 2014. Normative Conflict Detection and Resolution in Cooperating Institutions. Thesis (Doctor of Philosophy (PhD)). University of Bath.

Li, T., Balke, T., De Vos, M., Padget, J. and Satoh, K., 2014. Legal conflict detection in interacting legal systems. CEUR Workshop Proceedings, 1105.

Li, T., Jiang, J., Aldewereld, H., De Vos, M., Dignum, V. and Padget, J., 2014. Contextualized Institutions in Virtual Organizations. Springer, pp. 136-154. (Lecture Notes in Computer Science)

Liu, C., Yang, Y., Lee, Y.-H. and Chu, H.-K., 2014. Image-based Paper Pop-up Design. New York, NY, USA: ACM, 36:1-36:1. (SIGGRAPH '14)

Lovett, T., Gabe-Thomas, E., Natarajan, S., Brown, M. and Padget, J., 2014. Designing sensor sets for capturing energy events in buildings. In: 5th ACM International Conference on Future Energy Systems, e-Energy 2014, 2014-06-11 - 2014-06-13, Cambridge. New York, U. S. A.: ACM, pp. 229-230.

Mac Aodha, O., Campbell, N., Kautz, J. and Brostow, G.J., 2014. Hierarchical Subquery Evaluation for Active Learning on a Graph. In: International Conference on Computer Vision and Pattern Recognition (CVPR), 2014-06-24 - 2014-06-27, Columbus.

Novikova, J., Gaudl, S. and Bryson, J., 2014. Emotionally driven robot control architecture for human-robot interaction. Berlin, Germany: Springer, pp. 261-263. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 8069)

Novikova, J. and Watts, L. A., 2014. A design model of emotional body expressions in non-humanoid robots. In: The Second International Conference on Human-Agent Interaction (HAI 2014), 2014-10-28 - 2014-10-31, Tsukuba. ACM, pp. 353-360.

Novikova, J., Watts, L. and Bryson, J. J., 2014. The role of emotions in inter-action selection. Interaction Studies, 15 (2), pp. 216-223.

Padget, J., Elakehal, E. E., Satoh, K. and Ishikawa, F., 2014. On requirements representation and reasoning using answer set programming. In: 2014 IEEE 1st International Workshop on Artificial Intelligence for Requirements Engineering, AIRE 2014 - Proceedings, 2014-08-26 - 2014-08-26, Karlskrona. IEEE, pp. 35-42.

Panteli, N., Marder, B., Davenport, J.H. and Nemetz, F., 2014. Travelling through facebook:Exploring affordances through the Lens of age. In: ECIS 2014 Proceedings - 22nd European Conference on Information Systems, 2014-06-09 - 2014-06-11, Tel Aviv.

Peng, C.-H., Yang, Y.-L. and Wonka, P., 2014. Computing layouts with deformable templates. ACM Transactions on Graphics, 33 (4), 99:1-99:11.

Pourroostaei Ardakani, S., 2014. Wireless Sensor Network Routing Protocols for Data Aggregation. Thesis (Doctor of Philosophy (PhD)). University of Bath. Item availability may be restricted.

Pourroostaei Ardakani, S., Padget, J. and De Vos, M., 2014. HRTS: A Hierarchical Reactive Time Synchronization Protocol for Wireless Sensor Networks. Springer, pp. 47-62. (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering)

Power, J. and Wingfield, C., 2014. Preface. Electronic Notes in Theoretical Computer Science, 303, pp. 1-2.

Ridge, A., 2014. On the Design of End-user Service Composition Applications. Thesis (Doctor of Philosophy (PhD)). University of Bath.

Rigamonti, R., Lepetit, V., González, G., Türetken, E., Benmansour, F., Brown, M. and Fua, P., 2014. On the relevance of sparsity for image classification. Computer Vision and Image Understanding, 125, pp. 115-127.

Rüfenacht, D., Brown, M., Beutel, J. and Süsstrunk, S., 2014. Temporally consistent snow cover estimation from noisy, irregularly sampled measurements. In: 9th International Conference on Computer Vision Theory and Applications, VISAPP, 2014, 2014-01-05 - 2014-01-08, Lisbon.

Shams, Z., Vos, M. D. and Satoh, K., 2014. ArgPROLEG:A normative framework for the JUF theory. Springer, pp. 183-198. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 8417)

Shi, L., Gopsill, J., Sinder, C., Jones, S., Newnes, L. and Culley, S., 2014. Towards identifying patterns in engineering documents to aid project planning. In: DESIGN 2014 13th International Design Conference, 2014-05-19 - 2014-05-22, Dubrovnik.

Snider, C., Jones, S., Gopsill, J., Shi, L. and Hicks, B. J., 2014. A Framework for the Development of Characteristics Signatures of Engineering Projects. In: DESIGN 2014: 13th International Design Conference, 2014-05-19 - 2014-05-22, Dubrovnik.

Song, Y.-Z., Bowen, C. R., Kim, A. H., Nassehi, A., Padget, J. and Gathercole, N., 2014. Virtual visual sensors and their application in structural health monitoring. Structural Health Monitoring - An International Journal, 13 (3), pp. 251-264.

Song, Y.-Z., Bowen, C. R., Kim, H. A., Nassehi, A., Padget, J., Gathercole, N. and Dent, A., 2014. Non-invasive damage detection in beams using marker extraction and wavelets. Mechanical Systems and Signal Processing, 49 (1-2), pp. 13-23.

Swafford, N. T., Boom, B. J., Subr, K., Sinclair, D., Cosker, D. and Mitchell, K., 2014. Dual sensor filtering for robust tracking of head-mounted displays. In: 20th ACM Symposium on Virtual Reality Software and Technology, VRST 2014, 2014-11-11 - 2014-11-13, Edinburgh. New York, U. S. A.: Association for Computing Machinery (ACM), pp. 221-222.

Taylor, D., 2014. Evolution of the Social Contract. Thesis (Doctor of Philosophy (PhD)). University of Bath.

Taylor, D. and Bryson, J.J., 2014. Replicators, lineages, and interactors. Behavioral and Brain Sciences, 37 (3), pp. 276-277.

Teney, D. and Piater, J., 2014. Multiview feature distributions for object detection and continuous pose estimation. Computer Vision and Image Understanding, 125, pp. 265-282.

Teney, D. and Brown, M., 2014. Segmentation of dynamic scenes with distributions of spatiotemporally oriented energies. In: 25th British Machine Vision Conference, BMVC 2014, 2014-09-01 - 2014-09-05, Nottingham.

Viopoulou, E., 2014. MSc Dissertation:An investigation of JavaScript isolation mechanisms: Sandboxing implementations. Other. Department of Computer Science. (Department of Computer Science Technical Report Series; CSBU-2014-03)

Wang, Y., Matthews, S. and Bryson, J. J., 2014. Evolving Evolvability in the Context of Environmental Change: A Gene Regulatory Network (GRN) Approach. In: The 14th International Conference on the Synthesis and Simulation of Living Systems, 2014-07-30 - 2014-08-02, New York.

Wang, Y. and Yin, J., 2014. Intelligent Search Optimized Edge Potential Function (EPF) Approach to Synthetic Aperture Radar (SAR) Scene Matching. In: The IEEE World Congress on Computational Intelligence 2014, 2014-07-06 - 2014-07-11, Beijing.

Wilson, D., Bradford, R., Davenport, J. H. and England, M., 2014. Cylindrical algebraic sub-decompositions. Mathematics in Computer Science, 8 (2), pp. 263-288.

Wilson, D., 2014. Advances in Cylindrical Algebraic Decomposition. Thesis (Doctor of Philosophy (PhD)). University of Bath.

Wu, Q., Cai, H. and Hall, P., 2014. Learning graphs to model visual objects across different depictive styles. In: Fleet, D., Pajdla, T., Schiele, B. and Tuytelaars, T., eds. 13th European Conference on Computer Vision, ECCV 2014; Zurich, 2014-09-06 - 2014-09-12, Zurich. Springer, pp. 313-328.

Yi, S., Lazzarini, V., Dannenberg, R. and ffitch, J. P., 2014. Extending Aura with Csound opcodes. In: 40th International Computer Music Conference, ICMC 2014, Joint with the 11th Sound and Music Computing Conference, SMC 2014 - Music Technology Meets Philosophy: From Digital Echos to Virtual Ethos, 2014-09-14 - 2014-09-20, Athens.

2013

AlHalawani, S., Yang, Y., Liu, H. and Mitra, N. J., 2013. Interactive Facades Analysis and Synthesis of Semi-Regular Facades. Computer Graphics Forum, 32 (2pt2), pp. 215-224.

Alechina, N., Bassiliades, N., Dastani, M., De Vos, M., Logan, B., Mera, S., Morris-Martin, A. and Schapachnik, F., 2013. Computational Models for Normative Multi-Agent Systems. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, pp. 71-92. (Dagstuhl Follow-Ups)

Athakravi, D., Corapi, D., Russo, A., De Vos, M., Padget, J. and Satoh, K., 2013. Handling change in normative specifications. In: Baldoni, M., Dennis, L., Mascardi, V. and Vasconcelos, W., eds. 10th International Workshop, DALT 2012, 2012-06-04 - 2012-06-04, Valencia. Berlin: Springer, pp. 1-19. (Lecture Notes in Computer Science; 7784)

Balke, T., De Vos, M. and Padget, J., 2013. An agent-based simulation approach to comparative analysis of enforcement mechanisms. In: 14th International Workshop on Coordination, Organizations, Institutions, and Norms in Agent Systems VIII (COIN 2012), 2012-06-05 - 2012-06-05, Valencia. Springer, pp. 53-70. (Lecture Notes in Computer Science; 7756)

Balke, T., Noriega, P., Verhagen, H. and De Vos, M., 2013. Social coordination:Principles, artifacts and theories. In: Social Coordination: Principles, Artefacts and Theories, SOCIAL.PATH 2013,, 2013-04-03 - 2013-04-05, Exeter.

Balke, T., De Vos, M. and Padget, J., 2013. Evaluating the Cost of Enforcement by Agent-Based Simulation:A Wireless Mobile Grid Example. Springer, pp. 21-36. (Lecture Notes in Computer Science)

Bann, E. Y., 2013. Semantic Clustering of Basic Emotion Sets. Other. Department of Computer Science, University of Bath. (Department of Computer Science Technical Report Series; CSBU-2013-01)

Bann, E. Y. and Bryson, J. J., 2013. Measuring cultural relativity of emotional valence and arousal using semantic clustering and Twitter. In: CogSci 2013: The 35th Annual Meeting of the Cognitive Science Society, 2013-07-30 - 2013-08-02, Berlin. Cognitive Science Society, pp. 1809-1814.

Basu, S., Gabrielov, A. and Vorobjov, N., 2013. A Helly-type theorem for semi-monotone sets and monotone maps. Discrete & Computational Geometry, 50 (4), pp. 857-864.

Basu, S., Gabrielov, A. and Vorobjov, N., 2013. Monotone functions and maps. Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales. Serie A. Matematicas, 107 (1), pp. 5-33.

Basu, S., Gabrielov, A. and Vorobjov, N., 2013. Semi-monotone sets. Journal of the European Mathematical Society, 15 (2), pp. 635-657.

Bevan, C., Emanuel, L., Padget, J., Swart, J., Powell, J. and Basurra, S., 2013. Factors in the emergence and sustainability of self-regulation. In: AISB Convention. Social Coordination: Principles, Artefacts and Theories (SOCIAL.PATH)., 2013-04-03 - 2013-04-05, Exeter.

Bibu, G. D., 2013. Computational Verification of Security Requirements. Thesis (Doctor of Philosophy (PhD)). University of Bath.

Bradford, R., Davenport, J. and Wilson, D., 2013. A repository for CAD Examples. ACM Communications in Computer Algebra, 46 (3), pp. 67-69.

Bradford, R., Davenport, J. H., England, M., McCallum, S. and Wilson, D., 2013. Cylindrical algebraic decompositions for Boolean combinations. In: ISSAC 2013: International Symposium on Symbolic and Algebraic Computation, 2013-06-25 - 2013-06-28, Boston. New York: ACM, pp. 125-132.

Bradford, R., Davenport, J. H., England, M. and Wilson, D., 2013. Optimising problem formulation for cylindrical algebraic decomposition. In: Carette, J., Aspinall, D., Lange, C., Sojka, P. and Windsteiger, W., eds. Conferences on Intelligent Computer Mathematics: CICM 2013, 2013-07-07 - 2013-07-11, Bath. Berlin: Springer, pp. 19-34. (Lecture Notes in Computer Science; 7961)

Brooks, M., 2013. Facilitating the Creation of Advanced Agents within NetLogo by Allowing Specification and Control Using the Behaviour Oriented Design Methodology. Other. Department of Computer Science, University of Bath. (Department of Computer Science Technical Report Series; CSBU-2013-07)

Cabrera, A., ffitch, J., Gogins, M., Lazzarini, V. and Yi, S., 2013. The new developments in Csound6. In: Gardiner, A. and Varano, A., eds. International Computer Music Conference 2013, 2013-08-11 - 2013-08-17, Perth. Perth, WA: Tura New Music.

Calderon, A., Hinds, J. and Johnson, P., 2013. Leading cats: how to effectively command collectives. In: 10th International ISCRAM Conference, 2013-05-12 - 2013-05-15, Baden-Baden.

Campbell, N.D.F., Subr, K. and Kautz, J., 2013. Fully-connected CRFs with non-parametric pairwise potential. IEEE Computer Society Conference on Computer Vision and Pattern Recognition

Chen, C., Davenport, J. H., May, J. P., Moreno Maza, M., Xia, B. and Xiao, R., 2013. Triangular decomposition of semi-algebraic systems. Journal of Symbolic Computation, 49, pp. 3-26.

Churchill, M., Laird, J. and McCusker, G., 2013. Imperative programs as proofs via game semantics. Annals of Pure and Applied Logic, 164 (11), pp. 1038-1078.

Constantinou, M., 2013. Tuning of rsync Algorithm for Optimum Cloud Storage Performance. Other. Department of Computer Science, University of Bath. (Department of Computer Science Technical Report Series; CSBU-2013-10)

Cosker, D., Eisert, P., Grau, O., Hancock, P., McKinnel, J. and Ong, E. J., 2013. Applications of face analysis and modelling in media production:Overview of the state of the art. IEEE Multimedia, 20 (4), pp. 18-27.

Cosker, D. and Li, W., 2013. Robust Optical Flow Estimation for Continuous Blurred Scenes using RGB-Motion Imaging and Directional Filtering. In: IEEE Winter Conference on Applications of Computer Vision, 2013-07-30.

Daniels, H. and Johnson, P., 2013. Researching technologies for enhancing collective creativity in interagency working. Abingdon, UK: Routledge, pp. 132-157. (Routledge Research in Education)

Das, A., 2013. Rewriting with linear inferences in propositional logic. Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, pp. 158-173. (Leibniz International Proceedings in Informatics, LIPIcs)

De Vos, M., Balke, T. and Satoh, K., 2013. Modelling legitimate expectations. In: Motomura, Y., Butler, A. and Bekki, D., eds. 4th JSAI International Symposia on Artificial Intelligence, JSAI-isAI 2012, 2012-11-30 - 2012-12-01, Miyazaki. Berlin: Springer, pp. 141-156. (Lecture Notes in Computer Science; 7856)

De Vos, M., Balke, T. and Satoh, K., 2013. Combining Event- and State-based Norms:Extended Abstract. In: International conference on Autonomous Agents and Multi-Agent Systems, AAMAS '13, 2013-05-06 - 2013-05-10, Saint Paul.

Duggan, G. B., Johnson, H. and Sørli, P., 2013. Interleaving tasks to improve performance: Users maximise the marginal rate of return. International Journal of Human-Computer Studies, 71 (5), pp. 533-550.

Elakehal, E. E., Montali, M. and Padget, J., 2013. Verifying MSMAS model using S CIFF. In: Klusch, M., Thimm, M. and Paprzycki, M., eds. 11th German Conference on Multiagent System Technologies, MATES 2013, 2013-09-16 - 2013-09-20, Koblenz. Berlin: Springer, pp. 44-58. (Lecture Notes in Computer Science; 8076)

England, M., 2013. An Implementation of CAD in Maple Utilising McCallum Projection. Other. Department of Computer Science, University of Bath. (Department of Computer Science Technical Report Series; CSBU-2013-02)

England, M., 2013. An Implementation of CAD in Maple Utilising Problem Formulation, Equational Constraints and Truth-Table Invariance. Other. Department of Computer Science, University of Bath. (Department of Computer Science Technical Report Series; CSBU-2013-04)

England, M., Bradford, R., Davenport, J. H. and Wilson, D., 2013. Understanding branch cuts of expressions. In: Carette, J., Aspinall, D., Lange, C., Sojka, P. and Windsteiger, W., eds. Conferences on Intelligent Computer Mathematics: CICM 2013, 2013-07-07 - 2013-07-11, Bath. Berlin: Springer, pp. 136-151. (Lecture Notes in Computer Science; 7961)

England, M., Cheb-Terrab, E., Bradford, R., Davenport, J. and Wilson, D., 2013. Branch Cuts in Maple 17. ACM Communications in Computer Algebra, 48 (1), pp. 24-27.

Fedorec, A. J., 2013. Information Acquisition and Communication and its Impact on Social Structure. Other. Department of Computer Science, University of Bath. (Department of Computer Science Technical Report Series; CSBU-2013-06)

Fitch, J., Lazzarini, V. and Yi, S., 2013. Csound6:old code renewed. In: zmölnig, I. m. and Plessas, P., eds. Linux Audio Conference 2013 (LAC 2013), 2013-05-09 - 2013-05-12, Graz. Graz, Austria: Institute of Electronic Music and Acoustics, University for Music and Performing Arts Graz, Austria, pp. 69-75.

Gaudl, S., Davies, S. and Bryson, J. J., 2013. Behaviour oriented design for real-time-strategy games: An approach on iterative development for STARCRAFT AI. In: Foundations of Digital Games 2013, 2013-05-14 - 2013-05-17, Chania. Foundations of Digital Games, pp. 198-205.

Gong, H., Cosker, D., Li, C. and Brown, M., 2013. User-aided single image shadow removal. In: 2013 IEEE International Conference on Multimedia and Expo (ICME), 2013-07-14 - 2013-07-18, San Jose, California.

Gooch, D., 2013. Designing Communication Devices for Long Distance Dating Relationships. Thesis (Doctor of Philosophy (PhD)). University of Bath.

Gopsill, J. A., Payne, S. J. and Hicks, B. J., 2013. An exploratory study into automated real-time categorisation of engineering e-mail. In: 2013 IEEE International Conference on Systems, Man, and Cybernetics (SMC 2013), 2013-10-13 - 2013-10-16, Manchester.

Gourmel, O., Barthe, L., Cani, M.-P., Wyvill, B., Bernhardt, A., Paulin, M. and Grasberger, H., 2013. A gradient-based implicit blend. ACM Transactions on Graphics, 32 (2), 12.

Gundersen, T., Heijltjes, W. and Parigot, M., 2013. A proof of strong normalisation of the typed atomic lambda-calculus. In: LPAR: International Conferences on Logic for Programming, Artificial Intelligence and Reasoning, 2013-11-15, Stellenbosch. Heidelberg, Germany: Springer, pp. 340-354. (Lecture Notes in Computer Science; 8312)

Gundersen, T., Heijltjes, W. and Parigot, M., 2013. Atomic lambda-calculus:A typed lambda-calculus with explicit sharing. In: Twenty-Eighth Annucal ACM/IEEE Symposium on Logic in Computer Science (LICS 2013), 2013-06-24 - 2013-06-27, New Orleans. IEEE, pp. 311-320.

Hall, P. and Song, Y.-z., 2013. Simple Art as abstractions of photographs. In: Symposium on Computational Aesthetics, CAE 2013 - Part of the Joint Symposium on Computational Aesthetics, Sketch-Based Interfaces and Modeling, and Non-Photorealistic Animation and Rendering, Expressive 2013, 2013-07-19 - 2013-07-20, Anaheim. New York: ACM, pp. 77-85.

Hinds, J., Calderon, A. and Johnson, P., 2013. Emergent behaviour and social media in large-scale disasters. In: IADIS Multi Conference on Computer Science and Information Systems 2013, 2013-07-24 - 2013-07-26, Prague.

Huang, B., Bryson, J. J. and Inamura, T., 2013. Learning motion primitives of object manipulation using Mimesis Model. In: 2013 IEEE International Conference on Robotics and Biomimetics, ROBIO 2013, 2013-12-12 - 2013-12-14, Shenzhen. IEEE, pp. 1144-1150.

Huang, B., El-Khoury, S., Li, M., Bryson, J. J. and Billard, A., 2013. Learning a real time grasping strategy.

Jones, J., Davenport, J. and Bradford, R., 2013. The changing relevance of the TLB. In: DCABES 2013, 2013-09-02 - 2013-09-04, Kingston-on-Thames. Piscataway, NJ: IEEE, pp. 110-114.

Kelly, R., 2013. Fairness in the division and completion of collaborative work. Thesis (Doctor of Philosophy (PhD)). University of Bath.

Kelly, R., 2013. Fairness in the division and completion of collaborative work. In: 2013 2nd ACM Conference on Computer Supported Cooperative Work Companion, CSCW 2013, 2013-02-23 - 2013-02-27, San Antonio. New York: ACM, pp. 65-68.

Kelly, R. and Payne, S., 2013. Division of labour in collaborative information seeking:Current approaches and future directions. In: The 3rd International Workshop on Collaborative Information Seeking, held at ACM CSCW 2013, 2013-02-23 - 2013-02-27, San Antonio.

Kenyon, J., 2013. Adapting a Video Game to do Psychological Experiments. Other. Department of Computer Science, University of Bath. (Department of Computer Science Technical Report Series; CSBU-2013-09)

Laird, J. D., Manzonetto, G., Mccusker, G. and Pagani, M., 2013. Weighted relational models of typed Lambda-Calculi. In: 2013 Twenty-Eighth Annual IEEE/ACM Symposium on Logic in Computer Science (LICS 2013), 2013-06-25 - 2013-06-28, New Orleans, LA, USA. Los Alamitos, California: IEEE, pp. 301-310. (Annual IEEE/ACM Symposium on Logic in Computer Science (LICS))

Laird, J., 2013. Combining and Relating Control Operators and their Semantics. Elsevier, pp. 113-129. (Electronic Proceedings in Theoretical Computer Science)

Laird, J., Manzonetto, G. and McCusker, G., 2013. Constructing differential categories and deconstructing categories of games. Information and Computation, 222, pp. 247-264.

Lee, J., Baines, V. and Padget, J., 2013. Decoupling cognitive agents and virtual environments. In: 1st International Workshop on Cognitive Agents for Virtual Environments, CAVE 2012, 2012-06-03 - 2012-06-03, Valencia. Berlin: Springer, pp. 17-36. (Lecture Notes in Computer Science; 7764)

Lee, J., Li, T. and Padget, J., 2013. Towards polite virtual agents using social reasoning techniques. Computer Animation and Virtual Worlds, 24 (3-4), pp. 335-343.

Lee, J., Li, T., De Vos, M. and Padget, J. A., 2013. Governing intelligent virtual agent behaviour with norms. The International Foundation for Autonomous Agents and Multiagent Systems, pp. 1205-1206.

Lewin, C., Thorman, M., Waterson, T., Williams, C. and Willis, P., 2013. Rod constraints for simplified ragdolls. In: Symposium on Computer Animation 2013, 2013-07-19, Anaheim, California. New York: ACM, pp. 79-84.

Li, C., Zhang, R., Wang, L., Bowyer, A., Eisenthal, R., Shen, Y. and Hubble, J., 2013. Purification of lysozyme by intrinsically shielded hydrogel beads. Modern Physics Letters B, 27 (19), 1341028.

Li, C., Pickup, D., Saunders, T., Cosker, D., Marshall, D., Hall, P. and Willis, P., 2013. Water surface modeling from a single viewpoint video. IEEE Transactions on Visualization and Computer Graphics, 19 (7), pp. 1242-1251.

Li, T., 2013. Normative conflict detection and resolution in cooperating institutions. In: 23rd International Joint Conference on artificial Intelligence (IJCAI 2013), 2013-08-03 - 2013-08-09, Beijing.

Li, T., Balke, T., De Vos, M., Satoh, K. and Padget, J. A., 2013. Detecting conflicts in legal systems. In: Motomura, Y., Butler, A. and Bekki, D., eds. 4th JSAI International Symposia on Artificial Intelligence, JSAI-isAI 2012, 2012-11-30 - 2012-12-01, Miyazaki. Berlin: Springer, pp. 174-189. (Lecture Notes in Computer Science; 7856)

Li, T., Balke, T., De Vos, M., Padget, J. and Satoh, K., 2013. A model-based approach to the automatic revision of secondary legislation. In: 14th International Conference on Artificial Intelligence and Law, ICAIL 2013, 2013-06-10 - 2013-06-14, Rome. NY, USA: ACM, pp. 202-206.

Li, T., Balke, T., De Vos, M., Padget, J. and Satoh, K., 2013. Legal conflict detection in interacting legal systems. Amsterdam, The Netherlands: IOS Press, pp. 107-116. (Legal Knowledge and Information Systems; 259)

Li, W., 2013. Nonrigid Surface Tracking, Analysis and Evaluation. Thesis (Doctor of Philosophy (PhD)). University of Bath.

Li, W., Cosker, D. and Brown, M., 2013. An anchor patch based optimisation framework for reducing optical flow drift in long image sequences. In: Lee, K. M., Matsushita, Y., Rehg, J. M. and Hu, Z., eds. 11th Asian Conference on Computer Vision (ACCV), 2012-11-07. Berlin: Springer, pp. 112-125. (Lecture Notes in Computer Science; 7726)

Li, W., Cosker, D., Brown, M. and Tang, R., 2013. Optical flow estimation using Laplacian Mesh Energy. In: IEEE International Conference on Computer Vision and Pattern Recognition (CVPR), 2013-06-25 - 2013-06-27, Oregon, US.

Liu, H., Yang, Y., AlHalawani, S. and Mitra, N. J., 2013. Constraint-aware interior layout exploration for pre-cast concrete-based buildings. Visual Computer, 29 (6-8), pp. 663-673.

Lovett, T., Gabe-Thomas, E., Natarajan, S., O'neill, E. and Padget, J., 2013. 'Just enough' sensing to ENLITEN:A preliminary demonstration of sensing strategy for the 'ENergy LIteracy Through an intelligent home ENergy advisor' (ENLITEN) project. In: 4th ACM International Conference on Future Energy Systems, e-Energy 2013, 2013-05-21 - 2013-05-24, Berkeley, CA. New York: ACM, pp. 279-280.

MacFarlane, T., 2013. Extracting Semantics from the Enron Corpus. Other. Department of Computer Science, University of Bath. (Department of Computer Science Technical Report Series; CSBU-2013-08)

Mitra, N. J., Yang, Y.-L., Yan, D.-M., Li, W. and Agrawala, M., 2013. Illustrating how mechanical assemblies work. Communications of the ACM (CACM), 56 (1), pp. 106-114.

Nascimento, A. S., Rubira, C. M. F., Burrows, R. and Castor, F., 2013. A model-driven infrastructure for developing product line architectures using CVL. In: 7th Brazilian Symposium on Software Components, Architectures and Reuse, SBCARs 2013, 2013-09-29 - 2013-10-04, Brasilia.

Nascimento, A., Rubira, C. M. F., Burrows, R. and Castor, F., 2013. A systematic review of design diversity-based solutions for fault-tolerant SOAs. In: EASE 2013: 17th International Conference on Evaluation and Assessment in Software Engineering, 2013-04-13 - 2013-04-15, Porto de Galinhas. New York: ACM, pp. 107-118.

Nuckols, M.L., Kolaczkowski, S.T., Awdry, S., Le, C., Smith, T. and Thomas, D., 2013. An alternative method to remove carbon dioxide from submersible environments. In: Underwater Intervation Conference 2012, 2012-01-24 - 2012-01-26, New Orleans, LA. Curran Associates, pp. 316-324.

Padget, J., 2013. Situating COIN in the cloud (Invited Paper). In: 14th International Workshop on Coordination, Organizations, Institutions, and Norms in Agent Systems VIII (COIN 2012), 2012-06-05 - 2012-06-05, Valencia. Springer, pp. 1-16. (Lecture Notes in Computer Science)

Pickup, D. L., 2013. Example-Based Water Animation. Thesis (Doctor of Philosophy (PhD)). University of Bath.

Pieters, W., Padget, J., Dechesne, F., Dignum, V. and Aldewereld, H., 2013. Obligations to enforce prohibitions:On the adequacy of security policies. In: 6th International Conference on Security of Information and Networks (SIN 2013), 2013-11-26 - 2013-11-28, Aksaray. New York, NY, USA: ACM, pp. 54-61.

Raptis, G.E., Katsini, C.P. and Payne, S. J., 2013. VirDO: A virtual workspace for research documents. In: Aalberg, T., Papatheodorou, C., Dobreva, M., Tsakonas, G. and Farrugia, C. J., eds. International Conference on Theory and Practice of Digital Libraries, TPDL 2013, 2013-09-22 - 2013-09-26, Valletta. Berlin: Springer, pp. 470-473. (Lecture Notes in Computer Science; 8092)

Rauwolf, P., Balke, T. and De Vos, M., 2013. Modelling normative awareness:First considerations. In: Social Coordination: Principles, Artefacts and Theories, SOCIAL.PATH 2013,, 2013-04-03 - 2013-04-05, Exeter.

Ren, G., 2013. Designing for Effective Freehand Gestural Interaction. Thesis (Doctor of Philosophy (PhD)). Computer Science.

Ren, G. and O'Neill, E., 2013. 3D selection with freehand gesture. Computers & Graphics, 37 (3), pp. 101-120.

Ren, G. and O'Neill, E., 2013. Freehand gestural text entry for interactive TV. In: 11th European Conference on Interactive TV and Video, 2013-06-24 - 2013-06-26, Como. New York: ACM, pp. 121-129.

Seth, A. K. and Bryson, J. J., 2013. Natural action selection, modeling. Thousand Oaks, CA: Sage.

Song, Y.-Z., Pickup, D., Li, C., Rosin, P. and Hall, P., 2013. Abstract art by shape classification. IEEE Transactions on Visualization and Computer Graphics, 19 (8), pp. 1252-1263.

Sylwester, K., Herrmann, B. and Bryson, J., 2013. Homo homini lupus? Explaining antisocial punishment. Journal of Neuroscience, Psychology, and Economics, 6 (3), pp. 167-188.

Vaillant, R., Barthe, L., Guennebaud, G., Cani, M.-p., Rohmer, D., Wyvill, B., Gourmel, O. and Paulin, M., 2013. Implicit skinning:real-time skin deformation with contact modeling. ACM Transactions on Graphics, 32 (4), 125.

Vatsikas, S., Armour, S., Lewis, T. and De Vos, M., 2013. Distributed quality of service provision using coalitions and the nash bargaining solution. IET Communications, 7 (4), pp. 340-348.

Willis, P., 2013. Taking the Pixel out of the Picture. In: SMPTE Annual Technical Conference and Exhibition, 2013, 2013-01-01.

Wilson, D., Bradford, R. J., Davenport, J. H. and England, M., 2013. The Piano Mover's Problem Reformulated. Other. Department of Computer Science, University of Bath. (Department of Computer Science Technical Report Series; CSBU-2013-03)

Wilson, D. J. and England, M., 2013. Layered Cylindrical Algebraic Decomposition. Other. Department of Computer Science, University of Bath. (Department of Computer Science Technical Report Series; CSBU-2013-05)

Wilson, D., Davenport, J. H., England, M. and Bradford, R. J., 2013. A "piano movers" problem reformulated. In: SYNASC 2013: 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2013-09-23 - 2013-09-26, Timisoara. IEEE, pp. 53-60.

Wingfield, C., 2013. Graphical Foundations for Dialogue Games. Thesis (Doctor of Philosophy (PhD)). University of Bath.

Yang, Y.-L. and Huang, Q.-X., 2013. TrayGen:arranging objects for packaging and exhibition. Computer Graphics Forum, 32 (7), pp. 187-195.

Yang, Y.-L., Wang, J., Vouga, E. and Wonka, P., 2013. Urban pattern:layout design by hierarchical domain splitting. ACM Transactions on Graphics, 32 (6), 181:1-181:12.

Zhao, X., Tang, C.-C., Yang, Y., Pottmann, H. and Mitra, N. J., 2013. Intuitive design exploration of constrained meshes. Springer, pp. 305-318.

2012

Basurra, S.S., Ji, Y., De Vos, M., Padget, J., Lewis, T. and Armour, S., 2012. Social-aware routing for wireless mesh networks. In: 76th IEEE Vehicular Technology Conference, 2012-09-03 - 2012-09-06, Quebec City, QC.

Beale, D., 2012. Autonomous Visual Learning for Robotic Systems. Thesis (Doctor of Philosophy (PhD)). University of Bath.

Behrisch, M., Kerkhoff, S. and Power, J., 2012. Category theoretic understandings of universal algebra and its dual: monads and Lawvere theories, comonads and what? Electronic Notes in Theoretical Computer Science, 286, pp. 5-16.

Benton, L., Johnson, H., Ashwin, E., Brosnan, M. and Grawemeyer, B., 2012. Developing IDEAS: supporting children with autism within a participatory design team. In: CHI'12: The 2012 ACM annual conference on Human Factors in Computing Systems, 2012-05-05 - 2012-05-10, Austin, Texas. New York: Association for Computing Machinery (ACM), pp. 2599-2608.

Bibu, G., Padget, J. and Yoshioka, N., 2012. System security requirements analysis with answer set programming. In: 2012 2nd IEEE International Workshop on Requirements Engineering for Systems, Services, and Systems-of-Systems, 2012-09-24 - 2012-09-24, Chicago. IEEE, pp. 10-13.

Boenn, G., Brain, M., De Vos, M. and Ffitch, J., 2012. Computational music theory. In: 8th AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment, AIIDE 2012 Workshop, 2012-10-08, Stanford, CA.. Association for the Advancement of Artificial Intelligence (AAAI), pp. 27-34. (AAAI Technical Report; WS-12-16)

Brain, M. and Schanda, F., 2012. A lightweight technique for distributed and incremental program verification. Heidelberg: Springer, pp. 114-129. (Lecture Notes in Computer Science)

Brazier, F., Dignum, V., Huhns, M. N., Derksen, C., Dignum, F., Lessner, T., Padget, J., Quillinan, T. and Singh, M. P., 2012. Agent-based organisational governance of services. Multiagent and Grid Systems, 8 (1), pp. 3-18.

Brown, M. A., Barrington-Leigh, C. and Brown, Z., 2012. Kernel regression for real-time building energy analysis. Journal of Building Performance Simulation, 5 (4), pp. 263-276.

Bryson, J. J., 2012. Patiency is not a virtue:suggestions for co-constructing an ethical framework including intelligent artefacts. In: Gunkel, D. J., Bryson, J. J. and Torrance, S., eds. AISB/IACAP World Congress 2012 - The Machine Question: AI, Ethics and Moral Responsibility, Part of Alan Turing Year 2012, 2012-07-02 - 2012-07-06, Birmingham. Society for the Study of Artificial Intelligence and the Simulation of Behaviour, pp. 73-77.

Bryson, J.J., 2012. A role for consciousness in action selection. International Journal of Machine Consciousness, 4 (2), pp. 471-482.

Bryson, J.J., 2012. Internet memory and life after death. Bereavement Care, 31 (2), pp. 70-72.

Chen, C., Davenport, J.H., Moreno Maza, M., Xia, B. and Xiao, R., 2012. Computing with semi-algebraic sets:Relaxation techniques and effective boundaries. Journal of Symbolic Computation, 52, pp. 72-96.

Churchill, M., 2012. Imperative Programs as Proofs via Game Semantics. Thesis (Doctor of Philosophy (PhD)). University of Bath.

Chyzak, F., Davenport, J. H., Koutschan, C. and Salvy, B., 2012. On Kahan's rules for determining branch cuts. IEEE Press.

Das, A., 2012. Complexity of deep inference via atomic flows. In: Cooper, S. B., Dawar, A. and Lowe, B., eds. Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, 2012-06-17 - 2012-06-22, Cambridge. Heidelberg, Germany: Springer, pp. 139-150. (Lecture Notes in Computer Science; 7318)

Davenport, J.H., 2012. Small algorithms for small systems. ACM Communications in Computer Algebra, 46 (1-2), pp. 1-9.

Davenport, J., 2012. Program Verification in the presence of complex numbers, functions with branch cuts etc. In: SYNASC 2012: 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2012-09-25 - 2012-09-28, Timisoara.

Davenport, J., Bradford, R., England, M. and Wilson, D., 2012. Program Verification in the presence of complex numbers, functions with branch cuts etc. In: SYNASC 2012: 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2012-09-25 - 2012-09-28, Timisoara. Piscataway: IEEE, pp. 83-88.

De Vos, M., Kisa, D. G., Oetsch, J., Puehrer, J. and Tompits, H., 2012. Annotating answer-set programs in Lana. Theory and Practice of Logic Programming, 12 (4-5), pp. 616-637.

Duan, K., Padget, J., Kim, H.A. and Hosobe, H., 2012. Composition of engineering web services with universal distributed data-flows framework based on ROA. In: Third International Workshop on RESTful Design (WS-REST 2012) at WWW2012, 2012-04-16, Lyon. Association for Computing Machinery (ACM), pp. 41-48.

Duggan, G. B., Johnson, H. and Grawemeyer, B., 2012. Rational security: modelling everyday password use. International Journal of Human-Computer Studies, 70 (6), pp. 415-431.

Elakehal, E. E. and Padget, J., 2012. MSMAS: modelling self-managing multi agent systems. Journal of Scalable Computing: Practice and Experience, 13 (2), pp. 121-137.

Elakehal, E. E. and Padget, J., 2012. Market intelligence and price adaptation. In: 14th Annual International Conference on Electronic Commerce, ICEC 2012, 2012-08-06 - 2012-08-07. New York: ACM, pp. 9-16.

England, M. and Athone, C., 2012. Generalised elliptic functions. Central European Journal of Mathematics, 10 (5), pp. 1655-1672.

England, M. and Athorne, C., 2012. Building Abelian Functions with Generalised Baker-Hirota Operators. SIGMA: Symmetry, Integrability and Geometry: Methods and Applications, 8 (037).

Fajardo, I. and Payne, S.J., 2012. Shared online spreadsheets and hidden profiles: Technological effects on dyad decision strategy. Interacting with Computers, 24 (5), pp. 387-397.

Gemrot, J., Brom, C., Bída, M. and Bryson, J., 2012. How to compare usability of techniques for the specification of virtual agents' behavior?:An experimental pilot study with human subjects. Berlin: Springer, pp. 38-62. (Lecture Notes in Computer Science)

Gooch, D. and Watts, L., 2012. SleepyWhispers:Sharing goodnights within distant relationships. In: Proceedings of the UIST2012: 25th Annual ACM Symposium on User Interface Software and Technology, 2012-10-07 - 2012-10-10, Cambridge, MA. ACM, pp. 61-62.

Gooch, D. and Watts, L., 2012. It's neat to feel the heat:How can we hold hands at a distance? In: CHI'12: The 2012 ACM annual conference on Human Factors in Computing Systems, 2012-05-05 - 2012-05-10, Austin, Texas.

Gooch, D. and Watts, L. A., 2012. YourGloves, hothands and hotmits: devices to hold hands at a distance. In: Proceedings of the UIST2012: 25th Annual ACM Symposium on User Interface Software and Technology, 2012-10-07 - 2012-10-10, Cambridge, MA. New York: Association for Computing Machinery (ACM), pp. 157-166.

Grawemeyer, B., Johnson, H., Brosnan, M., Ashwin, E. and Benton, L., 2012. Developing an embodied pedagogical agent with and for young people with autism spectrum disorder. In: Cerri, S. A., Clancey, W. J., Papadourakis, G. and Panourgia, K., eds. Intelligent Tutoring Systems: 11th International Conference, ITS 2012, 2012-06-13 - 2012-06-17, Chania, Crete. Springer, pp. 262-267. (Lecture Notes in Computer Science; 7315)

Grimmett, J. and O'Neill, E., 2012. UPnP: breaking out of the LAN. In: IEEE Wireless Communications and Networking Conference (WCNC) 2012, 2012-04-01 - 2012-04-04, Paris.

Harrison, T. S., 2012. Testing Boundaries: A Theory of Adaption and Framing Effects in Ongoing Tasks. Thesis (Doctor of Philosophy (PhD)). University of Bath.

He, L., Huang, C., Duan, K., Li, K., Chen, H., Sun, J. and Jarvis, S. A., 2012. Modeling and analyzing the impact of authorization on workflow executions. Future Generation Computer Systems, 28 (8), pp. 1177-1193.

Heijltjes, W., 2012. Graphical Representation of Canonical Proof: Two Case Studies. Thesis (Doctor of Philosophy (PhD)). University of Edinburgh.

Jiang, R.M. and Crookes, D., 2012. Visual saliency estimation through manifold learning. In: 26th AAAI Conference on Artificial Intelligence and the 24th Innovative Applications of Artificial Intelligence Conference, 2012-07-22 - 2013-02-26, Toronto.

Jones, S. L., 2012. Automating Group-Based Privacy Control in Social Networks. Thesis (Doctor of Philosophy (PhD)). University of Bath.

Kassem, M., Dawood, N. and Mitchell, D., 2012. A decision support system for the selection of curtain wall systems at the design development stage. Construction Management and Economics, 30 (12), pp. 1039-1053.

Kelly, R. and Gooch, D., 2012. Understanding participation and opportunities for design from an online postcard sending community. In: DIS 2012: Designing Interactive Systems Conference, 2012-06-10 - 2012-06-14, Newcastle. New York, U. S. A.: ACM, pp. 568-571.

Korovina, M. and Vorobjov, N., 2012. Reachability in one-dimensional controlled polynomial dynamical systems. Berlin: Springer, pp. 251-261. (Lecture Notes in Computer Science; 7162)

Lam, V. S. W. and Padget, J., 2012. Equivalence checking of communicating UML statechart diagrams. International Journal of Software Engineering and Knowledge Engineering, 22 (2), pp. 265-304.

Lovett, T. and O'Neill, E., 2012. Capturing transitions between users' semantically meaningful places using mobile devices. In: MobiSys 2012: The Tenth International Conference on Mobile Systems, Applications, and Services, 2012-06-24 - 2012-06-28, Low Wood Bay, Lake District. New York, USA: ACM, pp. 11-16.

Lovett, T. and O'Neill, E., 2012. Simulating user intervention for interactive semantic place recognition with mobile devices. In: RecSys Workshop on Personalizing the Local Mobile Experience, 2012-09-13 - 2012-09-13, Dublin. New York: ACM, pp. 13-18.

Mac Aodha, O., Campbell, N. D. F., Nair, A. and Brostow, G. J., 2012. Patch based synthesis for single depth image super-resolution. In: Fitzgibbon, A., Lazebnik, S., Perona, P., Sato, Y. and Schmid, C., eds. 12th European Conference on Computer Vision,2012, 2012-10-07 - 2012-10-13, Florence. Berlin, Germany: Springer, pp. 71-84. (Lecture Notes in Computer Science; 7574)

McCusker, G., Power, J. and Wingfield, C., 2012. A graphical foundation for schedules. Electronic Notes in Theoretical Computer Science, 286, pp. 273-289.

Mitchell, J., O'Neill, E., Zyba, G., Voelker, G. M., Liljenstam, M., Mehes, A. and Johansson, P., 2012. Limitations of scanned human copresence encounters for modelling proximity-borne malware. IEEE.

Mulholland, P., Anastopoulou, S., Collins, T., Feisst, M., Gaved, M., Kerawalla, L., Paxton, M., Scanlon, E., Sharples, M. and Wright, M., 2012. nQuire: Technological support for personal inquiry learning. IEEE Transactions on Learning Technologies, 5 (2), pp. 157-169.

Novelli, V., De Vos, M., Padget, J. and D'Ayala, D., 2012. LOG-IDEAH:ASP for architectonic asset preservation. In: Dovier, A. and Santos Costa, V., eds. 28th International Conference on Logic Programming, 2012-09-04 - 2012-09-08, Budapest. Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, pp. 393-403. (Leibniz International Proceedings in Informatics (LIPIcs); 17)

O'Neill, E., 2012. Improving Mobile Services. University of Bath.

Patterson, J. W., Taylor, C. D. and Willis, P. J., 2012. Constructing and rendering vectorised photographic images. The Journal of Virtual Reality and Broadcasting, 9 (3), urn:nbn:de:0009-6-32713.

Powers, S.T., Taylor, D. J. and Bryson, J. J., 2012. Punishment can promote defection in group-structured populations. Journal of Theoretical Biology, 311, pp. 107-116.

Ren, G. and O'Neill, E., 2012. 3D marking menu selection with freehand gestures. In: IEEE Symposium on 3D User Interfaces 2012, 2012-03-04 - 2012-03-05, California.

Schanda, F., 2012. A modular physics methodology for games. Thesis (Doctor of Philosophy (PhD)). University of Bath.

Shirazian, P., Wyvill, B. and Duprat, J.-L., 2012. Polygonization of implicit surfaces on multi-core architectures with SIMD instructions. Eurographics: European Association for Computer Graphics, pp. 89-98. (Eurographics Symposium on Parallel Graphics and Visualization)

Song, Y.-Z., Li, C., Wang, L., Hall, P. and Shen, P., 2012. Robust visual tracking using region hierarchy and graph matching. Neurocomputing, 89, pp. 12-20.

Srikulwong, M., 2012. Tactile Displays for Pedestrian Navigation. Thesis (Doctor of Philosophy (PhD)). University of Bath.

Wang, L. and Wilson, M., 2012. Computations of flow and heat transfer in a rotor-stator system with externally-induced ingestion. International Journal of Gas Turbine, Propulsion and Power Systems, 4 (1), pp. 10-18.

Whitehouse, H., Kahn, K., Hochberg, M. E. and Bryson, J. J., 2012. From the imaginary to the real:The back and forth between reality and simulation. Religion, Brain & Behavior, 2 (3), pp. 219-224.

Whitehouse, H., Kahn, K., Hochberg, M. E. and Bryson, J. J., 2012. The role for simulations in theory construction for the social sciences:Case studies concerning Divergent Modes of Religiosity. Religion, Brain & Behavior, 2 (3), pp. 182-201.

Wilkinson, S. C., Reader, W. and Payne, S. J., 2012. Adaptive browsing: Sensitivity to time pressure and task difficulty. International Journal of Human-Computer Studies, 70 (1), pp. 14-25.

Yang, Y.-L. and Shen, C.-H., 2012. Multi-scale salient feature extraction on mesh models. In: First International Conference on Computational Visual Media (CVM), 2012, 2012-11-08 - 2012-11-10, Beijing. Berlin, Germany: Springer, pp. 122-129. (Lecture Notes in Computer Science; 7633)

Yang, Y. and Shen, C.-H., 2012. Multi-scale salient features for analyzing 3D shapes. Journal of Computer Science and Technology, 27 (6), pp. 1092-1099.

Yoon, W. J., Brown, M. A., Reinhall, P. G., Park, S. and Seibel, E. J., 2012. Design and preliminary study of custom laser scanning cystoscope for automated bladder surveillance. Minimally Invasive Therapy & Allied Technologies, 21 (5), pp. 320-328.

2011

Seth, A. K., Prescott, T. J. and Bryson, J. J., eds., 2011. Modelling Natural Action Selection. Cambridge University Press.

Al-Kuwari, S., 2011. Integrated-Key Cryptographic Hash Functions. Thesis (Doctor of Philosophy (PhD)). University of Bath.

Arora, A., González, V. M. and Payne, S. J., 2011. The social nature of work fragmentation: Revisiting informal workplace communication. The Ergonomics Open Journal, 4 (1), pp. 23-37.

Ashwin, E., Brosnan, M., Johnson, H., Grawemeyer, B. and Benton, L., 2011. Social functioning, systemising ability and emotion recognition in autism spectrum disorders. In: International Meeting For Autism Research, 2011-05-01, San Diego.

Balke, T., De Vos, M., Padget, J. and Fitzek, F., 2011. Using a normative framework to explore the prototyping of wireless grids. In: 6th International Workshops on Coordination, Organizations, Institutions, and Norms in Agent Systems VI, COIN@MALLOW 2010, August 30, 2010 - August 30, 2010, 2011-01-01, Lyon. Heidelberg: Springer, pp. 95-113. (Lecture Notes in Computer Science)

Balke, T., De Vos, M., Padget, J. and Traskas, D., 2011. On-line reasoning for institutionally-situated BDI agents. In: 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011-05-02 - 2011-05-06, Taipei, Taiwan.

Balke, T., De Vos, M., Padget, J. A. and Traskas, D., 2011. Normative run-time reasoning for institutionally-situated BDI agents. In: 2011 IEEE/WIC/ACM International Joint Conferences on Web Intelligence and Intelligent Agent Technology - Workshops, WI-IAT 2011, 2011-08-21 - 2011-08-26, Lyon. Piscataway, U.S.A: IEEE Computer Society.

Beale, D., Iravani, P. and Hall, P., 2011. Probabilistic models for robot-based object segmentation. Robotics and Autonomous Systems, 59 (12), pp. 1080-1089.

Benton, L., Ashwin, E., Johnson, H., Grawemeyer, B. and Brosnan, M., 2011. IDEAS: An interface design experience for the autistic spectrum. In: 29th Annual CHI Conference on Human Factors in Computing Systems, CHI 2011, May 7, 2011 - May 12, 2011, 2011-01-01, Vancouver, BC. New York: Association for Computing Machinery (ACM), pp. 1759-1764. (Conference on Human Factors in Computing Systems - Proceedings)

Benton, L., Johnson, H., Brosnan, M., Ashwin, E. and Grawemeyer, B., 2011. Children with ASD as design partners in the creation of a computer-based maths tutor. In: International Meeting For Autism Research, 2011-05-01, San Diego.

Bevan, C., 2011. Human to Computer Trust in Urban Pervasive Computing. Thesis (Doctor of Philosophy (PhD)). University of Bath.

Bevan, C., Mitchell, J., Kindberg, T., O'Neill, E., Grimmett, J., Stanton Fraser, D. and Woodgate, D., 2011. Influence of user choice on perception of wireless connection genuineness and security. In: 1st Workshop on Pervasive Urban Applications in conjunction with the 9th International Conference on Pervasive Computing, 2011, 2011-06-12 - 2011-06-15, San Francisco.

Boenn, G., 2011. Automated analysis and transcription of rhythm data and their use for composition. Thesis (Doctor of Philosophy (PhD)). University of Bath.

Boenn, G., Brain, M., De Vos, M. and Ffitch, J., 2011. Automatic music composition using answer set programming. Theory and Practice of Logic Programming, 11 (2-3), pp. 397-427.

Boenn, G., Brain, M., De Vos, M. and ffitch, J., 2011. Anton — A Rule-Based Composition System. In: Proceedings of ICMC2011, 2011-08-01. University of Huddersfield and ICMA, pp. 135-138. (ICMC)

Bradford, R., ffitch, J. and Dobson, R., 2011. Real-time Sliding Phase Vocoder using a Commodity GPU. In: Proceedings of ICMC2011, 2011-08-01. University of Huddersfield and ICMA, pp. 587-590. (ICMC)

Brown, M. A., Hua, G. and Winder, S., 2011. Discriminative learning of local image descriptors. IEEE Transactions on Pattern Analysis and Machine Intelligence, 33 (1), pp. 43-57.

Brown, M. A. and Susstrunk, S., 2011. Multi-spectral SIFT for scene category recognition. In: IEEE Computer Vision and Pattern Recognition (CVPR) 2011, 2011-06-21 - 2011-06-25, Colorado Springs. IEEE, pp. 177-184.

Bryson, J., 2011. AI robots should not be considered moral agents. Detroit: Greenhaven Press. (Opposing Viewpoints Series)

Bryson, J. J., 2011. A role for consciousness in action selection. In: Proceedings of the AISB 2011 Symposium: Machine Consciousness, 2011-04-06 - 2011-04-07, University of York.

Bryson, J. J. and Kime, P. P., 2011. Just an artifact: Why machines are perceived as moral agents. In: Proceedings of the 22nd International Joint Conference on Artificial Intelligence, 2011-07-16 - 2011-07-22, Barcelona, Catalonia.

Bryson, J. J. and Kime, P. P., 2011. Just an artifact:why machines are perceived as moral agents. In: Walsh, T., ed. 22nd International Joint Conference on Artificial Intelligence, 2011-07-16 - 2011-07-22, Barcelona, Catalonia. Menlo Park, CA, USA: AAAI Press, pp. 1641-1646.

Campbell, N.D.F., Vogiatzis, G., Hernández, C. and Cipolla, R., 2011. Automatic object segmentation from calibrated images. In: Conference for Visual Media Production (CVMP), 2011, 2011-11-16 - 2011-11-17, London. IEEE, pp. 126-137.

Chen, C., Davenport, J. H., Lemaire, F., Maza, M. M., Xia, B., Xiao, R. and Xie, Y., 2011. Computing the real solutions of polynomial systems with the RegularChains library in Maple. ACM Communications in Computer Algebra, 45 (3-4), pp. 166-168.

Chen, C., Davenport, J. H., Moreno Maza, M., Xia, B. and Xiao, R., 2011. Computing with semi-algebraic sets represented by triangular decomposition. In: 36th International Symposium on Symbolic and Algebraic Computation, ISSAC 2011, June 8, 2011 - June 11, 2011, 2011-01-01, San Jose, CA. New York: Association for Computing Machinery (ACM), pp. 75-82. (Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC)

Churchill, M., Laird, J. and McCusker, G., 2011. Imperative programs as proofs via game semantics. IEEE, pp. 65-74. (Annual Symposium on Logic in Computer Science)

Clairambault, P., 2011. Estimation of the length of interactions in arena game semantics. In: 14th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, March 26, 2010 - April 3, 2010, 2011-01-01, Saarbrucken. Heidelberg: Springer, pp. 335-349. (Lecture Notes in Computer Science)

Clairambault, P., 2011. Isomorphisms of types in the presence of higher-order references. Piscataway, NJ: IEEE, pp. 152-161.

Clairambault, P. and Dybjer, P., 2011. The biequivalence of locally cartesian closed categories and martin-lof type theories. In: 10th International Conference on Typed Lambda Calculi and Applications, TLCA 2011, June 1, 2011 - June 3, 2011, 2011-01-01, Novi Sad. Heidelberg: Springer, pp. 91-106. (Lecture Notes in Computer Science)

Clutha, M., 2011. Bounding Betti Numbers of Sets Definable in O-Minimal Structures Over the Reals. Thesis (Doctor of Philosophy (PhD)). University of Bath.

Corapi, D., Russo, A., De Vos, M., Padget, J. and Satoh, K., 2011. Normative design using inductive learning. Theory and Practice of Logic Programming, 11 (4-5), pp. 783-799.

Corapi, D., De Vos, M., Padget, J., Russo, A. and Satoh, K., 2011. Norm refinement and design through inductive learning. In: 6th International Workshops on Coordination, Organizations, Institutions, and Norms in Agent Systems VI, COIN@MALLOW 2010, August 30, 2010 - August 30, 2010, 2011-01-01, Lyon. Heidelberg: Springer, pp. 77-94. (Lecture Notes in Computer Science; 6541)

Cosker, D., Krumhuber, E. and Hilton, A., 2011. A FACS valid 3D dynamic action unit database with applications to 3D dynamic morphable facial modelling. In: 13th International Conference on Computer Vision (ICCV), 2011-11-06 - 2011-11-13, Barcelona.

Cosker, D., Krumhuber, E. and Hilton, A., 2011. A FACS valid 3D dynamic action unit database with applications to 3D dynamic morphable facial modelling. In: 13th International Conference on Computer Vision (ICCV), 2011-11-06 - 2011-11-13, Barcelona. IEEE, pp. 2296-2303.

Das, A., 2011. On the proof complexity of cut-free bounded deep inference. In: 20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2011, July 4, 2011 - July 8, 2011, 2011-01-01, Bern. Heidelberg: Springer, pp. 134-148. (Lecture Notes in Computer Science)

De Vos, M., Padget, J. and Satoh, K., 2011. Legal modelling and reasoning using institutions. In: 2nd JSAI International Symposia on Artificial Intelligence, JSAI-isAI 2010, November 18, 2010 - November 19, 2010, 2011-01-01, Tokyo. Heidelberg: Springer, pp. 129-140. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics))

Dove, J. A., Eubanks, D. L., Panteli, N., Watts, L. A. and Joinson, A. N., 2011. Making an entrance 2.0: the linguistics of introductory success in virtual communities. In: 44th Hawaii International Conference on System Sciences, HICSS-44 2010, January 4, 2011 - January 7, 2011, 2011-01-01, Koloa, Kauai, HI. Piscataway, NJ: IEEE Computer Society, pp. 1-10. (Proceedings of the Annual Hawaii International Conference on System Sciences)

Duggan, G. B. and Payne, S. J., 2011. Skim reading by satisficing: evidence from eye tracking. In: 29th Annual CHI Conference on Human Factors in Computing Systems, CHI 2011, May 7, 2011 - May 12, 2011, 2011-01-01, Vancouver, BC. New York: ACM, pp. 1141-1150.

Elakehal, E. E. and Padget, J., 2011. A Practical Method for Developing Multi Agent Systems: APMDMAS. Heidelberg: Springer, pp. 11-20.

Fatah gen Schieck, A., Palmer, F., Penn, A. and O'Neill, E., 2011. Sensing, projecting and interpreting digital identity through Bluetooth: from anonymous encounters to social engagement. Cambridge, U. S. A.: Massachusetts Institute of Technology Press, pp. 297-314.

Firmenich, D., Brown, M. and Susstrunk, S., 2011. Multispectral Interest Points for RGN-NIR Image Registration. In: ICIP 2011: IEEE International Conference on Image Processing, 2011-09-11 - 2011-09-14, Brussels.

Gemrot, J., Brom, C., Bryson, J. J. and Bída, M., 2011. How to compare usability of techniques for the specification of virtual agents behavior? An experimental pilot study with human subjects. In: Proceedings of the AAMAS 2011 Workshop on the uses of Agents for Education, Games and Simulations, 2011-05-02 - 2011-05-03, Taipei, Taiwan.

Girard, S. and Johnson, H., 2011. Designing affective animations with children as design partners using role-playing. In: 23rd Conference Francophone sur l'Interaction Homme-Machine, IHM'11 - 23rd French Speaking Conference on Human-Computer Interaction, IHM'11, October 24, 2011 - October 27, 2011, 2011-01-01, Sophia Antipolis. New York: Association for Computing Machinery (ACM). (ACM International Conference Proceeding Series)

Gluckman, G. M. and Bryson, J. J., 2011. An agent-based model of the effects of a primate social structure on the speed of natural selection. In: 13th Annual Genetic and Evolutionary Computation Conference, GECCO'11, July 12, 2011 - July 16, 2011, 2011-07-01, Dublin. New York: Association for Computing Machinery (ACM), pp. 535-542.

Gooch, D., 2011. Socialising presence. In: 29th Annual CHI Conference on Human Factors in Computing Systems, CHI 2011, May 7, 2011 - May 12, 2011, 2011-01-01, Vancouver, BC. New York: Association for Computing Machinery (ACM), pp. 1049-1052. (Conference on Human Factors in Computing Systems - Proceedings)

Gooch, D. and Watts, L., 2011. The Magic Sock Drawer project. In: 29th Annual CHI Conference on Human Factors in Computing Systems, CHI 2011, May 7, 2011 - May 12, 2011, 2011-01-01, Vancouver, BC. New York: Association for Computing Machinery (ACM), pp. 243-252. (Conference on Human Factors in Computing Systems - Proceedings)

Gooch, D. and Watts, L. A., 2011. Up close and personal: social presence in mediated personal relationships. In: 25th BCS Conference on Human-Computer Interaction (HCI2011 Health, Wealth and Happiness), 2011-07-04 - 2011-07-08, Newcastle Upon Tyne.

Grawemeyer, B. and Johnson, H., 2011. Using and managing multiple passwords: a week to a view. Interacting with Computers, 23 (3), pp. 256-267.

Grawemeyer, B., Johnson, H., Brosnan, M., Ashwin, E. and Benton, L., 2011. Clustering of External Representations In Young People with Autism Spectrum Disorder. In: International Meeting For Autism Research, 2011-05-01, San Diego.

Grawemeyer, B., Johnson, H., Brosnan, M., Ashwin, E. and Benton, L., 2011. The impact of Autism Spectrum Disorder on the Categorisation of External Representations. Cognitive Science. In: 33rd Annual Meeting of the Cognitive Science Society, 2011-07-20 - 2011-07-23, Boston, Massachusetts.

Grey, J. and Bryson, J. J., 2011. Procedural quests: A focus for agent interaction in role-playing-games. In: Proceedings of the AISB 2011 Symposium: AI & Games, 2011-04-06 - 2011-04-07, University of York.

Guglielmi, A. and Straburger, L., 2011. A system of interaction and structure V: the exponentials and splitting. Mathematical Structures in Computer Science, 21 (3), pp. 563-584.

He, L., Huang, C., Li, K., Chen, H., Sun, J., Gao, B., Duan, K. and Jarvis, S. A., 2011. Modelling and analyzing the authorization and execution of video workflows. Piscataway, NJ: IEEE.

He, L., Duan, K., Chen, X., Zou, D., Han, Z., Fadavinia, A. and Jarvis, S. A., 2011. Modelling workflow executions under role-based authorisation control. Piscataway, NJ: IEEE, pp. 200-208.

Heijltjes, W., 2011. Proof nets for additive linear logic with units. In: 26th Annual IEEE Symposium on Logic in Computer Science, 2011-06-20 - 2011-06-23, Toronto. IEEE, pp. 207-216.

Holstein, H., Fitzgerald, D., Willis, C. and Foss, C., 2011. Magnetic gradient tensor eigen-analysis for dyke location. In: 73rd EAGE Conference & Exhibition incorporating SPE EUROPEC 2011, 2011-05-23 - 2011-05-26, Vienna.

Jones, S., 2011. User Experiences with Group-Based Access Control in a Mobile Photo-Sharing Application. In: PriMo 2011 Workshop, Workshop Proceedings of the 5th IFIP WG (Vol. 11), 2011-06-01, Copenhagen.

Jones, S. and O'Neill, E., 2011. Contextual dynamics of group-based sharing decisions. In: 29th Annual CHI Conference on Human Factors in Computing Systems, CHI 2011, May 7, 2011 - May 12, 2011, 2011-01-01, Vancouver, BC. New York: Association for Computing Machinery (ACM), pp. 1777-1786. (Conference on Human Factors in Computing Systems - Proceedings)

Kalnikaitėv, V., Rogers, Y., Bird, J., Villar, N., Bachour, K., Payne, S., Todd, P. M., Schöning, J., Krüger, A. and Kreitmayer, S., 2011. How to nudge in situ: Designing lambent devices to deliver salience information in supermarkets. In: 13th ACM International Conference on Ubiquitous Computer, 2011-09-17 - 2011-09-21, Beijing.

Komendantskaya, E. and Power, J., 2011. Coalgebraic Derivations in Logic Programming. Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, pp. 352-366. (Leibniz International Proceedings in Informatics (LIPIcs))

Komendantskaya, E., McCusker, G. and Power, J., 2011. Coalgebraic semantics for parallel derivation strategies in logic programming. Springer, pp. 111-127. (Lecture Notes in Computer Science)

Komendantskaya, E. and Power, J., 2011. Coalgebraic semantics for derivations in logic programming. Heidelberg: Springer, pp. 268-282. (Lecture Notes in Computer Science; 6859)

Kostakos, V., Venkatanathan, J., Reynolds, B., Sadeh, N., Toch, E., Shaikh, S. A. and Jones, S., 2011. Who's your best friend? Targeted privacy attacks in location-sharing social networks. In: 13th International Conference on Ubiquitous Computing, UbiComp'11 and the Co-located Workshops, September 17, 2011 - September 21, 2011, 2011-09-01, Beijing. New York: Association for Computing Machinery (ACM), pp. 177-186.

Laird, J., Manzonetto, G. and McCusker, G., 2011. Constructing differential categories and deconstructing categories of games. Heidelberg, Germany: Springer, pp. 186-197. (Lecture Notes in Computer Science; 6756)

Li, C., Deussen, O., Song, Y.-Z., Willis, P. and Hall, P., 2011. Modeling and generating moving trees from video. ACM Transactions on Graphics, 30 (6), 127.

Li, C., Shaw, M., Pickup, D., Cosker, D., Willis, P. and Hall, P., 2011. Realtime video based water surface approximation. Piscataway, NJ: IEEE, pp. 109-117.

Lillehagen, T., 2011. Compilation and Automatic Parallelisation of Functional Code for Data-Parallel Architectures. Other. Department of Computer Science, University of Bath. (Department of Computer Science Technical Report Series; CSBU-2011-01)

Lovett, T. and O'Neill, E., 2011. Context transitions: user identification and comparison of mobile device motion data. In: 2011 AAAI Workshop, August 7, 2011 - August 8, 2011, 2011-08-01, San Francisco, CA. El Segundo, CA.: AI Access Foundation, pp. 42-47. (AAAI Workshop - Technical Report)

Mills, A., Lister, D. and De Vos, M., 2011. Understanding static inter-cell interference coordination mechanisms in LTE. Journal of Communications, 6 (4), pp. 312-318.

Natarajan, S., Padget, J. and Elliott, L., 2011. Modelling UK domestic energy and carbon emissions: an agent-based approach. Energy and Buildings, 43 (10), pp. 2602-2612.

Neives, J. C., Padget, J., Vasconcelos, W., Staikopoulos, A., Cliffe, O., Dignum, F., Vazquez-Salceda, J., Clarke, S. and Reed, C., 2011. Coordination, organisation and model driven approaches for dynamic, flexible, robust software and services engineering. Vienna, Austria: Springer, pp. 85-115.

O'Neill, E., 2011. The future is a foreign country: we'll do things differently there. IEEE Internet Computing, 15 (2), pp. 82-85.

Padget, J., Riat, H., Forchhammer, B., Warnier, M., Brazier, F. M. T. and Natarajan, S., 2011. An agent-based infrastructure for energy profile capture and management. In: 2011 International Conference on Networking, Sensing and Control, ICNSC 2011, 2011-04-11 - 2011-04-13, Delft.

Payne, S. and Neth, H., 2011. Interactive coin addition: How hands can help us think. Austin, TX: Cognitive Science Society, pp. 279-284.

Payne, S. J. and Duggan, G. B., 2011. Giving up problem solving. Memory & Cognition, 39 (5), pp. 902-913.

Phisanbut, N., 2011. Practical simplification of elementary functions using CAD. Thesis (Doctor of Philosophy (PhD)). University of Bath.

Pickup, D., Li, C., Cosker, D., Hall, P. and Willis, P., 2011. Reconstructing mass-conserved water surfaces using shape from shading and optical flow. In: 10th Asian Conference on Computer Vision, ACCV 2010, November 8, 2010 - November 12, 2010, 2011-01-01, Queenstown. Heidelberg: Springer, pp. 189-201.

Power, J., 2011. Unicity of Enrichment over Cat or Gpd. Applied Categorical Structures, 19 (1), pp. 293-299.

Power, J., 2011. Indexed Lawvere theories for local state. Rhode Island: American Mathematical Society, pp. 213-229. (CRM Proceedings & Lecture Notes; 53)

Rigamonti, R., Brown, M. A. and Lepetit, V., 2011. Are sparse representations really relevant for image classification? In: IEEE Computer Vision and Pattern Recognition (CVPR) 2011, 2011-06-21 - 2011-06-25, Colorado Springs. IEEE, pp. 1545-1552.

Sharples, M., Collins, T., Feit, M., Gaved, M., Mulholland, P., Paxton, M. and Wright, M., 2011. A laboratory of knowledge-making for personal inquiry learning. In: 15th International Conference on Artificial Intelligence in Education, AIED 2011, June 28, 2011 - July 1, 2011, 2011-06-01, Auckland. Heidelberg: Springer, pp. 312-319. (Lecture Notes in Computer Science)

Sheng, Y., Willis, P. J., Castro, G. G. and Ugail, H., 2011. Facial geometry parameterisation based on Partial Differential Equations. Mathematical and Computer Modelling, 54 (5-6), pp. 1536-1548.

Shipp, V. E. and Johnson, P., 2011. Supporting collaboration in the development of complex engineering software. In: 4th International Workshop on Cooperative and Human Aspects of Software Engineering, CHASE 2011, Co-located with ICSE 2011, May 21, 2011 - May 21, 2011, 2011-01-01, Waikiki, Honolulu, HI. Piscataway, NJ: IEEE Computer Society, pp. 84-87. (Proceedings - International Conference on Software Engineering)

Song, Y. Z., Xiao, B., Hall, P. and Wang, L., 2011. In search of perceptually salient groupings. IEEE Transactions on Image Processing, 20 (4), pp. 935-947.

Song, Y.-Z., Bowen, C., Kim, H. A., Nassehi, A., Padget, J., Gathercore, N. and Dent, A., 2011. Non-invasive damage detection in composite beams using marker extraction and wavelets. Proceedings of SPIE - The International Society for Optical Engineering, 7983, 79830R.

Srikulwong, M. and O'Neill, E., 2011. A comparative study of tactile representation techniques for landmarks on a wearable device. In: 29th Annual CHI Conference on Human Factors in Computing Systems, CHI 2011, May 7, 2011 - May 12, 2011, 2011-01-01, Vancouver, BC. New York: Association for Computing Machinery (ACM), pp. 2029-2038. (Conference on Human Factors in Computing Systems - Proceedings)

Srikulwong, M. and O'Neill, E., 2011. Wearable tactile display of landmarks and directon for pedestrian navigation:A user survey and evaluation. International Journal of Mobile Human Computer Interaction (IJMHCI), 3 (3), pp. 31-49.

Straburger, L. and Guglielmi, A., 2011. A system of interaction and structure IV: The exponentials and decomposition. ACM Transactions on Computational Logic, 12 (4), 23.

Todd, P. M., Rogers, Y. and Payne, S. J., 2011. Nudging the trolley in the supermarket:How to deliver the right information to shoppers. International Journal of Mobile Human Computer Interaction (IJMHCI), 3 (2), pp. 20-34.

Traskas, D. and Padget, J., 2011. A multi-agent systems approach to call-centre management. International Journal of Parallel, Emergent and Distributed Systems, 26 (5), pp. 347-367.

Traskas, D., Padget, J. and Tansley, J., 2011. A probabilistic mechanism for agent discovery and pairing using domain-specific data. In: 6th International Workshops on Coordination, Organizations, Institutions, and Norms in Agent Systems VI, COIN@MALLOW 2010, August 30, 2010 - August 30, 2010, 2011-01-01, Lyon. Heidelberg: Springer, pp. 192-209. (Lecture Notes in Computer Science)

Vatsikas, S., Armour, S., De Vos, M. and Lewis, T., 2011. A distributed algorithm for wireless resource allocation using coalitions and the Nash Bargaining Solution. In: 2011 IEEE 73rd Vehicular Technology Conference, VTC2011-Spring, May 15, 2011 - May 18, 2011, 2011-05-01, Budapest. Piscataway, NJ: IEEE. (IEEE Vehicular Technology Conference)

Vatsikas, S., Armour, S., De Vos, M. and Lewis, T., 2011. A fast and fair algorithm for distributed subcarrier allocation using coalitions and the Nash bargaining solution. In: Vehicular Technology Conference (VTC Fall), 2011 IEEE, 2011-09-05 - 2011-09-08.

Vazquez-Salceda, J., Vasconcelos, W., Padget, J., Dignum, F., Clarke, S., Palau, M., Sergeant, P. and Nieuwenhuis, K., 2011. ALIVE: A model-driven framework to develop dynamic, flexible, distributed service-oriented systems. In: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, September 23, 2010 - September 26, 2010, 2011-01-01, Timisoara. Piscataway, NJ: IEEE Computer Society, pp. 485-492.

Waldron, S. M., Patrick, J. and Duggan, G. B., 2011. The influence of goal-state access cost on planning during problem solving. Quarterly Journal of Experimental Psychology, 64 (3), pp. 485-503.

Walter, T., Hourizi, R., Moncur, W. and Pitsillides, S., 2011. Does the internet change how we die and mourn? Overview and analysis. Omega: Journal of Death & Dying, 64 (4), pp. 275-302.

Watson, R. and De Vos, M., 2011. ASTREA: Answer sets for a trusted reasoning environment for agents. Heidelberg: Springer, pp. 490-509. (Lecture Notes in Computer Science; 6565)

Wright, M., Lin, C.-J., Cosker, D., O'Neill, E. and Johnson, P., 2011. Identifying and evaluating gestural interaction in ubiquitous and pervasive computing. In: Proceedings GW2011: The 9th International Gesture Workshop: Gesture in Embodied Communication and Human-Computer Interaction, 2011-05-25 - 2011-05-27, Athens.

Wright, M., Lin, C.-J., O'Neill, E., Cosker, D. and Johnson, P., 2011. 3D Gesture recognition: an evaluation of user and system performance. In: Lyons, K., Hightower, J. and Huang, E. M., eds. 9th International Conference on Pervasive Computing, Pervasive 2011, June 12, 2011 - June 15, 2011, 2011-06-01, San Francisco, CA. Berlin: Springer, pp. 294-313. (Lecture Notes in Computer Science; 6696)

Xiao, B., Song, Y. Z. and Hall, P., 2011. Learning invariant structure for object identification by using graph methods. Computer Vision and Image Understanding, 115 (7), pp. 1023-1031.

Yang, Y.-L., Yang, Y.-J., Pottmann, H. and Mitra, N. J., 2011. Shape space exploration of constrained meshes. ACM Transactions on Graphics, 30 (6), 124:1-124:12.

ffitch, J., 2011. Running Csound in parallel. In: Linux Audio Conference 2011, 2011-05-06 - 2011-05-08, National University of Ireland, Maynooth.

2010

Aldewereld, H., Padget, J., Vasconcelos, W., Vazquez-Salceda, J., Sergeant, P. and Staikopoulos, A., 2010. Adaptable, organization-aware, service-oriented computing. IEEE Intelligent Systems, 25 (4), pp. 80-84.

Ashwin, E., Brosnan, M., Johnson, H., Grawemeyer, B. and Benton, L., 2010. Social functioning, systemising ability and emotion recognition in autism spectrum conditions. In: Autism Neuroscience Conference, 2010-09-01, Cambridge.

Basurra, S. S., De Vos, M., Padget, J., Lewis, T. and Armour, S., 2010. A zone-based routing protocol with parallel collision guidance broadcasting for MANET. In: 2010 IEEE 12th International Conference on Communication Technology, ICCT'2010, November 11, 2010 - November 14, 2010, 2010-11-01, Nanjing. IEEE, pp. 1188-1191.

Beale, D., Iravani, P. and Hall, P., 2010. Statistical visual-dynamic model for hand-eye coordination. In: 23rd IEEE/RSJ 2010 International Conference on Intelligent Robots and Systems, IROS 2010, October 18, 2010 - October 22, 2010, 2010-10-01, Taipei, Taiwan. Piscataway, NJ: IEEE Computer Society, pp. 3931-3936.

Benedikt, L., Cosker, D., Rosin, P. L. and Marshall, D., 2010. Assessing the uniqueness and permanence of facial actions for use in biometric applications. IEEE Transactions on Systems Man and Cybernetics - Part A: Systems and Humans, 40 (3), pp. 449-460.

Bernhardt, A., Barthe, L., Cani, M.-P. and Wyvill, B., 2010. Implicit blending revisited. Computer Graphics Forum, 29 (2), pp. 367-375.

Billings, M. and Watts, L. A., 2010. Understanding dispute resolution online: using text to reflect personal and substantive issues in conflict. In: 28th Annual CHI Conference on Human Factors in Computing Systems, CHI 2010, April 10, 2010 - April 15, 2010, 2010-04-01, Atlanta, GA. New York: Association for Computing Machinery (ACM), pp. 1447-1456. (Conference on Human Factors in Computing Systems - Proceedings)

Bradford, R., Davenport, J. H. and Sangwin, C., 2010. A comparison of equality in computer algebra and correctness in mathematical pedagogy (II). International Journal for Technology in Mathematics Education, 17 (2), pp. 93-98.

Brazier, F.M., Dignum, V., Dignum, F., Huhns, M.H., Lessner, T., Padget, J., Quillinan, T. and Singh, M.P., 2010. Governance of services:A natural function for agents. In: 22nd Benelux Conference on Artificial Intelligence, BNAIC 2010, 2000-10-24 - 2010-10-25, Kirchberg.

Brosnan, M., Daggar, R. and Collomosse, J., 2010. The relationship between systemising and mental rotation and the implications for the extreme male brain theory of autism. Journal of Autism and Developmental Disorders, 40 (1), pp. 1-7.

Brosnan, M., Ashwin, E., Johnson, H., Grawemeyer, B. and Benton, L., 2010. Emotion recognition of avatars in adolescents with ASD. In: The Third Autism Neuroscience Conference, 2010-09-10, University of Cambridge, Cambridge.

Bruscoli, P., Guglielmi, A., Gundersen, T. and Parigot, M., 2010. A quasipolynomial cut-elimination procedure in deep inference via atomic flows and threshold formulae. Berlin: Springer, pp. 136-153. (Lecture Notes in Computer Science; 6355)

Bryson, J. J. and Tanguy, E. A. R., 2010. Simplifying the design of human-like behaviour:Emotions as durative dynamic state for action selection. International Journal of Synthetic Emotions, 1 (1), pp. 30-50.

Bryson, J. J., 2010. Robots should be slaves. Amsterdam: John Benjamins, pp. 63-74. (Natural Language Processing; 8)

Bryson, J. J., 2010. The need for cognitive systems in medical care. CyberTherapy & Rehabilitation Magazine, 3 (3), pp. 35-36.

Bryson, J. J., 2010. Why robot nannies probably won't do much psychological damage. Interaction Studies, 11 (2), pp. 196-200.

Calderon, A. C. and McCusker, G. A., 2010. Understanding game semantics through coherence spaces. Electronic Notes in Theoretical Computer Science, 265, pp. 231-244.

Campbell, N.D.F., Vogiatzis, G., Hernández, C. and Cipolla, R., 2010. Automatic 3D object segmentation in multiple views using volumetric graph-cuts. Image and Vision Computing, 28 (1), pp. 14-25.

Carette, J. and Davenport, J. H., 2010. Factorization of sparse polynomials or the power of vocabulary. Submitted to: International Symposium on Symbolic and Algebraic Computation 2010 (ISSAC 2010), 2010-07-25 - 2010-07-28, Technische Universität München, München.

Carrigan, N., Forbes, N., Hourizi, R. and Johnson, P., 2010. A framework for managing collaboration and conflict in complex systems. In: IADIS Int. Conf. Collaborative Technologies 2010,CT, IADIS Int. Conf. Web Based Communities 2010,WBC, Part of the MCCSIS 2010, July 26, 2010 - July 31, 2010, 2010-01-01, Freiburg. Lisbon: IADIS, pp. 37-44.

Caseli, H. D., Ramisch, C., Nunes, M. D. V. and Villavicencio, A., 2010. Alignment-based extraction of multiword expressions. Language Resources and Evaluation, 44 (1-2), pp. 59-77.

Chen, C., Davenport, J. H., May, J. P., Maza, M. M., Xia, B. and Xiao, R., 2010. Triangular decomposition of semi-algebraic systems. In: 2010 International Symposium on Symbolic and Algebraic Computation, ISSAC 2010, July 25, 2010 - July 28, 2010, 2010-01-01, Munich. New York, U. S. A.: ACM, pp. 187-194.

Churchill, M. and Laird, J., 2010. A logic of sequentiality. Springer, pp. 215-229. (Lecture Notes in Computer Science)

Cliffe, E., Davenport, J., De Vos, M., Parmar, N. R. and Hayes, A., 2010. Using EVS and ResponseWare to Enhance Student Learning and Learning Experience. Submitted to: 11th Annual Conference of Higher Education Academy Subject Centre for Information and Computer Science, 2010-08-24 - 2010-08-26, Durham.

Cliffe, O., Scotney, A. and Padget, J., 2010. Bootstrapping semantic web services with in-language annotations. In: 7th Extended Semantic Web Conference, 2010-05-29 - 2010-06-03, Heraklion.

Cosker, D., Krumhuber, E. and Hilton, A., 2010. A FACS validated 3D human facial model. In: ACM/SSPNET 2nd International Symposium on Facial Analysis and Animation, FAA 2010, October 21, 2010 - October 21, 2010, 2010-01-01, Edinburgh. New York: Association for Computing Machinery (ACM). (ACM International Conference Proceeding Series)

Cosker, D., Krumhuber, E. and Hilton, A., 2010. Perception of linear and nonlinear motion properties using a FACS validated 3D facial model. In: 7th Annual Symposium on Applied Perception in Graphics and Visualization, APGV 2010, July 23, 2010 - July 24, 2010, 2010-01-01, Los Angeles, CA. New York, U. S. A.: ACM, pp. 101-108.

Davenport, J., 2010. The Challenges of Multivalued "Functions". Lecture Notes in Computer Science, 6167, pp. 1-12.

Fatah gen Schieck, A., O'Neill, E. and Kataras, P., 2010. Exploring embodied mediated performative interactions in urban space. In: Workshop on Designing for Performative Interactions in Public Spaces, UbiComp 2010, 2010-09-26 - 2010-09-29, Copenhagen.

Garzonis, S., 2010. Mobile Service Awareness via Auditory Notifications. Thesis (Doctor of Philosophy (PhD)). University of Bath.

Geng, X., Smith-Miles, K., Wang, L., Li, M. and Wu, Q., 2010. Context-aware fusion: A case study on fusion of gait and face for human identification in video. Pattern Recognition, 43 (10), pp. 3660-3673.

Girard, S. and Johnson, H., 2010. What do children favor as embodied pedagogical agents? Springer, pp. 307-316. (Lecture Notes in Computer Science)

Gooch, D. and Watts, L. A., 2010. Understanding social presence. In: International Society for Presence Research Annual Conference (ISPR 2011), 2011-10-26 - 2011-10-28, Edinburgh, Scotland.

Guglielmi, A., Gundersen, T. and Parigot, M., 2010. A proof calculus which reduces syntactic bureaucracy. Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, pp. 135-150.

Guglielmi, A., Gundersen, T. and Straburger, L., 2010. Breaking paths in atomic flows for classical logic. In: 25th Annual IEEE Symposium on Logic in Computer Science, LICS 2010, July 11, 2010 - July 14, 2010, 2010-07-01, Edinburgh. IEEE, pp. 284-293. (Proceedings - Symposium on Logic in Computer Science)

Heijltjes, W., 2010. Classical proof forestry. Annals of Pure and Applied Logic, 161 (11), 1346–1366.

Hopton, L., Cliffe, O., De Vos, M. and Padget, J., 2010. InstQL: A Query Language for Virtual Institutions Using Answer Set Programming. Berlin: Springer, pp. 102-121. (Lecture Notes in Artificial Intelligence)

Johnson, P., Hourizi, R., Carrigan, N. and Forbes, N., 2010. Collaboration and conflict: A framework for large-scale collaborations. In: 2010 International Symposium on Collaborative Technologies and Systems (CTS 2010), 2010-05-17 - 2010-05-21, Chicago, IL.

Kostakos, V. and Kostakos, P. A., 2010. Inferring social networks from physical interactions:A feasibility study. International Journal of Pervasive Computing and Communications, 6 (4), pp. 423-431.

Kostakos, V., O'Neill, E., Penn, A., Roussos, G. and Papadongonas, D., 2010. Brief encounters: sensing, modeling and visualizing urban mobility and copresence networks. ACM Transactions on Computer-Human Interaction, 17 (1), 2.

Laird, J., 2010. Game semantics for a polymorphic programming language. In: 25th Annual IEEE Symposium on Logic in Computer Science, LICS 2010, July 11, 2010 - July 14, 2010, 2010-07-01, Edinburgh. IEEE, pp. 41-49. (Proceedings - Symposium on Logic in Computer Science)

Laird, J., 2010. Game semantics for call-by-value polymorphism. Lecture Notes in Computer Science, 6199 LNCS, pp. 187-198.

Lovett, T. and O'Neill, E., 2010. Mobile context-awareness: capabilities, challenges and applications. In: 12th ACM International Conference on Ubiquitous Computing (UbiComp’10), 2010-09-26 - 2010-09-29, Copenhagen. New York, USA: ACM, pp. 539-540.

McCusker, G. A., 2010. A graph model for imperative computation. Logical Methods in Computer Science, 6 (1), Paper 2.

McCusker, G. A. and Power, J., 2010. Modelling local variables: possible worlds and object spaces. Electronic Notes in Theoretical Computer Science, 265, pp. 389-402.

Mills, A., Lister, D., De Vos, M. and Ji, Y., 2010. The impact of MS velocity on the performance of frequency selective scheduling in IEEE 802.16e Mobile WiMAX. In: 2010 7th IEEE Consumer Communications and Networking Conference, CCNC 2010, January 9, 2010 - January 12, 2010, 2010-01-01, Las Vegas, NV. IEEE Computer Society, pp. 1-5.

Mitra, N. J., Yang, Y., Yan, D.-M., Li, W. and Agrawala, M., 2010. Illustrating How Mechanical Assemblies Work. ACM Transactions on Graphics, 29 (4), 58:1-58:12.

O'Neill, E., Collomosse, J., Jay, T., Yousef, K., Rieser, M. and Jones, S., 2010. Older user experience: an evaluation with a location-based mobile multimedia service. IEEE Vehicular Technology Magazine, 5 (1), pp. 31-38.

Padget, J., Riat, H., Warnier, M., Brazier, F. and Natarajan, S., 2010. An agent-based infrastructure for energy profile capture and management. In: Agent Technologies for Energy Systems (ATES 2010), 2010-05-11, Toronto.

Palmer, F., Fatah gen Schieck, A. and O'Neill, E., 2010. Bluetooth enabled performative interactions in public spaces. In: Designing for Performative Interactions in Public Spaces (UbiComp 2010), 2010-09-26 - 2010-09-29, Copenhagen.

Palmer, F. and O'Neill, E., 2010. Interpreting technology-mediated identity: Perception of social intention and meaning in Bluetooth names. In: OZCHI '10 (22nd Annual Conference of the Australian Computer-Human Interaction Special Interest Group (CHISIG)), 2010-11-22 - 2010-11-26, Brisbane.

Palmer, F. and O'Neill, E., 2010. Interpreting technology-mediated identity: perception of social intention and meaning in Bluetooth name. In: 22nd Annual Conference of the Computer-Human Interaction Special Interest Group (CHISIG) of Australia on Computer-Human Interaction: Design - Interaction - Participation, OZCHI 2010, November 22, 2010 - November 26, 2010, 2010-01-01, Brisbane, QLD. New York: Association for Computing Machinery (ACM), pp. 232-239. (ACM International Conference Proceeding Series)

Rogers, Y., Payne, S. J. and Todd, P., 2010. Projecting instant information in situ: can it help us make more informed decisions? In: Ubiprojection 2010 (workshop in conjunction with Pervasive 2010), 2010-05-17, Helsinki.

Schanda, F. and Willis, P., 2010. A modular physical-simulation methodology. In: 7th Workshop on Virtual Reality Interactions and Physical Simulations, VRIPHYS 2010, 2010-11-11 - 2010-11-12, Copenhagen. Goslar: Eurographics Association, pp. 105-114.

Song, Y.-Z., Arbelaez, P., Hall, P., Li, C. and Balikai, A., 2010. Finding semantic structures in image hierarchies using Laplacian graph energy. In: Daniilidis, K., Maragos, P. and Paragios, N., eds. 11th European Conference on Computer Vision, ECCV 2010, September 5, 2010 - September 11, 2010, 2010-09-01, Heraklion, Crete. Berlin: Springer, pp. 694-707. (Lecture Notes in Computer Science; 6314)

Srikulwong, M. and O'Neill, E., 2010. A comparison of two wearable tactile interfaces with a complementary display in two orientations. In: 5th International Workshop on Haptic and Audio Interaction Design, HAID 2010, September 16, 2010 - September 17, 2010, 2010-09-01, Copenhagen. Springer, pp. 139-148. (Lecture Notes in Computer Science)

Srikulwong, M. and O'Neill, E., 2010. A direct experimental comparison of back array and waist-belt tactile interfaces for indicating direction. In: Workshop on Multimodal location based techniques for extreme navigation, Pervasive 2010, 2010-05-17 - 2010-05-20, Helsinki.

Srikulwong, M. and O'Neill, E., 2010. Tactile representation of landmark types for pedestrian navigation: user survey and experimental evaluation. In: Workshop on Using audio and haptics for delivering spatial information via mobile devices, Mobile HCI 2010, 2010-01-01, Lisbon.

Staikopoulos, A., Cliffe, O., Popescu, R., Padget, J. and Clarke, S., 2010. Template-based adaptation of semantic web services with model-driven engineering. IEEE Transactions on Services Computing, 3 (2), pp. 116-130.

Sugihara, M., Wyvill, B. and Schmidt, R., 2010. WarpCurves:a tool for explicit manipulation of implicit surfaces. Computers & Graphics, 34 (3), pp. 282-291.

Sutton, P., 2010. Requirements for a feasibility assessment for Multi-Attribute Optimisation techniques: A system of systems Engineering approach. In: 2010 5th International Conference on System of Systems Engineering, SoSE 2010, June 22, 2010 - June 24, 2010, 2010-08-01, Loughborough. IEEE Computer Society.

Todd, P., Rogers, Y. and Payne, S., 2010. Nudging the cart in the supermarket: How much is enough information for food shoppers? In: NIMD'10 : First International Workshop on Nudge & Influence Through Mobile Devices, 2010-09-07, Lisbon.

Vazquez-Salceda, J., Ceccaroni, L., Dignum, F., Vasconcelos, W., Padget, J., Clarke, S., Sergeant, P. and Nieuwenhuis, K., 2010. Combining organisational and coordination theory with model driven approaches to develop dynamic, flexible, distributed business systems. In: 1st International ICST Conference on Digital Business, DigiBiz 2009, June 17, 2009 - June 19, 2009, 2010-01-01, London. Heidelberg: Springer, pp. 175-184. (Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering)

Wang, C., Zhang, J., Pu, J., Yuan, X. and Wang, L., 2010. Chrono-gait image: A novel temporal template for gait recognition. In: 11th European Conference on Computer Vision, ECCV 2010, September 5, 2010 - September 11, 2010, 2010-09-01, Heraklion, Crete. Springer, pp. 257-270. (Lecture Notes in Computer Science)

Wang, L. and Leckie, C., 2010. Encoding actions via quantized vocabulary of averaged silhouettes. In: 2010 20th International Conference on Pattern Recognition, ICPR 2010, August 23, 2010 - August 26, 2010, 2010-08-01, Istanbul. IEEE, pp. 3657-3660. (Proceedings - International Conference on Pattern Recognition)

Wang, L., Nguyen, U. T. V., Bezdek, J. C., Leckie, C. A. and Ramamohanarao, K., 2010. iVAT and aVAT: Enhanced Visual Analysis for Cluster Tendency Assessment. Springer, pp. 16-27. (Lecture Notes in Artificial Intelligence)

Wang, L., Zhao, G., Rajpoot, N. and Nixon, M. S., 2010. Special issue on new advances in video-based gait analysis and applications: Challenges and solutions. IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics, 40 (4), pp. 982-985.

Wang, Q., McIntosh, R. and Brain, M., 2010. A new-generation automated warehousing capability. International Journal of Computer Integrated Manufacturing, 23 (6), pp. 565-573.

Wyvill, B. and Dodgson, N., 2010. Recursive scene graphs for art and design. Eurographics: European Association for Computer Graphics, pp. 33-40.

Yoon, W., Brown, M. and Seibel, E., 2010. Automated Cystoscopic Surveillance System with Endoscopic Image Mosaicing. In: Mechatronics 2010: The 12th Mechatronics Forum Biennial International Conference, 2010-06-28 - 2010-06-30, Zurich.

ffitch, J. P., 2010. Introduction to program design. MIT Press, pp. 383-430.

ffitch, J. P., 2010. Understanding an Opcode in Csound. MIT Press, pp. 581-616.

ffitch, J. P., 2010. Using C to Generate Scores. MIT Press, pp. 655-676.

ffitch, J. P., Dobson, R., Lazzarini, V. and Boulanger, R., 2010. Appendix G: Glossary. MIT Press, pp. 823-854.

2009

, 2009. SEA09:Software Engineering for Answer Set Programming. Other. Department of Computer Science, University of Bath. (Department of Computer Science Technical Report Series; CSBU-2009-20)

Alvarez-Napageo, S., Cliffe, O. C., Vazquez-Salceda, J. and Padget, J. A., 2009. Norms, organisations and semantic web services: The alive approach. CEUR Workshop Proceedings, 494, pp. 114-115.

Boenn, G., Brain, M., De Vos, M. and ffitch, J., 2009. ANTON: Composing logic and logic composing. In: Erdem, E., Fangzhen, L. and Schaub, T., eds. Logic Programming and Nonmonotonic Reasoning, 10th International Conference, 2009-09-01. Springer, pp. 542-547. (Lecture Notes in Artificial Intelligence)

Bradford, R., Davenport, J. H. and Sangwin, C. J., 2009. A comparison of equality in computer algebra and correctness in mathematical pedagogy. In: Carette, J., Dixon, L., Sacerdoti Coen, C. and Watt, S. M., eds. 8th International Conference on Mathematical Knowledge Management (MKM 2009), 2009-07-10 - 2009-07-12, Grand Bend, Ontario. Berlin: Springer, pp. 75-89. (Lecture Notes in Computer Science; 5625/2)

Brain, M., Cliffe, O. and De Vos, M., 2009. A pragmatic programmer’s guide to answer set programming. In: Software Engineering for Answer Set Programming (SEA09), 2009-09-14, Potsdam.

Brain, M. and De Vos, M., 2009. The significance of memory costs in answer set solver implementation. Journal of Logic and Computation, 19 (4), pp. 615-641.

Bruscoli, P. and Guglielmi, A., 2009. On the proof complexity of deep inference. ACM Transactions on Computational Logic, 10 (2), 14.

Bryson, J. J., 2009. Crude, Cheesy, Second-Rate Consciousness. In: Bishop, M., ed. The Second AISB Symposium Computing and Philosophy, 2009-04-09, Heriot-Watt University, Edinburgh, Scotland.

Bryson, J., 2009. Building persons is a choice. Erwägen Wissen Ethik, 20 (2), pp. 195-197.

Bryson, J. J., 2009. Age-related inhibition and learning effects: Evidence from transitive performance. In: The 31st Annual Meeting of the Cognitive Science Society (CogSci 2009), 2009-07-29 - 2009-08-01, Amsterdam.

Bryson, J. J. and Kaczensky, P., 2009. Exploring Knowledge Dissemination as a Selective Force for Aggregation: Preliminary Results from Modelling Wild Asiatic Asses. In: Powers, S., ed. Levels of Selection and Individuality in Evolution: Conceptual Issues and the Role of Artificial Life Models, a workshop at The Tenth European Conference on Artificial Life (ECAL '09), 2009-09-14, Budapest.

Byrod, M., Brown, M. and Astrom, K., 2009. Minimal Solutions for Panoramic Stitching with Radial Distortion. In: British Machine Vision Conference 2009: BMVC09, 2009-09-07 - 2009-09-10, London.

Carette, J., Davenport, J. and Fitch, J., 2009. Barton and Fitch Revisited. EPRINTS-JOURNAL

Charron, C., Hicks, Y. and Hall, P., 2009. Applying incremental learning to parallel image segmentation. In: 2009 IEEE 12th International Conference on Computer Vision Workshops, ICCV Workshops 2009, September 27, 2009 - October 4, 2009, 2009-01-01, Kyoto. IEEE, pp. 2064-2071.

Chen, C., Davenport, J. H., May, J., Moreno Maza, M., Xia, B., Xiao, R. and Xie, Y., 2009. User interface design for geometrical decomposition algorithms in Maple. In: Mathematical User-Interfaces Workshop 2009, 2009-07-06, Grand Bend, Ontario, Canada.

Cliffe, O., De Vos, M. and Padget, J., 2009. Modelling normative frameworks using answer set programing. In: Erdem, E., Fangzhen, L. and Schaub, T., eds. 10th International Conference on Logic Programming and Nonmonotonic Reasoning, 2009-01-01, Potsdam. Berlin, Germany: Springer, pp. 548-553. (Lecture Notes in Computer Science)

Collinson, M., Monahan, B. and Pym, D., 2009. A logical and computational theory of located resource. Journal of Logic and Computation, 19 (6), pp. 1207-1244.

Collinson, M. and Pym, D., 2009. Algebra and logic for resource-based systems modelling. Mathematical Structures in Computer Science, 19 (5), pp. 959-1027.

Crick, T., Brain, M., De Vos, M. and Fitch, J., 2009. Generating optimal code using answer set programming. In: Erdem, E., Fangzhen, L. and Schaub, T., eds. 10th International Conference on Logic Programming and Nonmonotonic Reasoning, 2009-01-01, Potsdam. Berlin, Germany: Springer, pp. 554-559. (Lecture Notes in Computer Science)

Crick, T., 2009. Superoptimisation: provably optimal code generation using answer set programming. Thesis (Doctor of Philosophy (PhD)). University of Bath.

Crick, T., Dunning, P., Kim, H. A. and Padget, J., 2009. Engineering design optimization using services and workflows. Philosophical Transactions of the Royal Society A - Mathematical Physical and Engineering Sciences, 367 (1898), pp. 2741-2751.

Davenport, J., Hayes, A. and Parmar, N. R., 2009. The use of an Electronic Voting System to enhance student feedback. In: Plymouth e-Learning Conference, 2009-04-23 - 2009-04-24, Plymouth.

Davenport, J. H. and Carette, J., 2009. The sparsity challenges. IEEE Press, pp. 3-7.

Davenport, J. H. and Kohlhase, M., 2009. Unifying Math Ontologies: A tale of two standards. In: Carette, J., Dixon, L., Sacerdoti Coen, C. and Watt, S. M., eds. 8th International Conference on Mathematical Knowledge Management (MKM 2009), 2009-07-10 - 2009-07-12, Grand Bend, Ontario. Berlin: Springer, pp. 263-278.

De Vos, M., 2009. ASP: The future is bright a position paper. In: Erdem, E., Fangzhen, L. and Schaub, T., eds. 10th International Conference on Logic Programming and Nonmonotonic Reasoning, 2009-01-01, Potsdam. Berlin, Germany: Springer, pp. 625-627. (Lecture Notes in Computer Science)

Dignum, F., Dignum, V., Padget, J. and Vazquez-Salceda, J., 2009. Organizing web services to develop dynamic, flexible, distributed systems. In: 11th International Conference on Information Integration and Web-based Applications and Services (iiWAS2009), 2009-12-14 - 2009-12-16, Kuala Lumpur.

Duggan, G. B. and Payne, S. J., 2009. Text skimming: the process and effectiveness of foraging through text under time pressure. Journal of Experimental Psychology: Applied, 15 (3), pp. 228-242.

Fatah gen Schieck, A. and O'Neill, E., 2009. The urban screen as a platform for communication. In: Workshop on Crowd Computer Interaction, The Annual CHI Conference on Human Factors in Computing Systems, 2009-04-04 - 2009-04-09, Boston.

Fitch, J., 2009. CAMAL 40 Years on - Is Small Still Beautiful? In: Carette, J., Dixon, L., Coen, C. S. and Watt, S. M., eds. 16th Symposium on Integration of Symbolic Computation and Mechanized Researching/8th International Conference on Mathematical Knowledge Management, 2009-01-01, Granda Bend. Berlin: Springer, pp. 32-44. (Lecture Notes in Computer Science)

Gabrielov, A. and Vorobjov, N., 2009. Approximation of definable sets by compact families, and upper bounds on homotopy and homology. Journal of the London Mathematical Society, 80 (1), pp. 35-54.

Garzonis, S., Jones, S., Jay, T. and O'Neill, E., 2009. Auditory Icon and Earcon Mobile Service Notifications:Intuitiveness, Learnability, Memorability and Preference. In: Greenberg, S., Hudson, S. E., Hinkley, K., RingelMorris, M. and Olsen, D. R., eds. 27th Annual CHI Conference on Human Factors in Computing Systems, 2009-04-04 - 2009-04-09, Boston, MA. Association for Computing Machinery (ACM), pp. 1513-1522.

Girard, S. and Johnson, H., 2009. Educational software for children. New York: ACM, pp. 259-262.

Goodison, P., Johnson, P. and Thoms, J., 2009. Establishing causality in complex human interactions: Identifying breakdowns of intentionality. In: 1st International Conference on Complex Sciences: Theory and Applications, Complex 2009, February 23, 2009 - February 25, 2009, 2009-01-01, Shanghai. Heidelberg: Springer, pp. 1631-1641. (Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering)

Gradwell, P., 2009. Economic Algorithms for the Management of Resources in Computer Systems. Thesis (Doctor of Philosophy (PhD)). University of Bath.

Guglielmi, A., 2009. Personal portrait of Giorgio Levi. Theoretical Computer Science, 410 (46), pp. 4605-4607.

Gundersen, T. E., 2009. A general view of normalisation through atomic flows. Thesis (Doctor of Philosophy (PhD)). University of Bath.

Gupta, P., Arrabolu, S. S., Brown, M. and Savarese, S., 2009. Video scene categorization by 3D hierarchical histogram matching. In: ICCV 2009: IEEE 12th International Conference on Computer Vision, 2009-09-29 - 2009-10-02, Kyoto.

Hopton, L., Cliffe, O., De Vos, M. and Padget, J., 2009. AQL : A query language for action domains modelled using answer set programming. In: Erdem, E., Fangzhen, L. and Schaub, T., eds. 10th International Conference on Logic Programming and Nonmonotonic Reasoning, 2009-01-01, Potsdam. Berlin, Germany: Springer, pp. 437-443. (Lecture Notes in Computer Science)

Hopton, L., 2009. Modelling Institutions using Answer Set Programming:Enhancing the Institution Action Language. Other. Department of Computer Science, University of Bath. (Department of Computer Science Technical Report Series; CSBU-2009-06)

Ioannidis, C., Pym, D. and Williams, J., 2009. Investments and trade-offs in the economics of information security. In: Dingledine, R. and Golle, P., eds. 13th International Conference on Financial Cryptography and Data Security, 2009-07-01, Accra Beach. Berlin, Heidelberg: Springer, pp. 148-166. (Lecture Notes in Computer Science; 5628)

Johnson, M., Naumann, D. and Power, J., 2009. Category Theoretic Models of Data Refinement. Electronic Notes in Theoretical Computer Science, 225, pp. 21-38.

Kaenampornpan, M., 2009. A context model, design tool and architecture for context-aware systems designs. Thesis (Doctor of Philosophy (PhD)). University of Bath.

Khader, D., 2009. Attribute based authentication schemes. Thesis (Doctor of Philosophy (PhD)). University of Bath.

Khader, D., Chen, L. Q. and Davenport, J. H., 2009. Certificate-free Attribute Authentication. Berlin: Springer, pp. 301-325. (Lecture Notes in Computer Science; 5921)

Kindberg, T., Bevan, C., O'Neill, E., Mitchell, J., Grimmett, J. and Woodgate, D., 2009. Authenticating ubiquitous services: a study of wireless hotspot access. New York, USA: ACM, pp. 115-124.

Kindberg, T., Mitchell, J., Grimmett, J., Bevan, C. and O'Neill, E., 2009. Authenticating public wireless networks with physical evidence. IEEE Computer Society, pp. 394-399.

Knapp, P., Gardner, P. H., Carrigan, N., Raynor, D. K. and Woolf, E., 2009. Perceived risk of medicine side effects in users of a patient information website: A study of the use of verbal descriptors, percentages and natural frequencies. British Journal of Health Psychology, 14 (3), pp. 579-594.

Kostakos, V., Nicolai, T., Yoneki, E., O'Neill, E., Kenn, H. and Crowcroft, J., 2009. Understanding and measuring the urban pervasive infrastructure. Personal and Ubiquitous Computing, 13 (5), pp. 355-364.

Krumhuber, E., Manstead, A. S. R., Cosker, D., Marshall, D. and Rosin, P. L., 2009. Effects of dynamic attributes of smiles in human and synthetic faces: a simulated job interview setting. Journal of Nonverbal Behavior, 33 (1), pp. 1-15.

Lack, S. and Power, J., 2009. Gabriel-Ulmer duality and Lawvere theories enriched over a general base. Journal of Functional Programming, 19 (3-4), pp. 265-286.

Laird, J., 2009. Nondeterminism and observable sequentiality. Berlin: Springer, pp. 379-393. (Lecture Notes in Computer Science; 5771)

Lam, J. S. C., Vasconcelos, W. W., Guerin, F., Corsar, D., Chorley, A., Norman, T. J., Vázquez-Salceda, J., Panagiotidi, S., Confalonieri, R., Gomez, I., Hidalgo, S., Napagao, S. A., Nieves, J. C., Palau Roig, M., Ceccaroni, L., Aldewereld, H., Dignum, V., Dignum, F., Penserini, L., Padget, J., De Vos, M., Andreou, D., Cliffe, O., Staikopoulos, A., Popescu, R., Clarke, S., Sergeant, P., Reed, C., Quillinan, T. and Nieuwenhuis, K., 2009. ALIVE: A Framework for Flexible and Adaptive Service Coordination. Heidelberg: Springer, pp. 236-239.

Lehmann, H., 2009. On the applicability of agent based modelling in behavioural ecology. Thesis (Doctor of Philosophy (PhD)). University of Bath.

Lombardo, V., Valle, A., Fitch, J., Tazelaar, K., Weinzierl, S. and Borczyk, W., 2009. A Virtual-Reality Reconstruction of Poeme Electronique Based on Philological Research. Computer Music Journal, 33 (2), pp. 24-47.

Lovett, T., O'Neill, E., Pollington, D. and Irwin, J., 2009. Event-based mobile social network services. In: Workshop on Context-Aware Mobile Media and Mobile Social Networks, Mobile HCI 2009, 2009-09-15 - 2009-09-18, University of Bonn.

Nickles, M. and Sottara, D., 2009. Approaches to uncertain or imprecise rules: a survey. Springer, pp. 323-336. (Lecture Notes in Computer Science)

Nishizawa, K. and Power, J., 2009. Lawvere theories enriched over a general base. Journal of Pure and Applied Algebra, 213 (3), pp. 377-386.

Pan, J. J., Yang, X. S., Xie, X., Willis, P. and Zhang, J. J., 2009. Automatic rigging for animation characters with 3D silhouette. Computer Animation and Virtual Worlds, 20 (2-3), pp. 121-131.

Patterson, J. W., Taylor, C. D. and Willis, P. J., 2009. Reconstructing vectorised photographic images. In: 6th European Conference for Visual Media Production, CVMP 2009, November 12, 2009 - November 13, 2009, 2010-03-15, London. IEEE Computer Society, pp. 15-24.

Pottmann, H., Wallner, J., Huang, Q.-X. and Yang, Y.-L., 2009. Integral invariants for robust geometry processing. Computer Aided Geometric Design, 26 (1), pp. 37-60.

Power, J. and Tanaka, M., 2009. Axiomatics for Data Refinement in Call by Value Programming Languages. Electronic Notes in Theoretical Computer Science, 225, pp. 281-302.

Song, Y. Z., 2009. Hierarchical Image Descriptions for Classification and Painting. Thesis (Doctor of Philosophy (PhD)). University of Bath.

Thoms, J., 2009. Human centric systems engineering. Thesis (Doctor of Philosophy (PhD)). University of Bath.

Traskas, D. and Padget, J., 2009. Engineering agent organisations in a business environment. Springer, pp. 49-64. (Lecture Notes in Artificial Intelligence)

Van Splunter, S., Brazier, F., Padget, J. and Rana, O., 2009. Dynamic service reconfiguration and enactment using an open matching architecture. In: 21st Benelux Conference on Artificial Intelligence, BNAIC 2009, 2009-10-29 - 2009-10-30, Eindhoven.

Van Splunter, S., Brazier, F., Padget, J. and Rana, O., 2009. Dynamic service reconfiguration and enactment using an open matching architecture. In: 1st International Conference on Agents and Artificial Intelligence, ICAART 2009, January 19, 2009 - January 21, 2009, 2009-01-01, Porto. Instrumentation Systems and Automation Society, pp. 533-539. (Proceedings of the 1st International Conference on Agents and Artificial Intelligence)

Willis, P., 2009. Image Construction. G06K9/00- US2009304269 (A1), 10 December 2009.

Willis, P., Patterson, J. and Taylor, C., 2009. Constructing and rendering vectorised photographic images. In: 6th European Conference for Visual Media Production, CVMP 2009, November 12, 2009 - November 13, 2009, 2010-03-15, London.

Wilson, C., 2009. Csound Parallelism. Other. Department of Computer Science, University of Bath. (Department of Computer Science Technical Report Series; CSBU-2009-07)

Winder, S., Hua, G. and Brown, M. A., 2009. Picking the best DAISY. In: CVPR 2009: IEEE Conference on Computer Vision and Pattern Recognition, 2009, 2009-06-20 - 2009-06-25, Miami. IEEE, pp. 178-185.

Yang, Y.-L., Guo, R., Luo, F., Hu, S.-M. and Gu, X., 2009. Generalized discrete Ricci flow. Computer Graphics Forum, 28 (7), pp. 2005-2014.

Yousef, K., 2009. Architecture and Remote Interaction Techniques for Digital Media Exchange across 3G Mobile Devices. Thesis (Doctor of Philosophy (PhD)). University of Bath.

Zheng, Y., Hicks, Y., Marshall, D. and Cosker, D., 2009. Real-time generation of interactive virtual human behaviours. In: 3rd International Joint Conference on Computer Vision and Computer Graphics: Theory and Applications, VISIGRAPP 2008, January 22, 2008 - January 25, 2008, 2009-01-01, Funchal-Madeira. Heidelberg, German: Springer, pp. 70-82. (Communications in Computer and Information Science)

ffitch, J., 2009. Parallel execution of Csound. In: International Computer Music Conference (ICMC 2009), 2009-08-16 - 2009-08-21, Montreal.

ffitch, J. P., Dobson, R. and Bradford, R., 2009. The Imperative for High-Performance Audio Computing. In: Proceedings Linux Audio Conference, 2009-01-01. Parma: Istituzione Casa della Musica, pp. 73-79.

2008

Balikai, A. A., Sundaram, S. and Hall, P. M., 2008. AUTOMATIC multilevel form colour dropout using graph cuts. IADIS, pp. 127-133.

Banerjee, J. R., Sobey, A. J., Su, H. and Fitch, J. P., 2008. Use of computer algebra in Hamiltonian calculations. Advances in Engineering Software, 39 (6), pp. 521-525.

Bilovich, A. and Bryson, J. J., 2008. Detecting the evolution of semantics and individual beliefs through statistical analysis of language use. In: Beal, J., Bello, P., Cassimatis, N., Coen, M. and Winston, P., eds. Proceedings of the AAAI Fall Symposium on Naturally-Inspired Artificial Intelligence, 2008-11-05 - 2008-11-07, Arlington, Virginia. Arlington, VA: AAAI Press, pp. 21-26.

Boenn, G., Brain, M., De Vos, M. and ffitch, J., 2008. Anton: Answer Set Programming in the Service of Music. In: Pagnucco, M. and Thielscher, M., eds. Proceedings of the Twelfth International Workshop on Non-Monotonic Reasoning, 2008-09-01. Sydney: University of New South Wales, pp. 85-93.

Boenn, G., Brain, M., De Vos, M. and ffitch, J., 2008. Automatic composition of melodic and harmonic music by answer set programming. Springer, pp. 160-174. (Lecture Notes in Computer Science)

Bradford, R., ffitch, J. and Dobson, R., 2008. Sliding with a constant Q. In: Proc. of the Int. Conf. on Digital Audio Effects (DAFx-08), 2008-09-01. Espoo, Finland: DAFx, pp. 363-369.

Bronstein, M., Corless, R. M., Davenport, J. H. and Jeffrey, D. J., 2008. Algebraic properties of the Lambert W Function from a result of Rosenlicht and of Liouville. Integral Transforms and Special Functions, 19 (10), pp. 709-712.

Bryson, J. J., 2008. The Impact of Durative State on Action Selection. In: Horswill, I., Hudlicka, E., Lisetti, C. and Velasquez, J., eds. Proceedings of the AAAI Spring Symposium on Emotion, Personality, and Social Behavior, 2008-03-01. AAAI, pp. 2-9.

Bryson, J. J., 2008. The Role of Modularity in Stabilizing Cultural Evolution: Conformity and Innovation in an Agent-Based Model. In: Davis, A. and Ludwig, J., eds. Proceedings of the AAAI Fall Symposium on Adaptive Agents in Cultural Contexts (AACC '08), 2008-11-07 - 2008-11-09, Arlington, Virginia.

Bryson, J. J., 2008. Embodiment vs. Memetics. Mind & Society, 7 (1), pp. 77-94.

Carnell, A. R., 2008. Aspects of learning within networks of spiking neurons. Thesis (Doctor of Philosophy (PhD)). University of Bath.

Castro, G. G., Ugail, H., Willis, P. and Palmer, I., 2008. A survey of partial differential equations in geometric design. Visual Computer, 24 (3), pp. 213-225.

Cliffe, O., De Vos, M. and Padget, J., 2008. Embedding landmarks and scenes in a computational model of institutions. In: Sichman, J. S., Padget, J., Ossowski, S. and Noriega, P., eds. International Workshops on Coordination, Organizations, Institutions, and Norms in Agent Systems III, COIN 2007: COIN@AAMAS 2007 and COIN@MALLOW 2007, September 3, 2007 - September 4, 2007, 2008-01-01, Durham. Springer, pp. 41-57. (Lecture Notes in Computer Science; 4870)

Cliffe, O., De Vos, M., Padget, J. and Brain, M., 2008. ASPViz: Declarative Visualisation and Animation Using Answer Set Programming. In: 24th International Conference on Logic Programming (ICLP 2008), 2008-12-09 - 2008-12-13, Udine. Italy. Berlin / Heidelberg: Springer, pp. 724-728. (Lecture Notes in Computer Science)

Collomosse, J. P., McNeill, G. and Watts, L., 2008. Free-hand sketch grouping for video retrieval. In: 19th International Conference on Pattern Recognition, ICPR 2008, 2008-12-08 - 2008-12-11, Tampa, FL.

Cosker, D., Borkett, R., Marshall, D. and Rosin, P. L., 2008. Towards automatic performance-driven animation between multiple types of facial model. IET Computer Vision, 2 (3), pp. 129-141.

Coughlan, T. and Johnson, P., 2008. An exploration of constraints and end user development in environments for creative tasks. International Journal of Human-Computer Interaction, 24 (5), pp. 444-459.

Crick, T., Dunning, P., Kim, H. A. and Padget, J., 2008. Structural optimization using services and workflows. In: UK e-Science All Hands Meeting: Crossing Boundaries, 2008-09-08 - 2008-09-11, Edinburgh.

Davenport, J. H., 2008. AISC Meets Natural Typography. Berlin, Heidelberg: Springer, pp. 53-60. (Lecture Notes in Computer Science)

Davenport, J. H., 2008. Effective Set Membership in Computer Algebra and Beyond. Berlin, Heidelberg: Springer, pp. 266-280. (Lecture Notes in Computer Science)

Davenport, J. H. and Libbrecht, P., 2008. The freedom to extend OpenMath and its utility. Mathematics in Computer Science, 2 (2), pp. 379-398.

Di Fiore, F., Van Reeth, F., Patterson, J. and Willis, P. J., 2008. Highly stylised animation. Visual Computer, 24 (2), pp. 105-123.

Dobson, R., ffitch, J. and Bradford, R., 2008. High performance audio computing: a position paper. In: Proceedings of the 2008 ICMC, 2008-01-01. Belfast, Northern Ireland: ICMA and Sonic Arts Research Centre, Queen's University, Belfast, pp. 213-216.

Egan, S., 2008. Nash equilibria in games and simplicial complexes. Thesis (Doctor of Philosophy (PhD)). University of Bath.

El-Akehal, E. E.-d. and Padget, J. A., 2008. Pan-supplier stock control in a virtual warehouse. In: Berger, M., Burg, B. and Nishiyama, S., eds. AAMAS08 7th International Conference on Autonomous Agents and Multi Agent Systems, 2008-05-11 - 2008-05-15, Estoril. Richland, SC, USA: International Foundation for Autonomous Agents and Multiagent Systems, pp. 11-18.

Elliott, L., 2008. Using Agent-Based Modelling to Explore the Environmental Impact of Changes to the UK Housing Stock. Other. Department of Computer Science, University of Bath. (Department of Computer Science Technical Report Series; CSBU-2008-03)

Fatah gen Shieck, A., Penn, A. and O'Neill, E., 2008. Mapping, sensing and visualising the digital co-presence in the public arena. Leende, Netherlands: Springer, pp. 38-58.

Girard, S. and Johnson, H., 2008. DividingQuest:Opening the Learner Model to Teachers. Other. Department of Computer Science, University of Bath. (Department of Computer Science Technical Report Series; CSBU-2008-01)

Gradwell, P., Oey, M., Timmer, R., Brazier, F. and Padget, J., 2008. Engineering large-scale distributed auctions. In: 20th Belgian-Dutch Conference on Artificial Intelligence, BNAIC 2008, 2008-10-30 - 2008-10-31, Enshede.

Guglielmi, A. and Gundersen, T., 2008. Normalisation control in deep inference via atomic flows. Logical Methods in Computer Science, 4 (1), 9.

Holstein, H., Anastasiades, C. and Willis, C., 2008. Gravity potential series expansion for homogeneous polyhedra. In: 70th European Association of Geoscientists & Engineers (EAGE) Conference & Exhibition, 2008-06-09 - 2008-06-12, Rome.

Kindberg, T., O'Neill, E., Bevan, C., Kostakos, V., Stanton Fraser, D. and Jay, T., 2008. Measuring trust in wi-fi hotspots. In: SIGCHI Conference on Human Factors in Computing Systems (CHI 2008), 2008-04-05 - 2008-04-10, Florence. New York: Association for Computing Machinery (ACM), pp. 173-182.

Komendantskaya, E. and Power, J., 2008. Fibrational Semantics for Many-Valued Logic Programs: Grounds for Non-Groundness. Heidelberg: Springer, pp. 258-271.

Korovina, M. and Vorobjov, N., 2008. Bounds on sizes of finite bisimulations of Pfaffian dynamical systems. Theory of Computing Systems, 43 (3-4), pp. 498-515.

Kostakos, V., Jones, S. and O'Neill, E., 2008. Social networking 2.0. In: SIGCHI Conference on Human Factors in Computing Systems (CHI 2008), 2008-04-05 - 2008-04-10, Florence.

Kostakos, V. and O'Neill, E., 2008. Cityware: urban computing to bridge online and real-world social networks. Hershey,Philadelphia, USA: Information Science Reference.

Kostakos, V. and O'Neill, E., 2008. Human-in-the-loop: rethinking security in mobile and pervasive systems. New York, USA: ACM, pp. 3075-3080.

Laird, J., 2008. Decidability and syntactic control of interference. Theoretical Computer Science, 394 (1-2), pp. 64-83.

Li, C., Hall, P. and Willis, P., 2008. Environment matting into photographs using coloured RTcams. In: IET 5th European Conference on Visual Media Production, 2008-11-27 - 2008-11-28, London.

McCusker, G. and Ghica, D., 2008. Foreword for special issue of APAL for GaLoP 2005. Annals of Pure and Applied Logic, 151 (2-3), p. 69.

Middup, C., 2008. Supporting collaboration in problem-solving groups. Thesis (Doctor of Philosophy (PhD)). University of Bath.

Nickles, M. and Cobos, R., 2008. An Approach to Description Logic with Support for Propositional Attitudes and Belief Fusion. Berlin, Germany: Springer, pp. 124-142. (Lecture Notes in Artificial Intelligence; 5327)

Nickles, M. and Cobos, R., 2008. An approach to description logic with support for propositional attitudes and belief fusion. Heidelberg, Germany: Springer, pp. 124-142. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics))

Nosseir, A., Hourizi, R., Middup, C., Nemetz, F. and Johnson, P., 2008. Towards autonomous systems that collaborate. In: Third Systems Engineering for Autonomous Systems Defence Technology Centre (SEAS DTC) Technical Conference, 2008-06-24 - 2008-06-25, Edinburgh.

Payne, S. and Duggan, G. B., 2008. Accumulation versus accomplishment as organizing structures for human activity. In: The Third International Conference on Cognitive Science, 2008-06-01, Moscow, Russia.

Plotkin, G. and Power, J., 2008. Tensors of comodels and models for operational semantics. Electronic Notes in Theoretical Computer Science, 218, pp. 295-311.

Power, J. and Tanaka, M., 2008. Category Theoretic Semantics for Typed Binding Signatures with Recursion. Fundamenta Informaticae, 84 (2), pp. 221-240.

Price, M., 2008. Logical Aspects of Logical Frameworks. Other. Department of Computer Science, University of Bath. (Department of Computer Science Technical Report Series; CSBU-2008-07)

Price, M., 2008. Logical aspects of logical frameworks. Thesis (Doctor of Philosophy (PhD)). University of Bath.

Qi, M., Li, M. and Willis, P., 2008. Fast implementation of cel-based animation. In: 2008 International Conference on Advanced Infocomm Technology, ICAIT '08, July 29, 2008 - July 31, 2008, 2008-07-01, Shenzhen. Association for Computing Machinery (ACM).

Rohlfshagen, P. and Bryson, J. J., 2008. Improved Animal-Like Maintenance of Homeostatic Goals via Flexible Latching. In: Samsonovich, A. V., ed. Proceedings of the AAAI Fall Symposium on Biologically Inspired Cognitive Architectures, 2008-11-01. Arlington, VA: AAAI Press, pp. 153-160.

Schindler, G., Zitnick, L. and Brown, M., 2008. Internet video category recognition. In: CVPRW '08: IEEE Computer Society Conference on Computer Vision and Pattern Recognition Workshops, 2008, 2008-06-23 - 2008-06-28, Anchorage.

Sheng, Y., Willis, P., Castro, G. G. and Ugail, H., 2008. PDE-based facial animation: Making the complex simple. In: Bebis, G., Boyle, R., Parvin, B., Koracin, D., Remagnino, P., Porikli, F., Peters, J., Klosowski, J., Arns, L., Chun, Y. K., Rhyne, T. M. and Monroe, L., eds. 4th International Symposium on Visual Computing, 2008-01-01, Las Vegas, NV. Berlin: Springer, pp. 723-732. (Lecture Notes in Computer Science)

Song, Y. Z., Hall, P. M., Rosin, P. L. and Collomosse, J. P., 2008. Arty Shapes. In: Computational Aesthetics, 2008-06-01.

Song, Y. Z. and Hall, P. M., 2008. Stable Image Descriptions Using Gestalt Principles. In: Bebis, G., ed. 4th International Symposium on Visual Computing, 2008-01-01, Las Vegas, NV. Berlin: Springer, pp. 318-327. (Lecture Notes in Computer Science)

Staikopoulos, A., Saudrais, S., Clarke, S., Padget, J., Cliffe, O. and De Vos, M., 2008. Mutual Dynamic Adaptation of Models and Service Enactment in ALIVE. In: Models@Runtime workshop, Models 2008, 2008-09-01, Toulouse.

Stratford, J., 2008. Creating an Extensible Unit Converter Using OpenMath as the Representation of the Semantics of the Units. Other. Department of Computer Science, University of Bath. (Department of Computer Science Technical Report Series; CSBU-2008-02)

Stratford, J. and Davenport, J., 2008. Unit Knowledge Management. Berlin, Heidelberg: Springer, pp. 382-397. (Lecture Notes in Computer Science; 5144/2)

Wood, M. A., 2008. An agent-independent task learning framework. Thesis (Doctor of Philosophy (PhD)). University of Bath.

Xiao, B., Song, Y. Z., Balikai, A. and Hall, P. M., 2008. Structure Is a Visual Class Invariant. In: DaVitoria Lobo, N., Kasparis, T., Roli, F., Kwok, J. T., Georgiopoulos, M., Anagnostopoulos, G. C. and Loog, M., eds. Joint International Workshop on Structural, Syntactic, and Statistical Pattern Recognition, 2008-01-01, Orlando, FL. Berlin: Springer, pp. 329-338. (Lecture Notes in Computer Science)

Xiao, B., Wilson, R. C. and Hancock, E. R., 2008. Quantitative evaluation on heat kernel permutation invariants. Berlin / Heidelberg: Springer, pp. 217-226. (Lecture Notes in Computer Science)

Yan, H.-B., Hu, S.-M., Martin, R. R. and Yang, Y.-L., 2008. Shape deformation using a skeleton to drive simplex transformations. IEEE Transactions on Visualization and Computer Graphics, 14 (3), pp. 693-706.

Yang, Y.-L., Kim, J., Luo, F., Hu, S.-M. and Gu, X., 2008. Optimal surface parameterization using inverse curvature map. IEEE Transactions on Visualization and Computer Graphics, 14 (5), pp. 1054-1066.

Yousef, K. and O'Neill, E., 2008. Measuring urban mobility and encounter. Noldus Information Technology, pp. 66-67.

Yousef, K. and O'Neill, E., 2008. Supporting mobile cooperative services across 3G cellular networks. In: Computer Supported Cooperative Network (CSCW) 2008 Conference on Computer Supported Cooperative Work, 2008-11-08 - 2008-11-12, San Diego.

Yousef, K. and O'Neill, E., 2008. Supporting social album creation with mobile photo-conferencing. In: Workshop on Collocated Social Practices Surrounding Photos at CHI 2008 Conference on Human Factors in Computing Systems, 2008-04-05 - 2008-04-10, Florence.

Yousef, K. and O'Neill, E., 2008. Preliminary evaluation of a remote mobile collaborative environment. In: SIGCHI Conference on Human Factors in Computing Systems (CHI 2008), 2008-04-05 - 2008-04-10, Florence. New York, USA: Association for Computing Machinery (ACM), pp. 3267-3272.

ffitch, J., Dobson, R. and Bradford, R., 2008. Sliding DFT for fun and musical profit. In: Barknecht, F. and Rumori, M., eds. 6th International Linux Audio Conference, 2008-03-01. Brno, CZ: Tribun EU, pp. 118-124.

ffitch, J. and Brothwell, A., 2008. An Automatic Blues Band. In: Barknecht, F. and Rumori, M., eds. 6th International Linux Audio Conference, 2008-03-01. Kunsthochscule für Medien Köln: Tribun EU, Gorkeho 41, Bruno 602 00, pp. 12-17.

ffitch, J. and Padget, J., 2008. Provenance in Computer Music. In: Proceedings of the 2008 ICMC, 2008-01-01. SARC, Belfast: ICMA and Queen's University, Belfast, pp. 121-124.

2007

Bai, [N. V.], Song, Y. Z. and Hall, P., 2007. Learning object classes from structure. In: British Machine Vision Conference (BMVC), 2007-01-01.

Basu, S. and Vorobjov, N., 2007. On the number of homotopy types of fibres of a definable map. Journal of the London Mathematical Society, 76, pp. 757-776.

Beaumont, J. C., Bradford, R. J., Davenport, J. H. and Phisanbut, N., 2007. Testing elementary function identities using CAD. Applicable Algebra in Engineering Communication and Computing, 18 (6), pp. 513-543.

Benton, L., 2007. An investigation into second language acquisition and tutoring systems for children at Key Stage 2. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2007-06)

Bradford, R., Dobson, R. and ffitch, J. P., 2007. The Sliding Phase Vocoder. In: Proceedings of the 2007 International Computer Music Conference, 2007-08-01. ICMA and Re:New, pp. 449-452.

Brain, M. J., Faber, W., Maratea, M., Polleres, A., Schaub, T. and Schindlauer, R., 2007. What should an ASP solver output? A multiple position paper. In: Software Engineering for Answer Set Programming: SEA'07: First International Workshop, 2007-05-14, Tempe, Arizona.

Brothwell, A., 2007. Developing an artificially intelligent real time blues accompanist. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2007-01)

Brown, C. W. and Davenport, J. H., 2007. The complexity of quantifier elimination and cylindrical algebraic decomposition. In: Proceedings of the 2007 international symposium on Symbolic and algebraic computation, 2007-01-01, Waterloo, Ontario. New York: ACM, pp. 54-60.

Brown, M., Hartley, R. I. and Nister, D., 2007. Minimal Solutions for Panoramic Stitching. In: CVPR '07: IEEE Conference on Computer Vision and Pattern Recognition, 2007, 2007-06-17 - 2007-06-22, Minneapolis.

Brown, M. and Lowe, D. G., 2007. Automatic Panoramic Image Stitching using Invariant Features. International Journal of Computer Vision, 74 (1), pp. 59-73.

Bryson, J. J., 2007. Representational Requirements for Evolving Cultural Evolution. In: Origgi, G., Reboul, A. and Wozniak, A., eds. Web conference, Adaptation and Representation, 2007-05-28.

Bryson, J. J., Ando, Y. and Lehmann, H., 2007. Agent-based modelling as scientific method: a case study analysing primate social behaviour. Philosophical Transactions of the Royal Society B - Biological Sciences, 362 (1485), pp. 1685-1698.

Bryson, J. J. and Leong, J. C. S., 2007. Primate errors in transitive 'inference': a two-tier learning model. Animal Cognition, 10 (1), pp. 1-15.

Butler, S. and Bryson, J. J., 2007. Effects of Mass Media and Opinion Exchange on Extremist Group Formation. In: Amblard, F., ed. The Proceedings of the Fourth Conference of the European Social Simuation Society (ESSA '07), 2007-01-01. Toulouse, France: IRIT Publications, pp. 455-465.

Cace, I. and Bryson, J. J., 2007. Guest Editorial. Interdisciplinary Description of Complex Systems, 5 (2), ii.

Chen, M., Correa, C., Islam, S., Jones, M. W., Shen, P. Y., Silver, D., Walton, S. J. and Willis, P. J., 2007. Manipulating, deforming and animating sampled object representations. Computer Graphics Forum, 26 (4), pp. 824-852.

Cliffe, E., 2007. Reflections on the number of field sieve. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2007-03)

Cliffe, O., De Vos, M. and Padget, J., 2007. Specifying and Reasoning about Multiple Institutions. In: Noriega, P., Vazquez-Salceda, J., Boella, G., Boissier, O., Dignum, V., Fornara, N. and Matson, E., eds. Coordination, Organizations, Institutions, and Norms in Agent Systems II, 2007-08-01. Heidelberg: Springer, pp. 67-85. (Lecture Notes in Computer Science)

Cliffe, O., 2007. Specifying and Analysing Institutions in Multi-agent Systems Using Answer Set Programming. Thesis (Doctor of Philosophy (PhD)). University of Bath.

Cliffe, O., 2007. Specifying and analysing institutions in multi-agent systems using answer set programming. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2007-04)

Cliffe, O., De Vos, M. and Padget, J., 2007. Answer set programming for representing and reasoning about virtual institutions. In: Inoue, K., Ken, S. and Toni, F., eds. Computational Logic in Multi-Agent Systems. 7th International Workshop, CLIMA VII, 2006-05-08 - 2006-05-09, Hakodate. Heidelberg, Germany: Springer, pp. 60-79. (Lecture Notes in Computer Science; 4371)

Cosker, D., Holt, C., Mason, D., Whatling, G., Marshall, D. and Rosin, P.L., 2007. Automatic audio driven animation of non-verbal actions. In: IET 4th European Conference on Visual Media Production, 2007-11-27 - 2007-11-28, London. IET, p. 16.

Coughlan, T. and Johnson, P., 2007. Constrain Yourselves: Exploring End User Development in Support for Musical Creativity. In: 6th Creativity and Cognition Conference (CC2007). Seeding Creativity: Tools, Media and Environments, 2007-06-13 - 2007-06-15, Washington, DC.

Crawford, S., 2007. Creating a distributed network traffic analyser. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2007-08)

Drugowitsch, J. and Barry, A., 2007. Generalised mixtures of experts, independent expert training, and learning classifier systems. Other. University of Bath, Department of Computer Science. (Computer Science Technical Reports; CSBU-2007-02)

Drugowitsch, J., 2007. Learning classifier systems from first principles. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2007-12)

Fitch, J. P., Varga, I. and Gogins, M., 2007. Csound5. Sourceforge.

Fuhrmann, C. and Pym, D., 2007. On categorical models of classical logic and the Geometry of Interaction. Mathematical Structures in Computer Science, 17 (5), pp. 957-1027.

Girard, S., 2007. Towards promoting meta-cognition using emotive interface personas within Open-Learner Modelling Environments. I O S Press, pp. 687-688. (Frontiers in Artificial Intelligence and Applications)

Girard, S. and Johnson, H., 2007. Opening the Learner-Model to teachers. In: EIAH 2007, 2007-06-19 - 2007-06-27, Lausanne.

Girard, S. and Johnson, H., 2007. Opening the learner-model to teachers. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2007-20)

Gradwell, P. and Padget, J., 2007. A comparison of distributed and centralised agent based bundling systems. In: Dellarocas, C. and Dignum, F., eds. ICEC 2007: Ninth International Conference on Electronic Commerce, 2007-08-01, New York, NY.

Guglielmi, A., 2007. A system of interaction and structure. ACM Transactions on Computational Logic, 8 (1).

Hall, P. M., Collomosse, J. P., Song, Y. Z., Shen, P. Y. and Li, C., 2007. RTcams: A new perspective on nonphotorealistic rendering from photographs. IEEE Transactions on Visualization and Computer Graphics, 13 Sep-Oct (5), pp. 966-979.

Hua, G., Brown, M. and Winder, S., 2007. Discriminant Embedding for Local Image Descriptors. In: ICCV 2007: IEEE 11th International Conference on Computer Vision, 2007, 2007-10-14 - 2007-10-21, Rio de Janeiro.

Hyland, M., Levy, P. B., Plotkin, G. and Power, A., 2007. Combining algebraic effects with continuations. Theoretical Computer Science, 375 (1-3), pp. 20-40.

Hyland, M. and Power, J., 2007. The category theoretic understanding of universal algebra: Lawvere theories and monads. Electronic Notes in Theoretical Computer Science, 172, pp. 437-458.

Johnson, H. and Carruthers, L., 2007. Towards developing task-based models of creativity. In: 7th International Workshop on Task models and Diagrams for User Interface Design, 2007-01-01.

Kostakos, V. and O'Neill, E., 2007. NFC on mobile phones: issues, lessons and future research. IEEE Computer Society, pp. 367-370.

Kostakos, V. and O'Neill, E., 2007. Quantifying the effects of space on encounter. Istanbul Technical University of Architecture, Istanbul, Turkey, pp. 9701-9709.

Krumhuber, E., Manstead, A. S. R., Cosker, D., Marshall, D., Rosin, P. L. and Kappas, A., 2007. Facial dynamics as indicators of trustworthiness and cooperative behavior. Emotion, 7 (4), pp. 730-735.

Laird, J., 2007. Bistable biorders: A sequential domain theory. Logical Methods in Computer Science, 3 (2), pp. 1-22.

Lehmann, H. and Bryson, J. J., 2007. Modelling Primate Social Order: Ultimate Causation of Social Evolution. In: Amblard, F., ed. Proceedings of the 4th Conference of the European Social Simulation Association (ESSA 2007), 2007-09-10 - 2007-09-14, Toulouse.

Li, C. and Hall, P., 2007. Colour Constancy Based on Model Selection. In: British Machine Vision Conference (BMVC), 2007-01-01.

Li, H., 2007. The analysis and implementation of the AKS algorithm and its improvement algorithms. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2007-09)

Marshall, A., 2007. Agent-based simulation of organisational learning. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2007-11)

McCusker, G., 2007. Categorical semantics of Syntactic Control of Interference Revisited, Revisited. London Mathematical Society Journal of Computation and Mathematics, 10, pp. 176-206.

McCusker, G. and Pym, D., 2007. A games model of bunched implications. Berlin, Germany: Springer, pp. 573-588. (Lecture Notes in Computer Science)

O'Neill, E., Thompson, P., Garzonis, S. and Warr, A., 2007. Reach out and touch: using NFC and 2D barcodes for service discovery and interaction with mobile devices. In: LaMarca, A., Langheinrich, M. and Truong, K., eds. Pervasive Computing, 2007-05-01, Toronto. Springer, pp. 19-36. (Lecture Notes in Computer Science)

Payne, S. J., Duggan, G. B. and Neth, H., 2007. Discretionary task interleaving: heuristics for time allocation in cognitive foraging. Journal of Experimental Psychology: General, 136 (3), pp. 370-388.

Pearcy, R. C., 2007. Advanced Golf Tutor. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2007-15)

Pottmann, H., Wallner, J., Yang, Y.-L., Lai, Y.-K. and Hu, S.-M., 2007. Principal curvatures from the integral invariant viewpoint. Computer Aided Geometric Design, 24 (8-9), pp. 428-442.

Power, J., 2007. Abstract Syntax: Substitution and Binders. Electronic Notes in Theoretical Computer Science, 173, pp. 3-16.

Power, J., 2007. Three dimensional monad theory. Providence, RI: Amer. Math. Soc., pp. 405-426. (Contemp. Math.)

Prescott, T. J., Bryson, J. J. and Seth, A. K., 2007. Introduction. Modelling natural action selection. Philosophical Transactions of the Royal Society B - Biological Sciences, 362 (1485), pp. 1521-1529.

Rettinger, A., Nickles, M. and Tresp, V., 2007. Learning initial trust among interacting agents. (Lecture Notes in Artificial Intelligence)

Richardson, D. S. and Carnell, A., 2007. Parallel computation in spiking neural networks. Theoretical Computer Science, 386 (1-2), pp. 57-72.

Richardson, D. S., 2007. Zero tests for constants in simple scientific computation. Mathematics in Computer Science, 1 (1), pp. 21-37.

Robinson, P., 2007. Multi-agent simulation of the dynamics of social exclusion in school choice. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2007-14)

Saunders, I., 2007. Call graphing in C. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2007-07)

Schindler, G., Brown, M. and Szeliski, R., 2007. City-Scale Location Recognition. In: CVPR '07: IEEE Conference on Computer Vision and Pattern Recognition, 2007, 2007-06-17 - 2007-06-22, Minneapolis.

Shen, P. Y., 2007. Semantic models for texturing volume objects. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2007-13)

Sureshkumar, A., De Vos, M., Brain, M. and Fitch, J., 2007. APE: an AnsProlog* environment. In: Software Engineering for Answer Set Programming: SEA'07: First International Workshop, 2007-05-14, Tempe, Arizona.

Tanguy, E., Willis, P. and Bryson, J., 2007. Emotions as Durative Dynamic State for Action Selection. In: 20th International Joint Conference on Artificial Intelligence (IJCAI), 2007-01-06 - 2007-01-12, Hyderabad.

Warr, A., 2007. Understanding and supporting creativity in design. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2007-10)

Warr, A. and O'Neill, E., 2007. Tool support for creativity using externalizations. In: 6th Creativity and Cognition Conference (CC2007). Seeding Creativity: Tools, Media and Environments, 2007-06-13 - 2007-06-15, Washington, DC. New York, U.S.A.: Association for Computing Machinery (ACM), pp. 127-136.

Willis, P. and Barn, B., 2007. Graphical interaction management. Computer Graphics Forum, 6 (2), pp. 119-124.

Willis, P., 2007. Generalised compositing. In: Proceedings of the 5th international conference on Computer graphics and interactive techniques in Australia and Southeast Asia, 2007-01-01, Perth.

Winder, S. A. J. and Brown, M., 2007. Learning Local Image Descriptors. In: CVPR '07: IEEE Conference on Computer Vision and Pattern Recognition, 2007, 2007-06-17 - 2007-06-22, Minneapolis.

Wood, M. A. and Bryson, J. J., 2007. Skill acquisition through program-level imitation in a real-time domain. IEEE Transactions on Systems Man and Cybernetics Part B-Cybernetics, 37 (2), pp. 272-285.

Wood, M. A. and Bryson, J. J., 2007. Representations for Learning Action Selection from Real-Time Observation of Task Experts. In: 20th International Joint Conference on Artificial Intelligence, 2007-01-06 - 2007-01-12, Hyderabad.

Yousef, K. and O'Neill, E., 2007. Photo-conferencing: a novel approach to interactive photo sharing across 3G mobile networks. In: Social Interaction and Mundane Technologies Workshop (Simtech 2007), 2007-11-26 - 2007-11-27, Melbourne.

Yousef, K. and O'Neill, E., 2007. Sunrise: towards location based clustering for assisted photo management. In: ICMI'07: Workshop on Tagging, Mining and Retrieval of Human-Related Activity Information, TMR'07, November 15, 2007 - November 15, 2007, 2007-01-01, Nagoya. New York: Association for Computing Machinery (ACM), pp. 47-54. (ICMI'07: Workshop on Tagging, Mining and Retrieval of Human-Related Activity Information, TMR'07 - Workshop Proceedings)

de Vos, M. and Schaub, T., 2007. SEA'07: Software engineering for answer set programming. Other. University of Bath, Department of Computer Science. (Computer Science Technical Reports; CSBU-2007-05)

ffitch, J., Mitchell, J. and Padget, J., 2007. Composition with sound web services and workflows. In: Proceedings of the 2007 International Computer Music Conference, 2007-08-01. Ann Arbor, MI: Scholarly Publishing Office, University of Michigan Library, pp. 419-422.

2006

, 2006. Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems: AAMAS 2005 International Workshops on Agents, Norms and Institutions for Regulated Multi-Agent Systems, ANIREM 2005, and Organizations in Multi-Agent Systems, OOOP 2005, Revised selected papers. In: Boissier, O., Padget, J., Virgini, D., Gabriel, L., Eri, M., Sasch, O., Sichman, J. S. and Vazquez-Salceda, J., eds. AAMAS 2005 International Workshops on Agents, Norms and Institutions for Regulated Multi-Agent Systems, ANIREM 2005, and Organizations in Multi-Agent Systems, OOOP 2005, 2006-06-01.

Batenin, A., 2006. Subjectivity and ownership:a perspective on software reuse. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2006-15)

Bechlivanidis, C., 2006. An examination of the role of prestige in cultural evolution with the aid of Agent Based Modelling. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2006-21)

Bilbao, S. and ffitch, J., 2006. Prepared piano sound synthesis. In: Proc. of the Int. Conf. on Digital Audio Effects (DAFx-06), 2006-09-01. Montreal, Quebec, Canada: DAFx, pp. 77-82.

Billings, M. and Watts, L. A., 2006. The Model of Relational Communication: explaining difficulties encountered through the use of technology in alternative dispute resolution. In: 8th Australian National Mediation Conference, 2006-05-01, Hobart, Tasmania.

Bilovich, A., 2006. Detecting individual differences in beliefs through language use. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2006-22)

Boonkrong, S., 2006. Authentication, pre-Handoff and Handoff in Pure MANET. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2006-14)

Boulos, M. N. K., Cai, Q., Padget, J. A. and Rushton, G., 2006. Using software agents to preserve individual health data confidentiality in micro-scale geographical analyses. Journal of Biomedical Informatics, 39 (2), pp. 160-170.

Brain, M., Crick, T., De Vos, M. and Fitch, J., 2006. TOAST: Applying answer set programming to superoptimisation. (Lecture Notes in Computer Science)

Brain, M. J., Crick, T., Fitch, J. P. and de Vos, M., 2006. An application of answer set programming: Superoptimisation (A preliminary report). Other. University of Bath, Department of Computer Science. (Computer Science Technical Reports; CSBU-2006-05)

Brom, C., Gemrot, J., Bida, M., Burkert, O., Partington, S. J. and Bryson, J. J., 2006. POSH Tools for Game Agent Development by Students and Non-Programmers. In: Mehdi, Q., Mtenzi, F., Duggan, B. and McAtamney, H., eds. The Nineth International Computer Games Conference: AI, Mobile, Educational and Serious Games, 2006-11-01, Dublin.

Bruscoli, P. and Guglielmi, A., 2006. On Structuring Proof Search for First Order Linear Logic. Theoretical Computer Science, 360 (1-3), pp. 42-76.

Bryson, J. J., 2006. The attentional spotlight. Minds and Machines, 16 (1), pp. 21-28.

Butler, S., 2006. A simulated exploration into the growth of modern terrorist networks. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2006-18)

Chevaleyre, Y., Dunne, P. E., Endriss, U., Lang, J., Lemaitre, M., Maudet, N., Padget, J., Phelps, S., Rodrguez-Aguilar, J. A. and Sousa, P., 2006. Issues in Multiagent Resource Allocation. Informatica, 30, 3--31.

Cliffe, O., De Vos, M. and Padget, J., 2006. Specifying and analysing agent-based social institutions using answer set programming. Springer, pp. 99-113. (Lecture Notes in Artificial Intelligence; 3913)

Collomosse, J. P., 2006. Real-time Environment Mapping for Stylised Augmented Reality. In: CVMP 2006. 3rd European Conference on Visual Media Production, 2006-11-29 - 2006-11-30, London.

Collomosse, J. P., 2006. Supervised genetic search for parameter selection in painterly rendering. (Lecture Notes in Computer Science)

Collomosse, J. P., Al Mosawi, K. and O'Neill, E., 2006. Viewpoint invariant image retrieval for context in urban environments. In: CVMP 2006. 3rd European Conference on Visual Media Production, 2006-11-29 - 2006-11-30, London.

Collomosse, J. P. and Hall, P. M., 2006. Salience-adaptive painterly rendering using genetic search. International Journal on Artificial Intelligence Tools, 15 (4), pp. 551-575.

Collomosse, J. P. and Hall, P. M., 2006. Video motion analysis for the synthesis of dynamic cues and Futurist art. Graphical Models, 68 Sep-Nov (5-6), pp. 402-414.

Cooper, K., 2006. Implementation of a prototype peer learning mathematics tutor for children: A user-centred approach. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2006-17)

Coughlan, T. and Johnson, P., 2006. Interaction in creative tasks: ideation, representation and evaluation in composition. In: Proceedings of Conference on Human factors in Computing Systems, CHI 2006, Interact, Inform, Inspire, 2006-04-01, Montreal. New York, USA: ACM, pp. 531-540.

Crick, T., Brain, M., De Vos, M. and Fitch, J., 2006. An Application of Answer Set Programming: SuperoptimisationA Preliminary Report. In: Dix, J. and Hunter, A., eds. Proceedings of the 11th Workshop on Nonmonotonic Reasoning, 2006-05-01.

De Vos, M., Crick, T., Padget, J., Brain, M., Cliffe, O. and Needham, J., 2006. LAIMA: A multi-agent platform using ordered choice logic programming. (Lecture Notes in Artificial Intelligence)

Denney, E., Power, J. and Tourlas, K., 2006. Hiproofs: A Hierarchical Notion of Proof Tree. Electronic Notes in Theoretical Computer Science, 155, pp. 341-359.

Di Fiore, F., Van Reeth, F., Patterson, J. and Willis, P., 2006. Highly stylised drawn animation. Berlin, Germany: Springer, pp. 36-53. (Lecture Notes in Computer Science)

Drugowitsch, J. and Barry, A. M., 2006. A formal framework and extensions for function approximation in learning classifier systems. Other. University of Bath, Department of Computer Science. (Computer Science Technical Reports; CSBU-2006-01)

Drugowitsch, J. and Barry, A. M., 2006. A formal framework for reinforcement learning with function approximation in learning classifier systems. Other. University of Bath, Department of Computer Science. (Computer Science Technical Reports; CSBU-2006-02)

Drugowitsch, J. and Barry, A. M., 2006. Mixing independent classifiers. Other. University of Bath, Department of Computer Science. (Computer Science Technical Reports; CSBU-2006-13)

Drugowitsch, J. and Barry, A. M., 2006. Towards convergence of learning classifier systems value iteration. Other. University of Bath, Department of Computer Science. (Computer Science Technical Reports; CSBU-2006-03)

Duggan, G. B. and Payne, S. J., 2006. How much do we understand when skim reading? In: ACM Conference on Human Factors in Computing Systems, CHI '06, 2006-04-22 - 2006-04-27, Montreal.

Fatah gen Schiek, A., Penn, A., Kostakos, V., O'Neill, E., Kindberg, T., Fraser, D. S. and Jones, T., 2006. Design tools for pervasive computing in urban environments. In: Proceedings of the 8th International Conference on Design & Decision Support Systems in Architecture and Urban Planning, 2006-01-01. Eindhoven, Netherlands: Springer, pp. 467-486.

Fuhrmann, C. and Pym, D., 2006. Order-enriched categorical models of the classical sequent calculus. Journal of Pure and Applied Algebra, 204 (1), pp. 21-78.

Garzonis, S. and O'Neill, E., 2006. Factors contributing to low usage of mobile data services: user requirements, service discovery and usability. In: Bryan-Kinns, N., Blandford, A., Curzon, P. and Nigay, L., eds. People and Computers XX. HCI 2006: Engage, 2006-09-01, London. London: Springer, pp. 221-236. (Proceedings of HCI 2006)

Ghani, N. and Power, J., 2006. Proceedings of the Eighth Workshop on Coalgebraic Methods in Computer Science (CMCS 2006). In: Eighth Workshop on Coalgebraic Methods in Computer Science (CMCS 2006), 2006-01-01, Amsterdam.

Girard, S., 2006. DividingQuest:Using Emotive Interface Personas in Educational Software. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2006-19)

Girard, S. and Johnson, H., 2006. DividingQuest: Using emotive interface personas in educational Software. Other. University of Bath, Department of Computer Science. (Computer Science Technical Reports; CSBU-2006-20)

Gonzalez Castro, G., Ugail, H., Willis, P. and Palmer, I. J., 2006. Shape Morphing using PDE Surfaces. In: The Sixth IASTED International Conference on Visualisation, Imaging and Image Processing, 2006-01-01.

Gonzalez-George, V., 2006. Information retrieval and gathering: An experimental prototype for Mac OS X. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2006-16)

Hyland, M., Nagayama, M., Power, J. and Rosolini, G., 2006. A Category Theoretic Formulation for Engeler-style Models of the Untyped λ-Calculus. Electronic Notes in Theoretical Computer Science, 161, pp. 43-57.

Hyland, M., Plotkin, G. and Power, J., 2006. Combining effects: sum and tensor. Theoretical Computer Science, 357 (1-3), pp. 70-99.

Hyland, M. and Power, J., 2006. Discrete Lawvere theories and computational effects. Theoretical Computer Science, 366 (1-2), pp. 144-162.

Johnson, H. and Carruthers, L., 2006. Supporting creative and reflective processes. International Journal of Human-Computer Studies, 64 (10), pp. 998-1030.

Kick, M., Power, J. and Simpson, A., 2006. Coalgebraic semantics for timed processes. Information and Computation, 204 (4), pp. 588-609.

Kostakos, V., O'Neill, E. and Penn, A., 2006. Designing urban pervasive systems. Computer, 39 (9), pp. 52-59.

Kostakos, V. and O'Neill, E., 2006. Interacting with mobile and pervasive systems. Hershey: Idea Group, pp. 71-85.

Kostakos, V., O'Neill, E. and Shahi, A., 2006. Building common ground for face to face interactions by sharing mobile device context. Springer, pp. 222-238. (Lecture Notes in Computer Science)

Laird, J., 2006. A calculus of coroutines. Theoretical Computer Science, 350 (2-3), pp. 275-291.

Lam, V. S. W., 2006. A formal execution semantics and rigorous analytical approach for communicating UML statechart diagrams. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2006-04)

Larkin, J., 2006. Implementation of chaffing and winnowing: Providing confidentiality without encryption. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2006-10)

Li, C. and Hall, P., 2006. Attributed Rational Tensor Camera. In: CVMP 2006. 3rd European Conference on Visual Media Production, 2006-11-29 - 2006-11-30, London.

Liu, Y., Pottmann, H., Wallner, J., Yang, Y. and Wang, W., 2006. Geometric Modeling with Conical Meshes and Developable Surfaces. ACM Transactions on Graphics, 25 (3), pp. 681-689.

Ludwig, S. A., Rana, O. F., Naylor, W. and Padget, J., 2006. Matchmaking framework for mathematical web services. Journal of Grid Computing, 4 (1), pp. 33-48.

Ludwig, S. A., Rana, O. F., Naylor, W. and Padget, J., 2006. Mathematical Service Discovery: Architecture, Implementation and Performance. Journal of Scalable Computing: Practice and Experience, 7 (2), pp. 35-52.

Mahmud, J., 2006. Grammar based modeling and generation of Tabla compositions. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2006-09)

Naylor, W. and Padget, J., 2006. From untyped to polymorphically typed objects in mathematical web services. (Lecture Notes in Artificial Intelligence)

Naylor, W. and Padget, J., 2006. Semantic matching for mathematical services. Springer, pp. 174-189. (Lecture Notes in Computer Science)

Nguyen, T. T., Willis, C. P., Paddon, D. J. and Nguyen, H. S., 2006. A Hybrid System for Learning Sunspot Recognition and Classification. In: 2006 International Conference on Hybrid Information Technology, 2006-11-09.

Nguyen, T. T., Willis, C. P., Paddon, D. J., Nguyen, S. H. and Nguyen, H. S., 2006. Learning sunspot classification. Fundamenta Informaticae, 72 Jul-Aug (1-3), pp. 295-309.

Nickles, M., 2006. Modeling social attitudes on the Web. (Lecture Notes in Computer Science)

O'Neill, E., Kaenampornpan, M., Kostakos, V., Warr, A. and Woodgate, D., 2006. Can we do without GUIs? Gesture and speech interaction with a patient information system. Personal and Ubiquitous Computing, 10 (5), pp. 269-283.

O'Neill, E., Kostakos, V., Kindberg, T., Schiek, A. F. G., Penn, A., Fraser, D. S. and Jones, T., 2006. Instrumenting the city: developing methods for observing and understanding the digital cityscape. Springer, pp. 315-332. (Lecture Notes in Computer Science)

Padget, J. and Rana, O., 2006. Mathematical Service Discovery. In: Gaffney, P., ed. Proceedings of IFIP 2.5 Working Group Meeting (Prescott, AZ), 2006-01-01.

Perryman, D. G., 2006. Generating English language based On formal grammars. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2006-08)

Pottmann, H., Huang, Q.-X., Yang, Y. and Hu, S.-M., 2006. Geometry and convergence analysis of algorithms for registration of 3D shapes. International Journal of Computer Vision, 67 (3), pp. 277-296.

Power, A. J. and Tanaka, M., 2006. Pseudo-distributive laws and axiomatics for variable binding. Higher-Order and Symbolic Computation, 19 (2/3), pp. 305-337.

Power, J., 2006. Countable Lawvere Theories and Computational Effects. Electronic Notes in Theoretical Computer Science, 161, pp. 59-71.

Power, J., 2006. Generic models for computational effects. Theoretical Computer Science, 364 (2), pp. 254-269.

Power, J., 2006. Semantics for Local Computational Effects. Electronic Notes in Theoretical Computer Science, 158, pp. 355-371.

Pym, D. and Tofts, C., 2006. A Calculus and Logic of Resources and Processes. Formal Aspects of Computing, 18 (4), pp. 495-517.

Pym, D. J. and Collinson, M., 2006. Bunching for regions and locations. Electronic Notes in Theoretical Computer Science

Richardson, D. and Elsonbaty, A., 2006. Counterexamples to the uniformity conjecture. Computational Geometry-Theory and Applications, 33 (1-2), pp. 58-64.

Shaw, A., 2006. Optimising the Java virtual machine instruction set. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2006-11)

Shipp, V. E., 2006. Multimedia educational software to aid learning in pupils with reading difficulties. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2006-23)

Shugrina, M., Betke, M. and Collomosse, J. P., 2006. Empathic painting: interactive stylization through observed emotional state. In: Proceedings of the 4th international symposium on Non-photorealistic animation and rendering, 2006-01-01, Annecy.

Sloman, M., Thomas, M., Sparck-Jones, K., Crowcroft, J., Kwiatkowska, M., Garner, P., Jennings, N. R., Sassone, V., O'Neill, E., Wooldridge, M., Maple, C., Coulouris, G. and Chalmers, D., 2006. Discussion on Robin Milner's first Computer Journal Lecture: ubiquitous computing: shall we understand it? The Computer Journal, 49 (4), pp. 390-399.

Solodilova-Whiteley, I., 2006. A design strategy for human-system integration in aerospace: Where to start and how to design information integration for dynamic, time and safety critical systems. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2006-12)

Solodilova-Whiteley, I. and Johnson, P., 2006. Uncovering the information needs in complex aerospace systems. Reliability Engineering and System Safety, 91 (12), pp. 1566-1575.

Sureshkumar, A., 2006. AnsProlog* Programming Environment (APE): Investigating software tools for answer set programming through the implementation of an integrated development environment. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2006-07)

Tanaka, M. and Power, J., 2006. A unified category-theoretic semantics for binding signatures in substructural logics. Journal of Logic and Computation, 16 (1), pp. 5-25.

Tanguy, E., Willis, P. J. and Bryson, J. J., 2006. A dynamic emotion representation model within a facial animation system. International Journal of Humanoid Robotics, 3 (3), pp. 293-300.

Tanguy, E. A. R., 2006. Emotions: The art of communication applied to virtual actors. Other. University of Bath, Department of Computer Science. (Computer Science Technical Reports; CSBU-2006-06)

Van Nieuwenborgh, D., De Vos, M., Heymans, S. and Vermeir, D., 2006. Hierarchical Decision Making in Multi-Agent Systems using Answer Set Programming. Heidelberg: Springer, pp. 20-40. (Lecture Notes in Artificial Intelligence)

Warr, A. and O'Neill, E., 2006. Public Social Private Design (PSPD). In: CHI 2006, 2006-04-22 - 2006-04-27, Montreal.

Warr, A. and O'Neill, E., 2006. The effect of group composition on divergent thinking in an interaction design activity. In: Proceedings of the 6th Conference on Designing Interactive Systems, 2006-06-26 - 2006-06-28, Penn State. ACM, pp. 122-131.

Warr, A. and O'Neill, E., 2006. Tools for creativity: sketching with the EDC and PSPD. In: Proceedings of the 2006 Conference on Human Factors in Computing Systems,( CHI 2006), 2006-04-22 - 2006-04-27, Montreal.

Warr, A. M., 2006. Understanding and Supporting Creativity in Design. Thesis (Doctor of Philosophy (PhD)). University of Bath.

Weiss, G., Fischer, F., Nickles, M. and Rovatsos, M., 2006. Operational modelling of agent autonomy: Theoretical aspects and a formal language. (Lecture Notes in Computer Science)

Willis, P., 2006. Projective alpha colour. Computer Graphics Forum, 25 (3), pp. 557-566.

Yang, Y.-L., Lai, Y.-K., Hu, S.-M. and Pottmann, H., 2006. Robust principal curvatures on multiple scales. Aire-la-Ville, Switzerland, Switzerland: Eurographics Association, pp. 223-226. (SGP '06)

2005

, 2005. EUMAS 2005 - Proceedings of the Third European Workshop on Multi-Agent Systems,. In: Gleizes, M. P., Gal, A. K., Nowe, A., Ossowski, S., Tuyls, K. and Verbeeck, K., eds. EUMAS, 2005-12-07 - 2005-12-08, Brussels.

Aird, M.-L., Medina, W. B. and Padget, J., 2005. Brokerage for Mathematical Services in MONET. Springer, pp. 253-272. (Multiagent Systems, Artificial Societies, and Simulated Organizations)

Ando, Y., 2005. The effect of predation on the evolution of dominance hierarchy in primate society. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2005-15)

Banerjee, J. R., Su, H., Sobey, A. J. and Fitch, J., 2005. Strain analysis of a pretwisted elastic cylinder with an arbitrary cross-section. Journal of Strain Analysis for Engineering Design, 40 (4), pp. 367-374.

Beach, C., 2005. Opinion sharing on the web: Uings a distributed architecture and trusted social networks. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2005-06)

Beaumont, J., Bradford, R., Davenport, J. H. and Phisanbut, N., 2005. Adherence is Better than Adjacency: Computing the Riemann Index using CAD. In: Proceedings of the 2005 international symposium on Symbolic and algebraic computation, 2005-07-01.

Beaumont, J., Phisanbut, N. and Bradford, R., 2005. Practical Simplification of Elementary Functions using CAD. In: Proceedings Algorithmic Algebra and Logic (A3L), 2005-04-01.

Bradford, R., Dobson, R. and ffitch, J., 2005. Sliding is Smoother than Jumping. In: International Computer Music Conference 2005 (ICMC 2005), 2005-09-05 - 2005-09-09, Barcelona.

Brain, M. and De Vos, M., 2005. Debugging logic programs under the answer set semantics. In: ASP05: Answer Set Programming: Advances in Theory and Implementation, 2005-07-01, Bath.

Brain, M., Watson, R. and De Vos, M., 2005. An Interactive Approach to Answer Set Programming. In: De Vos, M. and Provetti, A., eds. ASP05: Answer Set Programming: Advances in Theory and Implementation, 2005-07-01, Bath.

Brooks, M., 2005. An investigation in to the neural structure of a jellyfish. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2005-12)

Brown, M. and Lowe, D. G., 2005. Unsupervised 3D Object Recognition and Reconstruction in Unordered Datasets. In: 3DIM 2005: Fifth International Conference on 3-D Digital Imaging and Modeling, 2005, 2005-06-13 - 2005-06-16, Ottawa.

Brown, M., Szeliski, R. and Winder, S., 2005. Multi-Image Matching Using Multi-Scale Oriented Patches. In: CVPR 2005: IEEE Computer Society Conference on Computer Vision and Pattern Recognition, 2005, 2005-06-20 - 2005-06-25, San Diego.

Brown, M. A., 2005. Multi-Image Matching using Invariant Features. Thesis (Doctor of Philosophy (PhD)). University of British Columbia.

Bryson, J. J., 2005. Evidence of Modularity from Primate Errors during Task Learning. In: Cangelosi, A., Bugmann, G. and Borisyuk, R., eds. Modelling Language, Cognition, and Action: The Ninth Neural Computation and Psychology Workshop (NCPW9), 2004-09-08 - 2004-09-10, Plymouth.

Bryson, J. J. and Wood, M. A., 2005. Learning Discretely: Behaviour and Organisation in Social Learning. In: Demiris, Y., ed. Third International Symposium on Imitation in Animals and Artifacts, 2005-04-01, Hatfield.

Cace, I. and Bryson, J. J., 2005. Why Information can be Free. In: Cangelosi, A. and Nehaniv, C. L., eds. Second International Symposium on the Emergence and Evolution of Linguistic Communication (EELC'05), 2005-04-01, Hatfield.

Casasola, E., De, V., Cliffe, O. and Padget, J., 2005. Teaching Multi-Agent Systems in the UK and in LatinAmerica. In: ITALICS (Innovations in Teaching And Learning inInformation and Computer Sciences), an on-line journal, 2005-01-01.

Chen, M., Islam, S., Jones, M. W., Shen, P. Y., Silver, D., Walton, S. J., Willis, P. J. and Correa, C., 2005. Deforming and animating discretely sampled object representations. In: Eurographics 05, 2005-08-01.

Cliffe, O., Padget, J. A. and De Vos, M., 2005. Specifying and analysing agent-based social institutions using answer set programming. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports)

Collier, M., 2005. An investigation into real-time automated painterly video techniques. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports)

Collinson, M., Pym, D. and Robinson, E., 2005. On bunched polyrnorphism. (Lecture Notes in Computer Science)

Collomosse, J. P. and Hall, P. M., 2005. Genetic paint: A search for salient paintings. (Lecture Notes in Computer Science)

Collomosse, J. P. and Hall, P. M., 2005. Motion analysis in video: dolls, dynamic cues and Modern Art. In: Video, Vision and Graphics (VVG), 2005-01-01, Eurographics Assoc.

Collomosse, J. P., Rowntree, D. and Hall, P. M., 2005. Rendering cartoon-style motion cues in post-production video. Graphical Models, 67 (6), pp. 549-564.

Collomosse, J. P., Rowntree, D. and Hall, P. M., 2005. Stroke surfaces: Temporally coherent artistic animations from video. IEEE Transactions on Visualization and Computer Graphics, 11 Sep-Oct (5), pp. 540-549.

Collomosse, J. P. and Hall, P. M., 2005. Video Paintbox:the fine art of video painting. Computers & Graphics, 29 (6), pp. 862-870.

Coroama, V., Kostakos, V., Magerkurth, C. and De Vallejo, I.L., 2005. UbiSoc 2005:First international workshop on social implications of ubiquitous computing. In: Conference on Human Factors in Computing Systems, 2005-04-02 - 2005-04-06, Portland.

Cosker, D., Paddock, S., Marshall, D., Rosin, P. L. and Rushton, S., 2005. Towards Perceptually Realistic Talking Heads: Models, Metrics and McGurk. ACM Transactions on Applied Perception, 2 (3), pp. 270-285.

Crick, T. and Fitch, J., 2005. An Application for the GCC 4.0 Architecture. In: PREP 2005, EPSRC Postgraduate Research Conference, 2005-03-01, University of Lancaster.

Day, C., 2005. An ontological approach to song scheduling for an automated radio station. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2005-10)

De Vos, M., Cliffe, O., Watson, R., Crick, T., Padget, J., Needham, J. and Brain, M., 2005. T-LAIMA: Answer Set Programming for Modelling Agents with Trust. In: European Workshop on Multi-Agent Systems (EUMAS05), 2005-12-01.

Dearden, A., Walker, S. and Watts, L., 2005. Choosing the right allies for critical computing. In: Bertelsen, O. W., Bouvin, N. O., Krogh, P. G. and Kyng, M., eds. Proceedings of the 4th decennial conference on critical computing, 2005-08-01, Aarhus.

Dearden, A., Walker, S. and Watts, L., 2005. Choosing friends carefully: allies for critical computing. In: 4th Decennial Aarhus Conference on Critical Computing - Between Sense and Sensibility, August 20, 2005 - August 24, 2005, 2005-01-01, Aarhus. New York: Association for Computing Machinery (ACM), pp. 133-136.

Denney, E. W., Tourlas, K. and Power, J., 2005. Hierarchical Proof Structures. Dresden: Technische Universität Dresden, pp. 144-157.

Dobson, R., ffitch, J. P., Lombardo, V., Tazelaar, K. and Valle, A., 2005. Varèse‘s Poème electronique Regained:Evidence from the VEP Project. In: Tampere SuviSoft, O. L., ed. ICMC 2005 Free Sound, 2005-09-01, Barcelona.

Drugowitsch, J. and Barry, A. M., 2005. XCS with eligibility traces. Other. University of Bath, Department of Computer Science. (Computer Science Technical Reports; CSBU-2005-01)

Ducheneaut, N. and Watts, L. A., 2005. In search of coherence: A review of e-mail research. Human-Computer Interaction, 20 (1-2), pp. 11-48.

Ellis, P. M. and Bryson, J. J., 2005. The significance of textures for affective interfaces. Springer, pp. 394-404. (Lecture Notes in Artificial Intelligence)

Gabrielov, A. and Vorobjov, N., 2005. Betti numbers of semialgebraic sets defined by quantifier-free formulae. Discrete & Computational Geometry, 33 (3), pp. 395-401.

Galmiche, D., Mery, D. and Pym, D., 2005. The semantics of BI and resource tableaux. Mathematical Structures in Computer Science, 15 (6), pp. 1033-1088.

Galmiche, D., Mery, D. and Pym, D., 2005. The semantics of BI and resource tableaux. Mathematical Structures in Computer Science, 15 (6), pp. 1033-1088.

Garzonis, S. and O'Neill, E., 2005. Usability evaluation of context-aware mobile phones. IEEE Pervasive Computing, 4 (2), pp. 82-83.

Gradwell, P. and Padget, J., 2005. Markets vs. Auctions: Approaches to Distributed Combinatorial Resource Scheduling. Multiagent and Grid Systems, 1, 251--262.

Guglielmi, A., 2005. The Problem of Bureaucracy and Identity of Proofs from the Perspective of Deep Inference. In: ICALP '05 Workshop `Structures and Deduction', 2005-01-01.

Gwynn, G., 2005. Viewpoint invariant content based image retrieval for urban navigation. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports)

Hall, P. and Barsky, B., 2005. Special issue: Vision, video and graphics 2003 - Introduction. Graphical Models, 67 (6), p. 475.

Hall, P. and Owen, M. J., 2005. Simple Canonical Views. In: British Machine Vision Conference (BMVC), 2007-01-01.

Hall, P. M., Hicks, Y. and Robinson, T., 2005. A method to add Gaussian mixture models. Other. University of Bath, Department of Computer Science. (Computer Science Technical Reports; CSBU-2005-03)

Kaenampornpan, M. and O'Neill, E., 2005. History as part of context. In: 3rd UK Ubi-Net Workshop, 2005-02-09 - 2005-02-11, University of Bath.

Kaenampornpan, M. and O'Neill, E., 2005. Integrating history and activity theory in context aware system design. In: W8 ECHISE 2005 - 1st International Workshop on Exploiting Context Histories in Smart Environments, Pervasive 2005, 2005-05-08 - 2005-05-13, Munich.

Kostakos, V., 2005. A design framework for pervasive computing systems. Other. University of Bath, Department of Computer Science. (Computer Science Technical Reports; CSBU-2005-02)

Kostakos, V. and O'Neill, E., 2005. A space oriented approach to designing pervasive systems. In: 3rd UK Ubi-Net Workshop, 2005-02-09 - 2005-02-11, University of Bath.

Kostakos, V., O'Neill, E., Little, L. and Sillence, E., 2005. The social implications of emerging technologies. Interacting with Computers, 17 (5), pp. 475-483.

Laird, J., 2005. Game semantics and linear CPS interpretation. Theoretical Computer Science, 333 (1-2), pp. 199-224.

Laird, J., 2005. Locally Boolean domains. Theoretical Computer Science, 342 (1), pp. 132-148.

Lam, V. S. W. and Padget, J., 2005. Consistency checking of statechart diagrams of a class hierarchy. (Lecture Notes in Computer Science)

Lehmann, H., Wang, J. and Bryson, J. J., 2005. Tolerance and Sexual Attraction in Despotic Societies: A Replication and Analysis of Hemelrijk (2002). In: Bryson, J. J., Prescott, T. J. and Seth, A. K., eds. Modelling Natural Action Selecton: Proceedings of an International Workshop, 2005-07-01, Edinburgh.

Lombardo, V., Arghinenti, A., Nunnari, F., Valle, A., Vogel, H. H., Fitch, J., Dobson, R., Padget, J., Tazelaar, K., Weinzierl, S., Benser, S., Kersten, S., Starosolski, R., Borczyk, W., Pytlik, W. and Niedba, X., 2005. The Virtual Electronic Poem (VEP) Project. In: Tampere SuviSoft, O. L., ed. ICMC 2005 Free Sound, 2005-09-01, Barcelona.

Longridge, T. N., 2005. Developing an XCS Framework. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2005-11)

Ludwig, S., Naylor, W., Rana, O. and Padget, J., 2005. Agent-based Matchmaking of Mathematical Web Services. In: Dignum, F., Dignum, V., Koenig, S., Kraus, S., Singh, M. and Wooldridge, M., eds. Proceedings of Conference on Autonomous Agents and Multi-Agent Systems, 2005-01-01.

Ludwig, S., Naylor, W., Rana, O. and Padget, J., 2005. Matchmaking of Mathematical Web Services. In: Workshop on Large Scale Computations on Grids (LaSCoG) in proceedings of 6th International Conference on Parallel Processing and Applied Mathematics, 2005-09-01.

Ludwig, S. A., Rana, O. F., Naylor, W. and Padget, J. A., 2005. Mathematical matchmaker for numeric and symbolic services. In: AAMAS, 2005-01-01.

Mankin, B., 2005. The formalisation of authorisation systems. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2005-13)

Nickles, M., Cobos, R., Weiss, G. and Froehner, T., 2005. Multi-source knowledge bases and ontologies with multiple individual and social viewpoints. In: 2005 Ieee/Wic/Acm International Conference on Web Intelligence, Proceedings, 2005-09-19 - 2005-09-22, Compiegne.

Nickles, M., Rovatsos, M. and Weiss, G., 2005. Formulating agent communication semantics and pragmatics as behavioral expectations. (Lecture Notes in Computer Science)

Nickles, M., Weiss, G. and Rovatsos, M., 2005. Expectation-Oriented modeling. Engineering Applications of Artificial Intelligence, 18 (8), pp. 891-918.

O'Dwyer, C. and Richardson, D., 2005. Spiking neural nets with symbolic internal state. Information Processing Letters, 95 (6), pp. 529-536.

Padget, J., 2005. E-government and E-democracy in Latin America. IEEE Intelligent Systems, 20 Jan-Feb (1), pp. 94-96.

Padget, J. A., 2005. AgentcitiesUK.net Challenge Day 1: e-Health. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2005-08)

Padget, J. A., 2005. AgentcitiesUK.net Challenge Day 2: e-Government and e-Democracy. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2005-09)

Partington, S. J., 2005. A critical analysis of Behaviour-Oriented Design (BOD), based on experiences in using it to create an Unreal Tournament Capture-the-Flag (CTF) team. Other. University of Bath, Department of Computer Science. (Computer Science Technical Reports; CSBU-2005-05)

Partington, S. J. and Bryson, J. J., 2005. The Behavior oriented design of an unreal tournament character. Springer, pp. 466-477. (Lecture Notes in Artificial Intelligence)

Porteous, A., 2005. An investigation into the use of Genetic Algorithms for the automated solution of Jigsaw Puzzles. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports)

Power, J., 2005. Discrete Lawvere theories. Berlin: Springer, pp. 348-363. (Lecture Notes in Comput. Sci.)

Power, J. and Tanaka, M., 2005. Binding signatures for generic contexts. Berlin: Springer, pp. 308-323. (Lecture Notes in Comput. Sci.)

Pym, D. J. and Ritter, E., 2005. A games semantics for reductive logic and proof-search. In: ETAPS 05, 2005-04-01, Edinburgh.

Ramondt, L. and Watts, L. A., 2005. Sustainability through engagement: Contribution- and Progress- Oriented Strategies as Incentives for Participation. In: Workshop on "Sustaining Community - Incentive Mechanisms in Online Systems" at ACM Group 2005 Conference, 2005-11-01, Florida.

Richardson, D. and Carnell, A., 2005. Linear algebra for time series of spikes. European Symposium of Artificial Neural Networks (ESANN)

Shen, P. and Willis, P., 2005. Texture Mapping Volume Objects. In: Int. Conference on Vision, Video and Graphics, 2005-01-01, Edinburgh.

Shen, P. and Willis, P., 2005. Texture for volume character animation. In: Proceedings of the 3rd international conference on Computer graphics and interactive techniques in Australasia and South East Asia, 2005-01-01, Dunedin.

Song, Y.Z. and Town, C.P., 2005. Visual recognition of man-made materials and structures in an office environment. In: 2nd International Conference on Video, Vision and Graphics, VVG 2005, 2005-07-07 - 2005-07-08, Edinburgh. Aire-la-Ville: Eurographics: European Association for Computer Graphics, pp. 159-166.

Tanguy, E. A. R., Bryson, J. J. and Willis, P. J., 2005. A dynamic emotion representation model within a facial animation system. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2005-14)

Wang, W., Cosker, D., Hicks, Y., Sanei, S. and Chambers, J. A., 2005. Video Assisted Speech Source Separation. In: IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), 2005-03-01.

Warr, A. and O'Neill, E., 2005. The effect of operational mechanisms on creativity in design. IFIP, pp. 629-642. (Lecture Notes in Computer Science)

Warr, A. and O'Neill, E., 2005. Understanding design as a social creative process. In: Proceedings of the 5th Conference on Creativity & Cognition, 2005-04-12 - 2005-04-15, London.

Williams, M., 2005. Dynamic planning: The application of AI planning advances to project management. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2005-07)

ffitch, J., 2005. On the Design of Csound5. In: 3rd International Linux Audio Conference (LAC 2005), 2005-04-21 - 2005-04-24, Karlsruhe.

ffitch, J. and Natt, T., 2005. Recording all output from a student radio station. In: 3rd International Linux Audio Conference (LAC 2005), 2005-04-21 - 2005-04-24, Karlsruhe.

2004

Adams, A. A. and Davenport, J. H., 2004. Copyright issues for MKM. In: 3rd International Conference on Mathematical Knowledge Management, 2004-09-18 - 2004-09-20, Bialowieza. Berlin, Germany: Springer, pp. 1-16. (Lecture Notes in Computer Science; 3119)

Alonso, E. and Mondragon, E., 2004. Agency, learning and animal-based reinforcement learning. Berlin, Germany: Springer, pp. 1-6. (Lecture Notes in Computer Science; 2969)

Barber, K. S. and Park, J., 2004. Agent belief autonomy in open multi-agent systems. Berlin, Germany: Springer, pp. 7-16. (Lecture Notes in Computer Science; 2969)

Beaumont, J. C., Bradford, R. J., Davenport, J. H. and Phisanbut, N., 2004. A poly-algorithmic approach to simplifying elementary functions. In: Proceedings of the 2004 international symposium on Symbolic and algebraic computation, 2004-01-01, Santander.

Beavers, G. and Hexmoor, H., 2004. Types and limits of agent autonomy. Berlin, Germany: Springer, pp. 95-102. (Lecture Notes in Computer Science; 2969)

Blake, A., Rother, C., Brown, M., Perez, P. and Torr, P., 2004. Interactive Image Segmentation Using an Adaptive GMMRF Model. Heidelberg: Springer, pp. 428-441. (Lecture Notes in Computer Science)

Bradshaw, J. M., Feltovich, P. J., Jung, H., Kulkarni, S., Taysom, W. and Uszok, A., 2004. Dimensions of adjustable autonomy and mixed-initiative interaction. (Lecture Notes in Computer Science)

Brain, M. J., 2004. Incremental answer set programming. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2004-05)

Brown, M., Szeliski, R. and Winder, S., 2004. Multi-Scale Oriented Patches. Other. Microsoft Research.

Bruennler, K. and Guglielmi, A., 2004. A First Order System with Finite Choice of Premises. Logos Verlag, pp. 59-74. (Logische Philosophie)

Bryson, J. J., 2004. Consciousness is easy but learning is hard. The Philosophers' Magazine, 28, pp. 70-72.

Bryson, J. J., 2004. Modularity and Specialized Learning: Reexamining Behavior-Based Artificial Intelligence. In: Triesch, J. and Jebara, T., eds. The Proceedings of The Third International Conference on Development and Learning (ICDL'04): Developing Social Brains, 2004-10-01, La Jolla, California.

Caprotti, O., Davenport, J. H., Dewar, M. and Padget, J., 2004. Mathematics on the (semantic) NET. (Lecture Notes in Computer Science)

Carabelea, C., Boissier, O. and Florea, A., 2004. Autonomy in multi-agent systems:a classification attempt. Berlin, Germany: Springer, pp. 103-113. (Lecture Notes in Computer Science; 2969)

Carruthers, L. J. and Johnson, H., 2004. Creating creativity: Generating requirements for tools to support creative processes. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2004-02)

Castelfranchi, C. and Falcone, R., 2004. Founding autonomy: The dialectics between (social) environment and agent's architecture and powers. (Lecture Notes in Computer Science)

Caulfield, T., 2004. Acquiring and using knowledge in computer chess. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2004-17)

Chung, K., 2004. Development of an integrated chat monitoring and web filtering parental control for child online supervision. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2004-13)

Collomosse, J. P. and Hall, P. M., 2004. A Mid-level Description of Video, with Application to Non-photorealistic Animation. In: 15th British Machine Vision Conference (BMVC), 2004-09-01.

Collomosse, J. P., 2004. Higher level techniques for the artistic rendering of images and video. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports)

Corradi, T. M., 2004. TOADS: A tool to aid in the development of MAS consisting of OCLP-minded agents, under JADE. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2004-16)

Cosker, D., Marshall, D., Rosin, P. and Hicks, Y. A., 2004. Speech Driven Facial Animation using a Hidden Markov Coarticulation Model. In: IEEE International Conference on Pattern Recognition (ICPR), 2004-01-01.

Cosker, D. P., Hicks, Y. A., Marshall, A. D. and Rosin, P. L., 2004. Speech-driven facial animation using a hierarchical model. IEE Proceedings - Vision Image and Signal Processing, 151 (4), pp. 314-321.

Cossentino, M. and Zambonelli, F., 2004. Agent design from the autonomy perspective. Berlin, Germany: Springer, pp. 140-150. (Lecture Notes in Computer Science; 2969)

Crick, T., 2004. A GCC front end for BCPL. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2004-06)

Dastani, M., Dignum, F. and Meyer, J. J., 2004. Autonomy and agent deliberation. Berlin, Germany: Springer, pp. 114-127. (Lecture Notes in Computer Science; 2969)

De Vos, M. and Vermeir, D., 2004. Extending answer sets for logic programming agents. Annals of Mathematics and Artificial Intelligence, 42 (1-3), pp. 103-139.

Edmonds, B. and Bryson, J. J., 2004. The Insufficiency of Formal Design Methods: The Necessity of an Experimental Approach for the Understanding and Control of Complex MAS. In: Jenning, N. R., Sierra, C., Sonenberg, L. and Tambe, M., eds. The 3rd International Joint Conference on Autonomous Agents and Multi Agent Systems (AAMAS 2004), 2004-07-01.

Fitch, J. P. and Padget, J. A., 2004. Ride a Cock-horse.... In: Delgado, J., Nesi, P. and Ng, K., eds. WEDELMUSIC 2004, 2004-09-01. IEEE, pp. 136-143.

Froehner, T., Nickles, M. and Weiss, G., 2004. Open ontologies - The need for modeling heterogeneous knowledge. Unkown Publisher. (Ike '04: Proceedings of the International Conference on Information and Knowledge Engnineering)

Gabrielov, A., Vorobjov, N. and Zell, T., 2004. Betti numbers of semialgebraic and sub-Pfaffian sets. Journal of the London Mathematical Society, 69, pp. 27-43.

Garzonis, S., O'Neill, E., Kostakos, V., Kaenampornpan, M. and Warr, A., 2004. A novel approach for identification and authentication of users in a pervasive environment. In: 2nd UK-UbiNet Workshop, 2004-05-05 - 2004-05-07, University of Cambridge.

Gouaich, A., 2004. Requirements for achieving software agents autonomy and defining their responsibility. Berlin, Germany: Springer, pp. 128-139. (Lecture Notes in Computer Science; 2969)

Hall, P. and Owen, M., 2004. Learning to detect low-level features. In: British Machine Vision Conference (BMVC), 2007-01-01.

Hall, P. M. and Hicks, Y., 2004. A method to add Gaussian mixture models. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2004-03)

Hall, P. M., Owen, M. J. and Collomosse, J. P., 2004. A Trainable Low-level Feature Detector. In: Proceedings Intl. Conference on Pattern Recognition (ICPR), 2004-08-01.

Hourizi, R. and Johnson, P., 2004. Designing to support awareness: a predicative, composite model. In: Proceedings of the ACM CHI 2004 conference on Human Factors in computing systems, 2004-04-01, Vienna.

Hyland, M., Levy, P., Plotkin, G. D. and Power, J., 2004. Combining continuations with other effects.

Hyland, M. and Power, J., 2004. Symmetric Monoidal Sketches and Categories of Wirings. Electronic Notes in Theoretical Computer Science, 100, pp. 31-46.

Jin, X. and Liu, J., 2004. From individual based modeling to autonomy oriented computation. Berlin, Germany: Springer, pp. 151-169. (Lecture Notes in Computer Science; 2969)

Johnson, H. and J K Hyde, [N. V.], 2004. Modeling individual and collaborative construction of jigsaws. Interactions, XI (5), pp. 11-12.

Johnson, P., 2004. Interactions, collaborations and breakdowns. In: 3rd Annual Conference on Task Models and Diagrams (TAMODIA 2004), 2004-11-15 - 2004-11-16, Prague.

Jones, R., 2004. Using rigid-body mechanics and dynamic interaction graphs to create a consistent and believable virtual environment. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2004-15)

Kaenampornpan, M. and O'Neill, E., 2004. Modelling context: an activity theory approach. (Lecture Notes in Computer Science)

Kaenampornpan, M. and O'Neill, E., 2004. Activity and context for mobile and ubiquitous computing users. In: ThCSC 2004, 1st Thailand Computer Science Conference, 2004-12-15 - 2004-12-17, Bangkok.

Kaenampornpan, M. and O'Neill, E., 2004. An integrated context model: bringing activity to context. In: Workshop on Advanced Context Modelling, Reasoning and Management, UbiComp 2004, 2004-09-07 - 2004-09-10, Nottingham.

Kaenampornpan, M., O'Neill, E., Kostakos, V. and Warr, A., 2004. Classifying context classifications: an activity theory perspective. In: 2nd UK-UbiNet Workshop, 2004-05-05 - 2004-05-07, University of Cambridge.

Kalyanpur, A., Pastor, D. J., Battle, S. and Padget, J., 2004. Automatic mapping of OWL ontologies into Java. In: Maurer, G. R. F., ed. Proceedings of Sixteenth International Conference on Software Engineering and Knowledge Engineering (SEKE), 2004-06-01.

Kick, M. and Power, J., 2004. Modularity of behaviours for mathematical operational semantics. Electronic Notes in Theoretical Computer Science, 106, pp. 185-200.

Klusch, M., 2004. Toward quantum computational agents. Berlin, Germany: Springer, pp. 170-186. (Lecture Notes in Computer Science; 2969)

Korovina, M. and Vorobjov, N., 2004. Pfaffian hybrid systems. (Lecture Notes in Computer Science)

Kostakos, V. and O'Neill, E., 2004. Designing pervasive systems for society. In: First International Workshop on Sustainable Pervasive Computing a one day workshop in conjunction with PERVASIVE 2004 Second International Conference on Pervasive Computing 2004, 2004-04-20, Vienna.

Kostakos, V. and O'Neill, E., 2004. Extending traditional design approaches for Pervasive Computing. In: PREP 2004 Conference, 2004-04-05 - 2004-04-07, University of Hertfordshire.

Kostakos, V. and O'Neill, E., 2004. Pervasive computing in emergency situations. In: Proceedings of the 37th Annual Hawaii International Conference on System Sciences, 2004-01-05 - 2004-01-08, Big Island,Hawaii. IEEE Computer Society Press, pp. 1-10.

Lam, V. S. W. and Padget, J., 2004. Formal Specification and Verification of the SET/A Protocol with an Integrated Approach. In: IEEE International Conference on E-Commerce Technology (CEC'04), 2004-07-01.

Lam, V. S. W. and Padget, J., 2004. Symbolic Model Checking of UML Statechart Diagrams with an Integrated Approach. In: 11th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2004), 2004-05-01.

Lenisa, M., Power, J. and Watanabe, H., 2004. Category theory for operational semantics. Theoretical Computer Science, 327 (1-2), pp. 135-154.

Maheswaran, R. T., Tambe, M., Varakantham, P. and Myers, K., 2004. Adjustable autonomy challenges in personal assistant agents:a position paper. Berlin, Germany: Springer, pp. 187-194. (Lecture Notes in Computer Science; 2969)

McCusker, G., 2004. On the semantics of the bad-variable constructor in Algol-like languages. In: Brookes, S. and Panagaden, P., eds. Proceedings, 19th International Conference on Mathematical Foundations of Programming Languages, 2004-03-01. Elsevier. (Electronic Notes in Theoretical Computer Science)

Munroe, S. and Luck, M., 2004. Agent autonomy through the M-3 motivational taxonomy. Berlin, Geramny: Springer, pp. 55-67. (Lecture Notes in Computer Science; 2969)

Nguyen, T. T., Willis, C. P., Paddon, D. J. and Nguyen, H. S., 2004. On Learning of Sunspot Classification. In: Intelligent Information Processing and Web Mining, Proceedings of the International IIS: IIPWM'04, 2004-05-17, Poland.

Nickles, M. and Weiss, G., 2004. Agent-based social assessment of shared resources. (Lecture Notes in Computer Science)

Nickles, M., Rovatsos, M. and Weis, G., 2004. Empirical-Rational Semantics of Agent Communication. In: Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 1, 2004-01-01, New York, New York.

O'Neill, E. and Johnson, P., 2004. Participatory task modelling: users and developers modelling users' tasks and domains. In: Proceedings of the 3rd Annual Conference on Task Models and Diagrams (TAMODIA 2004), 2004-11-15 - 2004-11-16, Prague.

O'Neill, E., Woodgate, D. and Kostakos, V., 2004. Easing the wait in the Emergency Room:building a theory of public information systems. In: Proceedings of the 2004 conference on Designing interactive systems: processes, practices, methods, and techniques, 2004-08-01, Boston.

Oleinik, E., 2004. Development of an OpenMath-based unit converter to demonstrate the benefits of the. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2004-12)

Pacheco, O., 2004. Autonomy in an organizational context. Berlin, Germany: Springer, pp. 195-208. (Lecture Notes in Computer Science; 2969)

Padget, J., Neira, R. and Díaz de León, J. L., 2004. e-Government and e-Democracy: Progress and Challenges. Instituto Politécnico Nactional.

Parry, L., 2004. A scripted sample-based music system for game environments using .NET. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2004-14)

Paton, C., 2004. Development of a message oriented interaction layer for agent communication. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2004-11)

Plotkin, G. and Power, J., 2004. Computational Effects and Operations: An Overview. Electronic Notes in Theoretical Computer Science, 73, pp. 149-163.

Power, J., 2004. Canonical models for computational effects. Berlin: Springer, pp. 438-452. (Lecture Notes in Comput. Sci.)

Power, J. and Shkaravska, O., 2004. From comodels to coalgebras: state and arrays. Electronic Notes in Theoretical Computer Science, 106, pp. 297-314.

Pym, D. J., O'Hearn, P. W. and Yang, H., 2004. Possible worlds and resources: The semantics of BI. Theoretical Computer Science, 315 (1), pp. 257-305.

Pym, D. J. and Ritter, E., 2004. Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control. Clarendon Press.

Pym, D. J. and Ritter, E., 2004. A semantics for reductive logic and proof-search. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2004-01)

Rackham, C., 2004. A student event management solution. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2004-07)

Schanda, F., 2004. Visualisation of IPTABLES. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2004-10)

Schillo, M. and Fischer, K., 2004. A taxonomy of autonomy in multiagent organisation. Berlin, Germany: Springer, pp. 68-82. (Lecture Notes in Computer Science; 2969)

So, R. and Sonenberg, L., 2004. Agents with initiative:a preliminary report. (Lecture Notes in Computer Science; 2969)

Solodilova, I. and Johnson, P., 2004. Mind References in the Glass Cockpit: An Experimental Study. In: Proceedings of the HCI Aero 2004, 2004-09-01, Toulouse.

Soon, S., Pearce, A. and Noble, M., 2004. A teamwork coordination strategy using hierarchical role relationship matching. Berlin, Germany: Springer, pp. 249-260. (Lecture Notes in Computer Science; 2969)

Stacey, A., 2004. An investigation of techniques for improving the performance of a Pittsburgh approach learning classifier system. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2004-09)

Su, D. and Willis, P., 2004. Image interpolation by pixel-level data-dependent triangulation. Computer Graphics Forum, 23 (2), pp. 189-201.

Tanguy, E., Willis, P. and Bryson, J. J., 2004. The Role of Emotions in Modular Intelligent Control. AISB Quarterly, 117, pp. 1-6.

Tett, G. J., 2004. Computer-based mathematics tuition in foundation stage education: A prototype solution. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2004-08)

Van Dyke Parunak, H. and Brueckner, S. A., 2004. Dynamic imputation of agent cognition. (Lecture Notes in Computer Science; 2969)

Verhagen, H., 2004. Autonomy and reasoning for natural and artificial agents. (Lecture Notes in Computer Science)

Vorobjov, N. and Gabrielov, A., 2004. Complexity of computations with Pfaffian and Noetherian functions. Springer, p. 211. (NATO Science Series II)

Warr, A. and O'Neill, E., 2004. Getting creative with participatory design. In: van den Besselaar, P. and Clement, A., eds. Proceedings of the 8th Conference on Participatory Design (PDC ) 2004, 2004-07-27 - 2004-07-31, Toronto.

Warr, A. and O'Neill, E., 2004. Workshop on using ambient technology to support the social creative process. In: 2nd European Symposium on Ambient Intelligence, EUSAI 2004,, 2004-11-08 - 2004-11-10, Eindhoven.

Watts, L. A. and Reeves, A. J., 2004. Managing Projections of Indentity in Technological Milieu. In: Workshop on Representations of Digital Identity at the ACM Conference on Computer-Supported Cooperative Work, 2004-11-01.

Weigand, H. and Dignum, V., 2004. I am autonomous, you are autonomous. (Lecture Notes in Computer Science)

Wild, P. J., Johnson, P. and Johnson, H., 2004. Towards a composite modelling approach for multitasking. In: 3rd Annual Conference on Task Models and Diagrams (TAMODIA 2004), 2004-11-15 - 2004-11-16, Prague.

Willis, P., 2004. Virtual physics for virtual reality. In: Theory and Practice of Computer Graphics 2004, Proceedings, 2004-01-01.

Witkowski, M. and Stathis, K., 2004. A dialectic architecture for computational autonomy. Heidelberg, Germany: Springer, pp. 261-273. (Lecture Notes in Computer Science)

Wood, M. A., Leong, J. C. S. and Bryson, J. J., 2004. ACT-R is almost a Model of Primate Task Learning: Experiments in Modelling Transitive Inference. In: The 26th Annual Meeting of the Cognitive Science Society (CogSci 2004), 2004-01-01, Chicago.

2003

Asperti, A., Buchberger, B. and Davenport, J. H., eds., 2003. Mathematical Knowledge Management:2nd International Conference, MKM 2003, Bertorino, Italy: Proceedings. Springer. (Lecture Notes in Computer Science; 2594)

Aird, M., Medina, W. B. and Padget, J., 2003. MONET: service discovery and composition for mathematical problems. In: Rana, O. and Graupner, S., eds. Proceedings of IEEE workshop on Agent-based Cluster and Grid Computing (CCGrid 2003), 2003-05-01.

Aird, M.-L., Medina, W. B. and Padget, J., 2003. Brokerage for mathematical web services in MONET. In: Proceedings of Web Services and Agent Based Systems'03 at AAMAS03, 2003-01-01.

Beaumont, J., Bradford, R. and Davenport, J. H., 2003. Better simplification of elementary functions through power series. In: ISSAC 2003 International Symposium on Symbolic and Algebraic Computation, 2003-08-03 - 2003-08-06, Philadelphia, U. S. A.. New York, U. S. A.: ACM, pp. 30-36.

Boulanger, R. and Fitch, J., 2003. Teaching Software Synthesis: from hardware to software synthesis. In: Global Village —- Global Brain —- Global Music; KlangArt-Kongreß~1999, 2003-06-01. Electronic Publishing Osnabrück, pp. 463-470.

Brain, M. and De Vos, M., 2003. Implementing OCLP as a front-end for Answer Set Solvers: From Theory to Practice. In: Marina~De, V. and Alessandro, P., eds. 2nd International Workshop on Answer Set Programming Advances in Theory and Implementation, ASP 2003, 2003-09-26 - 2003-09-28, Messina.

Brown, M. and Lowe, D. G., 2003. Recognising panoramas. In: Computer Vision 2003: Ninth IEEE International Conference on, 2003-10-13 - 2003-10-16, Nice.

Bruscoli, P. and Guglielmi, A., 2003. A Tutorial on Proof Theoretic Foundations of Logic Programming. Springer, pp. 109-127. (Lecture Notes in Computer Science)

Bruscoli, P. and Guglielmi, A., 2003. On Structuring Proof Search for First Order Linear Logic. In: Lecture Notes in Artificial Intelligence, 2003-01-01.

Bryson, J. J., 2003. Action Selection and Individuation in Agent Based Modelling. In: Sallach, D. L. and Macal, C., eds. Proceedings of Agent 2003: Challenges in Social Simulation, 2003-01-01, Argonne.

Cheng, E., Hyland, M. and Power, J., 2003. Pseudo-distributive laws. Electronic Notes in Theoretical Computer Science, 83.

Collomosse, J. P., 2003. Cartoon-style Rendering of Motion from Video. In: Intl. Conf on Video, Vision and Graphics (VVG), 2003-07-01.

Collomosse, J. P. and Hall, P. M., 2003. Cubist style rendering from photographs. IEEE Transactions on Visualization and Computer Graphics, 9 Oct-Dec (4), pp. 443-453.

Collomosse, J. P., Rowntree, D. and Hall, P. M., 2003. Stroke surfaces: A spatio-temporal framework for temporally coherent nonphotorealistic animations. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2003-01)

Collomosse, J. P., Rowntree, D. and Hall, P. M., 2003. Video analysis for Cartoon-style Special Effects. In: 14th British Machine Vision Conference (BMVC), 2003-09-01.

Davenport, J. H., 2003. MKM from book to computer: A case study. (Lecture Notes in Computer Science)

De Vos, M., 2003. An Ordered Choice Logic Programming Front-End for Answer Set Solvers. In: Buccafurri, F., ed. APPIA-GULP-PRODE 2003: 2003 Joint Conference on DeclaritiveProgramming, 2003-09-01, Reggio Calabria.

Duke, D. J., Barnard, P. J., Halper, N. and Mellin, M., 2003. Rendering and affect. Computer Graphics Forum, 22 (3), pp. 359-368.

Ghani, N., Lüth, C., De Marchi, F. and Power, J., 2003. Dualising initial algebras. Coalgebraic methods in computer science (Genova, 2001). Mathematical Structures in Computer Science, 13 (2), pp. 349-370.

Gray, P. and Johnson, H., 2003. People and Computers XVIII: Conference Companion. Cambridge University Press.

Hicks, Y. A., Hall, P. M. and Marshall, A. D. M., 2003. A method to add Hidden Markov Models with application to learning articulated motion. In: British Machine Vision Conference, 2003-09-01.

Holt, A. J. and Davenport, J. H., 2003. Resolving large prime(s) variants for discrete logarithm computation. (Lecture Notes in Computer Science)

Hourizi, R. and Johnson, P., 2003. Towards an explanatory, predictive account of awareness. Computers & Graphics, 27 (6), pp. 859-872.

Johnson, H. and Hyde, J. K., 2003. Towards modelling individual and collaborative construction of jigsaws using Task Knowledge Structures. Transactions on Computer Human Interaction, 10 (4), pp. 339-387.

Johnson, P., May, J. and Johnson, H., 2003. Introduction to Multiple and Collaborative Tasks. Transactions on Computer Human Interaction, 10 (4), pp. 1-4.

Kirste, T. and Duke, D., 2003. Introduction:situation- and task-awareness computing. Computers & Graphics, 27 (6), pp. 835-836.

Kostakos, V. and O'Neill, E., 2003. A directional stroke recognition technique for mobile interaction in a pervasive computing world. In: O'Neill, E., Palanque, P. and Johnson, P., eds. People and Computers XVII, Proceedings of HCI 2003, Designing for Society, 2003-09-08 - 2003-09-12, Bath. London: Springer, pp. 197-206.

Kostakos, V. and O'Neill, E., 2003. Introducing pervasive computing to society. In: 1st UK-UbiNet Workshop, 2003-09-25 - 2003-09-26, Imperial College, London.

Lam, V. S. W. and Padget, J., 2003. Analyzing equivalences of UML statechart diagrams by structural congruence and open bisimulations. In: 2003 IEEE Symposium on Human Centric Computing Languages and Environments (HCC 2003), 2003-10-01.

Lam, V. S. W. and Padget, J., 2003. On Execution Semantics of UML Statechart Diagrams Using the pi-Calculus. In: Al-Ani, B., Arabnia, H. R. and Mun, Y., eds. Proceedings of the International Conference on Software Engineering Research and Practice, SERP '03, 2003-06-01.

Levy, P. B., Power, J. and Thielecke, H., 2003. Modelling environments in call-by-value programming languages. Information and Computation, 185 (2), pp. 182-210.

Lu, J., Willis, C. P. and Paddon, D., 2003. Genetic algorithms for flower growth. In: AISB 2003 Convention on Cognition in Machines and Animals, 2003-04-07, UK.

McCusker, G. and Ghica, D., 2003. The regular-language semantics of second-order Idealized Algol. Theoretical Computer Science, 309 (1-3), pp. 469-502.

Nickles, M., Rovatsos, M. and Weiss, G., 2003. A schema for specifying computational autonomy. (Lecture Notes in Artificial Intelligence)

Nickles, M. and Weiss, G., 2003. A framework for the social description of resources in open environments. (Lecture Notes in Artificial Intelligence)

Pastor, D. J. and Padget, J., 2003. Towards c HarmonmIA.

Plotkin, G. and Power, J., 2003. Algebraic operations and generic effects. Applied Categorical Structures, 11 (1), pp. 69-94.

Power, J., 2003. A universal embedding for the higher order structure of computational effects. Berlin: Springer, pp. 301-315. (Lecture Notes in Computer Science)

Power, J., 2003. Towards a theory of mathematical operational semantics. Electronic Notes in Theoretical Computer Science, 82 (1), pp. 257-272.

Power, J. and Tourlas, K., 2003. On the Geometric Modelling of Visual Languages. Electronic Notes in Theoretical Computer Science, 72 (3), pp. 1-12.

Power, J. and Tourlas, K., 2003. Abstraction in reasoning about higraph-based systems. Berlin: Springer, pp. 392-408. (Lecture Notes in Comput. Sci.)

Pym, D. J., 2003. Semantic Foundations of Proof-search. Journal of Logic and Computation, 13 (5), pp. 634-638.

Pym, D. J. and Harland, J., 2003. Resource-distribution via Boolean constraints. ACM Transactions on Computational Logic, 4 (1), pp. 56-90.

Qi, M. and Willis, P. J., 2003. Quasi-3D Cel-based Animation. In: Vision, Video and Graphics 2003, 2003-07-10 - 2003-07-11, Bath.

Richardson, D. and El-Sonbaty, A., 2003. Use of algebraically independent numbers for zero recognition of polynomial terms. Journal of Complexity, 19 (5), pp. 631-637.

Rovatsos, M., Nickles, M. and Weiss, G., 2003. An empirical model of communication in multiagent systems. (Lecture Notes in Artificial Intelligence)

Rovatsos, M., Nickles, M. and Weiss, G., 2003. Interaction is meaning: a new model for communication in open systems. In: Proceedings of the second international joint conference on Autonomous agents and multiagent systems, 2003-01-01, Melbourne.

Su, D. and Willis, P. J., 2003. Demosaicing of colour images using pixel level data-dependent triangulation. Theory and Practice of Computer Graphics, 2003. Proceedings

Tanguy, E., Willis, P. and Bryson, J., 2003. A layered dynamic emotion representation for the creation of complex facial expressions. Berlin, Germany: Springer, pp. 101-105. (Lecture Notes in Artificial Intelligence)

Vazquez-Salceda, J., Cortes, U., Padget, J., Lopez-Navidad, A. and Caballero, F., 2003. The organ allocation process: a natural extension of the Carrel Agent-Mediated Electronic Institution. AI Communications, 16 (3), pp. 153-165.

Vazquez-Salceda, J., Padget, J. A., Cortes, U., Lopez-Navidad, A. and Caballero, F., 2003. Formalizing an electronic institution for the distribution of human tissues. Artificial Intelligence in Medicine, 27 (3), pp. 233-258.

Watts, L. A., Nugroho, Y. and Lea, M., 2003. Engaging in Email Discussion: Conversational Context and Social Identity in Computer-Mediated Communication. In: Proceedings of IFIP INTERACT'03, 2003-09-01, Zurich.

Wei, G., Rovatsos, M. and Nickles, M., 2003. Capturing agent autonomy in roles and XML. In: Proceedings of the second international joint conference on Autonomous agents and multiagent systems, 2003-01-01, Melbourne.

ffitch, J. and Dobson, R., 2003. MTRC-Dream: Music in a mathematical environment. In: International Computing Music Conference 2003 (ICMC 2003), 2003-10-01.

ffitch, J., 2003. The Transport Project. In: ICMC, 2003-09-01, Composition Project and Concert, Off-ICMC'2003.

2002

Anderson, S., Power, J. and Tourlas, K., 2002. Zooming-out on Higraph-based diagrams. Electronic Notes in Theoretical Computer Science, 61, pp. 201-211.

Batenin, A. and O'Neill, E., 2002. Integration of independently-developed object-orientated designs. In: Workshop on Aspect-Oriented Design, 1st International Conference on Aspect-Oriented Software Development, 2002-04-22 - 2002-04-26, Enschede.

Batey, D. J. and Padget, J., 2002. Coordinating heterogeneous parallelism. IEEE, pp. 339-346.

Bradford, R. and Davenport, J. H., 2002. Towards better simplification of elementary functions. In: Proceedings of the 2002 international symposium on Symbolic and algebraic computation, 2002-01-01, Lille.

Bradford, R., Simmonds, R., Williamson, C. L., Arlitt, M. F. and Unger, B., 2002. Web server benchmarking using parallel WAN emulation. In: SIGMETRICS, 2002-01-01.

Bradford, R., Corless, R. M., Davenport, J. H., Jeffrey, D. J. and Watt, S. M., 2002. Reasoning about the elementary functions of complex analysis. Annals of Mathematics and Artificial Intelligence, 36 (3), pp. 303-318.

Brown, M. and Lowe, D., 2002. Invariant Features from Interest Point Groups. In: BMVC 2002: 13th British Machine Vision Conference, 2002-09-02 - 2002-09-05, Cardiff.

Bryson, J. J., 2002. Language isn't quite that special. Behavioral and Brain Sciences, 25 (6), pp. 679-680.

Bryson, J. J., 2002. The behavior-oriented design of modular agent intelligence. Springer, pp. 61-76. (Lecture Notes in Computer Science)

Bryson, J. J., 2002. Where should complexity go? Cooperation in complex agents with minimal communication. Springer, pp. 303-319. (Lecture Notes in Computer Science)

Bryson, J. J. and Flack, J. C., 2002. Action Selection for an Artificial Life Model of Social Behaviorin Non-Human Primates. In: Hemelrijk, C., ed. Proceedings of theInternational Workshop on Self-Organization and Evolution of Social Behaviour, 2002-09-01, Monte Verita.

Bryson, J. J., Martin, D. L., McIlraith, S. A. and Stein, L. A., 2002. Toward behavioral intelligence in the semantic Web. Computer, 35 (11), pp. 48-54.

Bryson, J. J. and Hauser, M. D., 2002. What Monkeys See and Don't Do: Agent Models of Safe Learning in Primates. In: Barley, M. and Guesgen, H. W., eds. AAAI Spring Symposium on Safe Learning Agents, 2002-03-01.

Cliffe, O. and Padget, J., 2002. A framework for checking agent interaction within institutions. In: Proceedings of MOCHART workshop at ECAI'02, 2002-01-01.

Collomosse, J. P. and Hall, P. M., 2002. Painterly Rendering using Image Salience. In: 20th Eurographics UK Conference, 2002-06-01.

Davenport, J. H., 2002. Equality in computer algebra and beyond. Journal of Symbolic Computation, 34 (4), pp. 259-270.

Davenport, J. H., 2002. Table Errata --- Abramowitz & Stegun. Mathematics of Computation (MCOM)

De Vos, M. and Vermeir, D., 2002. Dynamic decision-making in logic programming and game theory. (Lecture Notes in Artificial Intelligence)

De Vos, M. and Vermeir, D., 2002. Logic Programming Agents Playing Games. In: Bramer, M., Preece, A. and Coenen, F., eds. Research and Development in Intelligent Systems XIX (ES2002), 2002-12-01. Springer, p. 323. (BCS Conference Series)

Esteva, M., Padget, J. and Sierra, C., 2002. Formalizing a language for institutions and norms. (Lecture Notes in Artificial Intelligence)

Galmiche, D., Mery, D. and Pym, D., 2002. Resource tableaux - (extended abstract). In: Bradfield, J., ed. 16th International Workshop, CSL 2002 11th Annual Conference of the EACSL, 2002-09-22 - 2002-09-25, Edinburgh. Berlin, Germany: Springer, pp. 183-199. (Lecture Notes in Computer Science; 2471)

Grigoriev, D. and Vorobjov, N., 2002. Complexity of null- and Positivstellensatz proofs. Annals of Pure and Applied Logic, 113 (1-3), pp. 153-160.

Guglielmi, A. and Strassburger, L., 2002. A Non-commutative Extension of MELL. In: Logic for Programming, Artificial Intelligence, and Reasoning - 9th International Conference, LPAR, 2002-10-01.

Hall, P., Marshall, D. and Martin, R., 2002. Adding and subtracting eigenspaces with eigenvalue decomposition and singular value decomposition. Image and Vision Computing, 20 (13-14), pp. 1009-1016.

Hermida, C., Makkai, M. and Power, J., 2002. On weak higher-dimensional categories. I. 3. Journal of Pure and Applied Algebra, 166 (1-2), pp. 83-104.

Hyland, M., Plotkin, G. D. and Power, J., 2002. Combining Computational Effects: commutativity & sum. Kluwer, pp. 474-484.

Hyland, M. and Power, J., 2002. Pseudo-commutative monads and pseudo-closed 2-categories. Journal of Pure and Applied Algebra, 175 (1-3), pp. 141-185.

Ishtiaq, S. and Pym, D. J., 2002. Kripke resource models of a dependently-typed, bunched lambda-calculus. Journal of Logic and Computation, 12 (6), pp. 1061-1104.

Karaulova, I. A., Hall, P. M. and Marshall, A. D., 2002. Tracking people in three dimensions using a hierarchical model of dynamics. Image and Vision Computing, 20 (9-10), pp. 691-700.

O'Neill, E., Woodgate, D., Johnson, H. and Johnson, P., 2002. Designing interaction spaces to support successful participation and collaboration. In: Faulkner, X., Finlay, J. and Détienne, F., eds. HCI 2002: memorable yet invisible, 2002-09-01, London. London, U. K.: Springer, pp. 158-161. (BCS Conference Series)

Padget, J., Parkes, D., Sadeh, N., Shehory, O. and Walsh, W., 2002. Agent-Mediated Electronic Commerce IV. Springer. (Lecture Notes in Artificial Intelligence)

Plotkin, G. and Power, J., 2002. Notions of computation determine monads. Berlin: Springer, pp. 342-356. (Lecture Notes in Computer Science)

Plotkin, G., Power, J., Sannella, D. and Tennent, R., 2002. Lax Logical Relations. (Lecture Notes in Computer Science)

Power, J., 2002. Premonoidal categories as categories with algebraic structure. Theoretical Computer Science, 278 (1-2), pp. 303-321.

Power, J. and Rosolini, G., 2002. Fixpoint operators for domain equations. Theoretical Computer Science, 278 (1-2), pp. 323-333.

Power, J. and Watanabe, H., 2002. Combining a monad and a comonad. Theoretical Computer Science, 280 (1-2), pp. 137-162.

Pym, D. J., 2002. The Semantics and Proof Theory of the Logic of Bunched Implications. Kluwer Academic Publishers. (Applied Logic Series)

Richardson, D. S. and Langley, S., 2002. What can we do with a solution? Electronic Notes in Theoretical Computer Science, 66 (1), pp. 1-14.

Richardson, D. and Langley, S., 2002. Some observations on familiar numbers. In: Mora, T., ed. ISSAC '02 International Symposium on Symbolic and Algebraic Computation, 2002-07-07 - 2002-07-10, Lille. New York, U. S. A.: ACM, pp. 214-220.

Roy, M. F. and Vorobjov, N., 2002. The complexification and degree of a semi-algebraic set. Mathematische Zeitschrift, 239 (1), pp. 131-142.

Vazquez-Salceda, J., Cortes, U. and Padget, J., 2002. Integrating the organ and tissue allocation processes through an agent-mediated electronic institution. (Lecture Notes in Artificial Intelligence)

Vazquez-Salceda, J., Ulises, C., Lopez-Navidad, A., Cabellero, F. and Padget, J., 2002. The organ allocation process:a natural extension of the Carrel agent mediated electronic institution.

Vickers, O. and Padget, J., 2002. Skeletal Jade components for the construction of institutions. (Lecture Notes in Artificial Intelligence)

ffitch, J. P. and Padget, J. A., 2002. Learning to play and perform on synthetic instruments. Ann Arbor, MI: Scholarly Publishing Office, University of Michigan Library, pp. 432-435.

2001

Aird, M.-L., Laird, J. and Ffitch, J., 2001. Extending Digital Waveguides To Include Material Modelling. In: Proceedings of DAFx01, 2001-12-01, University of Limerick.

Anderson, S., Power, J. and Tourlas, K., 2001. Reasoning in higraphs with loose edges. Piscataway, NJ: IEEE, pp. 23-29.

Bradford, R., Simmonds, R. and Unger, B., 2001. Packet Reading for Network Emulation. In: Proceedings MASCOTS 2001: TheIEEE/ACM International Symposium on Modeling, Analysis and Simulation ofComputer and Telecommunication Systems, 2001-08-01.

Bryson, J. J., 2001. Embodiment vs. Memetics: Does Language Need a Physical Plant? In: Pfeifer, R. and Westermann, G., eds. Developmental Embodied Cognition(DECO-2001), 2001-07-01, Edinburgh.

Bryson, J. J., Decker, K., DeLoach, S., Huhns, M. and Wooldridge, M., 2001. Agent Development Tools. In: Castelfranchi, C. and Lesperance, Y., eds. The Seventh International Workshopon Agent Theories, Architectures, and Languages (ATAL2000), 2001-01-01.

Bryson, J. J., Lowe, W. and Stein, L. A., 2001. Hypothesis Testing for Complex Agents. In: Meystel, A. M. and Messina, E. R., eds. NIST Workshop on Performance Metrics for Intelligent Systems, 2001-08-01, Washington, DC.

Bryson, J. J. and Stein, L. A., 2001. Modularity and Design in Reactive Intelligence. In: Proceedings of the 17th International Joint Conference on Artificial Intelligence, 2001-08-01, Seattle.

Bryson, J. J. and Stein, L. A., 2001. Modularity and Specialized Learning in the Organization of Behaviour. In: French, R. and Sougne, J., eds. Connectionist Models of Learning, Development and Evolution: The Sixth Neural Computation and Psychology Workshop (NCPW6), 2001-01-01.

Bryson, J. J. and Stein, L. A., 2001. Modularity and Specialized Learning: Mapping Between Agent Architectures and Brain Organization. In: Stefan, W., Jim, A. and David, W., eds. Emergent Neural Computational Architectures Based on Neuroscience, 2001-01-01.

Corless, R. M., Davenport, J. H., Jeffrey, D. J., Litt, G. and Watt, S. M., 2001. Reasoning about the elementary functions of complex analysis. In: Campbell, J. A. and Roanes-Lozano, E., eds. International Conference Artificial Intelligence and Symbolic Computation (AISC), 2000, 2000-07-17 - 2000-07-19, Madrid. Berlin, Germany: Springer, pp. 115-126. (Lecture Notes in Artificial Intelligence; 1930)

Crouch, P. A. and Davenport, J. H., 2001. Lattice Attacks on RSA-Encrypted IP and TCP. In: Honary, B., ed. Proceedings 8th. IMA Conf. Cryptography and Coding, 2001-12-01.

De Vos, M. and Vermeir, D., 2001. Decisions, Agents and Games. In: Van Benthem, J., ed. Proceedings of the 8th conference on Theoretical aspects of rationality and knowledge, Siena, Italy, 2001-07-01, Siena.

De Vos, M. and Vermeir, D., 2001. Semantic Forcing in Disjunctive Logic Programs. Computational Intelligence, 17 (4), pp. 651-684.

Duggan, G. B. and Payne, S. J., 2001. Interleaving reading and acting while following procedural instructions. Journal of Experimental Psychology: Applied, 7 (4), pp. 297-307.

Gabrielov, A. and Vorobjov, N., 2001. Complexity of cylindrical decompositions of sub-Pfaffian sets. Journal of Pure and Applied Algebra, 164 (1-2), pp. 179-197.

Ghani, N., Lüth, C., de Marchi, F. and Power, J., 2001. Algebras, Coalgebras, Monads and Comonads. Electronic Notes in Theoretical Computer Science, 44 (1), pp. 128-145.

Guglielmi, A. and Strassburger, L., 2001. Non-commutativity and MELL in the Calculus of Structures. In: Computer Science Logic (CSL) 2001 - Lecture Notes in Computer Science, 2001-09-01.

Herman, I. and Duke, D., 2001. Minimal graphics. IEEE Computer Graphics and Applications, 21 Nov-Dec (6), pp. 18-21.

Hermida, C., Makkai, M. and Power, J., 2001. On weak higher-dimensional categories. I.2. Journal of Pure and Applied Algebra, 157 (2-3), pp. 247-277.

Hur, N. and Davenport, J. H., 2001. A Generic Root Operation for Exact Real Arithmetic. In: Blanck, J., Brattka, V. and Hertling, P., eds. Computability and Complexity in Analysis, 2001-01-01, Berlin-Heidelberg-New York.

Hyland, M. and Power, J., 2001. Pseudo-commutative Monads. Electronic Notes in Theoretical Computer Science, 45, pp. 197-208.

Hyland, M. and Power, J., 2001. Two-dimensional linear algebra. Electronic Notes in Theoretical Computer Science, 44 (1), pp. 227-240.

Johnson, H., Johnson, P., Wild, P., May, J. and Gamble, T. R., 2001. Modelling multiple and collaborative tasks. Toulouse: Cepadues-Editions, p. 217.

Johnstone, P., Power, J., Tsujishita, T., Watanabe, H. and Worrell, J., 2001. On the structure of categories of coalgebras. Theoretical Computer Science, 260 (1-2), pp. 87-117.

Labrosse, F. and Willis, P. J., 2001. Towards Continuous Image Representations. In: Winter School of Computer Graphics and Visualisation `01, 2001-01-01, University of West Bohemia.

Lam, V. and Padget, J., 2001. Formalization of UML Statechart Diagrams in the $i$-calculus. In: Proceedings of the 13th Australian Software Engineering Conference (ASWEC'01), 2001-08-01, Canberra.

O'Neill, E., Johnson, P. and Johnson, H., 2001. Participatory analysis: modelling users, tasks and domains. In: 8th IFIP TC.13 Conference on Human-Computer Interaction, 2001-07-09 - 2001-07-13, Tokyo.

Padget, J., 2001. Modelling simple market structures in process algebras with locations. Artificial Intelligence and Simulation of Behaviour Journal, 1, pp. 87-108.

Padget, J., 2001. Modelling simple market structures in process algebras with locations. In: Luc, M., ed. AISB'01 Symposium on Software Mobility and Adaptive Behaviour, 2001-01-01.

Plotkin, G. and Power, J., 2001. Semantics for Algebraic Operations. Electronic Notes in Theoretical Computer Science, 45, pp. 332-345.

Plotkin, G. and Power, J., 2001. Adequacy for algebraic effects. Berlin: Springer, pp. 1-24. (Lecture Notes in Comput. Sci.)

Power, J., 2001. Models for the computational λ-calculus. Electronic Notes in Theoretical Computer Science, 40, pp. 288-301.

Power, J. and Robinson, E., 2001. Logical Relations and Data Abstraction. Heidelberg: Springer, pp. 497-511.

Power, J. and Tourlas, K., 2001. An Algebraic Foundation for Graph-based Diagrams in Computing. Electronic Notes in Theoretical Computer Science, 45, pp. 346-357.

Power, J. and Tourlas, K., 2001. An algebraic foundation for higraphs. Berlin: Springer, pp. 145-159. (Lecture Notes in Computer Science)

Pym, D. J., 2001. Notes towards a semantics for Proof-Search. In: ENTCS 37, 2001-01-01.

Pym, D. J. and Armelin, P., 2001. Bunched Logic Programming. In: IJCAR 2001