Vincent Michielini
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
5
Active years
2018–2026
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | AAAI | Revisiting Conjunctive Query Entailment for S. | Yazmn Ibez-Garca, Jean Christoph Jung, Vincent Michielini, Filip Murlak |
| 2026 | LICS | Reachability in VASS Extended with Integer Counters. | Clotilde Bizire, Wojciech Czerwinski, Roland Guttenberg, Jrme Leroux, Vincent Michielini, Lukasz Orlikowski, Antoni Puch, Henry Sinclair-Banks |
| 2025 | KR | Two-Variable Logic for Hierarchically Partitioned and Ordered Data. | Oskar Fiuk, Emanuel Kieronski, Vincent Michielini |
| 2024 | LICS | On the complexity of Maslov's class K. | Oskar Fiuk, Emanuel Kieronski, Vincent Michielini |
| 2024 | LICS | Uniformisation of Regular Relations in First-Order Logic with Two Variables. | Nathan Lhote, Vincent Michielini, Michal Skrzypczak |
| 2020 | MFCS | Regular Choice Functions and Uniformisations For countable Domains. | Vincent Michielini, Michal Skrzypczak |
| 2019 | MFCS | Uniformisation Gives the Full Strength of Regular Languages. | Nathan Lhote, Vincent Michielini, Michal Skrzypczak |
| 2018 | DLT | Uniformization Problem for Variants of First Order Logic over Finite Words. | Vincent Michielini |