All Stories

  1. Vulnerability modelling with functional programming and dependent types

    Article • Mathematical Structures in Computer Science, December 2014, Cambridge University Press

    Dr Cezar Ionescu

  2. Coastal flood damage and adaptation costs under 21st century sea-level rise

    Article • Proceedings of the National Academy of Sciences, February 2014, Proceedings of the National Academy of Sciences

    Dr Cezar Ionescu

  3. Clarifying vulnerability definitions and assessments using formalisation

    Article • International Journal of Climate Change Strategies and Management, February 2013, Emerald

    Dr Cezar Ionescu

  4. Dependently-Typed Programming in Scientific Computing

    Article • January 2013, Springer Science + Business Media

    Dr Cezar Ionescu

  5. Towards a Formal Framework of Vulnerability to Climate Change

    Article • Environmental Modeling & Assessment, October 2008, Springer Science + Business Media

    Dr Cezar Ionescu