The SCEAS System
Navigation Menu

Conferences in DBLP

Self-Stabilizing Systems (wss)
1997 (conf/wss/1997)

  1. Sandeep S. Kulkarni, Anish Arora
    Compositional design of multitolerant repetitive byzantine agreement. [Citation Graph (0, 0)][DBLP]
    WSS, 1997, pp:1-15 [Conf]
  2. Hirotsugu Kakugawa, Masaaki Mizuno, Mikhail Nesterenko
    Development of self-stabilizing distributed algorithms using transformation: case studies. [Citation Graph (0, 0)][DBLP]
    WSS, 1997, pp:16-30 [Conf]
  3. Mohamed G. Gouda, F. Furman Haddix
    The linear alternator. [Citation Graph (0, 0)][DBLP]
    WSS, 1997, pp:31-47 [Conf]
  4. Uri Abraham, Shlomi Dolev, Ted Herman, Irit Koll
    Self-stabilizing L-exclusion. [Citation Graph (0, 0)][DBLP]
    WSS, 1997, pp:48-63 [Conf]
  5. Joffroy Beauquier, Synnöve Kekkonen-Moneta
    On FTSS-solvable distributed problems. [Citation Graph (0, 0)][DBLP]
    WSS, 1997, pp:64-79 [Conf]
  6. George Varghese
    Compositional proofs of self-stabilizing protocols. [Citation Graph (0, 0)][DBLP]
    WSS, 1997, pp:80-94 [Conf]
  7. Anish Arora, Mohamed G. Gouda
    Delay-insensitive stabilization. [Citation Graph (0, 0)][DBLP]
    WSS, 1997, pp:95-109 [Conf]
  8. Eiichiro Ueda, Yoshiaki Katayama, Toshimitsu Masuzawa, Hideo Fujiwara
    A latency-optimal superstabilizing mutual exclusion protocol. [Citation Graph (0, 0)][DBLP]
    WSS, 1997, pp:110-124 [Conf]
  9. Colette Johnen
    Memory-efficient self-stabilizing algorithm to construct BFS spanning trees. [Citation Graph (0, 0)][DBLP]
    WSS, 1997, pp:125-140 [Conf]
  10. Paolo Boldi, Sebastiano Vigna
    Self-stabilizing universal algorithms. [Citation Graph (0, 0)][DBLP]
    WSS, 1997, pp:141-156 [Conf]
  11. Sukumar Ghosh, Sriram V. Pemmaraju
    Tradeoffs in fault-containing self-stabilization. [Citation Graph (0, 0)][DBLP]
    WSS, 1997, pp:157-169 [Conf]
  12. Karlo Burket, Ruppert Koch
    Self-stabilizing multiple-sender/single-receiver protocol. [Citation Graph (0, 0)][DBLP]
    WSS, 1997, pp:170-184 [Conf]
  13. Jorge Arturo Cobb, Mohamed Waris
    Propagated timestamps: a scheme for the stabilization of maximum-flow routing protocols. [Citation Graph (0, 0)][DBLP]
    WSS, 1997, pp:185-200 [Conf]
  14. Yassine Lakhnech, Michael Siegel
    Deductive verification of stabilizing systems. [Citation Graph (0, 0)][DBLP]
    WSS, 1997, pp:201-216 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002