Portability by automatic translation: a large-scale case study

SLFD Logic: Elimination of Data Redundancy in Knowledge Representation

IBERAMIA 2002 Proceedings of the 8th Ibero-American Conference on AI: Advances in Artificial Intelligence

Automatic high-quality reengineering of database programs by abstraction, transformation and reimplementation

ACM Transactions on Software Engineering and Methodology (TOSEM)

Improving slice accuracy by compression of data and control flow paths

Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering

Detecting refactored clones

ECOOP'13 Proceedings of the 27th European conference on Object-Oriented Programming