Vijay K. Garg Home Page Coauthor index pubzone.org

Facets and more with CompleteSearch

University of Texas at Austin, USA

Listing of the DBLP Bibliography Server - FAQ
Other views (modern): by type - by year
Other mirrors: Trier I - Trier II


Ask others: ACM DL/Guide - CiteSeerx - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2017
j43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPascal Felber, Vijay K. Garg: Preface. Inf. Comput. 254: 329 (2017)
2016
c93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYen-Jung Chang, Vijay K. Garg: Predicate Detection for Parallel Computations with Locking Constraints. OPODIS 2016: 17:1-17:17
2015
j42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHammurabi Mendes, Maurice Herlihy, Nitin H. Vaidya, Vijay K. Garg: Multidimensional agreement in Byzantine systems. Distributed Computing 28(6): 423-441 (2015)
c92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHimanshu Chauhan, Vijay K. Garg: Necessary and Sufficient Conditions on Partial Orders for Modeling Concurrent Computations. ICDCN 2015: 34:1-34:10
c91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYen-Jung Chang, Vijay K. Garg: QuickLex: A Fast Algorithm for Consistent Global States Enumeration of Distributed Computations. OPODIS 2015: 25:1-25:17
c90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei-Lun Hung, Himanshu Chauhan, Vijay K. Garg: ActiveMonitor: Asynchronous Monitor Framework for Scalability and Multi-Object Synchronization. OPODIS 2015: 29:1-29:17
c89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYen-Jung Chang, Vijay K. Garg: A parallel algorithm for global states enumeration in concurrent systems. PPOPP 2015: 140-149
2014
j41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBharath Balasubramanian, Vijay K. Garg: Fault tolerance in distributed systems using fused state machines. Distributed Computing 27(4): 287-311 (2014)
j40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVijay K. Garg, Anurag Agarwal, Vinit A. Ogale: Modeling, analyzing and slicing periodic distributed computations. Inf. Comput. 234: 26-43 (2014)
c88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAravind Natarajan, Neeraj Mittal, Vijay K. Garg: Online Algorithms to Generate Slices for Regular Temporal Logic Predicates. ICDCN 2014: 165-180
c87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei-Lun Hung, Himanshu Chauhan, Vijay K. Garg: Non-blocking Monitor Executions for Increased Parallelism. DISC 2014: 553-554
e2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPascal Felber, Vijay K. Garg: Stabilization, Safety, and Security of Distributed Systems - 16th International Symposium, SSS 2014, Paderborn, Germany, September 28 - October 1, 2014. Proceedings .Lecture Notes in Computer Science 8756, Springer 2014, ISBN 978-3-319-11763-8
i7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei-Lun Hung, Himanshu Chauhan, Vijay K. Garg: ActiveMonitor: Non-blocking Monitor Executions for Increased Parallelism. CoRR abs/1408.0818 (2014)
i6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHimanshu Chauhan, Vijay K. Garg: Necessary and Sufficient Conditions on Partial Orders for Modeling Concurrent Computations. CoRR abs/1410.1209 (2014)
2013
j39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBharath Balasubramanian, Vijay K. Garg: Fault Tolerance in Distributed Systems Using Fused Data Structures. IEEE Trans. Parallel Distrib. Syst. 24(4): 701-715 (2013)
c86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHimanshu Chauhan, Vijay K. Garg: Democratic Elections in Faulty Distributed Systems. ICDCN 2013: 176-191
c85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVijay K. Garg: Maximal Antichain Lattice Algorithms for Distributed Computations. ICDCN 2013: 240-254
c84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei-Lun Hung, Vijay K. Garg: AutoSynch: an automatic-signal monitor based on predicate tagging. PLDI 2013: 253-262
c83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNitin H. Vaidya, Vijay K. Garg: Byzantine vector consensus in complete graphs. PODC 2013: 65-73
c82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHimanshu Chauhan, Vijay K. Garg, Aravind Natarajan, Neeraj Mittal: A Distributed Abstraction Algorithm for Online Predicate Detection. SRDS 2013: 101-110
i5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNitin H. Vaidya, Vijay K. Garg: Byzantine Vector Consensus in Complete Graphs .CoRR abs/1302.2543 (2013)
i4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei-Lun Hung, Vijay K. Garg: AutoSynch: An Automatic-Signal Monitor Based on Predicate Tagging .CoRR abs/1303.0276 (2013)
i3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBharath Balasubramanian, Vijay K. Garg: Fault Tolerance in Distributed Systems using Fused State Machines .CoRR abs/1303.5891 (2013)
i2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHimanshu Chauhan, Vijay K. Garg, Aravind Natarajan, Neeraj Mittal: Distributed Abstraction Algorithm for Online Predicate Detection .CoRR abs/1304.4326 (2013)
2012
j38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVenkatesan T. Chakaravarthy, Anamitra R. Choudhury, Vijay K. Garg, Yogish Sabharwal: Efficient Decentralized Algorithms for the Distributed Trigger Counting Problem. Theory Comput. Syst. 51(4): 447-473 (2012)
c81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVijay K. Garg: Lattice Completion Algorithms for Distributed Computations. OPODIS 2012: 166-180
c80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Bridgman, Vijay K. Garg: Brief announcement: all-to-all gradecast using coding with byzantine failures. PODC 2012: 95-96
c79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Bridgman, Vijay K. Garg: All-to-All Gradecast Using Coding with Byzantine Failures. SSS 2012: 285-298
2011
c78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVenkatesan T. Chakaravarthy, Anamitra R. Choudhury, Vijay K. Garg, Yogish Sabharwal: An Efficient Decentralized Algorithm for the Distributed Trigger Counting Problem. ICDCN 2011: 53-64
c77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBharath Balasubramanian, Vijay K. Garg: Fused Data Structures for Handling Multiple Faults in Distributed Systems. ICDCS 2011: 677-688
c76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVijay K. Garg, John Bridgman: The Weighted Byzantine Agreement Problem. IPDPS 2011: 524-531
c75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBharath Balasubramanian, Vijay K. Garg: Fused State Machines for Fault Tolerance in Distributed Systems. OPODIS 2011: 266-282
c74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVijay K. Garg, John Bridgman, Bharath Balasubramanian: Accurate Byzantine Agreement with Feedback. OPODIS 2011: 465-480
c73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVijay K. Garg, John Bridgman, Bharath Balasubramanian: Accurate byzantine agreement with feedback. PODC 2011: 215-216
2010
j37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRahul 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)
c72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnurag Agarwal, Vijay K. Garg, Vinit A. Ogale: Modeling and Analyzing Periodic Distributed Computations. SSS 2010: 191-205
c71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVenkatesan T. Chakaravarthy, Anamitra R. Choudhury, Vijay K. Garg, Yogish Sabharwal: Brief Announcement: A Decentralized Algorithm for Distributed Trigger Counting. DISC 2010: 398-400
c70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVijay K. Garg: Implementing Fault-Tolerant Services Using State Machines: Beyond Replication. DISC 2010: 450-464
2009
c69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnkur Narang, Vikas Agarwal, Monu Kedia, Vijay K. Garg: Highly scalable algorithm for distributed real-time text indexing. HiPC 2009: 332-341
c68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVinit A. Ogale, Bharath Balasubramanian, Vijay K. Garg: A fusion-based approach for tolerating faults in finite state machines. IPDPS 2009: 1-11
e1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVijay K. Garg, Roger Wattenhofer, Kishore Kothapalli: Distributed Computing and Networking, 10th International Conference, ICDCN 2009, Hyderabad, India, January 3-6, 2009. Proceedings .Lecture Notes in Computer Science 5408, Springer 2009, ISBN 978-3-540-92294-0
2008
j36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYali Xiong, Xu Cheng, Zheng John Shen, Chunting Mi, Hongjie Wu, Vijay K. Garg: Prognostic and Warning System for Power-Electronic Modules in Electric, Hybrid Electric, and Fuel-Cell Vehicles. IEEE Trans. Industrial Electronics 55(6): 2268-2276 (2008)
c67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSujatha Kashyap, Vijay K. Garg: Producing Short Counterexamples Using "Crucial Events". CAV 2008: 491-503
c66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVaibhav 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
c65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBharath Balasubramanian, Vinit A. Ogale, Vijay K. Garg: Fault Tolerance in Finite State Machines Using Fusion. ICDCN 2008: 124-134
p1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVijay K. Garg, Neeraj Mittal: Time and State in Asynchronous Distributed Systems. Wiley Encyclopedia of Computer Science and Engineering 2008
2007
j35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnurag Agarwal, Vijay K. Garg: Efficient dependency tracking for relevant events in concurrent systems. Distributed Computing 19(3): 163-183 (2007)
j34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVijay 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)
j33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRanganath 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)
j32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlper Sen, Vijay K. Garg: Formal Verification of Simulation Traces Using Computation Slicing. IEEE Trans. Computers 56(4): 511-527 (2007)
j31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNeeraj Mittal, Alper Sen, Vijay K. Garg: Solving Computation Slicing Using Predicate Detection. IEEE Trans. Parallel Distrib. Syst. 18(12): 1700-1713 (2007)
c64no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVijay K. Garg, Vinit A. Ogale: Fusible Data Structures for Fault-Tolerance. ICDCS 2007: 20
c63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVinit A. Ogale, Vijay K. Garg: Detecting Temporal Logic Predicates on Distributed Computations. DISC 2007: 420-434
2006
j30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLR. 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)
j29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShailesh Patil, Vijay K. Garg: Adaptive general perfectly periodic scheduling. Inf. Process. Lett. 98(3): 107-114 (2006)
j28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVijay K. Garg: Algorithmic combinatorics based on slicing posets. Theor. Comput. Sci. 359(1-3): 200-213 (2006)
c62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSelma Ikiz, Vijay K. Garg: Efficient Incremental Optimal Chain Partition of Distributed Program Traces. ICDCS 2006: 18
c61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRahul Garg, Vijay K. Garg, Yogish Sabharwal: Scalable algorithms for global snapshots in distributed systems. ICS 2006: 269-277
c60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJae-Sik Lee, Byoung-Il Kim, Jae-Pil Moon, Tae-Gyu Chang, Vijay K. Garg: Power saving in a mobile multimedia terminal. WCNC 2006: 48-51
c59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVinit A. Ogale, Vijay K. Garg: Brief Announcement: Many Slices Are Better Than One. DISC 2006: 548-550
2005
j27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNeeraj Mittal, Vijay K. Garg: Techniques and applications of computation slicing. Distributed Computing 17(3): 251-277 (2005)
j26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVijay K. Garg, Neeraj Mittal: A Critique of Java for Concurrent Programming. IEEE Distributed Systems Online 6(9) (2005)
j25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSujatha Kashyap, Vijay K. Garg: Intractability results in predicate detection. Inf. Process. Lett. 94(6): 277-282 (2005)
j24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRatnesh Kumar, Vijay K. Garg: On computation of state avoidance control for infinite state systems in assignment program framework. IEEE Trans. Automation Science and Engineering 2(1): 87-91 (2005)
c58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVijay K. Garg, Anurag Agarwal: Distributed Maintenance of a Spanning Tree Using Labeled Tree Encoding. Euro-Par 2005: 606-616
c57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJae-Sik Lee, Tae-Gyu Chang, Vijay K. Garg: SNR Investigation of Beam Forming in IS-95 CDMA Base Station Receiver. Systems Communications 2005: 45-48
c56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSujatha Kashyap, Vijay K. Garg: Exploiting predicate structure for efficient reachability detection. ASE 2005: 4-13
c55no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSelma Ikiz, Vinit A. Ogale, Vijay K. Garg: Coordinated Energy Conservation in Ad Hoc Networks. IASTED PDCS 2005: 749-754
c54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnurag Agarwal, Vijay K. Garg: Efficient dependency tracking for relevant events in shared-memory systems. PODC 2005: 19-28
2004
b3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVijay K. Garg: Concurrent and distributed computing in Java. Wiley 2004, ISBN 978-0-471-43230-2, pp. I-XX, 1-309
j23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNeeraj Mittal, Vijay K. Garg: Finding missing synchronization in a distributed computation using controlled re-execution. Distributed Computing 17(2): 107-130 (2004)
j22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAshis Tarafdar, Vijay K. Garg: Predicate control: synchronization in distributed computations with look-ahead. J. Parallel Distrib. Comput. 64(2): 219-237 (2004)
c53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNeeraj Mittal, Alper Sen, Vijay K. Garg, Ranganath Atreya: Finding Satisfying Global States: All for One and One for All. IPDPS 2004
c52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlper Sen, Vijay K. Garg, Jacob A. Abraham, Jayanta Bhadra: Formal Verification of a System-on-Chip Using Computation Slicing. ITC 2004: 810-819
c51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVijay K. Garg, R. K. Ghosh: Effect of Data Encryption on Wireless Ad Hoc Network Performance. IWDC 2004: 258-263
2003
j21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlper Sen, Vijay K. Garg: Partial Order Trace Analyzer (POTA) for Distributed Programs. Electr. Notes Theor. Comput. Sci. 89(2): 22-43 (2003)
j20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOm P. Damani, Yi-Min Wang, Vijay K. Garg: Distributed recovery with K-optimistic logging. J. Parallel Distrib. Comput. 63(12): 1193-1218 (2003)
c50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlper Sen, Vijay K. Garg: On Checking Whether a Predicate Definitely Holds. FATES 2003: 15-29
c49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNeeraj Mittal, Vijay K. Garg: Software Fault Tolerance of Distributed Programs Using Computation Slicing. ICDCS 2003: 105-
c48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRanganath Atreya, Neeraj Mittal, Vijay K. Garg: Detecting Locally Stable Predicates Without Modifying Application Messages. OPODIS 2003: 20-33
c47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlper Sen, Vijay K. Garg: Detecting Temporal Logic Predicates in Distributed Programs Using Computation Slicing. OPODIS 2003: 171-183
i1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNeeraj Mittal, Vijay K. Garg: Techniques and Applications of Computation Slicing .CoRR cs.DC/0303010 (2003)
2002
b2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVijay K. Garg: Elements of distributed computing. Wiley 2002, ISBN 978-0-471-03600-5, pp. I-XX, 1-423
c46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVijay K. Garg: Algorithmic Combinatorics Based on Slicing Posets. FSTTCS 2002: 169-181
c45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVijay K. Garg, Chakarat Skawratananond: Timestamping Messages in Synchronous Computations. ICDCS 2002: 552-559
c44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlper Sen, Vijay K. Garg: Detecting Temporal Logic Predicates on the Happened-Before Model. IPDPS 2002
c43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJi Wang, Ashfaq A. Khokhar, Vijay K. Garg: Video Communication with QoS Guarantees over HIPERLAN/2. ISMSE 2002: 312-319
2001
j19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRatnesh Kumar, Vijay K. Garg: Control of stochastic discrete event systems modeled by probabilistic languages. IEEE Trans. Automat. Contr. 46(4): 593-606 (2001)
c42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNeeraj Mittal, Vijay K. Garg: On Detecting Global Predicates in Distributed Computations. ICDCS 2001: 3-10
c41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVijay K. Garg, Neeraj Mittal: On Slicing a Distributed Computation. ICDCS 2001: 322-329
c40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVijay K. Garg, Chakarat Skawratananond: String realizers of posets with applications to distributed computing. PODC 2001: 72-80
c39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNeeraj Mittal, Vijay K. Garg: Computation Slicing: Techniques and Theory. DISC 2001: 78-92
2000
c38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNeeraj Mittal, Vijay K. Garg: Debugging distributed programs using controlled re-execution. PODC 2000: 239-248
c37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVijay K. Garg, Oliver T. W. Yu: Integrated QoS support in 3G UMTS networks. WCNC 2000: 1187-1192
1999
j18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVijay K. Garg, Michel Raynal: Normality: A Consistency Condition for Concurrent Objects. Parallel Processing Letters 9(1): 123-134 (1999)
c36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOm P. Damani, Ashis Tarafdar, Vijay K. Garg: Optimistic Recovery in Multi-threaded Distributed Systems. SRDS 1999: 234-243
c35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAshis Tarafdar, Vijay K. Garg: Software Fault Tolerance of Concurrent Programs Using Controlled Re-execution. DISC 1999: 210-224
1998
j17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCraig M. Chase, Vijay K. Garg: Detection of Global Predicates: Techniques and Their Limitations. Distributed Computing 11(4): 191-201 (1998)
c34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVijay K. Garg, J. Roger Mitchell: Implementable Failure Detectors in Asynchronous Systems. FSTTCS 1998: 158-169
c33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAshis Tarafdar, Vijay K. Garg: Addressing False Causality while Detecting Predicates in Distributed Programs. ICDCS 1998: 94-101
c32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVijay K. Garg, J. Roger Mitchell: Distributed Predicate Detection in a Faulty Environment. ICDCS 1998: 416-423
c31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNeeraj Mittal, Vijay K. Garg: Consistency Conditions for Multi-Object Distributed Operations. ICDCS 1998: 582-599
c30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAshis Tarafdar, Vijay K. Garg: Predicate Control for Active Debugging of Distributed Programs. IPPS/SPDP 1998: 763-769
c29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOm P. Damani, Vijay K. Garg: Fault-Tolerant Distributed Simulation. Workshop on Parallel and Distributed Simulation 1998: 38-45
c28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuillaume P. Brat, Vijay K. Garg: Analyzing Non-Deterministic Real-Time Systems with (max, +) Algebra. RTSS 1998: 210-219
c27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJ. Roger Mitchell, Vijay K. Garg: A Non-Blocking Recovery Algorithm for Causal Message Logging. SRDS 1998: 3-9
1997
j16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVijay K. Garg, Alexander I. Tomlinson: Using the Causal Domain to Specify and verify Distributed Programs. Acta Inf. 34(9): 667-686 (1997)
j15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVijay K. Garg: Methods for observing global properties in distributed systems. IEEE Concurrency 5(4): 69-77 (1997)
j14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVijay K. Garg, J. Roger Mitchell: Detecting Conjunctions of Global Predicates. Inf. Process. Lett. 63(6): 295-302 (1997)
j13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander I. Tomlinson, Vijay K. Garg: Monitoring Functions on Global States of Distributed Programs. J. Parallel Distrib. Comput. 41(2): 173-189 (1997)
j12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVijay 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)
c26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVijay K. Garg: Observation and Control for Debugging Distributed Computations. AADEBUG 1997: 1-12
c25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYi-Min Wang, Om P. Damani, Vijay K. Garg: Distributed Recovery with K-Optimistic Logging. ICDCS 1997: 60-67
c24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVenkatesh V. Murty, Vijay K. Garg: Characterization of Message Ordering Specifications and Protocols. ICDCS 1997: 492-499
c23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOm 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
c22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJ. Roger Mitchell, Vijay K. Garg: Optimistic agreement in distributed systems. PDPTA 1997: 885-889
1996
b1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVijay K. Garg: Principles of distributed systems. Kluwer 1996, ISBN 978-0-7923-9668-0, pp. I-XVII, 1-254
j11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVijay K. Garg, Brian Waldecker: Detection of Strong Unstable Predicates in Distributed Programs. IEEE Trans. Parallel Distrib. Syst. 7(12): 1323-1333 (1996)
c21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOm P. Damani, Vijay K. Garg: How to Recover Efficiently and Asynchronously when Optimism Fails. ICDCS 1996: 108-115
c20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVenkatesh V. Murty, Vijay K. Garg: Characterization of Message Ordering Specifications and Protocols (Abstract). PODC 1996: 88
c19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVijay K. Garg: Observation of Global Properties in Distributed Systems. SEKE 1996: 418-425
1995
j10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRatnesh Kumar, Vijay K. Garg: Extremal Solutions of Inequations over Lattices with Applications to Supervisory Control. Theor. Comput. Sci. 148(1): 67-92 (1995)
c18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJ. Roger Mitchell, Vijay K. Garg: Deriving distributed algorithms from a general predicate detector. COMPSAC 1995: 268-273
c17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander I. Tomlinson, Vijay K. Garg: Observation of Software for Distributed Systems with RCL. FSTTCS 1995: 195-209
c16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVijay 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
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDarren D. Cofer, Vijay K. Garg: On Controlling Timed Discrete Event Systems. Hybrid Systems 1995: 340-349
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVijay K. Garg, Craig M. Chase: Distributed Algorithms for Detecting Conjunctive Predicates. ICDCS 1995: 423-430
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVenkatesh V. Murty, Vijay K. Garg: An algorithm for guaranteeing synchronous ordering of messages. ISADS 1995: 208-214
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVijay K. Garg, Alexander I. Tomlinson, Eddy Fromentin, Michel Raynal: Expressing and detecting control flow properties of distributed computations. SPDP 1995: 432-438
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCraig M. Chase, Vijay K. Garg: Efficient Detection of Restricted Classes of Global Predicates. WDAG 1995: 303-317
1994
j9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVijay K. Garg, Brian Waldecker: Detection of Weak Unstable Predicates in Distributed Programs. IEEE Trans. Parallel Distrib. Syst. 5(3): 299-307 (1994)
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVijay K. Garg, Joydeep Ghosh: Repeated Computation of Global Functions in a Distributed Environment. IEEE Trans. Parallel Distrib. Syst. 5(8): 823-834 (1994)
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEddy Fromentin, Michel Raynal, Vijay K. Garg, Alexander I. Tomlinson: On the Fly Testing of Regular Patterns in Distributed Computations. ICPP (2) 1994: 73-76
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVijay K. Garg, Alexander I. Tomlinson: Causality versus time: how to specify and verify distributed algorithms. SPDP 1994: 249-256
1993
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander I. Tomlinson, Vijay K. Garg: Detecting Relational Global Predicates in Distributed Systems. Workshop on Parallel and Distributed Debugging 1993: 21-31
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVijay K. Garg, Alexander I. Tomlinson: Using Induction to Prove Properties of Distributed Programs. SPDP 1993: 478-485
1992
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVijay K. Garg: Some Optimal Algorithms for Decomposed Partially Ordered Sets. Inf. Process. Lett. 44(1): 39-43 (1992)
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVijay K. Garg, M. T. Ragunath: Concurrent Regular Expressions and Their Relationship to Petri Nets. Theor. Comput. Sci. 96(2): 285-304 (1992)
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVijay K. Garg, Brian Waldecker: Detection of Unstable Predicates in Distributed Programs. FSTTCS 1992: 253-264
1991
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVijay K. Garg, C. V. Ramamoorthy: ConC: A Language for Concurrent Programming. Comput. Lang. 16(1): 5-18 (1991)
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBrian Waldecker, Vijay K. Garg: Detection of strong predicates in distributed programs. SPDP 1991: 692-699
1990
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVijay K. Garg, Joydeep Ghosh: Symmetry in Spite of Hierarchy. ICDCS 1990: 4-11
1989
c3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVijay K. Garg: Modeling of Distributed Systems by Concurrent Regular Expressions. FORTE 1989: 313-327
1988
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLC. V. Ramamoorthy, Vijay K. Garg, Atul Prakash: Support for Reusability in Genesis. IEEE Trans. Software Eng. 14(8): 1145-1154 (1988)
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVijay K. Garg, C. V. Ramamoorthy: High level communication primitives for concurrent systems. ICCL 1988: 92-99
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVijay K. Garg: Analysis of Distributed Systems With Many Identical Processes. ICDCS 1988: 358-365
1987
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLC. 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)
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLC. V. Ramamoorthy, Shashi Shekhar, Vijay K. Garg: Software Development Support for AI Programs. IEEE Computer 20(1): 30-40 (1987)
1986
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLC. V. Ramamoorthy, Vijay K. Garg, Atul Prakash: Programming in the Large. IEEE Trans. Software Eng. 12(7): 769-783 (1986)

Coauthor Index

1Jacob A. Abraham[c52]
2Anurag Agarwal[j40] [c72] [j35] [c58] [c54]
3Vikas Agarwal[c69]
4Prashant Agrawal[c66]
5Ranganath Atreya[j33] [c53] [c48]
6Bharath Balasubramanian[j41] [j39] [i3] [c77] [c75] [c74] [c73] [c68] [c65]
7Jayanta Bhadra[c52]
8Anupam Bhide[j3]
9Guillaume Brat
Guillaume P. Brat
[c28]
10John Bridgman[c80] [c79] [c76] [c74] [c73]
11Venkatesan T. Chakaravarthy[j38] [c78] [c71]
12Tae-Gyu Chang[c60] [c57]
13Yen-Jung Chang[c93] [c91] [c89]
14Craig M. Chase[j17] [j12] [c16] [c14] [c11]
15Himanshu Chauhan[c92] [c90] [c87] [i7] [i6] [c86] [c82] [i2]
16Xu Cheng[j36]
17Anamitra R. Choudhury[j38] [c78] [c71]
18Darren D. Cofer[c15]
19Om P. Damani[j20] [c36] [c29] [c25] [c23] [c21]
20Pascal Felber[j43] [e2]
21Eddy Fromentin[c12] [c10]
22Rahul Garg[j37] [c61]
23Joydeep Ghosh[j8] [c4]
24R. K. Ghosh[j30] [c51]
25John A. Gunnels[c66]
26Maurice Herlihy[j42]
27Wei-Lun Hung[c90] [c87] [i7] [c84] [i4]
28Selma Ikiz[c62] [c55]
29Sujatha Kashyap[c67] [j25] [c56]
30Monu Kedia[c69]
31Ashfaq A. Khokhar[c43]
32Richard B. Kilgore[j12] [c16]
33Byoung-Il Kim[c60]
34Kishore Kothapalli[e1]
35Ajay D. Kshemkalyani[j33]
36Abhijeet Kumar[j30]
37Ratnesh Kumar[j24] [j19] [j10]
38Vimitha A. Kuruvilla[c66]
39Jae-Sik Lee[c60] [c57]
40M. Shangkar Meitei[j30]
41Hammurabi Mendes[j42]
42Chunting Mi[j36]
43J. Roger Mitchell[c34] [c32] [c27] [j14] [j12] [c22] [c18] [c16]
44Neeraj Mittal[c88] [c82] [i2] [p1] [j34] [j33] [j31] [j27] [j26] [j23] [c53] [c49] [c48] [i1] [c42] [c41] [c39] [c38] [c31]
45Jae-Pil Moon[c60]
46Venkatesh V. Murty[c24] [c20] [c13]
47Ankur Narang[c69]
48Aravind Natarajan[c88] [c82] [i2]
49Vinit A. Ogale[j40] [c72] [c68] [c65] [c64] [c63] [c59] [c55]
50Shailesh Patil[j29]
51Atul Prakash[j4] [j3] [j1]
52M. T. Ragunath[j6]
53C. V. Ramamoorthy[j5] [j4] [c2] [j3] [j2] [j1]
54Shree Raman[j30]
55Michel Raynal[j18] [c12] [c10]
56Yogish Sabharwal[j38] [c78] [j37] [c71] [c66] [c61]
57Vaibhav Saxena[c66]
58Alper Sen 0001[j32] [j31] [c53] [c52] [j21] [c50] [c47] [c44]
59Shashi Shekhar[j2]
60Zheng John Shen[j36]
61Mukesh Singhal[j33]
62Chakarat Skawratananond[j34] [c45] [c40]
63Ashis Tarafdar[j22] [c36] [c35] [c33] [c30]
64Nishit Tewari[j30]
65Alexander I. Tomlinson[j16] [j13] [c17] [c12] [c10] [c9] [c8] [c7]
66Nitin H. Vaidya[j42] [c83] [i5]
67Brian Waldecker[j11] [j9] [c6] [c5]
68Ji Wang[c43]
69Yi-Min Wang[j20] [c25] [c23]
70Roger Wattenhofer[e1]
71Hongjie Wu[j36]
72Yali Xiong[j36]
73Tsuneo Yamaura[j3]
74Oliver Yu
Oliver T. W. Yu
[c37]

 

Last update 2017-05-26 22:29 CEST by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page