default search action

combined dblp search
author search
venue search
publication search

ask others

G. Venkatesh

> Home > Persons

This is just a disambiguation page, and is not intended to be the bibliography of an actual person. The links to all actual bibliographies of persons of the same or a similar name can be found below. Any publication listed on this page has not been assigned to an actual author yet. If you know the true author of one of the publications listed below, you are welcome to contact us.

Person information

Other persons with the same name

see FAQ

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2014
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/itpro/VenkateshS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/itpro/VenkateshS14
G. Venkatesh, Varadharajan Sridhar:
Mobile-First Strategy for MSMEs in Emerging Markets. IT Prof. 16(1): 58-61 (2014)
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/comsnets/DesaiMSV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/comsnets/DesaiMSV14
Uday B. Desai, Giridhar D. Mandyam, Rajeev Shorey, G. Venkatesh:
Message from steering committee. COMSNETS 2014: 1-2
2011
[p1]
- view
  authority control:
- export record
  dblp key:
  - books/daglib/p/Venkatesh11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/p/Venkatesh11
G. Venkatesh:
Temporal Logic with Preferences and Reasoning About Games. Proof, Computation and Agency 2011: 241-258
2010
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/ict/ChandarBVE10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ict/ChandarBVE10
A. P. Sarath Chandar, S. Arun Balaji, G. Venkatesh, Susan Elias:
CDPN: Communicating Dynamic Petri Net for Adaptive Multimedia Presentation. ICT 2010: 165-170

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2007
[e1]
- view
- export record
  dblp key:
  - conf/comsware/2007
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/comsware/2007
Sanjoy Paul, Henning Schulzrinne, G. Venkatesh:
Proceedings of the Second International Conference on COMmunication System softWAre and MiddlewaRE (COMSWARE 2007), January 7-12, 2007, Bangalore, India. IEEE 2007, ISBN 1-4244-0614-5 [contents]
2004
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/fsttcs/Venkatesh04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/Venkatesh04
G. Venkatesh:
Reasoning About Game Equilibria Using Temporal Logic. FSTTCS 2004: 506-517

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1998
[j4]
- view
  - electronic edition @ uni-muenster.de
  - details & citations
- export record
  dblp key:
  - journals/jflp/SatpathySV98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jflp/SatpathySV98
Manoranjan Satpathy, Amitabha Sanyal, G. Venkatesh:
Improved Register Usage for Functional Programs through Multiple Function Versions. J. Funct. Log. Program. 1998(7) (1998)
1997
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/ijcm/BabuSV97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijcm/BabuSV97
S. Ramesh Babu, Amitabha Sanyal, G. Venkatesh:
Proof of Correctness of a Direct Construction of DFA from Regular Expression. Int. J. Comput. Math. 64(3-4): 191-210 (1997)
1996
[j2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jsc/AhmedV96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/AhmedV96
Mohsin Ahmed, G. Venkatesh:
Dense Time Logic Programming. J. Symb. Comput. 22(5/6): 585-613 (1996)
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/fsttcs/GandheVS96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/GandheVS96
Milind Gandhe, G. Venkatesh, Amitabha Sanyal:
Correcting Errors in the Curry System. FSTTCS 1996: 347-358
1995
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/asian/SatpathySV95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asian/SatpathySV95
Manoranjan Satpathy, Amitabha Sanyal, G. Venkatesh:
An Automaton-Driven Frame Disposal Algorithm and its Proof of Correctness. ASIAN 1995: 88-102
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/asian/GandheVS95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asian/GandheVS95
Milind Gandhe, G. Venkatesh, Amitabha Sanyal:
Labeled Lambda-Calculus and a Generalized Notion of Strictness (An Extended Abstract). ASIAN 1995: 103-110
1993
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/tapsoft/AhmedV93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tapsoft/AhmedV93
Mohsin Ahmed, G. Venkatesh:
A Propositional Dense Time Logic (Based on Nested Sequences). TAPSOFT 1993: 584-598

1980 – 1989

see FAQ

What is the meaning of the colors in the publication lists?

1989
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/kbcs/GandheV89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbcs/GandheV89
Milind Gandhe, G. Venkatesh:
Improving Prolog Performance by Inductive Proof Generalizations. KBCS 1989: 243-253
1986
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/BapatV86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/BapatV86
S. Bapat, G. Venkatesh:
Reasoning about digital systems using temporal logic. DAC 1986: 215-219
1985
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/fsttcs/Venkatesh85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/Venkatesh85
G. Venkatesh:
A Decision Method for Temporal Logic Based on Resolution. FSTTCS 1985: 272-289
1982
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/tc/TowsleyV82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tc/TowsleyV82
Donald F. Towsley, G. Venkatesh:
Window Random Access Protocols for Local Computer Networks. IEEE Trans. Computers 31(8): 715-722 (1982)

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.