[C114] Bozzelli L., Molinari A., Montanari A., Peron A., Sala P., "Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison". Proceedings of the     36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS), Chennai Mathematical Institute, Chennai, India, December 2016, pp 26:1-14.


[C113] Della Monica D., Montanari A., Murano A., and Sala P., "Prompt Interval Temporal Logic", Proceedings of the 15th European Conference on Logics in Artificial Intelligence (JELIA), L. Michael (Ed.), LNCS 10021, Springer, Larnaca, Cyprus, Novembre 2016, pp. 207-222.


[C112] Montanari A., "Interval Temporal Logics Model Checking". Proceedings of the 23rd International Symposium on Temporal Representation and Reasoning (TIME), Lyngby, Denmark, October, 2016, p. 2.


[C111] Gigante N., Montanari A., Cialdea Mayer M., Orlandini A., "Timelines are Expressive Enough to Capture Action-Based Temporal Planning". Proceedings of the 23rd International Symposium on Temporal Representation and Reasoning (TIME), Lyngby, Denmark, October, 2016, pp. 100-109.


[C110] Bertello M., Gigante N., Montanari A., Reynolds M., "A New Tableau-based Satisfiability Checker for Linear Temporal Logic (Extended Abstract)". Proceedings of the 39th German Conference on Artificial Intelligence (KI), Klagenfurt, Austria, September, 2016, pp. 251-256.


[C109] Bozzelli L., Molinari A., Montanari A., Peron A., Sala P., "Model Checking the Logic of Allen's Relations Meets and Started-by is P^NP-Complete". Proceedings of the 7th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF), EPTCS 226, Catania, Italy, September 2016, pp. 76–90 (slides).


[C108] Bozzelli L., Molinari A., Montanari A., Peron A., Sala P., "Interval Temporal Logic Model Checking Based on Track Bisimilarity and Prefix Sampling". Proceedings of the 17th Italian Conference on Theoretical Computer Science (ICTCS), CEUR Workshop Proceedings, Vol. 1720, Lecce, Italy, September 2016, pp. 49-61(slides).


[C107] Bertello M., Gigante N., Montanari A., Reynolds M., "Leviathan: a new LTL satisfiability checking tool based on a one-pass tree-shaped tableau". Proceedings of the International Joint Conference on Artificial Intelligence 2016 (IJCAI), New York, USA, July, 2016, pp. 950-956.


[C106] Bozzelli L., Molinari A., Montanari A., Peron A., Sala P., "Interval Temporal Logic Model Checking: the Border Between Good and Bad HS Fragments". Proceedings of the International Joint Conference on Automated Reasoning 2016 (IJCAR), Coimbra, Portugal, June, 2016, LNAI 9706, Springer, pp. 389-405 (slides).


[C105] Molinari A., Montanari A., Peron A., Sala P., "Model checking well-behaved fragments of HS: the (almost) final picture". Proceedings of the 15th International Conference on Principles of Knowledge Representation and Reasoning (KR), Cape Town, South Africa, April, 2016, pp. 473-483.


[J51] Gams M., Cernic E., and Montanari A., "A Temporal Perspective on the Paradox of Pinocchio's Nose",     INFORMATICA - An International Journal of Computing and Informatics, vol. 40, n. 3, The Slovene Society Informatika, Ljubljana, Slovenia, 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).