G. Venkatesh

17 papers A* 1Misc 1Journal 5Unranked 8
YearRankTypeTitle / Venue / Authors
2014 Misc conf
Message from steering committee.
COMSNETS
Uday B. Desai, Giridhar D. Mandyam, Rajeev Shorey, G. Venkatesh
2014 J jnl
Mobile-First Strategy for MSMEs in Emerging Markets.
IT Prof.
G. Venkatesh, Varadharajan Sridhar
2011 — ch.
Temporal Logic with Preferences and Reasoning About Games.
Proof, Computation and Agency
G. Venkatesh
2010 — conf
CDPN: Communicating Dynamic Petri Net for Adaptive Multimedia Presentation.
ICT
A. P. Sarath Chandar, S. Arun Balaji, G. Venkatesh, Susan Elias
2007 — ed.
Proceedings of the Second International Conference on COMmunication System softWAre and MiddlewaRE (COMSWARE 2007), January 7-12, 2007, Bangalore, India
COMSWARE
Sanjoy Paul, Henning Schulzrinne, G. Venkatesh
2004 — conf
Reasoning About Game Equilibria Using Temporal Logic.
FSTTCS
G. Venkatesh
1998 J jnl
Improved Register Usage for Functional Programs through Multiple Function Versions.
J. Funct. Log. Program.
Manoranjan Satpathy, Amitabha Sanyal, G. Venkatesh
1997 J jnl
Proof of Correctness of a Direct Construction of DFA from Regular Expression.
Int. J. Comput. Math.
S. Ramesh Babu, Amitabha Sanyal, G. Venkatesh
1996 — conf
Correcting Errors in the Curry System.
FSTTCS
Milind Gandhe, G. Venkatesh, Amitabha Sanyal
1996 J jnl
Dense Time Logic Programming.
J. Symb. Comput.
Mohsin Ahmed, G. Venkatesh
1995 — conf
An Automaton-Driven Frame Disposal Algorithm and its Proof of Correctness.
ASIAN
Manoranjan Satpathy, Amitabha Sanyal, G. Venkatesh
1995 — conf
Labeled Lambda-Calculus and a Generalized Notion of Strictness (An Extended Abstract).
ASIAN
Milind Gandhe, G. Venkatesh, Amitabha Sanyal
1993 — conf
A Propositional Dense Time Logic (Based on Nested Sequences).
TAPSOFT
Mohsin Ahmed, G. Venkatesh
1989 — conf
Improving Prolog Performance by Inductive Proof Generalizations.
KBCS
Milind Gandhe, G. Venkatesh
1986 A* conf
Reasoning about digital systems using temporal logic.
DAC
S. Bapat, G. Venkatesh
1985 — conf
A Decision Method for Temporal Logic Based on Resolution.
FSTTCS
G. Venkatesh
1982 J jnl
Window Random Access Protocols for Local Computer Networks.
IEEE Trans. Computers
Donald F. Towsley, G. Venkatesh