Publications

You are here

Home » Research
Export 5 results:
[ Author(Desc)] Title 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 
A
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.
B
F. Bonchi, Giannotti, F., and Pedreschi, D., “On Verification in Logic Database Languages”, in Computational Logic, 2000, pp. 957-971.
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.
P
D. Pedreschi and Ruggieri, S., “Verification of Meta-Interpreters”, J. Log. Comput., vol. 7, pp. 267-303, 1997.
D. Pedreschi and Ruggieri, S., “Verification of Logic Programs”, J. Log. Program., vol. 39, pp. 125-176, 1999.
R
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.