Publications

You are here

Export 5 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 
G
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.
L. Gabrielli, Fadda, D., Rossetti, G., Nanni, M., Piccinini, L., Pedreschi, D., Giannotti, F., and Lattarulo, P., Discovering Mobility Functional Areas: A Mobility Data Analysis Approach, in International Workshop on Complex Networks, 2018.
L. Gabrielli, Furletti, B., Trasarti, R., Giannotti, F., and Pedreschi, D., City users’ classification with mobile phone data, in IEEE Big Data, Santa Clara (CA) - USA, 2015.
A. Gargantini, Riccobene, E., and Rinzivillo, S., Using Spin to Generate Tests from ASM Specifications, in Abstract State Machines, 2003, pp. 263-277.
F. Giannotti, Manco, G., and Turini, F., Towards a Logic Query Language for Data Mining, in Database Support for Data Mining Applications, 2004, pp. 76-94.
F. Giannotti, Manco, G., Nanni, M., Pedreschi, D., and Turini, F., Integration of Deduction and Induction for Mining Supermarket Sales Data, in SEBD, 1999, pp. 117-131.
F. Giannotti and Manco, G., Querying Inductive Databases via Logic-Based User-Defined Aggregates, in PKDD, 1999, pp. 125-135.
F. Giannotti, Jeansoulin, R., and Theodoridis, Y., Beyond Current Technology: The Perspective of Three EC GIS Projects, in DEXA Workshop, 1999, p. 510.
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.
F. Giannotti and Manco, G., Querying inductive Databases via Logic-Based user-defined aggregates, in APPIA-GULP-PRODE, 1999, pp. 605-620.
F. Giannotti and Pedreschi, D., Declarative Semantics for Pruning Operators in Logic Programming, in LPNMR, 1990, pp. 27-37.
F. Giannotti, Manco, G., Pedreschi, D., and Turini, F., Experiences with a Logic-Based Knowledge Discovery Support Environment, in AI*IA, 1999, pp. 202-213.
F. Giannotti, Manco, G., Pedreschi, D., and Turini, F., Experiences with a Logic-based knowledge discovery Support Environment, in 1999 ACM SIGMOD Workshop on Research Issues in Data Mining and Knowledge Discovery, 1999.
F. Giannotti and Hermenegildo, M. V., A Technique for Recursive Invariance Detection and Selective Program Specification, in PLILP, 1991, pp. 323-334.
F. Giannotti and Manco, G., Making Knowledge Extraction and Reasoning Closer, in PAKDD, 2000, pp. 360-371.
F. Giannotti, Pedreschi, D., Saccà, D., and Zaniolo, C., Non-Determinism in Deductive Databases, in DOOD, 1991, pp. 129-146.
F. Giannotti, Mazzoni, A., Puntoni, S., and Renso, C., Synthetic generation of cellular network positioning data, in GIS, 2005, pp. 12-20.
F. Giannotti and Manco, G., Declarative Knowledge Extraction with Interactive User-Defined Aggregates, in FQAS, 2000, pp. 435-444.
F. Giannotti and Latella, D., Using Abstract Interpretation for Gate splitting in LOTOS Specifications, in WSA, 1992, pp. 194-204.
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.
F. Giannotti, Nanni, M., and Pedreschi, D., Logic-Based Knowledge Discovery in Databases, in EJC, 2000, pp. 279-283.
F. Giannotti, Nanni, M., and Pedreschi, D., Efficient Mining of Temporally Annotated Sequences, in SDM, 2006.
F. Giannotti, Pedreschi, D., and Zaniolo, C., Semantics and Expressive Power of Nondeterministic Constructs in Deductive Databases, J. Comput. Syst. Sci., vol. 62, pp. 15-42, 2001.
F. Giannotti, Nanni, M., Pedreschi, D., Pinelli, F., Renso, C., Rinzivillo, S., and Trasarti, R., Mobility data mining: discovering movement patterns from trajectory data, in Computational Transportation Science, 2010, pp. 7-10.

Pages