Vahur Kotkas

	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)

Coauthor Index

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]