Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Franck Petit |
Fast Self-Stabilizing Depth-First Token Circulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSS ![In: Self-Stabilizing Systems, 5th International Workshop, WSS 2001, Lisbon, Portugal, October 1-2, 2001, Proceedings, pp. 200-215, 2001, Springer, 3-540-42653-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Felix C. Gärtner, Stefan Pleisch |
(Im)Possibilities of Predicate Detection in Crash-Affected Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSS ![In: Self-Stabilizing Systems, 5th International Workshop, WSS 2001, Lisbon, Portugal, October 1-2, 2001, Proceedings, pp. 98-113, 2001, Springer, 3-540-42653-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Sandeep S. Kulkarni, Ravikant |
Stabilizing Causal Deterministic Merge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSS ![In: Self-Stabilizing Systems, 5th International Workshop, WSS 2001, Lisbon, Portugal, October 1-2, 2001, Proceedings, pp. 183-199, 2001, Springer, 3-540-42653-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Ajoy Kumar Datta, Ted Herman (eds.) |
Self-Stabilizing Systems, 5th International Workshop, WSS 2001, Lisbon, Portugal, October 1-2, 2001, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSS ![Springer, 3-540-42653-1 The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Jorge Arturo Cobb, Mohamed G. Gouda |
Stabilization of Routing in Directed Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSS ![In: Self-Stabilizing Systems, 5th International Workshop, WSS 2001, Lisbon, Portugal, October 1-2, 2001, Proceedings, pp. 51-66, 2001, Springer, 3-540-42653-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed G. Gouda |
The Theory of Weak Stabilization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSS ![In: Self-Stabilizing Systems, 5th International Workshop, WSS 2001, Lisbon, Portugal, October 1-2, 2001, Proceedings, pp. 114-123, 2001, Springer, 3-540-42653-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Ted Herman, Imran A. Pirwani |
A Composite Stabilizing Data Structure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSS ![In: Self-Stabilizing Systems, 5th International Workshop, WSS 2001, Lisbon, Portugal, October 1-2, 2001, Proceedings, pp. 167-182, 2001, Springer, 3-540-42653-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Joffroy Beauquier, Thomas Hérault, Elad Schiller |
Easy Stabilization with an Agent. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSS ![In: Self-Stabilizing Systems, 5th International Workshop, WSS 2001, Lisbon, Portugal, October 1-2, 2001, Proceedings, pp. 35-50, 2001, Springer, 3-540-42653-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed G. Gouda, Chin-Tser Huang, Anish Arora |
On the Security and Vulnerability of PING. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSS ![In: Self-Stabilizing Systems, 5th International Workshop, WSS 2001, Lisbon, Portugal, October 1-2, 2001, Proceedings, pp. 124-135, 2001, Springer, 3-540-42653-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Joffroy Beauquier, Maria Gradinariu, Colette Johnen |
Cross-Over Composition - Enforcement of Fairness under Unfair Adversary. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSS ![In: Self-Stabilizing Systems, 5th International Workshop, WSS 2001, Lisbon, Portugal, October 1-2, 2001, Proceedings, pp. 19-34, 2001, Springer, 3-540-42653-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Sukumar Ghosh |
Cooperating Mobile Agents and Stabilization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSS ![In: Self-Stabilizing Systems, 5th International Workshop, WSS 2001, Lisbon, Portugal, October 1-2, 2001, Proceedings, pp. 1-18, 2001, Springer, 3-540-42653-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Sébastien Tixeuil |
On a Space-Optimal Distributed Traversal Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSS ![In: Self-Stabilizing Systems, 5th International Workshop, WSS 2001, Lisbon, Portugal, October 1-2, 2001, Proceedings, pp. 216-228, 2001, Springer, 3-540-42653-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Shlomi Dolev, Ted Herman |
Dijkstra's Self-Stabilizing Algorithm in Unsupportive Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSS ![In: Self-Stabilizing Systems, 5th International Workshop, WSS 2001, Lisbon, Portugal, October 1-2, 2001, Proceedings, pp. 67-81, 2001, Springer, 3-540-42653-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Ted Herman, Toshimitsu Masuzawa |
Self-Stabilizing Agent Traversal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSS ![In: Self-Stabilizing Systems, 5th International Workshop, WSS 2001, Lisbon, Portugal, October 1-2, 2001, Proceedings, pp. 152-166, 2001, Springer, 3-540-42653-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Rachid Hadid, Vincent Villain |
A New Efficient Tool for the Design of Self-Stabilizing l-Exclusion Algorithms: The Controller. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSS ![In: Self-Stabilizing Systems, 5th International Workshop, WSS 2001, Lisbon, Portugal, October 1-2, 2001, Proceedings, pp. 136-151, 2001, Springer, 3-540-42653-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Shlomi Dolev, Elad Schiller |
Communication Adaptive Self-Stabilizing Group Membership Service. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSS ![In: Self-Stabilizing Systems, 5th International Workshop, WSS 2001, Lisbon, Portugal, October 1-2, 2001, Proceedings, pp. 82-97, 2001, Springer, 3-540-42653-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Luc Onana Alima |
Self-stabilizing max-heap. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSS ![In: 1999 ICDCS Workshop on Self-stabilizing Systems, Austin, Texas, USA, June 5, 1999, Proceedings, pp. 94-101, 1999, IEEE Computer Society, 0-7695-0228-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Felix C. Gärtner, Henning Pagnia |
Self-stabilizing load distribution for replicated servers on a per-access basis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSS ![In: 1999 ICDCS Workshop on Self-stabilizing Systems, Austin, Texas, USA, June 5, 1999, Proceedings, pp. 102-109, 1999, IEEE Computer Society, 0-7695-0228-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Rodney R. Howell, Mikhail Nesterenko, Masaaki Mizuno |
Finite-state self-stabilizing protocols in message-passing systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSS ![In: 1999 ICDCS Workshop on Self-stabilizing Systems, Austin, Texas, USA, June 5, 1999, Proceedings, pp. 62-69, 1999, IEEE Computer Society, 0-7695-0228-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Oliver E. Theel, Felix C. Gärtner |
An exercise in proving convergence through transfer functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSS ![In: 1999 ICDCS Workshop on Self-stabilizing Systems, Austin, Texas, USA, June 5, 1999, Proceedings, pp. 41-47, 1999, IEEE Computer Society, 0-7695-0228-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Sandeep S. Kulkarni, John M. Rushby, Natarajan Shankar |
A case-study in component-based mechanical verification of fault-tolerant programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSS ![In: 1999 ICDCS Workshop on Self-stabilizing Systems, Austin, Texas, USA, June 5, 1999, Proceedings, pp. 33-40, 1999, IEEE Computer Society, 0-7695-0228-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Sukumar Ghosh, Xin He |
Scalable self-stabilization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSS ![In: 1999 ICDCS Workshop on Self-stabilizing Systems, Austin, Texas, USA, June 5, 1999, Proceedings, pp. 18-24, 1999, IEEE Computer Society, 0-7695-0228-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Adam M. Costello, George Varghese |
The FDDI MAC meets self-stabilization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSS ![In: 1999 ICDCS Workshop on Self-stabilizing Systems, Austin, Texas, USA, June 5, 1999, Proceedings, pp. 1-9, 1999, IEEE Computer Society, 0-7695-0228-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Joffroy Beauquier, Ajoy Kumar Datta, Sébastien Tixeuil |
Self-stabilizing census with cut-through constraint. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSS ![In: 1999 ICDCS Workshop on Self-stabilizing Systems, Austin, Texas, USA, June 5, 1999, Proceedings, pp. 70-77, 1999, IEEE Computer Society, 0-7695-0228-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Shing-Tsaan Huang, Tzong-Jye Liu |
Phase synchronization on asynchronous uniform rings with odd size. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSS ![In: 1999 ICDCS Workshop on Self-stabilizing Systems, Austin, Texas, USA, June 5, 1999, Proceedings, pp. 54-61, 1999, IEEE Computer Society, 0-7695-0228-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Alain Bui, Ajoy Kumar Datta, Franck Petit, Vincent Villain |
State-optimal snap-stabilizing PIF in tree networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSS ![In: 1999 ICDCS Workshop on Self-stabilizing Systems, Austin, Texas, USA, June 5, 1999, Proceedings, pp. 78-85, 1999, IEEE Computer Society, 0-7695-0228-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Augusto Ciuffoletti |
Self-stabilizing clock synchronization in a hierarchical network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSS ![In: 1999 ICDCS Workshop on Self-stabilizing Systems, Austin, Texas, USA, June 5, 1999, Proceedings, pp. 86-93, 1999, IEEE Computer Society, 0-7695-0228-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Mohamed G. Gouda, F. Furman Haddix |
The alternator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSS ![In: 1999 ICDCS Workshop on Self-stabilizing Systems, Austin, Texas, USA, June 5, 1999, Proceedings, pp. 48-53, 1999, IEEE Computer Society, 0-7695-0228-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Shlomi Dolev, Ted Herman |
Parallel composition of stabilizing algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSS ![In: 1999 ICDCS Workshop on Self-stabilizing Systems, Austin, Texas, USA, June 5, 1999, Proceedings, pp. 25-32, 1999, IEEE Computer Society, 0-7695-0228-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Anish Arora (eds.) |
1999 ICDCS Workshop on Self-stabilizing Systems, Austin, Texas, USA, June 5, 1999, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSS ![IEEE Computer Society, 0-7695-0228-8 The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Mohamed G. Gouda, Marco Schneider |
Stabilization of maximal metric trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSS ![In: 1999 ICDCS Workshop on Self-stabilizing Systems, Austin, Texas, USA, June 5, 1999, Proceedings, pp. 10-17, 1999, IEEE Computer Society, 0-7695-0228-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Karlo Burket, Ruppert Koch |
Self-stabilizing multiple-sender/single-receiver protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSS ![In: 3rd Workshop on Self-stabilizing Systems, Santa Barbara, California, USA, August, 1997, Proceedings, pp. 170-184, 1997, Carleton University Press, 0-88629-333-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Colette Johnen |
Memory-efficient self-stabilizing algorithm to construct BFS spanning trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSS ![In: 3rd Workshop on Self-stabilizing Systems, Santa Barbara, California, USA, August, 1997, Proceedings, pp. 125-140, 1997, Carleton University Press, 0-88629-333-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Anish Arora, Mohamed G. Gouda |
Delay-insensitive stabilization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSS ![In: 3rd Workshop on Self-stabilizing Systems, Santa Barbara, California, USA, August, 1997, Proceedings, pp. 95-109, 1997, Carleton University Press, 0-88629-333-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Joffroy Beauquier, Synnöve Kekkonen-Moneta |
On FTSS-solvable distributed problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSS ![In: 3rd Workshop on Self-stabilizing Systems, Santa Barbara, California, USA, August, 1997, Proceedings, pp. 64-79, 1997, Carleton University Press, 0-88629-333-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Paolo Boldi, Sebastiano Vigna |
Self-stabilizing universal algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSS ![In: 3rd Workshop on Self-stabilizing Systems, Santa Barbara, California, USA, August, 1997, Proceedings, pp. 141-156, 1997, Carleton University Press, 0-88629-333-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Eiichiro Ueda, Yoshiaki Katayama, Toshimitsu Masuzawa, Hideo Fujiwara |
A latency-optimal superstabilizing mutual exclusion protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSS ![In: 3rd Workshop on Self-stabilizing Systems, Santa Barbara, California, USA, August, 1997, Proceedings, pp. 110-124, 1997, Carleton University Press, 0-88629-333-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | George Varghese |
Compositional proofs of self-stabilizing protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSS ![In: 3rd Workshop on Self-stabilizing Systems, Santa Barbara, California, USA, August, 1997, Proceedings, pp. 80-94, 1997, Carleton University Press, 0-88629-333-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Uri Abraham, Shlomi Dolev, Ted Herman, Irit Koll |
Self-stabilizing L-exclusion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSS ![In: 3rd Workshop on Self-stabilizing Systems, Santa Barbara, California, USA, August, 1997, Proceedings, pp. 48-63, 1997, Carleton University Press, 0-88629-333-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Yassine Lakhnech, Michael Siegel |
Deductive verification of stabilizing systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSS ![In: 3rd Workshop on Self-stabilizing Systems, Santa Barbara, California, USA, August, 1997, Proceedings, pp. 201-216, 1997, Carleton University Press, 0-88629-333-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Sandeep S. Kulkarni, Anish Arora |
Compositional design of multitolerant repetitive byzantine agreement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSS ![In: 3rd Workshop on Self-stabilizing Systems, Santa Barbara, California, USA, August, 1997, Proceedings, pp. 1-15, 1997, Carleton University Press, 0-88629-333-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Sukumar Ghosh, Sriram V. Pemmaraju |
Tradeoffs in fault-containing self-stabilization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSS ![In: 3rd Workshop on Self-stabilizing Systems, Santa Barbara, California, USA, August, 1997, Proceedings, pp. 157-169, 1997, Carleton University Press, 0-88629-333-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Sukumar Ghosh, Ted Herman (eds.) |
3rd Workshop on Self-stabilizing Systems, Santa Barbara, California, USA, August, 1997, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSS ![Carleton University Press, 0-88629-333-2 The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Mohamed G. Gouda, F. Furman Haddix |
The linear alternator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSS ![In: 3rd Workshop on Self-stabilizing Systems, Santa Barbara, California, USA, August, 1997, Proceedings, pp. 31-47, 1997, Carleton University Press, 0-88629-333-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Jorge Arturo Cobb, Mohamed Waris |
Propagated timestamps: a scheme for the stabilization of maximum-flow routing protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSS ![In: 3rd Workshop on Self-stabilizing Systems, Santa Barbara, California, USA, August, 1997, Proceedings, pp. 185-200, 1997, Carleton University Press, 0-88629-333-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Hirotsugu Kakugawa, Masaaki Mizuno, Mikhail Nesterenko |
Development of self-stabilizing distributed algorithms using transformation: case studies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSS ![In: 3rd Workshop on Self-stabilizing Systems, Santa Barbara, California, USA, August, 1997, Proceedings, pp. 16-30, 1997, Carleton University Press, 0-88629-333-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|