Marie Fortin - RankMe

30 papers A* 4A 1B 4C 1Journal 15Unranked 4

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Büchi-Elgot-Trakhtenbrot Theorem for Higher-Dimensional Automata. CoRR Amazigh Amrane, Hugo Bazille, Emily Clement, Uli Fahrenberg, Marie Fortin, Krzysztof Ziemianski
2025	B	`conf`	High-Level Message Sequence Charts: Satisfiability and Realizability Revisited. Petri Nets Benedikt Bollig, Marie Fortin, Paul Gastin
2025	J	`jnl`	High-Level Message Sequence Charts: Satisfiability and Realizability Revisited. CoRR Benedikt Bollig, Marie Fortin, Paul Gastin
2025	J	`jnl`	HyperLTL Satisfiability Is Highly Undecidable, HyperCTL$^* is Even Harder. Log. Methods Comput. Sci. Marie Fortin, Louwe B. Kuijer, Patrick Totzke, Martin Zimmermann
2024	C	`conf`	Logic and Languages of Higher-Dimensional Automata. DLT Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Marie Fortin
2024	J	`jnl`	Logic and Languages of Higher-Dimensional Automata. CoRR Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Marie Fortin
2023	J	`jnl`	HyperLTL Satisfiability Is Highly Undecidable, HyperCTL* is Even Harder. CoRR Marie Fortin, Louwe B. Kuijer, Patrick Totzke, Martin Zimmermann
2023	A*	`conf`	Reverse Engineering of Temporal Queries Mediated by LTL Ontologies. IJCAI Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev
2023	J	`jnl`	Reverse Engineering of Temporal Queries Mediated by LTL Ontologies. CoRR Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev
2022	A*	`conf`	Interpolants and Explicit Definitions in Extensions of the Description Logic EL. KR Marie Fortin, Boris Konev, Frank Wolter
2022	J	`jnl`	Interpolants and Explicit Definitions in Extensions of the Description Logic EL. CoRR Marie Fortin, Boris Konev, Frank Wolter
2022	—	`conf`	Reverse Engineering of Temporal Queries with and without LTL Ontologies: First Steps (Extended Abstract). Description Logics Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev
2022	A*	`conf`	Unique Characterisability and Learnability of Temporal Instance Queries. KR Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev
2022	J	`jnl`	Unique Characterisability and Learnability of Temporal Instance Queries. CoRR Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev
2021	J	`jnl`	Communicating finite-state machines, first-order logic, and star-free propositional dynamic logic. J. Comput. Syst. Sci. Benedikt Bollig, Marie Fortin, Paul Gastin
2021	B	`conf`	HyperLTL Satisfiability Is Σ₁¹-Complete, HyperCTL* Satisfiability Is Σ₁²-Complete. MFCS Marie Fortin, Louwe B. Kuijer, Patrick Totzke, Martin Zimmermann
2021	J	`jnl`	HyperLTL Satisfiability is Σ CoRR Marie Fortin, Louwe B. Kuijer, Patrick Totzke, Martin Zimmermann
2021	—	`conf`	Interpolants and Explicit Definitions in Horn Description Logics (Extended Abstract). Description Logics Marie Fortin, Boris Konev, Frank Wolter
2020	—	`—`	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
2019	A*	`conf`	FO = FO ICALP Marie Fortin
2019	J	`jnl`	FO = FO3 for linear orders with monotone binary relations. CoRR Marie Fortin
2018	A	`conf`	Communicating Finite-State Machines and Two-Variable Logic. STACS Benedikt Bollig, Marie Fortin, Paul Gastin
2018	J	`jnl`	Gossiping in Message-Passing Systems. CoRR Benedikt Bollig, Marie Fortin, Paul Gastin
2018	B	`conf`	It Is Easy to Be Wise After the Event: Communicating Finite-State Machines Capture First-Order Logic with "Happened Before". CONCUR Benedikt Bollig, Marie Fortin, Paul Gastin
2018	J	`jnl`	It Is Easy to Be Wise After the Event: Communicating Finite-State Machines Capture First-Order Logic with "Happened Before". CoRR Benedikt Bollig, Marie Fortin, Paul Gastin
2017	J	`jnl`	Communicating Finite-State Machines and Two-Variable Logic. CoRR Benedikt Bollig, Marie Fortin, Paul Gastin
2017	—	`conf`	Model-Checking Linear-Time Properties of Parametrized Asynchronous Shared-Memory Pushdown Systems. CAV (2) Marie Fortin, Anca Muscholl, Igor Walukiewicz
2016	J	`jnl`	On parametrized verification of asynchronous, shared-memory pushdown systems. CoRR Marie Fortin, Anca Muscholl, Igor Walukiewicz
2016	B	`conf`	Verification of Parameterized Communicating Automata via Split-Width. FoSSaCS Marie Fortin, Paul Gastin
2014	—	`conf`	Coalgebraic Semantics of Heavy-Weighted Automata. WADT Marie Fortin, Marcello M. Bonsangue, Jan Rutten