Pietro Sala PhD

Post-Doc Researcher
Department of Computer Science
Strada le Grazie 15 - 37134 Verona, Italy
Floor 1, Room 1.80


  • C. Combi, A. Montanari, and P. Sala, “A Uniform Framework for Temporal Functional Dependencies with Multiple Granularities,” in Advances in Spatial and Temporal Databases - 12th International Symposium, {SSTD} 2011, Minneapolis, MN, USA, August 24-26, 2011, Proceedings, 2011, pp. 404–421 [Online]. Available at: http://dx.doi.org/10.1007/978-3-642-22922-0_24
  • D. Bresolin, A. Montanari, P. Sala, and G. Sciavicco, “Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders,” in Automated Reasoning with Analytic Tableaux and Related Methods - 20th International Conference, {TABLEAUX} 2011, Bern, Switzerland, July 4-8, 2011. Proceedings, 2011, pp. 73–87 [Online]. Available at: http://dx.doi.org/10.1007/978-3-642-22119-4_8
  • D. Bresolin, A. Montanari, P. Sala, and G. Sciavicco, “What's Decidable about Halpern and Shoham's Interval Logic? The Maximal Fragment {ABBL},” in Proceedings of the 26th Annual {IEEE} Symposium on Logic in Computer Science, {LICS} 2011, June 21-24, 2011, Toronto, Ontario, Canada, 2011, pp. 387–396 [Online]. Available at: http://dx.doi.org/10.1109/LICS.2011.35
  • D. Bresolin, A. Montanari, P. Sala, and G. Sciavicco, “An Optimal Decision Procedure for {MPNL} over the Integers,” in Proceedings of Second International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2011, Minori, Italy, 15-17th June 2011., 2011, pp. 192–206 [Online]. Available at: http://dx.doi.org/10.4204/EPTCS.54.14
  • C. Combi and P. Sala, “Temporal Functional Dependencies Based on Interval Relations,” in Eighteenth International Symposium on Temporal Representation and Reasoning, {TIME} 2011, L{\"{u}}beck , Germany, September 12-14, 2011, 2011, pp. 23–30 [Online]. Available at: http://dx.doi.org/10.1109/TIME.2011.15