Nicola Botta

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