Adam Shimi

According to our database, Adam Shimi authored at least 7 papers between 2017 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Characterization and Derivation of Heard-Of Predicates for Asynchronous Message-Passing Models.

Adam Shimi, Aurélie Hurault, Philippe Quéinnec

Log. Methods Comput. Sci., 2021

2020

On the Power of Rounds: Explorations of the Heard-Of Model. (De la puissance des tours: exploration du modèle Heard-Of).

Adam Shimi

PhD thesis, 2020

K-set agreement bounds in round-based models through combinatorial topology.

Adam Shimi, Armando Castañeda

Proceedings of the PODC '20: ACM Symposium on Principles of Distributed Computing, 2020

Derivation of Heard-of Predicates from Elementary Behavioral Patterns.

Adam Shimi, Aurélie Hurault, Philippe Quéinnec

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2020

2019

The Splendors and Miseries of Rounds.

Adam Shimi

SIGACT News, 2019

2018

Characterizing Asynchronous Message-Passing Models Through Rounds.

Adam Shimi, Aurélie Hurault, Philippe Quéinnec

Proceedings of the 22nd International Conference on Principles of Distributed Systems, 2018

2017

Asynchronous Message Orderings Beyond Causality.

Adam Shimi, Aurélie Hurault, Philippe Quéinnec

Proceedings of the 21st International Conference on Principles of Distributed Systems, 2017