19 results on '"Tixeuil, Sébastien"'
Search Results
2. Formal verification of mobile robot protocols
3. Certified Universal Gathering in $$\mathbb {R} ^2$$ for Oblivious Mobile Robots
4. Transient fault detectors
5. Compact Deterministic Self-stabilizing Leader Election
6. Brief Announcement: Wait-Free Gathering of Mobile Robots
7. Brief Announcement: Probabilistic Stabilization under Probabilistic Schedulers
8. On Byzantine Broadcast in Loosely Connected Networks
9. Maximum Metric Spanning Tree Made Byzantine Tolerant
10. Brief Announcement: The BG-Simulation for Byzantine Mobile Robots
11. Self-stabilization with r-operators
12. Brief Announcement: Sharing Memory in a Self-stabilizing Manner
13. The Impact of Topology on Byzantine Containment in Stabilization
14. Exclusive Perpetual Ring Exploration without Chirality
15. Brief Announcement: Dynamic FTSS in Asynchronous Systems: The Case of Unison
16. A New Self-stabilizing Minimum Spanning Tree Construction with Loop-Free Property
17. Optimal Randomized Self-stabilizing Mutual Exclusion on Synchronous Rings
18. Transient fault detectors
19. Compact deterministic self-stabilizing leader election on a ring: the exponential advantage of being talkative
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.