Adam Shimi

Publication Activity (10 Years)

Years Active: 2017-2021
Publications (10 Years): 10

Top Topics

Probabilistic Inference

Inference In Graphical Models

Message Passing

Top Venues

Publications

Adam Shimi, Aurélie Hurault, Philippe Quéinnec
Characterization and Derivation of Heard-Of Predicates for Asynchronous Message-Passing Models. Log. Methods Comput. Sci. 17 (3) (2021)
Adam Shimi, Aurélie Hurault, Philippe Quéinnec
Derivation of Heard-of Predicates from Elementary Behavioral Patterns. FORTE (2020)
Adam Shimi, Aurélie Hurault, Philippe Quéinnec
Characterization and Derivation of Heard-Of Predicates for Asynchronous Message-Passing Models. CoRR (2020)
Adam Shimi, Armando Castañeda
K set-agreement bounds in round-based models through combinatorial topology. CoRR (2020)
Adam Shimi, Armando Castañeda
K-set agreement bounds in round-based models through combinatorial topology. PODC (2020)
Adam Shimi, Aurélie Hurault, Philippe Quéinnec
Derivation of Heard-Of Predicates From Elementary Behavioral Patterns. CoRR (2020)
Adam Shimi
The Splendors and Miseries of Rounds. SIGACT News 50 (3) (2019)
Adam Shimi, Aurélie Hurault, Philippe Quéinnec
Characterizing Asynchronous Message-Passing Models Through Rounds. CoRR (2018)
Adam Shimi, Aurélie Hurault, Philippe Quéinnec
Characterizing Asynchronous Message-Passing Models Through Rounds. OPODIS (2018)
Adam Shimi, Aurélie Hurault, Philippe Quéinnec
Asynchronous Message Orderings Beyond Causality. OPODIS (2017)