S\'ebastien Tixeuil
Identifiers
- name variant S\'ebastien Tixeuil 0.60 · backfill
Papers (10)
- Tight Bounds on Window Size and Time for Single-Agent Graph Exploration under T-Interval Connectivity cs.DC · 2026 · author #5
- Using Model Checking to Formally Verify Rendezvous Algorithms for Robots with Lights in Euclidean Space cs.DC · 2019 · author #3
- Asynchronous Scattering cs.MA · 2019 · author #2
- Ring Exploration with Myopic Luminous Robots cs.DC · 2018 · author #2
- Compact Self-Stabilizing Leader Election for Arbitrary Networks cs.DC · 2017 · author #2
- Compact Deterministic Self-Stabilizing Leader Election: The Exponential Advantage of Being Talkative cs.DC · 2014 · author #2
- Wait-Free Gathering of Mobile Robots cs.DC · 2012 · author #3
- Gathering an even number of robots in an odd ring without global multiplicity detection cs.DC · 2012 · author #4
- The BG-simulation for Byzantine Mobile Robots cs.DC · 2011 · author #3
- Discovering Network Topology in the Presence of Byzantine Faults cs.DC · 2006 · author #2
Mentions
Frequent Coauthors
- Koichi Wada 3 shared papers
- Fukuhito Ooshita 2 shared papers
- L\'elia Blin 2 shared papers
- Zohir Bouzid 2 shared papers
- Adam Heriban 1 shared papers
- Anissa Lamani (MIS) 1 shared papers
- Junya Nakamura 1 shared papers
- Masahiro Shibata 1 shared papers
- Mikhail Nesterenko 1 shared papers
- Naoki Kitamura 1 shared papers
- Sayaka Kamei 1 shared papers
- Shantanu Das 1 shared papers
- Taisuke Izumi 1 shared papers
- Toshimitsu Masuzawa 1 shared papers
- Ulysse L\'echine 1 shared papers
- Xavier D\'efago 1 shared papers
- Yuichi Sudo 1 shared papers