 | 2011 |
|---|
| 7 |       | Vahur Kotkas,
Andres Ojamaa,
Pavel Grigorenko,
Riina Maigre,
Mait Harf,
Enn Tyugu:
CoCoViLa as a multifunctional simulation platform.
SimuTools 2011: 198-205 |
| 2006 |
|---|
| 6 | | 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 | | Vahur Kotkas:
A distributed program synthesizer.
Acta Cybern. 15(4): 567-581 (2002) |
| 2001 |
|---|
| 3 | | 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 | | Vahur Kotkas,
Peep Küngas,
Mait Harf:
The Cash-Point Service in NUT.
Formal Asp. Comput. 12(4): 222-224 (2000) |
Data released under the ODC-BY 1.0 license — See also our legal information page