Search research publications and outputs

  1. 2006
  2. Verified Software: A Grand Challenge

    Jones, C. B., O'Hearn, P. W. & Woodcock, J., Apr 2006

    Editorial in Computer

  3. 2005
  4. 2004
  5. 2003
  6. 2002
  7. 2001
  8. A penalized likelihood approach to image warping - Discussion

    Molchanov, I., Jennison, C., Ersboll, B. K., Hancock, E., Wilson, R., Horgan, G., Kent, J. T., Ashburner, J., Dryden, I. L., Petrou, M., Angulo, J. M., Berman, M., Coleman, R., Duta, N., Jain, A. K., Ghosh, J. K., Murthy, C. A., Gray, A., Gustafsson, J., Rudemo, M. & 14 others, Hogg, D., Koch, I., Linney, A., Ramsay, J. O., Ramsay, T. O., Rao, M. M., Sebastiani, G., de Souza, K., Sun, C. M., Buckley, M., Titterington, D. M., Trubuil, A., Worsley, K. J. & Yu, K. M., 2001

    Editorial in JOURNAL OF THE ROYAL STATISTICAL SOCIETY SERIES B-STATISTICAL METHODOLOGY

  9. 2000
  10. Statistical and logical reasoning in disambiguation

    Wilks, Y. A., Pulman, S. G., Pereira, F., Jones, K. I. B. S., Jourlin, P., Cussens, J. & Sabin, M., 15 Apr 2000

    Editorial in Philosophical Transactions: Mathematical, Physical and Engineering Sciences

  11. 1998
  12. Extreme interleavings

    Ben-Ari, M. & Burns, A., 1998

    Editorial in Ieee concurrency

  13. 1995
  14. 1993
  15. 1991
  16. 1987
Previous 1 2 Next