| |
| 2006 | ||
|---|---|---|
| 6 | EE | Vahur Kotkas: Preconditions for Structural Synthesis of Programs. Ershov Memorial Conference 2006: 284-296 |
| 2003 | ||
| 5 | Vahur Kotkas: Synthesis of Distributed Programs. SPLST 2003: 21-33 | |
| 2002 | ||
| 4 | EE | Vahur Kotkas: A distributed program synthesizer. Acta Cybern. 15(4): 567-581 (2002) |
| 2001 | ||
| 3 | EE | Mait Harf, Kristiina Kindel, Vahur Kotkas, Peep Küngas, Enn Tyugu: Automated Program Synthesis for Java Programming Language. Ershov Memorial Conference 2001: 157-164 |
| 2000 | ||
| 2 | Ahto Kalja, Vahur Kotkas, Tiit Tiidemann: CAD Problem Solving and Technical Systems Modelling Using the AI Programming Environments. EJC 2000: 284-290 | |
| 1 | EE | Vahur Kotkas, Peep Küngas, Mait Harf: The Cash-Point Service in NUT. Formal Asp. Comput. 12(4): 222-224 (2000) |
| 1 | Mait Harf | [1] [3] |
| 2 | Ahto Kalja | [2] |
| 3 | Kristiina Kindel | [3] |
| 4 | Peep Küngas | [1] [3] |
| 5 | Tiit Tiidemann | [2] |
| 6 | Enn Tyugu | [3] |