Cezar Ionescu

Publications (6)
Projects (3)

Showing 6 publications

2022

Domain-Specific Languages of Mathematics

Patrik Jansson, Cezar Ionescu, Jean-Philippe Bernardy

Book

Show project

2018

The impact of uncertainty on optimal emission policies

Nicola Botta, Patrik Jansson, Cezar Ionescu

Earth System Dynamics. Vol. 9 (2), p. 525-542

Journal article

Show project

2018

Type theory as a framework for modelling and programming

Cezar Ionescu, Patrik Jansson, Nicola Botta

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 11244 (1), p. 119-133

Paper in proceeding

Show project

2017

Contributions to a computational theory of policy advice and avoidability

Nicola Botta, Patrik Jansson, Cezar Ionescu

Journal of Functional Programming. Vol. 27, p. 1-52

Journal article

Show project

2017

Sequential decision problems, dependent types and generic solutions

Nicola Botta, Patrik Jansson, Cezar Ionescu et al

Logical Methods in Computer Science. Vol. 13 (1)

Journal article

2016

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

Cezar Ionescu, Patrik Jansson

Electronic Proceedings in Theoretical Computer Science, EPTCS. Vol. 230, p. 1-15

Paper in proceeding

Download publication list

You can download this list to your computer.

Filter and download publication list

As logged in user (Chalmers employee) you find more export functions in MyResearch.

You may also import these directly to Zotero or Mendeley by using a browser plugin. These are found herer:

Zotero Connector
Mendeley Web Importer

The service SwePub offers export of contents from Research in other formats, such as Harvard and Oxford in .RIS, BibTex and RefWorks format.

Showing 3 research projects

2015–2018

Centre of excellence for Global Systems Science (CoeGSS)

Patrik Jansson Software Technology (Chalmers)

Devdatt Dubhashi Computing Science (Chalmers)

Michal Palka Software Technology (Chalmers)

Oskar Allerbo Computing Science (Chalmers)

Cezar Ionescu Software Technology (Chalmers)

European Commission (EC)

5 publications exist

2014–2016

Domain-Specific Languages of Mathematics (DSLsofMath)

Patrik Jansson Software Technology (Chalmers)

Adam Sandberg Eriksson Software Technology (Chalmers)

Irene Lobo Valbuena Software Technology (Chalmers)

Cezar Ionescu Software Technology (Chalmers)

Chalmers

1 publication exists

2012–2015

Strongly Typed Libraries for Programs and Proofs

Patrik Jansson Software Technology (Chalmers)

Jean-Philippe Bernardy Software Technology (Chalmers)

Cezar Ionescu Software Technology (Chalmers)

Swedish Research Council (VR)

There might be more projects where Cezar Ionescu participates, but you have to be logged in as a Chalmers employee to see them.