Koichi Wada
Identifiers
- name variant Koichi Wada 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 #7
- Using Model Checking to Formally Verify Rendezvous Algorithms for Robots with Lights in Euclidean Space cs.DC · 2019 · author #4
- Neighborhood Mutual Remainder: Self-Stabilizing Implementation of Look-Compute-Move Robots (Extended Abstract) cs.DC · 2019 · author #5
- Gathering Problems for Autonomous Mobile Robots with Lights cs.DC · 2018 · author #2
- Optimal Rendezvous ${\mathcal L}$-Algorithms for Asynchronous Mobile Robots with External-Lights cs.DC · 2018 · author #2
- Optimal Asynchronous Rendezvous for Mobile Robots with Lights cs.DC · 2017 · author #2
- The Gathering Problem for Two Oblivious Robots with Unreliable Compasses cs.DC · 2011 · author #6
- On the Approximability and Hardness of Minimum Topic Connected Overlay and Its Special Instances cs.DS · 2011 · author #6
- Minimum Certificate Dispersal with Tree Structures cs.DS · 2011 · author #4
- The BG-simulation for Byzantine Mobile Robots cs.DC · 2011 · author #4
Mentions
Frequent Coauthors
- Taisuke Izumi 4 shared papers
- Yoshiaki Katayama 4 shared papers
- S\'ebastien Tixeuil 3 shared papers
- Xavier D\'efago 3 shared papers
- Takashi Okumura 2 shared papers
- Adam Heriban 1 shared papers
- Fukuhito Ooshita 1 shared papers
- Hirotaka Ono 1 shared papers
- Horotaka Ono 1 shared papers
- Jun Hosoda 1 shared papers
- Junya Nakamura 1 shared papers
- Juraj Hromkovic 1 shared papers
- Masafumi Yamashita 1 shared papers
- Masahiro Shibata 1 shared papers
- Monika Steinova 1 shared papers
- Naoki Kitamura 1 shared papers
- Nobuhiro Inuzuka 1 shared papers
- Samia Souissi 1 shared papers
- Satoshi Terai 1 shared papers
- Sayaka Kamei 1 shared papers