ACM

SHERPA: green

Groups

  1. Alistarh Group (8)
  2. Henzinger Group (2)

Results (10)

  • The benefits of relaxing punctuality
    Conference paper
  • Half-order modal logic: How to prove real-time properties
    Conference paper
  • Fast and exact majority in population protocols
    Conference paper
  • Lock-Free algorithms under stochastic schedulers
    Conference paper
  • How to elect a leader faster than a tournament
    Conference paper
  • The power of choice in priority scheduling
    Conference paper