Search research publications and outputs

  1. Other report › Research
  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. 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

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

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

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

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

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

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

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

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

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

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

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

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

  17. Commissioned report › Research
  18. Interpretations of Probability, Nonstandard Analysis and Confirmation Theory

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

    Research output: Book/ReportCommissioned report

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

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

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

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

  23. Anthology › Research
  24. 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

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

  26. Book › Research
  27. 3D Imaging, Analysis and Applications

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

    Research output: Book/ReportBook

Previous 1 2 3 4 5 Next