Cezar Ionescu

20 papers A* 1Journal 9Unranked 9
YearRankTypeTitle / Venue / Authors
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
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
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
2018 — conf
Examples and Results from a BSc-level Course on Domain Specific Languages of Mathematics.
TFPIE@TFP
Patrik Jansson, Sólrún Halla Einarsdóttir, Cezar Ionescu
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
2016 — conf
Domain-Specific Languages of Mathematics: Presenting Mathematical Analysis Using Functional Programming.
TFPIE
Cezar Ionescu, Patrik Jansson
2016 J jnl
Vulnerability modelling with functional programming and dependent types.
Math. Struct. Comput. Sci.
Cezar Ionescu
2015 J jnl
Functional prototypes for generic C++ libraries: a transformational approach based on higher-order, typed signatures.
Int. J. Softw. Tools Technol. Transf.
Daniel Lincke, Sibylle Schupp, Cezar Ionescu
2013 — conf
Sequential decision problems, dependently-typed solutions.
CICM Workshops
Nicola Botta, Cezar Ionescu, Edwin C. Brady
2012 — conf
Dependently-Typed Programming in Scientific Computing - Examples from Economic Modelling.
IFL
Cezar Ionescu, Patrik Jansson
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
2011 — conf
Testing versus proving in climate impact research.
TYPES
Cezar Ionescu, Patrik Jansson
2009 — conf
Generic Libraries in C++ with Concepts from High-Level Domain Descriptions in Haskell.
DSL
Daniel Lincke, Patrik Jansson, Marcin Zalewski, Cezar Ionescu
2009 — —
Vulnerability modeling and monadic dynamical systems (Modellierung der Vulnerabilität und monadische dynamische Systeme)
Cezar Ionescu
2007 J jnl
Relation-based computations in a monadic BSP model.
Parallel Comput.
Nicola Botta, Cezar Ionescu
1996 — conf
MADM: A System for Optimal Choice Problem.
ESM
Cornel Resteanu, Florin Gheorghe Filip, Marius Somodi, Cezar Ionescu
1995 — conf
Knowledge-Based Simulation in Multiattribute Decision Making.
EUROSIM
Cornel Resteanu, Florin Gheorghe Filip, Cezar Ionescu, Marius Somodi