Alberto Molinari

Available identifiers

zbMath Open molinari.albertoMaRDI QIDQ329411

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5028481	2022-02-09	Paper
https://portal.mardi4nfdi.de/entity/Q3384890	2021-12-17	Paper
On the complexity of model checking for syntactically maximal fragments of the interval temporal logic HS with regular expressions	2021-12-14	Paper
Model checking the logic of Allen's relations \textit{Meets} and \textit{Started-by} is \(\mathbf{P}^{\mathbf{NP}}\)-complete	2021-12-07	Paper
Satisfiability and model checking for the logic of sub-intervals under the homogeneity assumption	2020-05-27	Paper
Model checking interval temporal logics with regular expressions	2020-05-26	Paper
Timeline-based planning over dense temporal domains	2020-04-21	Paper
An in-depth investigation of interval temporal logic model checking with regular expressions	2019-09-16	Paper
Which fragments of the interval temporal logic HS are tractable in model checking?	2019-03-13	Paper
Interval vs. point temporal logic model checking. An expressiveness comparison	2019-02-07	Paper
Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy	2018-09-27	Paper
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison	2018-04-19	Paper
Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives	2018-03-21	Paper
https://portal.mardi4nfdi.de/entity/Q5351958	2017-08-31	Paper
Checking interval properties of computations	2016-10-21	Paper
Interval temporal logic model checking: the border between good and bad HS fragments	2016-09-05	Paper
Constraining cycle alternations in model checking for interval temporal logic	2016-08-05	Paper

Research outcomes over time

This page was built for person: Alberto Molinari