[E12] Montanari A., Puppis G., Villa T. (eds.), Special section on GandALF 2013 - Games, Automata, Logics, and Formal Verification (GandALF 2013), Information and Computation, Vol. 245, Elsevier, December 2015, Editorial pp. 1-2.


[C104] Molinari A., Montanari A., Peron A., "Constraining cycle alternations in model checking for interval temporal logic". Electronic Notes in Theoretical Computer Science, Volume 322 (Proceedings of the 16th Italian Conference on Theoretical Computer Science (ICTCS), Firenze, Italy, September 2015), 18 April 2016, pp. 211–226.


[C103] Molinari A., Montanari A., Peron A., "Complexity of ITL model checking: some well-behaved fragments of the interval logic HS". Proceedings of the 22nd International Symposium on Temporal Representation and Reasoning (TIME), Kassel, Germany, September 2015, pp. 90-100.


[C102] Montanari A., Muñoz-Velasco E., Sciavicco G., "Undecidability of Chop". Proceedings of the 22nd International Symposium on Temporal Representation and Reasoning (TIME), Kassel, Germany, September 2015, pp. 79-89.


[C101] Molinari A., Montanari A., Peron A., "A Model Checking Procedure for Interval Temporal Logics based on Track Representatives". Proceedings of the 24th EACSL Annual Conference on Computer Science Logic (CSL), Berlin, Germany, September 2015, pp. 193-210.


[C100] Bresolin D., Della Monica D., Montanari A., Sala P., and Sciavicco G., "On the Complexity of Fragments of the Modal Logic of Allen's Relations over Dense Structures". Proceedings of the 9th International Conference on Language and Automata Theory and Applications (LATA), A.-H. Dediu et al. (Eds.), LNCS 8977, Springer, Nice, France, March 2015, pp. 511-523 (slides).


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