Pietro Sala

From MaRDI portal
Person:288803

Available identifiers

zbMath Open sala.pietroMaRDI QIDQ288803

List of research outcomes

PublicationDate of PublicationType
Pspace-Completeness of the Temporal Logic of Sub-Intervals and Suffixes2023-10-02Paper
\textsc{Pspace}-completeness of the temporal logic of sub-intervals and suffixes2023-09-27Paper
An interval temporal logic characterization of extended \(\omega\)-regular languages2023-06-01Paper
On a Temporal Logic of Prefixes and Infixes.2022-07-18Paper
https://portal.mardi4nfdi.de/entity/Q50284812022-02-09Paper
Reactive synthesis from interval temporal logic specifications2021-12-22Paper
https://portal.mardi4nfdi.de/entity/Q33841742021-12-14Paper
https://portal.mardi4nfdi.de/entity/Q50152702021-12-07Paper
https://portal.mardi4nfdi.de/entity/Q49953622021-06-24Paper
Checking Sets of Pure Evolving Association Rules2021-06-04Paper
https://portal.mardi4nfdi.de/entity/Q49865122021-04-27Paper
https://portal.mardi4nfdi.de/entity/Q49647282021-03-03Paper
https://portal.mardi4nfdi.de/entity/Q51510012021-02-16Paper
Satisfiability and model checking for the logic of sub-intervals under the homogeneity assumption2020-05-27Paper
Beyond \(\omega \)-regular languages: \(\omega T\)-regular expressions and their automata and logic counterparts2020-04-21Paper
On coarser interval temporal logics2019-08-28Paper
Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals2019-05-02Paper
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
Adding an Equivalence Relation to the Interval Logic ABB: Complexity and Expressiveness2017-07-03Paper
Prompt Interval Temporal Logic2016-11-30Paper
Mining approximate interval-based temporal dependencies2016-10-21Paper
Metric propositional neighborhood logic with an equivalence relation2016-10-21Paper
Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments2016-09-05Paper
Adding one or more equivalence relations to the interval temporal logic \(\mathsf{AB}\overline{\mathsf{B}}\)2016-05-27Paper
On the Complexity of Fragments of the Modal Logic of Allen’s Relations over Dense Structures2016-04-08Paper
A decidable weakening of Compass Logic based on cone-shaped cardinal directions2016-01-07Paper
https://portal.mardi4nfdi.de/entity/Q34572152015-12-11Paper
Interval temporal logics over strongly discrete linear orders: expressiveness and complexity2014-12-02Paper
Decidability of the Interval Temporal Logic $\mathsf{A\bar{A}B\bar{B}}$ over the Rationals2014-10-14Paper
Interval-based temporal functional dependencies: specification and verification2014-07-11Paper
Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers2014-01-10Paper
Interval Logics and ωB-Regular Languages2013-03-18Paper
ON BEGINS, MEETS AND BEFORE2012-08-30Paper
The Importance of the Past in Interval Temporal Logics: The Case of Propositional Neighborhood Logic2012-07-23Paper
https://portal.mardi4nfdi.de/entity/Q31137832012-01-23Paper
Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders2011-07-01Paper
Maximal Decidable Fragments of Halpern and Shoham’s Modal Logic of Intervals2010-09-07Paper
Tableaux for Logics of Subinterval Structures over Dense Orderings2010-02-19Paper
A Tableau-Based System for Spatial Reasoning about Directional Relations2009-12-01Paper
A Decidable Spatial Logic with Cone-Shaped Cardinal Directions2009-11-12Paper
Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders2008-10-27Paper
Tableau Systems for Logics of Subinterval Structures over Dense Orderings2008-01-04Paper
An Optimal Tableau-Based Decision Algorithm for Propositional Neighborhood Logic2007-09-03Paper
A general tableau method for propositional interval temporal logics: theory and implementation2006-10-10Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Pietro Sala