Zum Hauptinhalt springen
Portrait Nuria Brede

Dipl.-Inf. Nuria Brede

 

Universität Potsdam
Institut für Informatik und Computational Science
Campus Golm
Haus 70, Raum 1.08
An der Bahn 2
14476 Potsdam

Nuria Brede

[1]
M. M. Montero, N. Brede, V. Couplet, M. Crucifix, N. Botta, und 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 u. a., „Responsibility under uncertainty: which climate decisions matter most?“, Environmental Modeling & Assessment, S. 1–29, 2023, doi: 10.1007/s10666-022-09867-w.
[4]
J. Sawicki u. a., „Perspectives on adaptive dynamical systems“, Chaos: An Interdisciplinary Journal of Nonlinear Science, Juli 2023, doi: 10.1063/5.0147231.
[5]
M. Martnez Montero, M. Crucifix, V. Couplet, N. Brede, und 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, Bd. 15, Nr. 21, Art. Nr. 21, 2022, doi: 10.5194/gmd-15-8059-2022.
[6]
N. Botta, N. Brede, M. Crucifix, und 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, und 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, und M. Martínez-Montero, „Decision Theory and Climate Policy“. 2022. doi: 10.5281/zenodo.6817454.
[9]
M. Martinez Montero, M. Crucifix, N. Botta, und N. Brede, „Commitment as lost opportunities“, in EGU General Assembly Conference Abstracts, 2022, S. EGU22-5928. doi: 10.5194/egusphere-egu22-5928.
[10]
N. Botta, N. Brede, M. Crucifix, und M. M. Montero, „A note on climate science and climate policy“, 2022, doi: 10.31223/X57M0S.
[11]
N. Botta, N. Brede, P. Jansson, und T. Richter, „Extensional equality preservation and verified generic programming“, Journal of Functional Programming, Bd. 31, S. e24, 2021, doi: 10.1017/S0956796821000204.
[12]
N. Brede und N. Botta, „On the correctness of monadic backward induction“, Journal of Functional Programming, Bd. 31, S. e26, 2021, doi: 10.1017/S0956796821000228.
[13]
N. Botta, N. Brede, M. Crucifix, und M. Martnez-Montero, „A note on climate science and verified programming“. 2021. doi: 10.5281/zenodo.4543472.
[14]
N. Brede und 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, S. 1–13. doi: 10.1109/LICS52264.2021.9470523.
[15]
M. Martinez Montero, N. Botta, N. Brede, und M. Crucifix, „Optimal policies with tipping points and uncertainties“, in EGU General Assembly Conference Abstracts, 2020, S. 5470. doi: 10.5194/egusphere-egu2020-5470.
[16]
N. Botta, N. Brede, M. Crucifix, und M. Martnez Montero, „Course on functional languages and dependently typed languages“, 2020, doi: 10.5281/ZENODO.4543579.
[17]
N. Brede und C. Kreitz, „$\lambda$$\mu$PRL--A Proof Refinement Calculus for Classical Reasoning in Computational Type Theory“, 2009.
[18]
N. Brede und C. Kreitz, „$\lambda$$\mu$PRL--A Proof Refinement Calculus for Classical Reasoning in Computational Type Theory“, Citeseer.
wird geladen