[C156] Cimatti A., Geatti L., Gigante N., Montanari A., and Tonetta S., "Fairness, Assumptions, and Guarantees for Extended Bounded Response LTL synthesis". Proceedings of the 19th International Conference on Software Engineering and Formal Methods (SEFM), Formal Methods subline of Springer's Lecture Notes in Computer Science, December 2021, pp. 351-371 (Best Paper Award).
[C155] Cimatti A., Geatti L., Gigante N., Montanari A., and Tonetta S., "Expressiveness of Extended Bounded Response LTL". Proceedings of the 12th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF), EPTCS, Padova, Italy, September 2021, pp. 152-165.
[C154] Bozzelli L., Montanari A., Peron A., and Sala P., "Adding the relation Meets to the temporal logic of prefixes and infixes makes it EXPSPACE-complete". Proceedings of the 12th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF), EPTCS, Padova, Italy, September 2021, pp. 179-194.
[C153] Bozzelli L., Montanari A., Peron A., Sala P., "PSPACE-completeness of the temporal logic of sub-intervals and suffixes". Proceedings of the 28th International Symposium on Temporal Representation and Reasoning (TIME), LIPIcs, Klagenfurt, Austria, September 2021, pp. 9:1-9:19.
[C152] Geatti L., Gigante N., Montanari A., Venturato N., "Past Matters: Supporting LTL+Past in the BLACK Satisfiability Checker". Proceedings of the 28th International Symposium on Temporal Representation and Reasoning (TIME), LIPIcs, Klagenfurt, Austria, September 2021, pp. 8:1-8:17.
[J70] Bozzelli L., Montanari A., Peron A., "Complexity analysis of a unifying algorithm for model checking Interval Temporal Logic", Information and Computation, Special Issue: Temporal Representation and Reasoning (TIME'19), Volume 280: 104640, 2021.
[J69] Bernardini A., Brunello A., Gigli G. L., Montanari A., Saccomanno N., "AIOSA: An Approach to the Automatic Identification of Obstructive Sleep Apnea Events based on Deep Learning", Artificial Intelligence in Medicine, Volume 18, Article 102133, August 2021.
[J68] Geatti L., Gigante N., Montanari A., and Reynolds M., "One-Pass and Tree-Shaped Tableau Systems for TPTL and TPTLb+Past", Information and Computation, Special Issue: International Symposium on Games, Automata, Logics, and Formal Verification (GandALF'18), Volume 278: : 104599, June 2021.
[J67] Brunello A., Urgolo, A., Pittino, F., Montvay, A., and Montanari A., "Virtual sensing and sensors selection for efficient temperature monitoring in indoor environments", MDPI Sensors, Volume 21, 2728, April 2021.