Our work

Nicola Saccomanno, Andrea Brunello, Angelo Montanari (2021). What You Sense Is Not Where You Are: On the Relationships between Fingerprints and Spatial Knowledge in Indoor Positioning. IEEE Sensors Journal, Early Access.

Luca Geatti, Nicola Gigante, Angelo Montanari, Mark Reynolds (2021). One-pass and tree-shaped tableau systems for TPTL and TPTL. Inf. Comput., 278.

Andrea Brunello, Andrea Urgolo, Federico Pittino, András Montvay, Angelo Montanari (2021). Virtual Sensing and Sensors Selection for Efficient Temperature Monitoring in Indoor Environments. Sensors, 21(8).

Dylan Bellier, Massimo Benerecetti, Dario Della Monica, Fabio Mogavero (2021). Good-for-Game QPTL: An Alternating Hodges Semantics. CoRR, abs/2104.06085.

Sougata Bose, Shankara Narayanan Krishna, Anca Muscholl, Gabriele Puppis (2021). One-way Resynchronizability of Word Transducers. Proceedings of FoSSaCS, pp. 124-143.

Sougata Bose, Shankara Narayanan Krishna, Anca Muscholl, Gabriele Puppis (2021). One-way resynchronizability of word transducers. CoRR, abs/2101.08011.

Estrella Lucena-Sánchez, Guido Sciavicco, Ionel Eduard Stan (2021). Feature and Language Selection in Temporal Symbolic Regression for Interpretable Air Quality Modelling. Algorithms, 14(3).

Gloria Bonaccorsi, Melchiore Giganti, Maxim Nitsenko, Giovanni Pagliarini, Giacomo Piva, Guido Sciavicco (2021). Predicting treatment recommendations in postmenopausal osteoporosis. J. Biomed. Informatics, 118.

Carlo Combi, Romeo Rizzi, Pietro Sala (2021). Checking Sets of Pure Evolving Association Rules. Fundam. Informaticae, 178(4), pp. 283-313.

Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron (2020). Model checking interval temporal logics with regular expressions. Inf. Comput., 272.

Page 1 of 44

Search publication