Cezar Ionescu
Cezar Ionescu
Chalmers University of Technology
Verified email at pik-potsdam.de - Homepage
TitleCited byYear
Coastal flood damage and adaptation costs under 21st century sea-level rise
J Hinkel, D Lincke, AT Vafeidis, M Perrette, RJ Nicholls, RSJ Tol, ...
Proceedings of the National Academy of Sciences 111 (9), 3292-3297, 2014
5112014
Towards a formal framework of vulnerability to climate change
C Ionescu, RJT Klein, J Hinkel, KSK Kumar, R Klein
Environmental Modeling & Assessment 14 (1), 1-16, 2009
2982009
Integrating social vulnerability into water management
TE Downing, J Aerts, J Soussan, O Barthelemy, S Bharwani, C Ionescu, ...
Climatic Change, 2006
1022006
Clarifying vulnerability definitions and assessments using formalisation
S Wolf, J Hinkel, M Hallier, A Bisaro, D Lincke, C Ionescu, RJT Klein
International Journal of Climate Change Strategies and Management 5 (1), 54-70, 2013
622013
A new growth path for Europe
CC Jaeger, L Paroussos, D Mangalagiu, R Kupers, A Mandel, JD TÓbara, ...
Generating Prosperity and Jobs in the Low-Carbon Economy. Synthesis Reportá…, 2011
272011
Vulnerability modeling and monadic dynamical systems
C Ionescu
262009
On optimal choice problem solving
C Resteanu, FG Filip, C Ionescu, M Somodi
1996 IEEE International Conference on Systems, Man and Cyberneticsá…, 1996
191996
Dependently-typed programming in scientific computing
C Ionescu, P Jansson
Symposium on Implementation and Application of Functional Languages, 140-156, 2012
142012
Multi-Language Library Development From Haskell Type Classes to C++ Concepts
M Zalewski, A Priesnitz, C Ionescu, N Botta
142007
Relation-based computations in a monadic BSP model
N Botta, C Ionescu
Parallel Computing 33 (12), 795-821, 2007
122007
A functional framework for agent-based models of exchange
N Botta, A Mandel, C Ionescu, M Hofmann, D Lincke, S Schupp, C Jaeger
Applied mathematics and computation 218 (8), 4025-4040, 2011
102011
A formal framework of vulnerability. Final deliverable to the ADAM project
S Wolf, D Lincke, J Hinkel, C Ionescu, S Bisaro
Potsdam Institute for Climate Impact Research, 2008
92008
Testing versus proving in climate impact research
C Ionescu, P Jansson
Proceedings of the 18th Workshop Types for Proofs and Programs (TYPES’11) 19á…, 2013
82013
Contributions to a computational theory of policy advice and avoidability
N Botta, P Jansson, C Ionescu
Journal of Functional Programming 27, 2017
72017
Domain-specific languages of mathematics: Presenting mathematical analysis using functional programming
C Ionescu, P Jansson
arXiv preprint arXiv:1611.09475, 2016
72016
Sequential decision problems, dependently typed solutions
N Botta, C Ionescu, EC Brady
72013
Generic libraries in C++ with concepts from High-Level domain descriptions in Haskell
D Lincke, P Jansson, M Zalewski, C Ionescu
IFIP Working Conference on Domain-Specific Languages, 236-261, 2009
62009
Vulnerability to poverty and vulnerability to climate change: Conceptual framework, measurement and synergies in policy
KSK Kumar, RJT Klein, C Ionescu, J Hinkel, R Klein
Madras School of Economics, Chennai, India Working Papers, 2007
62007
Structuring Distributed Relation Based Computations with SCDRC
N Botta, C Ionescu, C Linstead, R Klein
PIK, 2006
62006
Sequential decision problems, dependent types and generic solutions
N Botta, P Jansson, C Ionescu, DR Christiansen, E Brady
arXiv preprint arXiv:1610.07145, 2016
52016
The system can't perform the operation now. Try again later.
Articles 1–20