Search research publications and outputs

  1. 2010
  2. ENERGY EFFICIENCY IN COMMUNICATIONS

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

    Editorial in Ieee communications magazine

  3. Guest editorial

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

    Editorial in Software and Systems Modeling

  4. 2009
  5. 2008
  6. Untitled

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

    Editorial in Formal Aspects of Computing

  7. Guest Editorial

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

    Editorial in Formal Asp. Comput.

  8. 2007
  9. Editorial

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

    Editorial in Formal Asp. Comput.

  10. 2006
  11. Verified Software: A Grand Challenge

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

    Editorial in Computer

  12. 2005
  13. 2004
  14. 2003
  15. 2002
Previous 1 2 Next