default search action
Ichiro Suzuki
Person information
- affiliation: University of Wisconsin-Milwaukee, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
- [j42]Yuichi Asahiro, Ichiro Suzuki, Masafumi Yamashita:
Monotonic self-stabilization and its application to robust and adaptive pattern formation. Theor. Comput. Sci. 934: 21-46 (2022)
2010 – 2019
- 2016
- [j41]Christine T. Cheng, Eric McDermid, Ichiro Suzuki:
Eccentricity, center and radius computations on the cover graphs of distributive lattices with applications to stable matchings. Discret. Appl. Math. 205: 27-34 (2016) - [j40]Tsunehiko Kameda, Ichiro Suzuki, Masafumi Yamashita:
An alternative proof for the equivalence of ∞-searcher and 2-searcher. Theor. Comput. Sci. 634: 108-119 (2016) - 2015
- [j39]Dariusz Dereniowski
, Hirotaka Ono
The searchlight problem for road networks. Theor. Comput. Sci. 591: 28-59 (2015) - 2012
- [j38]Adrian Kosowski, Ichiro Suzuki, Pawel Zylinski:
A Point Set Connection Problem for Autonomous Mobile Robots in a Grid. Comput. Informatics 31(2): 349-369 (2012) - 2011
- [j37]Christine T. Cheng, Ichiro Suzuki:
Weak sense of direction labelings and graph embeddings. Discret. Appl. Math. 159(5): 303-310 (2011) - [c19]Christine T. Cheng, Eric McDermid, Ichiro Suzuki:
Center Stable Matchings and Centers of Cover Graphs of Distributive Lattices. ICALP (1) 2011: 678-689 - [c18]Christine T. Cheng, Eric McDermid, Ichiro Suzuki:
Planarization and Acyclic Colorings of Subcubic Claw-Free Graphs. WG 2011: 107-118 - 2010
- [j36]Adrian Dumitrescu, Howi Kok, Ichiro Suzuki, Pawel Zylinski:
Vision-Based Pursuit-Evasion in a Grid. SIAM J. Discret. Math. 24(3): 1177-1204 (2010) - [j35]Masafumi Yamashita, Ichiro Suzuki:
Characterizing geometric patterns formable by oblivious anonymous mobile robots. Theor. Comput. Sci. 411(26-28): 2433-2453 (2010) - [c17]Tsunehiko Kameda, Ichiro Suzuki, John Z. Zhang:
Finding the Minimum-Distance Schedule for a Boundary Searcher with a Flashlight. LATIN 2010: 84-95
2000 – 2009
- 2009
- [c16]Adrian Kosowski, Ichiro Suzuki, Pawel Zylinski:
Forming a connected network in a grid by asynchronous and oblivious robots. IMCSIT 2009: 583-588 - 2008
- [j34]Ichiro Suzuki, Pawel Zylinski:
Capturing an Evader in a Building - Randomized and Deterministic Algorithms for Mobile Robots. IEEE Robotics Autom. Mag. 15(2): 16-26 (2008) - [j33]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) - [j32]Christine T. 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) - [c15]Yuichi Asahiro, Satoshi Fujita, Ichiro Suzuki, Masafumi Yamashita:
A Self-stabilizing Marching Algorithm for a Group of Oblivious Robots. OPODIS 2008: 125-144 - [c14]Adrian Dumitrescu, Howi Kok, Ichiro Suzuki, Pawel Zylinski:
Vision-Based Pursuit-Evasion in a Grid. SWAT 2008: 53-64 - 2007
- [j31]Eric McDermid, Christine T. Cheng, Ichiro Suzuki:
Hardness results on the man-exchange stable marriage problem with short preference lists. Inf. Process. Lett. 101(1): 13-19 (2007) - [c13]Adrian Dumitrescu, Ichiro Suzuki, Pawel Zylinski:
Offline variants of the "lion and man" problem. SCG 2007: 102-111 - 2006
- [j30]Ichiro Suzuki, Masafumi Yamashita:
Erratum: Distributed Anonymous Mobile Robots: Formation of Geometric Patterns. SIAM J. Comput. 36(1): 279-280 (2006) - [j29]Tsunehiko Kameda, Masafumi Yamashita, Ichiro Suzuki:
Online polygon search by a seven-state boundary 1-searcher. IEEE Trans. Robotics 22(3): 446-460 (2006) - 2004
- [j28]Adrian Dumitrescu, Ichiro Suzuki, Masafumi Yamashita:
Formations for Fast Locomotion of Metamorphic Robotic Systems. Int. J. Robotics Res. 23(6): 583-593 (2004) - [j27]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) - [j26]Adrian Dumitrescu, Ichiro Suzuki, Masafumi Yamashita:
Motion planning for metamorphic systems: feasibility, decidability, and distributed reconfiguration. IEEE Trans. Robotics 20(3): 409-418 (2004) - 2003
- [j25]Ichiro Suzuki, Kazuhiro Yamada, Tomoko Yamakawa, Masao Hashiba, Kouhei Akazawa:
Delivery of medical multimedia contents through the TCP/IP network using RealSystem. Comput. Methods Programs Biomed. 70(3): 253-258 (2003) - 2002
- [c12]Adrian Dumitrescu, Ichiro Suzuki, Masafumi Yamashita:
High Speed Formations of Reconfigurable Modular Robotic Systems. ICRA 2002: 123-128 - 2001
- [j24]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) - [j23]Ichiro Suzuki, Yuichi Tazoe, Masafumi Yamashita, Tiko Kameda:
Searching a Polygonal Region from the Boundary. Int. J. Comput. Geom. Appl. 11(5): 529-553 (2001) - [c11]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 - 2000
- [c10]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
1990 – 1999
- 1999
- [j22]Ichiro Suzuki, Masafumi Yamashita:
Distributed Anonymous Mobile Robots: Formation of Geometric Patterns. SIAM J. Comput. 28(4): 1347-1363 (1999) - [j21]Hideki Ando, Yoshinobu Oasa, Ichiro Suzuki, Masafumi Yamashita:
Distributed memoryless point convergence algorithm for mobile robots with limited visibility. IEEE Trans. Robotics Autom. 15(5): 818-828 (1999) - 1998
- [j20]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) - [c9]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 - [c8]Yukiyoshi Fujita, Satoshi Fujita, Masafumi Yamashita, Ichiro Suzuki, Hajime Asama:
Learning-based automatic generation of collision avoidance algorithms for multiple autonomous mobile robots. IROS 1998: 1553-1558 - 1997
- [j19]Sumanta Guha, Ichiro Suzuki:
Proximity Problems for Points on a Rectilinear Plane with Rectangular Obstacles. Algorithmica 17(3): 281-307 (1997) - [j18]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) - [j17]Zhengyuan Chen, Ichiro Suzuki, Masafumi Yamashita:
Time-optimal motion of two omnidirectional robots carrying a ladder under a velocity constraint. IEEE Trans. Robotics Autom. 13(5): 721-729 (1997) - [c7]Masafumi Yamashita, Hideki Umemoto, Ichiro Suzuki, Tsunehiko Kameda:
Searching for Mobile Intruders in a Polygonal Region by a Group of Mobile Searchers (Extended Abstract). SCG 1997: 448-450 - 1996
- [j16]Ichiro Suzuki, Masafumi Yamashita:
Designing multi-link robot arms in a convex polygon. Int. J. Comput. Geom. Appl. 6(4): 461-486 (1996) - [j15]Kazuo Sugihara, Ichiro Suzuki:
Distributed algorithms for formation of geometric patterns with many mobile robots. J. Field Robotics 13(3): 127-139 (1996) - [c6]Ichiro Suzuki, Masafumi Yamashita:
Agreement on a Common X - Y Coordinate System by a Group of Mobile Robots. Intelligent Robots 1996: 305-321 - [c5]Takeshi Minami, Ichiro Suzuki, Masafumi Yamashita:
Fusion of social laws and super rules for coordinating the motion of mobile robots. IROS 1996: 1691-1698 - [c4]Ichiro Suzuki, Masafumi Yamashita:
Distributed Anonymous Mobile Robots. SIROCCO 1996: 313-330 - 1995
- [j14]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. Geom. Appl. 5(4): 397-412 (1995) - 1994
- [j13]Jianan Li, Ichiro Suzuki, Masafumi Yamashita:
Fair Petri Nets and Structural Induction for Rings of Processes. Theor. Comput. Sci. 135(2): 377-404 (1994) - [j12]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) - 1993
- [c3]Sumanta Guha, Ichiro Suzuki:
Proximity Problems and the Voronoi Diagram an a Rectilinear Plane with Rectangular Obstacles. FSTTCS 1993: 218-227 - 1992
- [j11]Ichiro Suzuki, Masafumi Yamashita:
Searching for a Mobile Intruder in a Polygonal Region. SIAM J. Comput. 21(5): 863-888 (1992) - 1991
- [j10]Joseph Y. Halpern, Ichiro Suzuki:
Clock Synchronization and the Power of Broadcasting. Distributed Comput. 5: 73-82 (1991) - 1990
- [j9]Kazuo Sugihara, Ichiro Suzuki, Masafumi Yamashita:
The Searchlight Scheduling Problem. SIAM J. Comput. 19(6): 1024-1040 (1990) - [j8]Ichiro Suzuki:
Formal Analysis of the Alternating Bit Protocol by Temporal Petri Nets. IEEE Trans. Software Eng. 16(11): 1273-1281 (1990)
1980 – 1989
- 1989
- [j7]Kazuo Sugihara, Ichiro Suzuki:
Optimal Algorithms for a Pursuit-Evasion Problem in Grids. SIAM J. Discret. Math. 2(1): 126-143 (1989) - [j6]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) - 1988
- [j5]Ichiro Suzuki:
Proving Properties of a Ring of Finite-State Machines. Inf. Process. Lett. 28(4): 213-214 (1988) - 1986
- [j4]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
- [j3]Ichiro Suzuki, Tadao Kasami:
A Distributed Mutual Exclusion Algorithm. ACM Trans. Comput. Syst. 3(4): 344-349 (1985) - 1983
- [j2]Ichiro Suzuki, Tadao Kasami:
Three Measures for Synchronic Dependence in Petri Nets. Acta Informatica 19: 325-338 (1983) - [j1]Ichiro Suzuki, Tadao Murata:
A Method for Stepwise Refinement and Abstraction of Petri Nets. J. Comput. Syst. Sci. 27(1): 51-76 (1983) - 1982
- [c2]Ichiro Suzuki, Tadao Kasami:
An Optimality Theory for Mutual Exclusion Algorithms in Computer Networks. ICDCS 1982: 365-370 - 1981
- [c1]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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-30 20:43 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: