Marie Fortin

Available identifiers

Publication	Date of Publication	Type
Data From: Urban planning for wildlife connectivity, a multispecies assessment of urban sprawl and SLOSS renaturalization strategies	2025-01-29	Dataset
Dynamic connectivity assessment for a terrestrial predator in a metropolitan region (data)	2024-01-05	Dataset
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
It is easy to be wise after the event: communicating finite-state machines capture first-order logic with ``happened before	2021-08-04	Paper
Data from: Network ecology in dynamic landscapes	2021-04-02	Dataset
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

This page was built for person: Marie Fortin