
Publications
.
2003. WebCat: Automatic Categorization of Web Search Results. SEBD. :507-518.
.
2001. Web log data warehousing and mining for intelligent web caching. Data Knowl. Eng.. 39:165-189.
.
2001. Web log data warehousing and mining for intelligent web caching. Data Knowl. Eng.. 39:165-189.
.
1998. Weakest Preconditions for Pure Prolog Programs. Inf. Process. Lett.. 67:145-150.
.
2008. Visually driven analysis of movement data by progressive clustering. Information Visualization. 7:225-239.
.
2009. Visual Cluster Analysis of Large Collections of Trajectories. IEEE Visual Analytics Science and Tecnology (VAST 2009).
.
2009. A Visual Analytics Toolkit for Cluster-Based Classification of Mobility Data. SSTD. :432-435.
.
1997. Verification of Meta-Interpreters. J. Log. Comput.. 7:267-303.
.
1999. Verification of Logic Programs. J. Log. Program.. 39:125-176.
.
1999. Using Data Mining Techniques in Fiscal Fraud Detection. DaWaK. :369-376.
.
2011. Unveiling the complexity of human mobility by querying and mining massive trajectory data. VLDB J.. 20:695-719.
.
1990. Universal Quantification by Case Analysis. ECAI. :111-116.
.
1992. The Type System of LML. Types in Logic Programming. :313-332.
.
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. A Transformational Approach to Negation in Logic Programming. J. Log. Program.. 8:201-228.
.
2007. Trajectory pattern mining. KDD. :330-339.
.
2009. Trajectory pattern analysis for urban traffic. Second International Workshop on Computational Transportation Science. :43-47.
.
2006. Towards low-perturbation anonymity preserving pattern discovery. SAC. :588-592.
.
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. Time-focused clustering of trajectories of moving objects. J. Intell. Inf. Syst.. 27:267-289.
.
1991. Theory Construction in Computational Logic. ICLP Workshop on Construction of Logic Programs. :241-250.
.
1985. Symbolic Semantics and Program Reduction. IEEE Trans. Software Eng.. 11:784-794.

]