• 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 67 matches

• 2009
• 
  Fuad Abujarad, Sandeep S. Kulkarni:
  Multicore Constraint-Based Automated Stabilization. SSS 2009: 47-61
• 
  Hrishikesh B. Acharya, Ehab S. Elmallah, Mohamed G. Gouda:
  Brief Announcement: Consistent Fixed Points and Negative Gain. SSS 2009: 771-772
• 
  Hrishikesh B. Acharya, Mohamed G. Gouda:
  A Theory of Network Tracing. SSS 2009: 62-74
• 
  Emmanuelle Anceaume, Francisco Vilar Brasileiro, Romaric Ludinard, Bruno Sericola, Frederic Tronel:
  Brief Announcement: Induced Churn to Face Adversarial Behavior in Peer-to-Peer Systems. SSS 2009: 773-774
• 
  Alvaro E. Arenas, Jean-Pierre Banâtre, Thierry Priol:
  Developing Autonomic and Secure Virtual Organisations with Chemical Programming. SSS 2009: 75-89
• 
  Joffroy Beauquier, Janna Burman, Shay Kutten:
  Making Population Protocols Self-stabilizing. SSS 2009: 90-104
• 
  Cinzia Bernardeschi, Paolo Masci, Holger Pfeifer:
  Analysis of Wireless Sensor Network Protocols in Dynamic Scenarios. SSS 2009: 105-119
• 
  Martin Biely, Martin Hutle:
  Consensus When All Processes May Be Byzantine for Some Time. SSS 2009: 120-132
• 
  Lélia Blin, Maria Gradinariu Potop-Butucaru, Stephane Rovedakis:
  A Superstabilizing log(n)-Approximation Algorithm for Dynamic Steiner Trees. SSS 2009: 133-148
• 
  François Bonnet, Michel Raynal:
  Looking for the Weakest Failure Detector for k-Set Agreement in Message-Passing Systems: Is ${\it \Pi}_k${\it \Pi}_k the End of the Road? SSS 2009: 149-164
• 
  Zohir Bouzid, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil:
  Optimal Byzantine Resilient Convergence in Asynchronous Robots Networks. SSS 2009: 165-179
• 
  Mary-Luc Champel, Anne-Marie Kermarrec, Nicolas Le Scouarnec:
  FoG: Fighting the Achilles' Heel of Gossip Protocols with Fountain Codes. SSS 2009: 180-194
• 
  Alain Cournier, Swan Dubois, Vincent Villain:
  How to Improve Snap-Stabilizing Point-to-Point Communication Space Complexity? SSS 2009: 195-208
• 
  Anurag Dasgupta, Sukumar Ghosh, Xin Xiao:
  Fault-Containment in Weakly-Stabilizing Systems. SSS 2009: 209-223
• 
  Mohammad Torabi Dashti:
  Optimistic Fair Exchange Using Trusted Devices. SSS 2009: 711-725
• 
  Kajari Ghosh Dastidar, Ted Herman:
  Separation of Circulating Tokens. SSS 2009: 354-368
• 
  R. E. Lee DeVille, Sayan Mitra:
  Stability of Distributed Algorithms in the Face of Incessant Faults. SSS 2009: 224-237
• 
  Sylvie Delaët, Shlomi Dolev, Olivier Peres:
  Safer Than Safe: On the Initial State of Self-stabilizing Systems. SSS 2009: 775-776
• 
  Abhishek Dhama, Oliver E. Theel, Pepijn Crouzen, Holger Hermanns, Ralf Wimmer, Bernd Becker:
  Dependability Engineering of Silent Self-stabilizing Systems. SSS 2009: 238-253
• 
  Dan Dobre, Matthias Majuntke, Marco Serafini, Neeraj Suri:
  Efficient Robust Storage Using Secret Tokens. SSS 2009: 269-283
• 
  Danny Dolev, Ezra N. Hoch, Yoram Moses:
  An Optimal Self-stabilizing Firing Squad. SSS 2009: 284-296
• 
  Shlomi Dolev, Marina Kopeetsky:
  Anonymous Transactions in Computer Networks. SSS 2009: 297-310
• 
  Shlomi Dolev, Limor Lahiani, Yinnon A. Haviv:
  Brief Announcement: Unique Permutation Hashing. SSS 2009: 777-778
• 
  Shlomi Dolev, Nir Tzachar:
  Randomization Adaptive Self-stabilization. SSS 2009: 779-780
• 
  Dominik Gall, Riko Jacob, Andréa W. Richa, Christian Scheideler, Stefan Schmid, Hanjo Täubig:
  Brief Announcement: On the Time Complexity of Distributed Topological Self-stabilization. SSS 2009: 781-782
• 
  Mohamed G. Gouda, Hrishikesh B. Acharya:
  Nash Equilibria in Stabilizing Systems. SSS 2009: 311-324
• 
  Ning Gui, Vincenzo De Florio, Hong Sun, Chris Blondia:
  ACCADA: A Framework for Continuous Context-Aware Deployment and Adaptation. SSS 2009: 325-340
• 
  Ruan He, Marc Lacoste, Jean Leneutre:
  Brief Announcement: An OS Architecture for Device Self-protection. SSS 2009: 783-784
• 
  Christian Henrich, Matthias Huber, Carmen Kempka, Jörn Müller-Quade, Mario Strefler:
  Brief Announcement: Towards Secure Cloud Computing. SSS 2009: 785-786
• 
  Damien Imbs, Michel Raynal:
  Visiting Gafni's Reduction Land: From the BG Simulation to the Extended BG Simulation. SSS 2009: 369-383

skipping 37 more matches