( en | de | ru )

 

Disambiguation of "Wada, Koichi"

Author of the publication

copydeleteadd this publication to your clipboard
Optimal Rendezvous L-Algorithms for Asynchronous Mobile Robots with External-Lights.

, , and . OPODIS, volume 125 of LIPIcs, page 24:1-24:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Hiroshi Wada

Koichi Matsumoto

Koichi Koshi

Eitaro Wada

Koichi Morikawa

 

Other publications of authors with the same name

Improving Space Complexity of Self-stabilizing Counting on Mobile Sensor Networks., , , and . OPODIS, volume 6490 of Lecture Notes in Computer Science, page 504-515. Springer, (2010)On the Computational Power of Energy-Constrained Mobile Robots: Algorithms and Cross-Model Analysis., , , , , and . SIROCCO, volume 13298 of Lecture Notes in Computer Science, page 42-61. Springer, (2022)Space Complexity of Self-stabilizing Leader Election in Passively-Mobile Anonymous Agents., , and . SIROCCO, volume 5869 of Lecture Notes in Computer Science, page 113-125. Springer, (2009)Embedding area of d-way shuffle graph on a VLSI model., , and . Syst. Comput. Jpn., 17 (6): 10-19 (1986)Parallel Robust Algorithms for Constructing Strongly Convex Hulls., , and . SCG, page 133-140. ACM, (1996)Integer Summing Algorithms on Reconfigurable Meshes., and . Theor. Comput. Sci., 197 (1-2): 57-77 (1998)Gathering problems for autonomous mobile robots with lights., , and . Theor. Comput. Sci., (2023)Using model checking to formally verify rendezvous algorithms for robots with lights in Euclidean space., , , and . Robotics Auton. Syst., (May 2023)Image Interpolation using Feedforward Neural Network., , and . Artificial Intelligence and Applications, page 861-866. IASTED/ACTA Press, (2005)Using Model Checking to Formally Verify Rendezvous Algorithms for Robots with Lights in Euclidean Space., , , and . SRDS, page 113-122. IEEE, (2020)