G. Venkatesh - RankMe

17 papers A* 1Misc 1Journal 5Unranked 8

Year	Rank	Type	Title / 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