Search research publications and outputs

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

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

    Editorial in Ieee concurrency

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

  9. 2001
  10. 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 othersHogg, 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

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

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

    Editorial in Computer

  17. 2007
  18. Editorial

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

    Editorial in Formal Asp. Comput.

  19. 2008
  20. Guest Editorial

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

    Editorial in Formal Asp. Comput.

  21. Untitled

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

    Editorial in Formal Aspects of Computing

  22. 2009
  23. 2010
  24. Guest editorial

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

    Editorial in Software and Systems Modeling

  25. ENERGY EFFICIENCY IN COMMUNICATIONS

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

    Editorial in Ieee communications magazine

  26. 2011
  27. Editorial

    Liu, Z. & Woodcock, J., 2011

    Editorial in Formal Asp. Comput.

  28. 2012
  29. 2014
  30. 2015
  31. Editorial

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

    Editorial in Formal Aspects of Computing

  32. 2016
  33. 2017
  34. 2018
  35. 2019