Search research publications and outputs

  1. 2014
  2. 2012
  3. 2011
  4. Editorial

    Liu, Z. & Woodcock, J., 2011

    Editorial in Formal Asp. Comput.

  5. 2010
  6. ENERGY EFFICIENCY IN COMMUNICATIONS

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

    Editorial in Ieee communications magazine

  7. Guest editorial

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

    Editorial in Software and Systems Modeling

  8. 2009
  9. 2008
  10. Untitled

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

    Editorial in Formal Aspects of Computing

  11. Guest Editorial

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

    Editorial in Formal Asp. Comput.

  12. 2007
  13. Editorial

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

    Editorial in Formal Asp. Comput.

  14. 2006
  15. Verified Software: A Grand Challenge

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

    Editorial in Computer

  16. 2005
  17. 2004
  18. 2003
  19. 2002
  20. 2001
  21. 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

  22. 2000
  23. 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

  24. 1998
  25. Extreme interleavings

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

    Editorial in Ieee concurrency

  26. 1995
  27. 1993
  28. 1991
  29. 1987