A general tableau method for propositional interval temporal logics: Theory and implementation. - Valentin Goranko; Angelo Montanari; Pietro Sala; Guido Sciavicco (J. Appl. Log., 2006)

An Optimal Tableau-Based Decision Algorithm for Propositional Neighborhood Logic. - Davide Bresolin; Angelo Montanari; Pietro Sala (STACS, 2007)

Tableau Systems for Logics of Subinterval Structures over Dense Orderings. - Davide Bresolin; Valentin Goranko; Angelo Montanari; Pietro Sala (TABLEAUX, 2007)

Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings. - Davide Bresolin; Valentin Goranko; Angelo Montanari; Pietro Sala (M4M, 2007)

Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders. - Davide Bresolin; Angelo Montanari; Pietro Sala; Guido Sciavicco (JELIA, 2008)

An optimal tableau for Right Propositional Neighborhood Logic over Trees. - Davide Bresolin; Angelo Montanari; Pietro Sala (TIME, 2008)

A Decidable Spatial Logic with Cone-Shaped Cardinal Directions. - Angelo Montanari; Gabriele Puppis; Pietro Sala (CSL, 2009)

A Tableau-Based System for Spatial Reasoning about Directional Relations. - Davide Bresolin; Angelo Montanari; Pietro Sala; Guido Sciavicco (TABLEAUX, 2009)

Decidability of the interval temporal logic ABBar over the natural numbers - Angelo Montanari; Gabriele Puppis; Pietro Sala; Guido Sciavicco (CoRR, 2009)

Maximal Decidable Fragments of Halpern and Shoham's Modal Logic of Intervals. - Angelo Montanari; Gabriele Puppis; Pietro Sala (ICALP (2), 2010)

Decidability of the Interval Temporal Logic ABB over the Natural Numbers. - Angelo Montanari; Gabriele Puppis; Pietro Sala; Guido Sciavicco (STACS, 2010)

A Decidable Spatial Generalization of Metric Interval Temporal Logic. - Davide Bresolin; Pietro Sala; Dario Della Monica; Angelo Montanari; Guido Sciavicco (TIME, 2010)

Decidability of the Logics of the Reflexive Sub-interval and Super-interval Relations over Finite Linear Orders. - Angelo Montanari; Ian Pratt-Hartmann; Pietro Sala (TIME, 2010)

Begin, After, and Later: a Maximal Decidable Interval Temporal Logic - Davide Bresolin; Pietro Sala; Guido Sciavicco (GANDALF, 2010)

Tableaux for Logics of Subinterval Structures over Dense Orderings. - Davide Bresolin; Valentin Goranko; Angelo Montanari; Pietro Sala (J. Log. Comput., 2010)

Decidability of interval temporal logics. - Pietro Sala (2010)

What's Decidable about Halpern and Shoham's Interval Logic? The Maximal Fragment ABBL. - Davide Bresolin; Angelo Montanari; Pietro Sala; Guido Sciavicco (LICS, 2011)

A Uniform Framework for Temporal Functional Dependencies with Multiple Granularities. - Carlo Combi; Angelo Montanari; Pietro Sala (SSTD, 2011)

Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders. - Davide Bresolin; Angelo Montanari; Pietro Sala; Guido Sciavicco (TABLEAUX, 2011)

Temporal Functional Dependencies Based on Interval Relations. - Carlo Combi; Pietro Sala (TIME, 2011)

An Optimal Decision Procedure for MPNL over the Integers - Davide Bresolin; Angelo Montanari; Pietro Sala; Guido Sciavicco (GandALF, 2011)

The Importance of the Past in Interval Temporal Logics: The Case of Propositional Neighborhood Logic. - Dario Della Monica; Angelo Montanari; Pietro Sala (Logic Programs, Norms and Action, 2012)

Interval Temporal Logics over Finite Linear Orders: the Complete Picture. - Davide Bresolin; Dario Della Monica; Angelo Montanari; Pietro Sala; Guido Sciavicco (ECAI, 2012)

An Optimal Tableau System for the Logic of Temporal Neighborhood over the Reals. - Angelo Montanari; Pietro Sala (TIME, 2012)

Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture - Davide Bresolin; Dario Della Monica; Angelo Montanari; Pietro Sala; Guido Sciavicco (GandALF, 2012)

On Begins, Meets and before. - Davide Bresolin; Pietro Sala; Guido Sciavicco (Int. J. Found. Comput. Sci., 2012)

Mining Approximate Temporal Functional Dependencies Based on Pure Temporal Grouping. - Carlo Combi; Paolo Parise; Pietro Sala; Giuseppe Pozzi (ICDM Workshops, 2013)

Interval Logics and ωB-Regular Languages. - Angelo Montanari; Pietro Sala (LATA, 2013)

Adding an Equivalence Relation to the Interval Logic ABB: Complexity and Expressiveness. - Angelo Montanari; Pietro Sala (LICS, 2013)

Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers. - Davide Bresolin; Angelo Montanari; Pietro Sala; Guido Sciavicco (Theor. Comput. Sci., 2013)

Keeping Interval-Based Functional Dependencies Up-to-Date. - Carlo Combi; Pietro Sala (CILC, 2014)

Adding two equivalence relations to the interval temporal logic AB. - Angelo Montanari; Marco Pazzaglia; Pietro Sala (ICTCS, 2014)

Decidability of the Interval Temporal Logic $ mathsf{A bar{A}B bar{B}}$ over the Rationals. - Angelo Montanari; Gabriele Puppis; Pietro Sala (MFCS (1), 2014)

Approximate Interval-Based Temporal Dependencies: The Complexity Landscape. - Pietro Sala (TIME, 2014)

Interval-based temporal functional dependencies: specification and verification. - Carlo Combi; Pietro Sala (Ann. Math. Artif. Intell., 2014)

Interval-based Synthesis. - Angelo Montanari; Pietro Sala (GandALF, 2014)

Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity. - Davide Bresolin; Dario Della Monica; Angelo Montanari; Pietro Sala; Guido Sciavicco (Theor. Comput. Sci., 2014)

On Coarser Interval Temporal Logics and their Satisfiability Problem. - Emilio Muñoz-Velasco; Mercedes Pelegrín-García; Pietro Sala; Guido Sciavicco (CAEPIA, 2015)

A Framework for Mining Evolution Rules and Its Application to the Clinical Domain. - Pietro Sala; Carlo Combi; Matteo Cuccato; Andrea Galvani; Alberto Sabaini (ICHI, 2015)

On the Complexity of Fragments of the Modal Logic of Allen's Relations over Dense Structures. - Davide Bresolin; Dario Della Monica; Angelo Montanari; Pietro Sala; Guido Sciavicco (LATA, 2015)

The Price of Evolution in Temporal Databases. - Carlo Combi; Romeo Rizzi; Pietro Sala (TIME, 2015)

Mining approximate temporal functional dependencies with pure temporal grouping in clinical databases. - Carlo Combi; Matteo Mantovani 001; Alberto Sabaini; Pietro Sala; Francesco Amaddeo; Ugo Moretti; Giuseppe Pozzi (Comput. Biol. Medicine, 2015)

A decidable weakening of Compass Logic based on cone-shaped cardinal directions. - Angelo Montanari; Gabriele Puppis; Pietro Sala (Log. Methods Comput. Sci., 2015)

Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments. - Laura Bozzelli; Alberto Molinari; Angelo Montanari; Adriano Peron; Pietro Sala (IJCAR, 2016)

Interval Temporal Logic Model Checking Based on Track Bisimilarity and Prefix Sampling. - Laura Bozzelli; Alberto Molinari; Angelo Montanari; Adriano Peron; Pietro Sala (ICTCS, 2016)

Prompt Interval Temporal Logic. - Dario Della Monica; Angelo Montanari; Aniello Murano; Pietro Sala (JELIA, 2016)

Model Checking Well-Behaved Fragments of HS: The (Almost) Final Picture. - Alberto Molinari; Angelo Montanari; Adriano Peron; Pietro Sala (KR, 2016)

Mining approximate interval-based temporal dependencies. - Carlo Combi; Pietro Sala (Acta Informatica, 2016)

Metric propositional neighborhood logic with an equivalence relation. - Angelo Montanari; Marco Pazzaglia; Pietro Sala (Acta Informatica, 2016)

Model Checking the Logic of Allen's Relations Meets and Started-by is PNP-Complete. - Laura Bozzelli; Alberto Molinari; Angelo Montanari; Adriano Peron; Pietro Sala (GandALF, 2016)

Adding one or more equivalence relations to the interval temporal logic. - Angelo Montanari; Marco Pazzaglia; Pietro Sala (Theor. Comput. Sci., 2016)

Discovering Quantitative Temporal Functional Dependencies on Clinical Data. - Carlo Combi; Matteo Mantovani 001; Pietro Sala (ICHI, 2017)

Counter-queue Automata with an Application to a Meaningful Extension of Omega-regular Languages. - David Barozzini; Dario Della Monica; Angelo Montanari; Pietro Sala (ICTCS/CILC, 2017)

Bounded Timed Propositional Temporal Logic with Past Captures Timeline-based Planning with Bounded Constraints. - Dario Della Monica; Nicola Gigante; Angelo Montanari; Pietro Sala; Guido Sciavicco (IJCAI, 2017)

Driving time-dependent paths in clinical BPMN processes. - Carlo Combi; Pietro Sala; Francesca Zerbato (SAC, 2017)

Beyond ωBS-regular Languages: ωT-regular Expressions and Counter-Check Automata. - Dario Della Monica; Angelo Montanari; Pietro Sala (GandALF, 2017)

A Logical Formalization of Time-Critical Processes with Resources. - Carlo Combi; Pietro Sala; Francesca Zerbato (BPM (Forum), 2018)

An Algorithm for Verifying Approximate Pure Evolving Functional Dependencies. - Pietro Sala (CILC, 2018)

Metric Right Propositional Neighborhood Logic with an Equivalence Relation. - Pietro Sala (ICTCS, 2018)

A Novel Automata-Theoretic Approach to Timeline-Based Planning. - Dario Della Monica; Nicola Gigante; Angelo Montanari; Pietro Sala (KR, 2018)

Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy. - Laura Bozzelli; Alberto Molinari; Angelo Montanari; Adriano Peron; Pietro Sala (Inf. Comput., 2018)

Customizing BPMN Diagrams Using Timelines. - Carlo Combi; Barbara Oliboni; Pietro Sala (TIME, 2019)

On coarser interval temporal logics. - Emilio Muñoz-Velasco; Mercedes Pelegrín-García; Pietro Sala; Guido Sciavicco; Ionel Eduard Stan (Artif. Intell., 2019)

Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals. - Davide Bresolin; Dario Della Monica; Angelo Montanari; Pietro Sala; Guido Sciavicco (Inf. Comput., 2019)

Which fragments of the interval temporal logic HS are tractable in model checking? - Laura Bozzelli; Alberto Molinari; Angelo Montanari; Adriano Peron; Pietro Sala (Theor. Comput. Sci., 2019)

Interval vs. Point Temporal Logic Model Checking: An Expressiveness Comparison. - Laura Bozzelli; Alberto Molinari; Angelo Montanari; Adriano Peron; Pietro Sala (ACM Trans. Comput. Log., 2019)

On a Temporal Logic of Prefixes and Infixes. - Laura Bozzelli; Angelo Montanari; Adriano Peron; Pietro Sala (MFCS, 2020)

Discovering Evolving Temporal Information: Theory and Application to Clinical Databases. - Pietro Sala; Carlo Combi; Matteo Mantovani 001; Romeo Rizzi (SN Comput. Sci., 2020)

Beyond ω-regular languages: ωT-regular expressions and their automata and logic counterparts. - David Barozzini; David de Frutos-Escrig; Dario Della Monica; Angelo Montanari; Pietro Sala (Theor. Comput. Sci., 2020)

On the early detection of Sepsis in MIMIC-III. - Manuel Medina; Pietro Sala (ICHI, 2021)

Extended ω-Regular Languages and Interval Temporal Logic. - Dario Della Monica; Angelo Montanari; Pietro Sala (ICTCS, 2021)

TEDAR: Temporal dynamic signal detection of adverse reactions. - Antonino Aparo; Pietro Sala; Vincenzo Bonnici; Rosalba Giugno (Artif. Intell. Medicine, 2021)

Adding the Relation Meets to the Temporal Logic of Prefixes and Infixes makes it EXPSPACE-Complete. - Laura Bozzelli; Angelo Montanari; Adriano Peron; Pietro Sala (GandALF, 2021)

Checking Sets of Pure Evolving Association Rules. - Carlo Combi; Romeo Rizzi; Pietro Sala (Fundam. Informaticae, 2021)

Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption. - Laura Bozzelli; Alberto Molinari; Angelo Montanari; Adriano Peron; Pietro Sala (Log. Methods Comput. Sci., 2022)

Reactive synthesis from interval temporal logic specifications. - Angelo Montanari; Pietro Sala (Theor. Comput. Sci., 2022)

The Logic of Prefixes and Suffixes is Elementary under Homogeneity*. - Dario Della Monica; Angelo Montanari; Gabriele Puppis; Pietro Sala (LICS, 2023)

Discovering Predictive Dependencies on Multi-Temporal Relations. - Beatrice Amico; Carlo Combi; Romeo Rizzi; Pietro Sala (TIME, 2023)

The Logic of Prefixes and Suffixes is Elementary under Homogeneity. - Dario Della Monica; Angelo Montanari; Gabriele Puppis; Pietro Sala (CoRR, 2023)

An interval temporal logic characterization of extended ω-regular languages. - Dario Della Monica; Angelo Montanari; Pietro Sala (Theor. Comput. Sci., 2023)

Pspace-completeness of the temporal logic of sub-intervals and suffixes. - Laura Bozzelli; Angelo Montanari; Adriano Peron; Pietro Sala (Inf. Comput., 2023)

Sequence-Walking Decision Tree for Multivariate Healthcare Data. - Pietro Sala; Omid Zare (ICHI, 2024)

Enhancing Coronary Artery Disease Classification Using Optimized MLP Based on Genetic Algorithm. - Mohammad Hashemi; Seyedeh Somayeh Salehi Komamardakhi; Mohammad Maftoun; Omid Zare; Javad Hassannataj Joloudari; Mohammad Ali Nematollahi; Roohallah Alizadehsani; Pietro Sala; Juan Manuel Górriz (IWINAC, 2024)

Synthesis of Timeline-Based Planning Strategies Avoiding Determinization. - Renato Acampora; Dario Della Monica; Luca Geatti; Nicola Gigante; Angelo Montanari; Pietro Sala (GandALF, 2024)

Reactive Synthesis for Expected Impacts. - Emanuele Chini; Pietro Sala; Andrea Simonetti; Omid Zare (GandALF, 2024)

Predictive mining of multi-temporal relations. - Beatrice Amico; Carlo Combi; Romeo Rizzi; Pietro Sala (Inf. Comput., 2024)

The addition of temporal neighborhood makes the logic of prefixes and sub-intervals EXPSPACE-complete. - Laura Bozzelli; Angelo Montanari; Adriano Peron; Pietro Sala (Log. Methods Comput. Sci., 2024)

Business Process Compliance with impact constraints. - Tewabe Chekole Workneh; Pietro Sala; Romeo Rizzi; Matteo Cristani (Inf. Syst., 2025)

TSRF-Dist: a novel time series distance based on extremely randomized canonical interval forests. - Alberto Azzari; Manuele Bicego; Carlo Combi; Andrea Cracco; Pietro Sala (Data Min. Knowl. Discov., 2025)

Synthesis of timeline-based planning strategies avoiding determinization. - Dario Della Monica; Angelo Montanari; Pietro Sala (CoRR, 2025)