[BC6] Chomicki J., Montanari A., "Time Domain", In: L. Liu and T. M. Oszu, (Eds.), Encyclopedia of Database Systems, Springer, 2009, pp. 3103-3107.


[C69] Bresolin D., Goranko V., Montanari A., Sciavicco G., "Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths ", Proceedings of the 7th IEEE International Conference on Software Engineering and Formal Methods (SEFM), IEEE Comp. Society Press, Hanoi, Vietnam, November 2009, pp. 240-249.


[C68] Montanari A., G. Puppis, Sala P., "A Decidable Spatial Logic with Cone-shaped Cardinal Directions", Proceedings of the 18th EACSL Annual Conference on Computer Science Logic (CSL), LNCS 5771, Springer, Coimbra, Portugal, September 2009, pp. 394-408.


[C67] Gubiani D., Montanari A., "A relational encoding of a conceptual model with multiple temporal dimensions", Proceedings of the 20th International Conference on Database and Expert Systems Applications (DEXA), LNCS 5690, Springer, Linz, Austria, August 2009, pp. 792-806.


[C66] Franceschet M., Gubiani D., Montanari A., Piazza C., "From Entity-Relationship to XML Schema: a graph-theoretic approach", Proceedings of the 6th International XML Database Symposium (Xsym), LNCS 5679, Springer, Lyon, France, August 2009, pp. 145-159.


[C65] Bresolin D., Della Monica D., Goranko V., Montanari A., Sciavicco G., "Undecidability of Interval Temporal Logics with the Overlap Modality", Proceedings of the 16th International Symposium on Temporal Representation and Reasoning (TIME), IEEE Comp. Society Press, Bressanone (BZ), Italia, July 2009, pp. 88-95.


[C64] Bresolin D., Montanari A., Sala P., Sciavicco G., "Tableau-Based System for Spatial Reasoning about Directional Relations", Proceedings of the 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX), LNAI 5607, Springer, Oslo, Norway, July 2009, pp. 123-137.


[C63] Bresolin D., Goranko V., Montanari A., Sala P., "Complete and Terminating Tableau for the Logic of Proper Subinterval Structures over Dense Orderings", Electronic Notes in Theoretical Computer Science (Proceedings of the 5th Workshop on Methods for Modalities - M4M 5, 2007), Volume 231, 2009, pp. 131-151 (extended and revised version of [W29]).


[C62] De Maria E., Montanari A., Vitacolonna N., "Games on strings with a limited order relation". Proceedings of the 2009 Symposium on Logical Foundations of Computer Science (LFCS), LNCS 5407, Springer, Deerfield Beach, Florida, USA, January 2009, pp. 164-179.


[J35] Bresolin D., Montanari A., Puppis G., "A Theory of Ultimately Periodic Languages and Automata with an Application to Time Granularity", Acta Informatica, vol. 46, n. 5, 2009, pp. 331-360 (doi: 10.1007/s00236-009-0094-7, online since March 2009).


[RR38] Montanari A., G. Puppis, Sala P., Sciavicco G.,  Decidability of the interval temporal logic ABBbar over the natural numbers. Rapporto di Ricerca 07/2009. Dipartimento di Matematica ed Informatica, Università di Udine, December 2009 (extended version of [C70]).


[RR37] Montanari A., Policriti A., Vitacolonna N.,   Ehrenfeucht Games on Labelled Successor Structures: Remoteness and Optimal Strategies. Rapporto di Ricerca 02/2009. Dipartimento di Matematica ed Informatica, Università di Udine, February 2009 (extended version of [C48]).


[RR36] Bresolin D., Goranko V., Montanari A., Sciavicco G., "Propositional Interval Neighborhood Logics: Expressiveness, Decidability, and Undecidable Extensions". Rapporto di Ricerca 05/2008. Dipartimento di Matematica ed Informatica, Università di Udine, February 2008 (preliminary version of [J34]).


[W30] Bresolin D., Della Monica D., Goranko V., Montanari A., Sciavicco G., "Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings". Proceedings of M4M 6: 6th Workshop on Methods for Modalities, T. Bolander and T. Brauner (Eds.), November 2009.