• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 46 matches

• 2001
• 
  Joffroy Beauquier, Maria Gradinariu, Colette Johnen:
  Cross-Over Composition - Enforcement of Fairness under Unfair Adversary. WSS 2001: 19-34
• 
  Joffroy Beauquier, Thomas Hérault, Elad Schiller:
  Easy Stabilization with an Agent. WSS 2001: 35-50
• 
  Jorge Arturo Cobb, Mohamed G. Gouda:
  Stabilization of Routing in Directed Networks. WSS 2001: 51-66
• 
  Shlomi Dolev, Ted Herman:
  Dijkstra's Self-Stabilizing Algorithm in Unsupportive Environments. WSS 2001: 67-81
• 
  Shlomi Dolev, Elad Schiller:
  Communication Adaptive Self-Stabilizing Group Membership Service. WSS 2001: 82-97
• 
  Felix C. Gärtner, Stefan Pleisch:
  (Im)Possibilities of Predicate Detection in Crash-Affected Systems. WSS 2001: 98-113
• 
  Sukumar Ghosh:
  Cooperating Mobile Agents and Stabilization. WSS 2001: 1-18
• 
  Mohamed G. Gouda:
  The Theory of Weak Stabilization. WSS 2001: 114-123
• 
  Mohamed G. Gouda, Chin-Tser Huang, Anish Arora:
  On the Security and Vulnerability of PING. WSS 2001: 124-135
• 
  Rachid Hadid, Vincent Villain:
  A New Efficient Tool for the Design of Self-Stabilizing l-Exclusion Algorithms: The Controller. WSS 2001: 136-151
• 
  Ted Herman, Toshimitsu Masuzawa:
  Self-Stabilizing Agent Traversal. WSS 2001: 152-166
• 
  Ted Herman, Imran A. Pirwani:
  A Composite Stabilizing Data Structure. WSS 2001: 167-182
• 
  Sandeep S. Kulkarni, Ravikant:
  Stabilizing Causal Deterministic Merge. WSS 2001: 183-199
• 
  Franck Petit:
  Fast Self-Stabilizing Depth-First Token Circulation. WSS 2001: 200-215
• 
  Sébastien Tixeuil:
  On a Space-Optimal Distributed Traversal Algorithm. WSS 2001: 216-228
• 
  Ajoy Kumar Datta, Ted Herman:
  Self-Stabilizing Systems, 5th International Workshop, WSS 2001, Lisbon, Portugal, October 1-2, 2001, Proceedings. Lecture Notes in Computer Science 2194, Springer 2001, ISBN 3-540-42653-1 [contents]
• 1999
• 
  Luc Onana Alima:
  Self-stabilizing max-heap. WSS 1999: 94-101
• 
  Joffroy Beauquier, Ajoy Kumar Datta, Sébastien Tixeuil:
  Self-stabilizing census with cut-through constraint. WSS 1999: 70-77
• 
  Alain Bui, Ajoy Kumar Datta, Franck Petit, Vincent Villain:
  State-optimal snap-stabilizing PIF in tree networks. WSS 1999: 78-85
• 
  Augusto Ciuffoletti:
  Self-stabilizing clock synchronization in a hierarchical network. WSS 1999: 86-93
• 
  Adam M. Costello, George Varghese:
  The FDDI MAC meets self-stabilization. WSS 1999: 1-9
• 
  Shlomi Dolev, Ted Herman:
  Parallel composition of stabilizing algorithms. WSS 1999: 25-32
• 
  Felix C. Gärtner, Henning Pagnia:
  Self-stabilizing load distribution for replicated servers on a per-access basis. WSS 1999: 102-109
• 
  Sukumar Ghosh, Xin He:
  Scalable self-stabilization. WSS 1999: 18-24
• 
  Mohamed G. Gouda, F. Furman Haddix:
  The alternator. WSS 1999: 48-53
• 
  Mohamed G. Gouda, Marco Schneider:
  Stabilization of maximal metric trees. WSS 1999: 10-17
• 
  Rodney R. Howell, Mikhail Nesterenko, Masaaki Mizuno:
  Finite-state self-stabilizing protocols in message-passing systems. WSS 1999: 62-69
• 
  Shing-Tsaan Huang, Tzong-Jye Liu:
  Phase synchronization on asynchronous uniform rings with odd size. WSS 1999: 54-61
• 
  Sandeep S. Kulkarni, John M. Rushby, Natarajan Shankar:
  A case-study in component-based mechanical verification of fault-tolerant programs. WSS 1999: 33-40
• 
  Oliver E. Theel, Felix C. Gärtner:
  An exercise in proving convergence through transfer functions. WSS 1999: 41-47

skipping 16 more matches