Estimating the maximum rise in temperature according to climate models using abstract interpretation

[1] S. Anderson, P. Z. Revesz, CDB-PV: A constraint database-based program verifier, Proc. of the 7^thInternational Symposium on Abstraction, Reformulation and Approximation, LNCS 4612, Springer, 2007, pp. 35–49. ⇒ 11, 2110.1007/978-3-540-73580-9_6Search in Google Scholar

[2] L. Bernstein et al., Climate Change 2007: Synthesis Report, Cambridge University Press, 2007. ⇒6, 7Search in Google Scholar

[3] N. Collins et al., Design and implementation of components in the Earth System Modeling Framework, International Journal of High Performance Computing Applications, Fall/Winter 2005. DOI= 10.1177/1094342005056120. ⇒2110.1177/1094342005056120.21Open DOISearch in Google Scholar

[4] P. Cousot, R. Cousot, Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints, Proce. ACM Principles on Programming Languages, ACM Press, 1977, pp. 238–252. ⇒1110.1145/512950.512973Search in Google Scholar

[5] S. Haesevoets, B. Kuijpers, P. Z. Revesz, Affine-invariant triangulation of spatiotemporal data with an application to image retrieval, ISPRS International Journal of Geo-Information6, 4 (2017) 100. 37 pp. ⇒2210.3390/ijgi6040100Search in Google Scholar

[6] C. Hill et al., Architecture of the Earth System Modeling Framework, Computing in Science and Engineering6 2004, Fall/Winter 2005. DOI= 10.1109/MCISE. 2004.1255817. ⇒21Search in Google Scholar

[7] B. J. Hoskins, A. J. Simmons, A multi-layer spectral model and the semi-implicit method, Quarterly Journal of the Royal Meteorological Society101, 429 (1975) 637–655. ⇒2110.1002/qj.49710142918Search in Google Scholar

[8] J. T. Houghton et al. (editors), Climate Change 2001: The Scientific Basis, Cambridge University Press, 2001. ⇒6, 7, 12, 13, 14, 21Search in Google Scholar

[9] P. C Kanellakis, G. M. Kuper, P. Z. Revesz, Constraint query languages, Journal of Computer and System Sciences51, 1 (1995) 26–52. ⇒1010.1006/jcss.1995.1051Search in Google Scholar

[10] L. Li, P. Z. Revesz, Interpolation methods for spatio-temporal geographic data, Computers, Environment and Urban Systems, 28, 3 (2004) 201–227. ⇒2210.1016/S0198-9715(03)00018-8Search in Google Scholar

[11] B. Matthews, Java Climate Model, 2011. [Online]. Available: http://jcm.climatemodel.info/ ⇒13Search in Google Scholar

[12] S. C. B. Raper, J. M. Gregory, T. J. Osborn, Use of an upwelling-diffusion energy balance climate model to simulate and diagnose A/OGCM results, Climate Dynamics, 17 (2001) 601–613. ⇒1210.1007/PL00007931Search in Google Scholar

[13] P. Z. Revesz, A closed form evaluation for Datalog queries with integer (gap)-order constraints, Theoretical Computer Science, 116, 1 (1993) 117–149. ⇒1410.1016/0304-3975(93)90222-FSearch in Google Scholar

[14] P. Z. Revesz, Safe query languages for constraint databases, ACM Transactions on Database Systems, 23, 1 (1998) 117–149. ⇒1410.1145/288086.288088Search in Google Scholar

[15] P. Z. Revesz, Introduction to Constraint Databases, Springer, 2002. ⇒10Search in Google Scholar

[16] P. Z. Revesz, The constraint database approach to software verification, Proc. 8^thInternational Conference on Verification, Model Checking, and Abstract Interpretation, LNCS 4349, Springer, 2007, pp. 329–345. ⇒7, 11, 2110.1007/978-3-540-69738-1_24Search in Google Scholar

[17] P. Z. Revesz, Introduction to Databases: From Biological to Spatio-Temporal, Springer, 2010. ⇒7, 8, 9, 10, 1910.1007/978-1-84996-095-3Search in Google Scholar

[18] P. Z. Revesz, A recurrence equation-based solution for the cubic spline interpolation problem, International Journal of Mathematical Models and Methods in Applied Sciences9 (2015) 446–452. ⇒22Search in Google Scholar

[19] P. Z. Revesz, R. Chen, P. Kanjamala, Y. Li, Y. Liu, Y. Wang, The MLPQ/GIS constraint database system, ACM SIGMOD Record, 29, 2 (2000) p. 601. ⇒1110.1145/335191.336590Search in Google Scholar

[20] P. Z. Revesz, R. J. Woodward, Variable bounds analysis of a climate model using software verification techniques, Proc. 13^thInternational Conference on Software Engineering, Parallel and Distributed Systems, Gdansk, Poland, 2014, pp. 31–36. ⇒21Search in Google Scholar

[21] P. Z. Revesz, S. Wu, Spatiotemporal reasoning about epidemiological data, Artificial Intelligence in Medicine, 38, 2 (2006) 157–170. ⇒2210.1016/j.artmed.2006.05.00116935481Search in Google Scholar