Publications

You are here

Home » Research
Export 5 results:
Author [ Title(Desc)] Type Year
Filters: First Letter Of Title is V  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
V
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.
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.