Publications

You are here

Export 5 results:
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 
U
P. Gravino, Caminiti, S., Sirbu, A., Tria, F., Servedio, V. D. P., and Loreto, V., Unveiling Political Opinion Structures with a Web-experiment, in Proceedings of the 1st International Conference on Complex Information Systems, 2016.
F. Giannotti, Nanni, M., Pedreschi, D., Pinelli, F., Renso, C., Rinzivillo, S., and Trasarti, R., Unveiling the complexity of human mobility by querying and mining massive trajectory data, VLDB J., vol. 20, pp. 695-719, 2011.
B. Furletti, Gabrielli, L., Giannotti, F., Milli, L., Nanni, M., and Pedreschi, D., Use of mobile phone data to estimate mobility flows. Measuring urban population and inter-city mobility using big data in an integrated approach, in 47th SIS Scientific Meeting of the Italian Statistica Society, Cagliari , 2014.
L. Gabrielli, Furletti, B., Giannotti, F., Nanni, M., and Rinzivillo, S., Use of mobile phone data to estimate visitors mobility flows, in Proceedings of MoKMaSD, 2014.
L. Gabrielli, Furletti, B., Giannotti, F., Nanni, M., and Rinzivillo, S., Use of Mobile Phone Data to Estimate Visitors Mobility Flows, in Software Engineering and Formal Methods, vol. 8938, Springer International Publishing, 2015, pp. 214-226.
F. Giannotti and Latella, D., Using Abstract Interpretation for Gate splitting in LOTOS Specifications, in WSA, 1992, pp. 194-204.
F. Bonchi, Giannotti, F., Mainetto, G., and Pedreschi, D., Using Data Mining Techniques in Fiscal Fraud Detection, in DaWaK, 1999, pp. 369-376.
D. Aquilino, Asirelli, P., Formuso, A., Renso, C., and Turini, F., Using MedLan to Integrate Geographical Data, J. Log. Program., vol. 43, pp. 3-14, 2000.
D. Aquilino, Asirelli, P., Formuso, A., Renso, C., and Turini, F., Using Medlan to Integrate Geographical Data, Journal of Logic Programming, pp. 3–14, 2000.
A. Gargantini, Riccobene, E., and Rinzivillo, S., Using Spin to Generate Tests from ASM Specifications, in Abstract State Machines, 2003, pp. 263-277.
S. Ruggieri, Using t-closeness anonymity to control for non-discrimination., Trans. Data Privacy, vol. 7, pp. 99–129, 2014.
D. Montesi, Renso, C., and Turini, F., Using Temporary Integrity Constraints to Optimize Databases, in FAPR, 1996, pp. 430-435.
G. Rossetti, Milli, L., Citraro, S., and Morini, V., UTLDR: an agent-based framework for modeling infectious diseases and public interventions, arXiv preprint arXiv:2011.05606, 2020.
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.

Pages