Ichiro Suzuki

2008
39	EE	Yuichi Asahiro, Satoshi Fujita, Ichiro Suzuki, Masafumi Yamashita: A Self-stabilizing Marching Algorithm for a Group of Oblivious Robots. OPODIS 2008: 125-144
38	EE	Adrian Dumitrescu, Howi Kok, Ichiro Suzuki, Pawel Zylinski: Vision-Based Pursuit-Evasion in a Grid. SWAT 2008: 53-64
37	EE	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	EE	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	EE	Adrian Dumitrescu, Ichiro Suzuki, Pawel Zylinski: Offline variants of the "lion and man" problem. Symposium on Computational Geometry 2007: 102-111
34	EE	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	EE	Ichiro Suzuki, Masafumi Yamashita: Erratum: Distributed Anonymous Mobile Robots: Formation of Geometric Patterns. SIAM J. Comput. 36(1): 279-280 (2006)
2004
32	EE	Adrian Dumitrescu, Ichiro Suzuki, Masafumi Yamashita: Formations for Fast Locomotion of Metamorphic Robotic Systems. I. J. Robotic Res. 23(6): 583-593 (2004)
31	EE	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	EE	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	EE	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	EE	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	EE	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	EE	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	EE	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	EE	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	EE	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

Coauthor Index

1	Kouhei Akazawa	[30]
2	Yuichi Asahiro	[23] [25] [28] [39]
3	Hajime Asama	[23]
4	Eric Chung-Hui Chang	[25] [28]
5	Christine Cheng	[34] [36]
6	D. Crass	[16]
7	Adrian Dumitrescu	[29] [32] [35] [37] [38]
8	Nathan T. Folwell	[20]
9	Satoshi Fujita	[23] [39]
10	Sumanta Guha	[13] [20]
11	Joseph Y. Halpern	[11]
12	Masao Hashiba	[30]
13	Tiko Kameda	[26] [31]
14	Tsunehiko Kameda	[21] [22] [27]
15	Tadao Kasami	[3] [4] [5]
16	Howi Kok	[38]
17	Jianan Li	[14] [15]
18	Harngdar Lu	[8]
19	Amol Dattatraya Mali	[25] [28]
20	Eric McDermid	[34] [36]
21	Y. Motohashi	[5]
22	Tadao Murata	[1] [2]
23	Syunsuke Nagafuji	[25]
24	Tatsuaki Okamoto	[5]
25	Kazuo Sugihara	[7] [9]
26	Kenichi Taniguchi	[5]
27	Yuichi Tazoe	[26]
28	Hideki Umemoto	[21] [22] [27]
29	Kazuhiro Yamada	[30]
30	Tomoko Yamakawa	[30]
31	Masafumi Yamashita	[9] [12] [14] [15] [16] [17] [18] [19] [21] [22] [23] [24] [25] [26] [27] [28] [29] [31] [32] [33] [39]
32	Pawel Zylinski	[35] [37] [38]

Colors in the list of coauthors