# Ichiro Suzuki

According to our database

^{1}, Ichiro Suzuki## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### Homepage:

#### On csauthors.net:

## Bibliography

2016

An alternative proof for the equivalence of ∞-searcher and 2-searcher.

Theor. Comput. Sci., 2016

Eccentricity, center and radius computations on the cover graphs of distributive lattices with applications to stable matchings.

Discrete Applied Mathematics, 2016

2015

The searchlight problem for road networks.

Theor. Comput. Sci., 2015

2012

A Point Set Connection Problem for Autonomous Mobile Robots in a Grid.

Computing and Informatics, 2012

2011

Weak sense of direction labelings and graph embeddings.

Discrete Applied Mathematics, 2011

Planarization and Acyclic Colorings of Subcubic Claw-Free Graphs.

Proceedings of the Graph-Theoretic Concepts in Computer Science, 2011

Center Stable Matchings and Centers of Cover Graphs of Distributive Lattices.

Proceedings of the Automata, Languages and Programming - 38th International Colloquium, 2011

2010

Characterizing geometric patterns formable by oblivious anonymous mobile robots.

Theor. Comput. Sci., 2010

Vision-Based Pursuit-Evasion in a Grid.

SIAM J. Discrete Math., 2010

Finding the Minimum-Distance Schedule for a Boundary Searcher with a Flashlight.

Proceedings of the LATIN 2010: Theoretical Informatics, 2010

2009

Forming a connected network in a grid by asynchronous and oblivious robots.

Proceedings of the International Multiconference on Computer Science and Information Technology, 2009

2008

Offline variants of the "lion and man" problem: - Some problems and techniques for measuring crowdedness and for safe path planning - .

Theor. Comput. Sci., 2008

A unified approach to finding good stable matchings in the hospitals/residents setting.

Theor. Comput. Sci., 2008

Capturing an Evader in a Building - Randomized and Deterministic Algorithms for Mobile Robots.

IEEE Robot. Automat. Mag., 2008

Vision-Based Pursuit-Evasion in a Grid.

Proceedings of the Algorithm Theory, 2008

A Self-stabilizing Marching Algorithm for a Group of Oblivious Robots.

Proceedings of the Principles of Distributed Systems, 12th International Conference, 2008

2007

Hardness results on the man-exchange stable marriage problem with short preference lists.

Inf. Process. Lett., 2007

Offline variants of the "lion and man" problem.

Proceedings of the 23rd ACM Symposium on Computational Geometry, Gyeongju, 2007

2006

Online polygon search by a seven-state boundary 1-searcher.

IEEE Trans. Robotics, 2006

Erratum: Distributed Anonymous Mobile Robots: Formation of Geometric Patterns.

SIAM J. Comput., 2006

2004

Motion planning for metamorphic systems: feasibility, decidability, and distributed reconfiguration.

IEEE Trans. Robotics, 2004

Searching a polygonal region by a group of stationary

*k*-searchers.
Inf. Process. Lett., 2004

Formations for Fast Locomotion of Metamorphic Robotic Systems.

I. J. Robotics Res., 2004

2003

Delivery of medical multimedia contents through the TCP/IP network using RealSystem.

Computer Methods and Programs in Biomedicine, 2003

2002

High Speed Formations of Reconfigurable Modular Robotic Systems.

Proceedings of the 2002 IEEE International Conference on Robotics and Automation, 2002

2001

Searching a Polygonal Region from the Boundary.

Int. J. Comput. Geometry Appl., 2001

Searching for Mobile Intruders in a Polygonal Region by a Group of Mobile Searchers.

Algorithmica, 2001

A Distributed Ladder Transportation Algorithm for Two Robots in a Corridor.

Proceedings of the 2001 IEEE International Conference on Robotics and Automation, 2001

2000

Distributed Motion Generation for Two Omni-Directional Robots Carrying Ladder.

Proceedings of the Distributed Autonomous Robotic Systems 4, 2000

1999

Distributed memoryless point convergence algorithm for mobile robots with limited visibility.

IEEE Trans. Robotics and Automation, 1999

Distributed Anonymous Mobile Robots: Formation of Geometric Patterns.

SIAM J. Comput., 1999

1998

Bushiness and a Tight Worst-Case Upper Bound on the Search Number of a Simple Polygon.

Inf. Process. Lett., 1998

Learning-based automatic generation of collision avoidance algorithms for multiple autonomous mobile robots.

Proceedings of the Proceedings 1998 IEEE/RSJ International Conference on Intelligent Robots and Systems. Innovations in Theory, 1998

Distributed Algorithms for Carrying a Ladder by Omnidirectional Robots in Near Optimal Time.

Proceedings of the Sensor Based Intelligent Robots, International Workshop, Dagstuhl Castle, Germany, September 28, 1998

1997

Time-optimal motion of two omnidirectional robots carrying a ladder under a velocity constraint.

IEEE Trans. Robotics and Automation, 1997

A Practical Algorithm for Integer Sorting on a Mesh-connected Computer.

Parallel Algorithms Appl., 1997

Searching for Mobile Intruders in a Polygonal Region by a Group of Mobile Searchers (Extended Abstract).

Proceedings of the Thirteenth Annual Symposium on Computational Geometry, 1997

1996

Distributed algorithms for formation of geometric patterns with many mobile robots.

J. Field Robotics, 1996

Designing multi-link robot arms in a convex polygon.

Int. J. Comput. Geometry Appl., 1996

Distributed Anonymous Mobile Robots.

Proceedings of the SIROCCO'96, 1996

Fusion of social laws and super rules for coordinating the motion of mobile robots.

Proceedings of IEEE/RSJ International Conference on Intelligent Robots and Systems. IROS 1996, 1996

Agreement on a Common X - Y Coordinate System by a Group of Mobile Robots.

Proceedings of the Intelligent Robots: Sensing, 1996

1995

Searching for a mobile intruder in a corridor: the open edge variant of the polygon search problem.

Int. J. Comput. Geometry Appl., 1995

1994

A New Structural Induction Theorem for Rings of Temporal Petri Nets.

IEEE Trans. Software Eng., 1994

Fair Petri Nets and Structural Induction for Rings of Processes.

Theor. Comput. Sci., 1994

1993

Proximity Problems and the Voronoi Diagram an a Rectilinear Plane with Rectangular Obstacles.

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1993

1992

Searching for a Mobile Intruder in a Polygonal Region.

SIAM J. Comput., 1992

1991

Clock Synchronization and the Power of Broadcasting.

Distributed Computing, 1991

1990

Formal Analysis of the Alternating Bit Protocol by Temporal Petri Nets.

IEEE Trans. Software Eng., 1990

The Searchlight Scheduling Problem.

SIAM J. Comput., 1990

1989

Temporal Petri Nets and Their Application to Modeling and Analysis of a Handshake Daisy Chain Arbiter.

IEEE Trans. Computers, 1989

Optimal Algorithms for a Pursuit-Evasion Problem in Grids.

SIAM J. Discrete Math., 1989

1988

Proving Properties of a Ring of Finite-State Machines.

Inf. Process. Lett., 1988

1986

Specification and Verification of Decentralized Daisy Chain Arbiters with omega-Extended Regular Expressions.

Theor. Comput. Sci., 1986

1985

A Distributed Mutual Exclusion Algorithm

ACM Trans. Comput. Syst., 1985

1983

A Method for Stepwise Refinement and Abstraction of Petri Nets.

J. Comput. Syst. Sci., 1983

Three Measures for Synchronic Dependence in Petri Nets.

Acta Inf., 1983

1981

Stepwise Refinements of Transitions and Places.

Proceedings of the Application and Theory of Petri Nets, 1981