![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Pietro Sala
Person information
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j25]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) - [c59]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: 108-117 - 2023
- [j24]Laura Bozzelli, Angelo Montanari, Adriano Peron
, Pietro Sala:
Pspace-completeness of the temporal logic of sub-intervals and suffixes. Inf. Comput. 294: 105083 (2023) - [j23]Dario Della Monica, Angelo Montanari, Pietro Sala:
An interval temporal logic characterization of extended ω-regular languages. Theor. Comput. Sci. 962: 113929 (2023) - [c58]Dario Della Monica, Angelo Montanari, Gabriele Puppis
, Pietro Sala:
The Logic of Prefixes and Suffixes is Elementary under Homogeneity*. LICS 2023: 1-12 - [c57]Beatrice Amico, Carlo Combi, Romeo Rizzi, Pietro Sala:
Discovering Predictive Dependencies on Multi-Temporal Relations. TIME 2023: 4:1-4:19 - [i5]Dario Della Monica, Angelo Montanari, Gabriele Puppis
, Pietro Sala:
The Logic of Prefixes and Suffixes is Elementary under Homogeneity. CoRR abs/2304.11483 (2023) - 2022
- [j22]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) - [j21]Angelo Montanari, Pietro Sala:
Reactive synthesis from interval temporal logic specifications. Theor. Comput. Sci. 899: 48-79 (2022) - [i4]Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala:
The addition of temporal neighborhood makes the logic of prefixes and sub-intervals EXPSPACE-complete. CoRR abs/2202.07881 (2022) - 2021
- [j20]Antonino Aparo
, Pietro Sala, Vincenzo Bonnici
, Rosalba Giugno:
TEDAR: Temporal dynamic signal detection of adverse reactions. Artif. Intell. Medicine 122: 102212 (2021) - [j19]Carlo Combi, Romeo Rizzi, Pietro Sala
:
Checking Sets of Pure Evolving Association Rules. Fundam. Informaticae 178(4): 283-313 (2021) - [c56]Manuel Medina, Pietro Sala:
On the early detection of Sepsis in MIMIC-III. ICHI 2021: 171-180 - [c55]Dario Della Monica, Angelo Montanari, Pietro Sala:
Extended ω-Regular Languages and Interval Temporal Logic. ICTCS 2021: 70-86 - [c54]Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala:
Pspace-Completeness of the Temporal Logic of Sub-Intervals and Suffixes. TIME 2021: 9:1-9:19 - [c53]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: 179-194 - 2020
- [j18]Pietro Sala, Carlo Combi, Matteo Mantovani
, Romeo Rizzi:
Discovering Evolving Temporal Information: Theory and Application to Clinical Databases. SN Comput. Sci. 1(3): 153 (2020) - [j17]David Barozzini, David de Frutos-Escrig
, Dario Della Monica
, Angelo Montanari, Pietro Sala
:
Beyond ω-regular languages: ωT-regular expressions and their automata and logic counterparts. Theor. Comput. Sci. 813: 270-304 (2020) - [c52]Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala
:
On a Temporal Logic of Prefixes and Infixes. MFCS 2020: 21:1-21:14 - [i3]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 abs/2006.04652 (2020)
2010 – 2019
- 2019
- [j16]Emilio Muñoz-Velasco
, Mercedes Pelegrín-García, Pietro Sala
, Guido Sciavicco
, Ionel Eduard Stan
:
On coarser interval temporal logics. Artif. Intell. 266: 1-26 (2019) - [j15]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: 97-125 (2019) - [j14]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: 125-144 (2019) - [j13]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): 4:1-4:31 (2019) - [c51]Carlo Combi, Barbara Oliboni, Pietro Sala
:
Customizing BPMN Diagrams Using Timelines. TIME 2019: 5:1-5:17 - 2018
- [j12]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: 241-264 (2018) - [c50]Carlo Combi, Pietro Sala
, Francesca Zerbato
:
A Logical Formalization of Time-Critical Processes with Resources. BPM (Forum) 2018: 20-36 - [c49]Pietro Sala:
An Algorithm for Verifying Approximate Pure Evolving Functional Dependencies. CILC 2018: 2-16 - [c48]Pietro Sala:
Metric Right Propositional Neighborhood Logic with an Equivalence Relation. ICTCS 2018: 140-151 - [c47]Dario Della Monica, Nicola Gigante, Angelo Montanari, Pietro Sala:
A Novel Automata-Theoretic Approach to Timeline-Based Planning. KR 2018: 541-550 - 2017
- [c46]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: 120:1-120:14 - [c45]Carlo Combi, Matteo Mantovani
, Pietro Sala
:
Discovering Quantitative Temporal Functional Dependencies on Clinical Data. ICHI 2017: 248-257 - [c44]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: 27-38 - [c43]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: 1008-1014 - [c42]Carlo Combi, Pietro Sala
, Francesca Zerbato
:
Driving time-dependent paths in clinical BPMN processes. SAC 2017: 743-750 - [c41]Dario Della Monica
, Angelo Montanari, Pietro Sala
:
Beyond ωBS-regular Languages: ωT-regular Expressions and Counter-Check Automata. GandALF 2017: 223-237 - [i2]Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala:
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison. CoRR abs/1711.08191 (2017) - 2016
- [j11]Carlo Combi
, Pietro Sala
:
Mining approximate interval-based temporal dependencies. Acta Informatica 53(6-8): 547-585 (2016) - [j10]Angelo Montanari, Marco Pazzaglia, Pietro Sala
:
Metric propositional neighborhood logic with an equivalence relation. Acta Informatica 53(6-8): 621-648 (2016) - [j9]Angelo Montanari, Marco Pazzaglia, Pietro Sala
:
Adding one or more equivalence relations to the interval temporal logic. Theor. Comput. Sci. 629: 116-134 (2016) - [c40]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: 389-405 - [c39]Laura Bozzelli, Alberto Molinari
, Angelo Montanari, Adriano Peron, Pietro Sala
:
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison. FSTTCS 2016: 26:1-26:14 - [c38]Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala:
Interval Temporal Logic Model Checking Based on Track Bisimilarity and Prefix Sampling. ICTCS 2016: 49-61 - [c37]Dario Della Monica
, Angelo Montanari, Aniello Murano
, Pietro Sala
:
Prompt Interval Temporal Logic. JELIA 2016: 207-222 - [c36]Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala:
Model Checking Well-Behaved Fragments of HS: The (Almost) Final Picture. KR 2016: 473-483 - [c35]Laura Bozzelli, Alberto Molinari
, Angelo Montanari, Adriano Peron, Pietro Sala
:
Model Checking the Logic of Allen's Relations Meets and Started-by is PNP-Complete. GandALF 2016: 76-90 - 2015
- [j8]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: 306-324 (2015) - [j7]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) - [c34]Emilio Muñoz-Velasco, Mercedes Pelegrín-García, Pietro Sala
, Guido Sciavicco
:
On Coarser Interval Temporal Logics and their Satisfiability Problem. CAEPIA 2015: 105-115 - [c33]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: 293-302 - [c32]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: 511-523 - [c31]Carlo Combi
, Romeo Rizzi, Pietro Sala
:
The Price of Evolution in Temporal Databases. TIME 2015: 47-58 - 2014
- [j6]Carlo Combi
, Pietro Sala
:
Interval-based temporal functional dependencies: specification and verification. Ann. Math. Artif. Intell. 71(1-3): 85-130 (2014) - [j5]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: 269-291 (2014) - [c30]Carlo Combi, Pietro Sala:
Keeping Interval-Based Functional Dependencies Up-to-Date. CILC 2014: 330-334 - [c29]Angelo Montanari, Marco Pazzaglia, Pietro Sala:
Adding two equivalence relations to the interval temporal logic AB. ICTCS 2014: 171-182 - [c28]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: 451-463 - [c27]Angelo Montanari, Marco Pazzaglia, Pietro Sala
:
Metric Propositional Neighborhood Logic with an Equivalence Relation. TIME 2014: 49-58 - [c26]Pietro Sala
:
Approximate Interval-Based Temporal Dependencies: The Complexity Landscape. TIME 2014: 69-78 - [c25]Angelo Montanari, Pietro Sala
:
Interval-based Synthesis. GandALF 2014: 102-115 - 2013
- [j4]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: 98-115 (2013) - [c24]Carlo Combi
, Paolo Parise, Pietro Sala
, Giuseppe Pozzi:
Mining Approximate Temporal Functional Dependencies Based on Pure Temporal Grouping. ICDM Workshops 2013: 258-265 - [c23]Angelo Montanari, Pietro Sala
:
Interval Logics and ωB-Regular Languages. LATA 2013: 431-443 - [c22]Angelo Montanari, Pietro Sala
:
Adding an Equivalence Relation to the Interval Logic ABB: Complexity and Expressiveness. LICS 2013: 193-202 - 2012
- [j3]Davide Bresolin
, Pietro Sala
, Guido Sciavicco
:
On Begins, Meets and before. Int. J. Found. Comput. Sci. 23(3): 559-583 (2012) - [c21]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: 79-102 - [c20]Davide Bresolin
, Dario Della Monica
, Angelo Montanari, Pietro Sala
, Guido Sciavicco
:
Interval Temporal Logics over Finite Linear Orders: the Complete Picture. ECAI 2012: 199-204 - [c19]Angelo Montanari, Pietro Sala
:
An Optimal Tableau System for the Logic of Temporal Neighborhood over the Reals. TIME 2012: 39-46 - [c18]Davide Bresolin
, Dario Della Monica
, Angelo Montanari, Pietro Sala
, Guido Sciavicco
:
Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture. GandALF 2012: 155-168 - 2011
- [c17]Davide Bresolin
, Angelo Montanari, Pietro Sala
, Guido Sciavicco
:
What's Decidable about Halpern and Shoham's Interval Logic? The Maximal Fragment ABBL. LICS 2011: 387-396 - [c16]Carlo Combi
, Angelo Montanari, Pietro Sala
:
A Uniform Framework for Temporal Functional Dependencies with Multiple Granularities. SSTD 2011: 404-421 - [c15]Davide Bresolin
, Angelo Montanari, Pietro Sala
, Guido Sciavicco
:
Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders. TABLEAUX 2011: 73-87 - [c14]Carlo Combi, Pietro Sala
:
Temporal Functional Dependencies Based on Interval Relations. TIME 2011: 23-30 - [c13]Davide Bresolin
, Angelo Montanari, Pietro Sala
, Guido Sciavicco
:
An Optimal Decision Procedure for MPNL over the Integers. GandALF 2011: 192-206 - 2010
- [b1]Pietro Sala:
Decidability of interval temporal logics. University of Udine, Italy, 2010 - [j2]Davide Bresolin
, Valentin Goranko, Angelo Montanari, Pietro Sala
:
Tableaux for Logics of Subinterval Structures over Dense Orderings. J. Log. Comput. 20(1): 133-166 (2010) - [c12]Angelo Montanari, Gabriele Puppis
, Pietro Sala
:
Maximal Decidable Fragments of Halpern and Shoham's Modal Logic of Intervals. ICALP (2) 2010: 345-356 - [c11]Angelo Montanari, Gabriele Puppis
, Pietro Sala
, Guido Sciavicco
:
Decidability of the Interval Temporal Logic ABB over the Natural Numbers. STACS 2010: 597-608 - [c10]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: 27-34 - [c9]Davide Bresolin
, Pietro Sala
, Dario Della Monica
, Angelo Montanari, Guido Sciavicco
:
A Decidable Spatial Generalization of Metric Interval Temporal Logic. TIME 2010: 95-102 - [c8]Davide Bresolin
, Pietro Sala
, Guido Sciavicco
:
Begin, After, and Later: a Maximal Decidable Interval Temporal Logic. GANDALF 2010: 72-88
2000 – 2009
- 2009
- [c7]Angelo Montanari, Gabriele Puppis
, Pietro Sala
:
A Decidable Spatial Logic with Cone-Shaped Cardinal Directions. CSL 2009: 394-408 - [c6]Davide Bresolin
, Angelo Montanari, Pietro Sala
, Guido Sciavicco
:
A Tableau-Based System for Spatial Reasoning about Directional Relations. TABLEAUX 2009: 123-137 - [i1]Angelo Montanari, Gabriele Puppis, Pietro Sala, Guido Sciavicco:
Decidability of the interval temporal logic ABBar over the natural numbers. CoRR abs/0912.3429 (2009) - 2008
- [c5]Davide Bresolin
, Angelo Montanari, Pietro Sala
, Guido Sciavicco
:
Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders. JELIA 2008: 62-75 - [c4]Davide Bresolin
, Angelo Montanari, Pietro Sala
:
An optimal tableau for Right Propositional Neighborhood Logic over Trees. TIME 2008: 110-117 - 2007
- [c3]Davide Bresolin
, Angelo Montanari, Pietro Sala
:
An Optimal Tableau-Based Decision Algorithm for Propositional Neighborhood Logic. STACS 2007: 549-560 - [c2]Davide Bresolin
, Valentin Goranko, Angelo Montanari, Pietro Sala
:
Tableau Systems for Logics of Subinterval Structures over Dense Orderings. TABLEAUX 2007: 73-89 - [c1]Davide Bresolin
, Valentin Goranko, Angelo Montanari, Pietro Sala
:
Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings. M4M 2007: 131-151 - 2006
- [j1]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): 305-330 (2006)
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 20:25 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint