Nicola Botta

Adjungerad docent vid Funktionell programmering
gravatar.com image

Visar 8 publikationer

2024

Lost options commitment: how short-term policies affect long-term scope of action

Marina Martínez Montero, Nuria Brede, Victor Couplet et al
Oxford Open Climate Change. Vol. 4 (1)
Artikel i vetenskaplig tidskrift
2023

Perspectives on adaptive dynamical systems

Jakub Sawicki, Rico Berner, Sarah A.M. Loos et al
Chaos. Vol. 33 (7)
Reviewartikel
2023

Responsibility Under Uncertainty: Which Climate Decisions Matter Most?

Nicola Botta, Nuria Brede, Michel Crucifix et al
Environmental Modeling and Assessment. Vol. 28 (3), p. 337-365
Artikel i vetenskaplig tidskrift
2022

SURFER v2.0: a flexible and simple model linking anthropogenic CO2 emissions and solar radiation modification to ocean acidification and sea level rise

Marina Martinez Montero, Michel Crucifix, Victor Couplet et al
Geoscientific Model Development. Vol. 15 (21), p. 8059-8084
Artikel i vetenskaplig tidskrift
2021

On the correctness of monadic backward induction

Nuria Brede, Nicola Botta
Journal of Functional Programming. Vol. 31
Artikel i vetenskaplig tidskrift
2021

Extensional equality preservation and verified generic programming

Nicola Botta, Nuria Brede, Patrik Jansson et al
Journal of Functional Programming. Vol. 31
Artikel i vetenskaplig tidskrift
2018

The impact of uncertainty on optimal emission policies

Nicola Botta, Patrik Jansson, Cezar Ionescu
Earth System Dynamics. Vol. 9 (2), p. 525-542
Artikel i vetenskaplig tidskrift
2018

Type theory as a framework for modelling and programming

Cezar Ionescu, Patrik Jansson, Nicola Botta
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 11244 LNCS (1), p. 119-133
Paper i proceeding

Ladda ner publikationslistor

Du kan ladda ner denna lista till din dator.

Filtrera och ladda ner publikationslista

Som inloggad användare hittar du ytterligare funktioner i MyResearch.

Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:

Zotero Connector
Mendeley Web Importer

Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.

Visar 1 forskningsprojekt

2022–2023

OptiFun: Fusionsoptimering med funktionell programmering

Patrik Jansson Funktionell programmering
Ida Ekmark Subatomär, högenergi- och plasmafysik
Tünde-Maria Fülöp Subatomär, högenergi- och plasmafysik
Nicola Botta Funktionell programmering
Istvan Pusztai Subatomär, högenergi- och plasmafysik
Nicholas Smallbone Funktionell programmering
Chalmers

Det kan finnas fler projekt där Nicola Botta medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.