Search research publications and outputs

  1. μKernel service for dynamic load balancing

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

    Research output: Book/ReportBook

  2. \Isetl-sc \Linda: Parallel Programming with Bags

    Douglas, A., Wood, A. & Rowstron, A., 1995, Department of Computer Science, University of York. (Computer Science Technical Report Series; vol. YCS-1995-257)

    Research output: Book/ReportOther report

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

  4. Z in practice

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

    Research output: Book/ReportBook

  5. Writing Effective Security Abuse Cases

    Srivratanakul, T., Clark, J. A. & Polack, F., 2004, Department of Computer Science, University of York. 52 p. (York Computer Science Technical Report; vol. YCS, no. YCS-2004-375)

    Research output: Book/ReportOther report

  6. Women's Current Pension Arrangements: Information from the General Household Survey

    Hutton, S., Williams, J. & Kennedy, S., 1997, Department of Social Security, London: Social Research Branch. (DSS In house report)

    Research output: Book/ReportCommissioned report

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

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

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

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

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

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

  13. Therapeutic community effectiveness: a systematic international review of therapeutic community treatment for people with personality disorders and mentally disordered offenders

    Lees, J., Manning, N. & Rawlings, B., Oct 1999, York: University of York. 124 p.

    Research output: Book/ReportCommissioned report

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

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

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

  17. The Probe Project

    Blanchard, T. D. & McDermid, J. A., 1992, The Department of Computer Science, University of York. (York Computer Science Technical Report Series ("Yellow Reports"); no. YCS-1992-167)

    Research output: Book/ReportOther report

  18. The Epsilon Book

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

    Research output: Book/ReportBook

  19. The DeCCo Project Papers VI: Z to Prolog DCTG translation guidelines

    Stepney, S., 1 Jun 2003, Department of Computer Science, University of York. (Computer Science Technical Report; vol. YCS-2003-363)

    Research output: Book/ReportOther report

  20. The DeCCo Project Papers V: Compiler Correctness Proofs

    Stepney, S., 1 Jun 2003, Department of Computer Science, University of York. (Computer Science Technical Report series; vol. YCS-2003-362)

    Research output: Book/ReportOther report

  21. The DeCCo Project Papers IV: Z Specification of Linker and Hexer

    Stepney, S., 1 Jun 2003, Department of Computer Science, University of York. (Computer Science Technical Report Series; vol. YCS-2002-361)

    Research output: Book/ReportOther report

  22. The DeCCo Project Papers III: Z Specification of Compiler Templates

    Stepney, S. & Nabney, I. T., 1 Jun 2003, Department of Computer Science, University of York. (Computer Science Technical Report Series; vol. YCS-2002-361)

    Research output: Book/ReportOther report

  23. The DeCCo Project Papers II: Z Specification of Asp

    Stepney, S. & Nabney, I. T., 1 Jun 2003, Department of Computer Science, University of York. (Computer Science Technical Report; vol. YCS-2002-359)

    Research output: Book/ReportOther report

  24. The DeCCo Project Papers I: Z Specification of Pasp

    Stepney, S. & Nabney, I. T., 1 Jun 2003, Department of Computer Science, University of York. (Computer Science Technical Report series; vol. YCS-2002-358)

    Research output: Book/ReportOther report

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

  26. Structural, Syntactic, and Statistical Pattern Recognition: Joint IAPR International Workshop, S+SSPR 2018, Beijing, China, August 17-19, 2018, Proceedings

    Bai, X., Hancock, E. R. (ed.), Ho, T. K. (ed.), Wilson, R. C. (ed.), Biggio, B. (ed.) & Robles-Kelly, A., 2018, SPRINGER. 540 p. (Lecture Notes in Computer Science)

    Research output: Book/ReportAnthology

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

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

  29. Software Engineer's Reference Book

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

    Research output: Book/ReportBook

  30. Software Design Methods: Characteristics and Choice

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

    Research output: Book/ReportBook

  31. Situation coverage – a coverage criterion for testing autonomous robots

    Alexander, R., Hawkins, H. R. & Rae, A. J., Feb 2015, Department of Computer Science, University of York. 21 p.

    Research output: Book/ReportOther report

  32. Similarity-Based Pattern Recognition - Second International Workshop, SIMBAD 2013, York, UK, July 3-5, 2013. Proceedings

    Hancock, E. R. & Pelillo, M., 2013, Springer Berlin / Heidelberg. (Lecture Notes in Computer Science,; vol. 7953)

    Research output: Book/ReportAnthology

  33. Security Zonal Analysis

    Srivratanakul, T., Clark, J. A. & Polack, F., 2004, Department of Computer Science, University of York. 43 p. (York Computer Science Technical Report)

    Research output: Book/ReportOther report

  34. Security Assurance Cases: Motivation and the State of the Art

    Alexander, R., Hawkins, R. D. & Kelly, T., Apr 2011, Department of Computer Science, University of York.

    Research output: Book/ReportCommissioned report

  35. Research Method for Human-Computer Interaction

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

    Research output: Book/ReportBook

  36. Remove this!

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

    Research output: Book/ReportBook

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

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

  39. Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications: 19th Iberoamerican Congress, CIARP 2014, Puerto Vallarta, Mexico.

    Bayro Corrochano, E. (ed.) & Hancock, E. R. (ed.), 3 Dec 2014, Heidelberg: Springer. 1050 p. (Lecture Note in Computer Science; vol. 8827)

    Research output: Book/ReportAnthology

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

  41. Proceedings of the Tenth Workshop on Energy Methods in Computer Vision and Pattern Recognition

    Pelillo, M. (ed.) & Hancock, E. R., Mar 2018, Berlin: Springer. 500 p. (Lecture Notes in Computer Science; vol. 10746)

    Research output: Book/ReportAnthology

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

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

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

    Research output: Book/ReportBook

  44. Proceedings of the 1st International Workshop on Assurance Cases for Software-Intensive Systems, ASSURE '13, San Francisco, California, USA, May 19, 2013

    Denney, E. (ed.), Habli, I. (ed.), Kelly, T. (ed.), Knight, J. C. (ed.) & Pai, G. (ed.), 2013, IEEE Computer Society Press.

    Research output: Book/ReportCommissioned report

  45. Practical Distributed Processing

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

    Research output: Book/ReportBook

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

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

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

  49. Neural Computing: An Introduction

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

    Research output: Book/ReportBook

  50. Narrating Complexity

    Walsh, R. (ed.) & Stepney, S. (ed.), 2018, London: Springer.

    Research output: Book/ReportAnthology

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

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

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

  54. Mapping employment focussed services for disabled people

    Arksey, H., Thornton, P. & Williams, J., 2002, London: Social Research Branch, Department for Work and Pensions. (Department for Work and Pensions In-house Report)

    Research output: Book/ReportCommissioned report

  55. Life Cycle Support in the Ada Environment

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

    Research output: Book/ReportBook

  56. Learning Worst-Case Execution Time Loop Bounds with Inductive Logic Programming

    Kazakov, D., Bate, I., Muggleton, S. (ed.) & Otero, R. (ed.), 1 Aug 2006, Santiago de Compostela: University of Corunna.

    Research output: Book/ReportCommissioned report

  57. Learning Language in Logic

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

    Research output: Book/ReportBook

  58. Interpretations of Probability, Nonstandard Analysis and Confirmation Theory

    Cussens, J., 1991, King's College, London.

    Research output: Book/ReportCommissioned report

  59. Integrated Project Support Environments

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

    Research output: Book/ReportBook

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

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

  62. Incremental Type Checking in Z

    Vasconcelos, A. M. L. D. & McDermid, J. A., 1 Dec 1992, Department of Computer Science, University of York. (Computer Science Technical Report Series; vol. YCS-1992-185)

    Research output: Book/ReportOther report

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

  64. High integrity compilation - a case study

    Stepney, S., 1993, Prentice Hall.

    Research output: Book/ReportBook

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

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

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

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

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

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

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

  72. Four methods for maintenance scheduling

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

    Research output: Book/ReportBook

  73. Formalizing anonymity: A review

    Wright, J., Stepney, S., Clark, J. A. & Jacob, J. L., 2005, YCS-2005-389 ed. Department of Computer Science, University of York. 64 p. (York Computer Science Technical Report Series; vol. YCS, no. YCS-2005-389)

    Research output: Book/ReportOther report

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

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

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

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

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

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

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

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

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

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

  84. Education and Training for Safety-Critical Systems Practitoners

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

    Research output: Book/ReportBook

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

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

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

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

  89. Doing Better Statistics in Human-Computer Interaction

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

    Research output: Book/ReportBook

  90. Distributed, embedded and real-time java systems

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

    Research output: Book/ReportBook

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

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

  93. Concurrent and real-time programming in Ada

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

    Research output: Book/ReportBook

  94. Computational Matter

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

    Research output: Book/ReportBook

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

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

  97. CSP/FDR2 to Handel-C translation

    Stepney, S., 1 Jun 2003, The Department of Computer Science, University of York. (Department of Computer Science Technical Report; vol. YCS-2003-357)

    Research output: Book/ReportOther report

  98. Breaking the Model: finalisation and a taxonomy of security attack

    Stepney, S., Clark, J. A. & Chivers, H., 2004, Department of Computer Science, University of York. 20 p. (York Computer Science Technical Report; vol. YCS, no. YCS-2004-371)

    Research output: Book/ReportOther report

  99. Automatic test-data generation for testing simulink models

    Zhan, Y. & Clark, J. A., 2004, Department of Computer Science, University of York. 16 p. (York Computer Science Technical Report ; vol. YCS, no. YCS-2004-382)

    Research output: Book/ReportOther report

  100. Artificial immune systems - a new computational intelligence paradigm

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

    Research output: Book/ReportBook

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

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

    Research output: Book/ReportBook

  102. Artificial Immune Systems: A New Computational Approach

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

    Research output: Book/ReportBook

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

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

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

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

  107. Architectural Design

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

    Research output: Book/ReportBook

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

  109. Applications of functional programming

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

    Research output: Book/ReportBook

  110. Animal Social Networks

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

    Research output: Book/ReportBook

  111. Analysis of Dependable Computing Systems

    Nicholson, M. & McDermid, J. A., 1994, Department of Computer Science, University of York. (Computer Science Technical Report Series; vol. YCS-1994-245)

    Research output: Book/ReportOther report

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

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

  114. An Evaluation of the Ten15 Persistent Store

    Blanchard, T. D. & McDermid, J. A., 1992, Department of Computer Science, University of York. (York Computer Science Technical Report Series ("Yellow Reports"); no. YCS-1992-187)

    Research output: Book/ReportOther report

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

  116. Absent fathers?

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

    Research output: Book/ReportBook

  117. A survey of authentication protocol literature: Version 1.0

    Clark, J. A. & Jacob, J. L., 1997, Citeseer.

    Research output: Book/ReportOther report

  118. A search-based approach to the automated design of security protocols

    Hao, C., Clark, JA. & Jacob, J. L., 2004, YCS-2004-376 ed. Department of Computer Science, University of York. 102 p. (York Computer Science Technical Report Series ("Yellow Reports"); vol. YCS , no. YCS-2004-376)

    Research output: Book/ReportOther report

  119. A Z Patterns Catalogue II: definitions and laws, v0.1

    Valentine, S. H., Stepney, S. & Toyn, I., 1 Oct 2004, Department of Computer Science, University of York. (Department of Computer Science Technical Report; vol. YCS-2004-383)

    Research output: Book/ReportOther report

  120. A Z Patterns Catalogue I: specification and refactorings, v0.1

    Stepney, S., Polack, F. & Toyn, I., 1 Jan 2003, Department of Computer Science, University of York. (Department of Computer Science Technical Report series; vol. YCS-2003-349)

    Research output: Book/ReportOther report

  121. 3D Imaging, Analysis and Applications

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

    Research output: Book/ReportBook