Nicola Botta

Adjungerad docent vid Funktionell programmering

Kontaktuppgifter

Publikationer (8)
Projekt (1)

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

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

2021

On the correctness of monadic backward induction

Nuria Brede, Nicola Botta

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

Visa projekt

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 (1), p. 119-133

Paper i proceeding

Visa projekt

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.