[C125] Della Monica D., de Frutos-Escrig D., Montanari A., Murano A., and Sciavicco G., "Evaluation of Temporal Datasets via Interval Temporal Logic Model Checking". Proceedings of the 24th International Symposium on Temporal Representation and Reasoning (TIME), LIPIcs, Mons, Belgium, October, 2017, pp. 11:1-11:18.
[C124] Cominato E., Della Monica D., Montanari A., and Sciavicco G., "A Model Checker for Interval Temporal Logic over Finite Structures". Proceedings of the 18th Italian Conference on Theoretical Computer Science (ICTCS/CILC), Napoli, Italy, September 2017, pp. 63-74.
[C123] Barozzini D., Della Monica D., Montanari A., and Sala P., "Counter-queue automata with an application to a meaningful extension of omega-regular languages". Proceedings of the 18th Italian Conference on Theoretical Computer Science (ICTCS/CILC), Napoli, Italy, September 2017, pp. 27-38.
[C122] Della Monica D., Montanari A., and Sala P., "Beyond ωBS-regular languages: ωT-regular expressions and counter-check automata". Proceedings of the 8th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF), EPTCS 256, Rome, Italy, September 2017, pp. 223-237.
[C121] Bozzelli L., Molinari A., Montanari A., and Peron A., "On the Complexity of Model Checking for Syntactically Maximal Fragments of the Interval Temporal Logic HS with Regular Expressions". Proceedings of the 8th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF), EPTCS 256, Rome, Italy, September 2017, pp. 31-45.
[C120] Bozzelli L., Molinari A., Montanari A., and Peron A., "An in-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions". Proceedings of the 15th International Conference on Software Engineering and Formal Methods (SEFM), A. Cimatti and M. Sirjani (Eds.), LNCS 10469, Springer, Trento, Italy, September, 2017, pp. 104-119.
[C119] Della Monica D., Gigante N., Montanari A., Sala P., and Sciavicco G., "Bounded Timed Propositional Temporal Logic with Past Captures Timeline-based Planning with Bounded Constraints". Proceedings of the International Joint Conference on Artificial Intelligence 2017 (IJCAI), Melbourne, Australia, August, 2017, pp. 1008-1014.
[C118] Bozzelli L., Molinari A., Montanari A., Peron A., Sala P., "Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption", Proceedings of the 44th International Colloquium on Automata, Languages and Programming (ICALP), Warsaw, Poland, July, 2017, pp. 120:1-120:14 (slides).
[C117] Viel A., Gallo P., Montanari A., Gubiani D., Dalla Torre A., Pittino F., and Marshall, C., "Dealing with network changes in cellular fingerprint positioning systems". Proceedings of the International Conference on Localization and GNSS 2017 (ICL-GNSS), Nottingham, UK, June, 2017, IEEE Computer Society Press, June 2018, pp. 1-6 (dos: 10.1109/ICL-GNSS.2017.8376255).
[C116] Gigante N., Montanari A., Cialdea Mayer M., Orlandini A., "Complexity of Timeline-based Planning", Proceedings of the 27th International Conference on Automated Planning and Scheduling (ICAPS), Pittsburgh, USA, June, 2017.
[C115] Gigante N., Montanari A., Reynolds M., "A One-Pass Tree-Shaped Tableau for LTL+Past", Proceedings of the 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), T. Eiter and D. Sands (eds.), EPiC Series in Computing, Volume 46, Maun Botswana, May, 2017, pp. 456-473.
[J52] Brunello A., Marzano, E., Montanari A., and Sciavicco G., "Decision Tree Pruning via Multi-Objective Evolutionary Computation", International Journal of Machine Learning and Computing, Vol. 7, n. 6, 2017, pp. 167-175.
[RR201701] Barozzini, D., Della Monica, D., Montanari, A., and Sala, P., Extending omega-regular languages with a strong T-constructor: omegaT-regular languages and counter-queue automata , Research Report 2017/01, Dept. of Mathematics, Computer Science, and Physics, University of Udine, Italy, 2017.