Yuyan Chao

	2009
18		Lifeng He, Yuyan Chao, Kenji Suzuki, Hidenori Itoh: A Run-Based One-Scan Labeling Algorithm. ICIAR 2009: 93-102
17		Takeshi Inaba, Lifeng He, Kenji Suzuki, Kazuhito Murakami, Yuyan Chao: A Genetic-Algorithm-Based Temporal Subtraction for Chest Radiographs. JACIII 13(3): 289-296 (2009)
16		Lifeng He, Yuyan Chao, Kenji Suzuki, Kesheng Wu: Fast connected-component labeling. Pattern Recognition 42(9): 1977-1987 (2009)
	2008
15		Lifeng He, Yuyan Chao, Kenji Suzuki: A Run-Based Two-Scan Labeling Algorithm. IEEE Transactions on Image Processing 17(5): 749-756 (2008)
	2007
14		Lifeng He, Yuyan Chao, Kenji Suzuki: A Run-Based Two-Scan Labeling Algorithm. ICIAR 2007: 131-142
13		Lifeng He, Yuyan Chao, Kenji Suzuki: A Linear-Time Two-Scan Labeling Algorithm. ICIP (5) 2007: 241-244
12		Yuyan Chao, Lifeng He, Tsuyoshi Nakamura, Zhenghao Shi, Kenji Suzuki, Hidenori Itoh: An Improvement of Herbrand's Theorem and Its Application to Model Generation Theorem Proving. J. Comput. Sci. Technol. 22(4): 541-553 (2007)
	2005
11		Qiang Li, Yuyan Chao, Tsuyoshi Nakamura, Lifeng He, Hidenori Itoh: Image color transfer with region matching based on IEC. Congress on Evolutionary Computation 2005: 1501-1508
	2004
10		Lifeng He, Yuyan Chao, Hidenori Itoh: R-SATCHMO: Refinements on I-SATCHMO. J. Log. Comput. 14(2): 117-143 (2004)
	2003
9		Lifeng He, Yuyan Chao, Tsuyoshi Nakamura, Hidenori Itoh: I-Satchmore: An Improvement of A-SATCHMORE. J. Comput. Sci. Technol. 18(2): 181-189 (2003)
8		Yuyan Chao, Lifeng He, Hidenori Itoh: Inferring Solids Composed of Linear and Quadratic Surfaces from Incomplete Three Views. J. Comput. Sci. Technol. 18(3): 332-342 (2003)
7		Lifeng He, Yuyan Chao, Hidenori Itoh: Eliminating Redundant Search Space on Backtracking for Forward Chaining Theorem Proving. J. Comput. Sci. Technol. 18(5): 580-591 (2003)
	2002
6		Yuyan Chao, Norimitsu Kawana, Lifeng He, Tsuyoshi Nakamura, Hidenori Itoh: R-UNSEARCHMO: A Refinement on UNSEARCHMO. PRICAI 2002: 29-38
	2000
5		Lifeng He, Yuyan Chao, Koji Yamada, Tsuyoshi Nakamura, Hidenori Itoh: Multi-agent Cooperative Reasoning Using Common Knowledge and Implicit Knowledge. PRICAI 2000: 815
	1998
4		Lifeng He, Yuyan Chao, Yuka Shimajiri, Hirohisa Seki, Hidenori Itoh: A-SATCHMORE: SATCHMORE with Availability Checking. New Generation Comput. 16(1): 55-74 (1998)
	1996
3		Lifeng He, Yuyan Chao, Yuka Shimajiri, Hirohisa Seki, Hidenori Itoh: Constructing More Relevant Models. ASIAN 1996: 345-346
2		Lifeng He, Yuyan Chao, Shohei Kato, Tetsuo Araki, Hirohisa Seki, Hidenori Itoh: Implementing an Automated Reasoning System for Multi-Agent Knowledge and Time. DAI 1996: 152-165
1		Lifeng He, Yuyan Chao, Shohei Kato, Tetsuo Araki, Hirohisa Seki, Hidenori Itoh: A Multi-Agent Cooperative Reasoning System for Amalgamated Knowledge Bases. DAI 1996: 92-105

Coauthor Index

1	Tetsuo Araki	[1] [2]
2	Lifeng He	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18]
3	Takeshi Inaba	[17]
4	Hidenori Itoh	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [18]
5	Shohei Kato	[1] [2]
6	Norimitsu Kawana	[6]
7	Qiang Li	[11]
8	Kazuhito Murakami	[17]
9	Tsuyoshi Nakamura	[5] [6] [9] [11] [12]
10	Hirohisa Seki	[1] [2] [3] [4]
11	Zhenghao Shi	[12]
12	Yuka Shimajiri	[3] [4]
13	Kenji Suzuki	[12] [13] [14] [15] [16] [17] [18]
14	Kesheng Wu	[16]
15	Koji Yamada	[5]