
Publications
.
2005. Anonymity and data mining. Comput. Syst. Sci. Eng.. 20
.
2008. Anonymity preserving pattern discovery. VLDB J.. 17:703-727.
.
2007. Privacy-Aware Knowledge Discovery from Location Data. MDM. :283-287.
.
2005. Blocking Anonymity Threats Raised by Frequent Itemset Mining. ICDM. :561-564.
.
2006. Towards low-perturbation anonymity preserving pattern discovery. SAC. :588-592.
.
1998. The Constraint Operator of MedLan: Its Efficient Implementation and Use. IICIS. :41-55.
.
1996. Language Extensions for Semantic Integration of Deductive Databases. Logic in Databases. :415-434.
.
1997. Applying Restriction Constraint to Deductive Databases. Annals of Mathematics and Artificial Intelligence. :3–25.
.
1995. An Operator for Composing Deductive Databases with Theories of Constraints. LPNMR. :57-70.
.
2000. Using MedLan to Integrate Geographical Data. J. Log. Program.. 43:3-14.
.
1996. Towards Declarative GIS Analysis. ACM-GIS. :98-104.
.
1997. Applying Restriction Constraints to Deductive Databases. Ann. Math. Artif. Intell.. 19:3-25.
.
1996. A Closer Look at Declarative Interpretations. J. Log. Program.. 28:147-180.
.
1991. Proving Termination of General Prolog Programs. TACS. :265-289.
.
1993. Reasoning about Termination of Pure Prolog Programs. Inf. Comput.. 106:109-157.
.
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).
.
2010. A Generalisation-based Approach to Anonymising Movement Data. 13th AGILE conference on Geographic Information Science.
.
2011. From Movement Tracks through Events to Places: Extracting and Characterizing Significant Places from Mobility Data. IEEE Conference on Visual Analytics Science and Technology.
.
1985. Symbolic Semantics and Program Reduction. IEEE Trans. Software Eng.. 11:784-794.
.
1993. Static Analysis of Transactions: an Experiment of Abstract Interpretation Usage. FMLDO. :19-29.
.
1992. Analysis of Concurrent Transactions in a Functional Database Programming Language. WSA. :174-184.
.
1997. Static Analysis of Transactions for Conservative Multigranularity Locking. DBPL. :413-430.
.
1993. Data Sharing Analysis for a Database Programming Lanaguage via Abstract Interpretation. VLDB. :405-415.

]