Marie Fortin

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 24

Top Topics

Temporal Queries

Top Venues

Description Logics

Publications

Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Marie Fortin
Logic and Languages of Higher-Dimensional Automata. CoRR (2024)
Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Marie Fortin
Logic and Languages of Higher-Dimensional Automata. DLT (2024)
Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev
Reverse Engineering of Temporal Queries Mediated by LTL Ontologies. IJCAI (2023)
Marie Fortin, Louwe B. Kuijer, Patrick Totzke, Martin Zimmermann
HyperLTL Satisfiability Is Highly Undecidable, HyperCTL* is Even Harder. CoRR (2023)
Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev
Reverse Engineering of Temporal Queries Mediated by LTL Ontologies. CoRR (2023)
Marie Fortin, Boris Konev, Frank Wolter
Interpolants and Explicit Definitions in Extensions of the Description Logic EL. CoRR (2022)
Marie Fortin, Boris Konev, Frank Wolter
Interpolants and Explicit Definitions in Extensions of the Description Logic EL. KR (2022)
Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev
Reverse Engineering of Temporal Queries with and without LTL Ontologies: First Steps (Extended Abstract). Description Logics (2022)
Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev
Unique Characterisability and Learnability of Temporal Instance Queries. KR (2022)
Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev
Unique Characterisability and Learnability of Temporal Instance Queries. CoRR (2022)
Benedikt Bollig, Marie Fortin, Paul Gastin
Communicating finite-state machines, first-order logic, and star-free propositional dynamic logic. J. Comput. Syst. Sci. 115 (2021)
Marie Fortin, Louwe B. Kuijer, Patrick Totzke, Martin Zimmermann
-complete. CoRR (2021)
Marie Fortin, Louwe B. Kuijer, Patrick Totzke, Martin Zimmermann
HyperLTL Satisfiability Is Σ₁¹-Complete, HyperCTL* Satisfiability Is Σ₁²-Complete. MFCS (2021)
Marie Fortin, Boris Konev, Frank Wolter
Interpolants and Explicit Definitions in Horn Description Logics (Extended Abstract). Description Logics (2021)
Marie Fortin
for Linear Orders with Monotone Binary Relations. ICALP (2019)
Marie Fortin
FO = FO3 for linear orders with monotone binary relations. CoRR (2019)
Benedikt Bollig, Marie Fortin, Paul Gastin
Gossiping in Message-Passing Systems. CoRR (2018)
Benedikt Bollig, Marie Fortin, Paul Gastin
It Is Easy to Be Wise After the Event: Communicating Finite-State Machines Capture First-Order Logic with "Happened Before". CONCUR (2018)
Benedikt Bollig, Marie Fortin, Paul Gastin
Communicating Finite-State Machines and Two-Variable Logic. STACS (2018)
Benedikt Bollig, Marie Fortin, Paul Gastin
It Is Easy to Be Wise After the Event: Communicating Finite-State Machines Capture First-Order Logic with "Happened Before". CoRR (2018)
Benedikt Bollig, Marie Fortin, Paul Gastin
Communicating Finite-State Machines and Two-Variable Logic. CoRR (2017)
Marie Fortin, Anca Muscholl, Igor Walukiewicz
Model-Checking Linear-Time Properties of Parametrized Asynchronous Shared-Memory Pushdown Systems. CAV (2) (2017)
Marie Fortin, Paul Gastin
Verification of Parameterized Communicating Automata via Split-Width. FoSSaCS (2016)
Marie Fortin, Anca Muscholl, Igor Walukiewicz
On parametrized verification of asynchronous, shared-memory pushdown systems. CoRR (2016)
Marie Fortin, Marcello M. Bonsangue, Jan Rutten
Coalgebraic Semantics of Heavy-Weighted Automata. WADT (2014)