Search research publications and outputs

  1. 2020
  2. 2019
  3. 2018
  4. 2017
  5. 2016
  6. 2015
  7. Editorial

    Woodcock, J. C. P. & Jones, C. B., Nov 2015

    Editorial in Formal Aspects of Computing

  8. 2014
  9. 2013
  10. Advances in pattern recognition methodology and applications

    Hancock, E., Martinez-Trinidad, J. F. & Carrasco-Ochoa, J. A., 1 Mar 2013

    Editorial in Pattern Recognition Letters

  11. 2012
  12. 2011
  13. Editorial

    Liu, Z. & Woodcock, J., 2011

    Editorial in Formal Asp. Comput.

  14. 2010
  15. ENERGY EFFICIENCY IN COMMUNICATIONS

    Zhang, H., Gladisch, A., Pickavet, M., Tao, Z. & Mohr, W., Nov 2010

    Editorial in IEEE Communications Magazine

  16. Guest editorial

    Paige, R. F., Olsen, G. K., Oldevik, J. & Neple, T., Sep 2010

    Editorial in Software and Systems Modeling

  17. 2009
  18. 2008
  19. Untitled

    Barkaoui, K., Broy, M., Cavalcanti, A. & Cerone, A., Jul 2008

    Editorial in Formal Aspects of Computing

  20. Guest Editorial

    Barkaoui, K., Broy, M., Cavalcanti, A. & Cerone, A., 2008

    Editorial in Formal Asp. Comput.

  21. 2007
  22. Editorial

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

    Editorial in Formal Asp. Comput.

  23. 2006
  24. Verified Software: A Grand Challenge

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

    Editorial in Computer

  25. 2005
  26. 2004
  27. 2003
  28. 2002
  29. 2001
  30. 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

  31. 2000
  32. 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

  33. 1998
  34. Extreme interleavings

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

    Editorial in Ieee concurrency

  35. 1995
  36. 1993
  37. 1991
  38. 1987