Cezar Ionescu
Cezar Ionescu
Technische Hochschule Deggendorf
Bestätigte E-Mail-Adresse bei th-deg.de
TitelZitiert vonJahr
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
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
Integrating social vulnerability into water management
TE Downing, J Aerts, J Soussan, O Barthelemy, S Bharwani, C Ionescu, ...
Climate Change, 2006
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, 2013
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
Vulnerability modeling and monadic dynamical systems
C Ionescu
On optimal choice problem solving
C Resteanu, FG Filip, C Ionescu, M Somodi
1996 IEEE International Conference on Systems, Man and Cybernetics …, 1996
Dependently-typed programming in scientific computing
C Ionescu, P Jansson
Symposium on Implementation and Application of Functional Languages, 140-156, 2012
Multi-Language Library Development From Haskell Type Classes to C++ Concepts
M Zalewski, A Priesnitz, C Ionescu, N Botta
Relation-based computations in a monadic BSP model
N Botta, C Ionescu
Parallel Computing 33 (12), 795-821, 2007
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
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
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
Contributions to a computational theory of policy advice and avoidability
N Botta, P Jansson, C Ionescu
Journal of Functional Programming 27, 2017
Sequential decision problems, dependently typed solutions
N Botta, C Ionescu, EC Brady
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
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
Structuring Distributed Relation Based Computations with SCDRC
N Botta, C Ionescu, C Linstead, R Klein
PIK, 2006
Domain-specific languages of mathematics: Presenting mathematical analysis using functional programming
C Ionescu, P Jansson
arXiv preprint arXiv:1611.09475, 2016
Sequential decision problems, dependent types and generic solutions
N Botta, P Jansson, C Ionescu, DR Christiansen, E Brady
arXiv preprint arXiv:1610.07145, 2016
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20