ric Goubault
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
2016–2024
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | CSL | A Many-Sorted Epistemic Logic for Chromatic Hypergraphs. | ric Goubault, Roman Kniazev, Jrmy Ledent |
| 2023 | LICS | Semi-Simplicial Set Models for Distributed Knowledge. | ric Goubault, Roman Kniazev, Jrmy Ledent, Sergio Rajsbaum |
| 2022 | STACS | A Simplicial Model for KB4_n: Epistemic Logic with Agents That May Die. | ric Goubault, Jrmy Ledent, Sergio Rajsbaum |
| 2019 | TAP | A Dynamic Epistemic Logic Analysis of the Equality Negation Task. | ric Goubault, Marijana Lazic, Jrmy Ledent, Sergio Rajsbaum |
| 2018 | OPODIS | Concurrent Specifications Beyond Linearizability. | ric Goubault, Jrmy Ledent, Samuel Mimram |
| 2016 | FM | Recovering High-Level Conditions from Binary Programs. | Adel Djoudi, Sbastien Bardin, ric Goubault |