Pietro Sala
Orcid: 0000-0002-2612-1519
According to our database1,
Pietro Sala
authored at least 82 papers
between 2006 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Inf. Comput., October, 2023
Theor. Comput. Sci., June, 2023
Proceedings of the 30th International Symposium on Temporal Representation and Reasoning, 2023
LICS, 2023
2022
Theor. Comput. Sci., 2022
Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption.
Log. Methods Comput. Sci., 2022
The addition of temporal neighborhood makes the logic of prefixes and sub-intervals EXPSPACE-complete.
CoRR, 2022
2021
Adding the Relation Meets to the Temporal Logic of Prefixes and Infixes makes it EXPSPACE-Complete.
Proceedings of the Proceedings 12th International Symposium on Games, 2021
Artif. Intell. Medicine, 2021
Proceedings of the 22nd Italian Conference on Theoretical Computer Science, 2021
Proceedings of the 9th IEEE International Conference on Healthcare Informatics, 2021
2020
Beyond <i>ω</i>-regular languages: <i>ωT</i>-regular expressions and their automata and logic counterparts.
Theor. Comput. Sci., 2020
Discovering Evolving Temporal Information: Theory and Application to Clinical Databases.
SN Comput. Sci., 2020
Proceedings of the 45th International Symposium on Mathematical Foundations of Computer Science, 2020
2019
ACM Trans. Comput. Log., 2019
Theor. Comput. Sci., 2019
Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals.
Inf. Comput., 2019
Proceedings of the 26th International Symposium on Temporal Representation and Reasoning, 2019
2018
Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy.
Inf. Comput., 2018
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018
Proceedings of the 19th Italian Conference on Theoretical Computer Science, 2018
Proceedings of the 33rd Italian Conference on Computational Logic, 2018
Proceedings of the Business Process Management Forum, 2018
2017
Proceedings of the Proceedings Eighth International Symposium on Games, 2017
Proceedings of the Symposium on Applied Computing, 2017
Bounded Timed Propositional Temporal Logic with Past Captures Timeline-based Planning with Bounded Constraints.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017
Counter-queue Automata with an Application to a Meaningful Extension of Omega-regular Languages.
Proceedings of the Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic co-located with the 2017 IEEE International Workshop on Measurements and Networking (2017 IEEE M&N), 2017
Proceedings of the 2017 IEEE International Conference on Healthcare Informatics, 2017
2016
Theor. Comput. Sci., 2016
Model Checking the Logic of Allen's Relations Meets and Started-by is P<sup>NP</sup>-Complete.
Proceedings of the Seventh International Symposium on Games, 2016
Acta Informatica, 2016
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016
Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016
Interval Temporal Logic Model Checking Based on Track Bisimilarity and Prefix Sampling.
Proceedings of the 17th Italian Conference on Theoretical Computer Science, 2016
Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments.
Proceedings of the Automated Reasoning - 8th International Joint Conference, 2016
2015
Log. Methods Comput. Sci., 2015
Mining approximate temporal functional dependencies with pure temporal grouping in clinical databases.
Comput. Biol. Medicine, 2015
Proceedings of the 22nd International Symposium on Temporal Representation and Reasoning, 2015
On the Complexity of Fragments of the Modal Logic of Allen's Relations over Dense Structures.
Proceedings of the Language and Automata Theory and Applications, 2015
Proceedings of the 2015 International Conference on Healthcare Informatics, 2015
Proceedings of the Advances in Artificial Intelligence, 2015
2014
Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity.
Theor. Comput. Sci., 2014
Proceedings of the Proceedings Fifth International Symposium on Games, 2014
Ann. Math. Artif. Intell., 2014
Proceedings of the 21st International Symposium on Temporal Representation and Reasoning, 2014
Decidability of the Interval Temporal Logic $\mathsf{A\bar{A}B\bar{B}}$ over the Rationals.
Proceedings of the Mathematical Foundations of Computer Science 2014, 2014
Proceedings of the 15th Italian Conference on Theoretical Computer Science, 2014
Proceedings of the 29th Italian Conference on Computational Logic, 2014
2013
Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers.
Theor. Comput. Sci., 2013
Adding an Equivalence Relation to the Interval Logic ABB: Complexity and Expressiveness.
Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013
Proceedings of the Language and Automata Theory and Applications, 2013
Proceedings of the 13th IEEE International Conference on Data Mining Workshops, 2013
2012
Proceedings of the Proceedings Third International Symposium on Games, 2012
Proceedings of the 19th International Symposium on Temporal Representation and Reasoning, 2012
Proceedings of the ECAI 2012, 2012
The Importance of the Past in Interval Temporal Logics: The Case of Propositional Neighborhood Logic.
Proceedings of the Logic Programs, Norms and Action, 2012
2011
Proceedings of Second International Symposium on Games, 2011
Proceedings of the Eighteenth International Symposium on Temporal Representation and Reasoning, 2011
Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2011
A Uniform Framework for Temporal Functional Dependencies with Multiple Granularities.
Proceedings of the Advances in Spatial and Temporal Databases, 2011
What's Decidable about Halpern and Shoham's Interval Logic? The Maximal Fragment ABBL.
Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science, 2011
2010
J. Log. Comput., 2010
Proceedings of the Proceedings First Symposium on Games, 2010
Decidability of the Logics of the Reflexive Sub-interval and Super-interval Relations over Finite Linear Orders.
Proceedings of the TIME 2010, 2010
Proceedings of the TIME 2010, 2010
Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science, 2010
Proceedings of the Automata, Languages and Programming, 37th International Colloquium, 2010
2009
CoRR, 2009
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2009
Proceedings of the Computer Science Logic, 23rd international Workshop, 2009
2008
Proceedings of the 15th International Symposium on Temporal Representation and Reasoning, 2008
Proceedings of the Logics in Artificial Intelligence, 11th European Conference, 2008
2007
Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings.
Proceedings of the 5th Workshop on Methods for Modalities, 2007
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2007
Proceedings of the STACS 2007, 2007
2006
A general tableau method for propositional interval temporal logics: Theory and implementation.
J. Appl. Log., 2006