OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Items where Person is "Shimi, Adam"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 5.

Conference or Workshop Item

Shimi, Adam and Castañeda, Armando. K-set agreement bounds in round-based models through combinatorial topology. (2020) In: 39th ACM Symposium on Principles of Distributed Computing (PODC 2020), 3 August 2020 - 7 August 2020 (Salerno, Italy).

Shimi, Adam and Hurault, Aurélie and Quéinnec, Philippe. Derivation of Heard-Of Predicates From Elementary Behavioral Patterns. (2020) In: International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2020), 15 June 2020 - 19 June 2020 (Online, France).

Shimi, Adam and Hurault, Aurélie and Quéinnec, Philippe. Asynchronous Message Orderings Beyond Causality. (2018) In: The 21st International Conference on Principles of Distributed Systems (OPODIS 2017), 18 December 2017 - 20 December 2017 (Lisboa, Portugal).

Shimi, Adam and Hurault, Aurélie and Quéinnec, Philippe. Characterizing Asynchronous Message-Passing Models Through Rounds. (2018) In: 22nd International Conference On Principles Of Distributed Systems (OPODIS 2018), 17 December 2018 - 19 December 2018 (Hong Kong, Hong Kong).

Thesis

Shimi, Adam. On the Power of Rounds : Explorations of the Heard-Of Model. PhD, Informatique et Télécommunication, Institut National Polytechnique de Toulouse, 2020, 145 p.

This list was generated on Wed Sep 22 06:54:29 2021 CEST.