| 2007 | ||
|---|---|---|
| 2 | EE | Yulia Korukhova: An approach to automatic deductive synthesis of functional programs. Ann. Math. Artif. Intell. 50(3-4): 255-271 (2007) |
| 2006 | ||
| 1 | EE | Yulia Korukhova: Automatic Deductive Synthesis of Lisp Programs in the System ALISA. JELIA 2006: 242-252 |