Bing Li

	2009
68		Cheng Zeng, Keqing He, Bing Li: A Framework to Support Interoperability among Web Service Registries. ACIS-ICIS 2009: 891-896
67		Bing Li, Chris Ka-Kei Kwok: Automatic formal verification of clock domain crossing signals. ASP-DAC 2009: 654-659
66		Weifeng Pan, Bing Li, Yutao Ma, Jing Liu: A Novel Software Evolution Model Based on Software Networks. Complex (2) 2009: 1281-1291
65		Bing Li, Ning Chen, Manuel Schmidt, Walter Schneider, Ulf Schlichtmann: On hierarchical statistical static timing analysis. DATE 2009: 1320-1325
64		Linsheng Huo, Hong-Nan Li, Bing Li: Seismic Responses Prediction of Nonlinear Building Structures Based on Multi-Branch BP Neural Network. ISNN (1) 2009: 919-928
63		Tao Peng, Bing Li, Weifeng Pan, Zaiwen Feng: Requirements Discovery Based on RGPS Using Evolutionary Algorithm. SEKE 2009: 286-290
	2008
62		Lifen Yuan, Yigang He, ZhouGuo Hou, Bing Li: A New Method of Signal Processing in RFID System. CSSE (5) 2008: 1040-1043
61		Bing Li, Tao Zeng, Xiying Chen, Xiu Li: Research on Dynamic Time Evaluation of Service Procedure and Task Scheduling. CSSE (5) 2008: 421-425
60		XueFeng Chen, Bing Li, Hongrui Cao, Zhengjia He: The Condition Monitoring and Performance Evaluating of Digital Manufacturing Process. ICIRA (2) 2008: 593-603
59		Tong Zhu, Tsutomu Nozaki, Yuanhua Xie, Jin Han, Jing Jiang, Bing Li: Dynamic Model and Numerical Simulation of Particle Motion in Rotation Flow Field of Centrifuge. ISICA 2008: 470-478
58		Bing Li, Christoph Knoth, Walter Schneider, Manuel Schmidt, Ulf Schlichtmann: Static Timing Model Extraction for Combinational Circuits. PATMOS 2008: 156-166
57		Walter Schneider, Manuel Schmidt, Bing Li, Ulf Schlichtmann: A New Bounding Technique for Handling Arbitrary Correlations in Path-Based SSTA. PATMOS 2008: 167-177
56		Jing Liu, Jinhu Lu, Keqing He, Bing Li, Chi Kong Tse: Characterizing the Structural Quality of General Complex Software Networks. I. J. Bifurcation and Chaos 18(2): 605-613 (2008)
55		Bing Li, Scott T. Acton: Automatic Active Model Initialization via Poisson Inverse Gradient. IEEE Transactions on Image Processing 17(8): 1406-1420 (2008)
54		Bing Li, De Xu, Jin-Hua Wang, Rui Lu: Color Constancy Based on Image Similarity. IEICE Transactions 91-D(2): 375-378 (2008)
53		Rui Lu, De Xu, Xinbin Yang, Bing Li: Color Constancy Based on Effective Regions. IEICE Transactions 91-D(7): 2091-2094 (2008)
52		Songhe Feng, De Xu, Bing Li: Combining Attention Model with Hierarchical Graph Representation for Region-Based Image Retrieval. IEICE Transactions 91-D(8): 2203-2206 (2008)
	2007
51		Bing Li, Junichi Iijima: A Hybrid Approach for Business Process Verification. CONFENIS (1) 2007: 1-9
50		Jian Wang, Keqing He, Bing Li, Wei Liu, Rong Peng: Meta-models of Domain Modeling Framework for Networked Software. GCC 2007: 878-886
49		Bing Li, Abhay V. Patil, John A. Hossack, Scott T. Acton: 3D Segmentation of the Prostate via Poisson Inverse Gradient Initialization. ICIP (5) 2007: 25-28
48		Bing Li, De Xu, Songhe Feng, Fangshi Wang: Visual Perception Theory Guided Depth Motion Estimation. MMM (1) 2007: 198-206
47		Bing Li, Junichi Iijima: Bridging the Gap between XPDL and Situation Calculus: A Hybrid Approach for Business Process Verification. MSVVEIS 2007: 151-156
46		Bing Li, Shuo Pan: Service Process Improvement Based on Exceptional Pattern Analysis. NPC 2007: 486-494
45		Keqing He, Liang Peng, Rong Peng, Bing Li, Jing Liu: Requirement emergence computation of networked software. Frontiers of Computer Science in China 1(3): 322-328 (2007)
44		Bing Li, Scott T. Acton: Active Contour External Force Using Vector Field Convolution for Image Segmentation. IEEE Transactions on Image Processing 16(8): 2096-2106 (2007)
43		Bing Li, De Xu, Moon Ho Lee, Songhe Feng: A Multi-Scale Adaptive Grey World Algorithm. IEICE Transactions 90-D(7): 1121-1124 (2007)
	2006
42		Bing Li, Scott T. Acton: Vector Field Convolution for Image Segmentation using Snakes. ICIP 2006: 1637-1640
41		Bing Li, De Xu, Songhe Feng, Aimin Wu, Xu Yang: Perceptual Depth Estimation from a Single 2D Image Based on Visual Perception Theory. PCM 2006: 88-95
40		Bing Li, Fabio Somenzi: Efficient Abstraction Refinement in Interpolation-Based Unbounded Model Checking. TACAS 2006: 227-241
39		Chao Wang, Bing Li, HoonSang Jin, Gary D. Hachtel, Fabio Somenzi: Improving Ariadne's Bundle by Following Multiple Threads in Abstraction Refinement. IEEE Trans. on CAD of Integrated Circuits and Systems 25(11): 2297-2316 (2006)
	2005
38		Yu Zhao, Bing Li, Xiu Li, Wenhuang Liu, Shouju Ren: Customer Churn Prediction Using Improved One-Class Support Vector Machine. ADMA 2005: 300-306
37		Qingguo Lan, Shufen Liu, Bing Li, Lu Han: Study on Unified Metamodeling Framework Based on Down-Up Mechanism. CSCWD (Selected papers) 2005: 596-605
36		Bing Li, Fei He, Wudong Liu, Keqing He, Jin Liu: Research on Semantic-Based Web Services Registry Federation. GCC 2005: 202-207
35		Liang Peng, Keqing He, Bing Li, Jin Liu: The Interoperability between Different e-Business Specifications. ITCC (1) 2005: 409-413
34		Jin Liu, Keqing He, Bing Li, Chengwan He, Liang Peng: A Transformation Definition Metamodel for Model Transformation. ITCC (2) 2005: 373-378
33		JingHui Xiao, Bingquan Liu, Xiaolong Wang, Bing Li: A Similarity-Based Approach to Data Sparseness Problem of Chinese Language Modeling. MICAI 2005: 761-769
32		Jin Liu, Keqing He, Bing Li, Fei He: A Perspective of Fusing Ontology and Metamodeling Architecture in Interconnection Environment. SKG 2005: 6
31		Bing Li, Wei-Tek Tsai: Ontology and Service Oriented Programming. Int. J. Web Service Res. 2(3): 33-68 (2005)
30		Bing Li, Chao Wang, Fabio Somenzi: Abstraction refinement in symbolic model checking using satisfiability as the only decision procedure. STTT 7(2): 143-155 (2005)
	2004
29		Liang Peng, Keqing He, Bing Li, Jin Liu: Interoperability Test of ebXML e-Business Solutions. CIT 2004: 1004-1007
28		Jin Liu, Keqing He, Bing Li, Hao Chen, Liang Peng: A Methodology for Acquisition of Software Component Attribute Ontology. CIT 2004: 1058-1064
27		Bing Li, Keqing He, Jin Liu, Qiang Wang, Liang Peng, Rong Peng: Building Interoperable Software Components Repository Based on MMF. GCC Workshops 2004: 67-74
26		Yuan Miao, Bing Li, R. Gay: An agent based application service providing model. ICARCV 2004: 120-125
25		Bing Li, Fabio Somenzi: Efficient computation of small abstraction refinements. ICCAD 2004: 518-525
24		He Zhang, Xiu Li, Wenhuang Liu, Bing Li, Zhihong Zhang: An application of the AHP in 3PL vendor selection of a 4PL system. SMC (2) 2004: 1255-1260
23		Jianyong Tuo, Shouju Ren, Wenhuang Liu, Xiu Li, Bing Li, Lei Lin: Artificial immune system for fraud detection. SMC (2) 2004: 1407-1411
22		Xiu Li, Weiyun Ying, Jianyong Tuo, Bing Li, Wenhuang Liu: Applications of classification trees to consumer credit scoring methods in commercial banks. SMC (5) 2004: 4112-4117
21		Bing Li, Hongyuan Zha, F. Chiaromonte: Linear Contour Learning: A Method for Supervised Dimension Reduction. UAI 2004: 346-356
20		Bing Li, Wei-Tek Tsai, Liang-Jie Zhang: Building e-commerce systems using semantic application framework. Int. J. Web Eng. Technol. 1(3): 297-319 (2004)
19		Liang-Jie Zhang, Bing Li: Requirements Driven Dynamic Services Composition for Web Services and Grid Solutions. J. Grid Comput. 2(2): 121-140 (2004)
	2003
18		Ruixuan Li, Zhengding Lu, Weijun Xiao, Bing Li, Wei Wu: Schema Mapping for Interoperability in XML-Based Multidatabase Systems. DEXA Workshops 2003: 235-240
17		Chao Wang, Bing Li, HoonSang Jin, Gary D. Hachtel, Fabio Somenzi: Improving Ariadneýs Bundle by Following Multiple Threads in Abstraction Refinement. ICCAD 2003: 408-415
16		Bing Li, Wei-Tek Tsai, Liang-Jie Zhang: A Semantic Framework for Distributed Applications. ICEIS (4) 2003: 34-41
15		XueFeng Chen, Bing Li, Shengjun Yang, Zhengjia He: Transient Thermal Analysis of Duplicating Paper Using Wavelet on the Interval Elements. WAA 2003: 454-459
14		Bing Li, Chao Wang, Fabio Somenzi: A satisfiability-based approach to abstraction refinement in model checking. Electr. Notes Theor. Comput. Sci. 89(4): (2003)
	2002
13		Bing Li, Wei-Tek Tsai: 3 Tier Transparent Web Application Developing Approach. International Conference on Internet Computing 2002: 519-528
	2001
12		Bing Li, Zhengding Lu, Weijun Xiao, Ruixuan Li, Zhang Wei, Mudar Sarem: An Architecture for Multidatabase Systems Based on CORBA and XML. DEXA Workshop 2001: 32-37
11		Xiaoying Bai, Wei-Tek Tsai, Techeng Shen, Bing Li, Raymond A. Paul: Distributed End-to-End Testing Management. EDOC 2001: 140-151
10		Raymond A. Paul, Wei-Tek Tsai, Bing Li, Xiaoying Bai: XML-based E2E Test Report Management. ER 2001: 607-608
	2000
9		Bing Li, Wei-Sun Jiang: A novel stochastic optimization algorithm. IEEE Transactions on Systems, Man, and Cybernetics, Part B 30(1): 193-198 (2000)
8		Bonnie L. Maidak, James R. Cole, Timothy G. Lilburn, Charles T. Parker Jr., Paul Saxman, Jason M. Stredwick, George M. Garrity, Bing Li, Gary J. Olsen, Sakti Pramanik, Thomas M. Schmidt, James M. Tiedje: The RDP (Ribosomal Database Project) continues. Nucleic Acids Research 28(1): 173-174 (2000)
	1999
7		Utpal Roy, Bing Li: Representation and interpretation of geometric tolerances for polyhedral objects. II.: Size, orientation and position tolerances. Computer-Aided Design 31(4): 273-285 (1999)
6		Bonnie L. Maidak, James R. Cole, Charles T. Parker Jr., George M. Garrity, Niels Larsen, Bing Li, Timothy G. Lilburn, Michael J. McCaughey, Gary J. Olsen, Ross A. Overbeek, Sakti Pramanik, Thomas M. Schmidt, James M. Tiedje, Carl R. Woese: A new version of the RDP (Ribosomal Database Project). Nucleic Acids Research 27(1): 171-173 (1999)
	1998
5		Utpal Roy, Bing Li: Representation and interpretation of geometric tolerances for polyhedral objects - I. Form tolerances. Computer-Aided Design 30(2): 151-161 (1998)
4		Bing Li, Wei-Sun Jiang: Optimizing Complex Functions by Chaos Search. Cybernetics and Systems 29(4): 409-419 (1998)
3		Jeffrey J. P. Tsai, Bing Li, Thomas J. Weigert: A Logic-Based Transformation System. IEEE Trans. Knowl. Data Eng. 10(1): 91-107 (1998)
	1997
2		Jeffrey J. P. Tsai, Bing Li, Eric Y. T. Juan: Parallel Evaluation of Software Architecture Specifications. Commun. ACM 40(1): 83-86 (1997)
	1996
1		Jeffrey J. P. Tsai, Bing Li, Eric Y. T. Juan: Transaction integration for reusable hard real-time components. HASE 1996: 166-175

Coauthor Index

1	Scott T. Acton	[42] [44] [49] [55]
2	Xiaoying Bai	[10] [11]
3	Hongrui Cao	[60]
4	Hao Chen	[28]
5	Ning Chen	[65]
6	Xiying Chen	[61]
7	XueFeng Chen	[15] [60]
8	F. Chiaromonte	[21]
9	James R. Cole	[6] [8]
10	Songhe Feng	[41] [43] [48] [52]
11	Zaiwen Feng	[63]
12	George M. Garrity	[6] [8]
13	R. Gay	[26]
14	Gary D. Hachtel	[17] [39]
15	Jin Han	[59]
16	Lu Han	[37]
17	Chengwan He	[34]
18	Fei He	[32] [36]
19	Keqing He	[27] [28] [29] [32] [34] [35] [36] [45] [50] [56] [68]
20	Yigang He	[62]
21	Zhengjia He	[15] [60]
22	John A. Hossack	[49]
23	ZhouGuo Hou	[62]
24	Linsheng Huo	[64]
25	Junichi Iijima	[47] [51]
26	Jing Jiang	[59]
27	Wei-Sun Jiang	[4] [9]
28	HoonSang Jin	[17] [39]
29	Eric Y. T. Juan	[1] [2]
30	Christoph Knoth	[58]
31	Chris Ka-Kei Kwok	[67]
32	Qingguo Lan	[37]
33	Niels Larsen	[6]
34	Moon Ho Lee	[43]
35	Hong-Nan Li	[64]
36	Ruixuan Li	[12] [18]
37	Xiu Li	[22] [23] [24] [38] [61]
38	Timothy G. Lilburn	[6] [8]
39	Lei Lin	[23]
40	Bingquan Liu	[33]
41	Jin Liu	[27] [28] [29] [32] [34] [35] [36]
42	Jing Liu	[45] [56] [66]
43	Shufen Liu	[37]
44	Wei Liu	[50]
45	Wenhuang Liu	[22] [23] [24] [38]
46	Wudong Liu	[36]
47	Jinhu Lu	[56]
48	Rui Lu	[53] [54]
49	Zhengding Lu	[12] [18]
50	Yutao Ma	[66]
51	Bonnie L. Maidak	[6] [8]
52	Michael J. McCaughey	[6]
53	Yuan Miao	[26]
54	Tsutomu Nozaki	[59]
55	Gary J. Olsen	[6] [8]
56	Ross A. Overbeek	[6]
57	Shuo Pan	[46]
58	Weifeng Pan	[63] [66]
59	Charles T. Parker Jr.	[6] [8]
60	Abhay V. Patil	[49]
61	Raymond A. Paul	[10] [11]
62	Liang Peng	[27] [28] [29] [34] [35] [45]
63	Rong Peng	[27] [45] [50]
64	Tao Peng	[63]
65	Sakti Pramanik	[6] [8]
66	Shouju Ren	[23] [38]
67	Utpal Roy	[5] [7]
68	Mudar Sarem	[12]
69	Paul Saxman	[8]
70	Ulf Schlichtmann	[57] [58] [65]
71	Manuel Schmidt	[57] [58] [65]
72	Thomas M. Schmidt	[6] [8]
73	Walter Schneider	[57] [58] [65]
74	Techeng Shen	[11]
75	Fabio Somenzi	[14] [17] [25] [30] [39] [40]
76	Jason M. Stredwick	[8]
77	James M. Tiedje	[6] [8]
78	Jeffrey J. P. Tsai	[1] [2] [3]
79	Wei-Tek Tsai	[10] [11] [13] [16] [20] [31]
80	C. K. Michael Tse (Chi K. Michael Tse, C. K. Tse, Chi Kong Tse)	[56]
81	Jianyong Tuo	[22] [23]
82	Chao Wang	[14] [17] [30] [39]
83	Fangshi Wang	[48]
84	Jian Wang	[50]
85	Jin-Hua Wang	[54]
86	Qiang Wang	[27]
87	Xiaolong Wang	[33]
88	Zhang Wei	[12]
89	Thomas J. Weigert	[3]
90	Carl R. Woese	[6]
91	Aimin Wu	[41]
92	Wei Wu	[18]
93	JingHui Xiao	[33]
94	Weijun Xiao	[12] [18]
95	Yuanhua Xie	[59]
96	De Xu	[41] [43] [48] [52] [53] [54]
97	Shengjun Yang	[15]
98	Xinbin Yang	[53]
99	Xu Yang	[41]
100	Weiyun Ying	[22]
101	Lifen Yuan	[62]
102	Cheng Zeng	[68]
103	Tao Zeng	[61]
104	Hongyuan Zha	[21]
105	He Zhang	[24]
106	Liang-Jie Zhang	[16] [19] [20]
107	Zhihong Zhang	[24]
108	Yu Zhao	[38]
109	Tong Zhu	[59]

Colors in the list of coauthors