[E8] Goranko V., Montanari A. (eds.), Proceedings of the ESSLLI 2003 Workshop on Interval Temporal Logics and Duration Calculi, Wien, Austria, August 2003.


[E7] Bettini C., Montanari A. (eds.), Special issue on Temporal Representation and Reasoning, Data and Knowledge Representation Journal, Vol.44, no.2 Elsevier Science B.V., February 2003, pp. 139-141.


[C40] Dal Lago U., Montanari A., Puppis G., "Towards Compact and Tractable Automaton-based Representations of Time Granularity". Proceedings of the Eighth Italian Conference on Theoretical Computer Science (ICTCS'03), LNCS 2841, Springer, Bertinoro, Italia, October 2003, pp. 72-85.


[C39] Goranko V., Montanari A., Sciavicco G., "A General Tableau Method for Propositional Interval Temporal Logics". Proceedings of the International Conference TABLEAUX 2003, Automated Reasoning with Analytic Tableaux and Related Methods, LNAI 2796, Springer, Roma, Italia, September 2003, pp. 102-116.


[C38] Franceschet M., Montanari A., Peron A., Sciavicco G., "Definability and Decidability of Binary Predicates for Time Granularity". Proceedings of TIME-ICTL 2003: 10th International Symposium on Temporal Representation and Reasoning (TIME) and 4th International Conference on Temporal Logic (ICTL), IEEE Computer Society Press, Cairns, Queensland, Australia, July 2003.


[C37] Marzano E., Montanari A., Policriti A., "Binary Extensions of S1S and the Composition Method". Proceedings of the International Symposium on Verification (Theory and Practice) Celebrating Zohar Manna's 64-th Birthday, LNCS 2772, Springer, Taormina, Sicilia, Italia, June-July 2003.


[J25] Goranko V., Montanari A., Sciavicco G., "Propositional Interval Neighborhood Temporal Logics", Journal of Universal Computer Science, vol. 9, no. 9, September 2003, pp. 1137-1167


[J21] Franceschet M., Montanari A., "Branching within Time: an Expressively Complete and Elementarily Decidable Temporal Logic for Time Granularity". Research on Language and Computation, vol. 1, no. 3-4, Kluwer Academic Publishers, September 2003, pp. 229-263.


[RR29] Bresolin D., Montanari A., Puppis G.,  Time Granularities and Ultimately Periodic Automata. Rapporto di Ricerca 24/2003. Dipartimento di Matematica ed Informatica, Università di Udine, October 2003 (preliminary version of [J35]).


[RR28] Dal Lago U., Montanari A., Puppis G., Towards Compact and Tractable Automaton-based Representations of Time Granularity. Rapporto di Ricerca 17/2003. Dipartimento di Matematica ed Informatica, Università di Udine, July 2003 (extended version of [C40]).


[RR27] Dal Lago U., Montanari A., Puppis G., Time Granularities, Calendar Algebra, and Automata. Rapporto di Ricerca 04/2003. Dipartimento di Matematica ed Informatica, Università di Udine, February 2003.


[W25] Goranko V., Montanari A., Sciavicco G., "Proof Systems for Propositional Interval Neighborhood Logics". Proceedings of M4M 3: 3rd International Workshop on Methods for Modalities, C. Araces and P. Blackburn (Eds.), September 2003, pp. 125-139 (preliminary version of [J25]).


[W24] Goranko V., Montanari A., Sciavicco G., "A Road Map on Interval Temporal Logics and Duration Calculi". Proceedings of the ESSLLI 2003 Workshop on Interval Temporal Logics and Duration Calculi, Goranko V., Montanari A., (Eds.), August 2003, pp. 1-40 (preliminary version of [J28]).


[CS7] Marzano E., Montanari A., Policriti A., "Abstracts of Papers Presented at the International Symposium on Verification - Theory and Practice - Honoring Zohar Manna's 64th Birthday, N. Dershowitz (Ed.), Dipartimento di Matematica e Informatica, Universita' di Catania, June 2003, p. 25.