 | 2008 |
| 39 |  | Yuichi Asahiro,
Satoshi Fujita,
Ichiro Suzuki,
Masafumi Yamashita:
A Self-stabilizing Marching Algorithm for a Group of Oblivious Robots.
OPODIS 2008: 125-144 |
| 38 |  | Adrian Dumitrescu,
Howi Kok,
Ichiro Suzuki,
Pawel Zylinski:
Vision-Based Pursuit-Evasion in a Grid.
SWAT 2008: 53-64 |
| 37 |  | Adrian Dumitrescu,
Ichiro Suzuki,
Pawel Zylinski:
Offline variants of the "lion and man" problem: - Some problems and techniques for measuring crowdedness and for safe path planning - .
Theor. Comput. Sci. 399(3): 220-235 (2008) |
| 36 |  | Christine Cheng,
Eric McDermid,
Ichiro Suzuki:
A unified approach to finding good stable matchings in the hospitals/residents setting.
Theor. Comput. Sci. 400(1-3): 84-99 (2008) |
| 2007 |
| 35 |  | Adrian Dumitrescu,
Ichiro Suzuki,
Pawel Zylinski:
Offline variants of the "lion and man" problem.
Symposium on Computational Geometry 2007: 102-111 |
| 34 |  | Eric McDermid,
Christine Cheng,
Ichiro Suzuki:
Hardness results on the man-exchange stable marriage problem with short preference lists.
Inf. Process. Lett. 101(1): 13-19 (2007) |
| 2006 |
| 33 |  | Ichiro Suzuki,
Masafumi Yamashita:
Erratum: Distributed Anonymous Mobile Robots: Formation of Geometric Patterns.
SIAM J. Comput. 36(1): 279-280 (2006) |
| 2004 |
| 32 |  | Adrian Dumitrescu,
Ichiro Suzuki,
Masafumi Yamashita:
Formations for Fast Locomotion of Metamorphic Robotic Systems.
I. J. Robotic Res. 23(6): 583-593 (2004) |
| 31 |  | Masafumi Yamashita,
Ichiro Suzuki,
Tiko Kameda:
Searching a polygonal region by a group of stationary k-searchers.
Inf. Process. Lett. 92(1): 1-8 (2004) |
| 2003 |
| 30 |  | Ichiro Suzuki,
Kazuhiro Yamada,
Tomoko Yamakawa,
Masao Hashiba,
Kouhei Akazawa:
Delivery of medical multimedia contents through the TCP/IP network using RealSystem.
Computer Methods and Programs in Biomedicine 70(3): 253-258 (2003) |
| 2002 |
| 29 |  | Adrian Dumitrescu,
Ichiro Suzuki,
Masafumi Yamashita:
High Speed Formations of Reconfigurable Modular Robotic Systems.
ICRA 2002: 123-128 |
| 2001 |
| 28 |  | Yuichi Asahiro,
Eric Chung-Hui Chang,
Amol Dattatraya Mali,
Ichiro Suzuki,
Masafumi Yamashita:
A Distributed Ladder Transportation Algorithm for Two Robots in a Corridor.
ICRA 2001: 3016-3021 |
| 27 |  | Masafumi Yamashita,
Hideki Umemoto,
Ichiro Suzuki,
Tsunehiko Kameda:
Searching for Mobile Intruders in a Polygonal Region by a Group of Mobile Searchers.
Algorithmica 31(2): 208-236 (2001) |
| 26 |  | Ichiro Suzuki,
Yuichi Tazoe,
Masafumi Yamashita,
Tiko Kameda:
Searching a Polygonal Region from the Boundary.
Int. J. Comput. Geometry Appl. 11(5): 529-553 (2001) |
| 2000 |
| 25 |  | Yuichi Asahiro,
Eric Chung-Hui Chang,
Amol Dattatraya Mali,
Syunsuke Nagafuji,
Ichiro Suzuki,
Masafumi Yamashita:
Distributed Motion Generation for Two Omni-Directional Robots Carrying Ladder.
DARS 2000: 427-436 |
| 1999 |
| 24 |  | Ichiro Suzuki,
Masafumi Yamashita:
Distributed Anonymous Mobile Robots: Formation of Geometric Patterns.
SIAM J. Comput. 28(4): 1347-1363 (1999) |
| 1998 |
| 23 |  | Yuichi Asahiro,
Hajime Asama,
Satoshi Fujita,
Ichiro Suzuki,
Masafumi Yamashita:
Distributed Algorithms for Carrying a Ladder by Omnidirectional Robots in Near Optimal Time.
Sensor Based Intelligent Robots 1998: 240-254 |
| 22 |  | Ichiro Suzuki,
Masafumi Yamashita,
Hideki Umemoto,
Tsunehiko Kameda:
Bushiness and a Tight Worst-Case Upper Bound on the Search Number of a Simple Polygon.
Inf. Process. Lett. 66(1): 49-52 (1998) |
| 1997 |
| 21 |  | Masafumi Yamashita,
Hideki Umemoto,
Ichiro Suzuki,
Tsunehiko Kameda:
Searching for Mobile Intruders in a Polygonal Region by a Group of Mobile Searchers (Extended Abstract).
Symposium on Computational Geometry 1997: 448-450 |
| 20 |  | Nathan T. Folwell,
Sumanta Guha,
Ichiro Suzuki:
A Practical Algorithm for Integer Sorting on a Mesh-connected Computer.
Parallel Algorithms Appl. 12(4): 265-278 (1997) |
| 1996 |
| 19 |  | Ichiro Suzuki,
Masafumi Yamashita:
Agreement on a Common X - Y Coordinate System by a Group of Mobile Robots.
Intelligent Robots 1996: 305-321 |
| 18 |  | Ichiro Suzuki,
Masafumi Yamashita:
Distributed Anonymous Mobile Robots.
SIROCCO 1996: 313-330 |
| 17 |  | Ichiro Suzuki,
Masafumi Yamashita:
Designing multi-link robot arms in a convex polygon.
Int. J. Comput. Geometry Appl. 6(4): 461-486 (1996) |
| 1995 |
| 16 |  | D. Crass,
Ichiro Suzuki,
Masafumi Yamashita:
Searching for a mobile intruder in a corridor: the open edge variant of the polygon search problem.
Int. J. Comput. Geometry Appl. 5(4): 397-412 (1995) |
| 1994 |
| 15 |  | Jianan Li,
Ichiro Suzuki,
Masafumi Yamashita:
A New Structural Induction Theorem for Rings of Temporal Petri Nets.
IEEE Trans. Software Eng. 20(2): 115-126 (1994) |
| 14 |  | Jianan Li,
Ichiro Suzuki,
Masafumi Yamashita:
Fair Petri Nets and Structural Induction for Rings of Processes.
Theor. Comput. Sci. 135(2): 377-404 (1994) |
| 1993 |
| 13 |  | Sumanta Guha,
Ichiro Suzuki:
Proximity Problems and the Voronoi Diagram an a Rectilinear Plane with Rectangular Obstacles.
FSTTCS 1993: 218-227 |
| 1992 |
| 12 |  | Ichiro Suzuki,
Masafumi Yamashita:
Searching for a Mobile Intruder in a Polygonal Region.
SIAM J. Comput. 21(5): 863-888 (1992) |
| 1991 |
| 11 |  | Joseph Y. Halpern,
Ichiro Suzuki:
Clock Synchronization and the Power of Broadcasting.
Distributed Computing 5: 73-82 (1991) |
| 1990 |
| 10 |  | Ichiro Suzuki:
Formal Analysis of the Alternating Bit Protocol by Temporal Petri Nets.
IEEE Trans. Software Eng. 16(11): 1273-1281 (1990) |
| 9 |  | Kazuo Sugihara,
Ichiro Suzuki,
Masafumi Yamashita:
The Searchlight Scheduling Problem.
SIAM J. Comput. 19(6): 1024-1040 (1990) |
| 1989 |
| 8 |  | Ichiro Suzuki,
Harngdar Lu:
Temporal Petri Nets and Their Application to Modeling and Analysis of a Handshake Daisy Chain Arbiter.
IEEE Trans. Computers 38(5): 696-704 (1989) |
| 7 |  | Kazuo Sugihara,
Ichiro Suzuki:
Optimal Algorithms for a Pursuit-Evasion Problem in Grids.
SIAM J. Discrete Math. 2(1): 126-143 (1989) |
| 1988 |
| 6 |  | Ichiro Suzuki:
Proving Properties of a Ring of Finite-State Machines.
Inf. Process. Lett. 28(4): 213-214 (1988) |
| 1986 |
| 5 |  | Ichiro Suzuki,
Y. Motohashi,
Kenichi Taniguchi,
Tadao Kasami,
Tatsuaki Okamoto:
Specification and Verification of Decentralized Daisy Chain Arbiters with omega-Extended Regular Expressions.
Theor. Comput. Sci. 43: 277-291 (1986) |
| 1985 |
| 4 |  | Ichiro Suzuki,
Tadao Kasami:
A Distributed Mutual Exclusion Algorithm
ACM Trans. Comput. Syst. 3(4): 344-349 (1985) |
| 1983 |
| 3 |  | Ichiro Suzuki,
Tadao Kasami:
Three Measures for Synchronic Dependence in Petri Nets.
Acta Inf. 19: 325-338 (1983) |
| 2 |  | Ichiro Suzuki,
Tadao Murata:
A Method for Stepwise Refinement and Abstraction of Petri Nets.
J. Comput. Syst. Sci. 27(1): 51-76 (1983) |
| 1981 |
| 1 |  | Ichiro Suzuki,
Tadao Murata:
Stepwise Refinements of Transitions and Places.
Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981: 136-141 |