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
Number of items at this level: 1282.

Asperti, A., Buchberger, B. and Davenport, J. H., eds., 2003. Mathematical Knowledge Management : 2nd International Conference, MKM 2003, Bertorino, Italy: Proceedings. Berlin: Springer. (Lecture Notes in Computer Science; 2594)

Della-Dora, J. and Fitch, J. P., eds., 1989. Computer Algebra and Parallelism. Academic Press.

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

Fitch, J. P., ed., 1993. Design and Implementation of Symbolic Computation Systems. Vol. 721. Heidelberg, Germany: Springer. (Lecture Notes in Computer Science)

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

Davenport, J. H., Farmer, W., Rabe, F. and Urban, J., eds., 2011. Intelligent Computer Mathematics - 18th Symposium, Calculemus 2011 and 10th International Conference, MKM 2011, Proceedings. Vol. 6824 LNAI. Heidelberg: Springer. (Lecture Notes in Computer Science)

Lovett, T. and O'Neill, E., eds., 2012. Mobile context awareness. London: Springer.

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

Seth, A. K., Prescott, T. J. and Bryson, J. J., eds., 2005. Modelling Natural Action Selection: Proceedings of an International Workshop. Sussex: AISB.

Fitch, J. P., ed., 1984. Proceedings of EUROSAM 84. Vol. 174. Germany: Springer. (Lecture Notes in Computer Science)

Ghani, N. and Power, J., eds., 2006. Proceedings of the Eighth Workshop on Coalgebraic Methods in Computer Science (CMCS 2006), Eighth Workshop on Coalgebraic Methods in Computer Science, Vienna, Austria. Elsevier.

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

Abbott, J. A., Bradford, R. J. and Davenport, J., 1985. A remark on factorisation. SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation), 19 (2), pp. 31-33.

Abbott, J. A., Bradford, R. J. and Davenport, J., 1988. Factorisation of polynomials : old ideas and recent results. In: Rainer, J., ed. Proceedings of the International Symposium on Trends in Computer Algebra. London, UK: Springer, pp. 81-91.

Abbott, J. A., Bradford, R. J. and Davenport, J., 1986. The Bath algebraic number package. In: Char, B. W., ed. SYMSAC 86. New York, USA: Association for Computing Machinery (ACM), pp. 250-253.

Abbott, J. A. and Davenport, J., 1988. A remark on a paper by Wang : another surprising property of 42. Mathematics of Computation, 51 (184), pp. 837-839.

Abbott, J. A. and Davenport, J., 1987. Polynomial factorization. In: Davenport, J., ed. EUROCAL '87. New York, USA: Springer, pp. 391-402. (Lecture Notes in Computer Science; 378)

Abdul Rahman Hasan, A., 2010. The Effect of Peripheral Displays on Navigation in Desktop Virtual Environments. Thesis (Master of Philosophy (MPhil)). University of Bath.

Adams, A. A. and Davenport, J. H., 2004. Copyright issues for MKM. In: Mathematical Knowledge Management. Berlin, Germany: Springer, pp. 1-16. (Lecture Notes in Computer Science; 3119)

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., Laird, J. and Ffitch, J., 2001. Extending Digital Waveguides To Include Material Modelling. In: Proceedings of DAFx01, 2001-12-01, University of Limerick.

Aird, M., Laird, J. and ffitch, J. P., 2000. Modelling a Drum by Interfacing 2-D and 3-D Waveguide Meshes. In: Proceedings of ICMA 2000. ICMA, pp. 82-85.

Aird, M.-L., Medina, W. B. and Padget, J., 2005. Brokerage for Mathematical Services in MONET. In: Cavedon, L., Maamar, Z., Martin, D. and Benatallah, B., eds. Extending Web Services Technologies. Vol. 13. Springer, pp. 253-272. (Multiagent Systems, Artificial Societies, and Simulated Organizations)

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.

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

Al-Kuwari, S., Davenport, J. H. and Bradford, R. J., 2010. Cryptographic hash functions: recent design trends and security notions. In: Short Paper Proceedings of 6th China International Conference on Information Security and Cryptology (Inscrypt '10). Science Press of China, pp. 133-150.

Alberga, C., Bosman-Clark, C., Mikelsons, M., Deusen, M. V. and Padget, J., 1986. Experience with an uncommon Lisp. In: Proceedings of the 1986 ACM conference on LISP and functional programming. Vol. 1986. Cambridge, Massachusetts, US: Association for Computing Machinery (ACM), pp. 39-53.

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.

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. In: Andrighetto, G., Governatori, G., Noriega, P. and van der Torre, L. W. N., eds. Normative Multi-Agent Systems. Vol. 4. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, pp. 71-92. (Dagstuhl Follow-Ups)

Alonso, E. and Mondragon, E., 2004. Agency, learning and animal-based reinforcement learning. In: Nickles, M., Rovatsos, M. and Weiss, G., eds. Agents and Computational Autonomy: Potential, Risks, and Solutions. Vol. 2969. , pp. 1-6. (Lecture Notes in Computer Science)

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.

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

Anderson, S., Power, J. and Tourlas, K., 2001. Reasoning in higraphs with loose edges. In: Proceedings IEEE Symposia on Human-Centric Computing Languages and Environments (Cat. No.01TH8587). Piscataway, NJ: IEEE, pp. 23-29.

Anderson, S., Power, J. and Tourlas, K., 2002. Zooming-out on Higraph-based diagrams. Electronic Notes in Theoretical Computer Science, 61, pp. 201-211.

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)

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., 2010. Social functioning, systemising ability and emotion recognition in autism spectrum conditions. In: Autism Neuroscience Conference, 2010-09-01, Cambridge.

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.

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. Declarative Agent Languages and Technologies X. Vol. 7784 LNAI. Berlin: Springer, pp. 1-19. (Lecture Notes in Computer Science; 7784)

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

Balikai, A. A., Sundaram, S. and Hall, P. M., 2008. AUTOMATIC multilevel form colour dropout using graph cuts. In: MCCSIS'08 - IADIS Multi Conference on Computer Science and Information Systems; Proceedings of Computer Graphics and Visualization 2008 and Gaming 2008: Design for Engaging Experience Soc. Interaction. IADIS, pp. 127-133.

Balke, T., De Vos, M. and Padget, J., 2013. An agent-based simulation approach to comparative analysis of enforcement mechanisms. In: Coordination, Organizations, Institutions, and Norms in Agent Systems VIII. 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. , p. 1.

Balke, T., De Vos, M. and Padget, J., 2011. Analysing energy-incentivized cooperation in next generation mobile networks using normative frameworks and an agent-based simulation. Future Generation Computer Systems, 27 (8), pp. 1092-1102.

Balke, T., De Vos, M. and Padget, J., 2013. Evaluating the Cost of Enforcement by Agent-Based Simulation : A Wireless Mobile Grid Example. In: PRIMA 2013: Principles and Practice of Multi-Agent Systems - 16th International Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings. Vol. 8291. Springer, pp. 21-36. (Lecture Notes in Computer Science)

Balke, T., De Vos, M. and Padget, J., 2013. I-ABM : combining institutional frameworks and agent-based modelling for the design of enforcement policies. Artificial Intelligence and Law, 21 (4), pp. 371-398.

Balke, T., De Vos, M., Padget, J. and Fitzek, F., 2011. Using a normative framework to explore the prototyping of wireless grids. In: Coordination, Organizations, Institutions, and Norms in Agent Systems VI - COIN 2010 International Workshops, COIN@MALLOW 2010, Revised Selected Papers. Vol. 6541 LNAI. 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 Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT). Vol. 3. Piscataway, U.S.A: IEEE Computer Society.

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.

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.

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

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. Computational Models of Cognitive Processes. Singapore, Singapore: World Scientific, pp. 249-263. (Progress in Neural Processing; 21)

Bann, E. Y. and Bryson, J. J., 2013. Measuring cultural relativity of emotional valence and arousal using semantic clustering and Twitter. In: COGSCI 2013. Cognitive Science Society, pp. 1809-1814.

Barber, K. S. and Park, J., 2004. Agent belief autonomy in open multi-agent systems. In: Nickles, M., Rovatsos, M. and Weiss, G., eds. Agents and Computational Autonomy: Potential, Risks, and Solutions. Vol. 2969. , pp. 7-16. (Lecture Notes in Computer Science)

Barton, D., Bourne, S. R. and Fitch, J. P., 1970. An algebra system. The Computer Journal, 13 (1), pp. 32-39.

Barton, D. and Fitch, J. P., 1972. A review of algebraic manipulative programs and their application. The Computer Journal, 15 (4), pp. 363-380.

Barton, D. and Fitch, J. P., 1971. General Relativity and the Application of Algebraic Manipulative Systems. In: SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation. New York: ACM, pp. 343-347.

Barton, D. and Fitch, J. P., 1971. General relativity and the application of algebraic manipulative systems. Communications of the ACM (CACM), 14 (8), pp. 542-547.

Barton, D. and Fitch, J. P., 1972. The application of symbolic algebra system to physics. Reports on Progress in Physics, 35, pp. 235-314.

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.

Basu, S., Gabrielov, A. and Vorobjov, N., 2013. A Helly-type theorem for semi-monotone sets and monotone maps. Discrete & Computational Geometry, n/a, n/a.

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.

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.

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: Proceedings - 2010 IEEE 12th International Conference on Communication Technology, ICCT'2010. IEEE, pp. 1188-1191.

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)

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. and Padget, J., 1993. Towards A Virtual Multicomputer. In: Proceedings of Workshop on Heterogeneous Processing at the International Parallel Processing Symposium (WHP93). IEEE, pp. 71-76.

Batey, D. J. and Padget, J., 2002. Coordinating heterogeneous parallelism. In: Proceedings of Euromicro Workshop on Parallel and Distributed Processing. Vol. 1995. IEEE, pp. 339-346.

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)

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

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

Beale, D., Iravani, P. and Hall, P., 2010. Statistical visual-dynamic model for hand-eye coordination. In: IEEE/RSJ 2010 International Conference on Intelligent Robots and Systems, IROS 2010 - Conference Proceedings. Piscataway, NJ: IEEE Computer Society, pp. 3931-3936.

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.

Beaumont, J. C., Bradford, R. J. and Davenport, J. H., 2003. Better Simplification of Elementary Functions Through Power Series. In: Sendra, J. R., ed. ISSAC 2003, 2003-01-01.

Beaumont, J., Bradford, R. and Davenport, J. H., 2003. Better simplification of elementary functions through power series. In: Proceedings of the 2003 international symposium on Symbolic and algebraic computation, 2003-01-01, Philadelphia, PA.

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.

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.

Beavers, G. and Hexmoor, H., 2004. Types and limits of agent autonomy. In: Nickles, M., Rovatsos, M. and Weiss, G., eds. Agents and Computational Autonomy: Potential, Risks, and Solutions. Vol. 2969. , pp. 95-102. (Lecture Notes in Computer Science)

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)

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.

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.

Bennett, J.P., Davenport, J.H., Dewar, M.C., Fisher, D.L., Grinfeld, M. and Sauro, H., 1991. Computer algebra approaches to enzyme kinetics. In: Jacob, G. and Lamnabhi-Lagarrigue, F., eds. Algebraic Computing in Control. Berlin, Germany: Springer, pp. 23-30. (Lecture Notes in Control and Information Sciences; 165)

Bennett, J.P., Davenport, J.H. and Sauro, H.M., 1988. Solution of Some Equations in Biochemistry. Other. Bath, UK: University of Bath.

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)

Benton, L., 2013. Participatory Design and Autism : Supporting the participation, contribution and collaboration of children with ASD during the technology design process. Thesis (Doctor of Philosophy (PhD)). University of Bath.

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

Benton, L. and Johnson, H., 2014. Structured approaches to participatory design for children : Can targeting the needs of children with autism provide benefits for a broader child population? Instructional Science, 42 (1), pp. 47-65.

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 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems. New York: Association for Computing Machinery (ACM), pp. 2599-2608.

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.

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

Berrington, N., Broadberry, P. and Padget, J., 1993. EuLisp Threads: a concurrency toolbox. Lisp and Symbolic Computation, 1/2, pp. 177-199.

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.

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.

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, RESS 2012 - Proceedings. IEEE, pp. 10-13.

Bilbao, S. and ffitch, J., 2006. Prepared piano sound synthesis. In: Proceedings of DAFx-06. Montreal, Quebec, Canada: DAFx, pp. 77-82.

Billings, M. and Watts, L. A., 2007. A safe space to vent: Conciliation and conflict in distributed teams.

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.

Billings, M. and Watts, L. A., 2010. Understanding dispute resolution online: using text to reflect personal and substantive issues in conflict. In: CHI '10 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems. New York: Association for Computing Machinery (ACM), pp. 1447-1456. (Conference on Human Factors in Computing Systems - Proceedings)

Billings, M. J., 2008. Conflict, Conciliation and Computer-Mediated Communication: using online dispute resolution to explain the impact of media properties on relational communication. Thesis (Doctor of Philosophy (PhD)). University of Bath.

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)

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. Naturally-Inspired Artificial Intelligence - Papers from the AAAI Fall Symposium, Technical Report. Arlington, VA: AAAI Press, pp. 21-26.

Blake, A., Rother, C., Brown, M., Perez, P. and Torr, P., 2004. Interactive Image Segmentation Using an Adaptive GMMRF Model. In: Computer Vision - ECCV 2004. Vol. 3021. Heidelberg: Springer, pp. 428-441. (Lecture Notes in Computer Science)

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

Boenn, G., Brain, M., De Vos, M. and Ffitch, J., 2012. Computational music theory. In: Musical Metacreation: Papers from the 2012 AIIDE Workshop. Association for the Advancement of Artificial Intelligence (AAAI), pp. 27-34. (AAAI Technical Report; WS-12-16)

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., 2009. ANTON: Composing logic and logic composing. In: Erdem, E., Fangzhen, L. and Schaub, T., eds. Logic Programming and Nonmomotonic Reasoning. Proceedings of the 10th International Conference (LPNMR 2009). Vol. 5753, 2009. Springer, pp. 542-547. (Lecture Notes in Artificial Intelligence)

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

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 Twelth International Workshop on Non-Monotonic Reasoning. 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. In: Garcia de la Banda, M. and Pontelli, E., eds. Logic Programming. Proceedings of the 24th International Conference, ICLP 2008.5366 ed. Springer, pp. 160-174. (Lecture Notes in Computer Science)

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)

Boulanger, R. and Fitch, J., 2003. Teaching Software Synthesis: from hardware to software synthesis. In: Global Village - Global Brain - Global Music; KlangArt-Kongre\ss~1999. Electronic Publishing Osnabrück, pp. 463-470.

Boulanger, R., Smaragdis, P. and Fitch, J., 2000. Scanned Synthesis: An Introduction and Demonstration of a New Synthesis and Signal Processing Technique. In: Proceedings of ICMC 2000. ICMA, pp. 372-375.

Boulanger, R. and ffitch, J., 1998. Teaching software synthesis through Csound's new modelling opcodes. In: Simoni, M., ed. Proceedings, International Computer Music Conference 1998 (ICMC '98). Vol. 1998. International Computer Music Association and University of Michigan, pp. 121-124.

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.

Bowyer, A., Davenport, J.H., Milne, P.S., Padget, J.A. and Wallis, A.F., 1989. A geometric algebra system. In: Woodwark, J.R., ed. Geometric Reasoning. Oxford, UK: Clarendon Press, pp. 1-30.

Bowyer, A., Davenport, J.H., Milne, P.S., Padget, J. and Wallis, A.F., 1989. Applications of computer algebra in solid modelling. In: Eurocal '87. Berlin: Springer, pp. 244-245. (Lecture Notes in Computer Science; 378)

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

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.

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., Davenport, J.H., England, M., McCallum, S. and Wilson, D., 2014. Truth table invariant cylindrical algebraic decomposition. Unpublished (Submitted)

Bradford, R.J. and Davenport, J.H., 1989. Effective tests for cyclotomic polynomials. In: Gianni, P., ed. Symbolic and Algebraic Computation. Berlin, Germany: Springer, pp. 244-251. (Lecture Notes in Computer Science; 358)

Bradford, R., 1993. Algebraic simplification of multiple-valued functions. In: Design and Implementation of Symbolic Computation Systems. Springer, pp. 13-21. (Lecture Notes in Computer Science; 721)

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. In: Gerdt, V. P., Koepf, W., Seiler, W. M. and Vorozhtsov, E. V., eds. Computer Algebra in Scientific Computing. Vol. 8660. Springer, pp. 44-58. (Lecture Notes in Computer Science)

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.

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 '13: Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation. 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. Intelligent Computer Mathematics. Berlin: Springer, pp. 19-34. (Lecture Notes in Computer Science; 7961)

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.

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. Intelligent Computer Mathematics: 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009 Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings. Berlin: Springer, pp. 75-89. (Lecture Notes in Computer Science; 5625/2)

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

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

Bradford, R., ffitch, J. and Dobson, R., 2008. Sliding with a constant Q. In: 11th International Conference on Digital Audio Effects (DAFx-08) Proceedings September 1-4th, 2008 Espoo, Finland. Espoo, Finland: DAFx, pp. 363-369.

Bradshaw, J. M., Feltovich, P. J., Jung, H., Kulkarni, S., Taysom, W. and Uszok, A., 2004. Dimensions of adjustable autonomy and mixed-initiative interaction. In: Nickles, M., Rovatsos, M. and Weiss, G., eds. Agents and Computational Autonomy: Potential, Risks, and Solutions. Vol. 2969. , pp. 17-39. (Lecture Notes in Computer Science)

Brain, C. and De Vos, M., 2008. Answer set programming - a domain in need of explanation : A position paper. CEUR Workshop Proceedings, 391.

Brain, M., Crick, T., De Vos, M. and Fitch, J., 2006. TOAST: Applying answer set programming to superoptimisation. In: Logic Programming, Proceedings. Vol. 4079. , pp. 270-284. (Lecture Notes in Computer Science)

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

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.

Brain, M. J., 2004. Incremental answer set programming. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2004-05)

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)

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.

Brain, M. and De Vos, M., 2005. Debugging logic programs under the answer set semantics. In: De Vos, M. and Provetti, A., eds. ASP'05: Answer set programming: advances in theory and implementation. Vol. 142. , pp. 141-152. (CEUR Workshop Proceedings; 142)

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.

Brain, M. and Schanda, F., 2012. A lightweight technique for distributed and incremental program verification. In: Verified Software: Theories, Tools, Experiments.7152 ed. 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.

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.

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.

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.

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)

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

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.

Brosnan, M., Walker, I. and Collomosse, J., 2010. The effect of explicitly varying the proportion of “same” and “different” responses on sex differences in the Shepard and Metzler mental rotation task. European Journal of Cognitive Psychology, 22 (2), pp. 172-189.

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: ISSAC '07 Proceedings of the 2007 international symposium on Symbolic and algebraic computation. New York: ACM, pp. 54-60.

Brown, M., Drummond, T. and Cipolla, R., 2000. 3D Model Acquisition by Tracking 2DWireframes. In: BMVC 200: Eleventh British Machine Vision Conference, 2000-09-11 - 2000-09-14, Bristol.

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., 2002. Invariant Features from Interest Point Groups. In: BMVC 2002: 13th British Machine Vision Conference, 2002-09-02 - 2002-09-05, Cardiff.

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.

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. and Lowe, D. G., 2007. Automatic Panoramic Image Stitching using Invariant Features. International Journal of Computer Vision, 74 (1), pp. 59-73.

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., Szeliski, R. and Winder, S., 2004. Multi-Scale Oriented Patches. Other. Microsoft Research.

Brown, M. A., 2005. Multi-Image Matching using Invariant Features. Thesis (Doctor of Philosophy (PhD)). University of British Columbia.

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.

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: 2011 IEEE Conference on Computer Vision and Pattern Recognition (CVPR 2011). IEEE, pp. 177-184.

Bruennler, K. and Guglielmi, A., 2004. A First Order System with Finite Choice of Premises. In: Hendricks, V. F., Neuhaus, F., Andur Pederson, S., Scheffler, U. and Wansing, H., eds. First-Order Logic Revisited. Logos Verlag, pp. 59-74. (Logische Philosophie)

Bruscoli, P. and Guglielmi, A., 2003. A Tutorial on Proof Theoretic Foundations of Logic Programming. In: Logic Programming, 19th International Conference - Lecture Notes in Computer Science. Vol. 2916. Springer, pp. 109-127. (Lecture Notes in Computer Science)

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

Bruscoli, P. and Guglielmi, A., 2003. On Structuring Proof Search for First Order Linear Logic. In: Lecture Notes in Artificial Intelligence, 2003-01-01.

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

Bruscoli, P., Guglielmi, A., Gundersen, T. and Parigot, M., 2010. A quasipolynomial cut-elimination procedure in deep inference via atomic flows and threshold formulae. In: Clarke, E. M. and Voronkov, A., eds. Logic for programming, artificial intelligence, and reasoning: 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, revised selected papers. Berlin: Springer, pp. 136-153. (Lecture Notes in Computer Science; 6355)

Bryson, J., 2006. Funding: income is already dependent on outcome. Nature, 441 (7094), p. 690.

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.

Bryson, J. J., 2004. Consciousness is easy but learning is hard. The Philosophers' Magazine, 28, pp. 70-72.

Bryson, J. J., 2000. Cross-paradigm analysis of autonomous agent architecture. Journal of Experimental and Theoretical Artificial Intelligence, 12 (2), pp. 165-190.

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. J., 2001. Intelligent Control Requires More Structure than the Theory of Event Coding Provides. Behavioral and Brain Sciences, 24 (5), pp. 878-879.

Bryson, J. J., 2002. Language isn't quite that special. Behavioral and Brain Sciences, 25 (6), pp. 679-680.

Bryson, J. J., 2007. Mechanisms of action selection: Introduction to the special issue. Adaptive Behavior, 15 (1), pp. 5-8.

Bryson, J. J., 2005. Modular Representations of Cognitive Phenomena in AI, Psychology and Neuroscience. In: Davis, D. N., ed. Visions of Mind: Architectures for Cognition and Affect. London: Idea Group, pp. 66-89.

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. The machine question. Society for the Study of Artificial Intelligence and the Simulation of Behaviour, pp. 73-77.

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., 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. 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., 2006. The attentional spotlight. Minds and Machines, 16 (1), pp. 21-28.

Bryson, J. J., 2002. The behavior-oriented design of modular agent intelligence. In: Kowalszyk, R., Muller, J. P., Tianfield, H. and Unland, R., eds. Agent Technologies, Infrastructures, Tools, and Applications for E-Services. Vol. 2592. Springer, pp. 61-76. (Lecture Notes in Computer Science)

Bryson, J. J., 1995. The reactive accompanist: Adaptation and behavior decomposition in a music system. In: Steels, L., ed. The biology and technology of intelligent autonomous agents. Berlin: Springer.

Bryson, J. J., 2002. Where should complexity go? Cooperation in complex agents with minimal communication. In: Truszkowski, W., Rouff, C. and Hinchey, M., eds. Innovative Concepts for Agent-Based Systems. Vol. 2564. Springer, pp. 303-319. (Lecture Notes in Computer Science)

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 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. and Leong, J. C. S., 2007. Primate errors in transitive 'inference': a two-tier learning model. Animal Cognition, 10 (1), pp. 1-15.

Bryson, J. J. and Lowe, W., 1997. Cognition without representational redescription. Behavioral and Brain Sciences, 20 (4), pp. 743-744.

Bryson, J. J., Martin, D., McIlraith, S. I. and Stein, L. A., 2003. Agent-based composite services in DAML-S: The behavior-oriented design of an intelligent semantic web. In: Zhong, N., Liu, J. and Yao, Y., eds. Web Intelligence. Springer, pp. 37-58.

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 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. and Thorisson, K. R., 2000. Dragons bats and evil knights: A three-layer design approach to character based creative play. Virtual Reality, 5 (2), pp. 57-71.

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.

Bryson, J., 2011. AI robots should not be considered moral agents. In: Berlatsky, N., ed. Artificial Intelligence. Detroit: Greenhaven Press. (Opposing Viewpoints Series)

Bryson, J., 2014. Forthcoming. Artificial Intelligence and Pro-Social Behaviour. In: Misselhorn, C., ed. Collective Agency and Cooperation in Natural and Artificial Systems. Springer.

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

Bryson, J., 2006. Embodiment vs. memetics: Is building a human getting easier? In: Proceedings of AISB'06: Adaptation in Artificial and Biological Systems. Vol. 2. , pp. 48-51.

Bryson, J. J., 2000. A Proposal for the Humanoid Agent-builders League (HAL). In: AISB'00 Symposium on Artificial Intelligence, Ethics and (Quasi-)Human Rights, 2000-01-01, Birmingham, UK..

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., 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., 2010. Cultural ratcheting results primarily from semantic compression. In: The Evolution of Language: Proceedings of the 8th International Conference on the Evolution of Language (EVOLANG 8). World Scientific, pp. 50-57.

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

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., 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., 2000. Hierarchy and Sequence vs. Full Parallelism in Action Selection. In: Simulation of Adaptive Behavior 6, 2000-01-01, Paris.

Bryson, J. J., 2000. Making Modularity Work: Combining Memory Systems and Intelligent Processes in a Dialog Agent. In: AISB'00 Symposium on Designing a Functioning Mind, 2000-01-01, Birmingham, UK..

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.

Bryson, J. J., 2009. Representations underlying social learning and cultural evolution. Interaction Studies, 10 (1), pp. 77-100.

Bryson, J. J., 2010. Robots should be slaves. In: Wilks, Y., ed. Close engagements with artificial companions: key social, psychological, ethical and design issues. Amsterdam: John Benjamins, pp. 63-74. (Natural Language Processing; 8)

Bryson, J. J., 2012. Structuring intelligence: the role of hierarchy, modularity and learning in generating intelligent behaviour. In: McFarland, D., Stenning, K. and McGonigle-Chalmers, M., eds. The complex mind. Basingstoke: Palgrave Macmillan, pp. 126-143.

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.

Bryson, J. J., Caulfield, T. J. and Drugowitsch, J., 2006. Integrating Life-Like Action Selection into Cycle-Based Agent Simulation Environments. In: North, M., Sallach, D. L. and Macal, C., eds. Proceedings of Agent 2005: Generative Social Processes, Models, and Mechanisms. Argonne National Laboratory, pp. 67-81.

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

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.

Bryson, J. J. and Kime, P. P., 2011. Just an artifact : why machines are perceived as moral agents. In: Walsh, T., ed. Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence. Vol. 2. Menlo Park, CA, USA: AAAI Press, pp. 1641-1646.

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., 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., 2000. Architectures and Idioms: Making Progress in Agent Design. In: Castelfranchi, C. and Lesperance, Y., eds. The Seventh International Workshop on Agent Theories, Architectures and Languages (ATAL), 2000-01-01, Boston.

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.

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.

Bryson, J. J., Mitchell, J., Powers, S. T. and Sylwester, K., 2014. Understanding and addressing cultural variation in costly antisocial punishment. In: Gibson, M. A. and Lawson, D. W., eds. Applied Evolutionary Anthropology. London, U. K.: Springer, pp. 201-222. (Advances in the Evolutionary Analysis of Human Behaviour; 1)

Burdorf, C. and Fitch, J. P., 1993. Cloning Persistent Simulation Objects under a Conservative Mechanism of Concurrency-Control. In: Pave, A., ed. European Simulation Multiconference 1993. San Diego CA: Soc. Computer Simulation Int., pp. 598-602.

Burdorf, C., Fitch, J. P., Marti, J. B. and Padget, J. A., 1989. A Multiprocessor Execution Profiler. In: Software Track Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences. University of Hawaii, pp. 524-531.

Burdorf, C. and Fitch, J., 1992. Using Chaos to Predict Commodity Market Price Fluctuations in Neural Networks. In: 2nd Irish Neural Networks Conference. IoP Publishing, pp. 289-296.

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.

Burrows, R., Johnson, H. and Johnson, P., 2013. Influencing Values, Attitudes and Behaviour via Interactive and Social-Media Technology : The Case of Energy Usage. Other. Bath, U. K.: Department of Computer Science, University of Bath.

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)

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

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.

Cabrera, A., ffitch, J., Gogins, M., Lazzarini, V. and Yi, S., 2013. The new developments in Csound6. In: Gardiner, A. and Varano, A., eds. Proceedings of the International Computer Music Conference 2013 (ICMC 2013). Perth, WA: Tura New Music.

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

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.

Calderon, A., Hinds, J. and Johnson, P., 2014. Forthcoming. 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.

Calderon, A., Hinds, J. and Johnson, P., 2014. A tool for enhancing interactions during crises and aiding collective decision-making. Other. Department of Computer Science, University of Bath.

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.

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, J. A. and Fitch, J. P., 1980. Symbolic Computing with and without LISP. In: LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming. New York: ACM, pp. 1-5.

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

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.

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

Campbell, N.D.F., Vogiatzis, G., Hernández, C. and Cipolla, R., 2008. Using multiple hypotheses to improve depth-maps for multi-view stereo. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 5302 LNCS. , pp. 766-779.

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

Caprotti, O., Davenport, J. H., Dewar, M. and Padget, J., 2004. Mathematics on the (semantic) NET. In: Semantic Web: Research and Applications. Vol. 3053. , pp. 213-224. (Lecture Notes in Computer Science)

Carabelea, C., Boissier, O. and Florea, A., 2004. Autonomy in multi-agent systems: A classification attempt. In: Nickles, M., Rovatsos, M. and Weiss, G., eds. Agents and Computational Autonomy: Potential, Risks, and Solutions. Vol. 2969. , pp. 103-113. (Lecture Notes in Computer Science)

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

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.

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

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

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)

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.

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.

Castelfranchi, C. and Falcone, R., 2004. Founding autonomy: The dialectics between (social) environment and agent's architecture and powers. In: Nickles, M., Rovatsos, M. and Weiss, G., eds. Agents and Computational Autonomy: Potential, Risks, and Solutions. Vol. 2969. , pp. 40-54. (Lecture Notes in Computer Science)

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.

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)

Chan, K. W., Dunn, R. W., Daniels, A. R., Padget, J. A., Ekwue, A. O., Buxton, P. H. and Rawlins, M. J., 1997. On-line dynamic-security contingency screening and ranking. Generation, Transmission and Distribution, IEE Proceedings-, 144 (2), pp. 132-138.

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. IEEE, pp. 2064-2071.

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

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.

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.

Chen, C., Davenport, J. H., May, J. P., Maza, M. M., Xia, B. and Xiao, R., 2010. Triangular decomposition of semi-algebraic systems. In: Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation. New York: ACM, pp. 187-194.

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

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.

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.

Cheng, E., Hyland, M. and Power, J., 2003. Pseudo-distributive laws. Electronic Notes in Theoretical Computer Science, 83.

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.

Chiang, T., Mevlevioglu, G., Natarajan, S., Padget, J. and Walker, I., 2014. Inducing [sub]conscious energy behaviour through visually displayed energy information : A case study in university accommodation. Energy and Buildings, 70, pp. 507-515.

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.

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)

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

Churchill, M. and Laird, J., 2010. A logic of sequentiality. In: Dawar, A. and Veith, H., eds. Computer Science Logic (Lecture Notes in Computer Science). Vol. 6247/2. Springer, pp. 215-229. (Lecture Notes in Computer Science)

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

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.

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

Clairambault, P., 2011. Estimation of the length of interactions in arena game semantics. In: Foundations of Software Science and Computational Structures - 14th Int. Conf., FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Proceedings. Vol. 6604 LNCS. Heidelberg: Springer, pp. 335-349. (Lecture Notes in Computer Science)

Clairambault, P., 2011. Isomorphisms of types in the presence of higher-order references. In: 2011 IEEE 26th Annual Symposium on Logic in Computer Science. 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: Typed Lambda Calculi and Applications - 10th International Conference, TLCA 2011, Proceedings. Vol. 6690 LNCS. Heidelberg: Springer, pp. 91-106. (Lecture Notes in Computer Science)

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

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., De Vos, M. and Padget, J., 2009. Modelling normative frameworks using answer set programing. In: Erdem, E., Fangzhen, L. and Schaub, T., eds. Logic Programming and Nonmonotonic Reasoning. Vol. 5753. Berlin, Germany: Springer, pp. 548-553. (Lecture Notes in Computer Science)

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 AAMAS 2006 and ECAI 2006 International Workshops, COIN 2006 Hakodate, Japan, May 9, 2006 Riva del Garda, Italy, August 28, 2006. Revised Selected Papers. Vol. 4386/2007. Heidelberg: Springer, pp. 67-85. (Lecture Notes in Computer Science)

Cliffe, O., De Vos, M. and Padget, J., 2006. Specifying and analysing agent-based social institutions using answer set programming. In: Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems. Vol. 3913. , pp. 99-113. (Lecture Notes in Artificial Intelligence)

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)

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, Hakodate, Japan, May 8-9, 2006, revised selected and invited papers. Heidelberg, Germany: Springer, pp. 60-79. (Lecture Notes in Computer Science; 4371)

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. Coordination, organizations, institutions, and norms in agent systems III: COIN 2007 International Workshops COIN@AAMAS 2007, Honolulu, HI, USA, May 14, 2007 COIN@MALLOW 2007, Durham, UK, September 3-4, 2007 revised selected papers. 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: Logic Programming - Proceedings of the 24th International Conference in Logic Programming (ICLP). Vol. 5366. Berlin / Heidelberg: Springer, pp. 724-728. (Lecture Notes in Computer Science)

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.

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.

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

Cohen, A. M., Davenport, J.H. and Heck, A.J.P., 1993. An overview of computer algebra. In: Cohen, A. M., ed. Computer Algebra in Industry. Chichester, UK: John Wiley, pp. 1-52.

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

Collinson, M., Pym, D. and Robinson, E., 2005. On bunched polyrnorphism. In: Computer Science Logic, Proceedings. Vol. 3634. , pp. 36-50. (Lecture Notes in Computer Science)

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., 2007. Evolutionary search for the artistic rendering of photographs. In: The Art of Artificial Evolution: A Handbook. Springer.

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)

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. In: Applications of Evolutionary Computing, Proceedings. Vol. 3907. , pp. 599-610. (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., 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. 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. and Hall, P. M., 2005. Genetic paint: A search for salient paintings. In: Applications of Evolutionary Computing, Proceedings. Vol. 3449. , pp. 437-447. (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. and Hall, P. M., 2002. Painterly Rendering using Image Salience. In: 20th Eurographics UK Conference, 2002-06-01.

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.

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., 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., 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., Rowntree, D. and Hall, P. M., 2003. Video analysis for Cartoon-style Special Effects. In: 14th British Machine Vision Conference (BMVC), 2003-09-01.

Collomosse, J. P. and Hall, P. M., 2005. Video Paintbox : the fine art of video painting. Computers & Graphics, 29 (6), pp. 862-870.

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.

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

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)

Coppersmith, D. and Davenport, J.H., 1985. An application of factoring. Journal of Symbolic Computation, 1, pp. 241-243.

Coppersmith, D. and Davenport, J.H., 1991. Polynomials whose powers are sparse. Acta Arithmetica, 58 (1), pp. 79-87.

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: Coordination, Organizations, Institutions, and Norms in Agent Systems VI - COIN 2010 International Workshops, COIN@MALLOW 2010, Revised Selected Papers. Heidelberg: Springer, pp. 77-94. (Lecture Notes in Computer Science; 6541)

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: Artificial Intelligence and Symbolic Computation. Vol. 1930. , pp. 115-126. (Lecture Notes in Artificial Intelligence)

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. Artificial Intelligence and Symbolic Computation. Berlin, Germany: Springer, pp. 115-126. (Lecture Notes in Artificial Intelligence; 1930)

Corless, R. M., Davenport, J.H., Jeffrey, D. J. and Watt, S. M., 2000. "According to Abramowitz and Stegun", or arcoth needn't be uncouth. SIGSAM Bulletin, 34, pp. 58-65.

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 - Proceedings. , pp. 2111-2112.

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)

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. Advances in Autonomous Robotics Systems. Springer, pp. 163-172. (Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics; 8717)

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

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.

Cosker, D., Eisert, P., Grau, O., Hancock, P. J. B., McKinnell, J. and Ong, E.-J., 2013. Applications of face analysis and modeling in media production. IEEE Multimedia, 20 (4), pp. 18-27.

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 (CVMP 2007). IET, p. 16.

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.

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: 2011 IEEE International Conference on Computer Vision (ICCV). IEEE, pp. 2296-2303.

Cosker, D., Krumhuber, E. and Hilton, A., 2010. A FACS validated 3D human facial model. In: FAA '10 Proceedings of the ACM/SSPNET 2nd International Symposium on Facial Analysis and Animation. 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: APGV '10 Proceedings of the 7th Symposium on Applied Perception in Graphics and Visualization. New York, U. S. A.: ACM, pp. 101-108.

Cossentino, M. and Zambonelli, F., 2004. Agent design from the autonomy perspective. In: Nickles, M., Rovatsos, M. and Weiss, G., eds. Agents and Computational Autonomy: Potential, Risks, and Solutions. Vol. 2969. , pp. 140-150. (Lecture Notes in Computer Science)

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.

Coughlan, T., 2009. Understanding creative interaction: a conceptual framework for use in the design of interactive systems for creative activities. Thesis (Doctor of Philosophy (PhD)). University of Bath.

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.

Coughlan, T. and Johnson, P., 2006. Interaction in creative tasks: ideation, representation and evaluation in composition. In: CHI '06 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems. New York, USA: ACM, pp. 531-540.

Coughlan, T. and Johnson, P., 2009. Understanding productive, structural and longitudinal interactions in the design of tools for creative activities. In: Proceedings of the Seventh ACM Conference on Creativity and Cognition. New York: ACM, pp. 155-164.

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

Crick, T., 2004. A GCC front end for BCPL. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2004-06)

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.

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. Logic Programming and Nonmonotonic Reasoning. Vol. 5753. 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.

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.

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.

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.

Daniels, H. and Johnson, P., 2013. Researching technologies for enhancing collective creativity in interagency working. In: Sannino, A. and Ellis, V., eds. Learning and collective creativity: activity-theoretical and sociocultural studies. Abingdon, UK: Routledge, pp. 132-157. (Routledge Research in Education)

Das, A., 2012. Complexity of deep inference via atomic flows. In: Cooper, S. B., Dawar, A. and Lowe, B., eds. How the World Computes. Vol. 7318 LNCS. Heidelberg, Germany: Springer, pp. 139-150. (Lecture Notes in Computer Science; 7318)

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

Das, A., 2013. Rewriting with linear inferences in propositional logic. In: van Raamsdonk, F., ed. 24th International Conference on Rewriting Techniques and Applications (RTA 2013). Vol. 21. Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, pp. 158-173. (Leibniz International Proceedings in Informatics, LIPIcs)

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

Dastani, M., Dignum, F. and Meyer, J. J., 2004. Autonomy and agent deliberation. In: Nickles, M., Rovatsos, M. and Weiss, G., eds. Agents and Computational Autonomy: Potential, Risks, and Solutions. Vol. 2969. , pp. 114-127. (Lecture Notes in Computer Science)

Davenport, J., 2007. What might "Understand a Function" mean? In: Kauers, M., Kerber, M., Miner, R. and Windsteiger, W., eds. Towards Mechanized Mathematical Assistants. Vol. 4573. Springer, pp. 55-65.

Davenport, J. H., 2008. AISC Meets Natural Typography. In: Autexier, S., Campbell, J., Rubio, J., Sorge, V., Suzuki, M. and Wiedijk, F., eds. Intelligent Computer Mathematics: Proc. AISC/Calculemus/MKM 2008. Vol. 5144. Berlin, Heidelberg: Springer, pp. 53-60. (Lecture Notes in Computer Science)

Davenport, J. H., 2008. Effective Set Membership in Computer Algebra and Beyond. In: Autexier, S., Campbell, J., Rubio, J., Sorge, V., Suzuki, M. and Wiedijk, F., eds. Intelligent Computer Mathematics: Proc. AISC/Calculemus/MKM 2008. Vol. 5144. Berlin, Heidelberg: Springer, pp. 266-280. (Lecture Notes in Computer Science)

Davenport, J. H., 2002. Equality in computer algebra and beyond. Journal of Symbolic Computation, 34 (4), pp. 259-270.

Davenport, J. H., 2003. MKM from book to computer: A case study. In: Mathematical Knowledge Management, Proceedings. Vol. 2594. , pp. 17-29. (Lecture Notes in Computer Science)

Davenport, J. H., 2002. Table Errata --- Abramowitz & Stegun. Mathematics of Computation (MCOM)

Davenport, J. H., 2003. The Geometry of C^n is Important for the Algebra of Elementary Function. In: Joswig, M. and Takayama, N., eds. Algebra, Geometry and Software Systems. Berlin, Germany: Springer, pp. 207-225.

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

Davenport, J. H., Gianni, P. and Trager, B. M., 1991. Scratchpad's view of algebra II : A categorical view of factorization. In: ISSAC '91 Proceedings of the 1991 international symposium on Symbolic and algebraic computation. New York: ACM, pp. 32-38.

Davenport, J.H., 1979. Algorithms for the integration of algebraic functions. In: Ng, E.W., ed. Symbolic and Algebraic Computation. Berlin, Germany: Springer, pp. 415-425. (Lecture Notes in Computer Science; 72)

Davenport, J.H., 1979. Anatomy of an integral. SIGSAM Bulletin, 13 (4), pp. 16-18.

Davenport, J.H., 1981. Effective mathematics : the computer algebra viewpoint. In: Richman, F., ed. Constructive Mathematics. Berlin, Germany: Springer, pp. 31-43. (Springer Lecture Notes in Mathematics; 873)

Davenport, J.H., 1983. Integration - what do we want from the theory? In: Hultzen, J. A. v., ed. Computer Algebra. Berlin, Germany: Springer, pp. 2-11. (Lecture Notes in Computer Science; 162)

Davenport, J.H., 1981. On the Integration of Algebraic Functions. Berlin, Germany: Springer. (Lecture Notes in Computer Science; 102)

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

Davenport, J.H., 1982. The Parallel Risch Algorithm (I). In: Calmet, J., ed. Computer algebra. Berlin, Germany: Springer, pp. 144-157. (Lecture Notes in Computer Science; 144)

Davenport, J.H., 1979. The computerisation of algebraic geometry. In: Ng, E.W., ed. Symbolic and Algebraic Computation. Berlin, Germany: Springer, pp. 119-133. (Lecture Notes in Computer Science; 72)

Davenport, J., 2014. Forthcoming. Mathematical Massive Open Online Courses (MOOCs): Report of a Panel at the 2014 ICM. In: Proceedings of the 2014 International Congress of Mathematicians. .

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., 2010. The Challenges of Multivalued "Functions". Lecture Notes in Computer Science, 6167, pp. 1-12.

Davenport, J., Bradford, R., England, M. and Wilson, D., 2012. Order-Invariance of Cylindrical Algebraic Decomposition via Triangular Decomposition. Working Paper.

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

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. In: 2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2009). 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. Intelligent Computer Mathematics: 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009. Vol. 5625/2. Berlin: Springer, pp. 263-278.

Davenport, J. H. and Trager, B. M., 1990. Scratchpad's view of algebra I: Basic commutative algebra. In: Design and Implementation of Symbolic Computation Systems: International Symposium DISCO '90 Capri, Italy, April 10–12, 1990 Proceedings. Berlin: Springer, pp. 40-54. (Lecture Notes in Computer Science; 429/1990)

Davenport, J. H., Wilson, D., Graham, I., Sankaran, G., Spence, A., Blake, J. and Kynaston, S., 2014. Interdisciplinary teaching of computing to mathematics students : Programming and discrete mathematics. MSOR Connections

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

De Vos, M., 2009. ASP: The future is bright a position paper. In: Erdem, E., Fangzhen, L. and Schaub, T., eds. Logic Programming and Nonmonotonic Reasoning. Vol. 5753. Berlin, Germany: Springer, pp. 625-627. (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.

De Vos, M., 2004. Implementing ordered choice logic programming using answer set solvers. In: Foundations of Information and Knowledge Systems, Proceedings. Vol. 2942. , pp. 59-77. (Lecture Notes in Computer Science)

De Vos, M., Balke, T. and Satoh, K., 2013. Modelling legitimate expectations. In: Motomura, Y., Butler, A. and Bekki, D., eds. New Frontiers in Artificial Intelligence. Berlin: Springer, pp. 141-156. (Lecture Notes in Computer Science; 7856)

De Vos, M. and Brain, M., 2004. Logic-based Multi-Agents in Industry : CLIMA V Panel.

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.

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. In: Declarative Agent Languages and Technologies Iii. Vol. 3904. , pp. 72-88. (Lecture Notes in Artificial Intelligence)

De Vos, M. and Provetti, A., 2003. ASP03: Answer Set Programming: Advances in Theory and Implementation.

De Vos, M. and Provetti, A., 2005. ASP05: Answer Set Programming: Advances in Theory and Implementation.

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., 2002. Dynamic decision-making in logic programming and game theory. In: Al 2002: Advances in Artificial Intelligence. Vol. 2557. , pp. 36-47. (Lecture Notes in Artificial Intelligence)

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.

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. Springer, p. 323. (BCS Conference Series)

De Vos, M. and Vermeir, D., 2001. Logic Programming Agents and Game Theory.

De Vos, M. and Vermeir, D., 2001. Semantic Forcing in Disjunctive Logic Programs. Computational Intelligence, 17 (4), pp. 651-684.

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

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

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.

De Vos, M., Padget, J. and Satoh, K., 2011. Legal modelling and reasoning using institutions. In: New Frontiers in Artificial Intelligence - JSAI-isAI 2010 Workshops, LENLS, JURISIN, AMBN, ISS, Revised Selected Papers. Vol. 6797 LNAI. Heidelberg: Springer, pp. 129-140. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics))

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: Proceedings of the 4th Decennial Conference on Critical Computing: Between Sense and Sensibility. New York: Association for Computing Machinery (ACM), pp. 133-136.

Denney, E. W., Tourlas, K. and Power, J., 2005. Hierarchical Proof Structures. In: Structures and Deduction – the Quest for the Essence of Proofs (satellite workshop of ICALP 2005). Dresden: Technische Universität Dresden, pp. 144-157.

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. In: Advances in Computer Graphics, Proceedings. Vol. 4035. Berlin, Germany: Springer, pp. 36-53. (Lecture Notes in Computer Science)

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

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.

Dobson, R., ffitch, J., 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.

Dobson, R. W. and Fitch, J. P., 1995. Experiments with Chaotic Oscillators. In: Proceedings on ICMC95. Banff, Canada: ICMA and Banff Centre for the Arts, pp. 45-48.

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

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: Proceedings of the 44th Annual Hawaii International Conference on System Sciences, HICSS-44 2010. Piscataway, NJ: IEEE Computer Society, pp. 1-10. (Proceedings of the Annual Hawaii International Conference on System Sciences)

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

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

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)

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: WS-REST '12 Proceedings of the Third International Workshop on RESTful Design. Association for Computing Machinery (ACM), pp. 41-48.

Duan, K., Padget, J. and Kim, H. A., 2014. A light-weight framework for bridge-building from desktop to cloud. In: Lomuscio, A., Nepal, S., Patrizi, F., Benatallah, B. and Brandic, I., eds. Service-Orientated Computing, ICSOC, 2013. Vol. 8377. , pp. 308-323. (Lecture Notes in Computer Science; 8377)

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.

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.

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.

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.

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.

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.

Duggan, G. B. and Payne, S. J., 2008. Knowledge in the head and on the web: using topic expertise to aid search. In: CHI '08 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems. New York: ACM, pp. 39-48.

Duggan, G. B. and Payne, S. J., 2011. Skim reading by satisficing: evidence from eye tracking. In: CHI '11 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems. New York: ACM, pp. 1141-1150.

Duke, D. J., Barnard, P. J., Halper, N. and Mellin, M., 2003. Rendering and affect. Computer Graphics Forum, 22 (3), pp. 359-368.

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.

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

El Kaafarani, A., Chen, L., Ghadafi, E. and Davenport, J. H., 2014. Forthcoming. Attribute Based Signatures with User Controlled Linkability. In: CANS 2014. Springer. (Lecture Notes in Computer Science)

El Kaafarani, A., Ghadafi, E. and Khader, D., 2014. Decentralized traceable attribute-based signatures. In: Benalloh, J., ed. Topics in Cryptology – CT-RSA 2014. Vol. 8366. Springer, pp. 327-348. (Lecture Notes in Computer Science)

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. Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems: industrial track. Richland, SC, USA: International Foundation for Autonomous Agents and Multiagent Systems, pp. 11-18.

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

Elakehal, E. E. and Padget, J., 2011. A Practical Method for Developing Multi Agent Systems: APMDMAS. In: Intelligent Distributed Computing V:Proceedings of the 5th International Symposium on Intelligent Distributed Computing – IDC 2011, Delft, The Netherlands – October 2011. Heidelberg: Springer, pp. 11-20.

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: ICEC '12 Proceedings of the 14th Annual International Conference on Electronic Commerce. New York: ACM, pp. 9-16.

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

Ellis, P. M. and Bryson, J. J., 2005. The significance of textures for affective interfaces. In: Panayiotopoulos, T., Gratch, J., Aylett, R., Ballin, D., Olivier, P. and Rist, T., eds. The Fifth International Working Conference on Intelligent Virtual Agents. Vol. 3661. Springer, pp. 394-404. (Lecture Notes in Artificial Intelligence)

England, M., 2014. Formulating problems for real algebraic geometry. In: Proceedings of XIV Encuentro de Álgebra Computacional y Aplicaciones. , pp. 107-110.

England, M., Bradford, R.J., Davenport, J.H. and Wilson, D., 2014. Choosing a variable ordering for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition. In: Mathematical Software – ICMS 2014. Vol. 8592. Springer, pp. 450-457.

England, M., 2013. An Implementation of CAD in Maple Utilising McCallum Projection. Other. Bath, U. K.: 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. Bath, U. K.: Department of Computer Science, University of Bath. (Department of Computer Science Technical Report Series; CSBU-2013-04)

England, M., Wilson, D., Bradford, R.J. and Davenport, J.H., 2014. Forthcoming. Using the Regular Chains Library to build cylindrical algebraic decompositions by projecting and lifting. In: Mathematical Software – ICMS 2014. Vol. 8592. Springer, pp. 458-465.

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

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. Intelligent Computer Mathematics. Berlin: Springer, pp. 136-151. (Lecture Notes in Computer Science; 7961)

England, M., Bradford, R. J., Chen, C., Davenport, J. H., Moreno Maza, M. and Wilson, D., 2014. Problem formulation for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition. In: Watt, S. M., Davenport, J. H., Sexton, A. P., Sojka, P. and Urban, J., eds. Intelligent Computer Mathematics. Springer, pp. 45-60. (Lecture Notes in Artificial Intelligence; 8543)

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.

England, M., Eilbeck, J. C. and Onishi, Y., 2014. Forthcoming. 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.

Esteva, M., Padget, J. and Sierra, C., 2002. Formalizing a language for institutions and norms. In: Intelligent Agents Viii: Agent Theories, Architectures, and Languages. Vol. 2333. , pp. 348-366. (Lecture Notes in Artificial Intelligence)

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.

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.

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.

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. In: Foth, M., Forlano, L., Satchell, C. and Gibbs, M., eds. From social butterfly to engaged citizen: urban informatics, social media, ubiquitous computing, and mobile technology to support citizen engagement. Cambridge, MA, USA: Massachusetts Institute of Technology Press, pp. 297-314.

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. Eindhoven, Netherlands: Springer, pp. 467-486.

Fatah gen Shieck, A., Penn, A. and O'Neill, E., 2008. Mapping, sensing and visualising the digital co-presence in the public arena. In: Timmermans, H. and de Vries, B., eds. Proceedings of the 9th International Conference on Design and Decision Support Systems in Architecture and Urban Planning. Leende, Netherlands: Springer, pp. 38-58.

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

Ffitch, J., 2007. Charles á Nuit.

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.

Fitch, J., 2009. CAMAL 40 Years on - Is Small Still Beautiful? In: Carette, J., Dixon, L., Coen, C. S. and Watt, S. M., eds. Intelligent Computer Mathematics 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009. Proceedings. Vol. 5625. Berlin: Springer, pp. 32-44. (Lecture Notes in Computer Science)

Fitch, J. and Shabana, W., 1999. A wavelet-based pitch detector for musical signals. In: Tro, J. and Larsson, M., eds. Proceedings of 2nd COST-G6 Workshop on Digital Audio Effects (DAFx99). Trondheim: Norwegian University of Science and Technology, pp. 101-104.

Fitch, J. P., 1990. A Delivery System for REDUCE. In: Proceedings of the international symposium on Symbolic and Algebraic Computation (ISSAC90). ACM and Addison-Wesley, pp. 76-81.

Fitch, J. P., 1988. A Loosely Coupled Parallel LISP Execution System. In: Design and Application of Parallel Digital Processors, 1988., International Specialist Seminar on the. Vol. 298. IEE, pp. 128-133. (IEE Conference Publication)

Fitch, J. P., 1985. Applying computer algebra. In: International Conference on Computer Algebra and its Application in Theoretical Physics, Dubna, USSR. Soviet Academy of Sciences, pp. 262-275.

Fitch, J. P., 1989. Can REDUCE be run in parallel? In: Proceedings of the ACM-SIGSAM 1989 International Symposium on Symbolic and Algebraic Computation. New York, NY, USA: ACM, pp. 155-162.

Fitch, J. P., 1989. Compiling for Parallelism. In: Proceedings of European Workshop on Parallelism and Algebra, 1988-01-01, Grenoble.

Fitch, J. P., 1984. Implementing REDUCE on a microcomputer. In: Proceedings of EUROCAL 1983. Vol. 162. Springer, pp. 128-136. (Lecture Notes in Computer Science)

Fitch, J. P., 1986. LISP, A mature environment for problem solving. In: Ford, B. and Chatlin, F., eds. Proceedings of the IFIP TC 2/WG 2.5 Working Conference on Problem Solving Environments for Scientific Computing. North-Holland, pp. 367-377.

Fitch, J. P., 1977. Mechanizing the solution of perturbation problems (invited). In: Fourth Symposium on Advanced Computer Methods in Physics, 1977-01-01, St Maximan.

Fitch, J. P., 1973. On Algebraic Simplification. Computer Journal, 16 (1), pp. 23-27.

Fitch, J. P., 1977. Profiling a large program. Software: Practice and Experience, 7 (4), pp. 511-518.

Fitch, J. P., 1992. Providing REDUCE more easily. In: Ganzha, V. G., Rudenko, V. M. and Vorozhtsov, E. V., eds. Proceedings of Computer Algebra and Its Applications to Mechanics 1990 (CAAM'90). New York: Nova Science, Chapter 21, 1-13.

Fitch, J. P., 1993. REDUCE Meets CAMAL. In: Fitch, J. P., ed. Design and Implementation of Symbolic Computation Systems. Vol. 721. Heidelberg, Germany: Springer, pp. 104-115. (Lecture Notes in Computer Science)

Fitch, J. P., 1991. REDUCE as a numerical tool. In: Shirkov, D. V., Rostovtsev, V. A. and Gerdr, V. P., eds. Proceedings of the IV International Conference on Computer Algebra in Physical Research. World Scientific, pp. 89-97.

Fitch, J. P., 1985. Solving algebraic problems with REDUCE. Journal of Symbolic Computation, 1 (2), pp. 211-227.

Fitch, J. P., 1975. The Cambridge algebra system - An overview. In: Proceedings of SEAS Anniversary Meeting. SEAS, pp. 197-207.

Fitch, J. P., 1990. The algebraic-numeric interface. Computer Physics Communications Package, 61 (1-2), pp. 22-33.

Fitch, J. P., 1979. The application of algebraic manipulation to physics, A case of creeping flow? In: Ng, W., ed. Symbolic and Algebraic Computation. Vol. 72. Springer, pp. 30-41. (Lecture Notes in Computer Science)

Fitch, J. P., 1981. User-based Integration Software. In: Wang, P. A., ed. Proceedings of the 1981 ACM Symposium on Symbolic and Algebraic Computation. New York, USA: ACM, pp. 245-248.

Fitch, J. P., 1987. Utilisation du calcul formel. In: Chenin, P., ed. Calcul Formel et Automatique. Paris: Editions du CNRS, pp. 119-136.

Fitch, J. P., Bradford, R. and Padget, J. A., 1991. Concurrent object-oriented programming in LISP. The Computer Journal, 34 (4), pp. 311-319.

Fitch, J. P. and Cohen, H. I., 1991. Uses made of computer algebra in physics. Journal of Symbolic Computation, 11 (3), pp. 291-305.

Fitch, J. P. and Leach, J. L., 1995. Nature Music and Algorithmic Composition. Computer Music Journal, 19 (2), pp. 23-33.

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

Fitch, J., 2001. As One Door Opens.

Fitch, J., 2002. Remembering Money.

Fitch, J., 2001. TanzMechanisch.

Fitch, J., 2002. The Door Project.

Fitch, J., 2002. The Money Project.

Fitch, J., 2002. Unbounded Space (Drums Different Cannons #4).

Fitch, J. P. and Cohen, H. I., 1979. Using CAMAL for algebraic calculations in general relativity. General Relativity and Gravitation, 11, pp. 411-418.

Fitch, J. P. and Garnett, D. J., 1972. Measurements on the Cambridge Algebra System. In: Proceedings of the International Computing Symposium, Venice. New York: ACM, pp. 139-147.

Fitch, J. P. and Hall, R. G., 1989. Symbolic Computation and the Finite Element Method. In: Davenport, J. H., ed. Title Eurocal '87 European Conference on Computer Algebra Leipzig, GDR, June 2–5, 1987 Proceedings.378 ed. Heidelberg: Springer, pp. 95-96. (Lecture Notes on Computer Science)

Fitch, J. P., Herbert, P. and Norman, A. C., 1976. The Design Features of COBALG. In: Proceedings of SYMSAM 1976. New York: ACM, pp. 185-188.

Fitch, J. P. and Marti, J. B., 1982. NLARGEing a Z80 Microprocessor. In: Computer Algebra EUROCAM '82, European Computer Algebra Conference Marseille, France 5–7 April 1982.144 ed. Heidelberg: Springer, pp. 249-255. (Lecture Notes in Computer Science)

Fitch, J. P. and Marti, J. B., 1983. The Bath Concurrent LISP Machine. In: Title Computer Algebra EUROCAL'83, European Computer Algebra Conference London, England, March 28–30, 1983 Proceedings.162 ed. Heidelberg: Springer, pp. 78-90. (Lecture Notes in Computer Science)

Fitch, J. P. and Norman, A. C., 1977. A high level implementation of LISP. Software —- Practice and Experience, 7, pp. 713-725.

Fitch, J. P. and Norman, A. C., 1977. A note on compacting garbage collection. The Computer Journal, 21 (1), pp. 31-34.

Fitch, J. P., Norman, A. C. and Moore, P. M. A., 1986. ALKAHEST III: Automatic Analysis of Periodic Weakly Nonlinear ODEs. In: Proceedings of SYMSAC 86, Waterloo, Canada. New York: ACM, pp. 34-38.

Fitch, J. P., Norman, A. C. and Moore, P. M. A., 1981. The Automatic Derivation of Periodic Solutions to a Class of Weakly Nonlinear Differential Equations. In: Wang, P. A., ed. SYMSAC '81: Proceedings of the 1981 ACM Symposium on Symboliic and Algebraic Computation. New York: ACM, pp. 239-244.

Fitch, J. P. and Padget, J. A., 1984. A Pure And Really Simple Initial Functional Algebraic Language. In: Fitch, J. P., ed. EUROSAM 84 International Symposium on Symbolic and Algebraic Computation Cambridge, England, July 9–11, 1984.174 ed. Heidelberg: Springer, pp. 148-158. (Lecture Notes in Computer Science)

Fitch, J. P. and Padget, J. A., 2004. Ride a Cock-horse.... In: Delgado, J., Nesi, P. and Ng, K., eds. WEDELMUSIC 2004. Proceedings of the Fourth International Conference on Web Delivering of Music, 2004. IEEE, pp. 136-143.

Fitch, J. P. and Padget, J. A., 1985. The Extent of Scope. In: Proceedings of 5th Hungarian Computer Science Conference, Gy\H{o}r, Hungary. Budapest:: Hungariam Academy of Sciences, pp. 173-184.

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)

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.

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.

Gabrielov, A. and Vorobjov, N., 2005. Betti numbers of semialgebraic sets defined by quantifier-free formulae. Discrete & Computational Geometry, 33 (3), pp. 395-401.

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.

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.

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.

Galmiche, D., Mery, D. and Pym, D., 2002. Resource tableaux - (extended abstract). In: Computer Science Logic, Proceedings. Vol. 2471. , pp. 183-199. (Lecture Notes in Computer Science)

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.

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

Garzonis, S., Bevan, C. and O'Neill, E., 2008. Mobile service audio notifications: intuitive semantics and noises. In: OZCHI '08 Proceedings of the 20th Australasian Conference on Computer-Human Interaction: Designing for Habitus and Habitat. New York, USA: ACM, pp. 156-163.

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. CHI '09 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems. Association for Computing Machinery (ACM), pp. 1513-1522.

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 - Engage. London: Springer, pp. 221-236. (Proceedings of HCI 2006)

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.

Gaudl, S. and Bryson, J. J., 2014. Forthcoming. The Extended Ramp Goal Module : Low-Cost Behaviour Arbitration for Real-Time Controllers based on Biological Models of Dopamine Cells. In: Computational Intelligence in Games 2014, 2014-08-26 - 2014-08-29, Dortmund.

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 Conference 2013 (FDG 2013). Foundations of Digital Games, pp. 198-205.

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. In: Agents for Educational Games and Simulations International Workshop, AEGS 2011, Taipei, Taiwan, May 2, 2011. Revised Papers. Vol. 7471 LNAI. Berlin: Springer, pp. 38-62. (Lecture Notes in Computer Science)

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.

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.

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.

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.

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.

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

Girard, S., 2011. Case studies illustrations of experimental settings issues in classrooms. In: Proceedings 1st Workshop on Usability and Educational Technology, supplementary proceedings of the IHM 2011 conference, Sophie-Antipolis, France, October 24-27 2011. New York: ACM.

Girard, S., 2007. Towards promoting meta-cognition using emotive interface personas within Open-Learner Modelling Environments. In: Luckin, R., Koedinger, K. R. and Greer, J., eds. Artificial Intelligence in Education - Building Technology Rich Learning Contexts That Work. Vol. 158. I O S Press, pp. 687-688. (Frontiers in Artificial Intelligence and Applications)

Girard, S., 2011. Traffic Lights and Smiley Faces : Do children learn mathematics better with affective Open-Learner Modelling tutors? Thesis (Doctor of Philosophy (PhD)). University of Bath.

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

Girard, S. and Johnson, H., 2010. Designing affective computing learning companions with teachers as design partners. In: Proceedings of the 3rd International Workshop on Affective Interaction in Natural Environments - AFFINE '10. New York: ACM, pp. 49-54.

Girard, S. and Johnson, H., 2008. Designing and evaluating affective open-learner modeling tutors. In: Proceedings of the 7th International Conference on Interaction Design and Children - IDC '08. New York: ACM, pp. 13-16.

Girard, S. and Johnson, H., 2009. Developing affective educational software products: Sorémo, a new method for capturing emotional states. Journal of Engineering Design, 20 (5), pp. 493-510.

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)

Girard, S. and Johnson, H., 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., 2009. Educational software for children. In: Proceedings of the 21st International Conference on Association Francophone d'Interaction Homme-Machine - IHM '09. New York: ACM, pp. 259-262.

Girard, S. and Johnson, H., 2008. Including affect in Open-Learner Modelling environments: the impacts of emotive interface personas on learning. In: Peter, C., Beale, R., Crane, E., Axelrod, L. and Blyth, G., eds. Emotion in HCI: Joint Proceedings of the 2005, 2006, and 2007 International Workshops. Stuttgart: Fraunhofer IRB Verlag, pp. 180-182.

Girard, S. and Johnson, H., 2007. Opening the Learner-Model to teachers. In: Actes de la conférence EIAH 2007, Lusanne, 19-27 Juin 2007. , pp. 329-334.

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)

Girard, S. and Johnson, H., 2008. Towards guidelines for designing open-learner modeling tutoring systems: mixing colors and emotions. In: roceedings of the WEITS workshop, ITS conference, Chicago, IL. , pp. 44-54.

Girard, S. and Johnson, H., 2008. Vers les règles ergonomiques pour les logiciels éducatifs avec une modélisation ouverte à l’apprenant: mélanger couleurs et émotions. In: Actes de la conférence ERGOIA, Biarritz, 15-17 Octobre 2008. , pp. 177-182.

Girard, S. and Johnson, H., 2010. What do children favor as embodied pedagogical agents? In: Aleven, V., Kay, J. and Mostow, J., eds. Intelligent Tutoring Systems, Pt 1, Proceedings. Vol. 6094. Springer, pp. 307-316. (Lecture Notes in Computer Science)

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: Genetic and Evolutionary Computation Conference, GECCO'11 - Companion Publication. New York: Association for Computing Machinery (ACM), pp. 535-542.

Gong, H. and Cosker, D. P., 2014. Forthcoming. Interactive Shadow Removal and Ground Truth for Variable Scene Categories. In: British Machine Vision Conference (BMVC). IEEE.

Gong, H. and Cosker, D., 2014. Interactive Shadow Editing from Single Images. In: Workshop on User-Centred Computer Vision, ACCV. IEEE.

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.

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)

Gooch, D. and Watts, L., 2012. SleepyWhispers : Sharing goodnights within distant relationships. In: Adjunct Proceedings of the 25th Annual ACM Symposium on User Interface Software and Technology, UIST'12. ACM, pp. 61-62.

Gooch, D., 2011. Socialising presence. In: CHI EA 2011 - 29th Annual CHI Conference on Human Factors in Computing Systems, Conference Proceedings and Extended Abstracts. New York: Association for Computing Machinery (ACM), pp. 1049-1052. (Conference on Human Factors in Computing Systems - Proceedings)

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., 2013. Forthcoming. Social Presence and the void in distant relationships : how do people use communication technologies to turn absence into fondness of the heart, rather than drifting out of mind? AI and Society

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

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.

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.

Gooch, D. and Watts, L. A., 2012. YourGloves, hothands and hotmits: devices to hold hands at a distance. In: UIST '12 Proceedings of the 25th annual ACM symposium on User interface software and technology. Proceedings. New York: Association for Computing Machinery (ACM), pp. 157-166.

Goodison, P., Johnson, P. and Thoms, J., 2009. Establishing causality in complex human interactions: Identifying breakdowns of intentionality. In: Complex Sciences - First International Conference, Complex 2009, Revised Papers. Heidelberg: Springer, pp. 1631-1641. (Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering)

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.

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.

Gouaich, A., 2004. Requirements for achieving software agents autonomy and defining their responsibility. In: Nickles, M., Rovatsos, M. and Weiss, G., eds. Agents and Computational Autonomy: Potential, Risks, and Solutions. Vol. 2969. , pp. 128-139. (Lecture Notes in Computer Science)

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.

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.

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

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.

Gradwell, P. and Padget, J., 2005. Markets vs. Auctions: Approaches to Distributed Combinatorial Resource Scheduling. Multiagent and Grid Systems, 1, 251--262.

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, Chania, Crete, Greece, June 14-18, 2012. Proceedings. Springer, pp. 262-267. (Lecture Notes in Computer Science; 7315)

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.

Gray, P. and Johnson, H., 2003. People and Computers XVIII: Conference Companion. Cambridge: Cambridge University Press.

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.

Grigoriev, D. and Vorobjov, N., 2002. Complexity of null- and Positivstellensatz proofs. Annals of Pure and Applied Logic, 113 (1-3), pp. 153-160.

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.

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

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

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

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.

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.

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.

Guglielmi, A., 2015. Forthcoming. Deep Inference. In: All About Proofs, Proofs for All. College Publications. (Mathematical Logic and Foundations)

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

Guglielmi, A., Gundersen, T. and Parigot, M., 2010. A proof calculus which reduces syntactic bureaucracy. In: Proceedings of the 21st International Conference on Rewriting Techniques and Applications. Vol. 6. 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: 2010 25th Annual IEEE Symposium on Logic in Computer Science, LICS. IEEE, pp. 284-293. (Proceedings - Symposium on Logic in Computer Science)

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.

Guglielmi, A. and Straßburger, L., 2004. A Non-commutative Extension of Multiplicative Exponential Linear Logic. Discussion Paper.

Gundersen, T., Heijltjes, W. and Parigot, M., 2013. A proof of strong normalisation of the typed atomic lambda-calculus. In: Logic for Programming, Artificial Intelligence, and Reasoning (LPAR). 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: Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science. IEEE, pp. 311-320.

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

Gunkel, D.J. and Bryson, J., 2014. Introduction to the special issue on machine morality : The machine as moral agent and patient. Philosophy & Technology, 27 (1), pp. 5-8.

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.

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., 2001. On the addition and comparison of graphs labeled with stochastic variables: Learnable anatomical catalogs. Journal of Combinatorial Optimization, 5 (1), pp. 43-58.

Hall, P. and Barsky, B., 2005. Special issue: Vision, video and graphics 2003 - Introduction. Graphical Models, 67 (6), p. 475.

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.

Hall, P. and Owen, M., 2004. Learning to detect low-level features. In: British Machine Vision Conference (BMVC), 2007-01-01.

Hall, P. and Owen, M. J., 2005. Simple Canonical Views. In: British Machine Vision Conference (BMVC), 2007-01-01.

Hall, P. M., 1999. Nonphotorealistic Rendering by Q-mapping. Computer Graphics Forum, 18 (1), pp. 27-39.

Hall, P. M., 2001. On the addition and comparison of graphs labelled with stochastic variables: learnable anatomical catalogues. Journal of Combinatorial Optimization, 5 (1), pp. 43-58.

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.

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., 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)

Hall, P. M. and Lehmann, A.-S., 2014. Don't measure - appreciate : NPR seen through the prism of art history. In: Collomosse, J. and Rosin, P., eds. Image and Video-Based Artistic Stylisation. Vol. 42. UK: Springer, pp. 333-351.

Hall, P. M., Ngan, M. and Andreae, P., 1997. Reconstruction of vascular networks using three-dimensional models. IEEE Transactions on Medical Imaging, 16 (6), pp. 919-929.

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.

Hall, P.M., 2014. Introduction to Machine Learning for Computer Graphics. In: ACM SIGGRAPH 2014 Courses, SIGGRAPH 2014. ACM.

Hall, P. and Song, Y.-z., 2013. Simple Art as abstractions of photographs. In: CAE'13 Proceedings of the Symposium on Computational Aesthetics. New York: ACM, pp. 77-85.

Harney, M. and Tredinnick, J., 2009. An interactive tool for the exploration of contextual architecture: Case study: 18th century Prior Park, Bath. In: 27th eCAADe Conference, 2009-09-16 - 2009-09-19, Istanbul.

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.

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. In: 18th International Conference on High Performance Computing (HiPC), 2011. 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. In: Proceedings - 2011 IEEE International Conference on Services Computing, SCC 2011. Piscataway, NJ: IEEE, pp. 200-208.

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

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

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

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

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., 2000. On weak higher dimensional categories I: Part 1. Journal of Pure and Applied Algebra, 154 (1-3), pp. 221-246.

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.

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.

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.

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.

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.

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.

Holt, A. J. and Davenport, J. H., 2003. Resolving large prime(s) variants for discrete logarithm computation. In: Cryptography and Coding, Proceedings. Vol. 2898. , pp. 207-222. (Lecture Notes in Computer Science)

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. Logic Programming and Nonmonotonic Reasoning. Vol. 5753. Berlin, Germany: Springer, pp. 437-443. (Lecture Notes in Computer Science)

Hopton, L., Cliffe, O., De Vos, M. and Padget, J., 2010. InstQL: A Query Language for Virtual Institutions Using Answer Set Programming. In: Dix, J., Fisher, M. and Novak, P., eds. Computational Logic in Multi-Agent Systems. Vol. 6214. Berlin: Springer, pp. 102-121. (Lecture Notes in Artificial Intelligence)

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

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.

Hourizi, R. and Johnson, P., 2003. Towards an explanatory, predictive account of awareness. Computers & Graphics, 27 (6), pp. 859-872.

Howell, L., Child, P. and Hall, P., 2013. Improved image segmentation using motion. In: ACM International Conference Proceeding Series. .

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.

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). IEEE, pp. 1144-1150.

Huang, B., El-Khoury, S., Li, M., Bryson, J. J. and Billard, A., 2013. Learning a real time grasping strategy. In: IEEE International Conference on Robotics and Automation (ICRA) 2013. , pp. 593-600.

Huang, Z., England, M., Wilson, D., Davenport, J.H. and Paulson, L., 2014. Forthcoming. A comparison of three heuristics to choose the variable ordering for CAD. In: Proc. ISSAC 2014 (Poster Abstract). .

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. In: Watt, S. M., Davenport, J. H., Sexton, A. P., Sojka, P. and Urban, J., eds. Intelligent Computer Mathematics. Vol. 8543. Springer, pp. 92-107. (Lecture Notes in Artificial Intelligence)

Hunter, A. and Willis, P., 1990. A note on the optimal labelling of quadtree nodes. The Computer Journal, 33 (5), pp. 398-401.

Hunter, A. and Willis, P., 1991. A picture archive browser. Computer Graphics Forum, 10 (1), pp. 49-59.

Hunter, A. and Willis, P., 1989. Breadth-first quad encoding for network picture browsing. Computers & Graphics, 13 (4), pp. 419-432.

Hunter, A. and Willis, P., 1991. Classification of quad-encoding techniques. Computer Graphics Forum, 10 (2), pp. 97-112.

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.

Hutchinson, D. J. C. H. and Fitch, J. P., 1990. Implementing Timewarp in Linda and LISP. In: Proceedings of the EUROPAL Workshop on High Performance and Parallel Computing in Lisp, 1990-11-01, Twickenham.

Hyland, M., Levy, P., Plotkin, G. D. and Power, J., 2004. Combining continuations with other effects. In: Proceedings of the Fourth ACM SIGPLAN Continuations Workshop CW'04, Birmingham Technical Report CSR-04-1. .

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. D. and Power, J., 2002. Combining Computational Effects: commutativity & sum. In: Baeza-Yates, R. A., Montanari, U. and Santoro, N., eds. Proceedings of IFIP TCS'2002. Kluwer, pp. 474-484.

Hyland, M. and Power, J., 2001. Pseudo-commutative Monads. Electronic Notes in Theoretical Computer Science, 45, pp. 197-208.

Hyland, M. and Power, J., 2004. Symmetric Monoidal Sketches and Categories of Wirings. Electronic Notes in Theoretical Computer Science, 100, pp. 31-46.

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

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.

Hyland, M. and Power, J., 2000. Symmetric monoidal sketches. In: Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '00. New York: ACM, pp. 280-288.

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.

Hyland, M. and Power, J., 2001. Two-dimensional linear algebra. Electronic Notes in Theoretical Computer Science, 44 (1), pp. 227-240.

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. Financial cryptography and data security:13th International Conference, FC 2009, Accra Beach, Barbados, February 23-26, 2009. Revised selected papers. Berlin, Heidelberg: Springer, pp. 148-166. (Lecture Notes in Computer Science; 5628)

Iravani, P., Hall, P., Beale, D., Charron, C. and Hicks, Y., 2011. Visual object classification by robots using on-line self-supervised learning. In: 2011 IEEE International Conference on Computer Vision Workshops (ICCV Workshops). IEEE, pp. 1092-1099.

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.

Ivana, C. and Bryson, J. J., 2007. Agent Based Modelling of Communication Costs: Why Information can be Free. In: Lyon, C., Nehaniv, C. L. and Cangelosi, A., eds. Emergence and Evolution of Linguistic Communication. Springer, pp. 305-322.

Javier, V.-S., Ulises, C., Antonio, L.-N., Francisco, C. and Julian, P., 2002. The organ allocation process: a natural extension of the Carrel agent mediated electronic institution.

Jiang, R.M. and Crookes, D., 2012. Visual saliency estimation through manifold learning. In: Proceedings of the National Conference on Artificial Intelligence. Vol. 3. , pp. 2003-2009.

Jin, X. L. and Liu, J. M., 2004. From individual based modeling to autonomy oriented computation. In: Nickles, M., Rovatsos, M. and Weiss, G., eds. Agents and Computational Autonomy: Potential, Risks, and Solutions. Vol. 2969. , pp. 151-169. (Lecture Notes in Computer Science)

John, N. W. and Willis, P., 1989. The controller animation system. Computer Graphics Forum, 8 (2), pp. 133-138.

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

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.

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, H. and J K Hyde, [N. V.], 2004. Modeling individual and collaborative construction of jigsaws. Interactions, XI (5), pp. 11-12.

Johnson, H., Johnson, P. and Coughlan, T., 2007. Supporting and enhancing group creativity in 21st century/design. In: Inns, T., ed. Designing for the 21st Century. Gower Ashgate.

Johnson, H., Johnson, P. and Coughlan, T., 2007. Understanding and supporting group creativity in design. In: Inns, T., ed. Designing for the 21st Century: interdisciplinary questions and insights. Gower, viii, 338 p.

Johnson, H., Johnson, P., Wild, P., May, J. and Gamble, T. R., 2001. Modelling multiple and collaborative tasks. In: Vanderdonckt, J., Blanford, A. and Derycke, A., eds. Proceedings of IHM-HCI 2001. Vol. 2. Toulouse: Cepadues-Editions, p. 217.

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

Johnson, P., May, J. and Johnson, H., 2003. Introduction to Multiple and Collaborative Tasks. Transactions on Computer Human Interaction, 10 (4), pp. 1-4.

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.

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.

Johnson, P., Hourizi, R., Carrigan, N. and Forbes, N., 2010. A framework to manage the complex organisation of collaborating : Its application to autonomous systems. Electronic Proceedings in Theoretical Computer Science, 16, pp. 51-63.

Johnson, P., O'Neill, E. and Johnson, H., 1999. Introduction to this special issue on Representations in Interactive Systems Development. Human-Computer Interaction, 14 (1-2), pp. 1-7.

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.

Jones, J., Davenport, J. and Bradford, R., 2013. The changing relevance of the TLB. In: 2013 12th International Symposium on Distributed Computing and Applications to Business, Engineering & Science (DCABES). Piscataway, NJ: IEEE, pp. 110-114.

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)

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

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.

Jones, S. and O'Neill, E., 2009. Context-aware messaging: how personal, spatial and temporal constraints affect text-based communication. In: Proceedings of the 8th International Conference on Mobile and Ubiquitous Multimedia , 2009. New York, USA: ACM.

Jones, S. and O'Neill, E., 2011. Contextual dynamics of group-based sharing decisions. In: CHI '11 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems. New York: Association for Computing Machinery (ACM), pp. 1777-1786. (Conference on Human Factors in Computing Systems - Proceedings)

Jones, S. and O'Neill, E., 2010. Feasibility of structural network clustering for group-based privacy control in social networks. In: SOUPS '10 Proceedings of the Sixth Symposium on Usable Privacy and Security. New York: Association for Computing Machinery (ACM), Article9. (ACM International Conference Proceeding Series)

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. In: IDC '14 proceedigs of the 2014 conference on interaction design and children. New York: Association for Computing Machinery (ACM), pp. 289-292.

Joyce, S., Osguthorpe, D., Padget, J. and Price, G., 1995. Neural network prediction of glass-transition temperatures from monomer structure. Journal of Chemical Society, Faraday Transactions, 91, pp. 2491-2496.

Kaenampornpan, M. and O'Neill, E., 2004. Modelling context: an activity theory approach. In: Ambient Intelligence, Proceedings. Vol. 3295. , pp. 367-374. (Lecture Notes in Computer Science)

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

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

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.

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.

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.

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)

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.

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., 2013. Fairness in the division and completion of collaborative work. Thesis (Doctor of Philosophy (PhD)). University of Bath.

Kelly, R., 2014. University of Bath Data Management Plan Template - LaTeX version.

Kelly, R., 2013. Fairness in the division and completion of collaborative work. In: Proceedings of the ACM Conference on Computer Supported Cooperative Work, CSCW. New York: ACM, pp. 65-68.

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

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.

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

Keogh, E., Moore, D. J., Duggan, G. B., Payne, S. J. and Eccleston, C., 2013. The disruptive effects of pain on complex cognitive performance and executive control. PLoS ONE, 8 (12), e83272.

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. In: Parker, M. G., ed. Cryptography and Coding: 12th IMA International Conference, Cryptography and Coding 2009, Cirencester, UK, December 15-17, 2009. Proceedings. Berlin: Springer, pp. 301-325. (Lecture Notes in Computer Science; 5921)

Kick, M. and Power, J., 2004. Modularity of Behaviours for Mathematical Operational Semantics. Electronic Notes in Theoretical Computer Science, 106, pp. 185-200.

Kick, M. and Power, J., 2004. Modularity of behaviours for mathematical operational semantics. In: Proceedings of the Workshop on Coalgebraic Methods in Computer Science. Vol. 106. Amsterdam: Elsevier, p. 185. (Electron. Notes Theor. Comput. Sci.)

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

Kindberg, T., Bevan, C., O'Neill, E., Mitchell, J., Grimmett, J. and Woodgate, D., 2009. Authenticating ubiquitous services: a study of wireless hotspot access. In: Ubicomp '09 Proceedings of the 11th International Conference on Ubiquitous Computing. 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. In: Wireless and Mobile Computing, Networking and Communications, 2009. IEEE International Conference on Wireless and Mobile Computing, Networking and Communications (WIMOB) 2009. IEEE Computer Society, pp. 394-399.

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

Kinoshita, Y. and Power, J., 2000. A General Completeness Result in Refinement. In: Recent Trends in Algebraic Development Techniques. Vol. 1827. Heidelberg: Springer, pp. 201-218. (Lecture Notes in Computer Science)

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

Kirste, T. and Duke, D., 2003. Introduction : situation- and task-awareness computing. Computers & Graphics, 27 (6), pp. 835-836.

Klusch, M., 2004. Toward quantum computational agents. In: Nickles, M., Rovatsos, M. and Weiss, G., eds. Agents and Computational Autonomy. Berlin, Germany: Springer, pp. 170-186. (Lecture Notes in Computer Science; 2969)

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.

Komendantskaya, E. and Power, J., 2011. Coalgebraic Derivations in Logic Programming. In: Bezem, M., ed. Computer Science Logic (CSL'11) - 25th International Workshop/20th Annual Conference of the EACSL. 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. In: Johnson, M. and Pavlovic, D., eds. Algebraic Methodology and Software Technology. Vol. 6486. Springer, pp. 111-127. (Lecture Notes in Computer Science)

Komendantskaya, E. and Power, J., 2011. Coalgebraic semantics for derivations in logic programming. In: Corradini, A., Kin, B. and Cirstea, C., eds. Algebra and Coalgebra in Computer Science: 4th International Conference, CALCO 2011, Winchetser, UK, August 30 - September 2, 2011. Proceedings. Heidelberg: Springer, pp. 268-282. (Lecture Notes in Computer Science; 6859)

Komendantskaya, E. and Power, J., 2008. Fibrational Semantics for Many-Valued Logic Programs: Grounds for Non-Groundness. In: Logics in Artificial Intelligence 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings. Vol. 5293. Heidelberg: Springer, pp. 258-271.

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

Koniaris, C., Cosker, D., Yang, X., Mitchell, K. and Matthews, I., 2013. Real-time content-aware texturing for deformable surfaces. In: ACM International Conference Proceeding Series. .

Korovina, M. and Vorobjov, N., 2004. Pfaffian hybrid systems. In: Computer Science Logic, Proceedings. Vol. 3210. , pp. 430-441. (Lecture Notes in Computer Science)

Korovina, M. and Vorobjov, N., 2006. Upper and lower bounds on sizes of finite bisimulations of Pfaffian hybrid systems. In: Logical Approaches to Computational Barriers, Proceedings. Vol. 3988. , pp. 267-276. (Lecture Notes in Computer Science)

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.

Korovina, M. and Vorobjov, N., 2012. Reachability in one-dimensional controlled polynomial dynamical systems. In: Clarke, E., Virbitskaite, I. and Voronkov, A., eds. Perspectives of systems informatics: 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers. Berlin: Springer, pp. 251-261. (Lecture Notes in Computer Science; 7162)

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., 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., O'Neill, E. and Penn, A., 2006. Designing urban pervasive systems. Computer, 39 (9), pp. 52-59.

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. London: Springer, pp. 197-206.

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. and O'Neill, E., 2008. Cityware: urban computing to bridge online and real-world social networks. In: Foth, M., ed. Handbook of research on urban informatics: the practice and promise of the real-time city. Hershey,Philadelphia, USA: Information Science Reference.

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., 2008. Human-in-the-loop: rethinking security in mobile and pervasive systems. In: Proceedings of ACM CHI 2008 Conference on Human Factors in Computing Systems. New York, USA: ACM, pp. 3075-3080.

Kostakos, V. and O'Neill, E., 2006. Interacting with mobile and pervasive systems. In: Ibrahim, I. K., ed. Handbook of research on mobile multimedia. Hershey: Idea Group, pp. 71-85.

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.

Kostakos, V. and O'Neill, E., 2007. NFC on mobile phones: issues, lessons and future research. In: Proceedings of the Fifth Annual IEEE International Conference on Pervasive Computing and Communications Workshops, 2007 ( PerCom W'07). IEEE Computer Society, pp. 367-370.

Kostakos, V. and O'Neill, E., 2004. Pervasive computing in emergency situations. In: Proceedings of the 37th Annual Hawaii International Conference on System Sciences. IEEE Computer Society Press, pp. 1-10.

Kostakos, V. and O'Neill, E., 2007. Quantifying the effects of space on encounter. In: Kubat, A. S., ed. Proceedings of Space Syntax Symposium 2007. Vol. 2 volumes. Istanbul Technical University of Architecture, Istanbul, Turkey, pp. 9701-9709.

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.

Kostakos, V., O'Neill, E. and Shahi, A., 2006. Building common ground for face to face interactions by sharing mobile device context. In: Hazas, M., Krumm, J. and Strang, T., eds. Location- and Context-Awareness, Proceedings. Vol. 3987. Springer, pp. 222-238. (Lecture Notes in Computer Science)

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

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.

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: UbiComp'11 - Proceedings of the 2011 ACM Conference on Ubiquitous Computing. New York: Association for Computing Machinery (ACM), pp. 177-186.

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.

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.

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.

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., 2006. A calculus of coroutines. Theoretical Computer Science, 350 (2-3), pp. 275-291.

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

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.

Laird, J. D., 2013. Game semantics for a polymorphic programming language. Journal of the ACM, 60 (4), 29.

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

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

Laird, J., 2010. Game semantics for a polymorphic programming language. In: 25th Annual IEEE Symposium on Logic in Computer Science, LICS 2010. 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.

Laird, J., 2009. Nondeterminism and observable sequentiality. In: Gradel, E. and Kahle, R., eds. Computer Science Logic: 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings. Berlin: Springer, pp. 379-393. (Lecture Notes in Computer Science; 5771)

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

Laird, J., Manzonetto, G. and McCusker, G., 2011. Constructing differential categories and deconstructing categories of games. In: Aceto, L., Henzinger, M. and Sgall, J., eds. Automata, Languages and Programming - 38th International Colloquium, ICALP 2011, Proceedings. Vol. 6756. Heidelberg: Springer, pp. 186-197. (Lecture Notes in Computer Science)

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. In: Engineering Societies in the Agents World X. Vol. 5881. Heidelberg: Springer, pp. 236-239.

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)

Lam, V. S. W. and Padget, J., 2005. Consistency checking of sequence diagrams and statechart diagrams using the pi-calculus. In: Integrated Formal Methods, Proceedings. Vol. 3771. , pp. 347-365. (Lecture Notes in Computer Science)

Lam, V. S. W. and Padget, J., 2005. Consistency checking of statechart diagrams of a class hierarchy. In: Ecoop 2005 - Object-Oriented Programming, Proceedings. Vol. 3586. , pp. 412-427. (Lecture Notes in Computer Science)

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.

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.

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

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.

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)

Lazzarini, V., Costello, E., Yi, S. and ffitch, J. P., 2014. Csound on the Web. In: Linux Audio Conference. .

Leach, J. L. and Fitch, J. P., 1995. The Application of Differential Equations to the Modelling of Musical Change. In: ICMC'95: Digital Playgrounds, Banff, Canada. ICMA and Banff Centre for the Arts, pp. 440-443.

Lee, J., Baines, V. and Padget, J., 2013. Decoupling cognitive agents and virtual environments. In: Cognitive Agents for Virtual Environments. 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. In: Gini, M. L., Shehory, O., Ito, T. and Jonker, C. M., eds. International conference on Autonomous Agents and Multi-Agent Systems, AAMAS '13, Saint Paul, MN, USA, May 6-10, 2013. IFAAMAS, pp. 1205-1206.

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.

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

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.

Lenisa, M., Power, J. and Watanabe, H., 2000. Distributivity for endofunctors, pointed and co-pointed endofunctors, monads and comonads. Electronic Notes in Theoretical Computer Science, 33, pp. 230-260.

Lenisa, M., Power, J. and Watanabe, H., 2004. Category theory for operational semantics. Theoretical Computer Science, 327 (1-2), pp. 135-154.

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.

Lewin, C., Thorman, M., Waterson, T., Williams, C. and Willis, P., 2013. Rod constraints for simplified ragdolls. In: SCA '13 Proceedings of the 12th ACM SIGGRAPH/Eurographics Symposium on Computer Animation. New York: ACM, pp. 79-84.

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.

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

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

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.L., McMahon, C. and Newnes, L., 2013. Supporting multiple engineering viewpoints in computer-aided design using ontology-based annotations. In: Proceedings of the International Conference on Engineering Design, ICED. Vol. 6 DS75-06. , pp. 249-258.

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., Hall, P. and Willis, P., 2008. Environment matting into photographs using coloured RTcams. In: IET Conference Publications. .

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, C., Shaw, M., Pickup, D., Cosker, D., Willis, P. and Hall, P., 2011. Realtime video based water surface approximation. In: 8th European Conference on Visual Media Production, CVMP 2011. Piscataway, NJ: IEEE, pp. 109-117.

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)

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. New Frontiers in Artificial Intelligence. 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: ICAIL '13 Proceedings of the Fourteenth International Conference on Artificial Intelligence and Law. 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. In: Frontiers in Artificial Intelligence and Applications. Amsterdam, The Netherlands: IOS Press, pp. 107-116. (Legal Knowledge and Information Systems; 259)

Li, T., Jiang, J., Aldewereld, H., De Vos, M., Dignum, V. and Padget, J., 2014. Contextualized Institutions in Virtual Organizations. In: Balke, T., Dignum, F., van Riemsdijk, M. B. and Chopra, A. K., eds. Coordination, Organizations, Institutions, and Norms in Agent Systems IX. Springer, pp. 136-154. (Lecture Notes in Computer Science)

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. Computer Vision – ACCV 2012. 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.

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

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.

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)

Lovett, T. R., Thomas, E. G., Natarajan, S., Brown, M. and Padget, J. A., 2014. Designing sensor sets for capturing energy events in buildings. Working Paper.

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

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: e-Energy '13: Proceedings of the Fourth International Conference on Future Energy Systems. New York: ACM, pp. 279-280.

Lovett, T. and O'Neill, E., 2012. Capturing transitions between users' semantically meaningful places using mobile devices. In: MCSS '12 Proceedings of the 1st ACM workshop on Mobile systems for computational social science. 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: LocalPeMA'12: Proceedings of the 2012 RecSys Workshop on Personalizing the Local Mobile Experience. New York: ACM, pp. 13-18.

Lovett, T. and O'Neill, E., 2011. Context transitions: user identification and comparison of mobile device motion data. In: Activity Context Representation: Techniques and Languages - Papers from the 2011 AAAI Workshop, Technical Report. Vol. WS-11-04. El Segundo, CA.: AI Access Foundation, pp. 42-47. (AAAI Workshop - Technical Report)

Lovett, T., O'Neill, E., Irwin, J. and Pollington, D., 2010. The calendar as a sensor: analysis and improvement using data fusion with social networks and location. In: Ubicomp '10 Proceedings of the 12th ACM international conference on Ubiquitous computing. New York: ACM.

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.

Lovett, T. and O'Neill, E., 2010. Mobile context-awareness: capabilities, challenges and applications. In: Proceedings of the 12th ACM International Conference Adjunct papers on Ubiquitous computing - Ubicomp '10. New York, USA: ACM, pp. 539-540.

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.

Lu, J., Willis, C. P. and Paddon, D., 2000. Surface Animation for Flower Growth. In: Mathematical Methods for Curves and Surfaces: Oslo 2000, 2000-06-29, Nashville, TN.

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

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.

Lyttleton, R. A. and Fitch, J. P., 1977. Cosmological change of G and the structure of the earth. Monthly Notices of the Royal Astronomical Society, 180, pp. 471-477.

Lyttleton, R. A. and Fitch, J. P., 1978. On the accelerations of the moon and sun, the constant of gravitation, and the origin of mountains. Earth, Moon and Planets, 18 (2), pp. 223-240.

Lyttleton, R. A. and Fitch, J. P., 1980. On the apparent secular accelerations of the moon and sun. Earth Moon and Planets, 22 (1), pp. 99-102.

Lyttleton, R. A. and Fitch, J. P., 1978. The effect of a changing G on the moment of inertia of the earth. Astrophysical Journal, 221, pp. 412-413.

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. Computer Vision – ECCV 2012. Berlin, Germany: Springer, pp. 71-84. (Lecture Notes in Computer Science; 7574)

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

Maheswaran, R. T., Tambe, M., Varakantham, P. and Myers, K., 2004. Adjustable autonomy challenges in personal assistant agents : a position paper. In: Nickles, M., Rovatsos, M. and Weiss, G., eds. Agents and Computational Autonomy. Berlin, Germany: Springer, pp. 187-194. (Lecture Notes in Computer Science; 2969)

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)

Mankin, B., 2005. The formalisation of authorisation systems. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2005-13)

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. A., Power, A. J. and Wingfield, C., 2014. Forthcoming. A graphical foundation for schedules (extended version). Journal of Pure and Applied Algebra

McCusker, G., 2002. A fully abstract relational model of syntactic control of interference. In: Bradfield, J., ed. Computer Science Logic: Proceedings of 16th International Workshop, CSL 2002 11th Annual Conference of the EACSL. Vol. 2471. Berlin, Germany: Springer, pp. 445-490.

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., 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 the Mathematical Foundations of Programming Semantics, MFPS XIX. Vol. 83. Elsevier. (Electronic Notes in Theoretical Computer Science)

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.

McCusker, G. and Ghica, D., 2003. The regular-language semantics of second-order Idealized Algol. Theoretical Computer Science, 309 (1-3), pp. 469-502.

McCusker, G. and Power, J., 2008. Logic Programs as Coalgebras. In: Proc. CMCS Short Contributions 2008. .

McCusker, G., Power, J. and Wingfield, C., 2014. Forthcoming. A graphical foundation for interleaving in game semantics. Journal of Pure and Applied Algebra

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

McCusker, G. and Pym, D., 2007. A games model of bunched implications. In: Duparc, J. and Henzinger, T. A., eds. Computer Science Logic: Proceedings of 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL. Vol. 4646. Berlin, Germany: Springer, pp. 573-588. (Lecture Notes in Computer Science)

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.

Merrall, S. and Padget, J., 1993. Plurals: A SIMD extension to EuLisp. Lisp and Symbolic Computation, 6 (1/2), pp. 201-219.

Mevlevioglu, G., Natarajan, S. and Padget, J. A., 2014. Using semantic annotation in building databases to improve information and energy modelling: a use-case of UK domestic time-series data. Working Paper.

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

Middup, C. P., Coughlan, T. and Johnson, P., 2010. How creative groups structure tasks through negotiating resources. In: Lewkowicz, M., Hassanaly, P., Rohde, M. and Wulf, V., eds. Proceedings of COOP 2010: Proceedings of the 9th International Conference on Designing Cooperative Systems, May, 18-21, 2010, Aix-en-Provence. New York: Springer, pp. 203-221.

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.

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: Consumer Communications and Networking Conference (CCNC), 2010 7th IEEE. IEEE Computer Society, pp. 1-5.

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. In: 2012 4th International Conference on Communication Systems and Networks, COMSNETS 2012. 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.

Munroe, S. and Luck, M., 2004. Agent autonomy through the M-3 motivational taxonomy. In: Nickles, M., Rovatsos, M. and Weiss, G., eds. Agents and Computational Autonomy: Potential, Risks, and Solutions. Vol. 2969. , pp. 55-67. (Lecture Notes in Computer Science)

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'13. New York: ACM, pp. 107-118.

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.

Naylor, W. and Padget, J., 2006. From untyped to polymorphically typed objects in mathematical web services. In: Mathematical Knowledge Management, Proceedings. Vol. 4108. , pp. 222-236. (Lecture Notes in Artificial Intelligence)

Naylor, W. and Padget, J., 2006. Semantic matching for mathematical services. In: Mathematical Knowledge Management. Vol. 3863/2006. Springer, pp. 174-189. (Lecture Notes in Computer Science)

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. In: Schahram, D. and Li, F., eds. Services Engineering: European Research Results. Vienna, Austria: Springer, pp. 85-115.

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

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. In: Cruz, I., Decker, S., Allemang, D., Preist, C., Schwabe, D., Mika, P., Uschold, M. and Aroyo, L., eds. Semantic Web - Isec 2006, Proceedings. Vol. 4273. , pp. 529-543. (Lecture Notes in Computer Science)

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., 2003. A schema for specifying computational autonomy. In: Petta, P., Tolksdorf, R. and Zambonelli, F., eds. Engineering Societis in the Agents World Iii. Vol. 2577. , pp. 82-95. (Lecture Notes in Artificial Intelligence)

Nickles, M., Rovatsos, M. and Weiss, G., 2005. Formulating agent communication semantics and pragmatics as behavioral expectations. In: VanEijk, R. M., Huget, M. P. and Dignum, F., eds. Agent Communication. Vol. 3396. , pp. 153-172. (Lecture Notes in Computer Science)

Nickles, M. and Weiss, G., 2003. A framework for the social description of resources in open environments. In: Klusch, M., Omicini, A., Ossowski, S. and Laamanen, H., eds. Cooperative Information Agents Vii, Proceedings. Vol. 2782. , pp. 206-221. (Lecture Notes in Artificial Intelligence)

Nickles, M. and Weiss, G., 2004. Agent-based social assessment of shared resources. In: Moro, G., Sartori, C. and Singh, M. P., eds. Agents and Peer-to-Peer Computing. Vol. 2872. , pp. 35-40. (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.

Nickles, M. and Cobos, R., 2008. An Approach to Description Logic with Support for Propositional Attitudes and Belief Fusion. In: daCosta, P. C. G., dAmato, C., Fanizzi, N., Laskey, K. B., Laskey, K. J., Lukasiewicz, T., Nickles, M. and Pool, M., eds. Uncertainty Reasoning for the Semantic Web 1. Vol. 5327. Berlin: Springer, pp. 124-142. (Lecture Notes in Artificial Intelligence)

Nickles, M. and Cobos, R., 2008. An approach to description logic with support for propositional attitudes and belief fusion. In: Uncertainty Reasoning for the Semantic Web I - ISWC International Workshops, URSW 2005-2007, Revised Selected and Invited Papers. Vol. 5327 NAI. Heidelberg: Springer, pp. 124-142. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics))

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.

Nickles, M. and Sottara, D., 2009. Approaches to uncertain or imprecise rules: a survey. In: Governatori, G., Hall, J. and Paschke, A., eds. Rule Interchange and Applications. Vol. 5858. 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.

Norman, A. and Fitch, J., 1997. CABAL: Polynomial and power series algebra on a parallel computer. In: Hitz, M. and Kaltofen, E., eds. PASCO '97 Proceedings of the second international symposium on Parallel symbolic computation. New York: ACM, pp. 196-203.

Norman, A. and Fitch, J., 1996. Interfacing REDUCE to Java. In: Calmet, J. and Limongelli, C., eds. International Symposium on the Design and Implementation of Symbolic Computation Systems (DISCO-96), 1996-09-18 - 1996-09-20, Karlsruhe.

Norman, A. and Fitch, J. P., 1996. Memory Tracing of Algebraic Calculations. In: Lakshman, Y. N., ed. ISSAC '96 Proceedings of the 1996 international symposium on Symbolic and algebraic computation. New York: ACM, pp. 113-119. (ISSAC)

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.

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. Technical Communications of the 28th International Conference on Logic Programming (ICLP'12). Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, pp. 393-403. (Leibniz International Proceedings in Informatics (LIPIcs); 17)

Novikova, J., Gaudl, S. and Bryson, J., 2014. Emotionally driven robot control architecture for human-robot interaction. In: Natraj, A., Cameron, S., Melhuish, C. and Witkowski, M., eds. Towards Autonomous Robotic Systems. 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. Forthcoming. 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.

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

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 Intervention Conference 2012 (UI2012). Curran Associates, pp. 316-324.

O'Dwyer, C. and Richardson, D., 2005. Spiking neural nets with symbolic internal state. Information Processing Letters, 95 (6), pp. 529-536.

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., 1999. Cooperative development: underspecification in external representations and software usability. In: Bullinger, H.-J. and Ziegler, J., eds. Proceedings of the HCI International (the 8th International Conference on Human-Computer Interaction) : Ergonomics and User Interfaces. Vol. 1. New Jersey, USA: Lawrence Erlbaum Associates, pp. 918-922.

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

O'Neill, E., 1996. Task model support for co-operative analysis. In: Tauber, M. J., ed. Conference companion on Human factors in computing systems: common ground. New York, USA: ACM, pp. 259-260.

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

O'Neill, E., 2001. User-developer cooperation in software development: building common ground and usable systems. London, UK: Springer. (Distinguished dissertations)

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.

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. and Johnson, P., 1999. Task knowledge structures and the design of collaborative systems. Other. Association for the Advancement of Artificial Intelligence (AAAI).

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.

O'Neill, E., Johnson, P. and Johnson, H., 1999. Representations and user-developer interaction in cooperative analysis and design. Human-Computer Interaction, 14 (1-2), pp. 43-91.

O'Neill, E., Johnson, P. and Johnson, H., 1997. Representations in cooperative software development : an initial framework. In: International Workshop on Representations in Interactive Software Development. London, UK: Queen Mary and Westfield College. Department of Computer Science.

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. In: Ubicomp 2006: Ubiquitous Computing, Proceedings. Vol. 4206. Springer, pp. 315-332. (Lecture Notes in Computer Science)

O'Neill, E., Palanque, P. and Johnson, P., 2003. People and computers XVII - design for society: proceedings of HCI 2003. Springer. (BCS conference series)

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, 5th International Conference, PERVASIVE 2007, Toronto, Canada, May 13-16, 2007, Proceedings. Vol. 4480/2007. Springer, pp. 19-36. (Lecture Notes in Computer Science)

O'Neill, E., Woodgate, D., Johnson, H. and Johnson, P., 2002. Designing interaction spaces to support successful participation and collaboration. In: HCI 2002: memorable yet invisible, 2002-09-01, London.

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.

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. People and Computers XVI: memorable yet invisible, Proceedings of the HCI 2002. London, UK: Springer, pp. 158-161. (BCS Conference Series)

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)

Orre, C. and Watts, L. A., 2006. A Practical Sense of Knowing: Exploring Awareness Strategies in a Mobile Workplace. In: Hassanaly, P., Herrmann, T., Kunau, G. and Zackland, M., eds. Seamless Integration of Artifacts and Conversations- Enhanced Concepts of Infrastructure for Communication. Vol. 137. Amsterdam: IOS Press, 239--254.

Pacheco, O., 2004. Autonomy in an organizational context. In: Nickles, M., Rovatsos, M. and Weiss, G., eds. Agents and Computational Autonomy. Berlin, Germany: Springer, pp. 195-208. (Lecture Notes in Computer Science; 2969)

Padget, J., 2005. 4rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), July 25-29, 2005, Utrecht, The Netherlands. In: AAMAS, 2005-01-01.

Padget, J., 2005. E-government and E-democracy in Latin America. IEEE Intelligent Systems, 20 Jan-Feb (1), pp. 94-96.

Padget, J., 2013. Situating COIN in the cloud (Invited Paper). In: Coordination, Organizations, Institutions, and Norms in Agent Systems VIII. Vol. 7756. Springer, pp. 1-16. (Lecture Notes in Computer Science)

Padget, J., 1994. The programming language standards scene, ten years on Paper 12: Lisp. Computer Standards and Interfaces, 16 (5-6).

Padget, J., Batey, D. and Merrall, S., 1993. Architecture independence and coordination. In: Parallel Symbolic Computing: Languages Systems and Applications US/Japan Workshop Cambridge, MA, USA, October 14–17, 1992 Proceedings. Vol. 748/1993. Springer, pp. 287-299. (Lecture Notes in Computer Science)

Padget, J. and Fitch, J., 1985. The rationale of LIER: A considered LISP. In: Inada, M. and Soma, S., eds. The Second RIKEN International Symposium on Symbolic and Algebraic Computation by Computers. Vol. 2. Philadelphia PA, USA: Word Scientific Publishing Company, pp. 41-53. (Series in Computer Science)

Padget, J., Neira, R. and Díaz de León, J. L., 2004. e-Government and e-Democracy: Progress and Challenges. In: EU-LAT Workshop on e-Government and e-Deomocracy, 2004-01-01, Mexico.

Padget, J., Nuyens, G. and Bretthauer, H., 1993. An overview of EuLisp. Lisp and Symbolic Computation, 6 (1-2), pp. 9-97.

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)

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.

Padget, J., Parkes, D., Sadeh, N., Shehory, O. and Walsh, W., 2002. Agent-Mediated Electronic Commerce IV. In: EPRINTS-BOOK-TITLE. Vol. 2531. Springer. (Lecture Notes in Artificial Intelligence)

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.

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.

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.

Padget, J. A., Bradford, R. and Fitch, J. P., 1990. Concurrent object-oriented programming in Lisp. In: EUROPAL Workshop on High Performance and Parallel Computing in Lisp and Parallel Computing in Lisp, Twickenham, 1990-11-01, Twickenham.

Padget, J. A. and Fitch, J. P., 1985. Closurize and Concentrate. In: POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages. New York: ACM, pp. 255-265.

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: OZCHI 2010 - Design-Interaction-Participation, Conference Proceedings. New York: Association for Computing Machinery (ACM), pp. 232-239. (ACM International Conference Proceeding Series)

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.

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.

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)

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. In: Panayiotopoulos, T., Gratch, J., Aylett, R., Ballin, D., Olivier, P. and Rist, T., eds. The Fifth International Working Conference on Intelligent Virtual Agents. Vol. 3661. Springer, pp. 466-477. (Lecture Notes in Artificial Intelligence)

Pastor, D. J. and Padget, J., 2003. Towards c HarmonmIA.

Patel, M., 1995. Colouration issues in computer generated facial animation. Computer Graphics Forum, 14 (2), pp. 117-126.

Patel, M., 1991. Making FACES: The Facial Animation, Construction and Editing System. Thesis (Doctor of Philosophy (PhD)). University of Bath.

Patel, M. and Willis, P., 1991. FACES: The Facial Animation, Construction and Editing System. In: EUROGRAPHICS '91, 1991-09-01, UK.

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)

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.

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

Patterson, J. W. and Willis, P., 1994. Computer assisted animation: 2D or not 2D? The Computer Journal, 37 (10), pp. 829-839.

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.

Payne, S. and Neth, H., 2011. Interactive coin addition: How hands can help us think. In: Carlson, L., Hölscher, C. and Shipley, T., eds. Proceedings of the 33rd Annual Conference of the Cognitive Science Society. 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.

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.

Pearce, P. D. and Fitch, J. P., 1989. Dynamic program improvement. In: Davenport, J. H., ed. Eurocal '87 European Conference on Computer Algebra Leipzig, GDR, June 2–5, 1987 Proceedings.378 ed. Heidelberg: Springer, pp. 202-203. (Lecture Notes on Computer Science)

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

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)

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: Computer Vision, ACCV 2010 - 10th Asian Conference on Computer Vision, Revised Selected Papers. Vol. 6495 LNCS. Heidelberg: Springer, pp. 189-201.

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

Plotkin, G. and Power, J., 2004. Computational Effects and Operations: An Overview. Electronic Notes in Theoretical Computer Science, 73, pp. 149-163.

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., 2008. Tensors of comodels and models for operational semantics. Electronic Notes in Theoretical Computer Science, 218, pp. 295-311.

Plotkin, G. D. and Power, J., 2003. Logic for computational effects: work in progress. In: Proc. International Workshop on Formal Methods 03, British Com- puter Society Electronic Workshops in Computing. .

Plotkin, G. and Power, J., 2001. Adequacy for algebraic effects. In: Foundations of Software Science and Computation Structures 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings. Vol. 2030. Berlin: Springer, pp. 1-24. (Lecture Notes in Comput. Sci.)

Plotkin, G. and Power, J., 2003. Algebraic operations and generic effects. Applied Categorical Structures, 11 (1), pp. 69-94.

Plotkin, G. and Power, J., 2002. Notions of computation determine monads. In: Foundations of Software Science and Computation Structures 5th International Conference, FOSSACS 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings. Vol. 2303. Berlin: Springer, pp. 342-356. (Lecture Notes in Computer Science)

Plotkin, G., Power, J., Sannella, D. and Tennent, R., 2002. Lax Logical Relations. In: Automata, Languages and Programming: 27th International Colloquium, ICALP 2000 Geneva, Switzerland, July 9–15, 2000 Proceedings. Vol. 1853. , pp. 85-102. (Lecture Notes in Computer Science)

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)

Pourroostaei Ardakani, S., Padget, J. and De Vos, M., 2014. HRTS: A Hierarchical Reactive Time Synchronization Protocol for Wireless Sensor Networks. In: Mellouk, A., Sherif, M. H., Li, J. and Bellavista, P., eds. Ad Hoc Networks. Vol. 129. Springer, pp. 47-62. (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering)

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, A. J. and Wingfield, C., 2014. Preface. Electronic Notes in Theoretical Computer Science, 303, pp. 1-2.

Power, A. J., Cattani, G. L. and Winskel, G., 2000. A representation result for free cocompletions. Journal of Pure and Applied Algebra, 151 (3), pp. 273-286.

Power, D. and Bradford, R., 1999. A library for parallel modular arithmetic. In: Amestoy, P., Berger, P., Dayde, M., Ruiz, D., Duff, I., Fraysse, V. and Girard, L., eds. Euro-Par’99 Parallel Processing. Berlin: Springer, pp. 1476-1483. (Lecture Notes in Computer Science; 1685)

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

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.

Power, J., 2003. A unified category theoretic approach to variable binding. In: Proceedings of the 2003 workshop on Mechanized reasoning about languages with variable binding - MERLIN '03. New York: ACM.

Power, J., 2003. A universal embedding for the higher order structure of computational effects. In: Typed Lambda Calculi and Applications 6th International Conference, TLCA 2003 Valencia, Spain, June 10–12, 2003 Proceedings. Vol. 2701. Berlin: Springer, pp. 301-315. (Lecture Notes in Computer Science)

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

Power, J., 2004. Canonical models for computational effects. In: Foundations of Software Science and Computation Structures 7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 – April 2, 2004. Proce. Vol. 2. Berlin: Springer, pp. 438-452. (Lecture Notes in Comput. Sci.)

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

Power, J., 2005. Discrete Lawvere theories. In: Algebra and Coalgebra in Computer Science First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005. Proceedings. Vol. 3629. Berlin: Springer, pp. 348-363. (Lecture Notes in Comput. Sci.)

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

Power, J., 2011. Indexed Lawvere theories for local state. In: Hart, B., Kucera, T. G., Pillay, A., Scott, P. J. and Seely, R. A. G., eds. Models, Logics and Higher-Dimensional Categories: A Tribute to the Work of Mihály Makkai. Rhode Island: American Mathematical Society, pp. 213-229. (CRM Proceedings & Lecture Notes; 53)

Power, J., 2001. Models for the computational λ-calculus. Electronic Notes in Theoretical Computer Science, 40, pp. 288-301.

Power, J., 2002. Premonoidal categories as categories with algebraic structure. Theoretical Computer Science, 278 (1-2), pp. 303-321.

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

Power, J., 2007. Three dimensional monad theory. In: Categories in algebra, geometry and mathematical physics. Vol. 431. Providence, RI: Amer. Math. Soc., pp. 405-426. (Contemp. Math.)

Power, J., 2003. Towards a theory of mathematical operational semantics. Electronic Notes in Theoretical Computer Science, 82 (1), pp. 257-272.

Power, J. and Robinson, E., 2001. Logical Relations and Data Abstraction. In: Computer Science Logic: 14th InternationalWorkshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21 – 26, 2000 Proceedings. Vol. 1862. Heidelberg: Springer, pp. 497-511.

Power, J. and Robinson, E., 2000. Logical relations, data abstraction, and structured fibrations. In: Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '00. New York: ACM, pp. 15-23.

Power, J. and Rosolini, G., 2002. Fixpoint operators for domain equations. Theoretical Computer Science, 278 (1-2), pp. 323-333.

Power, J. and Shkaravska, O., 2004. From comodels to coalgebras: state and arrays. Electronic Notes in Theoretical Computer Science, 106, pp. 297-314.

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

Power, J. and Tanaka, M., 2005. Binding signatures for generic contexts. In: Typed Lambda Calculi and Applications 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005. Proceedings. Vol. 3461. Berlin: Springer, pp. 308-323. (Lecture Notes in Comput. Sci.)

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., 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. In: Foundations of Software Science and Computation Structures 6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings. Vol. 2620. Berlin: Springer, pp. 392-408. (Lecture Notes in Comput. Sci.)

Power, J. and Tourlas, K., 2001. An algebraic foundation for higraphs. In: Computer Science Logic 15th International Workshop, CSL 2001 10th Annual Conference of the EACSL Paris, France, September 10–13, 2001, Proceedings. Vol. 2142. Berlin: Springer, pp. 145-159. (Lecture Notes in Computer Science)

Power, J. and Watanabe, H., 2002. Combining a monad and a comonad. Theoretical Computer Science, 280 (1-2), pp. 137-162.

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.

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.

Price, M., 2008. Logical Aspects of Logical Frameworks. Other. Bath, U. K.: 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.

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., 2001. Notes towards a semantics for Proof-Search. In: ENTCS 37, 2001-01-01.

Pym, D. J., 2000. On the Geometry of Interaction for Classical Logic. In: Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science (LICS'04) - Volume 00, 2004-07-01, Turku.

Pym, D. J., 2003. Semantic Foundations of Proof-search. Journal of Logic and Computation, 13 (5), pp. 634-638.

Pym, D. J., 2006. Special issue: Semantics Corner and Selected papers of the Joint LICS- ICALP '04 Workshop - "Logics for resources, processes, and programs" - Volume 16, number 1, February 2006 - Editorial. Journal of Logic and Computation, 16 (1), pp. 1-3.

Pym, D. J., 2002. The Semantics and Proof Theory of the Logic of Bunched Implications. Kluwer Academic Publishers. (Applied Logic Series)

Pym, D. J. and Armelin, P., 2001. Bunched Logic Programming. In: IJCAR 2001, 2001-01-01.

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

Pym, D. J. and Harland, J., 2003. Resource-distribution via Boolean constraints. ACM Transactions on Computational Logic, 4 (1), pp. 56-90.

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., 2005. A games semantics for reductive logic and proof-search. In: ETAPS 05, 2005-04-01, Edinburgh.

Pym, D. J. and Ritter, E., 2001. On the semantics of classical disjunction. Journal of Pure and Applied Algebra, 159, pp. 315-338.

Pym, D. J. and Ritter, E., 2004. Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control. Oxford: Clarendon Press.

Pym, D. J., Winikoff, M. and Harland, J., 2001. Forward and Backward Chaining in Linear Logic. In: ENTCS 37, 2001-01-01.

Pym, D. J. and Ritter, E., 2004. A semantics for reductive logic and proof-search. Other. Bath, U. K.: Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2004-01)

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.

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

Rackham, C., 2004. A student event management solution. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2004-07)

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.

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. Research and Advanced Technology for Digital Libraries. 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.

Rauwolf, P., Mitchell, D. and Bryson, J., 2014. Forthcoming. Value Homophily Benefits Cooperation but Motivates Employing Incorrect Social Information. Journal of Theoretical Biology

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: EuroITV '13 Proceedings of the 11th european conference on Interactive TV and video. New York: ACM, pp. 121-129.

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.

Rettinger, A., Nickles, M. and Tresp, V., 2007. Learning initial trust among interacting agents. In: Klusch, M., Hindriks, K., Papazoglou, M. P. and Strerling, L., eds. Cooperative Information Agents Xi, Proceedings. Vol. 4676. , pp. 313-327. (Lecture Notes in Artificial Intelligence)

Richardson, D. S. and Fitch, J. P., 1994. The Identity Problem for Elementary Functions and Constants. In: ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation. New York: ACM, pp. 285-290. (ISSAC)

Richardson, D., 2001. Multiplicative independence of algebraic numbers and expressions. Journal of Pure and Applied Algebra, 164 (1-2), pp. 231-245.

Richardson, D. and Carnell, A., 2005. Linear algebra for time series of spikes. European Symposium of Artificial Neural Networks (ESANN)

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. S. and Carnell, A., 2007. Parallel computation in spiking neural networks. Theoretical Computer Science, 386 (1-2), pp. 57-72.

Richardson, D., 2001. The uniformity conjecture. In: Blanck, J., Brattka, V. and Hertling, P., eds. Computability and Complexity in Analysis. Berlin, Germany: Springer, pp. 253-272. (Lecture Notes in Computer Science; 2064)

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.

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

Richardson, D. and Langley, S., 2002. Some observations on familiar numbers. In: Mora, T., ed. ISAAC 2002, proceedings of the 2002 International Symposium on Symbolic and Algebraic Computation. New York, U. S. A.: ACM, pp. 214-220.

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

Ridge, A. and O'Neill, E., 2014. Forthcoming. Establishing requirements for End-user Service Composition tools. Requirements Engineering

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

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.

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)

Rodriguez, J. A., Noriega, P., Sierra, C. and Padget, J., 1997. A Java-based electronic auction house. In: PAAM 97: Proceedings of the Second International Conference on the Practical Application of Intelligent Agents and Multi-Agent Technology 21st-23rd April 1997, Westminster Central Hall, London, UK. Practical Application Company Ltd, pp. 207-224.

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.

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

Rohlfshagen, P. and Bryson, J. J., 2010. Flexible latching: a biologically-inspired mechanism for improving the management of homeostatic goals. Cognitive Computation, 2 (3), pp. 230-241.

Rovatsos, M., Nickles, M. and Weiss, G., 2003. An empirical model of communication in multiagent systems. In: Dignum, F., ed. Advances in Agent Communication. Vol. 2922. , pp. 18-36. (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.

Roy, M. F. and Vorobjov, N., 2002. The complexification and degree of a semi-algebraic set. Mathematische Zeitschrift, 239 (1), pp. 131-142.

Rüfenacht, D., Brown, M., Beutel, J. and Süsstrunk, S., 2014. Temporally consistent snow cover estimation from noisy, irregularly sampled measurements. In: VISAPP 2014 - Proceedings of the 9th International Conference on Computer Vision Theory and Applications. Vol. 2. , pp. 275-283.

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

Schanda, F., 2004. Visualisation of IPTABLES. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2004-10)

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

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

Schillo, M. and Fischer, K., 2004. A taxonomy of autonomy in multiagent organisation. In: Nickles, M., Rovatsos, M. and Weiss, G., eds. Agents and Computational Autonomy. Berlin, Germany: Springer, pp. 68-82. (Lecture Notes in Computer Science; 2969)

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.

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.

Seth, A. K. and Bryson, J. J., 2013. Natural action selection, modeling. In: Pashler, H., ed. Encyclopedia of the mind. Thousand Oaks, CA: Sage.

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: Artificial Intelligence in Education - 15th International Conference, AIED 2011. Vol. 6738 LNAI. Heidelberg: Springer, pp. 312-319. (Lecture Notes in Computer Science)

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)

Shen, P. and Willis, P., 2005. Texture Mapping Volume Objects. In: Int. Conference on Vision, Video and Graphics, 2005-01-01, Edinburgh.

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)

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.

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. Advances in Visual Computing, Part II, Proceedings. Vol. 5359. Berlin: Springer, pp. 723-732. (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., 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)

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

Shirazian, P., Wyvill, B. and Duprat, J.-L., 2012. Polygonization of implicit surfaces on multi-core architectures with SIMD instructions. In: Childs, H., Kuhlen, T. and Marton, F., eds. Eurographics Symposium on Parallel Graphics and Visualization, EGPGV 2012, Cagliari, Italy, May 13-14, 2012: Proceedings. Eurographics: European Association for Computer Graphics, pp. 89-98. (Eurographics Symposium on Parallel Graphics and Visualization)

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.

Sirapat, B. and Bradford, R., 2004. Authentication in Mobile Ad-Hoc Networks.

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.

Smith, M. J. and O'Neill, E., 1996. Beyond task analysis: exploiting task models in application implementation. In: Tauber, M. J., ed. Conference companion on Human factors in computing systems: common ground. New York, USA: ACM, pp. 263-264.

So, R. and Sonenberg, L., 2004. Agents with initiative: A preliminary report. In: Nickles, M., Rovatsos, M. and Weiss, G., eds. Agents and Computational Autonomy: Potential, Risks, and Solutions. Vol. 2969. , pp. 237-248. (Lecture Notes in Computer Science)

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.

Solodilova-Whiteley, I., 2005. 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. Thesis (Doctor of Philosophy (PhD)). University of Bath.

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.

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., 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. and Town, C.P., 2005. Visual recognition of man-made materials and structures in an office environment. In: Vision, video, and graphics 2005: University of Edinburgh July 7-8th, 2005. Aire-la-Ville: Eurographics: European Association for Computer Graphics, pp. 159-166.

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

Song, Y. Z. and Hall, P. M., 2008. Stable Image Descriptions Using Gestalt Principles. In: Bebis, G., ed. Advances in Visual Computing. Proceedings, Part I. Berlin: Springer, pp. 318-327. (Lecture Notes in Computer Science)

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. Computer Vision, ECCV 2010: 11th European Conference on Computer Vision, Heraklion, Crete, Greece, September 5-11, 2010, Proceedings, Part IV. Berlin: Springer, pp. 694-707. (Lecture Notes in Computer Science; 6314)

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.

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.

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.

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.

Soon, S., Pearce, A. and Noble, M., 2004. A teamwork coordination strategy using hierarchical role relationship matching. In: Nickles, M., Rovatsos, M. and Weiss, G., eds. Agents and Computational Autonomy. Vol. 2969. Berlin, Germany: Springer, pp. 249-260. (Lecture Notes in Computer Science; 2969)

Spackman, J. and Willis, P., 1991. The SMART navigation of a ray through an oct-tree. Computers & Graphics, 15 (2), pp. 185-194.

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

Srikulwong, M. and O'Neill, E., 2011. A comparative study of tactile representation techniques for landmarks on a wearable device. In: CHI '11 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems. New York: Association for Computing Machinery (ACM), pp. 2029-2038. (Conference on Human Factors in Computing Systems - Proceedings)

Srikulwong, M. and O'Neill, E., 2010. A comparison of two wearable tactile interfaces with a complementary display in two orientations. In: Haptic and Audio Interaction Design - 5th International Workshop, HAID 2010, Proceedings. 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.

Srikulwong, M. and O'Neill, E., 2013. Wearable tactile display of directions for pedestrian navigation : comparative lab and field evaluations. In: World Haptics Conference (WHC) 2013. Piscataway, NJ: IEEE Computer Society, pp. 503-508.

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.

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)

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.

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.

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.

Stratford, J., 2008. Creating an Extensible Unit Converter Using OpenMath as the Representation of the Semantics of the Units. Other. Bath, U. K.: 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. In: Autexier, S., Campbell, J., Rubio, J., Sorge, V., Suzuki, M. and Wiedijk, F., eds. Intelligent Computer Mathematics: Proc. AISC/Calculemus/MKM 2008. Berlin, Heidelberg: Springer, pp. 382-397. (Lecture Notes in Computer Science; 5144/2)

Su, D. and Willis, P., 2004. Image interpolation by pixel-level data-dependent triangulation. Computer Graphics Forum, 23 (2), pp. 189-201.

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

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

Sumner, T., Heery, R., Hunter, J., Lossau, N. and Wright, M., 2005. Does eScience need digital libraries? In: Rauber, A., Christodoulakis, S. and Tjoa, A. M., eds. Research and Advanced Technology for Digital Libraries, 9th European Conference, ECDL 2005, Vienna, Austria, September 18-23, 2005. Proceedings.3652 ed. Berlin, Germany: Springer, pp. 475-476. (Lecture Notes in Computer Science; 3652)

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)

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.

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

Sutton, P., 2012. The Application of Multi-Attribute Optimisation as a Systems Engineering Tool in an Automotive CAE Environment. Thesis (Doctor of Engineering (EngD)). University of Bath.

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.

Tanaka, M. and Power, J., 2004. A unified category-theoretic approach to substitution in substructural logics. In: Proc. Workshop on Logics for Resources, Processes, and Programs. .

Tanaka, M. and Power, J., 2005. A unified category-theoretic formulation of typed binding signatures. In: MERLIN '05 Proceedings of the 3rd ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding. New York: ACM, pp. 13-24.

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. and Bryson, J., 2003. A layered dynamic emotion representation for the creation of complex facial expressions. In: Intelligent Virtual Agents. Vol. 2792. Berlin, Germany: Springer, pp. 101-105. (Lecture Notes in Artificial Intelligence)

Tanguy, E., Willis, P. and Bryson, J. J., 2004. The Role of Emotions in Modular Intelligent Control. AISB Quarterly, 117, pp. 1-6.

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.

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)

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)

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.

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)

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

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.

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. and Padget, J., 2009. Engineering agent organisations in a business environment. In: Aldewereld, H., Dignum, V. and Picard, G., eds. Engineering Societies in the Agents World X. Vol. 5881. Springer, pp. 49-64. (Lecture Notes in Artificial Intelligence)

Traskas, D., Padget, J. and Tansley, J., 2011. A probabilistic mechanism for agent discovery and pairing using domain-specific data. In: Coordination, Organizations, Institutions, and Norms in Agent Systems VI - COIN 2010 International Workshops, COIN@MALLOW 2010, Revised Selected Papers. Vol. 6541 LNAI. Heidelberg: Springer, pp. 192-209. (Lecture Notes in Computer Science)

Tsimashenka, I., 2011. The Development, Implementation and Analysis of a Real-Time Parallel Algorithm of Sliding Discrete Fourier Transform. Thesis (Master of Philosophy (MPhil)). University of Bath.

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.

Van Dyke Parunak, H. and Brueckner, S. A., 2004. Dynamic imputation of agent cognition. In: Nickles, M., Rovatsos, M. and Weiss, G., eds. Agents and Computational Autonomy. , pp. 209-226. (Lecture Notes in Computer Science; 2969)

Van Nieuwenborgh, D., De Vos, M., Heymans, S. and Vermeir, D., 2006. Hierarchical Decision Making in Multi-Agent Systems using Answer Set Programming. In: Inoue, K., Ken, S. and Toni, F., eds. Computational Logic in Multi-Agent Systems 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and Invited Papers. Vol. 4371. Heidelberg: Springer, pp. 20-40. (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: Proceedings of the 1st International Conference on Agents and Artificial Intelligence (ICAART 2009). Vol. 2009. Instrumentation Systems and Automation Society, pp. 533-539. (Proceedings of the 1st International Conference on Agents and Artificial Intelligence)

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.

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 - Proceedings. 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., Cortes, U. and Padget, J., 2002. Integrating the organ and tissue allocation processes through an agent-mediated electronic institution. In: Topics in Artificial Intelligence, Proceedings. Vol. 2504. , pp. 309-321. (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.

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: Digital Business - First Iternational ICST Conference, DigiBiz 2009, Revised Selected Papers. Heidelberg: Springer, pp. 175-184. (Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering)

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: Proceedings - 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010. Piscataway, NJ: IEEE Computer Society, pp. 485-492.

Verhagen, H., 2004. Autonomy and reasoning for natural and artificial agents. In: Nickles, M., Rovatsos, M. and Weiss, G., eds. Agents and Computational Autonomy: Potential, Risks, and Solutions. Vol. 2969. , pp. 83-94. (Lecture Notes in Computer Science)

Vickers, O. and Padget, J., 2002. Skeletal Jade components for the construction of institutions. In: Agent-Mediated Electronic Commerce. Vol. 2531. , pp. 307-324. (Lecture Notes in Artificial Intelligence)

Vorobjov, N., 2003. Effective model completeness of the theory of restricted Pfafflan functions. In: Computer Science Logic, Proceedings. Vol. 2803. , p. 544. (Lecture Notes in Computer Science)

Vorobjov, N., 2003. Effective quantifier elimination over real closed fields. In: Computer Science Logic, Proceedings. Vol. 2803. , p. 545. (Lecture Notes in Computer Science)

Vorobjov, N. and Gabrielov, A., 2004. Complexity of computations with Pfaffian and Noetherian functions. In: Ilyashenko, Y. and Rousseau, C., eds. Normal Forms, Bifurcations and Finiteness Problems in Differential Equations. Springer, p. 211. (NATO Science Series II)

Vorobjov, N. and Pericleous, S., 2003. New Complexity bounds for cylindrical decompositions of sub_Pfaffian sets. In: Aronov, B., ed. Discrete and Computational Geometry. Springer.

Vorobjov, N. and Pericleous, S., 2001. New Complexity bounds for cylindrical decompositions of sub_Pfaffian sets. In: Proceedings of 2001 International Symposium on Symbolic and Algebriac Compuatation, 2001-01-01.

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.

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

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.

Wang, L. and Leckie, C., 2010. Encoding actions via quantized vocabulary of averaged silhouettes. In: Proceedings - 2010 20th International Conference on Pattern Recognition, ICPR 2010. 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. In: Zaki, M. J., Yu, J. X., Ravindran, B. and Pudi, V., eds. Advances in Knowledge Discovery and Data Mining, Pt I, Proceedings. Vol. 6118. 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.

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.

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.

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., 2006. Public Social Private Design (PSPD). In: CHI 2006, 2006-04-22 - 2006-04-27, Montreal.

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., 2006. The effect of group composition on divergent thinking in an interaction design activity. In: Proceedings of the 6th conference on Designing Interactive Systems (DIS), 26-28 June 2006, Penn State, USA. ACM, pp. 122-131.

Warr, A. and O'Neill, E., 2005. The effect of operational mechanisms on creativity in design. In: Human-Computer Interaction - Interact 2005, Proceedings. Vol. 3585. IFIP, pp. 629-642. (Lecture Notes in Computer Science)

Warr, A. and O'Neill, E., 2007. Tool support for creativity using externalizations. In: Proceedings of the 6th ACM SIGCHI conference on Creativity & cognition. New York, U.S.A.: Association for Computing Machinery (ACM), pp. 127-136.

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

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.

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

Watson, R. and De Vos, M., 2011. ASTREA: Answer sets for a trusted reasoning environment for agents. In: Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning - Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday. Heidelberg: Springer, pp. 490-509. (Lecture Notes in Computer Science; 6565)

Watts, L. A. and Dubois, E., 2001. Managing visibility in ubiquitous multimedia communication environments. In: Proceedings of IHM-HCI 2001, 2001-09-01, Lille.

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.

Watts, L. A. and Reeves, A. J., 2005. Feeling personal: the emotional SIDE of media selection dilemmas.

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.

Webster, R.A., Watkins, J.D., Potter, R.J. and Marken, F., 2012. DEMS-monitoring liquid : gas interfacial ammonia oxidation at carbon nanofibre membranes. RSC Advances, 2 (11), pp. 4886-4890.

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.

Wei, S., Ren, G. and O'Neill, E., 2014. Haptic and audio displays for augmented reality tourism applications. In: IEEE Haptics Symposium, HAPTICS. , pp. 485-488.

Weigand, H. and Dignum, V., 2004. I am autonomous, you are autonomous. In: Nickles, M., Rovatsos, M. and Weiss, G., eds. Agents and Computational Autonomy: Potential, Risks, and Solutions. Vol. 2969. , pp. 227-236. (Lecture Notes in Computer Science)

Weiss, G., Fischer, F., Nickles, M. and Rovatsos, M., 2006. Operational modelling of agent autonomy: Theoretical aspects and a formal language. In: Muller, J. P. and Zambonelli, F., eds. Agent-Oriented Software Engineering Vi. Vol. 3950. , pp. 1-15. (Lecture Notes in Computer Science)

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.

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.

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.

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)

Willis, P., 1977. A real-time hidden surface technique. The Computer Journal, 20 (4), pp. 335-339.

Willis, P., 2006. Projective alpha colour. Computer Graphics Forum, 25 (3), pp. 557-566.

Willis, P., 2004. Virtual physics for virtual reality. In: Theory and Practice of Computer Graphics 2004, Proceedings, 2004-01-01.

Willis, P., 1987. Visual simulation of atmospheric haze. Computer Graphics Forum, 6 (1), pp. 35-41.

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

Willis, P., Bowyer, A. and Woodwark, J. R., 1981. A multiprocessor for solving spatial problems. The Computer Journal, 24 (4), pp. 353-357.

Willis, P. J. and Oddy, R., 1991. A physically-based colour model. Computer Graphics Forum, 10 (2), pp. 121-127.

Willis, P. J. and Watters, G. W., 1988. Colour raster operations. Computer Graphics Forum, 7 (3), pp. 151-159.

Willis, P. J. and Watters, G. W., 1987. Scan converting extruded lines at ultra high definition. Computer Graphics Forum, 6 (2), pp. 133-140.

Willis, P. J. and Watters, G. W., 1987. UltraPaint: a new approach to a painting system. Computer Graphics Forum, 6 (2), pp. 125-132.

Willis, P., Patterson, J., Balch, P. and Paxton, J., 2013. Taking the pixel out of the picture. In: SMPTE Annual Technical Conference and Exhibition 2013, SMPTE 2013. , pp. 521-530.

Willis, P., 1984. A paint program for the graphic arts in printing. In: Bo, K. and Tucker, H. A., eds. Proceedings of the European Graphics Conference and Exhibition, Copenhagen, Denmark 12-14 September. Amsterdam: North-Holland, pp. 109-120.

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

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.

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

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., Bradford, R. J., Davenport, J. H. and England, M., 2013. The Piano Mover's Problem Reformulated. Other. Bath, U. K.: Department of Computer Science, University of Bath. (Department of Computer Science Technical Report Series; CSBU-2013-03)

Wilson, D., England, M., Bradford, R.J. and Davenport, J.H., 2014. Forthcoming. Using the distribution of cells by dimension in a cylindrical algebraic decomposition. In: Proceedings of SYNASC 2014. .

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

Wilson, D., 2012. Real Geometry and Connectedness via Triangular Description: CAD Example Bank. [Dataset]

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

Wilson, D. J., Bradford, R. J. and Davenport, J. H., 2012. Speeding up cylindrical algebraic decomposition by Gröebner Bases. In: Jeuring, J., Campbell, J. A., Carette, J., Dos Reis, G., Sojka, P., Wenzel, M. and Sorge, V., eds. Intelligent Computer Mathematics. Vol. 7362. Heidelberg: , pp. 280-294. (Lecture Notes in Computer Science; 7362)

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

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.

Witkowski, M. and Stathis, K., 2004. A dialectic architecture for computational autonomy. In: Nickles, M., Rovatsos, M. and Weiss, G., eds. Agents and Computational Autonomy. Vol. 2969. Heidelberg, Germany: Springer, pp. 261-273. (Lecture Notes in Computer Science)

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

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

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.

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. Pervasive Computing - 9th International Conference, Pervasive 2011, San Francisco, USA, June 12-15, 2011. Proceedings. Berlin: Springer, pp. 294-313. (Lecture Notes in Computer Science; 6696)

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. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 8695. Springer, pp. 313-328.

Wyvill, B. and Dodgson, N., 2010. Recursive scene graphs for art and design. In: Jepp, P. and Deussen, O., eds. Computational Aesthetics 2010: Eurographics Workshop on Computational Aesthetics, London, United Kingdom, 2010. Eurographics: European Association for Computer Graphics, pp. 33-40.

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. Structural, Syntactic, and Statistical Pattern Recognition. Vol. 5342/2008. 5342/2008 ed. Berlin: Springer, pp. 329-338. (Lecture Notes in Computer Science)

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.

Xiao, B., Wilson, R. C. and Hancock, E. R., 2008. Quantitative evaluation on heat kernel permutation invariants. In: Structural, Syntactic, and Statistical Pattern Recognition. Proceedings of the Joint IAPR International Workshop, SSPR & SPR 2008. Vol. 5342/2008. Berlin / Heidelberg: Springer, pp. 217-226. (Lecture Notes in Computer Science)

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.

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.

Yousef, K. and O'Neill, E., 2008. Measuring urban mobility and encounter. In: Spink, A. J., Ballintijn, M. R., Bogers, N. D., Grieco, F., Loijens, L. W. S., Noldus, L. P. J. J., Smit, G. and Zimmerman, P. H., eds. Proceedings of Measuring Behavior 2008 (Maastricht, The Netherlands, August 26-29, 2008). Noldus Information Technology, pp. 66-67.

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., 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., 2009. Architecture and Remote Interaction Techniques for Digital Media Exchange across 3G Mobile Devices. Thesis (Doctor of Philosophy (PhD)). University of Bath.

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

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 - Workshop Proceedings. 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)

Zheng, Y., Hicks, Y., Marshall, D. and Cosker, D., 2009. Real-time generation of interactive virtual human behaviours. In: Computer Vision and Computer Graphics: Theory and Applications - International Conference, VISIGRAPP 2008, Revised Selected Papers. Heidelberg, German: Springer, pp. 70-82. (Communications in Computer and Information Science)

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., 2005. On the Design of Csound5. In: 3rd International Linux Audio Conference (LAC 2005), 2005-04-21 - 2005-04-24, Karlsruhe.

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., Dobson, R. and Bradford, R., 2008. Sliding DFT for fun and musical profit. In: Barknecht, F. and Rumori, M., eds. Proceedings: Linux Audio Conference 2008. Brno, CZ: Tribun EU, pp. 118-124.

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

ffitch, J. and Padget, J., 2001. Creating a Computer-Assistant for Performance. In: No Walls, 2001-01-01, DeMontfort University.

ffitch, J. P., 2010. Appendix F: Computer architecture, structures and languages. In: Boulanger, R. and Lazzarini, V., eds. The Audio Programming Book. MIT Press, pp. 797-823.

ffitch, J. P., 2010. Appendix H: An audio programmer's guide to mathematical expressions. In: Boulanger, R. and Lazzarini, V., eds. The Audio Programming Book. MIT Press, pp. 855-868.

ffitch, J. P., 2010. DVD chapter: A MIDI-based algorithmic composition library. In: Boulanger, R. and Lazzarini, V., eds. The Audio Programming Book. MIT Press.

ffitch, J. P., 2010. DVD chapter: The FilterResponse graphical filter utility. In: Boulanger, R. and Lazzarini, V., eds. The Audio Programming Book. MIT Press.

ffitch, J. P., 2010. Introduction to program design. In: Boulanger, R. and Lazzarini, V., eds. The Audio Programming Book. MIT Press, pp. 383-430.

ffitch, J. P., 2010. Understanding an Opcode in Csound. In: Boulanger, R. and Lazzarini, V., eds. The Audio Programming Book. MIT Press, pp. 581-616.

ffitch, J. P., 2010. Using C to Generate Scores. In: Boulanger, R. and Lazzarini, V., eds. The Audio Programming Book. MIT Press, pp. 655-676.

ffitch, J. P., Dobson, R., Lazzarini, V. and Boulanger, R., 2010. Appendix G: Glossary. In: Boulanger, R. and Lazzarini, V., eds. The Audio Programming Book. MIT Press, pp. 823-854.

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

ffitch, J., 2003. The Transport Project. In: ICMC, 2003-09-01, Composition Project and Concert, Off-ICMC'2003.

ffitch, J., 2000. Chapter 16: A look at random numbers, noise and chaos with Csound. In: Boulanger, R., ed. The Csound Book: Perspectives in Software Synthesis Sound Design Signal Processing and Programming. MIT Press, pp. 321-338.

ffitch, J., 2000. Chapter 31: Extending Csound. In: Boulanger, R., ed. The Csound Book: Perspectives in Software Synthesis Sound Design Signal Processing and Programming. MIT Press, pp. 599-612.

ffitch, J., 2000. Chapter 36: Composing with chaos. In: Boulanger, R., ed. The Csound Book: Perspectives in Software Synthesis Sound Design Signal Processing and Programming. MIT Press, pp. 599-612.

ffitch, J., 2000. Chapter 3: What happens when you run Csound. In: Boulanger, R., ed. The Csound Book: Perspectives in Software Synthesis Sound Design Signal Processing and Programming. MIT Press, pp. 99-122.

ffitch, J., 2000. Chapter 5: Using Csound's macro language extensions. In: Boulanger, R., ed. The Csound Book: Perspectives in Software Synthesis Sound Design Signal Processing and Programming. MIT Press, pp. 137-154.

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

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

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

ffitch, J. and Dobson, R., 1996. Experiments with non-linear filters; Discovering excitable regions. In: On the Edge. ICMA and HKUST, pp. 405-408.

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.

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

ffitch, J. P., Dobson, R. and Bradford, R., 2009. The Imperative for High-Performance Audio Computing. In: Proceedings of LAC2009, Parma, Italy, 16-19 April 2009. Parma: Istituzione Casa della Musica, pp. 73-79.

ffitch, J. P. and Padget, J. A., 2002. Learning to play and perform on synthetic instruments. In: Mats, N., ed. Proceedings of the International Computer Music Conference. Ann Arbor, MI: Scholarly Publishing Office, University of Michigan Library, pp. 432-435.

This list was generated on Tue Dec 16 23:26:07 2014 GMT.