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

[C61] Bresolin D., Della Monica D., Goranko V., Montanari A., Sciavicco G., "Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification", Proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), Doha, Qatar, November 2008.

[C60] Gubiani D., Montanari A., "A conceptual spatial model supporting topologically-consistent multiple representations", Proceedings of the 16th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems (ACM GIS), ACM Press, Irvine, CA, USA, November 2008.

[C59] Bresolin D., Montanari A., Sala P., Sciavicco G., "Optimal tableaux for Right Propositional Neighborhood Logic over Linear Orders", Proceedings of JELIA 2008: 11th European Conference on Logics in Artificial Intelligence (JELIA), LNAI, Springer, Dresden, Germany, September 2008.

[C58] Hodkinson I., Montanari A., Sciavicco G., "Non-Finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T", Proceedings of CSL 2008: 17th EACSL Annual Conference on Computer Science Logic (CSL), LNCS, Springer, Bertinoro, Italy, September 2008.

[C57] Bresolin D., Montanari A., Sala P., "Optimal tableau for Right Propositional Neighborhood Logic over trees", Proceedings of TIME 2008: 15th International Symposium on Temporal Representation and Reasoning (TIME), IEEE Comp. Society Press, Montreal, Canada, June 2008, pp. 110-117.

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

[C50] D'Agostino G., Montanari A., Policriti A., "Extensions of S1S and the Composition Method". Proceedings of JM'06: 11th Mons Days of Theoretical Computer Science, Irisa - Rennes, France, August-September 2006, pp. 165-178.

[C49] De Maria E., Montanari A., Zantoni M., "An automaton-based approach to the verification of timed workfow schemas". Proceedings of TIME 2006: 13th International Symposium on Temporal Representation and Reasoning (TIME), IEEE Computer Society Press, Budapest, Hungary, June 2006, pp. 87-94.

[C48] Montanari A., Policriti A., Vitacolonna N., "An algorithmic account of winning strategies in Ehrenfeucht games on labelled successor structures". Proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), LNAI 3835, Springer, Montego Bay, Jamaica, December 2005, pp.139-153.

[C47] De Maria E., Montanari A., Zantoni M., "Checking workflow schemas with time constraints using timed automata (extended abstract)". Proceedings of OTM Workshops 2005, LNCS 3762, Springer, Agia Napa, Cyprus, November 2005, pp. 1-2.

[C46] Bresolin D., Montanari A., "A Tableau-based Decision Procedure for Right Propositional Neighborhood Logic". Proceedings of the International Conference TABLEAUX 2005, Automated Reasoning with Analytic Tableaux and Related Methods, LNAI 3702, Springer, Koblenz, Germany, September 2005, pp. 63-77.

[C45] Montanari A., "Propositional Interval Temporal Logics: Some Promising Paths". Proceedings of TIME 2005: 12th International Symposium on Temporal Representation and Reasoning (TIME), IEEE Computer Society Press, Burlington, Vermont, USA, June 2005, pp. 201-203 (Presentation).

[C44] Combi C., Montanari A., Rossato R., "A Uniform Algebraic Characterization of Temporal Functional Dependencies". Proceedings of TIME 2005: 12th International Symposium on Temporal Representation and Reasoning (TIME), IEEE Computer Society Press, Burlington, Vermont, USA, June 2005, pp. 91-99.

[C43] Montanari A., Puppis G., "Decidability of MSO Theories of Tree Structures". Proceedings of FSTTCS 2004: 24th Conference on Foundations of Software Technology and Theoretical Computer Science, LNCS 3328, Springer, Chennai, India, December 2004, pp. 430-442.

[C42] Bresolin D., Montanari A., Puppis G., "Time Granularities and Ultimately Periodic Automata". Proceedings of JELIA 2004: 9th European Conference on Logics in Artificial Intelligence, LNAI 3229, Springer, Lisbon, Portugal, September 2004, pp. 513-525.

[C41] Montanari A., Puppis G., "Decidability of the Theory of the Totally Unbounded Omega-Layered Structure". Proceedings of TIME 2004: 11th International Symposium on Temporal Representation and Reasoning (TIME), IEEE Computer Society Press, Tatihou, Basse Normandie, France, July 2004, pp. 156-160.

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

[C36] Montanari A., Sciavicco G., Vitacolonna N., "Decidability of Interval Temporal Logics over Split-Frames via Granularity". Proceedings of JELIA 2002: European Conference on Logic in Artificial Intelligence, LNAI 2424, Springer, Cosenza, Italia, September 2002, pp. 259-270.

[C35] Combi C., Montanari A., "Querying Data with Multiple Temporal Dimensions". Proceedings of CAISE 2002: 14th Conference on Advanced Information Systems Engineering, LNCS 2348, Springer, Toronto, Canada, May 2002, pp.711-714.

[C34] Dal Lago U., Montanari A., "Calendars, Time Granularities, and Automata". Proceedings of SSTD 2001: 7th International Symposium on Spatial and Temporal Databases, LNCS 2121, Los Angeles, CA, USA, July 2001, pp. 279-298.

[C33] Combi C., Montanari A., "Data Models with Multiple Temporal Dimensions: Completing the Picture". Proceedings of CAISE 2001: 13th Conference on Advanced Information Systems Engineering, LNCS 2068, Interlaken, Switzerland, June 2001, pp. 187-202.

[C32] Franceschet M., Montanari A., de Rijke M., "Model Checking for Combined Logics". Proceedings of the 3rd International Conference on Temporal Logic, Leipzig, Germany, October 2000, pp. 65-73.

[C31] Montanari A., Peron A., Policriti A.,"Extending Kamp Theorem with Binary Operators to Model Time Granularity". Proceedings of the 3rd International Conference on Temporal Logic, Leipzig, Germany, October 2000, pp. 135-144 (preliminary version of [J22]).

[C30] Montanari A., Policriti A., Slanina M., "Derivability in Locally Quantified Modal Logics via Translation in Set Theory". Proceedings of MFCS'2000: 25th International Symposium on Mathematical Foundations of Computer Science, M. Nielsen and B. Rovan (Eds.), Bratislava, Slovak Republic, LNCS 1893, Springer, August-September 2000, pp. 559-568.

[C29] Montanari A., Policriti A., Slanina M., "Supporting Automated Deduction in First-Order Modal Logics". Proceedings of KR'2000: 7th International Conference on Principles of Knowledge Representation and Reasoning, T. Cohn, F. Giunchiglia, and B. Selman (Eds.), Breckenridge, Colorado, USA, Morgan Kaufmann, April 2000, pp. 547-556.

[C28] Franceschet M., Montanari A., "Pairing Transitive Closure and Reduction to Efficiently Reason about Partially Ordered Events". LNAI 1792, E. Lamma e P. Mello (Eds.), Springer, Berlin Heidelberg, 2000, pp. 131-142 (extended and revised version of [C27]).

[C27] Franceschet M., Montanari A., "Pairing Transitive Closure and Reduction to Efficiently Reason about Partially Ordered Events". Proceedings of AI*IA'99: Sesto Congresso della Associazione Italiana per l'Intelligenza Artificiale, E. Lamma e P. Mello (Eds.), Pitagora Editrice Bologna, September 1999, pp. 208-217.

[C26] Combi C., Foresti G., Franceschet M., Montanari A., "Indexing by Shape of Image Databases Based on Extended Grid Files". Proceedings of IEEE Multimedia Systems '99: 6th International Conference on Multimedia Computing and Systems (Volume 2), Firenze, Italia, IEEE Computer Society Press, June 1999, pp. 230-234

[C25] Cervesato I., Franceschet M., Montanari A., "The Complexity of Model Checking in Modal Event Calculi with Quantifiers". Proceedings of KR'98: 6th International Conference on Principles of Knowledge Representation and Reasoning, T. Cohn and L. Schubert (Eds.), Trento, Italia, Morgan Kaufmann, June 1998, pp. 368-379.

[C24] Montanari A., Policriti A., "A Set-Theoretic Approach to Automated Deduction in Graded Modal Logics". Proceedings of IJCAI'97: 15th International Conference on Artificial Intelligence, M.E. Pollack (Ed.), Nagoya, Japan, Morgan Kaufmann, August 1997, pp. 196-201.

[C23] Cervesato I., Franceschet M., Montanari A. "A Hierarchy of Modal Event Calculi: Expressiveness and Complexity". Proceedings of ICTL'97: 2nd International Conference on Temporal Logic, In Advances in Temporal Logic, H. Barringer, M. Fisher, D. Gabbay, and G. Gough (Eds.), Kluwer Academic Publishers, Applied Logic Series, 2000, pp. 91-108.

[C22] Montanari A., Peron A., Policriti A., "Decidable Theories of Omega-Layered Metric Temporal Structures". Proceedings of ICTL'97: 2nd International Conference on Temporal Logic. In Advances in Temporal Logic, H. Barringer, M. Fisher, D. Gabbay, and G. Gough (Eds.), Kluwer Academic Publishers, Applied Logic Series, 2000, pp. 1-20.

[C21] Montanari A., Cervesato A., Chittaro L., "A General Modal Framework for the Event Calculus and its Skeptical and Credulous Variants". Proceedings of ECAI'96: 12th European Conference on Artificial Intelligence, A. Wahlster (Ed.), Budapest, Hungary, John Wiley & Sons Publishers, August 1996, pp. 33-37.

[C20] D'Agostino G., Montanari A., Policriti A., "Set-theoretic decidability results for modal theorem proving". Proceedings of ICTCS'95: 5th Italian Conference on Theoretical Computer Science, World Scientific Publishing Co., 1996, pp. 326-342 (abstract in Mathematical Reviews 98d:03020).

[C19] Chittaro L., Montanari A., Peressi E., "An Integrated Framework for Temporal Aggregation and Omission in the Event Calculus". In G.Rzevski, C. Tasso (Eds.), Applications of Artificial Intelligence in Engineering X, Computational Mechanics, Boston, USA, July 1995, pp. 47-54.

[C18] Montanari A., de Rijke M., "Completeness Results for Two-sorted Metric Temporal Logics". Proceedings of AMAST'95: 4th International Conference on Algebraic Methodology and Software Technology, Montreal, Canada, LNCS, Springer Verlag, July 1995, pp. 385-399.

[C17] Cervesato I., Chittaro L., Montanari A., "A Modal Calculus of Partially Ordered Events in a Logic Programming Framework". Proceedings of ICLP'95: 12th International Conference on Logic Programming, L. Sterling (Ed.), Kanegawa, Japan, MIT Press, June 1995, pp. 299-313 (abstract in Mathematical Reviews 96k:03040).

[C16] D'Agostino G., Montanari A., Policriti A., "A set-theoretic translation method for (poly)modal logics". Proceedings of STACS'95: 12th Symposium on Theoretical Aspects of Computer Science, München, Germany, LNCS 900, Springer Verlag, March 1995, pp. 217-228 (abstract in Mathematical Reviews 96j:03023).

[C15] Peressi E., Montanari A., Pernici B., "T-ORM: Evolving Objects and Roles". Proceedings of the 4th International Working Conference on Dynamic Modeling and Information Systems, A. Verbraeck, H.G. Sol, P.W.G. Bots (Eds.), Noordwijkerhout, the Netherlands, Tech. University of Delft, September 1994, pp. 101-119.

[C14] Cervesato I., Chittaro L., Montanari A., "What the Event Calculus does and how to do it efficiently". Proceedings of the GULP-PRODE Joint Conference on Declarative Programming, Peniscola, Spain, Servicio de Publicaciones Valencia, September 1994, pp. 336-350 (preliminary version of [W12]).

[C13] Chittaro L., Montanari A., Dojat M., Gasparini C., "The Event Calculus at work: a case study in the medical domain". Proceedings of the 2nd IEE International Conference on Intelligent Systems Engineering, Hamburg, Germany, IEE Press, September 1994, pp. 195-200.

[C12] Chittaro L., Montanari A., Provetti A., "Skeptical and credulous event calculi for supporting modal queries". Proceedings of ECAI '94: 11th European Conference on Artificial Intelligence, A. Cohn (Ed.), Amsterdam, the Netherlands, John Wiley & Sons Publishers, August 1994, pp. 361-365.

[C11] Montanari A., Pighin M., "Identification of experimental parameters for automatic software evaluation and testing". In M. Ross, C.A. Brebbia, G. Staples. J. Stapleton (Eds.), Software Quality Management II Vol. 2: Building Quality into Software, Computational Mechanics, Boston, USA, July 1994, pp. 335-348.

[C10] Edelweiss N., de Oliveira J.P.M., de Castilho J.M.V., Peressi E., Montanari A., Pernici B., "T-ORM: Temporal aspects in objects and roles". Proceedings of ORM-1 International Conference on Object-Role Modeling, Townsville, Australia, July 1994, pp. 18-27.

[C9] Chittaro L., Montanari A., "Experimenting a temporal logic in an engineering domain". In R.A. Adey, G.Rzevski, J.Pastor (Eds.), Applications of Artificial Intelligence in Engineering VIII, Computational Mechanics, Boston, USA, and Elsevier, London, UK, July 1993, pp. 185-202 (short version of [C8]).

[C8] Chittaro L., Montanari A., "Reasoning about discrete processes in a logic programming framework". Proceedings of GULP'93: Eight Conference on Logic Programming, Gizzeria Lido (CZ), Italia, Mediterranean Press, June 1993, pp. 407-421.

[C7] Montanari A., Ratto E., "Development and Validation Tools for Temporal Information Processing Systems". In E.N. Houstis and J.R. Rice (Eds.), Artificial Intelligence, Expert Systems, and Symbolic Computing (selected and revised papers from IMACS 13th World Congress, Dublin, Ireland, 1991), North-Holland, 1992, pp. 426-435.

[C6] Montanari A., Maim E., Ciapessoni E., Ratto E., "Dealing with Time Granularity in the Event Calculus". Proceedings of Fifth Generation Computer Systems '92, IOS Press, Tokyo, Japan, giugno 1992, pp. 702-712 (abstract in Mathematical Reviews 1 212 349).

[C5] Montanari A., Ratto E., "Development Interface Tools". Proceedings of the 13th IMACS World Congress on Computation and Applied Mathematics, Dublin, Ireland, July 1991, pp. 969-970.

[C4] Corsetti E., Montanari A., Ratto E., "Time Granularity in Logical Specifications". Proceedings of GULP'91: 6th Conference on Logic Programming, Pisa, Italia, June 1991, pp. 63-77.

[C3] Corsetti E., Montanari A., Ratto E., "A Methodology for Real-Time System Specifications based on Knowledge Representation". In Computational Intelligence III (Proceedings of the International Symposium, Milano, Italia, September 1990), N. Cercone, F. Gardin, G. Valle (Eds.), Elsevier Science Publishers, 1991.

[C2] Fum D., Guida G., Montanari A., Tasso C., "Using Levels and Viewpoints in Text Representation". In Artificial Intelligence and Information-Control Systems of Robots - 89 (Proceedings of the 5th International Conference), I. Plander (Ed.), Strbske Pleso, Czechoslovakia, Elsevier Science Publishers, November 1989, pp.37-44.

[C1] Costantini C., Fum D., Guida G., Montanari A., Tasso C., "Text Understanding with Multiple Knowledge Sources: An Experiment in Distributed Parsing". Proceedings of the 3rd Conference of the European Chapter of the ACL, Copenhagen, Denmark, April 1987, pp.75-79.