# Publications

- Type Theory as a Framework for Modelling and Programming. C. Ionescu, P. Jansson, N. Botta. Submitted to ISoLA 2018 http://www.isola-conference.org/isola2018, May 2018.
- The impact of uncertainty on optimal emission policies. N. Botta, P. Jansson, C. Ionescu. Earth Syst. Dynam., 9, 525-542, 2018

https://doi.org/10.5194/esd-9-525-2018. - Contributions to a computational theory of policy advice and avoidability. N. Botta, P. Jansson, C. Ionescu. Accepted for publication in the "Journal of Functional Programming" in Sept. 2017. Accepted manuscript.
- A computational theory of policy advice and avoidability. N. Botta, P. Jansson, C. Ionescu. Submitted to "Mathematical Social Sciences" in March 2015, desk rejected in April 2015. Full paper. Review 1 (Assistant Editor).
- Sequential decision problems, dependent types and generic solutions. N. Botta, C. Ionescu, P. Jansson, E. Brady and D. R. Christiansen. Logical Methods in Computer Science, March 17, 2017, Volume 13, Issue 1.
- Sequential decision problems, dependently typed solutions. N. Botta, C. Ionescu, E. Brady. Proceedings of the Conferences on Intelligent Computer Mathematics (CICM 2013), "Programming Languages for Mechanized Mathematics Systems Workshop (PLMMS)", July 2013. Proceedings, full paper.
*Mathematical specification of an agent-based model of exchange*. N. Botta, A. Mandel, M. Hofmann, S. Schupp, C. Ionescu. Proceedings of the AISB Convention 2013, "Do-Form: Enabling Domain Experts to use Formalized Reasoning" Symposium, Jan. 2013. Proceedings, full paper.*Mathematical specifications for agent-based models of exchange: a case study*. N. Botta, A. Mandel, M. Hofmann, S. Schupp. Submitted to "Applied Mathematics and Computation" June 2011, revised Jan. 2012, rejected Dec. 2012. Original manuscript, review 1, review 2, revised manuscript, rebuttal, final reviews.*A functional framework for agent-based models of exchange*. N. Botta, A. Mandel, C. Ionescu, M. Hofmann, D. Lincke, S. Schupp, C. Jaeger. Applied Mathematics and Computation, Vol. 218, 8, Dec. 2011, 4025–4040. DOI.*Time in discrete agent-based models of socio-economic systems*. Nicola Botta, Antoine Mandel and Cezar Ionescu. Submitted to "MATES 2011, Ninth German Conference on Multi-Agent System Technologies, October 6-7, 2011 - Berlin" April 2011, rejected June 2011. Full paper, reviews.*A note on Herbert Gintis' Emergence of a price system from decentralized bilateral exchange*. A. Mandel, N. Botta. The B.E. Journal of Theoretical Economics, Vol. 9, Iss. 1 (Topics), Article 44, 2009. DOI .*Modeling Versus Formalization*. C. Ionescu and N. Botta. Proceedings of the Dahlem Conference "Is There a Mathematics of Social Entities?", Dec. 14-19, 2008. Not to appear. Full paper.- A generic library for Earth system modelling based on monadic systems. D. Lincke, C. Ionescu and N. Botta. Proceedings of the "Digital earth summit on geoinformatics 2008: tools for global change research", M. Ehlers, K. Behncke, F.-W. Gerstengarbe, F. Hillen, L. Koppers, L. Stroinck, J. Wächter eds. Wichmann, Heidelberg. Full paper.

*Relation-based computations in a monadic BSP model*. N. Botta, C. Ionescu. Parallel Computing, Volume 33, Issue 12, 795-821, 2007. Abstract, full paper, DOI.*Structuring distributed relation-based computations with SCDRC*. N. Botta, C. Ionescu, C. Linstead, R. Klein. PIK Report Nr. 103, Potsdam Institute for Climate Impact Research, Sept. 2006. Abstract, full paper.*Well balanced finite volume methods for nearly hydrostatic flows*. N. Botta, R. Klein, S. Langenberg, S. Lützenkirchen. Journal of Computational Physics, 196, 539-565, 2004.*Asymptotic adaptive methods for multi-scale problems in fluid mechanics*. R. Klein, N. Botta, T. Schneider, C.D. Munz, S. Roller, A. Meister, L. Hoffmann, T. Sonar. Journal of Engineering Mathematics, 39, 261-343, 2001.*Asymptotic analysis of a dry atmosphere*. N. Botta, R. Klein, A. Almgren. Proceedings of the 3rd European conference in numerical Mathematics and advanced applications, 1999, edited by P. Neittaanmäki, T. Tiihonen, P. Tarvainen, World Scientific, 2000.*Extension of finite volume compressible flow solvers to multi-dimensional, variable density zero Mach number flow*. T. Schneider, N. Botta, K. J. Geratz, R. Klein. Journal of Computational Physics, 155, 248-286, 1999.*A finite volume projection method for the numerical solution of the incompressible Navier-Stokes equations on triangular grids*. N. Botta, D. Hempel. Proceedings of the "First International Symposium on Finite Volumes for Complex Applications", 15-18 July, 1996, Rouen.*The inviscid transonic flow about a cylinder*. N. Botta. Journal of Fluid Mechanics, Vol. 301, 225-250, 1995.- A numerical method for unsteady flows. N. Botta, R. Jeltsch. Application of Mathematics, Vol. 40, No. 3, 175-201, 1995, Prague.
- Numerical investigations of two dimensional Euler flows: cylinder at transonic speed. N. Botta. Swiss Federal Institute of Technology, Diss. ETH No. 10852, 1995.
- Deficiencies in the numerical computation of nozzle flow. N. Botta, J. Sesterhenn. Research Report No. 92-05, May 1992, Seminar fuer Angewandte Mathematik, ETH Zuerich.
- Non equilibrium hypersonic flow over corners. M. Pandolfi, R. Arina, N. Botta. AIAA Journal, Vol. 29, No. 2, 235-241, Feb. 1991.
- Upwind formulations for the Euler equations in steady supersonic flows. N. Botta, M. Pandolfi. AIAA Journal, Vol. 27, No. 3, 293-299, March 1989.

Document Actions