Pietro Sala PhD

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


  • A. Montanari, G. Puppis, and P. Sala, “A decidable weakening of Compass Logic based on cone-shaped cardinal directions,” Logical Methods in Computer Science, vol. 11, no. 4, 2015 [Online]. Available at: http://dx.doi.org/10.2168/LMCS-11(4:7)2015
  • P. Sala, C. Combi, M. Cuccato, A. Galvani, and A. Sabaini, “A Framework for Mining Evolution Rules and Its Application to the Clinical Domain,” in 2015 International Conference on Healthcare Informatics, {ICHI} 2015, Dallas, TX, USA, October 21-23, 2015, 2015, pp. 293–302 [Online]. Available at: http://dx.doi.org/10.1109/ICHI.2015.42
  • D. Bresolin, D. D. Monica, A. Montanari, P. Sala, and G. Sciavicco, “On the Complexity of Fragments of the Modal Logic of Allen's Relations over Dense Structures,” in Language and Automata Theory and Applications - 9th International Conference, {LATA} 2015, Nice, France, March 2-6, 2015, Proceedings, 2015, pp. 511–523 [Online]. Available at: http://dx.doi.org/10.1007/978-3-319-15579-1_40
  • C. Combi, M. Mantovani, A. Sabaini, P. Sala, F. Amaddeo, U. Moretti, and G. Pozzi, “Mining approximate temporal functional dependencies with pure temporal grouping in clinical databases,” Comp. in Bio. and Med., vol. 62, pp. 306–324, 2015 [Online]. Available at: http://dx.doi.org/10.1016/j.compbiomed.2014.08.004
  • E. Mu{{n}}oz{-}Velasco, M. Pelegr{{i}}n Garc{{i}}a, P. Sala, and G. Sciavicco, “On Coarser Interval Temporal Logics and their Satisfiability Problem,” in Advances in Artificial Intelligence - 16th Conference of the Spanish Association for Artificial Intelligence, {CAEPIA} 2015, Albacete, Spain, November 9-12, 2015, Proceedings, 2015, pp. 105–115 [Online]. Available at: http://dx.doi.org/10.1007/978-3-319-24598-0_10
  • C. Combi, R. Rizzi, and P. Sala, “The Price of Evolution in Temporal Databases,” in 22nd International Symposium on Temporal Representation and Reasoning, {TIME} 2015, Kassel, Germany, September 23-25, 2015, 2015, pp. 47–58 [Online]. Available at: http://dx.doi.org/10.1109/TIME.2015.24