Search research publications and outputs

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

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

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

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

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

  9. 1997
  10. A survey of authentication protocol literature: Version 1.0

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

    Research output: Book/ReportOther report

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

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

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

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

Previous 1 2 3 Next