Cezar Ionescu - RankMe

20 papers A* 1Journal 9Unranked 9

Year	Rank	Type	Title / 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