Vijay K. Garg

	2011
113		Venkatesan T. Chakaravarthy, Anamitra R. Choudhury, Vijay K. Garg, Yogish Sabharwal: An Efficient Decentralized Algorithm for the Distributed Trigger Counting Problem. ICDCN 2011: 53-64
112		Bharath Balasubramanian, Vijay K. Garg: Fused Data Structures for Handling Multiple Faults in Distributed Systems. ICDCS 2011: 677-688
111		Vijay K. Garg, John Bridgman: The Weighted Byzantine Agreement Problem. IPDPS 2011: 524-531
110		Bharath Balasubramanian, Vijay K. Garg: Fused State Machines for Fault Tolerance in Distributed Systems. OPODIS 2011: 266-282
109		Vijay K. Garg, John Bridgman, Bharath Balasubramanian: Accurate Byzantine Agreement with Feedback. OPODIS 2011: 465-480
108		Vijay K. Garg, John Bridgman, Bharath Balasubramanian: Accurate byzantine agreement with feedback. PODC 2011: 215-216
	2010
107		Venkatesan T. Chakaravarthy, Anamitra R. Choudhury, Vijay K. Garg, Yogish Sabharwal: Brief Announcement: A Decentralized Algorithm for Distributed Trigger Counting. DISC 2010: 398-400
106		Vijay K. Garg: Implementing Fault-Tolerant Services Using State Machines: Beyond Replication. DISC 2010: 450-464
105		Anurag Agarwal, Vijay K. Garg, Vinit A. Ogale: Modeling and Analyzing Periodic Distributed Computations. SSS 2010: 191-205
104		Rahul Garg, Vijay K. Garg, Yogish Sabharwal: Efficient Algorithms for Global Snapshots in Large Distributed Systems. IEEE Trans. Parallel Distrib. Syst. 21(5): 620-630 (2010)
	2009
103		Vijay K. Garg, Roger Wattenhofer, Kishore Kothapalli: Distributed Computing and Networking, 10th International Conference, ICDCN 2009, Hyderabad, India, January 3-6, 2009. Proceedings Springer 2009
102		Ankur Narang, Vikas Agarwal, Monu Kedia, Vijay K. Garg: Highly scalable algorithm for distributed real-time text indexing. HiPC 2009: 332-341
101		Vinit A. Ogale, Bharath Balasubramanian, Vijay K. Garg: A fusion-based approach for tolerating faults in finite state machines. IPDPS 2009: 1-11
	2008
100		Sujatha Kashyap, Vijay K. Garg: Producing Short Counterexamples Using "Crucial Events". CAV 2008: 491-503
99		Vaibhav Saxena, Prashant Agrawal, Yogish Sabharwal, Vijay K. Garg, Vimitha A. Kuruvilla, John A. Gunnels: Optimization of BLAS on the Cell Processor. HiPC 2008: 18-29
98		Bharath Balasubramanian, Vinit A. Ogale, Vijay K. Garg: Fault Tolerance in Finite State Machines Using Fusion. ICDCN 2008: 124-134
97		Vijay K. Garg, Neeraj Mittal: Time and State in Asynchronous Distributed Systems. Wiley Encyclopedia of Computer Science and Engineering 2008
	2007
96		Vinit A. Ogale, Vijay K. Garg: Detecting Temporal Logic Predicates on Distributed Computations. DISC 2007: 420-434
95		Vijay K. Garg, Vinit A. Ogale: Fusible Data Structures for Fault-Tolerance. ICDCS 2007: 20
94		Anurag Agarwal, Vijay K. Garg: Efficient dependency tracking for relevant events in concurrent systems. Distributed Computing 19(3): 163-183 (2007)
93		Vijay K. Garg, Chakarat Skawratananond, Neeraj Mittal: Timestamping messages and events in a distributed system using synchronous communication. Distributed Computing 19(5-6): 387-402 (2007)
92		Alper Sen, Vijay K. Garg: Formal Verification of Simulation Traces Using Computation Slicing. IEEE Trans. Computers 56(4): 511-527 (2007)
91		Neeraj Mittal, Alper Sen, Vijay K. Garg: Solving Computation Slicing Using Predicate Detection. IEEE Trans. Parallel Distrib. Syst. 18(12): 1700-1713 (2007)
90		Ranganath Atreya, Neeraj Mittal, Ajay D. Kshemkalyani, Vijay K. Garg, Mukesh Singhal: Efficient detection of a locally stable predicate in a distributed system. J. Parallel Distrib. Comput. 67(4): 369-385 (2007)
	2006
89		Vinit A. Ogale, Vijay K. Garg: Brief Announcement: Many Slices Are Better Than One. DISC 2006: 548-550
88		Selma Ikiz, Vijay K. Garg: Efficient Incremental Optimal Chain Partition of Distributed Program Traces. ICDCS 2006: 18
87		Rahul Garg, Vijay K. Garg, Yogish Sabharwal: Scalable algorithms for global snapshots in distributed systems. ICS 2006: 269-277
86		R. K. Ghosh, Vijay K. Garg, M. Shangkar Meitei, Shree Raman, Abhijeet Kumar, Nishit Tewari: Dense cluster gateway based routing protocol for multi-hop mobile ad hoc networks. Ad Hoc Networks 4(2): 168-185 (2006)
85		Shailesh Patil, Vijay K. Garg: Adaptive general perfectly periodic scheduling. Inf. Process. Lett. 98(3): 107-114 (2006)
84		Vijay K. Garg: Algorithmic combinatorics based on slicing posets. Theor. Comput. Sci. 359(1-3): 200-213 (2006)
	2005
83		Sujatha Kashyap, Vijay K. Garg: Exploiting predicate structure for efficient reachability detection. ASE 2005: 4-13
82		Vijay K. Garg, Anurag Agarwal: Distributed Maintenance of a Spanning Tree Using Labeled Tree Encoding. Euro-Par 2005: 606-616
81		Selma Ikiz, Vinit A. Ogale, Vijay K. Garg: Coordinated Energy Conservation in Ad Hoc Networks. IASTED PDCS 2005: 749-754
80		Jae-Sik Lee, Tae-Gyu Chang, Vijay K. Garg: SNR Investigation of Beam Forming in IS-95 CDMA Base Station Receiver. ICW/ICHSN/ICMCS/SENET 2005: 45-48
79		Anurag Agarwal, Vijay K. Garg: Efficient dependency tracking for relevant events in shared-memory systems. PODC 2005: 19-28
78		Neeraj Mittal, Vijay K. Garg: Techniques and applications of computation slicing. Distributed Computing 17(3): 251-277 (2005)
77		Vijay K. Garg, Neeraj Mittal: A Critique of Java for Concurrent Programming. IEEE Distributed Systems Online 6(9): (2005)
76		Ratnesh Kumar, Vijay K. Garg: On computation of state avoidance control for infinite state systems in assignment program framework. IEEE T. Automation Science and Engineering 2(1): 87-91 (2005)
75		Sujatha Kashyap, Vijay K. Garg: Intractability results in predicate detection. Inf. Process. Lett. 94(6): 277-282 (2005)
	2004
74		Vijay K. Garg: Concurrent and distributed computing in Java. Wiley 2004: I-XX, 1-309
73		Neeraj Mittal, Alper Sen, Vijay K. Garg, Ranganath Atreya: Finding Satisfying Global States: All for One and One for All. IPDPS 2004
72		Alper Sen, Vijay K. Garg, Jacob A. Abraham, Jayanta Bhadra: Formal Verification of a System-on-Chip Using Computation Slicing. ITC 2004: 810-819
71		Vijay K. Garg, R. K. Ghosh: Effect of Data Encryption on Wireless Ad Hoc Network Performance. IWDC 2004: 258-263
70		Neeraj Mittal, Vijay K. Garg: Finding missing synchronization in a distributed computation using controlled re-execution. Distributed Computing 17(2): 107-130 (2004)
69		Ashis Tarafdar, Vijay K. Garg: Predicate control: synchronization in distributed computations with look-ahead. J. Parallel Distrib. Comput. 64(2): 219-237 (2004)
	2003
68		Alper Sen, Vijay K. Garg: On Checking Whether a Predicate Definitely Holds. FATES 2003: 15-29
67		Neeraj Mittal, Vijay K. Garg: Software Fault Tolerance of Distributed Programs Using Computation Slicing. ICDCS 2003: 105-
66		Alper Sen, Vijay K. Garg: Detecting Temporal Logic Predicates in Distributed Programs Using Computation Slicing. OPODIS 2003: 171-183
65		Ranganath Atreya, Neeraj Mittal, Vijay K. Garg: Detecting Locally Stable Predicates Without Modifying Application Messages. OPODIS 2003: 20-33
64		Neeraj Mittal, Vijay K. Garg: Techniques and Applications of Computation Slicing CoRR cs.DC/0303010: (2003)
63		Alper Sen, Vijay K. Garg: Partial Order Trace Analyzer (POTA) for Distributed Programs. Electr. Notes Theor. Comput. Sci. 89(2): 22-43 (2003)
62		Om P. Damani, Yi-Min Wang, Vijay K. Garg: Distributed recovery with K-optimistic logging. J. Parallel Distrib. Comput. 63(12): 1193-1218 (2003)
	2002
61		Vijay K. Garg: Elements of distributed computing. Wiley 2002: I-XX, 1-423
60		Vijay K. Garg: Algorithmic Combinatorics Based on Slicing Posets. FSTTCS 2002: 169-181
59		Vijay K. Garg, Chakarat Skawratananond: Timestamping Messages in Synchronous Computations. ICDCS 2002: 552-
58		Alper Sen, Vijay K. Garg: Detecting Temporal Logic Predicates on the Happened-Before Model. IPDPS 2002
57		Ji Wang, Ashfaq A. Khokhar, Vijay K. Garg: Video Communication with QoS Guarantees over HIPERLAN/2. ISMSE 2002: 312-319
	2001
56		Neeraj Mittal, Vijay K. Garg: Computation Slicing: Techniques and Theory. DISC 2001: 78-92
55		Neeraj Mittal, Vijay K. Garg: On Detecting Global Predicates in Distributed Computations. ICDCS 2001: 3-10
54		Vijay K. Garg, Neeraj Mittal: On Slicing a Distributed Computation. ICDCS 2001: 322-329
53		Vijay K. Garg, Chakarat Skawratananond: String realizers of posets with applications to distributed computing. PODC 2001: 72-80
	2000
52		Neeraj Mittal, Vijay K. Garg: Debugging distributed programs using controlled re-execution. PODC 2000: 239-248
	1999
51		Ashis Tarafdar, Vijay K. Garg: Software Fault Tolerance of Concurrent Programs Using Controlled Re-execution. DISC 1999: 210-224
50		Om P. Damani, Ashis Tarafdar, Vijay K. Garg: Optimistic Recovery in Multi-threaded Distributed Systems. SRDS 1999: 234-243
49		Vijay K. Garg, Michel Raynal: Normality: A Consistency Condition for Concurrent Objects. Parallel Processing Letters 9(1): 123-134 (1999)
	1998
48		Vijay K. Garg, J. Roger Mitchell: Implementable Failure Detectors in Asynchronous Systems. FSTTCS 1998: 158-169
47		Vijay K. Garg, J. Roger Mitchell: Distributed Predicate Detection in a Faulty Environment. ICDCS 1998: 416-423
46		Neeraj Mittal, Vijay K. Garg: Consistency Conditions for Multi-Object Distributed Operations. ICDCS 1998: 582-599
45		Ashis Tarafdar, Vijay K. Garg: Addressing False Causality while Detecting Predicates in Distributed Programs. ICDCS 1998: 94-101
44		Guillaume P. Brat, Vijay K. Garg: Analyzing Non-Deterministic Real-Time Systems with (max, +) Algebra. IEEE Real-Time Systems Symposium 1998: 210-219
43		Ashis Tarafdar, Vijay K. Garg: Predicate Control for Active Debugging of Distributed Programs. IPPS/SPDP 1998: 763-769
42		J. Roger Mitchell, Vijay K. Garg: A Non-Blocking Recovery Algorithm for Causal Message Logging. SRDS 1998: 3-9
41		Om P. Damani, Vijay K. Garg: Fault-Tolerant Distributed Simulation. Workshop on Parallel and Distributed Simulation 1998: 38-45
40		Craig M. Chase, Vijay K. Garg: Detection of Global Predicates: Techniques and Their Limitations. Distributed Computing 11(4): 191-201 (1998)
	1997
39		Vijay K. Garg: Observation and Control for Debugging Distributed Computations. AADEBUG 1997: 1-12
38		Venkatesh V. Murty, Vijay K. Garg: Characterization of Message Ordering Specifications and Protocols. ICDCS 1997: 0-
37		Yi-Min Wang, Om P. Damani, Vijay K. Garg: Distributed Recovery with K-Optimistic Logging. ICDCS 1997: 0-
36		J. Roger Mitchell, Vijay K. Garg: Optimistic agreement in distributed systems. PDPTA 1997: 885-889
35		Om P. Damani, Yi-Min Wang, Vijay K. Garg: Optimistic Distributed Simulation Based on Transitive Dependency Tracking. Workshop on Parallel and Distributed Simulation 1997: 90-97
34		Vijay K. Garg, Alexander I. Tomlinson: Using the Causal Domain to Specify and verify Distributed Programs. Acta Inf. 34(9): 667-686 (1997)
33		Vijay K. Garg, J. Roger Mitchell: Detecting Conjunctions of Global Predicates. Inf. Process. Lett. 63(6): 295-302 (1997)
32		Alexander I. Tomlinson, Vijay K. Garg: Monitoring Functions on Global States of Distributed Programs. J. Parallel Distrib. Comput. 41(2): 173-189 (1997)
31		Vijay K. Garg, Craig M. Chase, Richard B. Kilgore, J. Roger Mitchell: Efficient Detection of Channel Predicates in Distributed Systems. J. Parallel Distrib. Comput. 45(2): 134-147 (1997)
	1996
30		Vijay K. Garg: Principles of distributed systems. Kluwer 1996: I-XVII, 1-254
29		Om P. Damani, Vijay K. Garg: How to Recover Efficiently and Asynchronously when Optimism Fails. ICDCS 1996: 108-115
28		Venkatesh V. Murty, Vijay K. Garg: Characterization of Message Ordering Specifications and Protocols (Abstract). PODC 1996: 88
27		Vijay K. Garg: Observation of Global Properties in Distributed Systems. SEKE 1996: 418-425
26		Vijay K. Garg, Brian Waldecker: Detection of Strong Unstable Predicates in Distributed Programs. IEEE Trans. Parallel Distrib. Syst. 7(12): 1323-1333 (1996)
	1995
25		J. Roger Mitchell, Vijay K. Garg: Deriving distributed algorithms from a general predicate detector. COMPSAC 1995: 268-277
24		Alexander I. Tomlinson, Vijay K. Garg: Observation of Software for Distributed Systems with RCL. FSTTCS 1995: 195-209
23		Vijay K. Garg, Craig M. Chase, J. Roger Mitchell, Richard B. Kilgore: Detecting conjunctive channel predicates in a distributed programming environment. HICSS (2) 1995: 232-241
22		Darren D. Cofer, Vijay K. Garg: On Controlling Timed Discrete Event Systems. Hybrid Systems 1995: 340-349
21		Vijay K. Garg, Craig M. Chase: Distributed Algorithms for Detecting Conjunctive Predicates. ICDCS 1995: 423-430
20		Craig M. Chase, Vijay K. Garg: Efficient Detection of Restricted Classes of Global Predicates. WDAG 1995: 303-317
19		Ratnesh Kumar, Vijay K. Garg: Extremal Solutions of Inequations over Lattices with Applications to Supervisory Control. Theor. Comput. Sci. 148(1): 67-92 (1995)
	1994
18		Eddy Fromentin, Michel Raynal, Vijay K. Garg, Alexander I. Tomlinson: On the Fly Testing of Regular Patterns in Distributed Computations. ICPP 1994: 73-76
17		Vijay K. Garg, Brian Waldecker: Detection of Weak Unstable Predicates in Distributed Programs. IEEE Trans. Parallel Distrib. Syst. 5(3): 299-307 (1994)
16		Vijay K. Garg, Joydeep Ghosh: Repeated Computation of Global Functions in a Distributed Environment. IEEE Trans. Parallel Distrib. Syst. 5(8): 823-834 (1994)
	1993
15		Vijay K. Garg, Alexander I. Tomlinson: Using Induction to Prove Properties of Distributed Programs. SPDP 1993: 478-485
14		Alexander I. Tomlinson, Vijay K. Garg: Detecting Relational Global Predicates in Distributed Systems. Workshop on Parallel and Distributed Debugging 1993: 21-31
	1992
13		Vijay K. Garg, Brian Waldecker: Detection of Unstable Predicates in Distributed Programs. FSTTCS 1992: 253-264
12		Vijay K. Garg: Some Optimal Algorithms for Decomposed Partially Ordered Sets. Inf. Process. Lett. 44(1): 39-43 (1992)
11		Vijay K. Garg, M. T. Ragunath: Concurrent Regular Expressions and Their Relationship to Petri Nets. Theor. Comput. Sci. 96(2): 285-304 (1992)
	1991
10		Brian Waldecker, Vijay K. Garg: Detection of strong predicates in distributed programs. SPDP 1991: 692-699
9		Vijay K. Garg, C. V. Ramamoorthy: ConC: A Language for Concurrent Programming. Comput. Lang. 16(1): 5-18 (1991)
	1990
8		Vijay K. Garg, Joydeep Ghosh: Symmetry in Spite of Hierarchy. ICDCS 1990: 4-11
	1989
7		Vijay K. Garg: Modeling of Distributed Systems by Concurrent Regular Expressions. FORTE 1989: 313-327
	1988
6		Vijay K. Garg, C. V. Ramamoorthy: High level communication primitives for concurrent systems. ICCL 1988: 92-99
5		Vijay K. Garg: Analysis of Distributed Systems With Many Identical Processes. ICDCS 1988: 358-365
4		C. V. Ramamoorthy, Vijay K. Garg, Atul Prakash: Support for Reusability in Genesis. IEEE Trans. Software Eng. 14(8): 1145-1154 (1988)
	1987
3		C. V. Ramamoorthy, Atul Prakash, Vijay K. Garg, Tsuneo Yamaura, Anupam Bhide: Issues in the Development of Large, Distributed, and Reliable Software. Advances in Computers 26: 393-443 (1987)
2		C. V. Ramamoorthy, Shashi Shekhar, Vijay K. Garg: Software Development Support for AI Programs. IEEE Computer 20(1): 30-40 (1987)
	1986
1		C. V. Ramamoorthy, Vijay K. Garg, Atul Prakash: Programming in the Large. IEEE Trans. Software Eng. 12(7): 769-783 (1986)

Coauthor Index

1	Jacob A. Abraham	[72]
2	Anurag Agarwal	[79] [82] [94] [105]
3	Vikas Agarwal	[102]
4	Prashant Agrawal	[99]
5	Ranganath Atreya	[65] [73] [90]
6	Bharath Balasubramanian	[98] [101] [108] [109] [110] [112]
7	Jayanta Bhadra (Jay Bhadra)	[72]
8	Anupam Bhide	[3]
9	Guillaume P. Brat	[44]
10	John Bridgman	[108] [109] [111]
11	Venkatesan T. Chakaravarthy	[107] [113]
12	Tae-Gyu Chang	[80]
13	Craig M. Chase	[20] [21] [23] [31] [40]
14	Anamitra R. Choudhury	[107] [113]
15	Darren D. Cofer	[22]
16	Om P. Damani	[29] [35] [37] [41] [50] [62]
17	Eddy Fromentin	[18]
18	Rahul Garg	[87] [104]
19	Joydeep Ghosh	[8] [16]
20	R. K. Ghosh	[71] [86]
21	John A. Gunnels	[99]
22	Selma Ikiz	[81] [88]
23	Sujatha Kashyap	[75] [83] [100]
24	Monu Kedia	[102]
25	Ashfaq A. Khokhar	[57]
26	Richard B. Kilgore	[23] [31]
27	Kishore Kothapalli	[103]
28	Ajay D. Kshemkalyani	[90]
29	Abhijeet Kumar	[86]
30	Ratnesh Kumar	[19] [76]
31	Vimitha A. Kuruvilla	[99]
32	Jae-Sik Lee	[80]
33	M. Shangkar Meitei	[86]
34	J. Roger Mitchell	[23] [25] [31] [33] [36] [42] [47] [48]
35	Neeraj Mittal	[46] [52] [54] [55] [56] [64] [65] [67] [70] [73] [77] [78] [90] [91] [93] [97]
36	Venkatesh V. Murty	[28] [38]
37	Ankur Narang	[102]
38	Vinit A. Ogale	[81] [89] [95] [96] [98] [101] [105]
39	Shailesh Patil	[85]
40	Atul Prakash	[1] [3] [4]
41	M. T. Ragunath	[11]
42	C. V. Ramamoorthy (Chittoor V. Ramamoorthy)	[1] [2] [3] [4] [6] [9]
43	Shree Raman	[86]
44	Michel Raynal	[18] [49]
45	Yogish Sabharwal	[87] [99] [104] [107] [113]
46	Vaibhav Saxena	[99]
47	Alper Sen	[58] [63] [66] [68] [72] [73] [91] [92]
48	Shashi Shekhar	[2]
49	Mukesh Singhal	[90]
50	Chakarat Skawratananond	[53] [59] [93]
51	Ashis Tarafdar	[43] [45] [50] [51] [69]
52	Nishit Tewari	[86]
53	Alexander I. Tomlinson	[14] [15] [18] [24] [32] [34]
54	Brian Waldecker	[10] [13] [17] [26]
55	Ji Wang	[57]
56	Yi-Min Wang	[35] [37] [62]
57	Roger Wattenhofer	[103]
58	Tsuneo Yamaura	[3]

Colors in the list of coauthors

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page