Pietro Sala

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 52

Top Topics

Regular Languages

Top Venues

Theor. Comput. Sci.

Publications

Mohammad Hashemi, Seyedeh Somayeh Salehi Komamardakhi, Mohammad Maftoun, Omid Zare, Javad Hassannataj Joloudari, Mohammad Ali Nematollahi, Roohallah Alizadehsani, Pietro Sala, Juan Manuel Górriz
Enhancing Coronary Artery Disease Classification Using Optimized MLP Based on Genetic Algorithm. IWINAC (2024)
Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala
The addition of temporal neighborhood makes the logic of prefixes and sub-intervals EXPSPACE-complete. Log. Methods Comput. Sci. 20 (1) (2024)
Dario Della Monica, Angelo Montanari, Gabriele Puppis, Pietro Sala
. LICS (2023)
Beatrice Amico, Carlo Combi, Romeo Rizzi, Pietro Sala
Discovering Predictive Dependencies on Multi-Temporal Relations. TIME (2023)
Dario Della Monica, Angelo Montanari, Pietro Sala
-regular languages. Theor. Comput. Sci. 962 (2023)
Dario Della Monica, Angelo Montanari, Gabriele Puppis, Pietro Sala
The Logic of Prefixes and Suffixes is Elementary under Homogeneity. CoRR (2023)
Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala
Pspace-completeness of the temporal logic of sub-intervals and suffixes. Inf. Comput. 294 (2023)
Angelo Montanari, Pietro Sala
Reactive synthesis from interval temporal logic specifications. Theor. Comput. Sci. 899 (2022)
Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala
The addition of temporal neighborhood makes the logic of prefixes and sub-intervals EXPSPACE-complete. CoRR (2022)
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption. Log. Methods Comput. Sci. 18 (1) (2022)
Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala
Adding the Relation Meets to the Temporal Logic of Prefixes and Infixes makes it EXPSPACE-Complete. GandALF (2021)
Dario Della Monica, Angelo Montanari, Pietro Sala
Extended ω-Regular Languages and Interval Temporal Logic. ICTCS (2021)
Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala
Pspace-Completeness of the Temporal Logic of Sub-Intervals and Suffixes. TIME (2021)
Antonino Aparo, Pietro Sala, Vincenzo Bonnici, Rosalba Giugno
TEDAR: Temporal dynamic signal detection of adverse reactions. Artif. Intell. Medicine 122 (2021)
Carlo Combi, Romeo Rizzi, Pietro Sala
Checking Sets of Pure Evolving Association Rules. Fundam. Informaticae 178 (4) (2021)
Manuel Medina, Pietro Sala
On the early detection of Sepsis in MIMIC-III. ICHI (2021)
Pietro Sala, Carlo Combi, Matteo Mantovani, Romeo Rizzi
Discovering Evolving Temporal Information: Theory and Application to Clinical Databases. SN Comput. Sci. 1 (3) (2020)
David Barozzini, David de Frutos-Escrig, Dario Della Monica, Angelo Montanari, Pietro Sala
-regular expressions and their automata and logic counterparts. Theor. Comput. Sci. 813 (2020)
Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala
On a Temporal Logic of Prefixes and Infixes. MFCS (2020)
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption. CoRR (2020)
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
Which fragments of the interval temporal logic HS are tractable in model checking? Theor. Comput. Sci. 764 (2019)
Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco
Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals. Inf. Comput. 266 (2019)
Emilio Muñoz-Velasco, Mercedes Pelegrín-García, Pietro Sala, Guido Sciavicco, Ionel Eduard Stan
On coarser interval temporal logics. Artif. Intell. 266 (2019)
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
Interval vs. Point Temporal Logic Model Checking: An Expressiveness Comparison. ACM Trans. Comput. Log. 20 (1) (2019)
Carlo Combi, Barbara Oliboni, Pietro Sala
Customizing BPMN Diagrams Using Timelines. TIME (2019)
Pietro Sala
Metric Right Propositional Neighborhood Logic with an Equivalence Relation. ICTCS (2018)
Pietro Sala
An Algorithm for Verifying Approximate Pure Evolving Functional Dependencies. CILC (2018)
Dario Della Monica, Nicola Gigante, Angelo Montanari, Pietro Sala
A Novel Automata-Theoretic Approach to Timeline-Based Planning. KR (2018)
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy. Inf. Comput. 262 (2018)
Carlo Combi, Pietro Sala, Francesca Zerbato
A Logical Formalization of Time-Critical Processes with Resources. BPM (Forum) (2018)
David Barozzini, Dario Della Monica, Angelo Montanari, Pietro Sala
Counter-queue Automata with an Application to a Meaningful Extension of Omega-regular Languages. ICTCS/CILC (2017)
Carlo Combi, Pietro Sala, Francesca Zerbato
Driving time-dependent paths in clinical BPMN processes. SAC (2017)
Carlo Combi, Matteo Mantovani, Pietro Sala
Discovering Quantitative Temporal Functional Dependencies on Clinical Data. ICHI (2017)
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison. CoRR (2017)
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption. ICALP (2017)
Dario Della Monica, Angelo Montanari, Pietro Sala
Beyond ωBS-regular Languages: ωT-regular Expressions and Counter-Check Automata. GandALF (2017)
Dario Della Monica, Nicola Gigante, Angelo Montanari, Pietro Sala, Guido Sciavicco
Bounded Timed Propositional Temporal Logic with Past Captures Timeline-based Planning with Bounded Constraints. IJCAI (2017)
Angelo Montanari, Marco Pazzaglia, Pietro Sala
Metric propositional neighborhood logic with an equivalence relation. Acta Informatica 53 (6-8) (2016)
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments. IJCAR (2016)
Carlo Combi, Pietro Sala
Mining approximate interval-based temporal dependencies. Acta Informatica 53 (6-8) (2016)
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
Interval Temporal Logic Model Checking Based on Track Bisimilarity and Prefix Sampling. ICTCS (2016)
Dario Della Monica, Angelo Montanari, Aniello Murano, Pietro Sala
Prompt Interval Temporal Logic. JELIA (2016)
Angelo Montanari, Marco Pazzaglia, Pietro Sala
Adding one or more equivalence relations to the interval temporal logic. Theor. Comput. Sci. 629 (2016)
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison. FSTTCS (2016)
Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
Model Checking Well-Behaved Fragments of HS: The (Almost) Final Picture. KR (2016)
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
-Complete. GandALF (2016)
Pietro Sala, Carlo Combi, Matteo Cuccato, Andrea Galvani, Alberto Sabaini
A Framework for Mining Evolution Rules and Its Application to the Clinical Domain. ICHI (2015)
Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco
On the Complexity of Fragments of the Modal Logic of Allen's Relations over Dense Structures. LATA (2015)
Carlo Combi, Romeo Rizzi, Pietro Sala
The Price of Evolution in Temporal Databases. TIME (2015)
Angelo Montanari, Gabriele Puppis, Pietro Sala
A decidable weakening of Compass Logic based on cone-shaped cardinal directions. Log. Methods Comput. Sci. 11 (4) (2015)
Carlo Combi, Matteo Mantovani, Alberto Sabaini, Pietro Sala, Francesco Amaddeo, Ugo Moretti, Giuseppe Pozzi
Mining approximate temporal functional dependencies with pure temporal grouping in clinical databases. Comput. Biol. Medicine 62 (2015)
Emilio Muñoz-Velasco, Mercedes Pelegrín-García, Pietro Sala, Guido Sciavicco
On Coarser Interval Temporal Logics and their Satisfiability Problem. CAEPIA (2015)
Pietro Sala
Approximate Interval-Based Temporal Dependencies: The Complexity Landscape. TIME (2014)
Angelo Montanari, Marco Pazzaglia, Pietro Sala
Adding two equivalence relations to the interval temporal logic AB. ICTCS (2014)
Carlo Combi, Pietro Sala
Interval-based temporal functional dependencies: specification and verification. Ann. Math. Artif. Intell. 71 (1-3) (2014)
Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco
Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity. Theor. Comput. Sci. 560 (2014)
Carlo Combi, Pietro Sala
Keeping Interval-Based Functional Dependencies Up-to-Date. CILC (2014)
Angelo Montanari, Gabriele Puppis, Pietro Sala
Decidability of the Interval Temporal Logic $\mathsf{A\bar{A}B\bar{B}}$ over the Rationals. MFCS (1) (2014)
Angelo Montanari, Pietro Sala
Interval-based Synthesis. GandALF (2014)
Angelo Montanari, Marco Pazzaglia, Pietro Sala
Metric Propositional Neighborhood Logic with an Equivalence Relation. TIME (2014)
Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco
Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers. Theor. Comput. Sci. 493 (2013)
Angelo Montanari, Pietro Sala
Interval Logics and ωB-Regular Languages. LATA (2013)
Angelo Montanari, Pietro Sala
Adding an Equivalence Relation to the Interval Logic ABB: Complexity and Expressiveness. LICS (2013)
Carlo Combi, Paolo Parise, Pietro Sala, Giuseppe Pozzi
Mining Approximate Temporal Functional Dependencies Based on Pure Temporal Grouping. ICDM Workshops (2013)
Dario Della Monica, Angelo Montanari, Pietro Sala
The Importance of the Past in Interval Temporal Logics: The Case of Propositional Neighborhood Logic. Logic Programs, Norms and Action (2012)
Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco
Interval Temporal Logics over Finite Linear Orders: the Complete Picture. ECAI (2012)
Davide Bresolin, Pietro Sala, Guido Sciavicco
On Begins, Meets and before. Int. J. Found. Comput. Sci. 23 (3) (2012)
Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco
Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture GandALF (2012)
Angelo Montanari, Pietro Sala
An Optimal Tableau System for the Logic of Temporal Neighborhood over the Reals. TIME (2012)
Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco
Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders. TABLEAUX (2011)
Carlo Combi, Pietro Sala
Temporal Functional Dependencies Based on Interval Relations. TIME (2011)
Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco
An Optimal Decision Procedure for MPNL over the Integers GandALF (2011)
Carlo Combi, Angelo Montanari, Pietro Sala
A Uniform Framework for Temporal Functional Dependencies with Multiple Granularities. SSTD (2011)
Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco
What's Decidable about Halpern and Shoham's Interval Logic? The Maximal Fragment ABBL. LICS (2011)
Davide Bresolin, Pietro Sala, Guido Sciavicco
Begin, After, and Later: a Maximal Decidable Interval Temporal Logic GANDALF (2010)
Angelo Montanari, Gabriele Puppis, Pietro Sala, Guido Sciavicco
Decidability of the Interval Temporal Logic ABB over the Natural Numbers. STACS (2010)
Davide Bresolin, Pietro Sala, Dario Della Monica, Angelo Montanari, Guido Sciavicco
A Decidable Spatial Generalization of Metric Interval Temporal Logic. TIME (2010)
Angelo Montanari, Ian Pratt-Hartmann, Pietro Sala
Decidability of the Logics of the Reflexive Sub-interval and Super-interval Relations over Finite Linear Orders. TIME (2010)
Angelo Montanari, Gabriele Puppis, Pietro Sala
Maximal Decidable Fragments of Halpern and Shoham's Modal Logic of Intervals. ICALP (2) (2010)
Davide Bresolin, Valentin Goranko, Angelo Montanari, Pietro Sala
Tableaux for Logics of Subinterval Structures over Dense Orderings. J. Log. Comput. 20 (1) (2010)
Angelo Montanari, Gabriele Puppis, Pietro Sala
A Decidable Spatial Logic with Cone-Shaped Cardinal Directions. CSL (2009)
Angelo Montanari, Gabriele Puppis, Pietro Sala, Guido Sciavicco
Decidability of the interval temporal logic ABBar over the natural numbers CoRR (2009)
Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco
A Tableau-Based System for Spatial Reasoning about Directional Relations. TABLEAUX (2009)
Davide Bresolin, Valentin Goranko, Angelo Montanari, Pietro Sala
Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings. Electron. Notes Theor. Comput. Sci. 231 (2009)
Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco
Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders. JELIA (2008)
Davide Bresolin, Angelo Montanari, Pietro Sala
An optimal tableau for Right Propositional Neighborhood Logic over Trees. TIME (2008)
Davide Bresolin, Valentin Goranko, Angelo Montanari, Pietro Sala
Tableau Systems for Logics of Subinterval Structures over Dense Orderings. TABLEAUX (2007)
Davide Bresolin, Angelo Montanari, Pietro Sala
An Optimal Tableau-Based Decision Algorithm for Propositional Neighborhood Logic. STACS (2007)
Valentin Goranko, Angelo Montanari, Pietro Sala, Guido Sciavicco
A general tableau method for propositional interval temporal logics: Theory and implementation. J. Appl. Log. 4 (3) (2006)