Kyushu University Academic Staff Educational and Research Activities Database
List of Papers
Yukiko Yamauchi Last modified date:2020.07.02

Associate Professor / Mathematical Informatics / Department of Informatics / Faculty of Information Science and Electrical Engineering

1. Yukiko Yamauchi, Distributed computing theory for molecular robot systems, New Generation Computing, 10.1007/s00354-020-00092-1, 38, 325-340, 2020.05.
2. Junpei Nakashima, Yukiko Yamauchi, Shuji Kijima, and Masafumi Yamashita, Finding Submodularity Hidden in Symmetric Difference, SIAM Journal on Discrete Mathematics,, 10.1137/19M1243361, 34, 1, 571-585, 2020.03.
3. Giuseppe A. Di Luna, Paola Flocchini, Nicola Santoro, Giovanni Viglietta, and Yukiko Yamauchi, Shape formation by programmable particles, Distributed Computing, 10.1007/s00446-019-00350-6, 33, 69-101, 2020.02.
4. Takeharu Shiraga, Yukiko Yamauchi, Shuji Kijima, and Masafumi Yamashita, Deterministic random walks for rapidly mixing chains, SIAM Journal on Discrete Mathematics, 10.1137/16M1087667, 32, 3, 2180-2193, 2018.08.
5. Zhiqiang Liu, Yukiko Yamauchi, Shuji Kijima, Masafumi Yamashita, Team assembling problem for asynchronous heterogeneous mobile robots, Theoretical Computer Science, 10.1016/j.tcs.2018.01.009, 721, 27-41, 2018.04.
6. Hiroshi Nishiyama, Yusuke Kobayashi, Yukiko Yamauchi, Shuji Kijima, Masafumi Yamashita, The parity Hamiltonian cycle problem, Discrete Mathematics, 10.1016/j.disc.2017.10.025, 341, 3, 606-626, 2018.03.
7. Takeharu Shiraga, Yukiko Yamauchi, Shuji Kijima, Masafumi Yamashita, Total variation discrepancy of deterministic random walks for ergodic Markov chains, Theoretical Computer Science, 10.1016/j.tcs.2016.11.017, 699, 63-74, 2017.11.
8. Takashi Horiyama, Takashi Iizuka, Masashi Kiyomi, Yoshio Okamoto, Ryuhei Uehara, Takeaki Uno, Yushi Uno, Yukiko Yamauchi, Sankaku-Tori: An Old Western-Japanese Game Played on a Point Set, Journal of Information Processing, 10.2197/ipsjjip.25.708, 25, 708-715, 2017.08.
9. Colin Cooper, LAMANI ANISSA KHEDIDJA, Giovanni Viglietta, Masafumi Yamashita, Yukiko Yamauchi, Constructing self-stabilizing oscillators in population protocols, Information and Computation, 10.1016/j.ic.2016.12.002, 255, 3, 336-351, 2017.08.
10. Yukiko Yamauchi, Taichi Uehara, Shuji Kijima, Masafumi Yamashita, Plane Formation by Synchronous Mobile Robots in the Three Dimensional Euclidean Space, Journal of the ACM, 10.1145/3060272, 64, 3, 16:1-16:43, 2017.06, Creating a swarm of mobile computing entities, frequently called robots, agents, or sensor nodes, with self-organization ability is a contemporary challenge in distributed computing. Motivated by this, we investigate the plane formation problem that requires a swarm of robots moving in the three-dimensional Euclidean space to land on a common plane. The robots are fully synchronous and endowed with visual perception. But they do not have identifiers, nor access to the global coordinate system, nor any means of explicit communication with each other. Though there are plenty of results on the agreement problem for robots in the two-dimensional plane, for example, the point formation problem, the pattern formation problem, and so on, this is the first result for robots in the three-dimensional space. This article presents a necessary and sufficient condition for fully synchronous robots to solve the plane formation problem that does not depend on obliviousness, i.e., the availability of local memory at robots. An implication of the result is somewhat counter-intuitive: The robots cannot form a plane from most of the semi-regular polyhedra, while they can form a plane from every regular polyhedron (except a regular icosahedron), whose symmetry is usually considered to be higher than any semi-regular polyhedron..
11. Sayaka Kamei, Tomoko Izumi, Yukiko Yamauchi, An asynchronous self-stabilizing approximation for the minimum CDS with safe convergence in UDGs, Theoretical Computer Science, 615, 102-119, 2016.02.
12. Nao Fujinaga, Yukiko Yamauchi, Hirotaka Ono, Shuji Kijima, Masafumi Yamashita, Pattern Formation by Oblivious Asynchronous Mobile Robots, SIAM Journal on Computing, 10.1137/140958682, 44, 3, 740-785, 2015.06.
13. Yukiko Yamauchi, A survey on pattern formation of autonomous mobile robots: asynchrony, obliviousness and visibility, Journal of Physics: Conference Series, 473, 012016, 2013.12.
14. Yuichi Sudo, Junya Nakamura, Yukiko Yamauchi, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa, Loosely-stabilizing leader election in population protocol model, Theoretical Computer Science, 444, 100-112, 2012.07.
15. Asaad Ahmed, Keiichi Yasumoto, Yukiko Yamauchi, Minoru Ito, Probabilistic Coverage Methods in People-Centric Sensing, Journal of Information Processing, 19, 473-490, 2011.10.
16. Hirotsugu Kakugawa, Yukiko Yamauchi, Sayaka Kamei, Toshimitsu Masuzawa, Observations on non-silent self-stabilizing algorithms in sensor networks with probabilistically intermittent link failures, Theoretical Computer Science, 412, 33, 4336-4349, 2011.07.
17. Yukiko Yamauchi, Doina Bein, Toshimitsu Masuzawa, Reliable communication on emulated channels resilient to transient faults, International Journal of Foundations of Computer Science, 22, 5, 10991-1122, 2011.08.
18. Yukiko Yamauchi, Doina Bein, Toshimitsu Masuzawa, Linda Morales, I. Hal Sudborough, Calibrating embedded protocols on asynchronous systems, Information Sciences (Elsevier), 180, 1793--1801, 2010.05.
19. Yukiko Yamauchi, Sayaka Kamei, Fukuhito Ooshita, Yoshiaki Katayama, Hirotsugu Kakugawa, and Toshimitsu Masuzawa, Timer-based composition of fault-containing self-stabilizing protocols, Information Sciences, 180, 1802--1816, 2010.05.
20. Yukiko Yamauchi, Toshimitsu Masuzawa, and Doina Bein, Preserving the fault-containment of ring protocols executed on trees, The Computer Journal (Oxford University Press), 152, 4, 483--498, 2009.07.
21. Yukiko Yamauchi, Sayaka Kamei, Fukuhito Ooshita, Yoshiaki Katayama, Hirotsugu Kakugawa, and Toshimitsu Masuzawa, Hierarchical composition of self-stabilizing protocols preserving the fault-containment property, IEICE Transactions on Information and Systems, E92-D, 3, 451--459, 2009.03.