Welcome     Bio sketch     Jobs     Courses     Projects     Boards/Committees
Publications     Seminars     Research Interests     PhD Students     Digressions

[C165] Brunello A., Montanari A., Saccomanno N., and Torres-Sospedra, J. "High-Performance Features in Generalizable Fingerprint-based Indoor Positioning". Proceedings of the     20th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (MobiQuitous), Melbourne, Australia, November 2023.

[C164] Saccomanno N., Brunello A., and Montanari A., "Towards Learning an Optimal Metric for Fingerprint-based Localisation". Proceedings of the     29th Annual International Conference on Mobile Computing and Networking (MobiCom), Madrid, Spain, October 2023.

[C163] Acampora R., Geatti L., Gigante N., and Montanari A., "Qualitative Past Timeline-Based GameS", Proceedings of the     30th International Symposium on Temporal Representation and Reasoning (TIME), LIPIcs, Athens, Greece, September 2023.

[C162] Artale A., Geatti L., Gigante N., Mazzullo A., and Montanari A., "LTL over finite words can be exponentially more succinct than pure-past LTL, and vice versa", Proceedings of the     30th International Symposium on Temporal Representation and Reasoning (TIME), LIPIcs, Athens, Greece, September 2023.

[C161] Artale A., Geatti L., Gigante N., Mazzullo A., and Montanari A., "A singly exponential transformation of LTL[X, F] into pure past LTL", Proceedings of the     20th International Conference on Principles of Knowledge Representation and Reasoning (KR), Rhodes, Greece, September 2023.

[C160] Della Monica D., Montanari A, Puppis G., and Sala P., "The Logic of Prefixes and Suffixes is Elementary under Homogeneity", Proceedings of the     38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Boston, USA, June 2023.

[C159] Artale A., Geatti L., Gigante N., Mazzullo A., and Montanari A., "Complexity of Safety and coSafety Fragments of Linear Temporal Logic", Proceedings of the     37th AAAI Conference on Artificial Intelligence (AAAI), AAAI Press, Washington, USA, February 2023.

[J88] Bozzelli L., Montanari A., Peron A., and Sala P. "Pspace-completeness of the temporal logic of sub-intervals and suffixes",     Information and Computation, Volume 294: 105083, 2023 (doi: doi.org/10.1016/j.ic.2023.105083).

[J87] Brunello A., Montanari A., and Saccomanno N., "Towards Interpretability in Fingerprint-based Indoor Positioning: May Attention Be With Us",     Expert Systems With Applications, Volume 231: 120679, 30 November, 2023 (doi: doi.org/10.1016/j.eswa.2023.12067).

[J86] Cimatti A., Geatti L., Gigante N., Montanari A., and Tonetta S., "A first-order logic characterization of safety and co-safety languages",     Logical Methods in Computer Science, Volume 19, Issue 3, August 10 2023, pp. 13:1–13:29.

[J85] Brunello A., Della Monica D., Montanari A., Saccomanno N., and Urgolo A., "Monitors that Learn from Failures: Pairing STL and Genetic Programming",     IEEE Access, Volume 11, 2023, pp. 57349-57364 (doi: 10.1109/ACCESS.2023.3277620).

[J84] Bozzelli L., Montanari A., and Peron A., "Interval temporal logic for visibly pushdown systems",     ACM Transactions on Computational Logic, Volume 24(3), July 2023, pp. 1-32 (doi: 10.1145/3583756).

[J83] Della Monica D., Montanari A., and Sala P., "An interval temporal logic characterization of extended omega-regular languages",     Theoretical Computer Science, Special Issue: Italian Conference on Theoretical Computer Science (ICTCS'21), Volume 962: 113929, June 22, 2023 (doi: 10.1016/j.tcs.2023.113929).

[J82] Cimatti A., Geatti L., Gigante N., Montanari A., and Tonetta S., "GR(1) is equivalent to R(1)",     Infor- mation Processing Letters, Volume 179: 106319, January 2023 (doi: 10.1016/j.ipl.2022.106319).