
Publications
.
1994. Proving termination of Prolog programs. GULP-PRODE (1). :46-61.
.
1998. Query Answering in Nondeterministic, Nonmonotonic Logic Databases. FQAS. :175-187.
.
2004. A Relational Query Primitive for Constraint-Based Pattern Mining. Constraint-Based Mining and Inductive Databases. :14-37.
.
2009. Social Network Analysis as Knowledge Discovery Process: A Case Study on Digital Bibliography. ASONAM. :279-283.
.
2009. Social Network Analysis as Knowledge Discovery Process: A Case Study on Digital Bibliography. ASONAM. :279-283.
.
2005. Synthetic generation of cellular network positioning data. GIS. :12-20.
.
2005. Synthetic generation of cellular network positioning data. GIS. :12-20.
.
2008. Temporal analysis of process logs: a case study. SEBD. :430-437.
.
2009. Temporal mining for interactive workflow data analysis. KDD. :109-118.
.
1991. Theory Construction in Computational Logic. ICLP Workshop on Construction of Logic Programs. :241-250.
.
2010. Towards Discovery of Eras in Social Networks. M3SN 2010 Workshop, in conjunction with ICDE2010.
.
2010. Towards discovery of eras in social networks. ICDE Workshops. :278-281.
.
2006. Towards low-perturbation anonymity preserving pattern discovery. SAC. :588-592.
.
2011. Traffic Jams Detection Using Flock Mining. ECML/PKDD (3). :650-653.
.
2009. Trajectory pattern analysis for urban traffic. Second International Workshop on Computational Transportation Science. :43-47.
.
2007. Trajectory pattern mining. KDD. :330-339.
.
1985. The Type System of Galileo. Data Types and Persistence (Appin), Informal Proceedings. :175-195.
.
1985. The Type System of Galileo. Data Types and Persistence (Appin). :101-119.
.
1990. Universal Quantification by Case Analysis. ECAI. :111-116.
.
1999. Using Data Mining Techniques in Fiscal Fraud Detection. DaWaK. :369-376.
.
2009. A Visual Analytics Toolkit for Cluster-Based Classification of Mobility Data. SSTD. :432-435.
.
2009. Visual Cluster Analysis of Large Collections of Trajectories. IEEE Visual Analytics Science and Tecnology (VAST 2009).
.
2003. WebCat: Automatic Categorization of Web Search Results. SEBD. :507-518.
.
2009. WhereNext: a location predictor on trajectory pattern mining. KDD. :637-646.

]