G.  Aliyev and Nanni, M., ?Vehicle-Pedestrian Optimization Framework for Exposure-Aware Routing?, Mobile Networks and Applications, 2025.

D.  Boncoraglio, Deri, F., Distefano, F., Fadda, D., Filippi, G., Forte, G., Licari, F., Natilli, M., Pedreschi, D., and Rinzivillo, S., ?A Visual Analytics Platform to Measure Performance on University Entrance Tests (Discussion Paper)?, 2019.

G.  Andrienko, Andrienko, N., Rinzivillo, S., Nanni, M., and Pedreschi, D., ?A Visual Analytics Toolkit for Cluster-Based Classification of Mobility Data?, in SSTD, 2009, pp. 432-435.

G.  Andrienko, Andrienko, N., Rinzivillo, S., Nanni, M., Pedreschi, D., and Giannotti, F., ?Visual Cluster Analysis of Large Collections of Trajectories?, in IEEE Visual Analytics Science and Tecnology (VAST 2009), 2009.

S.  Rinzivillo, Pedreschi, D., Nanni, M., Giannotti, F., Andrienko, N., and Andrienko, G., ?Visually driven analysis of movement data by progressive clustering?, Information Visualization, vol. 7, pp. 225-239, 2008.

F.  Bonchi, Giannotti, F., and Pedreschi, D., ?On Verification in Logic Database Languages?, in Computational Logic, 2000, pp. 957-971.

D.  Pedreschi and Ruggieri, S., ?Verification of Logic Programs?, J. Log. Program., vol. 39, pp. 125-176, 1999.

D.  Pedreschi and Ruggieri, S., ?Verification of Meta-Interpreters?, J. Log. Comput., vol. 7, pp. 267-303, 1997.