Alberto Molinari

From MaRDI portal
Person:329411

Available identifiers

zbMath Open molinari.albertoMaRDI QIDQ329411

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q50284812022-02-09Paper
https://portal.mardi4nfdi.de/entity/Q33848902021-12-17Paper
https://portal.mardi4nfdi.de/entity/Q33841612021-12-14Paper
https://portal.mardi4nfdi.de/entity/Q50152702021-12-07Paper
Satisfiability and model checking for the logic of sub-intervals under the homogeneity assumption2020-05-27Paper
Model checking interval temporal logics with regular expressions2020-05-26Paper
Timeline-based planning over dense temporal domains2020-04-21Paper
An In-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions2019-09-16Paper
Which fragments of the interval temporal logic HS are tractable in model checking?2019-03-13Paper
Interval vs. Point Temporal Logic Model Checking2019-02-07Paper
Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy2018-09-27Paper
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison2018-04-19Paper
Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives2018-03-21Paper
https://portal.mardi4nfdi.de/entity/Q53519582017-08-31Paper
Checking interval properties of computations2016-10-21Paper
Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments2016-09-05Paper
Constraining cycle alternations in model checking for interval temporal logic2016-08-05Paper

Research outcomes over time

This page was built for person: Alberto Molinari

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:329411&oldid=7807576"
Powered by MediaWiki