G. Venkatesh
发表
Charles N. Fischer,
G. A. Venkatesh,
G. Venkatesh,
1992,
IEEE Trans. Software Eng..
G. Venkatesh,
M. Ahmed,
1993,
Proceedings of TENCON '93. IEEE Region 10 International Conference on Computers, Communications and Automation.
G. A. Venkatesh,
G. Venkatesh,
1991,
PLDI '91.
G. Venkatesh,
S. Bapat,
G. Venkatesh,
1986,
23rd ACM/IEEE Design Automation Conference.
G. A. Venkatesh,
G. Venkatesh,
1995,
TOPL.
Manoranjan Satpathy,
Amitabha Sanyal,
G. Venkatesh,
1995,
ASIAN.
Manoranjan Satpathy,
Amitabha Sanyal,
G. Venkatesh,
1998,
J. Funct. Log. Program..
G. Venkatesh,
2004,
FSTTCS.
G. Venkatesh,
G. Venkatesh,
2011,
Proof, Computation and Agency.
G. Venkatesh,
Mohsin Ahmed,
G. Venkatesh,
1993,
TAPSOFT.
G. Venkatesh,
G. Venkatesh,
1985,
FSTTCS.