| 2024 | IWINAC | 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 Grriz |
| 2023 | LICS | The Logic of Prefixes and Suffixes is Elementary under Homogeneity | Dario Della Monica, Angelo Montanari, Gabriele Puppis, Pietro Sala |
| 2023 | TIME | Discovering Predictive Dependencies on Multi-Temporal Relations. | Beatrice Amico, Carlo Combi, Romeo Rizzi, Pietro Sala |
| 2021 | TIME | Pspace-Completeness of the Temporal Logic of Sub-Intervals and Suffixes. | Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala |
| 2020 | MFCS | On a Temporal Logic of Prefixes and Infixes. | Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala |
| 2019 | TIME | Customizing BPMN Diagrams Using Timelines. | Carlo Combi, Barbara Oliboni, Pietro Sala |
| 2018 | BPM | A Logical Formalization of Time-Critical Processes with Resources. | Carlo Combi, Pietro Sala, Francesca Zerbato |
| 2018 | KR | A Novel Automata-Theoretic Approach to Timeline-Based Planning. | Dario Della Monica, Nicola Gigante, Angelo Montanari, Pietro Sala |
| 2017 | ICALP | Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption. | Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala |
| 2017 | IJCAI | 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 |
| 2017 | SAC | Driving time-dependent paths in clinical BPMN processes. | Carlo Combi, Pietro Sala, Francesca Zerbato |
| 2016 | CADE | Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments. | Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala |
| 2016 | JELIA | Prompt Interval Temporal Logic. | Dario Della Monica, Angelo Montanari, Aniello Murano, Pietro Sala |
| 2016 | KR | Model Checking Well-Behaved Fragments of HS: The (Almost) Final Picture. | Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala |
| 2015 | LATA | 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 |
| 2015 | TIME | The Price of Evolution in Temporal Databases. | Carlo Combi, Romeo Rizzi, Pietro Sala |
| 2014 | MFCS | Decidability of the Interval Temporal Logic $\mathsf{A\bar{A}B\bar{B}}$ over the Rationals. | Angelo Montanari, Gabriele Puppis, Pietro Sala |
| 2014 | TIME | Metric Propositional Neighborhood Logic with an Equivalence Relation. | Angelo Montanari, Marco Pazzaglia, Pietro Sala |
| 2014 | TIME | Approximate Interval-Based Temporal Dependencies: The Complexity Landscape. | Pietro Sala |
| 2013 | ICDM | Mining Approximate Temporal Functional Dependencies Based on Pure Temporal Grouping. | Carlo Combi, Paolo Parise, Pietro Sala, Giuseppe Pozzi |
| 2013 | LATA | Interval Logics and ωB-Regular Languages. | Angelo Montanari, Pietro Sala |
| 2013 | LICS | Adding an Equivalence Relation to the Interval Logic ABB: Complexity and Expressiveness. | Angelo Montanari, Pietro Sala |
| 2012 | ECAI | Interval Temporal Logics over Finite Linear Orders: the Complete Picture. | Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco |
| 2012 | TIME | An Optimal Tableau System for the Logic of Temporal Neighborhood over the Reals. | Angelo Montanari, Pietro Sala |
| 2011 | LICS | What's Decidable about Halpern and Shoham's Interval Logic? The Maximal Fragment ABBL. | Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco |
| 2011 | TABLEAUX | Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders. | Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco |
| 2011 | TIME | Temporal Functional Dependencies Based on Interval Relations. | Carlo Combi, Pietro Sala |
| 2010 | ICALP | Maximal Decidable Fragments of Halpern and Shoham's Modal Logic of Intervals. | Angelo Montanari, Gabriele Puppis, Pietro Sala |
| 2010 | STACS | Decidability of the Interval Temporal Logic ABB over the Natural Numbers. | Angelo Montanari, Gabriele Puppis, Pietro Sala, Guido Sciavicco |
| 2010 | TIME | A Decidable Spatial Generalization of Metric Interval Temporal Logic. | Davide Bresolin, Pietro Sala, Dario Della Monica, Angelo Montanari, Guido Sciavicco |
| 2010 | TIME | Decidability of the Logics of the Reflexive Sub-interval and Super-interval Relations over Finite Linear Orders. | Angelo Montanari, Ian Pratt-Hartmann, Pietro Sala |
| 2009 | CSL | A Decidable Spatial Logic with Cone-Shaped Cardinal Directions. | Angelo Montanari, Gabriele Puppis, Pietro Sala |
| 2009 | TABLEAUX | A Tableau-Based System for Spatial Reasoning about Directional Relations. | Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco |
| 2008 | JELIA | Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders. | Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco |
| 2008 | TIME | An optimal tableau for Right Propositional Neighborhood Logic over Trees. | Davide Bresolin, Angelo Montanari, Pietro Sala |
| 2007 | STACS | An Optimal Tableau-Based Decision Algorithm for Propositional Neighborhood Logic. | Davide Bresolin, Angelo Montanari, Pietro Sala |
| 2007 | TABLEAUX | Tableau Systems for Logics of Subinterval Structures over Dense Orderings. | Davide Bresolin, Valentin Goranko, Angelo Montanari, Pietro Sala |