Cezar Ionescu

Publikationer (6)
Projekt (3)

Visar 6 publikationer

2022

Domain-Specific Languages of Mathematics

Patrik Jansson, Cezar Ionescu, Jean-Philippe Bernardy

Bok

Visa projekt

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

Visa projekt

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 LNCS (1), p. 119-133

Paper i proceeding

Visa projekt

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

Visa projekt

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

Ladda ner publikationslistor

Du kan ladda ner denna lista till din dator.

Filtrera och ladda ner publikationslista

Som inloggad användare hittar du ytterligare funktioner i MyResearch.

Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:

Zotero Connector
Mendeley Web Importer

Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.

Visar 3 forskningsprojekt

2015–2018

Centre of excellence for Global Systems Science (CoeGSS)

Patrik Jansson Programvaruteknik

Devdatt Dubhashi Datavetenskap

Michal Palka Programvaruteknik

Oskar Allerbo Datavetenskap

Cezar Ionescu Programvaruteknik

Europeiska kommissionen (EU)

5 publikationer finns

2014–2016

Matematikens domänspecifika språk (DSLsofMath)

Patrik Jansson Programvaruteknik

Adam Sandberg Eriksson Programvaruteknik

Irene Lobo Valbuena Programvaruteknik

Cezar Ionescu Programvaruteknik

Chalmers

1 publikation finns

2012–2015

Starkt typade bibliotek för program och bevis

Patrik Jansson Programvaruteknik

Jean-Philippe Bernardy Programvaruteknik

Cezar Ionescu Programvaruteknik

Vetenskapsrådet (VR)

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.