[C56] Combi C., Montanari A., Pozzi G., "The T4SQL Temporal Query Language", Proceedings of the 16th ACM Conference on Information and Knowledge Management (CIKM), ACM Press, Lisboa, Portugal, November 2007, pp. 193-202.

[C55] Montanari A., Puppis G., "A Contraction Method to Decide MSO Theories of Deterministic Trees". Proceedings of the 22nd Symposium on Logic in Computer Science (LICS), IEEE Computer Society Press, Wroclaw, Poland, July 2007, pp. 141-150.

[C54] Bresolin D., Goranko V., Montanari A., Sala P., "Tableau Systems for Logics of Subinterval Structures over Dense Orderings". Proceedings of the International Conference TABLEAUX 2007, Automated Reasoning with Analytic Tableaux and Related Methods, LNAI 4548, Springer, Aix en Provence, France, July 2007, pp. 73-89.

[C53] Dal Lago U., Montanari A., Puppis G., "On the Equivalence of Automaton-based Representations of Time Granularities". Proceedings of TIME 2007: 14th International Symposium on Temporal Representation and Reasoning (TIME), IEEE Computer Society Press, Alicante, Spain, June 2007, pp. 82-93.

[C52] Bresolin D., Goranko V., Montanari A., Sciavicco G., "On Decidability and Expressiveness of Propositional Interval Neighborhood Logics". Proceedings of the Symposium on Logical Foundations of Computer Science (LFCS), LNCS 4514, Springer, New York, USA, June 2007, pp. 84-99.

[C51] Bresolin D., Montanari A., Sala P., "An optimal tableau-based decision algorithm for Propositional Neighborhood Logic". Proceedings of the 24th International Symposium on Theoretical Aspects of Computer Science (STACS), LNCS 4393, Springer, Aachen, Germany, February 2007, pp. 549-560.

[J33] Bresolin D., Montanari A., Sciavicco G., "An optimal decision procedure for Right Propositional Neighborhood Logic", Journal of Automated Reasoning, vol. 38, no. 1-3, 2007, pp. 173-199.

[J32] Dal Lago U., Montanari A., Puppis G., "Compact and Tractable Automaton-based Representations for Time Granularities". Theoretical Computer Science, vol. 373, 2007, pp. 115-141.

[W29] Bresolin D., Goranko V., Montanari A., Sala P., "Tableau-based decision procedure for the logic of proper subinterval structures over dense Orderings". Proceedings of M4M 5: 5th Workshop on Methods for Modalities, C. Areces and S. Demri (Eds.), November 2007.

[W28] Franceschet M., Montanari A., Gubiani D., "Modeling and Validating Spatio-Temporal Conceptual Schemas in XML Schema". Proceedings of the 2nd International Workshop on XML Data Management Tools and Techniques, IEEE Computer Society Press, Regensburg, Germany, September 2007, pp. 25-29.