http://www.pik-potsdam.de PIK Publications   
Display Documents   

   

Home
Help
Collections
People
Search
Fulltext Search
Session History
Load Basket
Login
Name:
Password:
 
Search
People:



Basket: Order by:
   Basket: 
ID: 7746.0, PIK / PIK Publications , full text not public
Botta, N.; Jansson, P.; Ionescu, C.
Contributions to a computational theory of policy advice and avoidability
In: Journal of Functional Programming
2017 (Accepted September).
OA nach Embargo ab vö
Doctype: Article (ISI journal)
   Basket: 
ID: 7521.0, PIK / PIK Publications , full text not public
Ionescu, C.
Vulnerability modelling with functional programming and dependent types
In: Mathematical Structures in Computer Science, 26 , 1
2016. 114-128 p.
Lt. Paper: Received January 2011; revised September 2012
10.1017/S0960129514000139
Doctype: Article (ISI journal)
   Basket: 
ID: 6295.0, PIK / PIK Publications , full text not public
Hinkel, J.; Lincke, D.; Vafeidis, A. T.; Perrette, M.; Nicholls, R. J.; Tol, R. S. J.; Marzeion, B.; Fettweis, X.; Ionescu, C.; Levermann, A.
Coastal flood damage and adaptation costs under 21st century sea-level rise
In: Proceedings of the National Academy of Sciences of the United States of America (PNAS), 111 , 9
2014. 3292-3297 p.
10.1073/pnas.1222469111
Doctype: Article (ISI journal)
   Basket: 
ID: 5905.0, PIK / PIK Publications , full text not public
Botta, N.; Ionescu, C.; Brady, E.
Sequential decision problems, dependently typed solutions
Conferences on Intelligent Computer Mathematics CICM (Bath 2013) ; Programming Languages for Mechanized Mathematics Systems Workshop (PLMMS)
2013.
http://www.cicm-conference.org/2013/cicm.php?event=plmms
Doctype: Conference paper
   Basket: 
ID: 5904.0, PIK / PIK Publications , full text not public
Botta, N.; Schupp, S.; Mandel, A.; Ionescu, C.; Hofmann, M.
Mathematical Specification of an Agend-Based Model of Exchange
In: Do-Form: Enabling Domain Experts to use Formalised Reasoning
Ed.: Kerber, M.; Lange, C.; Rowat, C.
Hove, UK : Society for the Study of Artificial Intelligence and Simulation of Behaviour (AISB)
2013. 38-48 p.
Proceedings of the Annual Convention of the Society for the Study of Artificial Intelligence and Simulation of Behaviour (Exeter 2013)
http://www.cs.bham.ac.uk/research/projects/formare/events/aisb2013/proceedings.php
Doctype: Article in book
   Basket: 
ID: 5198.0, PIK / PIK Publications , full text not public
Botta, N.; Mandel, A.; Ionescu, C.; Hofmann, M.; Lincke, D.; Schupp, S.; Jaeger, C.
A functional framework for agent-based models of exchange
In: Applied Mathematics and Computation, 218 , 8
2011. 4025-4040 p.
10.1016/j.amc.2011.08.051
Doctype: Article (ISI journal)
   Basket: 
ID: 3219.2, PIK / PIK Publications , full text not public
Ionescu, C.; Klein, R. J. T.; Hinkel, J.; Kavi Kumar, K. S.; Klein, R.
Towards a formal framework of vulnerability to climate change
In: Environmental Modeling and Assessment, 14 , 1
2009. 1-16 p.
10.1007/s10666-008-9179-x
Doctype: Article (ISI journal)
Departments: Data & Computation
   Basket: 
ID: 4131.0, PIK / PIK Publications
Lincke, D.; Jansson, P.; Zalewski, M.; Ionescu, C.
Generic libraries in C++ with concepts from high-level domain descriptions in Haskell: a domain-specific library for computational vulnerability assessment
In: Domain-Specific Languages: Proceedings of the IFIP TC 2 Working Conference, DSL 2009
Ed.: Taha, W. M.
Berlin : Springer
2009. 236-261 p.
Lecture Notes in Computer Science ; 5658
Conference: IFIP TC 2 Working Conference, DSL 2009 (Oxford, United Kingdom, July 2009)
10.1007/978-3-642-03034-5_12
Doctype: Article in book
   Basket: 
ID: 3910.0, PIK / PIK Publications , full text not public
Ionescu, C.; Botta, N.
Modeling versus formalization
98th Dahlem Workshop: 'Is There a Mathematics of Social Entities?' (Berlin, Germany, December 2008)
2008.
Doctype: Conference paper
   Basket: 
ID: 3818.0, PIK / PIK Publications
Lincke, D.; Ionescu, C.; Botta, N.
A generic library for Earth system modelling based on monadic systems
In: Digital earth summit on geoinformatics 2008: tools for global change research
Ed.: Ehlers, M.; Ehlers, M.; Behncke, K.; Gerstengarbe, F.-W.; Hillen, F.; Koppers, L.; Stroinck, L.; Wächter, J.
Heidelberg : Wichmann
2008. 188-194 p.
Conference: Digital Earth Summit on Geoinformatics: Tools for Global Change Research, (Potsdam, Germany, 12. - 14. November 2008)
ISBN 978-3-87907-486-0
Doctype: Article in book
   Basket: 
ID: 3313.0, PIK / PIK Publications , full text not public
Botta, N.; Ionescu, C.
Relation-based computations in a monadic BSP model
In: Parallel Computing, 33 , 12
2007. 795-821 p.
10.1016/j.parco.2007.08.002
Doctype: Article (ISI journal)
Departments: Data & Computation
   Basket: 
ID: 3061.0, PIK / PIK Publications , full text not public
Botta, N.; Ionescu, C.; Linstead, C.; Klein, R.
Structuring distributed relation-based computations with SCDRC
Potsdam : Potsdam Institute for Climate Impact Research
2006. 56 p.
PIK Report ; 103
Doctype: PIK-Series
Departments: Data & Computation
   Basket: 
ID: 2831.0, PIK / PIK Publications , full text not public
Downing, T. E.; Aerts, J.; Soussan, J.; Barthelemy, O.; Bharwani, S.; Hinkel, J.; Ionescu, C.; Klein, R. J. T.; Mata, L. J.; Matin, N.; Moss, S.; Purkey, D.; Ziervogel, G.
Integrating social vulnerability into water management
Oxford, UK : Stockholm Environment Institute
2005. vi+1-32 p.
NeWater working paper ; 5
Doctype: Report
Departments: Data & Computation, Social Systems
   Basket: 
ID: 2363.0, PIK / PIK Publications , full text not public
Ionescu, C.; Klein, R. J. T.; Hinkel, J.; Kavi Kumar, K. S.; Klein, R.
Towards a formal framework of vulnerability to climate change
Ed.: Möltgen, J.
Osnabrück : Institute of Environmental Systems Research, University of Osnabrück
2005. 20 p.
NeWater Working Paper ; 1
Doctype: Report
Departments: Social Systems, Data & Computation
version 2.00b13/16
PP&B