Relation-based computations in a monadic BSP model. - Nicola Botta; Cezar Ionescu (Parallel Comput., 2007)

A functional framework for agent-based models of exchange. - Nicola Botta; Antoine Mandel; Cezar Ionescu; Mareen Hofmann; Daniel Lincke; Sibylle Schupp; Carlo Jaeger (Appl. Math. Comput., 2011)

Sequential decision problems, dependently-typed solutions. - Nicola Botta; Cezar Ionescu; Edwin C. Brady (CICM Workshops, 2013)

Sequential decision problems, dependent types and generic solutions. - Nicola Botta; Patrik Jansson; Cezar Ionescu; David R. Christiansen; Edwin C. Brady (Log. Methods Comput. Sci., 2017)

Contributions to a computational theory of policy advice and avoidability. - Nicola Botta; Patrik Jansson; Cezar Ionescu (J. Funct. Program., 2017)

Type Theory as a Framework for Modelling and Programming. - Cezar Ionescu; Patrik Jansson; Nicola Botta (ISoLA (1), 2018)

COPOD: Copula-Based Outlier Detection. - Zheng Li; Yue Zhao 016; Nicola Botta; Cezar Ionescu; Xiyang Hu (ICDM, 2020)

Semantic verification of dynamic programming. - Nuria Brede; Nicola Botta (CoRR, 2020)

Extensional equality preservation and verified generic programming. - Nicola Botta; Nuria Brede; Patrik Jansson; Tim Richter (J. Funct. Program., 2021)

On the correctness of monadic backward induction. - Nuria Brede; Nicola Botta (J. Funct. Program., 2021)

Types, equations, dimensions and the Pi theorem. - Nicola Botta; Patrik Jansson; Guilherme Horta Alvares Da Silva (CoRR, 2023)

ECOD: Unsupervised Outlier Detection Using Empirical Cumulative Distribution Functions. - Zheng Li; Yue Zhao 016; Xiyang Hu; Nicola Botta; Cezar Ionescu; George H. Chen (IEEE Trans. Knowl. Data Eng., 2023)

Optimization under uncertainty. - Nicola Botta; Patrik Jansson; Tim Richter (CoRR, 2025)