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

Yu Huang (Selection)

Peking University

List of publications from the DBLP Bibliography Server - FAQ

other persons with the same name:


Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJinan Sun, Yu Huang, Xin Gao, Shikun Zhang, Lifu Wang, Chong-Yi Yuan: A Novel Method for Formally Detecting RFID Event Using Petri Nets. SEKE 2011: 122-125
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChunxiang Xu, Yu Huang, Wanling Qu, Hanpin Wang, Xiaojuan Ban: A Petri Net-Based Algorithm for RFID Event Detection. COMPSAC 2010: 367-372
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChong-Yi Yuan, Wen Zhao, Yu Huang: Operation Expression: a Way to Verified Software. FCS 2010: 91-95
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei Ye, Wen Zhao, Yu Huang, Wenhui Hu, Shikun Zhang, Lifu Wang: Formal Definition and Detection Algorithm for Passive Event in RFID Middleware. APWeb/WAIM 2009: 538-543
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYunni Xia, Jun Chen, Mingqiang Zhou, Yu Huang: A Petri-Net-Based Approach to QoS Estimation of Web Service Choreographies. APWeb/WAIM Workshops 2009: 113-124
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei Ye, Wen Zhao, Yu Huang, Wenhui Hu, Shikun Zhang, Lifu Wang: Towards Passive RFID Event. COMPSAC (1) 2009: 492-499
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJiaqi Zhu, Yu Huang, Hanpin Wang: A Formal Descriptive Language and an Automated Detection Method for Complex Events in RFID. COMPSAC (1) 2009: 543-552
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYu Huang, Jieying Li, Haiqiang Dun, Hanpin Wang: Analyzing Service Composition Patterns in BPEL. JCAI 2009: 623-627
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChunxiang Xu, Hanpin Wang, Wanling Qu, Meixia Zhu, Yu Huang: A New Method to Model and Analyze the WS-BPEL Process under the Dead-Path-Elimination Semantics. SSIRI 2009: 203-211
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYunni Xia, Qingsheng Zhu, Yu Huang, Zizhen Wang: A novel reduction approach to analyzing QoS of workflow processes. Concurrency and Computation: Practice and Experience 21(2): 205-223 (2009)
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHaiqiang Dun, Wen Zhao, Yu Huang, Shikun Zhang, Lifu Wang: Modeling and Analysis of WS-BPEL Business Processes Based on ServiceNet. APSEC 2008: 265-272
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWen Zhao, Yu Huang, Chong-Yi Yuan: Synchronic Distance Based Workflow Logic Specification. HPCC 2008: 819-824
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYu 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)
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYunni 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)
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYu Huang, Chunxiang Xu, Hanpin Wang, Yunni Xia, Jiaqi Zhu, Cheng Zhu: Formalizing Web Service Choreography Interface. AINA Workshops (2) 2007: 576-581
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYu Huang, Hanpin Wang, Wen Zhao, Jiaqi Zhu: Analyzing Data Dependence Based on Workflow Net. International Conference on Computational Science (3) 2007: 257-264
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYu Huang, Hanpin Wang: A petri net semantics for web service choreography. SAC 2007: 1689-1690
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYunni Xia, Hanpin Wang, Yu Huang, Wanling Qu: Queuing analysis and performance evaluation of workflow through WFQN. TASE 2007: 178-187
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChong-Yi Yuan, Wen Zhao, Shikun Zhang, Yu Huang: A Three-Layer Model for Business Processes - Process Logic, Case Semantics and Workflow Management. J. Comput. Sci. Technol. 22(3): 410-425 (2007)
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYunni Xia, Hanpin Wang, Yu Huang, Chunxiang Xu: Stochastic modeling and quality evaluation of component-based software systems. QSIC 2006: 377-384
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYu 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)
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYunni Xia, Hanpin Wang, Yu Huang, L. Yuan: A stochastic model for workflow QoS evaluation. Scientific Programming 14(3-4): 251-265 (2006)

Selection of 22 from 22 records - Yu Huang has 25 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page