Publications

  1. Unique Characterisability and Learnability of Temporal Instance Queries.
    Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, and Michael Zakharyaschev.
    KR 2022 (to appear).
  2. Interpolants and Explicit Definitions in Extensions of the Description Logic EL.
    Marie Fortin, Boris Konev, and Frank Wolter.
    KR 2022 (to appear).
    arXiv
  3. Interpolants and Explicit Definitions in Horn Description Logics (Extended Abstract).
    Marie Fortin, Boris Konev, and Frank Wolter.
    DL 2021.
    URL PDF
  4. HyperLTL Satisfiability Is Σ11-Complete, HyperCTL* Satisfiability Is Σ12-Complete.
    Marie Fortin, Louwe B. Kuijer, Patrick Totzke, and Martin Zimmermann.
    MFCS 2021.
    DOI PDF
  5. Communicating Finite-State Machines, First-Order Logic, and Star-Free Propositional Dynamic Logic.
    Benedikt Bollig, Marie Fortin, and Paul Gastin.
    Journal of Computer and System Sciences, 115:22–53, 2021.
    DOI PDF
  6. EATCS Distinguished
    Dissertation Award     Ackermann Award
    Expressivité de la logique du premier ordre, de la logique dynamique propositionnelle sans étoile et des automates communicants (Expressivity of first-order logic, star-free propositional dynamic logic and communicating automata).
    Marie Fortin.
    PhD thesis, Université Paris-Saclay, France, 2020.
    URL PDF
  7. Best Student
    Paper Award
    (Track B)
    FO = FO3 for Linear Orders with Monotone Binary Relations.
    Marie Fortin.
    ICALP 2019.
    DOI PDF
  8. Best Paper
    Award
    It Is Easy to Be Wise After the Event: Communicating Finite-State Machines Capture First-Order Logic with "Happened Before".
    Benedikt Bollig, Marie Fortin, and Paul Gastin.
    CONCUR 2018.
    DOI PDF
  9. Communicating Finite-State Machines and Two-Variable Logic.
    Benedikt Bollig, Marie Fortin, and Paul Gastin.
    STACS 2018.
    DOI PDF
  10. Model-Checking Linear-Time Properties of Parametrized Asynchronous Shared-Memory Pushdown Systems.
    Marie Fortin, Anca Muscholl, and Igor Walukiewicz.
    CAV 2017.
    DOI PDF
  11. Verification of Parameterized Communicating Automata via Split-Width.
    Marie Fortin, and Paul Gastin.
    FOSSACS 2016.
    DOI PDF
  12. Coalgebraic Semantics of Heavy-Weighted Automata.
    Marie Fortin, Marcello M. Bonsangue, and Jan Rutten.
    WADT 2014.
    DOI