Publications

You are here

Home » Research
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
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.
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.
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.
W
A. Chiarelli, Mazzotta, V., and Renso, C., “A WAM Estesa per la Composizione di Programi Logici”, in GULP, 1993, pp. 189-202.
M. Ferretti, Barlacchi, G., Pappalardo, L., Lucchini, L., and Lepri, B., “Weak nodes detection in urban transport systems: Planning for resilience in Singapore”, in 2018 IEEE 5th international conference on data science and advanced analytics (DSAA), 2018.
D. Pedreschi and Ruggieri, S., “Weakest Preconditions for Pure Prolog Programs”, Inf. Process. Lett., vol. 67, pp. 145-150, 1998.
F. Bonchi, Giannotti, F., Gozzi, C., Manco, G., Nanni, M., Pedreschi, D., Renso, C., and Ruggieri, S., “Web Log Data Warehousing and Mining for Intelligent Web Caching”, Data and Knowledge Engineering, 2001.
F. Bonchi, Giannotti, F., Gozzi, C., Manco, G., Nanni, M., Pedreschi, D., Renso, C., and Ruggieri, S., “Web log data warehousing and mining for intelligent web caching”, Data Knowl. Eng., vol. 39, pp. 165-189, 2001.
F. Bonchi, Giannotti, F., Gozzi, C., Manco, G., Nanni, M., Pedreschi, D., Renso, C., and Ruggieri, S., “Web log data warehousing and mining for intelligent web caching”, Data Knowl. Eng., vol. 39, pp. 165-189, 2001.
F. Giannotti, Nanni, M., Pedreschi, D., and Samaritani, F., “WebCat: Automatic Categorization of Web Search Results”, in SEBD, 2003, pp. 507-518.
F. Turini and Furletti, B., “What else can be extracted from ontologies? Influence Rules”, in Software and Data Technologies, Springer, 2012.

Pages