Charles Grellois
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
7
Active years
2015–2022
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | WoLLIC | Towards an Intuitionistic Deontic Logic Tolerating Conflicting Obligations. | Tiziano Dalmonte, Charles Grellois, Nicola Olivetti |
| 2021 | TABLEAUX | Terminating Calculi and Countermodels for Constructive Modal Logics. | Tiziano Dalmonte, Charles Grellois, Nicola Olivetti |
| 2019 | LICS | On the Termination Problem for Probabilistic Higher-Order Recursive Programs. | Naoki Kobayashi, Ugo Dal Lago, Charles Grellois |
| 2017 | ESOP | Probabilistic Termination by Monadic Affine Sized Typing. | Ugo Dal Lago, Charles Grellois |
| 2015 | CSL | Relational Semantics of Linear Logic and Higher-order Model Checking. | Charles Grellois, Paul-Andr Mellis |
| 2015 | FOSSACS | An Infinitary Model of Linear Logic. | Charles Grellois, Paul-Andr Mellis |
| 2015 | MFCS | Finitary Semantics of Linear Logic and Higher-Order Model-Checking. | Charles Grellois, Paul-Andr Mellis |