We stand with Ukraine  

G. Venkatesh

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Bibliography

2014
Mobile-First Strategy for MSMEs in Emerging Markets.
[BibTeX]
[DOI]
G. Venkatesh
,
Varadharajan Sridhar
IT Prof., 2014

Message from steering committee.
[BibTeX]
[DOI]
Uday B. Desai
,
Giridhar D. Mandyam
,
Rajeev Shorey
,
G. Venkatesh
Proceedings of the Sixth International Conference on Communication Systems and Networks, 2014

2011
Temporal Logic with Preferences and Reasoning About Games.
[BibTeX]
[DOI]
G. Venkatesh
Proceedings of the Proof, Computation and Agency - Logic at the Crossroads., 2011

2010
CDPN: Communicating Dynamic Petri Net for Adaptive Multimedia Presentation.
[BibTeX]
[DOI]
A. P. Sarath Chandar
,
S. Arun Balaji
,
G. Venkatesh
,
Susan Elias
Proceedings of the Information and Communication Technologies - International Conference, 2010

2004
Reasoning About Game Equilibria Using Temporal Logic.
[BibTeX]
[DOI]
G. Venkatesh
Proceedings of the FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science, 2004

1998
Improved Register Usage for Functional Programs through Multiple Function Versions.
[BibTeX]
[DOI]
Manoranjan Satpathy
,
Amitabha Sanyal
,
G. Venkatesh
J. Funct. Log. Program., 1998

1997
Proof of Correctness of a Direct Construction of DFA from Regular Expression.
[BibTeX]
[DOI]
S. Ramesh Babu
,
Amitabha Sanyal
,
G. Venkatesh
Int. J. Comput. Math., 1997

1996
Dense Time Logic Programming.
[BibTeX]
[DOI]
Mohsin Ahmed
,
G. Venkatesh
J. Symb. Comput., 1996

Correcting Errors in the Curry System.
[BibTeX]
[DOI]
Milind Gandhe
,
G. Venkatesh
,
Amitabha Sanyal
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1996

1995
An Automaton-Driven Frame Disposal Algorithm and its Proof of Correctness.
[BibTeX]
[DOI]
Manoranjan Satpathy
,
Amitabha Sanyal
,
G. Venkatesh
Proceedings of the Algorithms, 1995

Labeled Lambda-Calculus and a Generalized Notion of Strictness (An Extended Abstract).
[BibTeX]
[DOI]
Milind Gandhe
,
G. Venkatesh
,
Amitabha Sanyal
Proceedings of the Algorithms, 1995

1993
A Propositional Dense Time Logic (Based on Nested Sequences).
[BibTeX]
[DOI]
Mohsin Ahmed
,
G. Venkatesh
Proceedings of the TAPSOFT'93: Theory and Practice of Software Development, 1993

1989
Improving Prolog Performance by Inductive Proof Generalizations.
[BibTeX]
[DOI]
Milind Gandhe
,
G. Venkatesh
Proceedings of the Knowledge Based Computer Systems, 1989

1986
Reasoning about digital systems using temporal logic.
[BibTeX]
[DOI]
S. Bapat
,
G. Venkatesh
Proceedings of the 23rd ACM/IEEE Design Automation Conference. Las Vegas, 1986

1985
A Decision Method for Temporal Logic Based on Resolution.
[BibTeX]
[DOI]
G. Venkatesh
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1985

1982
Window Random Access Protocols for Local Computer Networks.
[BibTeX]
[DOI]
Donald F. Towsley
,
G. Venkatesh
IEEE Trans. Computers, 1982


  Loading...