Nicola Botta
Visar 12 publikationer
Types, equations, dimensions and the Pi theorem
Lost options commitment: how short-term policies affect long-term scope of action
Perspectives on adaptive dynamical systems
Responsibility Under Uncertainty: Which Climate Decisions Matter Most?
Extensional equality preservation and verified generic programming
On the correctness of monadic backward induction
The impact of uncertainty on optimal emission policies
Type theory as a framework for modelling and programming
Sequential decision problems, dependent types and generic solutions
Contributions to a computational theory of policy advice and avoidability
Multi-Language Library Development. From Haskell Type Classes to C++ Concepts.
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
OptiFun: Fusionsoptimering med funktionell programmering