# Pradip K. Srimani

According to our database

Collaborative distances:

^{1}, Pradip K. Srimani authored at least 192 papers between 1976 and 2019.Collaborative distances:

## Awards

## IEEE Fellow

IEEE Fellow 1999, "For contributions to the design and analysis of fault tolerant networks.".

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### Online presence:

#### On csauthors.net:

## Bibliography

2019

Inf. Process. Lett., 2019

Self-Stabilizing Topology Computation (Identification) of Cactus Graphs Using Master Slave Token Circulation.

Proceedings of the 2019 IEEE/WIC/ACM International Conference on Web Intelligence, 2019

2018

Proceedings of the 2018 IEEE/WIC/ACM International Conference on Web Intelligence, 2018

2017

Parallel Comput., 2017

Dynamic Management of In-memory Storage for Efficiently Integrating Compute- and Data-intensive Computing on HPC Systems.

Proceedings of the 17th IEEE/ACM International Symposium on Cluster, 2017

2016

A Linear Time Self-stabilizing Algorithm for Minimal Weakly Connected Dominating Sets.

Int. J. Parallel Program., 2016

CoRR, 2016

Proceedings of the 2016 IEEE/WIC/ACM International Conference on Web Intelligence, 2016

New Biology Inspired Anonymous Distributed Algorithms to Compute Dominating and Total Dominating Sets in Network Graphs.

Proceedings of the 2016 IEEE International Parallel and Distributed Processing Symposium Workshops, 2016

Semantic Graph based Pseudo Relevance Feedback for Biomedical Information Retrieval.

Proceedings of the 7th International Conference on Computational Systems-Biology and Bioinformatics, 2016

Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2016

2015

Self-Stabilizing Algorithm for Minimal Dominating Set with Safe Convergence in an Arbitrary Graph.

Parallel Process. Lett., 2015

Self-Stabilizing Algorithms for Maximal 2-packing and General k-packing (k ≥ 2) with Safe Convergence in an Arbitrary Graph.

Int. J. Netw. Comput., 2015

Int. J. Found. Comput. Sci., 2015

CoRR, 2015

Proceedings of the 2015 International Workshop on Data-Intensive Scalable Computing Systems, 2015

2014

IEEE ACM Trans. Comput. Biol. Bioinform., 2014

Self-Stabilizing Master-Slave Token Circulation Algorithm in Undirected Rings and Unicyclic Graphs of Arbitrary Size and Their Orientations.

Int. J. Netw. Comput., 2014

BMC Bioinform., 2014

Self-stabilizing Minimal Global Offensive Alliance Algorithm with Safe Convergence in an Arbitrary Graph.

Proceedings of the Theory and Applications of Models of Computation, 2014

Proceedings of the Sixth International Symposium on Parallel Architectures, 2014

Self-Stabilizing Algorithm for Maximal 2-Packing with Safe Convergence in an Arbitrary Graph.

Proceedings of the 2014 IEEE International Parallel & Distributed Processing Symposium Workshops, 2014

Proceedings of the 17th IEEE International Conference on Computational Science and Engineering, 2014

Proceedings of the 2014 IEEE International Conference on Big Data, 2014

2013

Proceedings of the WALCOM: Algorithms and Computation, 7th International Workshop, 2013

Self-Stabilizing Master-Slave Token Circulation Algorithm in an Undirected Ring of Arbitrary Size and Its Orientation.

Proceedings of the 2013 IEEE International Symposium on Parallel & Distributed Processing, 2013

Proceedings of the 2013 IEEE International Conference on Bioinformatics and Biomedicine, 2013

2012

Self-Stabilizing Master-Slave Token Circulation and Efficient Size-Computation in a Unidirectional Ring of Arbitrary Size.

Int. J. Found. Comput. Sci., 2012

Proceedings of the Distributed Computing and Internet Technology, 2012

Proceedings of the 2012 IEEE/WIC/ACM International Conferences on Intelligent Agent Technology, 2012

2011

Self-Stabilizing Master-Slave Token Circulation and Efficient Topology Computation in a Tree of Arbitrary Size.

Proceedings of the 25th IEEE International Symposium on Parallel and Distributed Processing, 2011

Predicing Yeast Synthetic Lethal Genetic Interactions Using Short Polypeptide Clusters.

Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2011

Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2011

A self-stabilizing algorithm for two disjoint minimal dominating sets in an arbitrary graph.

Proceedings of the 49th Annual Southeast Regional Conference, 2011

2010

Distributed fault tolerant computation of weakly connected dominating set in ad hoc networks.

J. Supercomput., 2010

Int. J. Pervasive Comput. Commun., 2010

Proceedings of the 2010 IEEE/WIC/ACM International Conference on Web Intelligence, 2010

<i>SFS</i><sup>3</sup>: a simulation <i>f</i>ramework for <i>s</i>elf-<i>s</i>tabilizing <i>s</i>ystems.

Proceedings of the 2010 Spring Simulation Multiconference, 2010

Proceedings of the 15th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2010

2008

Parallel Process. Lett., 2008

J. Parallel Distributed Comput., 2008

Anonymous Daemon Conversion in Self-stabilizing Algorithms by Randomization in Constant Space.

Proceedings of the Distributed Computing and Networking, 9th International Conference, 2008

2007

Mob. Inf. Syst., 2007

Proceedings of the Parallel and Distributed Processing and Applications, 2007

Self-Stabilizing Algorithms of Constructing Spanning Tree and Weakly Connected Minimal Dominating Set.

Proceedings of the 27th International Conference on Distributed Computing Systems Workshops (ICDCS 2007 Workshops), 2007

Distributed Protocols for Defensive and Offensive Alliances in Network Graphs Using Self-Stabilization.

Proceedings of the 2007 International Conference on Computing: Theory and Applications (ICCTA 2007), 2007

2006

J. Supercomput., 2006

J. Comb. Optim., 2006

Int. J. Found. Comput. Sci., 2006

Appl. Math. Lett., 2006

Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

2005

Networks, 2005

J. Syst. Archit., 2005

J. Parallel Distributed Comput., 2005

Int. J. Found. Comput. Sci., 2005

Int. J. Distributed Sens. Networks, 2005

Proceedings of the 13th International Symposium on Modeling, 2005

Proceedings of the Distributed Computing, 2005

Proceedings of the Distributed Computing, 2005

Proceedings of the 2005 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2005

Proceedings of the Handbook on Theoretical and Algorithmic Aspects of Sensor, 2005

2004

Microprocess. Microsystems, 2004

Editorial.

J. Digit. Inf. Manag., 2004

Broadcast Algorithms for Mobile Ad hoc Networks based on Depth-first Traversal.

Proceedings of the Wireless Information Systems, 2004

IEEE-CS/ACM computing curricula: computer engineering & software engineering volumes.

Proceedings of the 35th SIGCSE Technical Symposium on Computer Science Education, 2004

A New Adaptive Distributed Routing Protocol Using d-hop Dominating Sets for Mobile Ad Hoc Networks.

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2004

Proceedings of the Network and Parallel Computing, IFIP International Conference, 2004

Dynamic Location Management with Personalized Location Area for Future PCS Networks.

Proceedings of the Distributed Computing, 2004

Proceedings of the Distributed Computing, 2004

Broadcast and Gossiping Algorithms for Mobile Ad Hoc Networks Based on Breadth-First Traversal.

Proceedings of the Distributed Computing, 2004

Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004

2003

Wirel. Networks, 2003

Adaptive Core Selection and Migration Method for Multicast Routing in Mobile Ad Hoc Networks.

IEEE Trans. Parallel Distributed Syst., 2003

IEEE Trans. Educ., 2003

IEEE J. Sel. Areas Commun., 2003

J. Parallel Distributed Comput., 2003

J. Parallel Distributed Comput., 2003

Inf. Process. Lett., 2003

Proceedings of the 34th SIGCSE Technical Symposium on Computer Science Education, 2003

A Synchronous Self-stabilizing Minimal Domination Protocol in an Arbitrary Network Graph.

Proceedings of the Distributed Computing, 2003

A Self-Stabilizing Distributed Algorithm for Minimal Total Domination in an Arbitrary System Grap.

Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003

Self-Stabilizing Protocols for Maximal Matching and Maximal Independent Sets for Ad Hoc Networks.

Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003

A Robust Distributed Generalized Matching Protocol that Stabilizes in Linear Time.

Proceedings of the 23rd International Conference on Distributed Computing Systems Workshops (ICDCS 2003 Workshops), 2003

Proceedings of the High Performance Computing - HiPC 2003, 10th International Conference, 2003

2002

IEEE Trans. Reliab., 2002

IEEE Trans. Computers, 2002

Parallel Comput., 2002

Parallel Comput., 2002

Distance Spectrum of Nodes in Star Graphs.

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2002

Proceedings of the 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 2002

2001

IEEE Wirel. Commun., 2001

IEEE Trans. Parallel Distributed Syst., 2001

IEEE Trans. Computers, 2001

A regular scalable fault tolerant interconnection network for distributed processing.

Parallel Comput., 2001

Parallel Algorithms Appl., 2001

J. Parallel Distributed Comput., 2001

Cored-Based Tree with Forwarding Regions (CBT-FR); A Protocol for Reliable Multicasting in Mobile Ad Hoc Networks.

J. Parallel Distributed Comput., 2001

Inf. Process. Lett., 2001

Performance Evaluation of a New Hardware Supported Multicast Scheme for K-ary N-cubes.

Proceedings of the 15th International Parallel & Distributed Processing Symposium (IPDPS-01), 2001

2000

Guest Editor's Introduction: Special Issues on Architecture-Independent Languages and Software tools for Parallel Processing.

IEEE Trans. Software Eng., 2000

Near-Optimal Broadcast in All-Port Wormhole-Routed Hypercubes Using Error-Correcting Codes.

IEEE Trans. Parallel Distributed Syst., 2000

J. Supercomput., 2000

UpdateSearch: A New Dynamic Channel Allocation Scheme for Mobile Networks That Can Adjust to System Loads.

J. Supercomput., 2000

Parallel Comput., 2000

Proceedings of the 2000 International Workshop on Parallel Processing, 2000

Proceedings of the 20th International Conference on Distributed Computing Systems, 2000

Self-Stabilizing Protocol for Shortest Path Tree for Multi-cast Routing in Mobile Networks (Research Note).

Proceedings of the Euro-Par 2000, Parallel Processing, 6th International Euro-Par Conference, Munich, Germany, August 29, 2000

1999

ACM SIGCSE Bull., 1999

Self-stabilizing Protocol for Mutual Exclusion among Neighboring Nodes in a Tree Structured Distributed System.

Parallel Algorithms Appl., 1999

J. Comput. Syst. Sci., 1999

Proceedings of the 2nd Workshop on Mobile Computing Systems and Applications (WMCSA '99), 1999

Routing in Star Graph Using Binary Labels.

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999

Realiability Modeling of Star Graph Networks.

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999

CC-2001, Computer Science & Engineering Curricula for the Next Decade: A Status Report.

Proceedings of the IEEE International Conference on Microelectronic Systems Education, 1999

Performance Evaluation of Distributed Co-Ordination Function for IEEE 802.11 Wireless LAN Protocol in Presence of Mobile and Hidden Terminals.

Proceedings of the MASCOTS 1999, 1999

Distributed dynamic channel allocation in mobile networks: combining search and update.

Proceedings of the IEEE International Performance Computing and Communications Conference, 1999

Mobility Tolerant Maintenance of Multi-Cast Tree in Mobile Multi-Hop Radio Networks.

Proceedings of the International Conference on Parallel Processing 1999, 1999

Mutual Exclusion Between Neighboring Nodes in an Arbitrary System Graph Tree That Stabilizes Using Read/Write Atomicity.

Proceedings of the Euro-Par '99 Parallel Processing, 5th International Euro-Par Conference, Toulouse, France, August 31, 1999

Using self-stabilization to design adaptive multicast protocols for mobile ad hoc networks.

Proceedings of the Mobile Networks and Computing, 1999

1998

J. Supercomput., 1998

Parallel Comput., 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 5th International Conference On High Performance Computing, 1998

Mutual Exclusion Between Neighboring Nodes in a Tree That Stabilizes Using Read/Write Atomicity.

Proceedings of the Euro-Par '98 Parallel Processing, 1998

1997

Parallel Algorithms Appl., 1997

Int. J. Syst. Sci., 1997

Fault Tolerant Routing in Star Graph Networks in the Forbidden Fault Model.

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1997

Proceedings of the Euro-Par '97 Parallel Processing, 1997

1996

IEEE Trans. Parallel Distributed Syst., 1996

IEEE Trans. Computers, 1996

Super Rotator: Incrementally Extensible Directed Network Graph of Sublogarithmic Diameter.

Parallel Process. Lett., 1996

J. Syst. Softw., 1996

J. Parallel Distributed Comput., 1996

J. Parallel Distributed Comput., 1996

J. Circuits Syst. Comput., 1996

Inf. Process. Lett., 1996

Neurocomputing: Motivations, Models, and Hybridization - Guest Editors' Introduction.

Computer, 1996

Proceedings of the Eighth IEEE Symposium on Parallel and Distributed Processing, 1996

1995

J. Parallel Distributed Comput., 1995

Inf. Process. Lett., 1995

Acta Informatica, 1995

Proceedings of the MASCOTS '95, 1995

1994

IEEE Trans. Computers, 1994

Parallel Algorithms Appl., 1994

J. Syst. Softw., 1994

Proceedings of the Sixth IEEE Symposium on Parallel and Distributed Processing, 1994

Proceedings of the MASCOTS '94, Proceedings of the Second International Workshop on Modeling, Analysis, and Simulation On Computer and Telecommunication Systems, January 31, 1994

1993

IEEE Trans. Software Eng., 1993

Editor's corner : Applying specification, verification, and validation techniques.

J. Syst. Softw., 1993

Inf. Sci., 1993

Inf. Process. Lett., 1993

Proceedings of the Fifth IEEE Symposium on Parallel and Distributed Processing, 1993

Proceedings of the Fourth International Symposium on Software Reliability Engineering, 1993

Proceedings of the Fourth International Symposium on Software Reliability Engineering, 1993

Revolving hierarchy in a hypercube distributed system.

Proceedings of the 1993 IEEE International Symposium on Circuits and Systems, 1993

Maximally Fault Tolerant Directed Network Graph With Sublogarithmic Diameter For Arbitrary Number of Nodes.

Proceedings of the 1993 International Conference on Parallel Processing, 1993

Software Engineering and Information Technology - Introduction.

Proceedings of the Computing and Information, 1993

1992

IEEE Softw., 1992

A Self-Stabilizing Distributed Algorithm to Construct BFS Spanning Trees of a Symmetric Graph.

Parallel Process. Lett., 1992

Inf. Process. Lett., 1992

Proceedings of the 1992 ACM/SIGAPP Symposium on Applied Computing: Technological Challenges of the 1990's, 1992

Proceedings of the Third International Symposium on Software Reliability Engineering, 1992

1991

A Fault-Tolerant Routing Algorithm for Star Graph Interconnection Network.

Proceedings of the International Conference on Parallel Processing, 1991

Proceedings of the 10th International Conference on Distributed Computing Systems (ICDCS 1991), 1991

Proceedings of the Advances in Computing and Information, 1991

Proceedings of the 17th International Computer Measurement Group Conference, 1991

Proceedings of the 19th annual conference on Computer Science, 1991

1990

J. Syst. Softw., 1990

Performance evaluation of distributed mutual exclusion algorithms for computer networks.

Comput. Syst. Sci. Eng., 1990

Comput. J., 1990

1989

Fast Parallel Algorithms for Binary Multiplication and Their Implementation on Systolic Architectures.

IEEE Trans. Computers, 1989

Inf. Sci., 1989

1988

IEEE Trans. Computers, 1988

Inf. Syst., 1988

Proceedings of the Sixteenth ACM Annual Conference on Computer Science, 1988

Proceedings of the Sixteenth ACM Annual Conference on Computer Science, 1988

1987

Acta Informatica, 1987

An O(log n) Parallel Algorithm for Binary Multiplication and its VLSI implementation.

Proceedings of the 8th IEEE Real-Time Systems Symposium (RTSS '87), 1987

Proceedings of the 15th ACM Annual Conference on Computer Science, 1987

1986

A Parallel Algorithm to Compute the Shortest Paths and Diameter of a Graph and Its VLSI Implementation.

IEEE Trans. Computers, 1986

Proceedings of the 14th ACM Annual Conference on Computer Science, 1986

1985

J. Algorithms, 1985

1984

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1984

1983

Int. J. Parallel Program., 1983

1982

Inf. Sci., 1982

A new approach to single-fault-tolerant realization of synchronous sequential machines.

Inf. Sci., 1982

1981

Inf. Sci., 1981

1980

Inf. Sci., 1980

Proceedings of the 13th annual workshop on Microprogramming, 1980

1979

Inf. Process. Lett., 1979

1978

Proceedings of the IEEE International Conference on Acoustics, 1978

1976

Comments on "Derivation of Minimal Complete Sets of Test-Input Sequences Using Boolean Differences".

IEEE Trans. Computers, 1976