Search research publications and outputs

  1. 3D Imaging, Analysis and Applications

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

    Research output: Book/ReportBook

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

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

  4. Absent fathers?

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

    Research output: Book/ReportBook

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

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

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

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

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

  10. Animal Social Networks

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

    Research output: Book/ReportBook

  11. Applications of functional programming

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

    Research output: Book/ReportBook

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

  13. Architectural Design

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

    Research output: Book/ReportBook

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

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

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

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

  18. Artificial Immune Systems: A New Computational Approach

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

    Research output: Book/ReportBook

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

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

    Research output: Book/ReportBook

  20. Artificial immune systems - a new computational intelligence paradigm

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

    Research output: Book/ReportBook

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

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

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

  24. Computational Matter

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

    Research output: Book/ReportBook

  25. Concurrent and real-time programming in Ada

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

    Research output: Book/ReportBook

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

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

  28. Distributed, embedded and real-time java systems

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

    Research output: Book/ReportBook

  29. Doing Better Statistics in Human-Computer Interaction

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

    Research output: Book/ReportBook

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

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

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

  33. Education and Training for Safety-Critical Systems Practitoners

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

    Research output: Book/ReportBook

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

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

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

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

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

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

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

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

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

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

  44. Four methods for maintenance scheduling

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

    Research output: Book/ReportBook

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

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

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

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

Previous 1 2 3 Next