Nicola Botta

According to our database, Nicola Botta authored at least 12 papers between 2007 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

ECOD: Unsupervised Outlier Detection Using Empirical Cumulative Distribution Functions.

Zheng Li, Yue Zhao, Xiyang Hu, Nicola Botta, Cezar Ionescu, George H. Chen

IEEE Trans. Knowl. Data Eng., December, 2023

Types, equations, dimensions and the Pi theorem.

Nicola Botta, Patrik Jansson, Guilherme Horta Alvares Da Silva

CoRR, 2023

2021

On the correctness of monadic backward induction.

Nuria Brede, Nicola Botta

J. Funct. Program., 2021

Extensional equality preservation and verified generic programming.

Nicola Botta, Nuria Brede, Patrik Jansson, Tim Richter

J. Funct. Program., 2021

2020

Semantic verification of dynamic programming.

Nuria Brede, Nicola Botta

CoRR, 2020

COPOD: Copula-Based Outlier Detection.

Zheng Li, Yue Zhao, Nicola Botta, Cezar Ionescu, Xiyang Hu

Proceedings of the 20th IEEE International Conference on Data Mining, 2020

2018

Type Theory as a Framework for Modelling and Programming.

Cezar Ionescu, Patrik Jansson, Nicola Botta

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 2018

2017

Contributions to a computational theory of policy advice and avoidability.

Nicola Botta, Patrik Jansson, Cezar Ionescu

J. Funct. Program., 2017

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

2013

Sequential decision problems, dependently-typed solutions.

Nicola Botta, Cezar Ionescu, Edwin C. Brady

Proceedings of the Joint Proceedings of the MathUI, 2013

2011

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

2007

Relation-based computations in a monadic BSP model.

Nicola Botta, Cezar Ionescu

Parallel Comput., 2007