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

• 2024
• 
  Tal Mizrahi, Michael Schapira, Yoram Moses:
  The Observer Effect in Computer Networks. ANRW 2024
• 
  Bernd Finkbeiner, Niklas Metzger, Yoram Moses:
  Information Flow Guided Synthesis with Unbounded Communication. CAV (3) 2024: 64-86
• 
  Tal Mizrahi, Michael Schapira, Yoram Moses:
  The Observer Effect in Computer Networks. CoRR abs/2406.09093 (2024)
• 
  Bernd Finkbeiner, Niklas Metzger, Yoram Moses:
  Information Flow Guided Synthesis with Unbounded Communication. CoRR abs/2407.12298 (2024)
• 2023
• 
  Guy Goren, Shay Vargaftik, Yoram Moses:
  Stochastic coordination in heterogeneous load balancing systems. Distributed Comput. 36(3): 253-275 (2023)
• 
  Guy Goren, Shay Vargaftik, Yoram Moses:
  Distributed Dispatching in the Parallel Server Model. IEEE/ACM Trans. Netw. 31(4): 1521-1534 (2023)
• 
  Rajit Manohar, Yoram Moses:
  Timed Signalling Processes. ASYNC 2023: 10-19
• 
  Karthi Srinivasan, Yoram Moses, Rajit Manohar:
  Opportunistic Mutual Exclusion. ASYNC 2023: 1-9
• 
  Ariel Livshits, Yoram Moses:
  Probable Approximate Coordination. OPODIS 2023: 19:1-19:21
• 
  Raïssa Nataf, Guy Goren, Yoram Moses:
  Null Messages, Information and Coordination. DISC 2023: 30:1-30:21
• 
  Karthi Srinivasan, Yoram Moses, Rajit Manohar:
  Opportunistic Mutual Exclusion. CoRR abs/2305.05802 (2023)
• 
  Yannai A. Gonczarowski, Yoram Moses:
  Common Knowledge, Regained. CoRR abs/2311.04374 (2023)
• 
  Ariel Livshits, Yoram Moses:
  Probable Approximate Coordination. CoRR abs/2311.05368 (2023)
• 
  Armando Castañeda, Hans van Ditmarsch, Roman Kuznets, Yoram Moses, Ulrich Schmid:
  Epistemic and Topological Reasoning in Distributed Systems (Dagstuhl Seminar 23272). Dagstuhl Reports 13(7): 34-65 (2023)
• 2022
• 
  Armando Castañeda, Yannai A. Gonczarowski, Yoram Moses:
  Unbeatable consensus. Distributed Comput. 35(2): 123-143 (2022)
• 
  Guy Goren, Yoram Moses, Alexander Spiegelman:
  Probabilistic Indistinguishability and the Quality of Validity in Byzantine Agreement. AFT 2022: 111-125
• 
  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)

skipping 151 more matches