Pietro Sala PhD

pietro.sala@univr.it
Med
Post-Doc Researcher
Department of Computer Science
Strada le Grazie 15 - 37134 Verona, Italy
Floor 1, Room 1.80
Med

Publications

  • D. Bresolin, V. Goranko, A. Montanari, and P. Sala, “Tableaux for Logics of Subinterval Structures over Dense Orderings,” J. Log. Comput., vol. 20, no. 1, pp. 133–166, 2010 [Online]. Available at: http://dx.doi.org/10.1093/logcom/exn063
  • A. Montanari, G. Puppis, P. Sala, and G. Sciavicco, “Decidability of the Interval Temporal Logic {ABB} over the Natural Numbers,” in 27th International Symposium on Theoretical Aspects of Computer Science, {STACS} 2010, March 4-6, 2010, Nancy, France, 2010, pp. 597–608 [Online]. Available at: http://dx.doi.org/10.4230/LIPIcs.STACS.2010.2488
  • D. Bresolin, P. Sala, and G. Sciavicco, “Begin, After, and Later: a Maximal Decidable Interval Temporal Logic,” in Proceedings First Symposium on Games, Automata, Logic, and Formal Verification, {GANDALF} 2010, Minori (Amalfi Coast), Italy, 17-18th June 2010., 2010, pp. 72–88 [Online]. Available at: http://dx.doi.org/10.4204/EPTCS.25.10
  • D. Bresolin, P. Sala, D. D. Monica, A. Montanari, and G. Sciavicco, “A Decidable Spatial Generalization of Metric Interval Temporal Logic,” in {TIME} 2010 - 17th International Symposium on Temporal Representation and Reasoning, Paris, France, 6-8 September 2010, 2010, pp. 95–102 [Online]. Available at: http://dx.doi.org/10.1109/TIME.2010.22
  • A. Montanari, G. Puppis, and P. Sala, “Maximal Decidable Fragments of Halpern and Shoham's Modal Logic of Intervals,” in Automata, Languages and Programming, 37th International Colloquium, {ICALP} 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part {II}, 2010, pp. 345–356 [Online]. Available at: http://dx.doi.org/10.1007/978-3-642-14162-1_29
  • A. Montanari, I. Pratt{-}Hartmann, and P. Sala, “Decidability of the Logics of the Reflexive Sub-interval and Super-interval Relations over Finite Linear Orders,” in {TIME} 2010 - 17th International Symposium on Temporal Representation and Reasoning, Paris, France, 6-8 September 2010, 2010, pp. 27–34 [Online]. Available at: http://dx.doi.org/10.1109/TIME.2010.18