[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.


[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.


[W27] De Maria E., Dovier A., Montanari A., Piazza C., "Exploiting Model Cheching in Constraint-based Approaches to the Protein Folding Problem". Proceedings of the 2nd Workshop on Constraint Based Methods for Bioinformatics, A. Dal Palu, A. Dovier, and S. Will (Eds.), September 2006, pp. 46-54.


[W26] Bresolin D., Montanari A., "A tableau-based decision procedure for a branching-time interval temporal logic". Proceedings of M4M 4: 4th International Workshop on Methods for Modalities, H. Schlingloff (Ed.), December 2005, pp. 38-53.


[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]).


[W23] Montanari A., Sciavicco G., "A Decidable Logic for Time Intervals: Propositional Neighborhood Logic". Proceedings of AAAI-2002 Workshop on Spatial and Temporal Reasoning, F. Anger, G. Ligozat, and H. Guesgen (Eds.), July 2002, pp. 27-34.


[W22] Franceschet M., Montanari A., "A combined approach to temporal logics for time granularity". Proceedings of M4M 2: 2nd International Workshop on Methods for Modalities, C. Araces and M. de Rijke (Eds.), November 2001 (preliminary version of [J26]).


[W21] Franceschet M., Montanari A., "Towards an automata-theoretic counterpart of combined temporal logics". Proceedings of VCL'2001: 2nd International Workshop on Verification and Computational Logic, M. Leuschel, A. Podelski, C.R. Ramakrishnan, U. Ultes-Nitsche (Eds.), September 2001, pp. 55-74.


[W20] Cervesato I., Montanari A., "A Calculus of Macro-Events: Progress Report". Proceedings of TIME'2000: 7th International Workshop on Temporal Representation and Reasoning, A. Trudel and S. Goodwin (Eds.), July 2000, pp. 47-58.


[W19] Franceschet M., Montanari A., "Pairing Transitive Closure and Reduction to Efficiently Reason about Partially Ordered Events". Proceedings of NRAC'99: 3rd Workshop on Nonmonotonic Reasoning, Action and Change at IJCAI'99, M. Thielscher (Ed.), August 1999, pp. 79-86 (preliminary version of [C27]).


[W18] Montanari A., Peron A., Policriti A., "The Taming (Timing) of the States". Proceedings of WoLLIC'99: 6th International Workshop on Logic, Language, Information and Computation, Itatiaia, Brasil, maggio 1999, pp. 151-161 (preliminary version of [J19]).


[W17] Franceschet M., Montanari A., "A graph-theoretic approach to efficiently reasoning about partially ordered events in the Event Calculus". Proceedings of TIME'99: 6th International Workshop on Temporal Representation and Reasoning, C. Dixon and M. Fisher (Eds.), IEEE Computer Society Press, May 1999, pp. 55-66.


[W16] Montanari A., Peron A., Policriti A., "The Way to Go: Multi-Level Temporal Logics". Proceedings of IWTS'99: 1st International Workshop on Specification and Verification of Timed Systems, N. Yonezaki (Ed.), Kyoto Research Institute of Mathematical Science, March 1999.


[W15] Cervesato I., Franceschet M., Montanari A., "Event Calculi with Explicit Quantifiers". Proceedings of TIME'98: 5th International Workshop on Temporal Representation and Reasoning, L. Khatib and R. Morris (Eds.), IEEE Computer Society Press, May 1998, pp. 81-88.


[W14] Montanari A., Policriti A., "Executing Metric Temporal Logic". Proceedings of the IJCAI'97 Workshop on Programming in Temporal and Non Classical Logics, C. Brzoska and M. Fisher (Eds.), Nagoya, Japan, August 1997.


[W13] Cervesato I., Franceschet M., Montanari A. "Modal Event Calculi with Preconditions". Proceedings of TIME'97: 4th International Workshop on Temporal Representation and Reasoning, L. Khatib and R. Morris (Eds.), IEEE Computer Society Press, May 1997, pp.38-45.


[W12] Chittaro L., Montanari A., Cervesato I., "Speeding up temporal reasoning by exploiting the notion of kernel of an ordering relation". Proceedings of TIME'95: 2nd International Workshop on Temporal Representation and Reasoning, S.D. Goodwin and H.J. Hamilton (Eds.), Melbourne, FL, USA, University of Regina, April 1995, pp.73-80.


[W11] Chittaro L., Montanari A., Provetti A., "Reasoning about partially ordered events in the Event Calculus". Proceedings of BENELOG '94: 6th Benelux Workshop on Logic Programming, Amsterdam, The Netherlands, September 1994 (extended version of [C21]).


[W10] Montanari A.,"A Temporal Logic of Metric and Granular Displacements" (invited talk). Proceedings of ESSLLI'94 Workshop on Combining Structures, Logics and Theories, M. de Rijke (ed.), Copenhagen, Denmark, August 1994, pp.119-147.


[W9] Montanari A.,"A Layered and Metric Temporal Logic for Time Granularity, Synchrony and Asynchrony". Proceedings of ICTL'94 (International Conference on Temporal Logic) Workshop, H.J. Ohlbach (Ed.), Bonn, Germany, MPI-I-94-230, Max-Plank-Institut für Informatik, July 1994, pp.49-58.


[W8] Chittaro L., Montanari A., "Efficient handling of context-dependency in the Cached Event Calculus". Proceedings of TIME'94: 1st International Workshop on Temporal Representation and Reasoning, S.D. Goodwin and H.J. Hamilton (Eds.), Pensacola, FL, USA, University of Regina, May 1994, pp.103-112 (preliminary version of [J8]).


[W7] Jensen C.(editor), Clifford J., Gadia S., Grandi F., Kalua P., Kline N., Montanari A., et al., "The TSQL Benchmark". Proceedings of the International Workshop on an Infrastructure for Temporal Databases, R. Snodgrass (Ed.), Arlington, Texas, June 1993, pp.QQ1-QQ28.


[W6] Jensen C.(editor), Clifford J., Dyreson C., Gadia S., Grandi F., Jajodia S., Kline N., Montanari A., et al., "Proposed Temporal Databases Concepts". Proceedings of the International Workshop on an Infrastructure for Temporal Databases, R. Snodgrass (Ed.), Arlington, Texas, June 1993, pp.A1-A29.


[W5] Montanari A., Pernici B., "Towards a Temporal Logic Reconstruction of Temporal Databases". Proceedings of the International Workshop on an Infrastructure for Temporal Databases, R. Snodgrass (Ed.), Arlington, Texas, June 1993, pp.BB1-BB12.


[W4] Corsetti E., Crivelli E., Mandrioli D., Montanari A., Morzenti A., Ratto E., San Pietro P., "Dealing with Different Time Scales in Formal Specifications". Proceedings of the 6th International Workshop on Software Specification and Design, Como, Italia, IEEE Computer Society Press, October 1991, pp.92-101.


[W3] Montanari A., Ratto E., Corsetti E., Morzenti A., "Embedding Time Granularity in Logical Specifications of Real-Time Systems". Proceedings of the 3rd IEEE Euromicro Workshop on Real-Time Systems, Paris, France, IEEE Computer Society Press, June 1991, pp.88-97.


[W2] Corsetti E., Montanari A., Ratto E., "A Methodology for an Incremental, Logical Specification of Real-Time Systems". Proceedings of the 2nd IEEE Euromicro Workshop on Real-Time Systems, Horsholm, Denmark, IEEE Computer Society Press, May 1990, pp.87-94 (also in Relazione di Ricerca CNR N.6/17, Progetto Finalizzato Sistemi Informatici e Calcolo Parallelo, Sottoprogetto 6).


[W1] Corsetti E., Meda R., Montanari A., Ratto E., "An Object Oriented Framework Based on a Logic Formalism for an Executable Specification of Real-Time Systems". AICA Working Days on Temporal Validation of Real-Time Software, Napoli-Portici, September 1989 (also in Relazione di Ricerca CNR N.6/5, Progetto Finalizzato Sistemi Informatici e Calcolo Parallelo, Sottoprogetto 6).