Search research publications and outputs

  1. 2019
  2. Decentralised Gambling: The York Combined Transaction Set

    Scholten, O. J., Zendle, D. & Walker, J. A., 11 Jul 2019

    Research output: Other contribution

  3. 2016
  4. Distance Metric Ensemble Learning and the Andrews-Curtis Conjecture

    Krawiec, K. & Swan, J., 2016, 11 p.

    Research output: Other contribution

  5. 2012
  6. Specification and Refinement of Type Interfaces in Scientific Software

    Galloway, A. J., Harris, P., Woodcock, J. & Paige, R. F., Jun 2012, University of York.

    Research output: Other contribution

  7. A Model of Computing as a Service for Cost Analysis

    Johnson, K. H. A. & Tucker, J. V., 2012, (Unpublished) 10 p.

    Research output: Other contribution

  8. 2010
  9. A Synchronous Approach to Threaded Program Verification

    Johnson, K. H. A., Besnard, L., Gautier, T. & Talpin, J-P., 2010, (Unpublished) 32 p.

    Research output: Other contribution

  10. 2009
  11. 2008
  12. The Data Type of Spatial Objects

    Johnson, K. H. A. & Tucker, J. V., 2008, (Unpublished) 39 p.

    Research output: Other contribution

  13. 2007
  14. Evolutionary scheduling

    Dahal, K., Tan, K. C. & Cowling, P. I., 2007, Springer Science Business Media.

    Research output: Other contribution

  15. 2004
  16. Enabling Technologies for the Interoperable Enterprise

    Morin, J. H., Pawlak, M. & Oriol, M., 2004, Citeseer.

    Research output: Other contribution

Previous 1 2 Next