V. Vene
发表
H. Seidl,
M. Müller-Olm,
V. Vene,
2003,
Proceedings of the Estonian Academy of Sciences. Physics. Mathematics.
Varmo Vene,
Vesal Vojdani,
V. Vene,
2009
.
Neil Ghani,
V. Vene,
T. Uustalu,
2006
.
V. Vene,
Jevgeni Kabanov,
2005
.
Venanzio Capretta,
Tarmo Uustalu,
Varmo Vene,
2004,
CMCS.
Varmo Vene,
Kalmer Apinis,
Vesal Vojdani,
2018,
J. Log. Algebraic Methods Program..
Varmo Vene,
Jevgeni Kabanov,
Andrey Breslav,
2010,
APLAS.
Tarmo Uustalu,
Varmo Vene,
Alberto Pardo,
2001,
Nord. J. Comput..
Varmo Vene,
Kalmer Apinis,
Helmut Seidl,
2016,
2016 31st IEEE/ACM International Conference on Automated Software Engineering (ASE).
Varmo Vene,
Helmut Seidl,
Vesal Vojdani,
2009,
FM.
Varmo Vene,
Jevgeni Kabanov,
V. Vene,
2014,
Softw. Pract. Exp..
Tarmo Uustalu,
Varmo Vene,
V. Vene,
2008,
CMCS.
Tarmo Uustalu,
Varmo Vene,
V. Vene,
2005,
APLAS.
Varmo Vene,
Peeter Laud,
V. Vene,
2005,
FCT.
Tarmo Uustalu,
Varmo Vene,
Neil Ghani,
2004,
APLAS.
Tarmo Uustalu,
Varmo Vene,
V. Vene,
1999,
Nord. J. Comput..