Stepwise Refinements of Transitions and Places. - Ichiro Suzuki; Tadao Murata (Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981)

An Optimality Theory for Mutual Exclusion Algorithms in Computer Networks. - Ichiro Suzuki; Tadao Kasami (ICDCS, 1982)

Three Measures for Synchronic Dependence in Petri Nets. - Ichiro Suzuki; Tadao Kasami (Acta Informatica, 1983)

A Method for Stepwise Refinement and Abstraction of Petri Nets. - Ichiro Suzuki; Tadao Murata (J. Comput. Syst. Sci., 1983)

A Distributed Mutual Exclusion Algorithm - Ichiro Suzuki; Tadao Kasami (ACM Trans. Comput. Syst., 1985)

Specification and Verification of Decentralized Daisy Chain Arbiters with omega-Extended Regular Expressions. - Ichiro Suzuki; Y. Motohashi; Kenichi Taniguchi; Tadao Kasami; Tatsuaki Okamoto (Theor. Comput. Sci., 1986)

Proving Properties of a Ring of Finite-State Machines. - Ichiro Suzuki (Inf. Process. Lett., 1988)

Optimal Algorithms for a Pursuit-Evasion Problem in Grids. - Kazuo Sugihara; Ichiro Suzuki (SIAM J. Discret. Math., 1989)

Temporal Petri Nets and Their Application to Modeling and Analysis of a Handshake Daisy Chain Arbiter. - Ichiro Suzuki; Harngdar Lu (IEEE Trans. Computers, 1989)

The Searchlight Scheduling Problem. - Kazuo Sugihara; Ichiro Suzuki; Masafumi Yamashita (SIAM J. Comput., 1990)

Formal Analysis of the Alternating Bit Protocol by Temporal Petri Nets. - Ichiro Suzuki (IEEE Trans. Software Eng., 1990)

Clock Synchronization and the Power of Broadcasting. - Joseph Y. Halpern; Ichiro Suzuki (Distributed Comput., 1991)

Searching for a Mobile Intruder in a Polygonal Region. - Ichiro Suzuki; Masafumi Yamashita (SIAM J. Comput., 1992)

Proximity Problems and the Voronoi Diagram an a Rectilinear Plane with Rectangular Obstacles. - Sumanta Guha; Ichiro Suzuki (FSTTCS, 1993)

Fair Petri Nets and Structural Induction for Rings of Processes. - Jianan Li 002; Ichiro Suzuki; Masafumi Yamashita (Theor. Comput. Sci., 1994)

A New Structural Induction Theorem for Rings of Temporal Petri Nets. - Jianan Li 002; Ichiro Suzuki; Masafumi Yamashita (IEEE Trans. Software Eng., 1994)

Searching for a mobile intruder in a corridor: the open edge variant of the polygon search problem. - D. Crass; Ichiro Suzuki; Masafumi Yamashita (Int. J. Comput. Geom. Appl., 1995)

Agreement on a Common X - Y Coordinate System by a Group of Mobile Robots. - Ichiro Suzuki; Masafumi Yamashita (Intelligent Robots, 1996)

Fusion of social laws and super rules for coordinating the motion of mobile robots. - Takeshi Minami; Ichiro Suzuki; Masafumi Yamashita (IROS, 1996)

Distributed Anonymous Mobile Robots. - Ichiro Suzuki; Masafumi Yamashita (SIROCCO, 1996)

Designing multi-link robot arms in a convex polygon. - Ichiro Suzuki; Masafumi Yamashita (Int. J. Comput. Geom. Appl., 1996)

Distributed algorithms for formation of geometric patterns with many mobile robots. - Kazuo Sugihara; Ichiro Suzuki (J. Field Robotics, 1996)

Searching for Mobile Intruders in a Polygonal Region by a Group of Mobile Searchers (Extended Abstract). - Masafumi Yamashita; Hideki Umemoto; Ichiro Suzuki; Tsunehiko Kameda (SCG, 1997)

Proximity Problems for Points on a Rectilinear Plane with Rectangular Obstacles. - Sumanta Guha; Ichiro Suzuki (Algorithmica, 1997)

A Practical Algorithm for Integer Sorting on a Mesh-connected Computer. - Nathan T. Folwell; Sumanta Guha; Ichiro Suzuki (Parallel Algorithms Appl., 1997)

Time-optimal motion of two omnidirectional robots carrying a ladder under a velocity constraint. - Zhengyuan Chen; Ichiro Suzuki; Masafumi Yamashita (IEEE Trans. Robotics Autom., 1997)

Distributed Algorithms for Carrying a Ladder by Omnidirectional Robots in Near Optimal Time. - Yuichi Asahiro; Hajime Asama; Satoshi Fujita; Ichiro Suzuki; Masafumi Yamashita (Sensor Based Intelligent Robots, 1998)

Learning-based automatic generation of collision avoidance algorithms for multiple autonomous mobile robots. - Yukiyoshi Fujita; Satoshi Fujita; Masafumi Yamashita; Ichiro Suzuki; Hajime Asama (IROS, 1998)

Bushiness and a Tight Worst-Case Upper Bound on the Search Number of a Simple Polygon. - Ichiro Suzuki; Masafumi Yamashita; Hideki Umemoto; Tsunehiko Kameda (Inf. Process. Lett., 1998)

Distributed Anonymous Mobile Robots: Formation of Geometric Patterns. - Ichiro Suzuki; Masafumi Yamashita (SIAM J. Comput., 1999)

Distributed memoryless point convergence algorithm for mobile robots with limited visibility. - Hideki Ando; Yoshinobu Oasa; Ichiro Suzuki; Masafumi Yamashita (IEEE Trans. Robotics Autom., 1999)

Distributed Motion Generation for Two Omni-Directional Robots Carrying Ladder. - Yuichi Asahiro; Eric Chung-Hui Chang; Amol Dattatraya Mali; Syunsuke Nagafuji; Ichiro Suzuki; Masafumi Yamashita (DARS, 2000)

A Distributed Ladder Transportation Algorithm for Two Robots in a Corridor. - Yuichi Asahiro; Eric Chung-Hui Chang; Amol Dattatraya Mali; Ichiro Suzuki; Masafumi Yamashita (ICRA, 2001)

Searching for Mobile Intruders in a Polygonal Region by a Group of Mobile Searchers. - Masafumi Yamashita; Hideki Umemoto; Ichiro Suzuki; Tsunehiko Kameda (Algorithmica, 2001)

Searching a Polygonal Region from the Boundary. - Ichiro Suzuki; Yuichi Tazoe; Masafumi Yamashita; Tiko Kameda (Int. J. Comput. Geom. Appl., 2001)

High Speed Formations of Reconfigurable Modular Robotic Systems. - Adrian Dumitrescu; Ichiro Suzuki; Masafumi Yamashita (ICRA, 2002)

Delivery of medical multimedia contents through the TCP/IP network using RealSystem. - Ichiro Suzuki; Kazuhiro Yamada; Tomoko Yamakawa; Masao Hashiba; Kouhei Akazawa (Comput. Methods Programs Biomed., 2003)

Formations for Fast Locomotion of Metamorphic Robotic Systems. - Adrian Dumitrescu; Ichiro Suzuki; Masafumi Yamashita (Int. J. Robotics Res., 2004)

Searching a polygonal region by a group of stationary k-searchers. - Masafumi Yamashita; Ichiro Suzuki; Tiko Kameda (Inf. Process. Lett., 2004)

Motion planning for metamorphic systems: feasibility, decidability, and distributed reconfiguration. - Adrian Dumitrescu; Ichiro Suzuki; Masafumi Yamashita (IEEE Trans. Robotics, 2004)

Erratum: Distributed Anonymous Mobile Robots: Formation of Geometric Patterns. - Ichiro Suzuki; Masafumi Yamashita (SIAM J. Comput., 2006)

Online polygon search by a seven-state boundary 1-searcher. - Tsunehiko Kameda; Masafumi Yamashita; Ichiro Suzuki (IEEE Trans. Robotics, 2006)

Offline variants of the "lion and man" problem. - Adrian Dumitrescu; Ichiro Suzuki; Pawel Zylinski (SCG, 2007)

Hardness results on the man-exchange stable marriage problem with short preference lists. - Eric McDermid; Christine T. Cheng; Ichiro Suzuki (Inf. Process. Lett., 2007)

A Self-stabilizing Marching Algorithm for a Group of Oblivious Robots. - Yuichi Asahiro; Satoshi Fujita; Ichiro Suzuki; Masafumi Yamashita (OPODIS, 2008)

Capturing an Evader in a Building - Randomized and Deterministic Algorithms for Mobile Robots. - Ichiro Suzuki; Pawel Zylinski (IEEE Robotics Autom. Mag., 2008)

A unified approach to finding good stable matchings in the hospitals/residents setting. - Christine T. Cheng; Eric McDermid; Ichiro Suzuki (Theor. Comput. Sci., 2008)

Offline variants of the "lion and man" problem: - Some problems and techniques for measuring crowdedness and for safe path planning - . - Adrian Dumitrescu; Ichiro Suzuki; Pawel Zylinski (Theor. Comput. Sci., 2008)

Forming a connected network in a grid by asynchronous and oblivious robots. - Adrian Kosowski; Ichiro Suzuki; Pawel Zylinski (IMCSIT, 2009)

Finding the Minimum-Distance Schedule for a Boundary Searcher with a Flashlight. - Tsunehiko Kameda; Ichiro Suzuki; John Z. Zhang (LATIN, 2010)

Vision-Based Pursuit-Evasion in a Grid. - Adrian Dumitrescu; Howi Kok; Ichiro Suzuki; Pawel Zylinski (SIAM J. Discret. Math., 2010)

Characterizing geometric patterns formable by oblivious anonymous mobile robots. - Masafumi Yamashita; Ichiro Suzuki (Theor. Comput. Sci., 2010)

Center Stable Matchings and Centers of Cover Graphs of Distributive Lattices. - Christine T. Cheng; Eric McDermid; Ichiro Suzuki (ICALP (1), 2011)

Planarization and Acyclic Colorings of Subcubic Claw-Free Graphs. - Christine T. Cheng; Eric McDermid; Ichiro Suzuki (WG, 2011)

Weak sense of direction labelings and graph embeddings. - Christine T. Cheng; Ichiro Suzuki (Discret. Appl. Math., 2011)

A Point Set Connection Problem for Autonomous Mobile Robots in a Grid. - Adrian Kosowski; Ichiro Suzuki; Pawel Zylinski (Comput. Informatics, 2012)

The searchlight problem for road networks. - Dariusz Dereniowski; Hirotaka Ono 001; Ichiro Suzuki; Lukasz Wrona; Masafumi Yamashita; Pawel Zylinski (Theor. Comput. Sci., 2015)

Eccentricity, center and radius computations on the cover graphs of distributive lattices with applications to stable matchings. - Christine T. Cheng; Eric McDermid; Ichiro Suzuki (Discret. Appl. Math., 2016)

An alternative proof for the equivalence of ∞-searcher and 2-searcher. - Tsunehiko Kameda; Ichiro Suzuki; Masafumi Yamashita (Theor. Comput. Sci., 2016)

Monotonic self-stabilization and its application to robust and adaptive pattern formation. - Yuichi Asahiro; Ichiro Suzuki; Masafumi Yamashita (Theor. Comput. Sci., 2022)