Publications

You are here

Export 5 results:
Author Title [ Type(Desc)] Year
Filters: Author is Dino Pedreschi  [Clear All Filters]
Journal Article
F. Giannotti, Matteucci, A., Pedreschi, D., and Turini, F., Symbolic Evaluation with Structural Recursive Symbolic Constants, Sci. Comput. Program., vol. 9, pp. 161-177, 1987.
V. Ambriola, Giannotti, F., Pedreschi, D., and Turini, F., Symbolic Semantics and Program Reduction, IEEE Trans. Software Eng., vol. 11, pp. 784-794, 1985.
G. Rossetti, Pappalardo, L., Pedreschi, D., and Giannotti, F., Tiles: an online algorithm for community discovery in dynamic social networks, Machine Learning, vol. 106, pp. 1213–1241, 2017.
M. Nanni and Pedreschi, D., Time-focused clustering of trajectories of moving objects, J. Intell. Inf. Syst., vol. 27, pp. 267-289, 2006.
S. Ceri, Palpanas, T., Valle, E. Della, Pedreschi, D., Freytag, J. - C., and Trasarti, R., Towards mega-modeling: a walk through data analysis experiences, {SIGMOD} Record, vol. 42, pp. 19–27, 2013.
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.
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.
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.
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.
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.
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.
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 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 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.

Pages