[E11] Montanari A., Napoli M., Parente D. (eds.), Special issue - Games, Automata, Logics, and Formal Verification (GandALF 2010), International Journal of Foundations of Computer Science, Vol. 23, no. 3, World Scientific Publishing Company, April 2012, Editorial pp. 555-557.


[C86] Montanari A., Sala P., "An optimal tableau system for the logic of temporal neighborhood over the reals". Proceedings of the 19th International Symposium on Temporal Representation and Reasoning (TIME), IEEE Comp. Society, Leichester, UK, September 2012, pp. 39-46 (slides).


[85] Bresolin D., Della Monica D., Montanari A., Sala P., Sciavicco G., "Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture", Proceedings of the 3rd International Symposium on Games, Automata, Logics, and Formal Verification (GandALF), EPTCS 96, Napoli, Italy, September 2012, pp. 155-168 (slides).


[C84] Bresolin D., Della Monica D., Montanari A., Sala P., Sciavicco G., "Interval Temporal Logics over Finite Linear Orders: the Complete Picture". Proceedings of the 20th European Conference on Artificial Intelligence (ECAI), Montpellier, France, August 2012, 199-204.


[C83] Montanari A., Navarrete I., Sciavicco G., Tonon A., "A Tractable Formalism for Combining Rectangular Cardinal Relations with Metric Constraints". Proceedings of the 4th International Conference on Agents and Artificial Intelligence (ICAART) - Volume 1, Vilamoura - Algarve, Portugal, February 2012, pp. 154-163.


[J39] Della Monica D., Goranko V., Montanari A., Sciavicco G., "Crossing the Undecidability Border with Extensions of Propositional Neighborhood Logic over Natural Numbers". Journal of Universal Computer Science, vol. 18, n. 20, December 2012, pp. 2798-2831 (doi: 10.3217/jucs-018-20).