Publications

You are here

Home » Research
Export 5 results:
Author [ Title(Desc)] Type Year
Filters: Author is Dino Pedreschi  [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 
T
R. Barbuti, Mancarella, P., Pedreschi, D., and Turini, F., “A Transformational Approach to Negation in Logic Programming”, J. Log. Program., vol. 8, pp. 201-228, 1990.
A. Albano, Giannotti, F., Orsini, R., and Pedreschi, D., “The Type System of Galileo”, in Data Types and Persistence (Appin), Informal Proceedings, 1985, pp. 175-195.
A. Albano, Giannotti, F., Orsini, R., and Pedreschi, D., “The Type System of Galileo”, in Data Types and Persistence (Appin), 1985, pp. 101-119.
B. Bertolino, Meo, L., Pedreschi, D., and Turini, F., The Type System of LML. 1992, pp. 313-332.
U
F. Bonchi, Giannotti, F., Mainetto, G., and Pedreschi, D., “Una Metodologia Basata sulla Classificazione per la Pianificazione degli Accertamenti nel Rilevamento di Frodi”, in SEBD, 1999, pp. 69-84.
M. Coscia, Rossetti, G., Giannotti, F., and Pedreschi, D., “Uncovering Hierarchical and Overlapping Communities with a Local-First Approach”, {TKDD}, vol. 9, p. 6, 2014.
F. Giannotti, Gabrielli, L., Pedreschi, D., and Rinzivillo, S., “Understanding human mobility with big data”, in Solving Large Scale Learning Tasks. Challenges and Algorithms, Springer International Publishing, 2016, pp. 208–220.
L. Pappalardo, Rinzivillo, S., Qu, Z., Pedreschi, D., and Giannotti, F., “{Understanding the patterns of car travel}”, The European Physical Journal Special Topics, vol. 215, pp. 61–73, 2013.
A. Brogi, Mancarella, P., Pedreschi, D., and Turini, F., “Universal Quantification by Case Analysis”, in ECAI, 1990, pp. 111-116.
R. Guidotti, Monreale, A., Rinzivillo, S., Pedreschi, D., and Giannotti, F., “Unveiling mobility complexity through complex network analysis”, Social Network Analysis and Mining, vol. 6, p. 59, 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.
F. Bonchi, Giannotti, F., Mainetto, G., and Pedreschi, D., “Using Data Mining Techniques in Fiscal Fraud Detection”, in DaWaK, 1999, pp. 369-376.
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
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.

Pages