Alberto Molinari

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
scientific article; zbMATH DE number 7471713 (Why is no real title available?) (available as arXiv preprint)	2022-02-09	Paper
scientific article; zbMATH DE number 7471713 (Why is no real title available?)	2022-02-09	Paper
scientific article; zbMATH DE number 7447743 (Why is no real title available?)	2021-12-17	Paper
scientific article; zbMATH DE number 7447743 (Why is no real title available?) (available as arXiv preprint)	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
On the complexity of model checking for syntactically maximal fragments of the interval temporal logic HS with regular expressions (available as arXiv preprint)	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
Model checking the logic of Allen's relations \textit{Meets} and \textit{Started-by} is \(\mathbf{P}^{\mathbf{NP}}\)-complete (available as arXiv preprint)	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 Information and Computation	2020-05-26	Paper
Timeline-based planning over dense temporal domains Theoretical Computer Science	2020-04-21	Paper
An in-depth investigation of interval temporal logic model checking with regular expressions Software Engineering and Formal Methods	2019-09-16	Paper
Which fragments of the interval temporal logic HS are tractable in model checking? Theoretical Computer Science	2019-03-13	Paper
Interval vs. point temporal logic model checking. An expressiveness comparison ACM Transactions on Computational Logic	2019-02-07	Paper
Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy Information and Computation	2018-09-27	Paper
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison (available as arXiv preprint)	2018-04-19	Paper
Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives Information and Computation	2018-03-21	Paper
scientific article; zbMATH DE number 6767596 (Why is no real title available?)	2017-08-31	Paper
Checking interval properties of computations Acta Informatica	2016-10-21	Paper
Interval temporal logic model checking: the border between good and bad HS fragments Automated Reasoning	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