Publications
] , “Using Abstract Interpretation for Gate splitting in LOTOS Specifications”, in WSA, 1992, pp. 194-204.
, “Logic-Based Knowledge Discovery in Databases”, in EJC, 2000, pp. 279-283.
, “Semantics and Expressive Power of Nondeterministic Constructs in Deductive Databases”, J. Comput. Syst. Sci., vol. 62, pp. 15-42, 2001.
, “Gate Splitting in LOTOS Specifications Using Abstract Interpretation”, in TAPSOFT, 1993, pp. 437-452.
, “Nondeterministic, Nonmonotonic Logic Databases”, IEEE Trans. Knowl. Data Eng., vol. 13, pp. 813-823, 2001.
, “Complex Reasoning on Geographical Data”, in SEBD, 2001, pp. 331-338.
, “Gate Splitting in LOTOS Specifications Using Abstract Interpretation”, Sci. Comput. Program., vol. 23, pp. 127-149, 1994.
, “Clustering Transactional Data”, in SEBD, 2001, pp. 163-176.
, “Specifying Mining Algorithms with Iterative User-Defined Aggregates: A Case Study”, in PKDD, 2001, pp. 128-139.
, “Understanding human mobility with big data”, in Solving Large Scale Learning Tasks. Challenges and Algorithms, Springer International Publishing, 2016, pp. 208–220.
, “Clustering Transactional Data”, in PKDD, 2002, pp. 175-187.
, “Experimental Assessment of the Emergence of Awareness and Its Influence on Behavioral Changes: The Everyaware Lesson”, in Participatory Sensing, Opinions and Collective Awareness, Springer, 2017, pp. 337–362.
, “Unveiling Political Opinion Structures with a Web-experiment”, in Proceedings of the 1st International Conference on Complex Information Systems, 2016.
, “Data Mining and Constraints: An Overview”, in Data Mining and Constraint Programming, Springer International Publishing, 2016, pp. 25–48.
, “Survey on using constraints in data mining”, Data Mining and Knowledge Discovery, vol. 31, pp. 424–464, 2017.
, “Partition-Based Clustering Using Constraint Optimization”, in Data Mining and Constraint Programming - Foundations of a Cross-Disciplinary Approach, Springer International Publishing, 2016, pp. 282–299.
, “Clustering Formulation Using Constraint Optimization”, in Software Engineering and Formal Methods - {SEFM} 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015, Revised Selected Papers, 2015.
, “A Case Study in Sequential Pattern Mining for IT-Operational Risk”, in ECML/PKDD (1), 2008, pp. 424-439.
, “Towards the dynamic community discovery in decentralized online social networks”, Journal of Grid Computing, vol. 17, pp. 23–44, 2019.
, “Dynamic community analysis in decentralized online social networks”, in European Conference on Parallel Processing, 2017.
, “Factual and Counterfactual Explanations for Black Box Decision Making”, IEEE Intelligent Systems, 2019.
, “Retrieving Points of Interest from Human Systematic Movements”, in Software Engineering and Formal Methods, Springer International Publishing, 2014, pp. 294–308.
, “Market Basket Prediction using User-Centric Temporal Annotated Recurring Sequences”, in 2017 IEEE International Conference on Data Mining (ICDM), 2017.
, “Helping your docker images to spread based on explainable models”, in Joint European Conference on Machine Learning and Knowledge Discovery in Databases, 2018.