Nicola Botta

Publication Activity (10 Years)

Years Active: 2007-2023
Publications (10 Years): 12

Top Topics

Outlier Detection

Credit Card Fraud Detection

Density Ratio Estimation

Cumulative Distribution Functions

Top Venues

J. Funct. Program.

Log. Methods Comput. Sci.

Publications

Zheng Li, Yue Zhao, Xiyang Hu, Nicola Botta, Cezar Ionescu, George H. Chen
ECOD: Unsupervised Outlier Detection Using Empirical Cumulative Distribution Functions. IEEE Trans. Knowl. Data Eng. 35 (12) (2023)
Nicola Botta, Patrik Jansson, Guilherme Horta Alvares Da Silva
Types, equations, dimensions and the Pi theorem. CoRR (2023)
Zheng Li, Yue Zhao, Xiyang Hu, Nicola Botta, Cezar Ionescu, George H. Chen
ECOD: Unsupervised Outlier Detection Using Empirical Cumulative Distribution Functions. CoRR (2022)
Nuria Brede, Nicola Botta
On the correctness of monadic backward induction. J. Funct. Program. 31 (2021)
Nicola Botta, Nuria Brede, Patrik Jansson, Tim Richter
Extensional equality preservation and verified generic programming. J. Funct. Program. 31 (2021)
Zheng Li, Yue Zhao, Nicola Botta, Cezar Ionescu, Xiyang Hu
COPOD: Copula-Based Outlier Detection. CoRR (2020)
Nuria Brede, Nicola Botta
Semantic verification of dynamic programming. CoRR (2020)
Nicola Botta, Nuria Brede, Patrik Jansson, Tim Richter
Extensional equality preservation and verified generic programming. CoRR (2020)
Zheng Li, Yue Zhao, Nicola Botta, Cezar Ionescu, Xiyang Hu
COPOD: Copula-Based Outlier Detection. ICDM (2020)
Cezar Ionescu, Patrik Jansson, Nicola Botta
Type Theory as a Framework for Modelling and Programming. ISoLA (1) (2018)
Nicola Botta, Patrik Jansson, Cezar Ionescu, David R. Christiansen, Edwin C. Brady
Sequential decision problems, dependent types and generic solutions. Log. Methods Comput. Sci. 13 (1) (2017)
Nicola Botta, Patrik Jansson, Cezar Ionescu
Contributions to a computational theory of policy advice and avoidability. J. Funct. Program. 27 (2017)
Nicola Botta, Cezar Ionescu, Edwin C. Brady
Sequential decision problems, dependently-typed solutions. CICM Workshops (2013)
Nicola Botta, Antoine Mandel, Cezar Ionescu, M. Hofmann, Daniel Lincke, Sibylle Schupp, Carlo Jaeger
A functional framework for agent-based models of exchange. Appl. Math. Comput. 218 (8) (2011)
Nicola Botta, Cezar Ionescu
Relation-based computations in a monadic BSP model. Parallel Comput. 33 (12) (2007)