| 2024 | DLT | Logic and Languages of Higher-Dimensional Automata. | Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Marie Fortin |
| 2023 | IJCAI | Reverse Engineering of Temporal Queries Mediated by LTL Ontologies. | Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev |
| 2022 | KR | Unique Characterisability and Learnability of Temporal Instance Queries. | Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev |
| 2022 | KR | Interpolants and Explicit Definitions in Extensions of the Description Logic EL. | Marie Fortin, Boris Konev, Frank Wolter |
| 2021 | MFCS | HyperLTL Satisfiability Is Σ₁¹-Complete, HyperCTL* Satisfiability Is Σ₁²-Complete. | Marie Fortin, Louwe B. Kuijer, Patrick Totzke, Martin Zimmermann |
| 2019 | ICALP | FO = FO | Marie Fortin |
| 2018 | CONCUR | It Is Easy to Be Wise After the Event: Communicating Finite-State Machines Capture First-Order Logic with "Happened Before". | Benedikt Bollig, Marie Fortin, Paul Gastin |
| 2018 | STACS | Communicating Finite-State Machines and Two-Variable Logic. | Benedikt Bollig, Marie Fortin, Paul Gastin |
| 2017 | CAV | Model-Checking Linear-Time Properties of Parametrized Asynchronous Shared-Memory Pushdown Systems. | Marie Fortin, Anca Muscholl, Igor Walukiewicz |
| 2016 | FOSSACS | Verification of Parameterized Communicating Automata via Split-Width. | Marie Fortin, Paul Gastin |