[C126] Viel A., Brunello A., Montanari A., and Pittino F., "An original approach to positioning with cellular fingerprints based on decision tree ensembles", Proceedings of the 14th International Conference on Location Based Services (LBS), Lecture Notes in Cartography and Geoinformation, Springer, Zurich, Suisse, January 2018.


[J54] Bozzelli L., Molinari A., Montanari A., Peron A., and Sala P., "Model Checking for Fragments of the Interval Temporal Logic HS at the Low Levels of the Polynomial Time Hierarchy", Information and Computation, Special Issue: International Symposium on Games, Automata, Logics, and Formal Verification (GandALF'16), accepted for publication on January 8, 2018.


[J53] Molinari A., Montanari A., and Peron A., "Model Checking for Fragments of Halpern and Shoham's Interval Temporal Logic Based on Track Representatives", Information and Computation, Special Issue: Temporal Representation and Reasoning (TIME'15), accepted for publication on April 26, 2017.