• Published

  Optimal Reads-From Consistency Checking for C11-Style Memory Models

  Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review

• Published

  Maximizing the Probability of Fixation in the Positional Voter Model

  Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

• Published

  Sound Dynamic Deadlock Prediction in Linear Time

  Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review

View all (51) »