Alexis Ghyselen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2018–2023
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | CSL | Open Higher-Order Logic. | Ugo Dal Lago, Francesco Gavazzo, Alexis Ghyselen |
| 2021 | CONCUR | Sized Types with Usages for Parallel Complexity of Pi-Calculus Processes. | Patrick Baillot, Alexis Ghyselen, Naoki Kobayashi |
| 2021 | ESOP | Types for Complexity of Parallel Computation in Pi-Calculus. | Patrick Baillot, Alexis Ghyselen |
| 2019 | LICS | Type-Based Complexity Analysis of Probabilistic Functional Programs. | Martin Avanzini, Ugo Dal Lago, Alexis Ghyselen |
| 2018 | CSL | Combining Linear Logic and Size Types for Implicit Complexity. | Patrick Baillot, Alexis Ghyselen |