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

Hanpin Wang

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

2009
16EEWangsen Feng, Li'ang Zhang, Hanpin Wang: Approximation algorithm for maximum edge coloring. Theor. Comput. Sci. 410(11): 1022-1029 (2009)
2008
15EEJiaqi Zhu, Hanpin Wang, Zhongyuan Xu: A New Temporal Logic CTL[k-QDDC] and Its Verification. COMPSAC 2008: 235-238
14EEChunxiang Xu, Hanpin Wang, Wanling Qu: Modeling and verifying BPEL using synchronized net. SAC 2008: 2358-2362
13EEYu 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)
12EEYunni 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
11EEYu 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
9EEYu Huang, Hanpin Wang, Wen Zhao, Jiaqi Zhu: Analyzing Data Dependence Based on Workflow Net. International Conference on Computational Science (3) 2007: 257-264
8EEYu Huang, Hanpin Wang: A petri net semantics for web service choreography. SAC 2007: 1689-1690
7EEWangsen Feng, Li'ang Zhang, Wanling Qu, Hanpin Wang: Approximation Algorithms for Maximum Edge Coloring Problem. TAMC 2007: 646-658
6EEYunni Xia, Hanpin Wang, Yu Huang, Wanling Qu: Queuing analysis and performance evaluation of workflow through WFQN. TASE 2007: 178-187
2006
5EEYunni 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
4EEYunni Xia, Hanpin Wang, Yu Huang, Chunxiang Xu: Stochastic modeling and quality evaluation of component-based software systems. QSIC 2006: 377-384
3EEYu 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)
2EEYunni Xia, Hanpin Wang, Yu Huang, L. Yuan: A stochastic model for workflow QoS evaluation. Scientific Programming 14(3-4): 251-265 (2006)
2004
1EEHanpin Wang, Qiwen Xu: Completeness of temporal logics over infinite intervals. Discrete Applied Mathematics 136(1): 87-103 (2004)

Coauthor Index

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)