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

  • C. Combi and P. Sala, “Interval-based temporal functional dependencies: specification and verification,” Ann. Math. Artif. Intell., vol. 71, no. 1-3, pp. 85–130, 2014 [Online]. Available at: http://dx.doi.org/10.1007/s10472-013-9387-1
  • D. Bresolin, D. D. Monica, A. Montanari, P. Sala, and G. Sciavicco, “Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity,” Theor. Comput. Sci., vol. 560, pp. 269–291, 2014 [Online]. Available at: http://dx.doi.org/10.1016/j.tcs.2014.03.033
  • P. Sala, “Approximate Interval-Based Temporal Dependencies: The Complexity Landscape,” in 21st International Symposium on Temporal Representation and Reasoning, {TIME} 2014, Verona, Italy, September 8-10, 2014, 2014, pp. 69–78 [Online]. Available at: http://dx.doi.org/10.1109/TIME.2014.20
  • A. Montanari, G. Puppis, and P. Sala, “Decidability of the Interval Temporal Logic {\textdollar}{\textbackslash}mathsf\{A{\textbackslash}bar\{A\}B{\textbackslash}bar\{B\}\}{\textdollar} over the Rationals,” in Mathematical Foundations of Computer Science 2014 - 39th International Symposium, {MFCS} 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, Part {I}, 2014, pp. 451–463 [Online]. Available at: http://dx.doi.org/10.1007/978-3-662-44522-8_38
  • A. Montanari and P. Sala, “Interval-based Synthesis,” in Proceedings Fifth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2014, Verona, Italy, September 10-12, 2014., 2014, pp. 102–115 [Online]. Available at: http://dx.doi.org/10.4204/EPTCS.161.11
  • A. Montanari, M. Pazzaglia, and P. Sala, “Metric Propositional Neighborhood Logic with an Equivalence Relation,” in 21st International Symposium on Temporal Representation and Reasoning, {TIME} 2014, Verona, Italy, September 8-10, 2014, 2014, pp. 49–58 [Online]. Available at: http://dx.doi.org/10.1109/TIME.2014.26