Publications

Export 5 results:
Sort by: Author [ Title (Desc)] Type Year
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   [Show ALL]
V
Rinzivillo, S, Pedreschi D, Nanni M, Giannotti F, Andrienko N, Andrienko G.  2008.  Visually driven analysis of movement data by progressive clustering. Information Visualization. 7:225-239.
Andrienko, G, Andrienko N, Rinzivillo S, Nanni M, Pedreschi D, Giannotti F.  2009.  Visual Cluster Analysis of Large Collections of Trajectories. IEEE Visual Analytics Science and Tecnology (VAST 2009).
Andrienko, GL, Andrienko NV, Rinzivillo S, Nanni M, Pedreschi D.  2009.  A Visual Analytics Toolkit for Cluster-Based Classification of Mobility Data. SSTD. :432-435.
Pedreschi, D, Ruggieri S.  1997.  Verification of Meta-Interpreters. J. Log. Comput.. 7:267-303.
Pedreschi, D, Ruggieri S.  1999.  Verification of Logic Programs. J. Log. Program.. 39:125-176.