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

• 2015
• 
  Saba Aflaki, Borzoo Bonakdarpour, Sébastien Tixeuil:
  Automated Analysis of Impact of Scheduling on Performance of Self-stabilizing Protocols. SSS 2015: 156-170
• 
  Andrew Berns:
  Avatar: A Time- and Space-Efficient Self-stabilizing Overlay Network. SSS 2015: 233-247
• 
  Quentin Bramas, Sébastien Tixeuil:
  The Complexity of Data Aggregation in Static and Dynamic Wireless Sensor Networks. SSS 2015: 36-50
• 
  Dan Brownstein, Shlomi Dolev, Niv Gilboa:
  Functional Encryption for Cascade Automata (Extended Abstract). SSS 2015: 94-108
• 
  Colin Cooper, Anissa Lamani, Giovanni Viglietta, Masafumi Yamashita, Yukiko Yamauchi:
  Constructing Self-stabilizing Oscillators in Population Protocols. SSS 2015: 187-200
• 
  Christian Decker, Roger Wattenhofer:
  A Fast and Scalable Payment Network with Bitcoin Duplex Micropayment Channels. SSS 2015: 3-18
• 
  Shlomi Dolev, Chryssis Georgiou, Ioannis Marcoullis, Elad Michael Schiller:
  Self-stabilizing Virtual Synchrony. SSS 2015: 248-264
• 
  Swan Dubois, Mohamed-Hamza Kaaouachi, Franck Petit:
  Enabling Minimal Dominating Set in Highly Dynamic Distributed Systems. SSS 2015: 51-66
• 
  Leszek Gasieniec, David D. Hamilton, Russell Martin, Paul G. Spirakis:
  The Match-Maker: Constant-Space Distributed Majority via Random Walks. SSS 2015: 67-80
• 
  Bao-Thien Hoang, Abdessamad Imine:
  Efficient and Decentralized Polling Protocol for General Social Networks. SSS 2015: 171-186
• 
  Damien Imbs, Sergio Rajsbaum, Adrián Valle:
  Untangling Partial Agreement: Iterated x-consensus Simulations. SSS 2015: 139-155
• 
  Oday Jubran, Eike Möhlmann, Oliver E. Theel:
  Verifying Recurrence Properties in Self-stabilization by Checking the Absence of Finite Counterexamples. SSS 2015: 124-138
• 
  Andreas Koutsopoulos, Christian Scheideler, Thim Strothmann:
  Towards a Universal Approach for the Finite Departure Problem in Overlay Networks. SSS 2015: 201-216
• 
  Rezwana Reaz, Muqeet Ali, Mohamed G. Gouda, Marijn Heule, Ehab S. Elmallah:
  The Implication Problem of Computing Policies. SSS 2015: 109-123
• 
  Benjamin Ries, Bernhard Schamberg, Walter Unger:
  The k-Observer Problem on d-regular Graphs. SSS 2015: 81-93
• 
  Lili Su, Nitin H. Vaidya:
  Reaching Approximate Byzantine Consensus with Multi-hop Communication. SSS 2015: 21-35
• 
  Ling Zhu, Jingshu Chen, Sandeep S. Kulkarni:
  Refinement of Probabilistic Stabilizing Programs Using Genetic Algorithms. SSS 2015: 217-232
• 
  Andrzej Pelc, Alexander A. Schwarzmann:
  Stabilization, Safety, and Security of Distributed Systems - 17th International Symposium, SSS 2015, Edmonton, AB, Canada, August 18-21, 2015, Proceedings. Lecture Notes in Computer Science 9212, Springer 2015, ISBN 978-3-319-21740-6 [contents]