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: 7311.0, PIK / PIK Publications , full text not public
Botta, N.; Jansson, P.; Ionesu, C.; Christiansen, D. R.; Brady, E.
Sequential decision problems, dependent types and generic solutions
In: Logical Methods in Computer Science
2016 (Accepted October). 1-23 p.
10.2168/LMCS-???
Doctype: Article (ISI journal)
   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: 128.0, PIK / PIK Publications
Krysanova, V.; Kaganovich, I.
Modelling of Ecological and Economic Systems at the Watershed Scale for Sustainable Development
In: Investing in natural capital: The ecological economic perspective
Ed.: Jansson, A.-M.; Folke, C.; Constanza, R.
Covelo : Covelo: Island Press
1994. 215-232 p.
Investing in Natural Capital: The Ecological Economic Perspective
Doctype: Article in book
Departments: Global Change & Natural Systems
version 2.00b13/16
PP&B