
Publications
.
1991. A Technique for Recursive Invariance Detection and Selective Program Specification. PLILP. :323-334.
.
2008. Temporal analysis of process logs: a case study. SEBD. :430-437.
.
2009. Temporal mining for interactive workflow data analysis. KDD. :109-118.
.
2000. Temporal Reasoning in Geographical Information Systems. DEXA Workshop. :899-905.
.
1991. Theory Construction in Computational Logic. ICLP Workshop on Construction of Logic Programs. :241-250.
.
2007. Time-Annotated Sequences for Medical Data Mining. ICDM Workshops. :133-138.
.
2006. Time-focused clustering of trajectories of moving objects. J. Intell. Inf. Syst.. 27:267-289.
.
2006. A Tool for Economic Plans analysis based on expert knowledge and data mining techniques. IADIS International Conference Applied Computing 2006 .
.
2004. Towards a Logic Query Language for Data Mining. Database Support for Data Mining Applications. :76-94.
.
2007. Towards Constraint-Based Subgraph Mining. SEBD. :274-281.
.
1996. Towards Declarative GIS Analysis. ACM-GIS. :98-104.
.
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.
.
2009. Towards Semantic Interpretation of Movement Behavior. AGILE Conf.. :271-288.
.
2009. Towards Semantic Interpretation of Movement Behavior. AGILE Conf.. :271-288.
.
1996. Towards {D}eclarative {GIS} {A}nalysis. :99–105.
.
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.
.
1990. A Transformational Approach to Negation in Logic Programming. J. Log. Program.. 8:201-228.
.
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.
.
1992. The Type System of LML. Types in Logic Programming. :313-332.
.
2008. Typing Linear Constraints for Moding CLP() Programs. SAS. :128-143.

]