Skip to Main content Skip to Navigation

hal-01950791v1  Journal articles
Jean-Dominique FavreauFlorent LafargeAdrien BousseauAlex Auvolat. Extracting Geometric Structures in Images with Delaunay Point Processes
IEEE Transactions on Pattern Analysis and Machine Intelligence, Institute of Electrical and Electronics Engineers, 2020, 42 (4), ⟨10.1109/TPAMI.2018.2890586⟩
hal-02303490v1  Conference papers
Alex AuvolatFrançois Taïani. Merkle Search Trees: Efficient State-Based CRDTs in Open Networks
SRDS 2019 - 38th IEEE International Symposium on Reliable Distributed Systems, Oct 2019, Lyon, France. pp.1-10, ⟨10.1109/SRDS.2019.00032⟩
hal-02376673v1  Conference papers
Alex AuvolatMichel RaynalFrançois Taïani. Byzantine-Tolerant Set-Constrained Delivery Broadcast
OPODIS 2019 - International Conference on Principles of Distributed Systems, Dec 2019, Neuchâtel, Switzerland. pp.1-23, ⟨10.4230/LIPIcs.OPODIS.2019.16⟩
hal-02861511v3  Journal articles
Alex AuvolatDavide FreyMichel RaynalFrançois Taïani. Money Transfer Made Simple: a Specification, a Generic Algorithm, and its Proof
Bulletin- European Association for Theoretical Computer Science, European Association for Theoretical Computer Science; 1999, 2020, 132
hal-03346710v1  Journal articles
Alex AuvolatDavide FreyMichel RaynalFrançois Taïani. Byzantine-Tolerant Causal Broadcast
Theoretical Computer Science, Elsevier, 2021, 885, pp.55-68. ⟨10.1016/j.tcs.2021.06.021⟩
hal-02964806v2  Conference papers
Fabien CoulonAlex AuvolatBenoit CombemaleYérom-David BrombergFrançois Taïani et al.  Modular and Distributed IDE
SLE 2020 - 13th ACM SIGPLAN International Conference on Software Language Engineering, Nov 2020, Virtual, United States. pp.270-282, ⟨10.1145/3426425.3426947⟩