[J52] Molinari A., Montanari A., and Peron A., "Model Checking for Fragments of Halpern and Shoham's Interval Temporal Logic Based on Track Representatives", Information and Computation, Special Issue: Temporal Representation and Reasoning (TIME'15), accepted for publication on April 26, 2017.


[J51] Gams M., Cernic E., and Montanari A., "A Temporal Perspective on the Paradox of Pinocchio's Nose", Informatica, Vol. 40, n. 3, December 2016, pp. 365-368.


[J50] Montanari A., Pazzaglia M., and Sala P., "Metric Propositional Neighborhood Logic with an Equivalence Relation", Acta Informatica, Special Issue: Temporal Representation and Reasoning (TIME'14), Vol. 56, n. 6-8, October 2016, pp. 621-648 (doi: 10.1007/s00236-016-0256-3).


[J49] Molinari A., Montanari A., Murano A., Perelli G., and Peron A., "Checking Interval Properties of Computations", Acta Informatica, Special Issue: Temporal Representation and Reasoning (TIME'14), Vol. 56, n. 6-8, October 2016, pp. 587-619 (doi: 10.1007/s00236-015-0250-1).


[J48] Montanari A., Pazzaglia M., and Sala P., "Adding one or more equivalence relations to the interval temporal logic ABBbar", Theoretical Computer Science, vol. 629, May 2016, pp. 116–134 (doi: 10.1016/j.tcs.2015.11.030).


[J47] Aceto L., Della Monica D., Goranko V., Ingólfsdóttir A., Montanari A., and Sciavicco G., "A Complete Classification of the Expressiveness of Interval Logics of Allen's Relations: The General and the Dense Cases", Acta Informatica, Special Issue: Temporal Representation and Reasoning (TIME’13) - Part 2, vol. 53, n. 3, April 2016, pp. 207-246 (doi: 10.1007/s00236-015-0231-4).


[J46] Montanari A., Puppis G., and Sala P., "A decidable weakening of Compass Logic based on cone-shaped cardinal directions", Logical Methods in Computer Science, vol. 11(4:7), December 2015, pp. 1-32.


[J45] Bresolin D., Della Monica D., Montanari A., Sala P., Sciavicco G., "Interval Temporal Logics over Strongly Discrete Linear Orders: Expressiveness and Complexity ". Theoretical Computer Science, vol. 560, n. 3, December 2014, pp. 269-291(doi: 10.1016/j.tcs.2014.03.033).


[J44] Bresolin D., Della Monica D., Goranko V., Montanari A., Sciavicco G., "The dark side of Interval Temporal Logic: marking the undecidability border". Annals of Mathematics and Artificial Intelligence, vol. 71, n. 1-3, July 2014, pp. 41-83 (doi: 10.1007/s10472-013-9376-4).


[J43] Bresolin D., Della Monica D., Montanari A., Sciavicco G., "The Light Side of Interval Temporal Logic: the Bernays-Schoenfinkel fragment of CDT". Annals of Mathematics and Artificial Intelligence, vol. 71, n. 1-3, July 2014, pp. 11-39 (10.1007/s10472-013-9337-y).


[J42] Bresolin D., Montanari A., Sciavicco G., Sala P., "Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers". Theoretical Computer Science, vol. 493, July 2013, pp. 98-115 (doi: 10.1016/j.tcs.2012.10.043).


[J41] Bresolin D., Della Monica D., Goranko V., Montanari A., Sciavicco G., "Metric Propositional Neighborhood Logics on Natural Numbers". Software and Systems Modeling, vol. 12, n. 2, May 2013, pp. 245-264 (doi: 10.1007/s10270-011-0195-y).


[J40] Franceschet M., Gubiani D., Montanari A., Piazza C., "A graph-theoretic approach to map conceptual designs to XML schemas". ACM Transactions on Database Systems, vol. 38, n. 1, April 2013, pp. 6:1-44 (doi: 10.1145/2445583.2445589).


[J39] Della Monica D., Goranko V., Montanari A., Sciavicco G., "Crossing the Undecidability Border with Extensions of Propositional Neighborhood Logic over Natural Numbers". Journal of Universal Computer Science, vol. 18, n. 20, December 2012, pp. 2798-2831 (doi: 10.3217/jucs-018-20).


[J38] Della Monica D., Goranko V., Montanari A., Sciavicco G., "Interval Temporal Logics: a Journey". Bulletin of the European Association for Theoretical Computer Science, number 105, October 2011, pp. 73-99.


[J37] Campagna D., Dovier A., De Rosa C., Montanari A., Piazza C., "Morphos Configuration Engine: the core of a commercial configuration system in CLP(FD)". Fundamenta Informaticae, vol. 105, n. 1-2, 2010, pp. 105-133, (doi: 10.3233/FI-2010-330).


[J36] Bresolin D., Goranko V., Montanari A., Sala P., "Tableau-based decision procedures for the logics of subinterval structures over dense orderings", Journal of Logic and Computation, vol. 20, n. 1, 2010, pp. 133-166 (doi:10.1093/logcom/exn063, online since December 2008).


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


[J34] Bresolin D., Goranko V., Montanari A., Sciavicco G., "Propositional Interval Neighborhood Logics: Expressiveness, Decidability, and Undecidable Extensions", Annals of Pure and Applied Logic, vol. 161, n. 3, 2009, pp. 289-304 (doi: 10.1016/j.apal.2009.07.003, online since July 2009).


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


[J31] Montanari A., Peron A., Puppis G., "On the relationships between theories of time granularity and the monadic second-order theory of one successor", Journal of Applied Non-Classical Logics, vol. 16, no. 3-4, 2006, pp. 433-455.


[J30] Goranko V., Montanari A., Sala P., Sciavicco G., "A General Tableau Method for Propositional Interval Temporal Logics: Theory and Implementation", Journal of Applied Logic, vol. 4, no. 3, 2006, pp. 305-330.


[J29] Franceschet M., Montanari A., Peron G., Sciavicco G., "Definability and decidability of binary predicates for time granularity", Journal of Applied Logic, vol. 4, no. 2, 2006, pp. 168-191.


[J28] Goranko V., Montanari A., Sciavicco G., "A Road Map of Interval Temporal Logics and Duration Calculi", Journal of Applied Non-Classical Logics, vol. 14, no. 1-2, 2004, pp. 9-54.


[J27] Franceschet M., Montanari A., de Rijke, M., "Model checking for combined logics with an application to mobile systems", Automated Software Engineering ,Special Issue on Distributed and Mobile Software Engineering, Kluwer Academic Publishers, vol. 11, no. 3, June 2004, pp. 289-321.


[J26] Franceschet M., Montanari A., "Temporalized Logics and Automata for Time Granularity", Theory and Practice of Logic Programming, Special Issue on Verification and Computational Logic, vol. 4, no. 5, 2004.


[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


[J24] Franceschet M., Montanari A.,"Time Granularities in Databases, Data Mining, and Temporal Reasoning, by Claudio Bettini, Sushil Jajodia, and Sean X. Wang (book review). The Computer Journal, vol. 45, no. 6, 2002,pp. 683-685.


[J23] Montanari A., Policriti A., Slanina M.,  Alternative Translation Techniques for Propositional and First-Order Modal Logics. Journal of Automated Reasoning, vol. 28, no. 4, Kluwer Academic Publishers, May 2002, pp. 397-415.


[J22] Montanari A., Peron A., Policriti A.,   Extending Kamp's Theorem to Model Time Granularity. Journal of Logic and Computation, vol. 12, no. 4, August 2002, pp. 641-678.


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


[J20] Franceschet M., Montanari A., "A Graph-Theoretic Approach to Efficiently Reason about Partially Ordered Events in (Modal) Event Calculus". Annals of Mathematics and Artificial Intelligence, vol. 30, no. 1-4, Kluwer Academic Publishers, 2000, pp. 93-118.


[J19] Montanari A., Peron A., Policriti A., "The Taming (Timing) of the States". The Logic Journal of IGPL, vol. 8, no. 5, September 2000, pp. 681-699.


[J18] Cervesato I., Franceschet M., Montanari A.,   A Guided Tour Through some Extensions of the Event Calculus. Computational Intelligence, vol. 16, no .2, May 2000, pp. 307-347.


[J17] Chittaro L., Montanari A.,   Temporal Representation and Reasoning in Artificial Intelligence: Issues and Approaches. Annals of Mathematics and Artificial Intelligence, vol. 28, no. 1-4, 2000, pp. 47-106.


[J16] Cervesato I., Montanari A., "A General Modal Framework for the Event Calculus and its Skeptical and Credolous Variants". Journal of Logic Programming, vol. 38, no. 2, February 1999, pp. 111-164.


[J15] Montanari A., Peron A. Policriti A.,   Theories of Omega-Layered Metric Temporal Structures: Expressiveness and Decidability. The Logic Journal of IGPL, vol. 7, no. 1, January 1999, pp. 79-102.


[J14] Cervesato I., Franceschet M., Montanari A. "The Complexity of Model Checking in Modal Event Calculi with Quantifiers". Electronic Transactions on Artificial Intelligence, vol. 2, no 1-2, January-June 1998, pp. 1-23 (http://www.ep.liu.se/ej/etai/1998/001/).


[J13] van Benthem J., D'Agostino G., Montanari A., Policriti A.,   Modal Deduction in Second-Order Logic and Set Theory - II. STUDIA LOGICA, vol. 60, no. 3, May 1998, pp. 387-420


[J12] Montanari A., Policriti A., "Temporal Logic. From Ancient Ideas to Artificial Intelligence, by Peter Ohrstrom and Per F.V. Hasle (book review)". Journal of Symbolic Logic, vol. 62, no. 3, September 1997, pp. 1044-1046.


[J11] Montanari A., de Rijke M.,  Two-Sorted Metric Temporal Logic. Theoretical Computer Science, vol. 183, no. 2, September 1997, pp. 187-214.


[J10] van Benthem J., D'Agostino G., Montanari A., Policriti A.,   Modal Deduction in Second-Order Logic and Set Theory - I. Journal of Logic and Computation, vol. 7, no. 2, April 1997, pp. 251-265 (a summary appeared in Mathematical Reviews 98c:03041).


[J9] Chittaro L., Montanari A., "Trends in Temporal Representation and Reasoning". The Knowledge Engineering Review, vol. 11, no. 3, September 1996, pp. 281-288.


[J8] Chittaro L., Montanari A., "Efficient temporal reasoning in the Cached Event Calculus". Computational Intelligence, vol. 12, no. 3, August 1996, pp. 359-382 (a summary appeared in Mathematical Reviews 97g:68207).


[J7] Montanari A., Policriti A.,   Decidability results for metric and layered temporal logics. Notre Dame Journal of Formal Logic, vol. 37, n. 2, Spring 1996, pp. 260-282 (a summary appeared in Mathematical Reviews 97e:03014).


[J6] D'Agostino G., Montanari A., Policriti A.,  A set-theoretic translation method for polymodal logics. Journal of Automated Reasoning, vol. 15, no. 3, 1995, pp. 317-337 (a summary appeared in mathematical Reviews 96j:03024).


[J5] Montanari A., Peressi E., Pernici B., "Object migration in temporal object-oriented databases". INFORMATICA - An International Journal of Computing and Informatics, vol. 18, no. 4, The Slovene Society Informatika, Ljubljana, Slovenia, December 1994, pp. 467-484.


[J4] Jensen C., Clifford J., Elmasri R., Gadia S., Hayes P., Jajodia S. (editors), Dyreson C., Grandi F., Kaefer W., Kline N., Lorentzos N., Mitsopoulos Y., Montanari A., et al.,"A Consensus Glossary of Temporal Database Concepts". SIGMOD Record, vol. 23, no. 1, March 1994, pp. 52-64.


[J3] Cervesato I., Montanari A., Provetti A., "On the Non-monotonic Behavior of Event Calculus for Deriving Maximal Time-Intervals". Interval Computations, vol. 1993/2, Institute for New Technologies, St. Petersburg - Moscow, 1993, pp. 83-119 (a summary appeared in Mathematical Reviews 95h:68022).


[J2] Ciapessoni E., Corsetti E., Montanari A., San Pietro P.,"Embedding Time Granularity in a Logical Specification Language for Synchronous Real-Time Systems". Science of Computer Programming, Elsevier Science Publishers, vol.20, no.1-2, April 1993, pp. 141-171 (abstract in Zentralblatt fuer Mathematik 781:68083 and in Mathematical Reviews 94j:68193).


[J1] Corsetti E., Montanari A., Ratto E., "Dealing with Different Time Granularities in Formal Specifications of Real-Time Systems". The Journal of Real-Time Systems, vol.3, no.2, Kluwer-Academic Publishers, June 1991, pp. 191-215.