Publications

You are here

Export 411 results:
[ Author(Desc)] Title 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 
A
O. Abul, Atzori, M., Bonchi, F., and Giannotti, F., Hiding Sequences, in ICDE Workshops, 2007, pp. 147-156.
O. Abul, Atzori, M., Bonchi, F., and Giannotti, F., Hiding Sequences, in SEBD, 2007, pp. 233-241.
O. Abul, Atzori, M., Bonchi, F., and Giannotti, F., Hiding Sensitive Trajectory Patterns, in ICDM Workshops, 2007, pp. 693-698.
A. Albano, Giannotti, F., Orsini, R., and Pedreschi, D., The Type System of Galileo, in Data Types and Persistence (Appin), 1985, pp. 101-119.
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.
F. D. C. Albuquerque, Casanova, M. A., de Carvalho, M. T. M., de Macêdo, J. A. F., and Renso, C., A Proactive Ap- plication to Monitor Truck Fleets, in Mobile Data Management Conference, 2013, 2013.
C. Alfonsi, Scarabottolo, N., Pedreschi, D., and Simi, M., IT4PS: information technology for problem solving, in ITiCSE, 2004, p. 241.
G. Amato, Giannotti, F., and Mainetto, G., Analysis of Concurrent Transactions in a Functional Database Programming Language, in WSA, 1992, pp. 174-184.
G. Amato, Giannotti, F., and Mainetto, G., Static Analysis of Transactions: an Experiment of Abstract Interpretation Usage, in FMLDO, 1993, pp. 19-29.
G. Amato, Giannotti, F., and Mainetto, G., Conservative Multigranularity Locking for an Obiect-Oriented Persistent Language via Abstract Interpretation, in SEBD, 1994, pp. 329-349.
G. Amato, Giannotti, F., and Mainetto, G., Static Analysis of Transactions for Conservative Multigranularity Locking, in DBPL, 1997, pp. 413-430.
G. Amato, Giannotti, F., and Mainetto, G., Data Sharing Analysis for a Database Programming Lanaguage via Abstract Interpretation, in VLDB, 1993, pp. 405-415.
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. Andrienko, Andrienko, N., Giannotti, F., Monreale, A., Pedreschi, D., and Rinzivillo, S., A Generalisation-based Approach to Anonymising Movement Data, 13th AGILE conference on Geographic Information Science. 2010.
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.
G. Andrienko, Andrienko, N. V., Hurter, C., Rinzivillo, S., and Wrobel, S., From Movement Tracks through Events to Places: Extracting and Characterizing Significant Places from Mobility Data, IEEE Conference on Visual Analytics Science and Technology. 2011.
G. Andrienko, Andrienko, N. V., 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. V., Hunter, C., Rinzivillo, S., and Wrobel, S., Scalable Analysis of Movement Data for Extracting and Exploring Significant Places, IEEE Transactions on Visualization and Computer Graphics, vol. 19, 2013.
K. R. Apt, Gabbrielli, M., and Pedreschi, D., A Closer Look at Declarative Interpretations, J. Log. Program., vol. 28, pp. 147-180, 1996.
K. R. Apt and Pedreschi, D., Proving Termination of General Prolog Programs, in TACS, 1991, pp. 265-289.
K. R. Apt and Pedreschi, D., Reasoning about Termination of Pure Prolog Programs, Inf. Comput., vol. 106, pp. 109-157, 1993.
D. Aquilino, Asirelli, P., Renso, C., and Turini, F., Applying Restriction Constraints to Deductive Databases, Ann. Math. Artif. Intell., vol. 19, pp. 3-25, 1997.
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.
D. Aquilino, Renso, C., and Turini, F., Towards Declarative GIS Analysis, in ACM-GIS, 1996, pp. 98-104.
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.

Pages