The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Pietro Sala" ( http://dblp.L3S.de/Authors/Pietro_Sala )

  Author page on DBLP  Author page in RDF  Community of Pietro Sala in ASPL-2

Publication years (Num. hits)
2006-2010 (15) 2011-2014 (22) 2015-2016 (15) 2017-2019 (16)
Publication types (Num. hits)
article(19) inproceedings(49)
Venues (Conferences, Journals, ...)
TIME(8) GandALF(6) Theor. Comput. Sci.(4) ICTCS(3) TABLEAUX(3) Acta Inf.(2) CILC(2) CoRR(2) ICHI(2) Inf. Comput.(2) JELIA(2) KR(2) LATA(2) LICS(2) STACS(2) ACM Trans. Comput. Log.(1) More (+10 of total 39)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 69 publication records. Showing 68 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala Interval vs. Point Temporal Logic Model Checking: An Expressiveness Comparison. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Emilio Muñoz-Velasco, Mercedes Pelegrín-García, Pietro Sala, Guido Sciavicco, Ionel Eduard Stan On coarser interval temporal logics. Search on Bibsonomy Artif. Intell. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala Which fragments of the interval temporal logic HS are tractable in model checking? Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Davide 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. Search on Bibsonomy Inf. Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Laura 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. Search on Bibsonomy Inf. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Pietro Sala An Algorithm for Verifying Approximate Pure Evolving Functional Dependencies. Search on Bibsonomy CILC The full citation details ... 2018 DBLP  BibTeX  RDF
1Carlo Combi, Pietro Sala, Francesca Zerbato A Logical Formalization of Time-Critical Processes with Resources. Search on Bibsonomy BPM (Forum) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Pietro Sala Metric Right Propositional Neighborhood Logic with an Equivalence Relation. Search on Bibsonomy ICTCS The full citation details ... 2018 DBLP  BibTeX  RDF
1Dario Della Monica, Nicola Gigante, Angelo Montanari, Pietro Sala A Novel Automata-Theoretic Approach to Timeline-Based Planning. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Dario Della Monica, Angelo Montanari, Pietro Sala Beyond ωBS-regular Languages: ωT-regular Expressions and Counter-Check Automata. Search on Bibsonomy GandALF The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Carlo Combi, Pietro Sala, Francesca Zerbato Driving time-dependent paths in clinical BPMN processes. Search on Bibsonomy SAC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption. Search on Bibsonomy ICALP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1David Barozzini, Dario Della Monica, Angelo Montanari, Pietro Sala Counter-queue Automata with an Application to a Meaningful Extension of Omega-regular Languages. Search on Bibsonomy ICTCS/CILC The full citation details ... 2017 DBLP  BibTeX  RDF
1Carlo Combi, Matteo Mantovani, Pietro Sala Discovering Quantitative Temporal Functional Dependencies on Clinical Data. Search on Bibsonomy ICHI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Dario Della Monica, Nicola Gigante, Angelo Montanari, Pietro Sala, Guido Sciavicco Bounded Timed Propositional Temporal Logic with Past Captures Timeline-based Planning with Bounded Constraints. Search on Bibsonomy IJCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Carlo Combi, Pietro Sala Mining approximate interval-based temporal dependencies. Search on Bibsonomy Acta Inf. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Angelo Montanari, Marco Pazzaglia, Pietro Sala Metric propositional neighborhood logic with an equivalence relation. Search on Bibsonomy Acta Inf. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Angelo Montanari, Marco Pazzaglia, Pietro Sala Adding one or more equivalence relations to the interval temporal logic. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala Model Checking the Logic of Allen's Relations Meets and Started-by is PNP-Complete. Search on Bibsonomy GandALF The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala Interval Temporal Logic Model Checking Based on Track Bisimilarity and Prefix Sampling. Search on Bibsonomy ICTCS The full citation details ... 2016 DBLP  BibTeX  RDF
1Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments. Search on Bibsonomy IJCAR The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Dario Della Monica, Angelo Montanari, Aniello Murano, Pietro Sala Prompt Interval Temporal Logic. Search on Bibsonomy JELIA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala Model Checking Well-Behaved Fragments of HS: The (Almost) Final Picture. Search on Bibsonomy KR The full citation details ... 2016 DBLP  BibTeX  RDF
1Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison. Search on Bibsonomy FSTTCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Angelo Montanari, Gabriele Puppis, Pietro Sala A decidable weakening of Compass Logic based on cone-shaped cardinal directions. Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Carlo 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. Search on Bibsonomy Comp. in Bio. and Med. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Emilio Muñoz-Velasco, Mercedes Pelegrín-García, Pietro Sala, Guido Sciavicco On Coarser Interval Temporal Logics and their Satisfiability Problem. Search on Bibsonomy CAEPIA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Davide 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. Search on Bibsonomy LATA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Carlo Combi, Romeo Rizzi, Pietro Sala The Price of Evolution in Temporal Databases. Search on Bibsonomy TIME The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Pietro Sala, Carlo Combi, Matteo Cuccato, Andrea Galvani, Alberto Sabaini A Framework for Mining Evolution Rules and Its Application to the Clinical Domain. Search on Bibsonomy ICHI The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Carlo Combi, Pietro Sala Interval-based temporal functional dependencies: specification and verification. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Angelo Montanari, Pietro Sala Interval-based Synthesis. Search on Bibsonomy GandALF The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Carlo Combi, Pietro Sala Keeping Interval-Based Functional Dependencies Up-to-Date. Search on Bibsonomy CILC The full citation details ... 2014 DBLP  BibTeX  RDF
1Angelo Montanari, Gabriele Puppis, Pietro Sala Decidability of the Interval Temporal Logic $\mathsf{A\bar{A}B\bar{B}}$ over the Rationals. Search on Bibsonomy MFCS (1) The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Angelo Montanari, Marco Pazzaglia, Pietro Sala Adding two equivalence relations to the interval temporal logic AB. Search on Bibsonomy ICTCS The full citation details ... 2014 DBLP  BibTeX  RDF
1Pietro Sala Approximate Interval-Based Temporal Dependencies: The Complexity Landscape. Search on Bibsonomy TIME The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Angelo Montanari, Marco Pazzaglia, Pietro Sala Metric Propositional Neighborhood Logic with an Equivalence Relation. Search on Bibsonomy TIME The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Carlo Combi, Paolo Parise, Pietro Sala, Giuseppe Pozzi Mining Approximate Temporal Functional Dependencies Based on Pure Temporal Grouping. Search on Bibsonomy ICDM Workshops The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Angelo Montanari, Pietro Sala Adding an Equivalence Relation to the Interval Logic ABB: Complexity and Expressiveness. Search on Bibsonomy LICS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Angelo Montanari, Pietro Sala Interval Logics and ωB-Regular Languages. Search on Bibsonomy LATA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture Search on Bibsonomy GandALF The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Davide Bresolin, Pietro Sala, Guido Sciavicco On Begins, Meets and before. Search on Bibsonomy Int. J. Found. Comput. Sci. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Dario Della Monica, Angelo Montanari, Pietro Sala The Importance of the Past in Interval Temporal Logics: The Case of Propositional Neighborhood Logic. Search on Bibsonomy Logic Programs, Norms and Action The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco Interval Temporal Logics over Finite Linear Orders: the Complete Picture. Search on Bibsonomy ECAI The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Angelo Montanari, Pietro Sala An Optimal Tableau System for the Logic of Temporal Neighborhood over the Reals. Search on Bibsonomy TIME The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco An Optimal Decision Procedure for MPNL over the Integers Search on Bibsonomy GandALF The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco What's Decidable about Halpern and Shoham's Interval Logic? The Maximal Fragment ABBL. Search on Bibsonomy LICS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders. Search on Bibsonomy TABLEAUX The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Carlo Combi, Pietro Sala Temporal Functional Dependencies Based on Interval Relations. Search on Bibsonomy TIME The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Carlo Combi, Angelo Montanari, Pietro Sala A Uniform Framework for Temporal Functional Dependencies with Multiple Granularities. Search on Bibsonomy SSTD The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Davide Bresolin, Pietro Sala, Guido Sciavicco Begin, After, and Later: a Maximal Decidable Interval Temporal Logic Search on Bibsonomy GANDALF The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Davide Bresolin, Valentin Goranko, Angelo Montanari, Pietro Sala Tableaux for Logics of Subinterval Structures over Dense Orderings. Search on Bibsonomy J. Log. Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Angelo Montanari, Gabriele Puppis, Pietro Sala Maximal Decidable Fragments of Halpern and Shoham's Modal Logic of Intervals. Search on Bibsonomy ICALP (2) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Angelo Montanari, Gabriele Puppis, Pietro Sala, Guido Sciavicco Decidability of the Interval Temporal Logic ABB over the Natural Numbers. Search on Bibsonomy STACS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Angelo Montanari, Ian Pratt-Hartmann, Pietro Sala Decidability of the Logics of the Reflexive Sub-interval and Super-interval Relations over Finite Linear Orders. Search on Bibsonomy TIME The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Davide Bresolin, Pietro Sala, Dario Della Monica, Angelo Montanari, Guido Sciavicco A Decidable Spatial Generalization of Metric Interval Temporal Logic. Search on Bibsonomy TIME The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Davide Bresolin, Valentin Goranko, Angelo Montanari, Pietro Sala Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Angelo Montanari, Gabriele Puppis, Pietro Sala, Guido Sciavicco Decidability of the interval temporal logic ABBar over the natural numbers Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco A Tableau-Based System for Spatial Reasoning about Directional Relations. Search on Bibsonomy TABLEAUX The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Angelo Montanari, Gabriele Puppis, Pietro Sala A Decidable Spatial Logic with Cone-Shaped Cardinal Directions. Search on Bibsonomy CSL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Davide Bresolin, Angelo Montanari, Pietro Sala An optimal tableau for Right Propositional Neighborhood Logic over Trees. Search on Bibsonomy TIME The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders. Search on Bibsonomy JELIA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Davide Bresolin, Valentin Goranko, Angelo Montanari, Pietro Sala Tableau Systems for Logics of Subinterval Structures over Dense Orderings. Search on Bibsonomy TABLEAUX The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Davide Bresolin, Angelo Montanari, Pietro Sala An Optimal Tableau-Based Decision Algorithm for Propositional Neighborhood Logic. Search on Bibsonomy STACS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Valentin Goranko, Angelo Montanari, Pietro Sala, Guido Sciavicco A general tableau method for propositional interval temporal logics: Theory and implementation. Search on Bibsonomy J. Applied Logic The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #68 of 68 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license