|
Search the dblp DataBase
Vahur Kotkas:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Ahto Kalja, Vahur Kotkas, Tiit Tiidemann
CAD Problem Solving and Technical Systems Modelling Using the AI Programming Environments. [Citation Graph (0, 0)][DBLP] EJC, 2000, pp:284-290 [Conf]
- Mait Harf, Kristiina Kindel, Vahur Kotkas, Peep Küngas, Enn Tyugu
Automated Program Synthesis for Java Programming Language. [Citation Graph (0, 0)][DBLP] Ershov Memorial Conference, 2001, pp:157-164 [Conf]
- Vahur Kotkas
Synthesis of Distributed Programs. [Citation Graph (0, 0)][DBLP] SPLST, 2003, pp:21-33 [Conf]
- Vahur Kotkas
A distributed program synthesizer. [Citation Graph (0, 0)][DBLP] Acta Cybern., 2002, v:15, n:4, pp:567-581 [Journal]
- Vahur Kotkas, Peep Küngas, Mait Harf
The Cash-Point Service in NUT. [Citation Graph (0, 0)][DBLP] Formal Asp. Comput., 2000, v:12, n:4, pp:222-224 [Journal]
- Vahur Kotkas
Preconditions for Structural Synthesis of Programs. [Citation Graph (0, 0)][DBLP] Ershov Memorial Conference, 2006, pp:284-296 [Conf]
Search in 0.001secs, Finished in 0.001secs
|