Pietro Sala - RankMe

100 papers A* 7A 5B 8C 14Misc 2Journal 35Unranked 28

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Algorithm 1061: ACM Trans. Math. Softw. Alberto Azzari, Andrea Cracco, Francesco Masillo, Pietro Sala
2025	J	`jnl`	Business Process Compliance with impact constraints. Inf. Syst. Tewabe Chekole Workneh, Pietro Sala, Romeo Rizzi, Matteo Cristani
2025	J	`jnl`	Synthesis of timeline-based planning strategies avoiding determinization. CoRR Dario Della Monica, Angelo Montanari, Pietro Sala
2025	J	`jnl`	TSRF-Dist: a novel time series distance based on extremely randomized canonical interval forests. Data Min. Knowl. Discov. Alberto Azzari, Manuele Bicego, Carlo Combi, Andrea Cracco, Pietro Sala
2025	A	`conf`	Time Series Step Tree: A Novel Interpretable Method for Prompt Classification of Time Series. DIS Omid Zare, Pietro Sala, Daniel Amadori, Emanuele Chini, Javad Hassannataj Joloudari
2024	C	`ed.`	31st International Symposium on Temporal Representation and Reasoning, TIME 2024, Montpellier, France, October 28-30, 2024 TIME Pietro Sala, Michael Sioutis, Fusheng Wang
2024	Misc	`conf`	Enhancing Coronary Artery Disease Classification Using Optimized MLP Based on Genetic Algorithm. IWINAC Mohammad Hashemi, Seyedeh Somayeh Salehi Komamardakhi, Mohammad Maftoun, Omid Zare, Javad Hassannataj Joloudari, Mohammad Ali Nematollahi, Roohallah Alizadehsani, Pietro Sala, Juan Manuel Górriz
2024	J	`jnl`	Predictive mining of multi-temporal relations. Inf. Comput. Beatrice Amico, Carlo Combi, Romeo Rizzi, Pietro Sala
2024	—	`conf`	Reactive Synthesis for Expected Impacts. GandALF Emanuele Chini, Pietro Sala, Andrea Simonetti, Omid Zare
2024	—	`conf`	Sequence-Walking Decision Tree for Multivariate Healthcare Data. ICHI Pietro Sala, Omid Zare
2024	—	`conf`	Synthesis of Timeline-Based Planning Strategies Avoiding Determinization. GandALF Renato Acampora, Dario Della Monica, Luca Geatti, Nicola Gigante, Angelo Montanari, Pietro Sala
2024	J	`jnl`	The addition of temporal neighborhood makes the logic of prefixes and sub-intervals EXPSPACE-complete. Log. Methods Comput. Sci. Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala
2023	J	`jnl`	An interval temporal logic characterization of extended Theor. Comput. Sci. Dario Della Monica, Angelo Montanari, Pietro Sala
2023	C	`conf`	Discovering Predictive Dependencies on Multi-Temporal Relations. TIME Beatrice Amico, Carlo Combi, Romeo Rizzi, Pietro Sala
2023	J	`jnl`	Pspace-completeness of the temporal logic of sub-intervals and suffixes. Inf. Comput. Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala
2023	A*	`conf`	The Logic of Prefixes and Suffixes is Elementary under Homogeneity LICS Dario Della Monica, Angelo Montanari, Gabriele Puppis, Pietro Sala
2023	J	`jnl`	The Logic of Prefixes and Suffixes is Elementary under Homogeneity. CoRR Dario Della Monica, Angelo Montanari, Gabriele Puppis, Pietro Sala
2022	J	`jnl`	Reactive synthesis from interval temporal logic specifications. Theor. Comput. Sci. Angelo Montanari, Pietro Sala
2022	J	`jnl`	Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption. Log. Methods Comput. Sci. Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
2022	J	`jnl`	The addition of temporal neighborhood makes the logic of prefixes and sub-intervals EXPSPACE-complete. CoRR Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala
2021	—	`conf`	Adding the Relation Meets to the Temporal Logic of Prefixes and Infixes makes it EXPSPACE-Complete. GandALF Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala
2021	J	`jnl`	Checking Sets of Pure Evolving Association Rules. Fundam. Informaticae Carlo Combi, Romeo Rizzi, Pietro Sala
2021	—	`conf`	Extended ω-Regular Languages and Interval Temporal Logic. ICTCS Dario Della Monica, Angelo Montanari, Pietro Sala
2021	—	`conf`	On the early detection of Sepsis in MIMIC-III. ICHI Manuel Medina, Pietro Sala
2021	C	`conf`	Pspace-Completeness of the Temporal Logic of Sub-Intervals and Suffixes. TIME Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala
2021	J	`jnl`	TEDAR: Temporal dynamic signal detection of adverse reactions. Artif. Intell. Medicine Antonino Aparo, Pietro Sala, Vincenzo Bonnici, Rosalba Giugno
2020	J	`jnl`	Beyond Theor. Comput. Sci. David Barozzini, David de Frutos-Escrig, Dario Della Monica, Angelo Montanari, Pietro Sala
2020	J	`jnl`	Discovering Evolving Temporal Information: Theory and Application to Clinical Databases. SN Comput. Sci. Pietro Sala, Carlo Combi, Matteo Mantovani, Romeo Rizzi
2020	B	`conf`	On a Temporal Logic of Prefixes and Infixes. MFCS Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala
2020	J	`jnl`	Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption. CoRR Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
2019	C	`conf`	Customizing BPMN Diagrams Using Timelines. TIME Carlo Combi, Barbara Oliboni, Pietro Sala
2019	J	`jnl`	Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals. Inf. Comput. Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco
2019	J	`jnl`	Interval vs. Point Temporal Logic Model Checking: An Expressiveness Comparison. ACM Trans. Comput. Log. Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
2019	J	`jnl`	On coarser interval temporal logics. Artif. Intell. Emilio Muñoz-Velasco, Mercedes Pelegrín-García, Pietro Sala, Guido Sciavicco, Ionel Eduard Stan
2019	J	`jnl`	Which fragments of the interval temporal logic HS are tractable in model checking? Theor. Comput. Sci. Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
2018	—	`conf`	A Logical Formalization of Time-Critical Processes with Resources. BPM (Forum) Carlo Combi, Pietro Sala, Francesca Zerbato
2018	A*	`conf`	A Novel Automata-Theoretic Approach to Timeline-Based Planning. KR Dario Della Monica, Nicola Gigante, Angelo Montanari, Pietro Sala
2018	—	`conf`	An Algorithm for Verifying Approximate Pure Evolving Functional Dependencies. CILC Pietro Sala
2018	—	`conf`	Metric Right Propositional Neighborhood Logic with an Equivalence Relation. ICTCS Pietro Sala
2018	J	`jnl`	Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy. Inf. Comput. Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
2017	—	`conf`	Beyond ωBS-regular Languages: ωT-regular Expressions and Counter-Check Automata. GandALF Dario Della Monica, Angelo Montanari, Pietro Sala
2017	A*	`conf`	Bounded Timed Propositional Temporal Logic with Past Captures Timeline-based Planning with Bounded Constraints. IJCAI Dario Della Monica, Nicola Gigante, Angelo Montanari, Pietro Sala, Guido Sciavicco
2017	—	`conf`	Counter-queue Automata with an Application to a Meaningful Extension of Omega-regular Languages. ICTCS/CILC David Barozzini, Dario Della Monica, Angelo Montanari, Pietro Sala
2017	—	`conf`	Discovering Quantitative Temporal Functional Dependencies on Clinical Data. ICHI Carlo Combi, Matteo Mantovani, Pietro Sala
2017	Misc	`conf`	Driving time-dependent paths in clinical BPMN processes. SAC Carlo Combi, Pietro Sala, Francesca Zerbato
2017	J	`jnl`	Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison. CoRR Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
2017	A*	`conf`	Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption. ICALP Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
2016	J	`jnl`	Adding one or more equivalence relations to the interval temporal logic. Theor. Comput. Sci. Angelo Montanari, Marco Pazzaglia, Pietro Sala
2016	—	`conf`	Interval Temporal Logic Model Checking Based on Track Bisimilarity and Prefix Sampling. ICTCS Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
2016	A	`conf`	Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments. IJCAR Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
2016	—	`conf`	Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison. FSTTCS Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
2016	J	`jnl`	Metric propositional neighborhood logic with an equivalence relation. Acta Informatica Angelo Montanari, Marco Pazzaglia, Pietro Sala
2016	J	`jnl`	Mining approximate interval-based temporal dependencies. Acta Informatica Carlo Combi, Pietro Sala
2016	A*	`conf`	Model Checking Well-Behaved Fragments of HS: The (Almost) Final Picture. KR Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
2016	—	`conf`	Model Checking the Logic of Allen's Relations Meets and Started-by is P GandALF Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
2016	B	`conf`	Prompt Interval Temporal Logic. JELIA Dario Della Monica, Angelo Montanari, Aniello Murano, Pietro Sala
2015	—	`conf`	A Framework for Mining Evolution Rules and Its Application to the Clinical Domain. ICHI Pietro Sala, Carlo Combi, Matteo Cuccato, Andrea Galvani, Alberto Sabaini
2015	J	`jnl`	A decidable weakening of Compass Logic based on cone-shaped cardinal directions. Log. Methods Comput. Sci. Angelo Montanari, Gabriele Puppis, Pietro Sala
2015	J	`jnl`	Mining approximate temporal functional dependencies with pure temporal grouping in clinical databases. Comput. Biol. Medicine Carlo Combi, Matteo Mantovani, Alberto Sabaini, Pietro Sala, Francesco Amaddeo, Ugo Moretti, Giuseppe Pozzi
2015	—	`conf`	On Coarser Interval Temporal Logics and their Satisfiability Problem. CAEPIA Emilio Muñoz-Velasco, Mercedes Pelegrín-García, Pietro Sala, Guido Sciavicco
2015	C	`conf`	On the Complexity of Fragments of the Modal Logic of Allen's Relations over Dense Structures. LATA Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco
2015	C	`conf`	The Price of Evolution in Temporal Databases. TIME Carlo Combi, Romeo Rizzi, Pietro Sala
2014	—	`conf`	Adding two equivalence relations to the interval temporal logic AB. ICTCS Angelo Montanari, Marco Pazzaglia, Pietro Sala
2014	C	`conf`	Approximate Interval-Based Temporal Dependencies: The Complexity Landscape. TIME Pietro Sala
2014	—	`conf`	Decidability of the Interval Temporal Logic $\mathsf{A\bar{A}B\bar{B}}$ over the Rationals. MFCS (1) Angelo Montanari, Gabriele Puppis, Pietro Sala
2014	J	`jnl`	Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity. Theor. Comput. Sci. Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco
2014	—	`conf`	Interval-based Synthesis. GandALF Angelo Montanari, Pietro Sala
2014	J	`jnl`	Interval-based temporal functional dependencies: specification and verification. Ann. Math. Artif. Intell. Carlo Combi, Pietro Sala
2014	—	`conf`	Keeping Interval-Based Functional Dependencies Up-to-Date. CILC Carlo Combi, Pietro Sala
2014	C	`conf`	Metric Propositional Neighborhood Logic with an Equivalence Relation. TIME Angelo Montanari, Marco Pazzaglia, Pietro Sala
2013	A*	`conf`	Adding an Equivalence Relation to the Interval Logic ABB: Complexity and Expressiveness. LICS Angelo Montanari, Pietro Sala
2013	C	`conf`	Interval Logics and ωB-Regular Languages. LATA Angelo Montanari, Pietro Sala
2013	—	`conf`	Mining Approximate Temporal Functional Dependencies Based on Pure Temporal Grouping. ICDM Workshops Carlo Combi, Paolo Parise, Pietro Sala, Giuseppe Pozzi
2013	J	`jnl`	Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers. Theor. Comput. Sci. Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco
2012	C	`conf`	An Optimal Tableau System for the Logic of Temporal Neighborhood over the Reals. TIME Angelo Montanari, Pietro Sala
2012	A	`conf`	Interval Temporal Logics over Finite Linear Orders: the Complete Picture. ECAI Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco
2012	—	`conf`	Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture GandALF Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco
2012	J	`jnl`	On Begins, Meets and before. Int. J. Found. Comput. Sci. Davide Bresolin, Pietro Sala, Guido Sciavicco
2012	—	`conf`	The Importance of the Past in Interval Temporal Logics: The Case of Propositional Neighborhood Logic. Logic Programs, Norms and Action Dario Della Monica, Angelo Montanari, Pietro Sala
2011	B	`conf`	A Uniform Framework for Temporal Functional Dependencies with Multiple Granularities. SSTD Carlo Combi, Angelo Montanari, Pietro Sala
2011	—	`conf`	An Optimal Decision Procedure for MPNL over the Integers GandALF Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco
2011	B	`conf`	Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders. TABLEAUX Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco
2011	C	`conf`	Temporal Functional Dependencies Based on Interval Relations. TIME Carlo Combi, Pietro Sala
2011	A*	`conf`	What's Decidable about Halpern and Shoham's Interval Logic? The Maximal Fragment ABBL. LICS Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco
2010	C	`conf`	A Decidable Spatial Generalization of Metric Interval Temporal Logic. TIME Davide Bresolin, Pietro Sala, Dario Della Monica, Angelo Montanari, Guido Sciavicco
2010	—	`conf`	Begin, After, and Later: a Maximal Decidable Interval Temporal Logic GANDALF Davide Bresolin, Pietro Sala, Guido Sciavicco
2010	—	`—`	Decidability of interval temporal logics. Pietro Sala
2010	A	`conf`	Decidability of the Interval Temporal Logic ABB over the Natural Numbers. STACS Angelo Montanari, Gabriele Puppis, Pietro Sala, Guido Sciavicco
2010	C	`conf`	Decidability of the Logics of the Reflexive Sub-interval and Super-interval Relations over Finite Linear Orders. TIME Angelo Montanari, Ian Pratt-Hartmann, Pietro Sala
2010	—	`conf`	Maximal Decidable Fragments of Halpern and Shoham's Modal Logic of Intervals. ICALP (2) Angelo Montanari, Gabriele Puppis, Pietro Sala
2010	J	`jnl`	Tableaux for Logics of Subinterval Structures over Dense Orderings. J. Log. Comput. Davide Bresolin, Valentin Goranko, Angelo Montanari, Pietro Sala
2009	B	`conf`	A Decidable Spatial Logic with Cone-Shaped Cardinal Directions. CSL Angelo Montanari, Gabriele Puppis, Pietro Sala
2009	B	`conf`	A Tableau-Based System for Spatial Reasoning about Directional Relations. TABLEAUX Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco
2009	J	`jnl`	Decidability of the interval temporal logic ABBar over the natural numbers CoRR Angelo Montanari, Gabriele Puppis, Pietro Sala, Guido Sciavicco
2008	C	`conf`	An optimal tableau for Right Propositional Neighborhood Logic over Trees. TIME Davide Bresolin, Angelo Montanari, Pietro Sala
2008	B	`conf`	Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders. JELIA Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco
2007	A	`conf`	An Optimal Tableau-Based Decision Algorithm for Propositional Neighborhood Logic. STACS Davide Bresolin, Angelo Montanari, Pietro Sala
2007	—	`conf`	Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings. M4M Davide Bresolin, Valentin Goranko, Angelo Montanari, Pietro Sala
2007	B	`conf`	Tableau Systems for Logics of Subinterval Structures over Dense Orderings. TABLEAUX Davide Bresolin, Valentin Goranko, Angelo Montanari, Pietro Sala
2006	J	`jnl`	A general tableau method for propositional interval temporal logics: Theory and implementation. J. Appl. Log. Valentin Goranko, Angelo Montanari, Pietro Sala, Guido Sciavicco