dblp.uni-trier.dewww.uni-trier.de

Ichiro Suzuki Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)