Cezar Ionescu

Gästforskare vid Chalmers, Data- och informationsteknik, Funktionell programmering

Visar 4 publikationer

2018

The impact of uncertainty on optimal emission policies

Nicola Botta, Patrik Jansson, Cezar Ionescu
Earth System Dynamics. Vol. 9 (2), p. 525-542
Artikel i vetenskaplig tidskrift
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)
Artikel i vetenskaplig tidskrift
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
Artikel i vetenskaplig tidskrift
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 i proceeding

Spara referenser

Om du har installerat Zotero eller Mendeley på din dator kan du direkt ta ut referenser från de publikationer du ser i listan.

Du laddar ner dessa pluginer här:
Zotero
Mendeley

Visar 3 forskningsprojekt

2012–2015

Starkt typade bibliotek för program och bevis

Patrik Jansson Programvaruteknik
Jean-Philippe Bernardy Programvaruteknik
Cezar Ionescu Programvaruteknik
Vetenskapsrådet (VR)

2014–2016

Matematikens domänspecifika språk (DSLsofMath)

Patrik Jansson Programvaruteknik
Cezar Ionescu Programvaruteknik
Irene Lobo Valbuena Programvaruteknik
Adam Sandberg Eriksson Programvaruteknik
Chalmers

2015–2018

Centre of excellence for Global Systems Science (CoeGSS)

Patrik Jansson Programvaruteknik
Cezar Ionescu Programvaruteknik
Devdatt Dubhashi Datavetenskap
Michal Palka Programvaruteknik
Oskar Allerbo Datavetenskap
Europeiska kommissionen (Horisont 2020)

Det kan finnas fler projekt där Cezar Ionescu medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.