The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "WSS"( http://dblp.L3S.de/Venues/WSS )

URL (DBLP): http://dblp.uni-trier.de/db/conf/wss

Publication years (Num. hits)
1997 (15) 1999 (15) 2001 (16)
Publication types (Num. hits)
inproceedings(43) proceedings(3)
Venues (Conferences, Journals, ...)
WSS(46)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 46 publication records. Showing 46 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Franck Petit Fast Self-Stabilizing Depth-First Token Circulation. Search on Bibsonomy WSS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Felix C. Gärtner, Stefan Pleisch (Im)Possibilities of Predicate Detection in Crash-Affected Systems. Search on Bibsonomy WSS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Sandeep S. Kulkarni, Ravikant Stabilizing Causal Deterministic Merge. Search on Bibsonomy WSS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Ajoy Kumar Datta, Ted Herman (eds.) Self-Stabilizing Systems, 5th International Workshop, WSS 2001, Lisbon, Portugal, October 1-2, 2001, Proceedings Search on Bibsonomy WSS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Jorge Arturo Cobb, Mohamed G. Gouda Stabilization of Routing in Directed Networks. Search on Bibsonomy WSS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Mohamed G. Gouda The Theory of Weak Stabilization. Search on Bibsonomy WSS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Ted Herman, Imran A. Pirwani A Composite Stabilizing Data Structure. Search on Bibsonomy WSS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Joffroy Beauquier, Thomas Hérault, Elad Schiller Easy Stabilization with an Agent. Search on Bibsonomy WSS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Mohamed G. Gouda, Chin-Tser Huang, Anish Arora On the Security and Vulnerability of PING. Search on Bibsonomy WSS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Joffroy Beauquier, Maria Gradinariu, Colette Johnen Cross-Over Composition - Enforcement of Fairness under Unfair Adversary. Search on Bibsonomy WSS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Sukumar Ghosh Cooperating Mobile Agents and Stabilization. Search on Bibsonomy WSS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Sébastien Tixeuil On a Space-Optimal Distributed Traversal Algorithm. Search on Bibsonomy WSS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Shlomi Dolev, Ted Herman Dijkstra's Self-Stabilizing Algorithm in Unsupportive Environments. Search on Bibsonomy WSS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Ted Herman, Toshimitsu Masuzawa Self-Stabilizing Agent Traversal. Search on Bibsonomy WSS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Rachid Hadid, Vincent Villain A New Efficient Tool for the Design of Self-Stabilizing l-Exclusion Algorithms: The Controller. Search on Bibsonomy WSS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Shlomi Dolev, Elad Schiller Communication Adaptive Self-Stabilizing Group Membership Service. Search on Bibsonomy WSS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Luc Onana Alima Self-stabilizing max-heap. Search on Bibsonomy WSS The full citation details ... 1999 DBLP  BibTeX  RDF
1Felix C. Gärtner, Henning Pagnia Self-stabilizing load distribution for replicated servers on a per-access basis. Search on Bibsonomy WSS The full citation details ... 1999 DBLP  BibTeX  RDF
1Rodney R. Howell, Mikhail Nesterenko, Masaaki Mizuno Finite-state self-stabilizing protocols in message-passing systems. Search on Bibsonomy WSS The full citation details ... 1999 DBLP  BibTeX  RDF
1Oliver E. Theel, Felix C. Gärtner An exercise in proving convergence through transfer functions. Search on Bibsonomy WSS The full citation details ... 1999 DBLP  BibTeX  RDF
1Sandeep S. Kulkarni, John M. Rushby, Natarajan Shankar A case-study in component-based mechanical verification of fault-tolerant programs. Search on Bibsonomy WSS The full citation details ... 1999 DBLP  BibTeX  RDF
1Sukumar Ghosh, Xin He Scalable self-stabilization. Search on Bibsonomy WSS The full citation details ... 1999 DBLP  BibTeX  RDF
1Adam M. Costello, George Varghese The FDDI MAC meets self-stabilization. Search on Bibsonomy WSS The full citation details ... 1999 DBLP  BibTeX  RDF
1Joffroy Beauquier, Ajoy Kumar Datta, Sébastien Tixeuil Self-stabilizing census with cut-through constraint. Search on Bibsonomy WSS The full citation details ... 1999 DBLP  BibTeX  RDF
1Shing-Tsaan Huang, Tzong-Jye Liu Phase synchronization on asynchronous uniform rings with odd size. Search on Bibsonomy WSS The full citation details ... 1999 DBLP  BibTeX  RDF
1Alain Bui, Ajoy Kumar Datta, Franck Petit, Vincent Villain State-optimal snap-stabilizing PIF in tree networks. Search on Bibsonomy WSS The full citation details ... 1999 DBLP  BibTeX  RDF
1Augusto Ciuffoletti Self-stabilizing clock synchronization in a hierarchical network. Search on Bibsonomy WSS The full citation details ... 1999 DBLP  BibTeX  RDF
1Mohamed G. Gouda, F. Furman Haddix The alternator. Search on Bibsonomy WSS The full citation details ... 1999 DBLP  BibTeX  RDF
1Shlomi Dolev, Ted Herman Parallel composition of stabilizing algorithms. Search on Bibsonomy WSS The full citation details ... 1999 DBLP  BibTeX  RDF
1Anish Arora (eds.) 1999 ICDCS Workshop on Self-stabilizing Systems, Austin, Texas, USA, June 5, 1999, Proceedings Search on Bibsonomy WSS The full citation details ... 1999 DBLP  BibTeX  RDF
1Mohamed G. Gouda, Marco Schneider Stabilization of maximal metric trees. Search on Bibsonomy WSS The full citation details ... 1999 DBLP  BibTeX  RDF
1Karlo Burket, Ruppert Koch Self-stabilizing multiple-sender/single-receiver protocol. Search on Bibsonomy WSS The full citation details ... 1997 DBLP  BibTeX  RDF
1Colette Johnen Memory-efficient self-stabilizing algorithm to construct BFS spanning trees. Search on Bibsonomy WSS The full citation details ... 1997 DBLP  BibTeX  RDF
1Anish Arora, Mohamed G. Gouda Delay-insensitive stabilization. Search on Bibsonomy WSS The full citation details ... 1997 DBLP  BibTeX  RDF
1Joffroy Beauquier, Synnöve Kekkonen-Moneta On FTSS-solvable distributed problems. Search on Bibsonomy WSS The full citation details ... 1997 DBLP  BibTeX  RDF
1Paolo Boldi, Sebastiano Vigna Self-stabilizing universal algorithms. Search on Bibsonomy WSS The full citation details ... 1997 DBLP  BibTeX  RDF
1Eiichiro Ueda, Yoshiaki Katayama, Toshimitsu Masuzawa, Hideo Fujiwara A latency-optimal superstabilizing mutual exclusion protocol. Search on Bibsonomy WSS The full citation details ... 1997 DBLP  BibTeX  RDF
1George Varghese Compositional proofs of self-stabilizing protocols. Search on Bibsonomy WSS The full citation details ... 1997 DBLP  BibTeX  RDF
1Uri Abraham, Shlomi Dolev, Ted Herman, Irit Koll Self-stabilizing L-exclusion. Search on Bibsonomy WSS The full citation details ... 1997 DBLP  BibTeX  RDF
1Yassine Lakhnech, Michael Siegel Deductive verification of stabilizing systems. Search on Bibsonomy WSS The full citation details ... 1997 DBLP  BibTeX  RDF
1Sandeep S. Kulkarni, Anish Arora Compositional design of multitolerant repetitive byzantine agreement. Search on Bibsonomy WSS The full citation details ... 1997 DBLP  BibTeX  RDF
1Sukumar Ghosh, Sriram V. Pemmaraju Tradeoffs in fault-containing self-stabilization. Search on Bibsonomy WSS The full citation details ... 1997 DBLP  BibTeX  RDF
1Sukumar Ghosh, Ted Herman (eds.) 3rd Workshop on Self-stabilizing Systems, Santa Barbara, California, USA, August, 1997, Proceedings Search on Bibsonomy WSS The full citation details ... 1997 DBLP  BibTeX  RDF
1Mohamed G. Gouda, F. Furman Haddix The linear alternator. Search on Bibsonomy WSS The full citation details ... 1997 DBLP  BibTeX  RDF
1Jorge Arturo Cobb, Mohamed Waris Propagated timestamps: a scheme for the stabilization of maximum-flow routing protocols. Search on Bibsonomy WSS The full citation details ... 1997 DBLP  BibTeX  RDF
1Hirotsugu Kakugawa, Masaaki Mizuno, Mikhail Nesterenko Development of self-stabilizing distributed algorithms using transformation: case studies. Search on Bibsonomy WSS The full citation details ... 1997 DBLP  BibTeX  RDF
Displaying result #1 - #46 of 46 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license