
Publications
.
2007. Hiding Sensitive Trajectory Patterns. ICDM Workshops. :693-698.
.
2007. Hiding Sequences. SEBD. :233-241.
.
2007. Hiding Sequences. ICDE Workshops. :147-156.
.
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.
.
2004. IT4PS: information technology for problem solving. ITiCSE. :241.
.
1992. Analysis of Concurrent Transactions in a Functional Database Programming Language. WSA. :174-184.
.
1993. Data Sharing Analysis for a Database Programming Lanaguage via Abstract Interpretation. VLDB. :405-415.
.
1997. Static Analysis of Transactions for Conservative Multigranularity Locking. DBPL. :413-430.
.
1993. Static Analysis of Transactions: an Experiment of Abstract Interpretation Usage. FMLDO. :19-29.
.
1985. Symbolic Semantics and Program Reduction. IEEE Trans. Software Eng.. 11:784-794.
.
2011. From Movement Tracks through Events to Places: Extracting and Characterizing Significant Places from Mobility Data. IEEE Conference on Visual Analytics Science and Technology.
.
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.
.
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.
.
1997. Applying Restriction Constraints to Deductive Databases. Ann. Math. Artif. Intell.. 19:3-25.
.
1996. Towards Declarative GIS Analysis. ACM-GIS. :98-104.
.
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.
.
1997. Applying Restriction Constraint to Deductive Databases. Annals of Mathematics and Artificial Intelligence. :3–25.
.
1996. Language Extensions for Semantic Integration of Deductive Databases. Logic in Databases. :415-434.

]