Marie Fortin
According to our database1,
Marie Fortin
authored at least 20 papers
between 2014 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
2014
2016
2018
2020
2022
2024
0
1
2
3
4
5
1
2
1
1
1
1
1
3
2
1
2
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2025
Log. Methods Comput. Sci., 2025
2024
Proceedings of the Developments in Language Theory - 28th International Conference, 2024
2023
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023
2022
Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022
Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022
Reverse Engineering of Temporal Queries with and without LTL Ontologies: First Steps (Extended Abstract).
Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), 2022
2021
Communicating finite-state machines, first-order logic, and star-free propositional dynamic logic.
J. Comput. Syst. Sci., 2021
HyperLTL Satisfiability is Σ<sub>1</sub><sup>1</sup>-complete, HyperCTL* Satisfiability is Σ<sub>1</sub><sup>2</sup>-complete.
CoRR, 2021
Proceedings of the 46th International Symposium on Mathematical Foundations of Computer Science, 2021
Interpolants and Explicit Definitions in Horn Description Logics (Extended Abstract).
Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021
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).
PhD thesis, 2020
2019
Proceedings of the 46th International Colloquium on Automata, Languages, and Programming, 2019
2018
Proceedings of the 35th Symposium on Theoretical Aspects of Computer Science, 2018
It Is Easy to Be Wise After the Event: Communicating Finite-State Machines Capture First-Order Logic with "Happened Before".
Proceedings of the 29th International Conference on Concurrency Theory, 2018
2017
Model-Checking Linear-Time Properties of Parametrized Asynchronous Shared-Memory Pushdown Systems.
Proceedings of the Computer Aided Verification - 29th International Conference, 2017
2016
CoRR, 2016
Proceedings of the Foundations of Software Science and Computation Structures, 2016
2014
Proceedings of the Recent Trends in Algebraic Development Techniques, 2014