1. Assessing the Refactoring of Brain Methods;ACM Transactions on Software Engineering and Methodology;2018-01-31
2. The formal semantics of program slicing for nonterminating computations;Journal of Software: Evolution and Process;2016-10-04
3. Safe Concurrency Introduction through Slicing;Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation;2015-01-13
4. Program Sliding;ECOOP 2012 – Object-Oriented Programming;2012
5. Identification of extract method refactoring opportunities for the decomposition of methods;Journal of Systems and Software;2011-10