Cezar Ionescu

According to our database, Cezar Ionescu authored at least 18 papers between 1995 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

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

Examples and Results from a BSc-level Course on Domain Specific Languages of Mathematics.

Patrik Jansson, Sólrún Halla Einarsdóttir, Cezar Ionescu

Proceedings of the Proceedings Seventh International Workshop on Trends in Functional Programming in Education, 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

2016

Vulnerability modelling with functional programming and dependent types.

Cezar Ionescu

Math. Struct. Comput. Sci., 2016

Domain-Specific Languages of Mathematics: Presenting Mathematical Analysis Using Functional Programming.

Cezar Ionescu, Patrik Jansson

Proceedings of the 4th and 5th International Workshop on Trends in Functional Programming in Education, 2016

2015

Functional prototypes for generic C++ libraries: a transformational approach based on higher-order, typed signatures.

Daniel Lincke, Sibylle Schupp, Cezar Ionescu

Int. J. Softw. Tools Technol. Transf., 2015

2013

Sequential decision problems, dependently-typed solutions.

Nicola Botta, Cezar Ionescu, Edwin C. Brady

Proceedings of the Joint Proceedings of the MathUI, 2013

2012

Dependently-Typed Programming in Scientific Computing - Examples from Economic Modelling.

Cezar Ionescu, Patrik Jansson

Proceedings of the Implementation and Application of Functional Languages, 2012

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

Testing versus proving in climate impact research.

Cezar Ionescu, Patrik Jansson

Proceedings of the 18th International Workshop on Types for Proofs and Programs, 2011

2009

Vulnerability modeling and monadic dynamical systems (Modellierung der Vulnerabilität und monadische dynamische Systeme)

Cezar Ionescu

PhD thesis, 2009

Generic Libraries in C++ with Concepts from High-Level Domain Descriptions in Haskell.

Daniel Lincke, Patrik Jansson, Marcin Zalewski, Cezar Ionescu

Proceedings of the Domain-Specific Languages, IFIP TC 2 Working Conference, 2009

2007

Relation-based computations in a monadic BSP model.

Nicola Botta, Cezar Ionescu

Parallel Comput., 2007

1996

MADM: A System for Optimal Choice Problem.

Cornel Resteanu, Florin Gheorghe Filip, Marius Somodi, Cezar Ionescu

Proceedings of the Modelling and Simulation, 1996

1995

Knowledge-Based Simulation in Multiattribute Decision Making.

Cornel Resteanu, Florin Gheorghe Filip, Cezar Ionescu, Marius Somodi

Proceedings of the EUROSIM'96, 1995