1. An Update on Deductive Synthesis and Repair in the Leon Tool;Electronic Proceedings in Theoretical Computer Science;2016-11-22
2. Algorithmic program synthesis: introduction;International Journal on Software Tools for Technology Transfer;2013-08-27
3. Reductions for Synthesis Procedures;Lecture Notes in Computer Science;2013
4. An introduction to inductive programming;Artificial Intelligence Review;2008-03
5. Efficient schema matching algorithm based on pre-checking;Systems and Computers in Japan;2007