Marie Fortin

Available identifiers

zbMath Open fortin.marie-joseeWikidataQ33082745 ScholiaQ33082745MaRDI QIDQ2164218

List of research outcomes

Publication	Date of Publication	Type
HyperLTL Satisfiability Is Σ₁¹-Complete, HyperCTL* Satisfiability Is Σ₁²-Complete.	2023-08-08	Paper
Model-checking linear-time properties of parametrized asynchronous shared-memory pushdown systems	2022-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q5091278	2022-07-21	Paper
https://portal.mardi4nfdi.de/entity/Q5009419	2021-08-04	Paper
Spatial data analysis in ecology and agriculture using R, Richard E.Plant, Boca Raton, FL: CRC Press, 2019.	2020-10-26	Paper
Communicating finite-state machines, first-order logic, and star-free propositional dynamic logic	2020-10-23	Paper
Communicating Finite-State Machines and Two-Variable Logic	2020-08-05	Paper
Verification of Parameterized Communicating Automata via Split-Width	2016-06-10	Paper
Coalgebraic Semantics of Heavy-Weighted Automata	2016-02-25	Paper
Spatial autocorrelation and statistical tests: some solutions	2015-03-05	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Marie Fortin