Follow
Nuria Brede
Nuria Brede
University of Potsdam, Potsdam Institute for Climate Impact Research (PIK)
Verified email at uni-potsdam.de
Title
Cited by
Cited by
Year
Perspectives on adaptive dynamical systems
J Sawicki, R Berner, SAM Loos, M Anvari, R Bader, W Barfuss, N Botta, ...
Chaos: An Interdisciplinary Journal of Nonlinear Science 33 (7), 2023
302023
On the logical structure of choice and bar induction principles
N Brede, H Herbelin
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-13, 2021
62021
Extensional equality preservation and verified generic programming
N Botta, N Brede, P Jansson, T Richter
Journal of Functional Programming 31, 2021
52021
Responsibility under uncertainty: which climate decisions matter most?
N Botta, N Brede, M Crucifix, C Ionescu, P Jansson, Z Li, M Martínez, ...
Environmental Modeling & Assessment 28 (3), 337-365, 2023
42023
SURFER v2.0: a flexible and simple model linking anthropogenic CO2 emissions and solar radiation modification to ocean acidification and sea level rise
M Martínez Montero, M Crucifix, V Couplet, N Brede, N Botta
Geoscientific Model Development 15 (21), 8059-8084, 2022
42022
On the correctness of monadic backward induction
N Brede, N Botta
Journal of Functional Programming 31, 2021
42021
λµPRL–A Proof Refinement Calculus for Classical Reasoning in Computational Type Theory
N Brede
Diplomarbeit, University of Potsdam, 2009. URL http://www.cs.uni-potsdam.de, 2009
42009
Commitment as Lost Opportunities
M Martinez Montero, M Crucifix, N Botta, N Brede
EGU General Assembly Conference Abstracts, EGU22-5928, 2022
32022
Lost options commitment: how short-term policies affect long-term scope of action
M Martínez Montero, N Brede, V Couplet, M Crucifix, N Botta, C Wieners
Oxford Open Climate Change 4 (1), kgae004, 2024
22024
Effects of different uncertainties on optimal policies
M Martinez Montero, M Crucifix, N Brede, N Botta, V Couplet
EGU General Assembly Conference Abstracts, EGU-13893, 2023
2023
A note on climate science and climate policy
N Botta, N Brede, M Crucifix, MM Montero
EarthArXiv, 2022
2022
SURFER v1. 0: A flexible and simple model linking emissions to sea level rise
M Martínez Montero, M Crucifix, V Couplet, N Brede, N Botta
EGUsphere 2022, 1-31, 2022
2022
On the logical structure of choice and bar induction principles
N Brede, H Herbelin
arXiv preprint arXiv:2105.08951, 2021
2021
Optimal policies with tipping points and uncertainties
M Martinez Montero, N Botta, N Brede, M Crucifix
EGU General Assembly Conference Abstracts, 5470, 2020
2020
Möglichkeiten der Gleichheitsbehandlung
N Brede
2005
The system can't perform the operation now. Try again later.
Articles 1–15