23 results on '"Tixeuil, Sébastien"'
Search Results
2. Resource efficient stabilization for local tasks despite unknown capacity links
3. Using model checking to formally verify rendezvous algorithms for robots with lights in Euclidean space
4. The agreement power of disagreement
5. Optimal self-stabilizing mobile byzantine-tolerant regular register with bounded timestamps
6. Stand up indulgent gathering
7. Uniform bipartition in the population protocol model with arbitrary graphs
8. On the self-stabilization of mobile oblivious robots in uniform rings
9. Gathering fat mobile robots with slim omnidirectional cameras
10. Optimal probabilistic ring exploration by semi-synchronous oblivious robots
11. A self-stabilizing [formula omitted]-approximation algorithm for the maximum matching problem
12. Deterministic secure positioning in wireless sensor networks
13. Dynamic FTSS in asynchronous systems: The case of unison
14. Optimal Byzantine-resilient convergence in uni-dimensional robot networks
15. Quiescence of self-stabilizing gossiping among mobile agents in graphs
16. A new self-stabilizing maximal matching algorithm
17. Evaluating Complex MAC Protocols for Sensor Networks with APMC
18. FAIL-FCI: Versatile fault injection
19. Self-stabilization with path algebra
20. A self-stabilizing 23-approximation algorithm for the maximum matching problem
21. Approximate Agreement under Mobile Byzantine Faults.
22. On asynchronous rendezvous in general graphs.
23. On time complexity for connectivity-preserving scattering of mobile robots.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.