Cezar Ionescu

Publication Activity (10 Years)

Years Active: 1996-2023
Publications (10 Years): 10

Top Topics

Credit Card Fraud Detection

Density Ratio Estimation

Cumulative Distribution Functions

Corneal Endothelium

Top Venues

Math. Struct. Comput. Sci.

J. Funct. Program.

Int. J. Softw. Tools Technol. Transf.

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)
Zheng Li, Yue Zhao, Xiyang Hu, Nicola Botta, Cezar Ionescu, George H. Chen
ECOD: Unsupervised Outlier Detection Using Empirical Cumulative Distribution Functions. CoRR (2022)
Zheng Li, Yue Zhao, Nicola Botta, Cezar Ionescu, Xiyang Hu
COPOD: Copula-Based Outlier Detection. 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)
Patrik Jansson, Sólrún Halla Einarsdóttir, Cezar Ionescu
Examples and Results from a BSc-level Course on Domain Specific Languages of Mathematics. TFPIE@TFP (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)
Cezar Ionescu
Vulnerability modelling with functional programming and dependent types. Math. Struct. Comput. Sci. 26 (1) (2016)
Cezar Ionescu, Patrik Jansson
Domain-Specific Languages of Mathematics: Presenting Mathematical Analysis Using Functional Programming. TFPIE (2016)
Daniel Lincke, Sibylle Schupp, Cezar Ionescu
Functional prototypes for generic C++ libraries: a transformational approach based on higher-order, typed signatures. Int. J. Softw. Tools Technol. Transf. 17 (1) (2015)
Nicola Botta, Cezar Ionescu, Edwin C. Brady
Sequential decision problems, dependently-typed solutions. CICM Workshops (2013)
Cezar Ionescu, Patrik Jansson
Dependently-Typed Programming in Scientific Computing - Examples from Economic Modelling. IFL (2012)
Cezar Ionescu, Patrik Jansson
Testing versus proving in climate impact research. TYPES (2011)
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)
Daniel Lincke, Patrik Jansson, Marcin Zalewski, Cezar Ionescu
Generic Libraries in C++ with Concepts from High-Level Domain Descriptions in Haskell. DSL (2009)
Nicola Botta, Cezar Ionescu
Relation-based computations in a monadic BSP model. Parallel Comput. 33 (12) (2007)
Cornel Resteanu, Florin Gheorghe Filip, Marius Somodi, Cezar Ionescu
MADM: A System for Optimal Choice Problem. ESM (1996)