| 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 | 34 | 2023 |
| 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 | 6 | 2022 |
| 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 | 6 | 2021 |
| On the correctness of monadic backward induction N Brede, N Botta Journal of Functional Programming 31, 2021 | 6 | 2021 |
| Extensional equality preservation and verified generic programming N Botta, N Brede, P Jansson, T Richter Journal of Functional Programming 31, 2021 | 6 | 2021 |
| 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 | 5 | 2023 |
| λµ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 | 4 | 2009 |
| 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 | 3 | 2024 |
| Commitment as Lost Opportunities M Martinez Montero, M Crucifix, N Botta, N Brede EGU General Assembly Conference Abstracts, EGU22-5928, 2022 | 3 | 2022 |
| Extensional Equality Preservation in Intensional MLTT N Brede, T Richter, P Jansson, N Botta 29th International Conference on Types for Proofs and Programs TYPES 2023 …, 2023 | 1 | 2023 |
| On monadic backward induction and extensional equality preservation in intensional type theory N Brede Doctoral Dissertation, University of Potsdam, 2024. URL https://doi.org/10 …, 2024 | | 2024 |
| 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 |
Nicola BottaPIK Potsdam Institute for Climate Impact ResearchVerified email at pik-potsdam.de
