[C158] Acampora R., Geatti L., Gigante N., Montanari A., and Picotti V., "Controller Synthesis for Timeline-based Games", Proceedings of the     13th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF), EPTCS, Madrid, Spain, September 2022, pp. 131-146.


[C157] Cimatti A., Geatti L., Gigante N., Montanari A., and Tonetta S., "A first-order logic characterisation of safety and co-safety languages". Proceedings of the     25th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS), P. Bouyer and L. Schroeder (Eds.), LNCS 13242, Springer, London, UK, April 2022, pp. 244--263 (doi: 10.1007/978-3-030-99253-8_13).


[J81] Brunello A., Dalla Torre A., Gallo P., Gubiani D., Montanari A., and Saccomanno N., "Crowdsourced Reconstruction of Cellular Networks to serve Outdoor Positioning: Modeling and Analysis",     MDPI Sensors, Volume 23(1), 352, 2023 (doi: 10.3390/s23010352).


[J80] Brunello A., Montanari A., Saccomanno N., "A Framework for Indoor Positioning including Building Topology",     IEEE Access, Volume 10, 2022, pp. 114959-114974 (doi: 10.1109/ACCESS.2022.3218301).


[J79] Cimatti A., Geatti L., Gigante N., Montanari A., and Tonetta S., "Extended Bounded Response LTL: a New Safety Fragment for Efficient Reactive Synthesis",     Formal Methods in System Design, Special Issue: Formal Methods in Computer-Aided Design (FMCAD'20), accepted for publication on August 29, 2021 (doi: https://doi.org/10.1007/s10703-021-00383-3).


[J78] Saccomanno N., Brunello A., Montanari A., "A Genetic Programming Approach to WiFi Fingerprint Meta-distance Learning",     Pervasive and Mobile Computing, Volume 85:101681, September 2022, pp. 1-19.


[J77] Gigante N., Micheli A., Montanari A., and Scala E., "Decidability and Complexity of Action-Based Temporal Planning over Dense Time",     Artificial Intelligence, Volume 307:103686, June 2022, pp. 1-20 (doi: 10.1016/j.artint.2022.103686).


[J76] Bernardini A., Brunello A., Gigli G. L., Montanari A., Saccomanno N., "OSASUD: A dataset of stroke unit recordings for the detection of Obstructive Sleep Apnea Syndrome",     Scientific Data, Volume 9(177), April 2022 (doi: 10.1038/s41597-022-01272-y).


[J75] Saccomanno N., Brunello A., Montanari A., "What You Sense Is Not Where You Are: On the Relationships between Fingerprints and Spatial Knowledge in Indoor Positioning",     IEEE Sensors Journal, Volume 22(6), March 15, 2022, pp. 4951-4961 (doi: 10.1109/JSEN.2021.3070098).


[J74] Brunello A., Marzano E., Montanari A., and Sciavicco G., "A combined approach to the analysis of speech conversations in a contact center domain",     Arxiv, CoRR abs/2203.06396, March 12, 2022.


[J73] Bozzelli L., Molinari A., Montanari A., Peron A., and Sala P. "Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption",     Logical Methods in Computer Science, Volume 18(1), February 2, 2022, pp. 1-24.


[J72] L. Bozzelli, A., Montanari A., Peron A., "Complexity issues for timeline-based planning over dense time under future and minimal semantics",     Theoretical Computer Science, Special Issue: Italian Conference on Theoretical Computer Science (ICTCS'20), Volume 901, 12 January 2022, pp. 87-113.


[J71] A., Montanari A., Sala P., "Reactive Syntesis from Interval Temporal Logic Specifications",     Theoretical Computer Science, Special Issue: Italian Conference on Theoretical Computer Science (ICTCS'20), Volume 899, 6 January 2022, pp. 48-79.