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, A. Montanari, P. Sala, and G. Sciavicco, “Optimal decision procedures for {MPNL} over finite structures, the natural numbers, and the integers,” Theor. Comput. Sci., vol. 493, pp. 98–115, 2013 [Online]. Available at: http://dx.doi.org/10.1016/j.tcs.2012.10.043
  • C. Combi, P. Parise, P. Sala, and G. Pozzi, “Mining Approximate Temporal Functional Dependencies Based on Pure Temporal Grouping,” in 13th {IEEE} International Conference on Data Mining Workshops, {ICDM} Workshops, TX, USA, December 7-10, 2013, 2013, pp. 258–265 [Online]. Available at: http://dx.doi.org/10.1109/ICDMW.2013.100
  • A. Montanari and P. Sala, “Adding an Equivalence Relation to the Interval Logic {ABB:} Complexity and Expressiveness,” in 28th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2013, New Orleans, LA, USA, June 25-28, 2013, 2013, pp. 193–202 [Online]. Available at: http://dx.doi.org/10.1109/LICS.2013.25
  • A. Montanari and P. Sala, “Interval Logics and {\(\omega\)}B-Regular Languages,” in Language and Automata Theory and Applications - 7th International Conference, {LATA} 2013, Bilbao, Spain, April 2-5, 2013. Proceedings, 2013, pp. 431–443 [Online]. Available at: http://dx.doi.org/10.1007/978-3-642-37064-9_38