Vijay K. Garg
Orcid: 0000-0002-5797-4389Affiliations:
- University of Texas at Austin, USA
According to our database1,
Vijay K. Garg
authored at least 187 papers
between 1984 and 2024.
Collaborative distances:
Collaborative distances:
Awards
IEEE Fellow
IEEE Fellow 1995, "For contributions to the analysis of eddy current, thermal transient, and coupled magneto-thermal problems in electric machines.".
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on id.loc.gov
-
on d-nb.info
On csauthors.net:
Bibliography
2024
Proceedings of the 25th International Conference on Distributed Computing and Networking, 2024
2023
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2023
Keynote Talk: Lattice Linear Predicate Algorithms for the Constrained Stable Marriage Problem with Ties✱.
Proceedings of the 24th International Conference on Distributed Computing and Networking, 2023
2022
An Analysis of Adaptable Intelligent Models for Pulmonary Tuberculosis Detection and Classification.
SN Comput. Sci., 2022
Lattice Linear Predicate Algorithms for the Constrained Stable Marriage Problem with Ties.
CoRR, 2022
Proceedings of the 2022 IEEE International Parallel and Distributed Processing Symposium, 2022
Proceedings of the IEEE International Parallel and Distributed Processing Symposium, 2022
Proceedings of the ICDCN '22: 23rd International Conference on Distributed Computing and Networking, Delhi, AA, India, January 4, 2022
2021
CoRR, 2021
Proceedings of the Algorithms and Data Structures - 17th International Symposium, 2021
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2021
2020
EMG Signal Feature Extraction, Normalization and Classification for Pain and Normal Muscles Using Genetic Algorithm and Support Vector Machine.
Rev. d'Intelligence Artif., 2020
Proceedings of the 34th International Symposium on Distributed Computing, 2020
Proceedings of the SPAA '20: 32nd ACM Symposium on Parallelism in Algorithms and Architectures, 2020
Proceedings of the 24th International Conference on Principles of Distributed Systems, 2020
Proceedings of the 19th International Symposium on Parallel and Distributed Computing, 2020
NC Algorithms for Popular Matchings in One-Sided Preference Systems and Related Problems.
Proceedings of the 2020 IEEE International Parallel and Distributed Processing Symposium (IPDPS), 2020
2019
Proceedings of the 23rd International Conference on Principles of Distributed Systems, 2019
Proceedings of the 23rd International Conference on Principles of Distributed Systems, 2019
Proceedings of the 39th IEEE International Conference on Distributed Computing Systems, 2019
Proceedings of the 20th International Conference on Distributed Computing and Networking, 2019
2018
Removing Sequential Bottleneck of Dijkstra's Algorithm for the Shortest Path Problem.
CoRR, 2018
Proceedings of the 32nd International Symposium on Distributed Computing, 2018
2017
Proceedings of the 31st International Symposium on Distributed Computing, 2017
Space Efficient Breadth-First and Level Traversals of Consistent Global States of Parallel Programs.
Proceedings of the Runtime Verification - 17th International Conference, 2017
Proceedings of the 21st International Conference on Principles of Distributed Systems, 2017
Proceedings of the 2017 IEEE International Parallel and Distributed Processing Symposium, 2017
2016
Proceedings of the 20th International Conference on Principles of Distributed Systems, 2016
2015
Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2015
ActiveMonitor: Asynchronous Monitor Framework for Scalability and Multi-Object Synchronization.
Proceedings of the 19th International Conference on Principles of Distributed Systems, 2015
QuickLex: A Fast Algorithm for Consistent Global States Enumeration of Distributed Computations.
Proceedings of the 19th International Conference on Principles of Distributed Systems, 2015
Necessary and Sufficient Conditions on Partial Orders for Modeling Concurrent Computations.
Proceedings of the 2015 International Conference on Distributed Computing and Networking, 2015
2014
Inf. Comput., 2014
Distributed Comput., 2014
Proceedings of the Distributed Computing - 28th International Symposium, 2014
Proceedings of the Distributed Computing and Networking - 15th International Conference, 2014
2013
IEEE Trans. Parallel Distributed Syst., 2013
Proceedings of the IEEE 32nd Symposium on Reliable Distributed Systems, 2013
Proceedings of the ACM Symposium on Principles of Distributed Computing, 2013
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013
Proceedings of the Distributed Computing and Networking, 14th International Conference, 2013
Proceedings of the Distributed Computing and Networking, 14th International Conference, 2013
2012
Theory Comput. Syst., 2012
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2012
Proceedings of the ACM Symposium on Principles of Distributed Computing, 2012
Proceedings of the Principles of Distributed Systems, 16th International Conference, 2012
2011
Proceedings of the 30th Annual ACM Symposium on Principles of Distributed Computing, 2011
Proceedings of the Principles of Distributed Systems - 15th International Conference, 2011
Proceedings of the 25th IEEE International Symposium on Parallel and Distributed Processing, 2011
Proceedings of the 2011 International Conference on Distributed Computing Systems, 2011
Proceedings of the Distributed Computing and Networking - 12th International Conference, 2011
2010
IEEE Trans. Parallel Distributed Syst., 2010
Proceedings of the Distributed Computing, 24th International Symposium, 2010
Proceedings of the Distributed Computing, 24th International Symposium, 2010
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2010
2009
Proceedings of the 23rd IEEE International Symposium on Parallel and Distributed Processing, 2009
Proceedings of the 16th International Conference on High Performance Computing, 2009
2008
Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008
Prognostic and Warning System for Power-Electronic Modules in Electric, Hybrid Electric, and Fuel-Cell Vehicles.
IEEE Trans. Ind. Electron., 2008
Proceedings of the Distributed Computing and Networking, 9th International Conference, 2008
Proceedings of the High Performance Computing, 2008
Proceedings of the Computer Aided Verification, 20th International Conference, 2008
2007
IEEE Trans. Parallel Distributed Syst., 2007
IEEE Trans. Computers, 2007
J. Parallel Distributed Comput., 2007
Timestamping messages and events in a distributed system using synchronous communication.
Distributed Comput., 2007
Distributed Comput., 2007
Proceedings of the Distributed Computing, 21st International Symposium, 2007
Fusible Data Structures for Fault-Tolerance.
Proceedings of the 27th IEEE International Conference on Distributed Computing Systems (ICDCS 2007), 2007
2006
Ad Hoc Networks, 2006
Proceedings of the Distributed Computing, 20th International Symposium, 2006
Proceedings of the IEEE Wireless Communications and Networking Conference, 2006
Proceedings of the 20th Annual International Conference on Supercomputing, 2006
Proceedings of the 26th IEEE International Conference on Distributed Computing Systems (ICDCS 2006), 2006
2005
On computation of state avoidance control for infinite state systems in assignment program framework.
IEEE Trans Autom. Sci. Eng., 2005
Proceedings of the Twenty-Fourth Annual ACM Symposium on Principles of Distributed Computing, 2005
Coordinated Energy Conservation in Ad Hoc Networks.
Proceedings of the International Conference on Parallel and Distributed Computing Systems, 2005
Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005
Proceedings of the Systems Communications 2005 (ICW / ICHSN / ICMCS / SENET 2005), 2005
Proceedings of the Euro-Par 2005, Parallel Processing, 11th International Euro-Par Conference, Lisbon, Portugal, August 30, 2005
2004
J. Parallel Distributed Comput., 2004
Finding missing synchronization in a distributed computation using controlled re-execution.
Distributed Comput., 2004
Proceedings of the Distributed Computing, 2004
Proceedings of the Proceedings 2004 International Test Conference (ITC 2004), 2004
Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004
Concurrent and distributed computing in Java.
Wiley, ISBN: 978-0-471-43230-2, 2004
2003
J. Parallel Distributed Comput., 2003
Proceedings of the Third Workshop on Run-time Verification, 2003
Detecting Temporal Logic Predicates in Distributed Programs Using Computation Slicing.
Proceedings of the Principles of Distributed Systems, 7th International Conference, 2003
Proceedings of the Principles of Distributed Systems, 7th International Conference, 2003
Proceedings of the 23rd International Conference on Distributed Computing Systems (ICDCS 2003), 2003
Proceedings of the Formal Approaches to Software Testing, 2003
2002
Proceedings of the 4th International Symposium on Multimedia Software Engineering, 2002
Proceedings of the 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 2002
Proceedings of the 22nd International Conference on Distributed Computing Systems (ICDCS'02), 2002
Elements of distributed computing.
Wiley, ISBN: 978-0-471-03600-5, 2002
2001
IEEE Trans. Autom. Control., 2001
Proceedings of the Distributed Computing, 15th International Conference, 2001
Proceedings of the Twentieth Annual ACM Symposium on Principles of Distributed Computing, 2001
Proceedings of the 21st International Conference on Distributed Computing Systems (ICDCS 2001), 2001
Proceedings of the 21st International Conference on Distributed Computing Systems (ICDCS 2001), 2001
2000
Proceedings of the 2000 IEEE Wireless Communications and Networking Conference, 2000
Proceedings of the Nineteenth Annual ACM Symposium on Principles of Distributed Computing, 2000
1999
IEEE Trans. Autom. Control., 1999
Parallel Process. Lett., 1999
Proceedings of the Distributed Computing, 1999
Proceedings of the Eighteenth Symposium on Reliable Distributed Systems, 1999
1998
Distributed Comput., 1998
Proceedings of the Seventeenth Symposium on Reliable Distributed Systems, 1998
Proceedings of the 19th IEEE Real-Time Systems Symposium, 1998
Proceedings of the 12th Workshop on Parallel and Distributed Simulation, 1998
Proceedings of the 12th International Parallel Processing Symposium / 9th Symposium on Parallel and Distributed Processing (IPPS/SPDP '98), March 30, 1998
Proceedings of the 18th International Conference on Distributed Computing Systems, 1998
Proceedings of the 18th International Conference on Distributed Computing Systems, 1998
Proceedings of the 18th International Conference on Distributed Computing Systems, 1998
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1998
1997
IEEE Wirel. Commun., 1997
J. Parallel Distributed Comput., 1997
J. Parallel Distributed Comput., 1997
IEEE Concurrency, 1997
IEEE Commun. Mag., 1997
Acta Informatica, 1997
Optimistic agreement in distributed systems.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1997
Proceedings of the Eleventh Workshop on Parallel and Distributed Simulation, 1997
Proceedings of the 17th International Conference on Distributed Computing Systems, 1997
Proceedings of the 17th International Conference on Distributed Computing Systems, 1997
Proceedings of the Third International Workshop on Automated Debugging, 1997
1996
IEEE Trans. Parallel Distributed Syst., 1996
IEEE Trans. Autom. Control., 1996
IEEE Trans. Autom. Control., 1996
IEEE Commun. Mag., 1996
Observation of Global Properties in Distributed Systems.
Proceedings of the 8th International Conference on Software Engineering and Knowledge Engineering, 1996
Proceedings of the Fifteenth Annual ACM Symposium on Principles of Distributed Computing, 1996
Proceedings of the 16th International Conference on Distributed Computing Systems, 1996
Principles of distributed systems.
Kluwer, ISBN: 978-0-7923-9668-0, 1996
1995
Extremal Solutions of Inequations over Lattices with Applications to Supervisory Control.
Theor. Comput. Sci., 1995
IEEE Trans. Autom. Control., 1995
Proceedings of the Distributed Algorithms, 9th International Workshop, 1995
Proceedings of the Seventh IEEE Symposium on Parallel and Distributed Processing, 1995
Proceedings of the Second International Symposium on Autonomous Decentralized Systems, 1995
Proceedings of the 15th International Conference on Distributed Computing Systems, Vancouver, British Columbia, Canada, May 30, 1995
Proceedings of the Hybrid Systems III: Verification and Control, 1995
Proceedings of the 28th Annual Hawaii International Conference on System Sciences (HICSS-28), 1995
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1995
Proceedings of the 19th International Computer Software and Applications Conference (COMPSAC'95), 1995
1994
IEEE Trans. Parallel Distributed Syst., 1994
IEEE Trans. Parallel Distributed Syst., 1994
Proceedings of the Sixth IEEE Symposium on Parallel and Distributed Processing, 1994
Proceedings of the 1994 International Conference on Parallel Processing, 1994
1993
Predicates and predicate transformers for supervisory control of discrete event dynamical systems.
IEEE Trans. Autom. Control., 1993
Proceedings of the Fifth IEEE Symposium on Parallel and Distributed Processing, 1993
Proceedings of the ACM/ONR Workshop on Parallel and Distributed Debugging, 1993
Proceedings of the Seventh Workshop on Parallel and Distributed Simulation, 1993
1992
Theor. Comput. Sci., 1992
Inf. Process. Lett., 1992
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1992
1991
Proceedings of the Third IEEE Symposium on Parallel and Distributed Processing, 1991
1990
Proceedings of the 10th International Conference on Distributed Computing Systems (ICDCS 1990), May 28, 1990
1989
Modeling of Distributed Systems by Concurrent Regular Expressions.
Proceedings of the Formal Description Techniques, 1989
1988
Proceedings of the 8th International Conference on Distributed Computing Systems, 1988
Proceedings of the 1988 Internation Conference on Computer Languages, 1988
1987
Adv. Comput., 1987
1986
1985
ACM SIGSOFT Softw. Eng. Notes, 1985
1984
ACM SIGSOFT Softw. Eng. Notes, 1984