Filter your results
- 10
- 2
- 9
- 3
- 11
- 1
- 1
- 4
- 1
- 1
- 3
- 2
- 12
- 12
- 8
- 4
- 3
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 11
- 7
- 5
- 4
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
Synchronous t-Resilient Consensus in Arbitrary Graphs21st International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2019), Oct 2019, Pisa, Italy. ⟨10.1007/978-3-030-34992-9_5⟩
Conference papers
hal-02433524v1
|
|||
|
Asynchronous Coordination Under Preferences and Constraints23rd International Colloquium on Structural Information and Communication Complexity, Jul 2016, Helsinki, Finland
Conference papers
hal-01341710v1
|
||
|
Two Convergence Problems for Robots on Graphs7th IEEE Latin-American Symposium on Dependable Computing, Oct 2016, Cali, Colombia. ⟨10.1109/LADC.2016.21⟩
Conference papers
hal-01386628v1
|
||
|
Tasks in modular proofs of concurrent algorithmsInformation and Computation, 2023, 292 (Selected papers from SSS’2019, the 21st International Symposium on Stabilization, Safety, and Security of Distributed Systems), pp.105040. ⟨10.1016/j.ic.2023.105040⟩
Journal articles
hal-04086420v1
|
||
|
The Opinion Number of Set-AgreementOPODIS 2014 - 18th International Conference on Principles of Distributed Systems, Dec 2014, Cortina d’Ampezzo, Italy. pp.155-170
Conference papers
hal-01073578v1
|
||
|
Automatically Adjusting Concurrency to the Level of SynchronyInternational Symposium on Distributed Computing (DISC), Oct 2014, Austin, United States. pp.1-15, ⟨10.1007/978-3-662-45174-8_1⟩
Conference papers
hal-01062031v1
|
||
|
Asynchronous Coordination with Constraints and Preferences35th ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC 2016), Jul 2016, Chicago, United States. ⟨10.1145/2933057.2933081⟩
Conference papers
hal-01326911v1
|
||
|
A Topological Perspective on Distributed Network Algorithms26th International Colloquium on Structural Information and Communication Complexity (SIROCCO 2019), Jul 2019, L'Aquila, Italy. ⟨10.1007/978-3-030-24922-9_1⟩
Conference papers
hal-02433511v1
|
||
|
Building a microfluidic cell culture platform with stiffness control using Loctite 3525 glueLab on a Chip, 2019, 19 (20), pp.3512 - 3525. ⟨10.1039/c9lc00649d⟩
Journal articles
hal-03041909v1
|
||
|
Early Decision and Stopping in Synchronous Consensus: A Predicate-Based Guided TourInternational Conference on Networked Systems (NETYS), May 2017, Marrakech, Morocco. pp.167 - 221, ⟨10.1007/978-3-319-59647-1_16⟩
Conference papers
hal-01559723v1
|
||
|
Convergence and covering on graphs for wait-free robotsJournal of the Brazilian Computer Society, 2018, 24 (1), ⟨10.1186/s13173-017-0065-8⟩
Journal articles
hal-01740338v1
|
||
|
Tasks in Modular Proofs of Concurrent Algorithms21st International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2019), Oct 2019, Pisa, Italy. pp.69-83, ⟨10.1007/978-3-030-34992-9_6⟩
Conference papers
hal-02903005v1
|