Refine your results

Easily toggle selected advanced search features:

Search research publications and outputs

  1. An Electronic Purse: Specification, Refinement, and Proof

    Stepney, S., Cooper, D. & Woodcock, J., 1 Jul 2000, Oxford: Oxford University Computing Laboratory.

    Research output: Working paper

  2. An Evaluation of the Ten15 Persistent Store

    Blanchard, T. D. & McDermid, J. A., 1 Dec 1992.

    Research output: Working paper

  3. An Examination of the Efficiency of Sorted Deduction

    Abrams, C. B. & Frisch, A. M., Mar 1993.

    Research output: Working paper

  4. An Incentive Mechanism for Using Risk Adjuster to Reimburse Health Care Providers

    Datta, B., 2009, Department of Economics and Related Studies, University of York.

    Research output: Working paperDiscussion paper

  5. An Integral Inequality on C([0,1]) with Application to the Ornstein-Uhlenbeck Process

    Bailey, R. W., Burridge, P. & Nandeibam, S., 1998.

    Research output: Working paper

  6. An Introduction to ZedCharts and Its Applications

    Shi, F., McDermid, J. A. & Armstrong, J. M., 17 Jan 2002.

    Research output: Working paper

Previous 12 3 4 5 6 7 8 9 ...69 Next