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