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

• 2023
• 
  Karthi Srinivasan, Yoram Moses, Rajit Manohar:
  Opportunistic Mutual Exclusion. CoRR abs/2305.05802 (2023)
• 2022
• 
  Armando Castañeda, Yannai A. Gonczarowski, Yoram Moses:
  Unbeatable consensus. Distributed Comput. 35(2): 123-143 (2022)
• 
  Bernd Finkbeiner, Niklas Metzger, Yoram Moses:
  Information Flow Guided Synthesis. CAV (2) 2022: 505-525
• 
  Raïssa Nataf, Guy Goren, Yoram Moses:
  Brief Announcement: Null Messages, Information and Coordination. DISC 2022: 49:1-49:3
• 
  Bernd Finkbeiner, Niklas Metzger, Yoram Moses:
  Information Flow Guided Synthesis (Full Version). CoRR abs/2205.12085 (2022)
• 
  Raïssa Nataf, Guy Goren, Yoram Moses:
  Null Messages, Information and Coordination. CoRR abs/2208.10866 (2022)
• 2021
• 
  Guy Goren, Yoram Moses:
  Optimistically tuning synchronous byzantine consensus: another win for null messages. Distributed Comput. 34(5): 395-410 (2021)
• 
  Guy Goren, Shay Vargaftik, Yoram Moses:
  Stochastic Coordination in Heterogeneous Load Balancing Systems. PODC 2021: 403-414
• 
  Guy Goren, Yoram Moses, Alexander Spiegelman:
  Brief Announcement: Probabilistic Indistinguishability and The Quality of Validity in Byzantine Agreement. DISC 2021: 57:1-57:4
• 
  Guy Goren, Shay Vargaftik, Yoram Moses:
  Stochastic Coordination in Heterogeneous Load Balancing Systems. CoRR abs/2105.09389 (2021)
• 2020
• 
  Guy Goren, Yoram Moses:
  Silence. J. ACM 67(1): 3:1-3:26 (2020)
• 
  Guy Goren, Yoram Moses:
  Brief Announcement: On Using Null Messages in a Byzantine Setting. PODC 2020: 405-407
• 
  Yoram Moses, Nitzan Zamir:
  Probably Approximately Knowing. PODC 2020: 375-384
• 
  Guy Goren, Shay Vargaftik, Yoram Moses:
  Distributed Dispatching in the Parallel Server Model. DISC 2020: 14:1-14:18
• 
  Nitzan Zamir, Yoram Moses:
  Probably Approximately Knowing. CoRR abs/2007.02984 (2020)
• 
  Guy Goren, Shay Vargaftik, Yoram Moses:
  Distributed Dispatching in the Parallel Server Model. CoRR abs/2008.00793 (2020)
• 
  Guy Goren, Yoram Moses, Alexander Spiegelman:
  Probabilistic Indistinguishability and the Quality of Validity in Byzantine Agreement. CoRR abs/2011.04719 (2020)
• 2019
• 
  Rajit Manohar, Yoram Moses:
  Asynchronous Signalling Processes. ASYNC 2019: 68-75
• 
  Kyrill Winkler, Ulrich Schmid, Yoram Moses:
  A Characterization of Consensus Solvability for Closed Message Adversaries. OPODIS 2019: 17:1-17:16
• 
  Tal Mizrahi, Yoram Moses:
  Timing in Software-Defined and Centrally-Managed Networks. CoRR abs/1904.06676 (2019)
• 
  Guy Goren, Yoram Moses:
  Byzantine Consensus in the Common Case. CoRR abs/1905.06087 (2019)
• 2018
• 
  Yoram Moses:
  Introduction to the special issue of papers from DISC 2015. Distributed Comput. 31(4): 255 (2018)
• 
  Yoram Moses, Katia Patkin:
  Mutual exclusion as a matter of priority. Theor. Comput. Sci. 751: 46-60 (2018)
• 
  Guy Goren, Yoram Moses:
  Silence. PODC 2018: 285-294
• 
  Guy Goren, Yoram Moses:
  Silence. CoRR abs/1805.07954 (2018)
• 2017
• 
  Joseph Y. Halpern, Yoram Moses:
  Characterizing solution concepts in terms of common knowledge of rationality. Int. J. Game Theory 46(2): 457-473 (2017)
• 
  Tal Mizrahi, Ori Rottenstreich, Yoram Moses:
  TimeFlip: Using Timestamp-Based TCAM Ranges to Accurately Schedule Network Updates. IEEE/ACM Trans. Netw. 25(2): 849-863 (2017)
• 
  Rajit Manohar, Yoram Moses:
  The Eventual C-Element Theorem for Delay-Insensitive Asynchronous Circuits. ASYNC 2017: 102-109
• 
  Armando Castañeda, Yoram Moses, Michel Raynal, Matthieu Roy:
  Early Decision and Stopping in Synchronous Consensus: A Predicate-Based Guided Tour. NETYS 2017: 206-221
• 
  Asa Dan, Rajit Manohar, Yoram Moses:
  On Using Time Without Clocks via Zigzag Causality. PODC 2017: 241-250

skipping 137 more matches