Search research publications and outputs

  1. 1991
  2. 1993
  3. 1995
  4. 1998
  5. Extreme interleavings

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

    Editorial in Ieee concurrency

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

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

  10. 2002
  11. 2003
  12. 2004
  13. 2005
  14. 2006
  15. Verified Software: A Grand Challenge

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

    Editorial in Computer

  16. 2007
  17. Editorial

    Jones, C. B. & Woodcock, J., 2007

    Editorial in Formal Asp. Comput.

Previous 1 2 Next