[C143] Bozzelli L., Montanari A., and Peron A., "Taming complexity of timeline-based planning over dense temporal domains", Proceedings of the 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS) , LIPIcs, Indian Institute of Technology Bombay, Mumbai, India, December 2019, , pp. 34:1-34:14.
[C142] Bozzelli L., Montanari A., and Peron A., "Interval temporal logic for visibly pushdown systems", Proceedings of the 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS) , LIPIcs, Indian Institute of Technology Bombay, Mumbai, India, December 2019, pp. 33:1-33:14 (slides).
[C141] Bozzelli L., Montanari A., and Peron A., "Complexity analysis in a unified framework for model checking Interval Temporal Logic", Proceedings of the 26th International Symposium on Temporal Representation and Reasoning (TIME), LIPIcs, Malaga, Spain, October 2019, pp. 18:1-18:17.
[C140] Brunello A., Montanari A., and Reynolds M., "Synthesis of LTL Formulas from Natural Language Texts: State of the Art and Research Directions", Proceedings of the 26th International Symposium on Temporal Representation and Reasoning (TIME), LIPIcs, Malaga, Spain, October 2019, pp. 17:1-17:19.
[C139] Della Monica D., Montanari A., Murano A., and Sciavicco G., "Ultimately-periodic Interval Model Checking for Temporal Dataset Evaluation", Proceedings of the 5th Global Conference on Artificial Intelligence (GCAI), EPiC Series in Computing, Volume 65, Bolzano, Italy, 2019, pp. 28-41.
[C138] Bozzelli L., A. Molinari A., Montanari A, and Peron A., "Model Checking Timeline-based Systems over Dense Temporal Domains". Proceedings of the 20th Italian Conference on Theoretical Computer Science (ICTCS), CEUR Workshop Proceedings, Vol. 2504, Como, Italy, September 2019, pp. 235-247.
[C137] Gubiani D., Gallo P., Montanari A., Dalla Torre A., and Viel A., "A Cellular network database for fingerprint positioning systems". Proceedings of the 23rd European Conference on Advances in Databases and Information Systems (ADBIS), T. Welzer et al. (Eds.), Springer CCIS 1064, Bled, Slovenia, September 2019, pp. 111-119.
[C136] Geatti L. Gigante N., and Montanari A., "A SAT-Based Encoding of the One-Pass and Tree-Shaped Tableau System for LTL". Proceedings of the 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX), S. Cerrito and A. Popescu (Eds.), LNCS 11714, Springer, London, UK, September, 2019, pp. 3-20.
[J62] Dalla Torre A., Gallo P. Gubiani D., Marshall C., Montanari A., Pittino F., and Viel A., "A map-matching algorithm dealing with sparse cellular fingerprint observations", Geo-spatial Information Science, Volume 22, n. 2, 2019, pp. 89-106.
[J61] Brunello A., Jimenez Bariounuevo F., Marzano, E., Montanari A., Sciavicco G., and Sanchez Carpena G., "Multi-Objective Evolutionary Feature Selection and Fuzzy Classification of Contact Center Data", Expert Systems, Volume 36, n. 3, 2019.
[J60] Bresolin D., Della Monica D., Montanari A., Sala P., and Sciavicco G., "Decidability and Complexity of the Fragments of the Modal Logic of Allen's Relations over the Rationals", Information and Computation, Volume 266, June 2019, pp. 97-125.
[J59] Bozzelli L., Molinari A., Montanari A., Peron A., and Sala P., "Which Fragments of the Interval Temporal Logic HS are Tractable in Model Checking?", Theoretical Computer Science, Special Issue: Italian Conference on Theoretical Computer Science (ICTCS'16), Volume 764C, April 2019, pp. 125-144 (doi: 10.1016/j.tcs.2018.04.011).
[J58] Brunello A., Marzano, E., Montanari A., and Sciavicco G., "J48SS: A Novel Decision Tree Approach for the Handling of Sequential and Time Series Data", MDPI Computers, Volume 8, n. 1, March 2019.
[J57] Viel A., Brunello A., Montanari A., and Pittino F., "An original approach to positioning with cellular fingerprints based on decision tree ensembles", Journal of Location Based Services, Volume 13, n. 1, January 2019, pp. 25-52.
[J56] Bozzelli L., Molinari A., Montanari A., Peron A., Sala P., "Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison", ACM Transactions on Computational Logic, Volume 20(1), Article n. 4, January 2019.
[J55] Brunello A., Gallo P., Marzano, E., Montanari A., and Vitacolonna N., "An Event-Based Data Warehouse to Support Decisions in Multi-Channel, Multi-Service Contact Centers", Journal of Cases on Information Technology, 21(1), January-March 2019, pp. 33-51.
[W33] Brunello A., Della Monica D., Montanari A., "Pairing Monitoring with Machine Learning for Smart System Verification and Predictive Maintenance", Proceedings of the 1st Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis,, co-located with the 18th International Conference of the Italian Association for Artificial Intelligence, OVERLAY @ AI*IA 2019, N. Gigante, F. Mari, and A. Orlandini (Eds.), CEUR Workshop Proceedings, Volume 2509, CEUR-WS.org, Rende, Italy, November 19-20, 2019, pp. 71--76.
[W32] Brunello A., Kaminska J., Marzano E., Montanari A., Sciavicco G., and Turek T., "Assessing the Role of Temporal Information in Modelling Short-Term Air Pollution Effects Based on Traffic and Meteorological Conditions: A Case Study in Wroclaw". Proceedings of the International Workshop on BI & BIG DATA APPLICATIONS (BBIGAP), co-located with the 23rd European Conference on Advances in Databases and Information Systems (ADBIS), T. Welzer et al. (Eds.), Springer CCIS 1064, Bled, Slovenia, September 2019, pp. 463-474.