
Publications
.
2008. Characterising the Next Generation of Mobile Applications Through a Privacy-Aware Geographic Knowledge Discovery Process. Mobility, Data Mining and Privacy. :39-72.
.
1995. A Case Study in Logic Program Verification: the Vanilla Metainterpreter. GULP-PRODE. :643-654.
.
2008. A Case Study in Sequential Pattern Mining for IT-Operational Risk. ECML/PKDD (1). :424-439.
.
2004. Characterisations of Termination in Logic Programming. Program Development in Computational Logic. :376-431.
.
2002. Characterizing Web User Accesses: A Transactional Approach to Web Log Clustering. ITCC. :312.
.
2004. Classification in Geographical Information Systems. PKDD. :374-385.
.
1999. A Classification-Based Methodology for Planning Audit Strategies in Fraud Detection. KDD. :175-184.
.
2001. Clustering Transactional Data. SEBD. :163-176.
.
2002. Clustering Transactional Data. PKDD. :175-187.
.
2001. Complex Reasoning on Geographical Data. SEBD. :331-338.
.
2001. Complex Reasoning on Geographical Data. SEBD. :331-338.
.
2006. ConQueSt: a Constraint-based Querying System for Exploratory Pattern Discovery. ICDE. :159.
.
1998. The Constraint Operator of MedLan: Its Efficient Implementation and Use. IICIS. :41-55.
.
2011. C-safety: a framework for the anonymization of semantic trajectories. Transactions on Data Privacy. 4:73-101.
.
2001. Classes of Terminating Logic Programs. CoRR. cs.LO/0106
.
2002. Classes of terminating logic programs. TPLP. 2:369-418.
.
2011. A classification for community discovery methods in complex networks. Statistical Analysis and Data Mining. 4:512-546.
.
1996. A Closer Look at Declarative Interpretations. J. Log. Program.. 28:147-180.
.
1988. Complete Logic Programs with Domain-Closure Axiom. J. Log. Program.. 5:263-276.
.
2009. A constraint-based querying system for exploratory pattern discovery. Inf. Syst.. 34:3-27.
.
2009. A constraint-based querying system for exploratory pattern discovery. Inf. Syst.. 34:3-27.

]