Hanpin Wang

	2009
17		Heng Guo, Hanpin Wang, Zhongyuan Xu, Yongzhi Cao: On Model Checking Boolean BI. CSL 2009: 302-316
16		Wangsen Feng, Li'ang Zhang, Hanpin Wang: Approximation algorithm for maximum edge coloring. Theor. Comput. Sci. 410(11): 1022-1029 (2009)
	2008
15		Jiaqi Zhu, Hanpin Wang, Zhongyuan Xu: A New Temporal Logic CTL[k-QDDC] and Its Verification. COMPSAC 2008: 235-238
14		Chunxiang Xu, Hanpin Wang, Wanling Qu: Modeling and verifying BPEL using synchronized net. SAC 2008: 2358-2362
13		Yu Huang, Hanpin Wang, Wen Zhao, Chunxiang Xu: A practical method to analyze workflow logic models. Concurrency and Computation: Practice and Experience 20(1): 41-60 (2008)
12		Yunni Xia, Hanpin Wang, Wangsen Feng, Yu Huang: QoS modeling and analysis of component-based software systems: a stochastic approach. Concurrency and Computation: Practice and Experience 20(12): 1359-1385 (2008)
	2007
11		Yu Huang, Chunxiang Xu, Hanpin Wang, Yunni Xia, Jiaqi Zhu, Cheng Zhu: Formalizing Web Service Choreography Interface. AINA Workshops (2) 2007: 576-581
10		Wangsen Feng, Wanling Qu, Hanpin Wang: Lower bounds on the cardinality of maximum matchings in graphs with bounded degrees. FCS 2007: 110-113
9		Yu Huang, Hanpin Wang, Wen Zhao, Jiaqi Zhu: Analyzing Data Dependence Based on Workflow Net. International Conference on Computational Science (3) 2007: 257-264
8		Yu Huang, Hanpin Wang: A petri net semantics for web service choreography. SAC 2007: 1689-1690
7		Wangsen Feng, Li'ang Zhang, Wanling Qu, Hanpin Wang: Approximation Algorithms for Maximum Edge Coloring Problem. TAMC 2007: 646-658
6		Yunni Xia, Hanpin Wang, Yu Huang, Wanling Qu: Queuing analysis and performance evaluation of workflow through WFQN. TASE 2007: 178-187
	2006
5		Yunni Xia, Hanpin Wang, Chunxiang Xu, Liang Li: Stochastic Modeling and Quality Evaluation of Workflow Systems Based on QWF-Nets. International Conference on Computational Science (3) 2006: 988-995
4		Yunni Xia, Hanpin Wang, Yu Huang, Chunxiang Xu: Stochastic modeling and quality evaluation of component-based software systems. QSIC 2006: 377-384
3		Yu Huang, Hanpin Wang, Peng Yu, Yunni Xia: Property-Transition-Net-Based Workflow Process Modeling and Verification. Electr. Notes Theor. Comput. Sci. 159: 155-170 (2006)
2		Yunni Xia, Hanpin Wang, Yu Huang, L. Yuan: A stochastic model for workflow QoS evaluation. Scientific Programming 14(3-4): 251-265 (2006)
	2004
1		Hanpin Wang, Qiwen Xu: Completeness of temporal logics over infinite intervals. Discrete Applied Mathematics 136(1): 87-103 (2004)

Coauthor Index

1	Yongzhi Cao	[17]
2	Wangsen Feng	[7] [10] [12] [16]
3	Heng Guo	[17]
4	Yu Huang	[2] [3] [4] [6] [8] [9] [11] [12] [13]
5	Liang Li	[5]
6	Wanling Qu	[6] [7] [10] [14]
7	Yunni Xia	[2] [3] [4] [5] [6] [11] [12]
8	Chunxiang Xu	[4] [5] [11] [13] [14]
9	Qiwen Xu	[1]
10	Zhongyuan Xu	[15] [17]
11	Peng Yu	[3]
12	L. Yuan	[2]
13	Li'ang Zhang	[7] [16]
14	Wen Zhao	[9] [13]
15	Cheng Zhu	[11]
16	Jiaqi Zhu	[9] [11] [15]

Colors in the list of coauthors