Koichi Wada

ORCID

Publication Activity (10 Years)

Years Active: 1984-2023
Publications (10 Years): 41

Top Venues

Publications

Fabian Frei, Koichi Wada
Efficient deterministic MapReduce algorithms for parallelizable problems. J. Parallel Distributed Comput. 177 (2023)
Takashi Okumura, Koichi Wada, Xavier Défago
Optimal L-algorithms for rendezvous of asynchronous mobile robots with external-lights. Theor. Comput. Sci. 979 (2023)
Yotam Ashkenazi, Shlomi Dolev, Sayaka Kamei, Yoshiaki Katayama, Fukuhito Ooshita, Koichi Wada
Location functions for self-stabilizing byzantine tolerant swarms. Theor. Comput. Sci. 954 (2023)
Xavier Défago, Adam Heriban, Sébastien Tixeuil, Koichi Wada
Using model checking to formally verify rendezvous algorithms for robots with lights in Euclidean space. Robotics Auton. Syst. 163 (2023)
Satoshi Terai, Koichi Wada, Yoshiaki Katayama
Gathering problems for autonomous mobile robots with lights. Theor. Comput. Sci. 941 (2023)
Yonghwan Kim, Yoshiaki Katayama, Koichi Wada
Complete Visibility Algorithm for Autonomous Mobile Luminous Robots under an Asynchronous Scheduler on Grid Plane. CoRR (2023)
Paola Flocchini, Nicola Santoro, Yuichi Sudo, Koichi Wada
On Asynchrony, Memory, and Communication: Separations and Landscapes. CoRR (2023)
Daigo Katayama, Kazuo Ishii, Shinsuke Yasukawa, Yuya Nishida, Satoshi Nakadomari, Koichi Wada, Akane Befu, Chikako Yamada
Grid Map Correction for Fall Risk Alert System Using Smartphone. J. Robotics Mechatronics 35 (3) (2023)
Yotam Ashkenazi, Shlomi Dolev, Sayaka Kamei, Fukuhito Ooshita, Koichi Wada
Forgive and forget: Self-stabilizing swarms in spite of Byzantine robots. Concurr. Comput. Pract. Exp. 35 (11) (2023)
Kevin Buchin, Paola Flocchini, Irina Kostitsyna, Tom Peters, Nicola Santoro, Koichi Wada
On the Computational Power of Energy-Constrained Mobile Robots: Algorithms and Cross-Model Analysis. CoRR (2022)
Kevin Buchin, Paola Flocchini, Irina Kostitsyna, Tom Peters, Nicola Santoro, Koichi Wada
On the Computational Power of Energy-Constrained Mobile Robots: Algorithms and Cross-Model Analysis. SIROCCO (2022)
Danhe Tian, Shinichi Yamagiwa, Koichi Wada
Heuristic Method for Minimizing Model Size of CNN by Combining Multiple Pruning Techniques. Sensors 22 (15) (2022)
Rikuo Nakai, Yuichi Sudo, Koichi Wada
Asynchronous Gathering Algorithms for Autonomous Mobile Robots with Lights. CoRR (2021)
Rikuo Nakai, Yuichi Sudo, Koichi Wada
Asynchronous Gathering Algorithms for Autonomous Mobile Robots with Lights. SSS (2021)
Seiya Kozakai, Noriyuki Fujimoto, Koichi Wada
Efficient GPU-Implementation for Integer Sorting Based on Histogram and Prefix-Sums. ICPP (2021)
Yotam Ashkenazi, Shlomi Dolev, Sayaka Kamei, Yoshiaki Katayama, Fukuhito Ooshita, Koichi Wada
Location Functions for Self-stabilizing Byzantine Tolerant Swarms. SSS (2021)
Kevin Buchin, Paola Flocchini, Irina Kostitsyna, Tom Peters, Nicola Santoro, Koichi Wada
Autonomous Mobile Robots: Refining the Computational Landscape. IPDPS Workshops (2021)
Sayaka Kamei, Anissa Lamani, Fukuhito Ooshita, Sébastien Tixeuil, Koichi Wada
Asynchronous Gathering in a Torus. OPODIS (2021)
Sayaka Kamei, Anissa Lamani, Fukuhito Ooshita, Sébastien Tixeuil, Koichi Wada
Asynchronous Gathering in a Torus. CoRR (2021)
Xavier Défago, Adam Heriban, Sébastien Tixeuil, Koichi Wada
Using Model Checking to Formally Verify Rendezvous Algorithms for Robots with Lights in Euclidean Space. SRDS (2020)
Yonghwan Kim, Yoshiaki Katayama, Koichi Wada
Pairbot: A Novel Model for Autonomous Mobile Robot Systems Consisting of Paired Robots. CoRR (2020)
Yotam Ashkenazi, Shlomi Dolev, Sayaka Kamei, Fukuhito Ooshita, Koichi Wada
Brief Announcement Forgive & Forget: Self-stabilizing Swarms in Spite of Byzantine Robots. SSS (2019)
Fabian Frei, Koichi Wada
Efficient Circuit Simulation in MapReduce. ISAAC (2019)
Sayaka Kamei, Anissa Lamani, Fukuhito Ooshita, Sébastien Tixeuil, Koichi Wada
Gathering on Rings for Myopic Asynchronous Robots with Lights. CoRR (2019)
Fabian Frei, Koichi Wada
Efficient Circuit Simulation in MapReduce. CoRR (2019)
Xavier Défago, Adam Heriban, Sébastien Tixeuil, Koichi Wada
Using Model Checking to Formally Verify Rendezvous Algorithms for Robots with Lights in Euclidean Space. CoRR (2019)
Yotam Ashkenazi, Shlomi Dolev, Sayaka Kamei, Fukuhito Ooshita, Koichi Wada
Forgive & Forget: Self-Stabilizing Swarms in Spite of Byzantine Robots. CANDAR Workshops (2019)
Sayaka Kamei, Anissa Lamani, Fukuhito Ooshita, Sébastien Tixeuil, Koichi Wada
Gathering on Rings for Myopic Asynchronous Robots With Lights. OPODIS (2019)
Paola Flocchini, Nicola Santoro, Koichi Wada
On Memory, Communication, and Synchronous Schedulers When Moving and Computing. OPODIS (2019)
Shlomi Dolev, Sayaka Kamei, Yoshiaki Katayama, Fukuhito Ooshita, Koichi Wada
Neighborhood Mutual Remainder: Self-Stabilizing Implementation of Look-Compute-Move Robots (Extended Abstract). CoRR (2019)
Xavier Défago, Adam Heriban, Sébastien Tixeuil, Koichi Wada
Brief Announcement: Model Checking Rendezvous Algorithms for Robots with Lights in Euclidean Space. DISC (2019)
Jirayu Peetakul, Jinjia Zhou, Koichi Wada
A Measurement Coding System for Block-Based Compressive Sensing Images by Using Pixel-Domain Features. DCC (2019)
Shlomi Dolev, Sayaka Kamei, Yoshiaki Katayama, Fukuhito Ooshita, Koichi Wada
Brief Announcement: Neighborhood Mutual Remainder and Its Self-Stabilizing Implementation of Look-Compute-Move Robots. DISC (2019)
Shlomi Dolev, Sayaka Kamei, Yoshiaki Katayama, Fukuhito Ooshita, Koichi Wada
Brief Announcement: Self-stabilizing LCM Schedulers for Autonomous Mobile Robots Using Neighborhood Mutual Remainder. SSS (2019)
Takashi Okumura, Koichi Wada, Yoshiaki Katayama
Rendezvous of Asynchronous Mobile Robots with Lights. Adventures Between Lower Bounds and Higher Altitudes (2018)
Takashi Okumura, Koichi Wada, Xavier Défago
Optimal Rendezvous L-Algorithms for Asynchronous Mobile Robots with External-Lights. CoRR (2018)
Takashi Okumura, Koichi Wada, Xavier Défago
Optimal Rendezvous L-Algorithms for Asynchronous Mobile Robots with External-Lights. OPODIS (2018)
Satoshi Terai, Koichi Wada, Yoshiaki Katayama
Gathering Problems for Autonomous Mobile Robots with Lights. CoRR (2018)
Takashi Okumura, Koichi Wada, Yoshiaki Katayama
Optimal Asynchronous Rendezvous for Mobile Robots with Lights. CoRR (2017)
Takashi Okumura, Koichi Wada, Yoshiaki Katayama
Brief Announcement: Optimal Asynchronous Rendezvous for Mobile Robots with Lights. SSS (2017)
Guyue Wang, Koichi Wada, Shinichi Yamagiwa
Performance Evaluation of Parallelizing Algorithm Using Spanning Tree for Stream-Based Computing. CANDAR (2016)
Jun Hosoda, Juraj Hromkovic, Taisuke Izumi, Hirotaka Ono, Monika Steinová, Koichi Wada
Corrigendum to "On the approximability and hardness of minimum topic connected overlay and its special instances" [Theoret. Comput. Sci. 429(2012) 144-154]. Theor. Comput. Sci. 562 (2015)
Shinichi Yamagiwa, Guyue Wang, Koichi Wada
Development of an Algorithm for Extracting Parallelism and Pipeline Structure from Stream-based Processing flow with Spanning Tree. Int. J. Netw. Comput. 5 (1) (2015)
Taisuke Izumi, Tomoko Izumi, Hirotaka Ono, Koichi Wada
Approximability of minimum certificate dispersal with tree structures. Theor. Comput. Sci. 591 (2015)
Koichi Wada
Computational Models for Big Data Processing. CANDAR (2014)
Tomoko Izumi, Keigo Kinpara, Taisuke Izumi, Koichi Wada
Space-efficient self-stabilizing counting population protocols on mobile sensor networks. Theor. Comput. Sci. 552 (2014)
Guyue Wang, Shinichi Yamagiwa, Koichi Wada
Parallelism Extraction Algorithm from Stream-Based Processing Flow Applying Spanning Tree. IPDPS Workshops (2014)
Shinichi Yamagiwa, Ryoyu Watanabe, Koichi Wada
Operation Synchronization Technique on Pipeline-Based Hardware Synthesis Applying Stream-Based Computing Framework. IPDPS Workshops (2013)
Naoki Yonezawa, Ken'ichi Katou, Issei Kino, Koichi Wada
Probabilistic Analysis of Parallel Program with Partially Eliminated Barriers. TrustCom/ISPA/IUCC (2013)
Koichi Ito, Yoshiaki Katayama, Koichi Wada, Naohisa Takahashi
Self-stabilizing DAG-Constructing Protocols with Application to Geocast in MANET. SSS (2013)
Naoki Yonezawa, Ken'ichi Katou, Issei Kino, Koichi Wada
Probabilistic Analysis of Barrier Eliminating Method Applied to Load-Imbalanced Parallel Application. PPAM (2) (2013)
Jun Hosoda, Juraj Hromkovic, Taisuke Izumi, Hirotaka Ono, Monika Steinová, Koichi Wada
On the approximability and hardness of minimum topic connected overlay and its special instances. Theor. Comput. Sci. 429 (2012)
Kenta Yamamoto, Taisuke Izumi, Yoshiaki Katayama, Nobuhiro Inuzuka, Koichi Wada
The optimal tolerance of uniform observation error for mobile robot convergence. Theor. Comput. Sci. 444 (2012)
Taisuke Izumi, Tomoko Izumi, Hirotaka Ono, Koichi Wada
Minimum Certificate Dispersal with Tree Structures. TAMC (2012)
Taisuke Izumi, Samia Souissi, Yoshiaki Katayama, Nobuhiro Inuzuka, Xavier Défago, Koichi Wada, Masafumi Yamashita
The Gathering Problem for Two Oblivious Robots with Unreliable Compasses. SIAM J. Comput. 41 (1) (2012)
Shukai Cai, Taisuke Izumi, Koichi Wada
How to Prove Impossibility Under Global Fairness: On Space Complexity of Self-Stabilizing Leader Election on a Population Protocol Model. Theory Comput. Syst. 50 (3) (2012)
Samia Souissi, Taisuke Izumi, Koichi Wada
Oracle-based flocking of mobile robots in crash-recovery model. Theor. Comput. Sci. 412 (33) (2011)
Bo Li, Koichi Wada
Communication latency tolerant parallel algorithm for particle swarm optimization. Parallel Comput. 37 (1) (2011)
Samia Souissi, Taisuke Izumi, Koichi Wada
Distributed Algorithms for Cooperative Mobile Robots: A Survey. ICNC (2011)
Nazreen Banu, Taisuke Izumi, Koichi Wada
Adaptive and doubly-Expedited One-Step Consensus in Byzantine Asynchronous Systems. Parallel Process. Lett. 21 (4) (2011)
Pablo Lamilla Álvarez, Shinichi Yamagiwa, Masahiro Arai, Koichi Wada
Elimination Techniques of Redundant Data Transfers Among GPUs and CPU on Recursive Stream-Based Applications. IPDPS Workshops (2011)
Taisuke Izumi, Zohir Bouzid, Sébastien Tixeuil, Koichi Wada
The BG-simulation for Byzantine Mobile Robots CoRR (2011)
Masahiro Arai, Koichi Wada, Shinichi Yamagiwa
Improving Stream Buffer Management of Stream-Based Computing Platform on GPU. ICNC (2011)
Islam A. K. M. Muzahidul, Koichi Wada, Wei Chen
Time-Efficient Data Congregation Protocols on Wireless Sensor Network. ISUVR (2011)
Naoki Yonezawa, Issei Kino, Koichi Wada
Probabilistic analysis of time reduction by eliminating barriers in parallel programmes. Int. J. Commun. Networks Distributed Syst. 6 (4) (2011)
Taisuke Izumi, Zohir Bouzid, Sébastien Tixeuil, Koichi Wada
Brief Announcement: The BG-Simulation for Byzantine Mobile Robots. DISC (2011)
Islam A. K. M. Muzahidul, Shahrum Shah Abdullah, Koichi Wada, Jiro Uchida, Wei Chen
An efficient routing protocol on a Dynamic Cluster-based Sensor Network. CrownCom (2011)
Taisuke Izumi, Samia Souissi, Yoshiaki Katayama, Nobuhiro Inuzuka, Xavier Défago, Koichi Wada, Masafumi Yamashita
The Gathering Problem for Two Oblivious Robots with Unreliable Compasses CoRR (2011)
Pablo Lamilla Álvarez, Shinichi Yamagiwa, Masahiro Arai, Koichi Wada
A Uniform Platform to Support Multigenerational GPUs for High Performance Stream-based Computing. Int. J. Netw. Comput. 1 (2) (2011)
Shinichi Yamagiwa, Koichi Wada
Performance impact on resource sharing among multiple CPU- and GPU-based applications. Int. J. Parallel Emergent Distributed Syst. 26 (4) (2011)
Jun Hosoda, Juraj Hromkovic, Taisuke Izumi, Hirotaka Ono, Monika Steinová, Koichi Wada
On the Approximability and Hardness of Minimum Topic Connected Overlay and Its Special Instances CoRR (2011)
Jun Hosoda, Juraj Hromkovic, Taisuke Izumi, Hirotaka Ono, Monika Steinová, Koichi Wada
On the Approximability of Minimum Topic Connected Overlay and Its Special Instances. MFCS (2011)
Taisuke Izumi, Tomoko Izumi, Hirotaka Ono, Koichi Wada
Minimum Certificate Dispersal with Tree Structures CoRR (2011)
Keigo Kinpara, Tomoko Izumi, Taisuke Izumi, Koichi Wada
Improving Space Complexity of Self-stabilizing Counting on Mobile Sensor Networks. OPODIS (2010)
Tomoko Izumi, Taisuke Izumi, Hirotaka Ono, Koichi Wada
Approximability and inapproximability of the minimum certificate dispersal problem. Theor. Comput. Sci. 411 (31-33) (2010)
Mirka Miller, Koichi Wada
Foreword. Math. Comput. Sci. 3 (1) (2010)
Shinichi Yamagiwa, Masahiro Arai, Koichi Wada
Design and Implementation of a Uniform Platform to Support Multigenerational GPU Architectures for High Performance Stream-Based Computing. ICNC (2010)
Nazreen Banu, Taisuke Izumi, Koichi Wada
Doubly-expedited one-step Byzantine consensus. DSN (2010)
Wei Chen, Heh Miao, Koichi Wada
Autonomous market-based approach for resource allocation in a cluster-based sensor network. MCDM (2009)
Bo Li, Koichi Wada
Communication Latency Tolerant Parallel Algorithm for Particle Swarm Optimization. FCST (2009)
Toshimitsu Masuzawa, Taisuke Izumi, Yoshiaki Katayama, Koichi Wada
Brief Announcement: Communication-Efficient Self-stabilizing Protocols for Spanning-Tree Construction. OPODIS (2009)
Kenta Yamamoto, Taisuke Izumi, Yoshiaki Katayama, Nobuhiro Inuzuka, Koichi Wada
Convergence of Mobile Robots with Uniformly-Inaccurate Sensors. SIROCCO (2009)
Shukai Cai, Taisuke Izumi, Koichi Wada
Space Complexity of Self-stabilizing Leader Election in Passively-Mobile Anonymous Agents. SIROCCO (2009)
Shinichi Yamagiwa, Koichi Wada
Performance study of interference on GPU and CPU resources with multiple applications. IPDPS (2009)
Samia Souissi, Taisuke Izumi, Koichi Wada
Oracle-Based Flocking of Mobile Robots in Crash-Recovery Model. SSS (2009)
Tomoko Izumi, Taisuke Izumi, Hirotaka Ono, Koichi Wada
Relationship between Approximability and Request Structures in the Minimum Certificate Dispersal Problem. COCOON (2009)
Jiro Uchida, Islam A. K. M. Muzahidul, Yoshiaki Katayama, Wei Chen, Koichi Wada
Construction and Maintenance of a Novel Cluster-based Architecture for Ad Hoc Sensor Networks. Ad Hoc Sens. Wirel. Networks 6 (1-2) (2008)
Nobuhiro Inuzuka, Yuichi Tomida, Taisuke Izumi, Yoshiaki Katayama, Koichi Wada
Gathering Problem of Two Asynchronous Mobile Robots with Semi-dynamic Compasses. SIROCCO (2008)
Shinichi Yamagiwa, Koichi Wada, Leonel Sousa
Heuristic Optimization Methods for Improving Performance of Recursive General Purpose Applications on GPUs. ISPDC (2008)
Taisuke Izumi, Koichi Wada
On the Probabilistic Omission Adversary. SSS (2007)
Jiro Uchida, Wei Chen, Koichi Wada
Acknowledged broadcasting and gossiping in ad hoc radio networks. Theor. Comput. Sci. 377 (1-3) (2007)
Yoshiaki Katayama, Yuichi Tomida, Hiroyuki Imazu, Nobuhiro Inuzuka, Koichi Wada
Dynamic Compass Models and Gathering Algorithms for Autonomous Mobile Robots. SIROCCO (2007)
Wei Chen, Islam A. K. M. Muzahidul, Mohan Malkani, Amir Shirkhodaie, Koichi Wada, Mohamed Zein-Sabatto
Novel Broadcast/Multicast Protocols for Dynamic Sensor Networks. IPDPS (2007)
Naoki Inaba, Koichi Wada
Efficient Initialization Algorithms on Single-Hop Radio Networks. IEICE Trans. Inf. Syst. (6) (2007)
Taisuke Izumi, Yoshiaki Katayama, Nobuhiro Inuzuka, Koichi Wada
Gathering Autonomous Mobile Robots with Dynamic Compasses: An Optimal Result. DISC (2007)
Keiichi Aoki, Hiroki Maruoka, Koichi Wada, Masaaki Ono
Performance evaluation of offloading software modules to cluster network. Parallel and Distributed Computing and Networks (2007)
Koichi Wada
Special Section on Invited Papers from New Horizons in Computing. IEICE Trans. Inf. Syst. (8) (2006)
Masao Kasuya, Nobuhiro Ito, Nobuhiro Inuzuka, Koichi Wada
A pattern formation algorithm for a set of autonomous distributed robots with agreement on orientation along one axis. Systems and Computers in Japan 37 (10) (2006)
Hua Zheng, Shingo Omura, Koichi Wada
An Approximation Algorithm for Minimum Certificate Dispersal Problems. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (2) (2006)
Jiro Uchida, Islam A. K. M. Muzahidul, Yoshiaki Katayama, Wei Chen, Koichi Wada
Construction and Maintenance of a Cluster-Based Architecture for Sensor Networks. HICSS (2006)

Koichi Wada.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Koichi Wada