Publications

You are here

Export 5 results:
[ Author(Asc)] 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
M. Atzmueller, Becker, M., Molino, A., Mueller, J., Peters, J., and Sirbu, A., Applications for Environmental Sensing in EveryAware, in Participatory Sensing, Opinions and Collective Awareness, Springer, 2017, pp. 135–155.
P. Asirelli, Renso, C., and Turini, F., Language Extensions for Semantic Integration of Deductive Databases, in Logic in Databases, 1996, pp. 415-434.
P. Asirelli, Renso, C., and Turini, F., The Constraint Operator of MedLan: Its Efficient Implementation and Use, in IICIS, 1998, pp. 41-55.
D. Aquilino, Asirelli, P., Renso, C., and Turini, F., An Operator for Composing Deductive Databases with Theories of Constraints, in LPNMR, 1995, pp. 57-70.
D. Aquilino, Renso, C., and Turini, F., Towards Declarative GIS Analysis, in ACM-GIS, 1996, pp. 98-104.
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., Renso, C., and Turini, F., Applying Restriction Constraint to Deductive Databases, Annals of Mathematics and Artificial Intelligence, pp. 3–25, 1997.
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.
D. Aquilino, Asirelli, P., Renso, C., and Turini, F., An Operator for Composing Deductive Databases with Theories of Constraints, pp. 57–70, 1995.
D. Aquilino, Renso, C., and Turini, F., Towards {D}eclarative {GIS} {A}nalysis, 1996, pp. 99–105.
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.
K. R. Apt, Gabbrielli, M., and Pedreschi, D., A Closer Look at Declarative Interpretations, J. Log. Program., vol. 28, pp. 147-180, 1996.
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., Boldrini, C., Caldarelli, G., Cintia, P., Cresci, S., Facchini, A., Giannotti, F., Gionis, A., Guidotti, R., and others, (So) Big Data and the transformation of the city, International Journal of Data Science and Analytics, 2020.
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., and Pedreschi, D., A Visual Analytics Toolkit for Cluster-Based Classification of Mobility Data, in SSTD, 2009, pp. 432-435.
G. Andrienko, Andrienko, N., 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.
G. Andrienko, Andrienko, N., 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., Giannotti, F., Monreale, A., and Pedreschi, D., Movement data anonymity through generalization, in Proceedings of the 2nd SIGSPATIAL ACM GIS 2009 International Workshop on Security and Privacy in GIS and LBS, 2009.
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. 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., Data Sharing Analysis for a Database Programming Lanaguage via Abstract Interpretation, in VLDB, 1993, pp. 405-415.
G. Amato, Giannotti, F., and Mainetto, G., Static Analysis of Transactions: an Experiment of Abstract Interpretation Usage, in FMLDO, 1993, pp. 19-29.

Pages