Search research publications and outputs

  1. 2018
  2. 2016
  3. 2015
  4. Editorial

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

    Editorial in Formal Aspects of Computing

  5. 2014
  6. 2012
  7. 2011
  8. Editorial

    Liu, Z. & Woodcock, J., 2011

    Editorial in Formal Asp. Comput.

  9. 2010
  10. ENERGY EFFICIENCY IN COMMUNICATIONS

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

    Editorial in Ieee communications magazine

  11. Guest editorial

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

    Editorial in Software and Systems Modeling

  12. 2009
  13. 2008
  14. Untitled

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

    Editorial in Formal Aspects of Computing

Previous 1 2 3 Next