On the logical structure of choice and bar induction principles
Brede, Nuria, Herbelin, Hugo
Published in 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (29.06.2021)
Published in 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (29.06.2021)
Get full text
Conference Proceeding
SURFER v2.0: a flexible and simple model linking anthropogenic CO.sub.2 emissions and solar radiation modification to ocean acidification and sea level rise
Martínez Montero, Marina, Crucifix, Michel, Couplet, Victor, Brede, Nuria, Botta, Nicola
Published in Geoscientific model development (09.11.2022)
Get full text
Published in Geoscientific model development (09.11.2022)
Journal Article
Responsibility Under Uncertainty: Which Climate Decisions Matter Most?
Botta, Nicola, Brede, Nuria, Crucifix, Michel, Ionescu, Cezar, Jansson, Patrik, Li, Zheng, Martínez, Marina, Richter, Tim
Published in Environmental modeling & assessment (01.06.2023)
Published in Environmental modeling & assessment (01.06.2023)
Get full text
Journal Article
Extensional equality preservation and verified generic programming
BOTTA, NICOLA, BREDE, NURIA, JANSSON, PATRIK, RICHTER, TIM
Published in Journal of functional programming (2021)
Published in Journal of functional programming (2021)
Get full text
Journal Article
SURFER v2.0: a flexible and simple model linking anthropogenic CO2 emissions and solar radiation modification to ocean acidification and sea level rise
Marina Martínez Montero, Crucifix, Michel, Couplet, Victor, Brede, Nuria, Botta, Nicola
Published in Geoscientific Model Development (09.11.2022)
Published in Geoscientific Model Development (09.11.2022)
Get full text
Journal Article
Perspectives on adaptive dynamical systems
Sawicki, Jakub, Berner, Rico, Loos, Sarah A. M., Anvari, Mehrnaz, Bader, Rolf, Barfuss, Wolfram, Botta, Nicola, Brede, Nuria, Franović, Igor, Gauthier, Daniel J., Goldt, Sebastian, Hajizadeh, Aida, Hövel, Philipp, Karin, Omer, Lorenz-Spreen, Philipp, Miehl, Christoph, Mölter, Jan, Olmi, Simona, Schöll, Eckehard, Seif, Alireza, Tass, Peter A., Volpe, Giovanni, Yanchuk, Serhiy, Kurths, Jürgen
Published in Chaos (Woodbury, N.Y.) (01.07.2023)
Published in Chaos (Woodbury, N.Y.) (01.07.2023)
Get full text
Journal Article
SURFER v2.0: a flexible and simple model linking anthropogenic CO 2 emissions and solar radiation modification to ocean acidification and sea level rise
Martínez Montero, Marina, Crucifix, Michel, Couplet, Victor, Brede, Nuria, Botta, Nicola
Published in Geoscientific model development (09.11.2022)
Published in Geoscientific model development (09.11.2022)
Get full text
Journal Article
Lost options commitment: how short-term policies affect long-term scope of action
Marina Martinez Montero, Brede, Nuria, Couplet, Victor, Crucifix, Michel, Botta, Nicola, Wieners, Claudia
Published in arXiv.org (14.09.2023)
Published in arXiv.org (14.09.2023)
Get full text
Paper
Journal Article
Extensional equality preservation and verified generic programming
Get full text
Paper
Journal Article
Perspectives on adaptive dynamical systems
Sawicki, Jakub, Berner, Rico, Loos, Sarah A M, Anvari, Mehrnaz, Bader, Rolf, Barfuss, Wolfram, Botta, Nicola, Brede, Nuria, Franović, Igor, Gauthier, Daniel J, Goldt, Sebastian, Hajizadeh, Aida, Hövel, Philipp, Omer, Karin, Lorenz-Spreen, Philipp, Miehl, Christoph, Mölter, Jan, Olmi, Simona, Schöll, Eckehard, Seif, Alireza, Tass, Peter A, Volpe, Giovanni, Yanchuk, Serhiy, Kurths, Jürgen
Published in arXiv.org (27.05.2023)
Published in arXiv.org (27.05.2023)
Get full text
Paper
Journal Article