Skip to main content

Nuria Brede

[1]
M. M. Montero, N. Brede, V. Couplet, M. Crucifix, N. Botta, and C. Wieners, ‘Lost options commitment: how short-term policies affect long-term scope of action’, Oxford Open Climate Change, Jan. 2024, doi: 10.1093/oxfclm/kgae004.
[2]
N. Brede, ‘On monadic backward induction and extensional equality preservation in intensional type theory’, Universitat Potsdam, 2024. doi: 10.25932/PUBLISHUP-66850.
[3]
N. Botta et al., ‘Responsibility under uncertainty: which climate decisions matter most?’, Environmental Modeling & Assessment, pp. 1–29, 2023, doi: 10.1007/s10666-022-09867-w.
[4]
J. Sawicki et al., ‘Perspectives on adaptive dynamical systems’, Chaos: An Interdisciplinary Journal of Nonlinear Science, Jul. 2023, doi: 10.1063/5.0147231.
[5]
M. Martnez Montero, M. Crucifix, V. Couplet, N. Brede, and N. Botta, ‘SURFER v2.0: a flexible and simple model linking anthropogenic CO$_2$ emissions and solar radiation modification to ocean acidification and sea level rise’, Geoscientific Model Development, vol. 15, no. 21, Art. no. 21, 2022, doi: 10.5194/gmd-15-8059-2022.
[6]
N. Botta, N. Brede, M. Crucifix, and M. Martinez Montero, ‘A DSL for Monadic Decision Problems, Responsibility under Uncertainty and Tipping Point Notions’. Zenodo, 2022. doi: 10.5281/ZENODO.6820605.
[7]
N. Brede, N. Botta, M. Crucifix, and M. Martínez-Montero, ‘Climate sensitivity, commitment and abrupt change: toward an ontology for climate tipping point research’. 2022. doi: 10.5281/zenodo.6820683.
[8]
N. Botta, N. Brede, M. Crucifix, and M. Martínez-Montero, ‘Decision Theory and Climate Policy’. 2022. doi: 10.5281/zenodo.6817454.
[9]
M. Martinez Montero, M. Crucifix, N. Botta, and N. Brede, ‘Commitment as lost opportunities’, in EGU General Assembly Conference Abstracts, 2022, pp. EGU22-5928. doi: 10.5194/egusphere-egu22-5928.
[10]
N. Botta, N. Brede, M. Crucifix, and M. M. Montero, ‘A note on climate science and climate policy’, 2022, doi: 10.31223/X57M0S.
[11]
N. Botta, N. Brede, P. Jansson, and T. Richter, ‘Extensional equality preservation and verified generic programming’, Journal of Functional Programming, vol. 31, p. e24, 2021, doi: 10.1017/S0956796821000204.
[12]
N. Brede and N. Botta, ‘On the correctness of monadic backward induction’, Journal of Functional Programming, vol. 31, p. e26, 2021, doi: 10.1017/S0956796821000228.
[13]
N. Botta, N. Brede, M. Crucifix, and M. Martnez-Montero, ‘A note on climate science and verified programming’. 2021. doi: 10.5281/zenodo.4543472.
[14]
N. Brede and H. Herbelin, ‘On the logical structure of choice and bar induction principles’, in 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021, Rome, Italy, June 29 - July 2, 2021, 2021, pp. 1–13. doi: 10.1109/LICS52264.2021.9470523.
[15]
M. Martinez Montero, N. Botta, N. Brede, and M. Crucifix, ‘Optimal policies with tipping points and uncertainties’, in EGU General Assembly Conference Abstracts, 2020, p. 5470. doi: 10.5194/egusphere-egu2020-5470.
[16]
N. Botta, N. Brede, M. Crucifix, and M. Martnez Montero, ‘Course on functional languages and dependently typed languages’, 2020, doi: 10.5281/ZENODO.4543579.
[17]
N. Brede and C. Kreitz, ‘$\lambda$$\mu$PRL--A Proof Refinement Calculus for Classical Reasoning in Computational Type Theory’, 2009.
[18]
N. Brede and C. Kreitz, ‘$\lambda$$\mu$PRL--A Proof Refinement Calculus for Classical Reasoning in Computational Type Theory’, Citeseer.
loading