Search research publications and outputs

  1. 2019
  2. Doing Better Statistics in Human-Computer Interaction

    Cairns, P. A., Feb 2019, Cambridge University Press. 250 p.

    Research output: Book/ReportBook

  3. 2018
  4. Computational Matter

    Stepney, S. (ed.), Rasmussen, S. (ed.) & Amos, M. (ed.), 1 Aug 2018, Springer. 348 p. (Natural Computing )

    Research output: Book/ReportBook

  5. Emotion in Video Game Soundtracking

    Williams, D. A. H. & Lee, N., 21 Mar 2018, 1 ed. New York: Springer. 180 p. (International Series on Computer Entertainment and Media Technology)

    Research output: Book/ReportBook

  6. Games User Research

    Drachen, A., Nacke, L. E. & Mirza-Babaei, P., 25 Jan 2018, London: Oxford: Oxford University Press. 560 p.

    Research output: Book/ReportBook

  7. Global thoughts, local designs: INTERACT 2017 IFIP TC 13 Workshops, Mumbai, India, September 25-27, 2017, Revised Selected Papers

    Clemmensen, T. (ed.), Rajamanickam, V. (ed.), Dannenmann, P. (ed.), Petrie, H. (ed.) & Winckler, M. (ed.), 2018, Cham, Switzerland: Springer. 188 p. (Lecture Notes in Computer Science)

    Research output: Book/ReportBook

  8. 2017
  9. Inspired by Nature: Essays Presented to Julian F. Miller on the Occasion of his 60th Birthday

    Stepney, S. (ed.) & Adamatzky, A. (ed.), 31 Oct 2017, SPRINGER. 400 p. (Emergence, Complexity and Computation)

    Research output: Book/ReportBook

  10. Graph Transformation: 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings

    de Lara, J. (ed.) & Plump, D. (ed.), 2017, (Accepted/In press) Springer. 231 p. (Lecture Notes in Computer Science; vol. 10373)

    Research output: Book/ReportBook

  11. 2016
  12. Dynamic Resource Allocation in Embedded, High-Performance and Cloud Computing

    Soares Indrusiak, L., Dziurzanski, P. & Singh, A. K., Oct 2016, Delft: River Publishers. 178 p.

    Research output: Book/ReportBook

  13. Universal Design 2016: Learning from the Past, Designing for the Future

    Petrie, H., Darzentas, J. S., Walsh, T., Swallow, D. M., Sandoval Guzman, L. F. & Power, C. D., 21 Aug 2016, IOS Press. 704 p. (Studies in Health Technology and Informatics)

    Research output: Book/ReportBook

  14. Why Engagement Matters: Cross-disciplinary perspectives of user engagement in digital media

    O'Brien, H. (ed.) & Cairns, P. A. (ed.), Jun 2016, Springer. 222 p.

    Research output: Book/ReportBook

  15. Proceedings of the 3rd International Workshop on Model-Driven Engineering on and for the Cloud

    Paige, R. F., Cabot, J., Brambilla, M. & Hill, J. H., 2016, CEUR Workshop Proceedings. 42 p.

    Research output: Book/ReportBook

  16. 2015
  17. Animal Social Networks

    Krause, J., James, R., Franks, D. W. & Croft, D. P., 2015, Oxford: Oxford University Press.

    Research output: Book/ReportBook

  18. 2014
  19. Handbook of Research on Embedded Systems Design

    Bagnato, A., Soares Indrusiak, L., Quadri, I. R. & Rossi, M., 2014, Hershey: IGI Global. 520 p.

    Research output: Book/ReportBook

  20. 2012
  21. Graph-Based Methods in Computer Vision: Developments and Applications

    Xiao, B., Cheng, J. & Hancock, E. R., Jul 2012, IGI Global. 410 p.

    Research output: Book/ReportBook

  22. 3D Imaging, Analysis and Applications

    Pears, N. E. (ed.), Liu, Y. (ed.) & Bunting, P. (ed.), 2012, Springer. 500 p.

    Research output: Book/ReportBook

  23. Distributed, embedded and real-time java systems

    Higuera-Toledano, M. T. & Wellings, A. J., 2012, SPRINGER-VERLAG BERLIN. 378 p.

    Research output: Book/ReportBook

  24. 2011
  25. Outlier and Anomaly Detection: A Survey of Outlier and Anomaly Detection Methods

    Hodge, V. J., 11 Nov 2011, Lambert Academic Publishing.

    Research output: Book/ReportBook

  26. An information theoretic approach to learning generative graph prototypes

    Han, L., Hancock, E. R. & Wilson, R. C., 2011, Springer. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics))

    Research output: Book/ReportBook

  27. Feature point matching using a hermitian property matrix

    Haseeb, M. & Hancock, E. R., 2011, Springer. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics))

    Research output: Book/ReportBook

  28. Graph characterization via backtrackless paths

    Aziz, F., Wilson, R. C. & Hancock, E. R., 2011, Springer. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics))

    Research output: Book/ReportBook

  29. High order structural matching using dominant cluster analysis

    Ren, P., Wilson, R. C. & Hancock, E. R., 2011, Springer. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics))

    Research output: Book/ReportBook

  30. Mutual information criteria for feature selection

    Zhang, Z. & Hancock, E. R., 2011, Springer. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics))

    Research output: Book/ReportBook

  31. Pattern Recognition: Third Mexican Conference, MCPR 2011, Cancun, Mexico, June 29 - July 2, 2011. Proceedings

    Trinidad, J. F. M. (ed.), Carrasco-Ochoa, J. A. (ed.), Brants, C. B-Y. (ed.) & Hancock, E. R. (ed.), 2011, Springer. (Lecture Notes in Computer Science; vol. 6718)

    Research output: Book/ReportBook

  32. Proceedings of the 2011 Workshop on Dependable Systems of Systems

    Despotou, G. (ed.), 2011, University of York, United Kingdom.

    Research output: Book/ReportBook

  33. Refractive index estimation of naturally occurring surfaces using photometric stereo

    Saman, G. & Hancock, E. R., 2011, Springer. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics))

    Research output: Book/ReportBook

  34. 2010
  35. Artificial Immune Systems: 9th International Conference, ICARIS 2010, Edinburgh, UK, July 26-29, 2010. Proceedings

    Hart, E. (ed.), McEwan, C. (ed.), Timmis, J. (ed.) & Hone, A. (ed.), 2010, Springer. (Lecture Notes in Computer Science; vol. 6209)

    Research output: Book/ReportBook

  36. Distributed, Parallel and Biologically Inspired Systems: 7th IFIP TC 10 Working Conference, DIPES 2010 and 3rd IFIP TC 10 International Conference, BICC 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings

    Hinchey, M. (ed.), Kleinjohann, B. (ed.), Kleinjohann, L. (ed.), Lindsay, P. A. (ed.), Rammig, F. J. (ed.), Timmis, J. (ed.) & Wolf, M. (ed.), 2010, Springer. (IFIP Advances in Information and Communication Technology; vol. 329)

    Research output: Book/ReportBook

  37. Structural, Syntactic, and Statistical Pattern Recognition: Joint IAPR International Workshop, SSPRSPR 2010, Cesme, Izmir, Turkey, August 18-20, 2010. Proceedings

    Hancock, E. R. (ed.), Wilson, R. C. (ed.), Windeatt, T. (ed.), Ulusoy, I. (ed.) & Escolano, F. (ed.), 2010, Springer. (Lecture Notes in Computer Science; vol. 6218)

    Research output: Book/ReportBook

  38. Testing Techniques in Software Engineering: Second Pernambuco Summer School on Software Engineering, PSSE 2007

    Borba, P. (ed.), Cavalcanti, A. (ed.), Sampaio, A. (ed.) & Woodcock, J. (ed.), 2010, Springer. (Lecture Notes in Computer Science; vol. 6153)

    Research output: Book/ReportBook

  39. The Epsilon Book

    Kolovos, D., Rose, L., Paige, R. & Garcia-Dominguez, A., 2010, Eclipse.

    Research output: Book/ReportBook

  40. Theoretical Aspects of Computing - ICTAC 2010: 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings

    Cavalcanti, A. (ed.), Déharbe, D. (ed.), Gaudel, M-C. (ed.) & Woodcock, J. (ed.), 2010, Springer. (Lecture Notes in Computer Science; vol. 6255)

    Research output: Book/ReportBook

  41. Unconventional Computation: 9th International Conference, UC 2010, Tokyo, Japan, June 21-25, 2010. Proceedings

    Calude, C. S. (ed.), Hagiya, M. (ed.), Morita, K. (ed.), Rozenberg, G. (ed.) & Timmis, J. (ed.), 2010, Springer. (Lecture Notes in Computer Science; vol. 6079)

    Research output: Book/ReportBook

  42. 2009
  43. Artificial Immune Systems, 8th International Conference, ICARIS 2009, York, UK, August 9-12, 2009. Proceedings

    Andrews, P. S. (ed.), Timmis, J. (ed.), Owens, N. D. L. (ed.), Aickelin, U. (ed.), Hart, E. (ed.), Hone, A. (ed.) & Tyrrell, A. M. (ed.), 2009, Springer. (Lecture Notes in Computer Science; vol. 5666)

    Research output: Book/ReportBook

  44. FM 2009: Formal Methods, Second World Congress

    Cavalcanti, A. (ed.) & Dams, D. (ed.), 2009, Springer. (Lecture Notes in Computer Science; vol. 5850)

    Research output: Book/ReportBook

  45. Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods, ICFEM 2009

    Breitman, K. (ed.) & Cavalcanti, A. (ed.), 2009, Springer. (Lecture Notes in Computer Science; vol. 5885)

    Research output: Book/ReportBook

  46. Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009, Revised Selected Papers

    Oliveira, M. V. M. (ed.) & Woodcock, J. (ed.), 2009, Springer. (Lecture Notes in Computer Science; vol. 5902)

    Research output: Book/ReportBook

  47. Model Driven Architecture - Foundations and Applications: 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings

    Paige, R. F. (ed.), Hartman, A. (ed.) & Rensink, A. (ed.), 2009, Springer. (Lecture Notes in Computer Science; vol. 5562)

    Research output: Book/ReportBook

  48. Proceedings of the Workshop on AOP and Meta-Data for Software Evolution

    Oriol, M., Cazzola, W., Chiba, S. & Saake, G., 2009, ACM Digital Library.

    Research output: Book/ReportBook

  49. Real-time Systems and Programming Languages: Ada, Real-Time Java and C/Real-Time POSIX

    Burns, A. & Wellings, A. J., 2009, ADDISON-WESLEY PUBL CO. (International computer science series)

    Research output: Book/ReportBook

  50. 2008
  51. Communicating Process Architectures 2008

    Welch, P. H. (ed.), Stepney, S. (ed.), Polack, F. (ed.), Barnes, F. R. M. (ed.), McEwan, A. A. (ed.), Stiles, G. S. (ed.), Broenink, J. F. (ed.) & Sampson, A. T. (ed.), 2008, IOS Press. (Concurrent Systems Engineering Series; vol. 66)

    Research output: Book/ReportBook

  52. Objects, Components, Models and Patterns: 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30 - July 4, 2008. Proceedings

    Paige, R. F. (ed.) & Meyer, B. (ed.), 2008, Springer. (Lecture notes in Business Information Processing; vol. 11)

    Research output: Book/ReportBook

  53. Practical Distributed Processing

    Brooke, P. J. & Paige, R. F., 2008, Springer. 262 p. (Undergraduate Topics in Computer Science)

    Research output: Book/ReportBook

  54. Remove this!

    Nasios, N. & Bors, AG., 2008, en.scientificcommons.org.

    Research output: Book/ReportBook

  55. Research Method for Human-Computer Interaction

    Cairns, P. A. (ed.) & Cox, A. L. (ed.), 2008, Cambridge University Press. 264 p.

    Research output: Book/ReportBook

  56. Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings

    Shankar, N. (ed.) & Woodcock, J. (ed.), 2008, Springer. (Lecture Notes in Computer Science; vol. 5295)

    Research output: Book/ReportBook

  57. 2007
  58. Concurrent and real-time programming in Ada

    Burns, A. & Wellings, A. J., 2007, Cambridge University Press. 467 p.

    Research output: Book/ReportBook

  59. Domain Modeling and the Duration Calculus: International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures

    George, C. (ed.), Liu, Z. (ed.) & Woodcock, J. (ed.), 2007, Springer. (Lecture Notes in Computer science; vol. 4710)

    Research output: Book/ReportBook

  60. Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

    Jones, C. B. (ed.), Liu, Z. (ed.) & Woodcock, J. (ed.), 2007, Springer. (Lecture Notes in Computer Science; vol. 4700)

    Research output: Book/ReportBook

  61. Theoretical Aspects of Computing - ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings

    Jones, C. B. (ed.), Liu, Z. (ed.) & Woodcock, J. (ed.), 2007, Springer. (Lecture Notes in Computer Science; vol. 4711)

    Research output: Book/ReportBook

  62. Unconventional Computing 2007: Bristol, UK, July 2007

    Adamatzky, A. (ed.), Bull, L. (ed.), Costello, B. D. L. (ed.), Stepney, S. (ed.) & Teuscher, C. (ed.), 2007, Luniver Press.

    Research output: Book/ReportBook

  63. 2006
  64. Theoretical Aspects of Computing: ICTAC 2006, Third International Colloquium, Tunis, Tunisia, November 20-24, 2006, Proceedings

    Barkaoui, K. (ed.), Cavalcanti, A. (ed.) & Cerone, A. (ed.), 2006, Springer. (Lecture Notes in Computer Science; vol. 4281)

    Research output: Book/ReportBook

  65. Unconventional Computation: 5th International Conference, UC 2006, York, UK, September 4-8, 2006, Proceedings

    Calude, C. S., Dinneen, M. J., Paun, G., Rozenberg, G. & Stepney, S., 2006, Springer. (Lecture Notes in Computer Science; vol. 4135)

    Research output: Book/ReportBook

  66. 2005
  67. Advances in Artificial Life: 8th European Conference, ECAL 2005, Canterbury, UK, September 5-9, 2005, Proceedings

    Capcarrère, M. S., Freitas, A. A., Bentley, P. J., Johnson, C. G. & Timmis, J., 2005, Springer. (Lecture Notes in Artificial Intelligence; vol. 3630)

    Research output: Book/ReportBook

  68. 2004
  69. Applied Computing: Second Asian Applied Computing Conference, AACC 2004, Kathmandu, Nepal, October 29-31, 2004. Proceedings

    Manandhar, S. (ed.), Austin, J. (ed.), Desai, U. B. (ed.), Oyanagi, Y. (ed.) & Talukder, A. K. (ed.), 2004, Springer. (Lecture Notes in Computer Science; vol. 3285)

    Research output: Book/ReportBook

  70. Artificial Immune Systems: Proceedings of the Third International Conference, ICARIS 2004, Catania, Sicily,

    Nicosia, G., Cutello, V., Bentley, P. & Timmis, J., 2004, Springer. (LNCS; vol. 3239)

    Research output: Book/ReportBook

  71. 2003
  72. Artificial Immune Systems: Second International Conference, ICARIS 2003, Edinburgh, UK, September 1-3, 2003, Proceedings

    Timmis, J. (ed.), Bentley, P. J. (ed.) & Hart, E. (ed.), 2003, Springer. (Lecture Notes in Computer Science; vol. 2787)

    Research output: Book/ReportBook

  73. Artificial Immune Systems: Second International Conference, ICARIS 2003

    Timmis, J., Bentley, P. & Hart., E., 2003, Springer. (LNCS; vol. 2787)

    Research output: Book/ReportBook

  74. Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings

    Dong, J. S. (ed.) & Woodcock, J. (ed.), 2003, Springer. (Lecture Notes in Computer Science; vol. 2885)

    Research output: Book/ReportBook

  75. Gender and poverty in Britain

    Bradshaw, J., Finch, N., Kemp, P., Mayhew, E. & Williams, J., 2003, Manchester: Equal Opportunities Commission. (Working paper series)

    Research output: Book/ReportBook

  76. ZB 2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings

    Bert, D. (ed.), Bowen, J. P. (ed.), King, S. (ed.) & Waldén, M. A. (ed.), 2003, Springer. (Lecture Notes in Computer Science; vol. 2651)

    Research output: Book/ReportBook

  77. 2002
  78. Artificial Immune Systems: A New Computational Approach

    Castro, L. N. D. & Timmis, J., 2002, Springer.

    Research output: Book/ReportBook

  79. Artificial immune systems - a new computational intelligence paradigm

    Castro, L. N. D. & Timmis, J., 2002, Springer.

    Research output: Book/ReportBook

  80. Community Equipment: Use and needs of disabled children and their families

    Beresford, B., Williams, J. & Lawton, D., 2002, University of York, York: Social Policy Research Unit.

    Research output: Book/ReportBook

  81. 2001
  82. Disability Survey 2000: Survey of young people with a disability and sport

    Finch, N., Lawton, D., Williams, J. & Sloper, P., 2001, London: Sport England.

    Research output: Book/ReportBook

  83. 2000
  84. Inductive Logic Programming: Proceedings of the 10th International Conference

    Cussens, J. (ed.) & Frisch, A. M. (ed.), 2000, Springer. (Lecture Notes in Artificial Intelligence; no. 1866)

    Research output: Book/ReportBook

  85. Learning Language in Logic

    Cussens, J. & Dzeroski, S., 2000, Springer. 301 p.

    Research output: Book/ReportBook

  86. 1999
  87. Absent fathers?

    Bradshaw, J., Stimson, C., Skinner, C. & Williams, J., 1999, London: Routledge. 258 p.

    Research output: Book/ReportBook

  88. FM'99 - Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings

    Wing, J. M. (ed.), Woodcock, J. (ed.) & Davies, J. (ed.), 1999, Springer. (Lecture Notes in Computer Science)

    Research output: Book/ReportBook

  89. FM'99 - Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings

    Wing, J. M. (ed.), Woodcock, J. (ed.) & Davies, J. (ed.), 1999, Springer. (Lecture Notes in Computer Science; vol. 1709)

    Research output: Book/ReportBook

  90. 1997
  91. Four methods for maintenance scheduling

    Smith, A., Clark, J. A. & Burke, EK., 1997, Citeseer.

    Research output: Book/ReportBook

  92. 1996
  93. 1995
  94. μKernel service for dynamic load balancing

    Grigoras, D. & Calinescu, R., 1 Dec 1995, Amsterdam, Netherlands: IOS Press. 11 p.

    Research output: Book/ReportBook

  95. Applications of functional programming

    Runciman, C. (ed.) & Wakeling, D. (ed.), 1995, UCL Press.

    Research output: Book/ReportBook

  96. Z in practice

    Barden, R., Stepney, S. & Cooper, D., 1995, Prentice Hall. (BCS practitioner series)

    Research output: Book/ReportBook

  97. 1994
  98. Analysing Systems: determining requirements for object-oriented development

    MacLean, R., Stepney, S., Smith, S., Tordoff, N., Gradwell, D., Hoverd, T. & Katz, S., 1994, Prentice Hall.

    Research output: Book/ReportBook

  99. 1993
  100. FME '93 - Industrial-Strength Formal Methods: First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993, Proceedings

    Woodcock, J. (ed.) & Larsen, P. G. (ed.), 1993, Springer. (Lecture Notes in Computer Science; vol. 670)

    Research output: Book/ReportBook

  101. High integrity compilation - a case study

    Stepney, S., 1993, Prentice Hall.

    Research output: Book/ReportBook

  102. Mathematics of Program Construction: Second International Conference, Oxford, U.K., June 29 - July 3, 1992, Proceedings

    Bird, R. S. (ed.), Morgan, C. (ed.) & Woodcock, J. (ed.), 1993, Springer. (Lecture Notes in Computer Science; vol. 669)

    Research output: Book/ReportBook

  103. 1992
  104. Education and Training for Safety-Critical Systems Practitoners

    McDermid, J. A. & Wichmann, B. A. (ed.), 1992, John Wiley & Sons.

    Research output: Book/ReportBook

  105. Software Engineer's Reference Book

    McDermid, J. A., 1992, 1 ed. Oxford: Butterworth Heinemann.

    Research output: Book/ReportBook

  106. Software Engineering Environments: Automated Support for Software Engineering

    Brown, A. W., Earl, A. N. & McDermid, J. A., 1992, London: McGraw-Hill Book Company.

    Research output: Book/ReportBook

  107. 1991
  108. Architectural Design

    Buxton, J. N., McDermid, J. A. & McDermid, J. A. (ed.), 1991, Oxford: Butterworth Heinemann.

    Research output: Book/ReportBook

  109. 1990
  110. Neural Computing: An Introduction

    Jackson, T. & Beale, R., 1990, Bristol: Adam Hilger. 240 p.

    Research output: Book/ReportBook

  111. 1989
  112. ESEC '89: 2nd European Software Engineering Conference, University of Warwick, Coventry, UK, September 11-15, 1989, Proceedings

    Ghezzi, C. (ed.) & McDermid, J. A. (ed.), 1989, Springer. (Lecture Notes in Computer science; vol. 387)

    Research output: Book/ReportBook

  113. ESEC'89 — Proceedings of the Second European Conference on Software Engineering

    Ghezzi, C. & McDermid, J. A., 1989, Springer-verlag. (Lecture Notes in Computer Science)

    Research output: Book/ReportBook

  114. Software Design Methods: Characteristics and Choice

    McDermid, J. A. & Davies, A. C. (ed.), 1989, Butterworth Scientific.

    Research output: Book/ReportBook

  115. 1985
  116. Integrated Project Support Environments

    McDermid, J. A., 1985, Peter Peregrinus Limited.

    Research output: Book/ReportBook

  117. 1984
  118. Life Cycle Support in the Ada Environment

    McDermid, J. A. & Ripken, K., 1984, Cambridge University Press. 259 p.

    Research output: Book/ReportBook