Found: 5
Select item for more details and to access through your institution.
Responsibility Under Uncertainty: Which Climate Decisions Matter Most?
- Published in:
- Environmental Modeling & Assessment, 2023, v. 28, n. 3, p. 337, doi. 10.1007/s10666-022-09867-w
- By:
- Publication type:
- Article
SURFER v2.0: a flexible and simple model linking anthropogenic CO2 emissions and solar radiation modification to ocean acidification and sea level rise.
- Published in:
- Geoscientific Model Development, 2022, v. 15, n. 21, p. 8059, doi. 10.5194/gmd-15-8059-2022
- By:
- Publication type:
- Article
On the correctness of monadic backward induction.
- Published in:
- Journal of Functional Programming, 2021, v. 31, n. 1/2, p. 1, doi. 10.1017/S0956796821000228
- By:
- Publication type:
- Article
Extensional equality preservation and verified generic programming.
- Published in:
- Journal of Functional Programming, 2021, v. 31, n. 1/2, p. 1, doi. 10.1017/S0956796821000204
- By:
- Publication type:
- Article
SURFER v1.0: A flexible and simple model linking emissions to sea level rise.
- Published in:
- Geoscientific Model Development Discussions, 2022, p. 1, doi. 10.5194/egusphere-2022-135
- By:
- Publication type:
- Article