Knowledge-Based Simulation in Multiattribute Decision Making. - Cornel Resteanu; Florin Gheorghe Filip; Cezar Ionescu; Marius Somodi (EUROSIM, 1995)

MADM: A System for Optimal Choice Problem. - Cornel Resteanu; Florin Gheorghe Filip; Marius Somodi; Cezar Ionescu (ESM, 1996)

Relation-based computations in a monadic BSP model. - Nicola Botta; Cezar Ionescu (Parallel Comput., 2007)

Generic Libraries in C++ with Concepts from High-Level Domain Descriptions in Haskell. - Daniel Lincke; Patrik Jansson; Marcin Zalewski; Cezar Ionescu (DSL, 2009)

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

Testing versus proving in climate impact research. - Cezar Ionescu; Patrik Jansson (TYPES, 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)

Dependently-Typed Programming in Scientific Computing - Examples from Economic Modelling. - Cezar Ionescu; Patrik Jansson (IFL, 2012)

Sequential decision problems, dependently-typed solutions. - Nicola Botta; Cezar Ionescu; Edwin C. Brady (CICM Workshops, 2013)

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)

Domain-Specific Languages of Mathematics: Presenting Mathematical Analysis Using Functional Programming. - Cezar Ionescu; Patrik Jansson (TFPIE, 2016)

Vulnerability modelling with functional programming and dependent types. - Cezar Ionescu (Math. Struct. Comput. Sci., 2016)

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)

Contributions to a computational theory of policy advice and avoidability. - Nicola Botta; Patrik Jansson; Cezar Ionescu (J. Funct. Program., 2017)

Type Theory as a Framework for Modelling and Programming. - Cezar Ionescu; Patrik Jansson; Nicola Botta (ISoLA (1), 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 (TFPIE@TFP, 2018)

COPOD: Copula-Based Outlier Detection. - Zheng Li; Yue Zhao 016; Nicola Botta; Cezar Ionescu; Xiyang Hu (ICDM, 2020)

ECOD: Unsupervised Outlier Detection Using Empirical Cumulative Distribution Functions. - Zheng Li; Yue Zhao 016; Xiyang Hu; Nicola Botta; Cezar Ionescu; George H. Chen (IEEE Trans. Knowl. Data Eng., 2023)