Koichi Wada

Orcid: 0000-0002-5351-1459

Affiliations:
  • Hosei University, Tokyo, Japan
  • Nagoya Institute of Technology, Japan (former)
  • Osaka University, Japan (former)


According to our database1, Koichi Wada authored at least 112 papers between 1980 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Neighborhood mutual remainder: self-stabilizing distributed implementation and applications.
Acta Informatica, March, 2024

Brief Announcement: Distinct Gathering Under Round Robin.
Proceedings of the 38th International Symposium on Distributed Computing, 2024

Gathering Semi-Synchronously Scheduled Two-State Robots.
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2024

Invited Paper: Gathering Oblivious Robots in the Plane.
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2024

Efficient Self-stabilizing Simulations of Energy-Restricted Mobile Robots by Asynchronous Luminous Mobile Robots.
Proceedings of the Structural Information and Communication Complexity, 2024

Efficient GPU-Implementation of H-P Sort Based on Improved Histogram Computation.
Proceedings of the International Conference on High Performance Computing in Asia-Pacific Region, 2024

2023
Optimal L-algorithms for rendezvous of asynchronous mobile robots with external-lights.
Theor. Comput. Sci., November, 2023

Efficient deterministic MapReduce algorithms for parallelizable problems.
J. Parallel Distributed Comput., July, 2023

Using model checking to formally verify rendezvous algorithms for robots with lights in Euclidean space.
Robotics Auton. Syst., May, 2023

Gathering problems for autonomous mobile robots with lights.
Theor. Comput. Sci., 2023

Location functions for self-stabilizing byzantine tolerant swarms.
Theor. Comput. Sci., 2023

Complete Visibility Algorithm for Autonomous Mobile Luminous Robots under an Asynchronous Scheduler on Grid Plane.
CoRR, 2023

Forgive and forget: Self-stabilizing swarms in spite of Byzantine robots.
Concurr. Comput. Pract. Exp., 2023

On Asynchrony, Memory, and Communication: Separations and Landscapes.
Proceedings of the 27th International Conference on Principles of Distributed Systems, 2023

Asynchronous Complete Visibility Algorithm for Luminous Robots on Grid.
Proceedings of the Eleventh International Symposium on Computing and Networking, CANDAR 2023, 2023

2022
On the Computational Power of Energy-Constrained Mobile Robots: Algorithms and Cross-Model Analysis.
Proceedings of the Structural Information and Communication Complexity, 2022

2021
Asynchronous Gathering Algorithms for Autonomous Mobile Robots with Lights.
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2021

Asynchronous Gathering in a Torus.
Proceedings of the 25th International Conference on Principles of Distributed Systems, 2021

Autonomous Mobile Robots: Refining the Computational Landscape.
Proceedings of the IEEE International Parallel and Distributed Processing Symposium Workshops, 2021

Efficient GPU-Implementation for Integer Sorting Based on Histogram and Prefix-Sums.
Proceedings of the ICPP 2021: 50th International Conference on Parallel Processing, Lemont, IL, USA, August 9, 2021

2020
Pairbot: A Novel Model for Autonomous Mobile Robot Systems Consisting of Paired Robots.
CoRR, 2020

2019
Neighborhood Mutual Remainder: Self-Stabilizing Implementation of Look-Compute-Move Robots (Extended Abstract).
CoRR, 2019

Brief Announcement: Neighborhood Mutual Remainder and Its Self-Stabilizing Implementation of Look-Compute-Move Robots.
Proceedings of the 33rd International Symposium on Distributed Computing, 2019

Brief Announcement: Model Checking Rendezvous Algorithms for Robots with Lights in Euclidean Space.
Proceedings of the 33rd International Symposium on Distributed Computing, 2019

Brief Announcement: Self-stabilizing LCM Schedulers for Autonomous Mobile Robots Using Neighborhood Mutual Remainder.
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2019

Brief Announcement Forgive & Forget: Self-stabilizing Swarms in Spite of Byzantine Robots.
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2019

Gathering on Rings for Myopic Asynchronous Robots With Lights.
Proceedings of the 23rd International Conference on Principles of Distributed Systems, 2019

On Memory, Communication, and Synchronous Schedulers When Moving and Computing.
Proceedings of the 23rd International Conference on Principles of Distributed Systems, 2019

Efficient Circuit Simulation in MapReduce.
Proceedings of the 30th International Symposium on Algorithms and Computation, 2019

Forgive & Forget: Self-Stabilizing Swarms in Spite of Byzantine Robots.
Proceedings of the Seventh International Symposium on Computing and Networking Workshops, 2019

A Measurement Coding System for Block-Based Compressive Sensing Images by Using Pixel-Domain Features.
Proceedings of the Data Compression Conference, 2019

2018
Optimal Rendezvous L-Algorithms for Asynchronous Mobile Robots with External-Lights.
Proceedings of the 22nd International Conference on Principles of Distributed Systems, 2018

Rendezvous of Asynchronous Mobile Robots with Lights.
Proceedings of the Adventures Between Lower Bounds and Higher Altitudes, 2018

2017
Optimal Asynchronous Rendezvous for Mobile Robots with Lights.
CoRR, 2017

Brief Announcement: Optimal Asynchronous Rendezvous for Mobile Robots with Lights.
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2017

2015
Approximability of minimum certificate dispersal with tree structures.
Theor. Comput. Sci., 2015

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., 2015

2014
Space-efficient self-stabilizing counting population protocols on mobile sensor networks.
Theor. Comput. Sci., 2014

Computational Models for Big Data Processing.
Proceedings of the Second International Symposium on Computing and Networking, 2014

2013
Self-stabilizing DAG-Constructing Protocols with Application to Geocast in MANET.
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2013

2012
The optimal tolerance of uniform observation error for mobile robot convergence.
Theor. Comput. Sci., 2012

On the approximability and hardness of minimum topic connected overlay and its special instances.
Theor. Comput. Sci., 2012

The Gathering Problem for Two Oblivious Robots with Unreliable Compasses.
SIAM J. Comput., 2012

How to Prove Impossibility Under Global Fairness: On Space Complexity of Self-Stabilizing Leader Election on a Population Protocol Model.
Theory Comput. Syst., 2012

Minimum Certificate Dispersal with Tree Structures.
Proceedings of the Theory and Applications of Models of Computation, 2012

2011
Oracle-based flocking of mobile robots in crash-recovery model.
Theor. Comput. Sci., 2011

Adaptive and doubly-Expedited One-Step Consensus in Byzantine Asynchronous Systems.
Parallel Process. Lett., 2011

The BG-simulation for Byzantine Mobile Robots
CoRR, 2011

Brief Announcement: The BG-Simulation for Byzantine Mobile Robots.
Proceedings of the Distributed Computing - 25th International Symposium, 2011

On the Approximability of Minimum Topic Connected Overlay and Its Special Instances.
Proceedings of the Mathematical Foundations of Computer Science 2011, 2011

Time-Efficient Data Congregation Protocols on Wireless Sensor Network.
Proceedings of the 2011 International Symposium on Ubiquitous Virtual Reality (ISUVR), 2011

Distributed Algorithms for Cooperative Mobile Robots: A Survey.
Proceedings of the Second International Conference on Networking and Computing, 2011

An efficient routing protocol on a Dynamic Cluster-based Sensor Network.
Proceedings of the 6th International ICST Conference on Cognitive Radio Oriented Wireless Networks and Communications, 2011

2010
Approximability and inapproximability of the minimum certificate dispersal problem.
Theor. Comput. Sci., 2010

Foreword.
Math. Comput. Sci., 2010

Improving Space Complexity of Self-stabilizing Counting on Mobile Sensor Networks.
Proceedings of the Principles of Distributed Systems - 14th International Conference, 2010

Doubly-expedited one-step Byzantine consensus.
Proceedings of the 2010 IEEE/IFIP International Conference on Dependable Systems and Networks, 2010

2009
Convergence of Mobile Robots with Uniformly-Inaccurate Sensors.
Proceedings of the Structural Information and Communication Complexity, 2009

Space Complexity of Self-stabilizing Leader Election in Passively-Mobile Anonymous Agents.
Proceedings of the Structural Information and Communication Complexity, 2009

Brief Announcement: Communication-Efficient Self-stabilizing Protocols for Spanning-Tree Construction.
Proceedings of the Principles of Distributed Systems, 13th International Conference, 2009

Relationship between Approximability and Request Structures in the Minimum Certificate Dispersal Problem.
Proceedings of the Computing and Combinatorics, 15th Annual International Conference, 2009

Autonomous market-based approach for resource allocation in a cluster-based sensor network.
Proceedings of the 2009 IEEE Symposium on Computational Intelligence in Multi-Criteria Decision-Making, 2009

2008
Construction and Maintenance of a Novel Cluster-based Architecture for Ad Hoc Sensor Networks.
Ad Hoc Sens. Wirel. Networks, 2008

Gathering Problem of Two Asynchronous Mobile Robots with Semi-dynamic Compasses.
Proceedings of the Structural Information and Communication Complexity, 2008

2007
Acknowledged broadcasting and gossiping in ad hoc radio networks.
Theor. Comput. Sci., 2007

Efficient Initialization Algorithms on Single-Hop Radio Networks.
IEICE Trans. Inf. Syst., 2007

Gathering Autonomous Mobile Robots with Dynamic Compasses: An Optimal Result.
Proceedings of the Distributed Computing, 21st International Symposium, 2007

On the Probabilistic Omission Adversary.
Proceedings of the Stabilization, 2007

Dynamic Compass Models and Gathering Algorithms for Autonomous Mobile Robots.
Proceedings of the Structural Information and Communication Complexity, 2007

Novel Broadcast/Multicast Protocols for Dynamic Sensor Networks.
Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007

2006
A pattern formation algorithm for a set of autonomous distributed robots with agreement on orientation along one axis.
Syst. Comput. Jpn., 2006

An Approximation Algorithm for Minimum Certificate Dispersal Problems.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2006

Special Section on Invited Papers from New Horizons in Computing.
IEICE Trans. Inf. Syst., 2006

Construction and Maintenance of a Cluster-Based Architecture for Sensor Networks.
Proceedings of the 39th Hawaii International International Conference on Systems Science (HICSS-39 2006), 2006

2005
Parallel matrix-multiplication algorithm for distributed parallel computers.
Syst. Comput. Jpn., 2005

An Optimal Certificate Dispersal Algorithm for Mobile Ad Hoc Networks.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2005

Neighborhood Broadcasting in Undirected de Bruijn and Kautz Networks.
IEICE Trans. Inf. Syst., 2005

2004
Optimal fault-tolerant routings with small routing tables for <i>k</i>-connected graphs.
J. Discrete Algorithms, 2004

2003
Reinforcement Learning Methods to Handle Actions with Differing Costs in MDPs.
Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2003

An Optimal Algorithm of Acknowledged Broadcasting in Ad Hoc Radio Networks.
Proceedings of the 2nd International Symposium on Parallel and Distributed Computing (ISPDC 2003), 2003

2002
On Computing the Upper Envelope of Segments in Parallel.
IEEE Trans. Parallel Distributed Syst., 2002

Robust algorithms for constructing strongly convex hulls in parallel.
Theor. Comput. Sci., 2002

2001
Constructing a Strongly Convex Superhull of Points.
Int. J. Comput. Geom. Appl., 2001

A Design of Agents for the Disaster Simulator on RoboCup-Rescue.
Proceedings of the RoboCup 2001: Robot Soccer World Cup V, 2001

Parallelizability of Some P-Complete Geometric Problems in the EREW-PRAM.
Proceedings of the Computing and Combinatorics, 7th Annual International Conference, 2001

2000
Parallel Algorithms for Partitioning Sorted Sets and Related Problems.
Algorithmica, 2000

Optimal Fault-Tolerant Routings for <i>k</i>-Connected Graphs with Smaller Routing Tables.
Proceedings of the Graph-Theoretic Concepts in Computer Science, 2000

Kakitsubata Team Description.
Proceedings of the RoboCup 2000: Robot Soccer World Cup IV, 2000

A Hardware Implementation of PRAM and Its Performance Evaluation.
Proceedings of the Parallel and Distributed Processing, 2000

1999
An Optimal Fault-Tolerant Routing for Triconnected Planar Graphs.
Proceedings of the Graph-Theoretic Concepts in Computer Science, 1999

1998
Efficient Algorithms for a Mixed <i>k</i>-Partition Problem of Graphs Without Specifying Bases.
Theor. Comput. Sci., 1998

Integer Summing Algorithms on Reconfigurable Meshes.
Theor. Comput. Sci., 1998

Finding the Convex Hull of Discs in Parallel.
Int. J. Comput. Geom. Appl., 1998

Linear Algorithms for a k-partition Problem of Planar Graphs without Specifying Bases.
Proceedings of the Graph-Theoretic Concepts in Computer Science, 1998

1997
Highly Fault-Tolerant Routings and Fault-Induced Diameter for Generalized Hypercube Graphs.
J. Parallel Distributed Comput., 1997

Optimal Fault-Tolerant ATM-Routings for Biconnected Graphs.
Proceedings of the Graph-Theoretic Concepts in Computer Science, 1997

1996
Parallel Robust Algorithms for Constructing Strongly Convex Hulls.
Proceedings of the Twelfth Annual Symposium on Computational Geometry, 1996

1995
Highly Fault-Tolerant Routings and Diameter Vulnerability for Generalized Hypercube Graphs.
Proceedings of the Graph-Theoretic Concepts in Computer Science, 1995

1994
Efficient Algorithms for a Mixed k-Partition Problem of Graphs without Specifying Bases.
Proceedings of the Graph-Theoretic Concepts in Computer Science, 1994

1993
New Results in Graph Routing
Inf. Comput., October, 1993

Efficient Algorithms for Tripartitioning Triconnected Graphs and 3-Edge-Connected Graphs.
Proceedings of the Graph-Theoretic Concepts in Computer Science, 1993

1992
Distributed algorithms for connectivity problem of networks with faulty elements.
Syst. Comput. Jpn., 1992

Optimal Fault-Tolerant Routings for Connected Graphs.
Inf. Process. Lett., 1992

Efficient Fault-Tolerant Fixed Routings on (<i>k</i> + 1)-Connected Digraphs.
Discret. Appl. Math., 1992

1989
Maximum lower bound on embedding areas of general graphs.
Syst. Comput. Jpn., 1989

1987
Fault-tolerant network routings for (k + 1)-node connected and (k + 1)-edge connected graphs.
Syst. Comput. Jpn., 1987

1986
Area-time complexity on a vlsi model with boundary layout assumption.
Syst. Comput. Jpn., 1986

Embedding area of d-way shuffle graph on a VLSI model.
Syst. Comput. Jpn., 1986

Optimal-Time Algorithm for the k-Node-Connectivity Augmentation Problem for Ternary Trees.
Syst. Comput. Jpn., 1986

1984
Area-Time Optimal Fast Implementation of Several Functions in a VLSI Model.
IEEE Trans. Computers, 1984

1982
Effect of Practical Assumption in Area Complexity of VLSI Computation.
Proceedings of the RIMS Symposium on Software Science and Engineering, 1982

1980
Specification of schedulers with algebraic specification techniques.
Proceedings of the Operating Systems Engineering: Proceedings of the 14th IBM Computer SCience Symposium, 1980


  Loading...