Huibiao Zhu Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2013
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Xi Wu, Huibiao Zhu, Yongxin Zhao, Zheng Wang, Si Liu: Modeling and verifying the Ariadne protocol using process algebra. Comput. Sci. Inf. Syst. 10(1): 393-421 (2013)
i2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Huixing Fang, Huibiao Zhu, Jianqi Shi: Apricot - An Object-Oriented Modeling Language for Hybrid Systems. CoRR abs/1304.6498 (2013)
2012
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Huibiao Zhu, Fan Yang, Jifeng He, Jonathan P. Bowen, Jeff W. Sanders, Shengchao Qin: Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language. J. Log. Algebr. Program. 81(1): 2-25 (2012)
c74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Richard Banach, Huibiao Zhu, Wen Su, Xiaofeng Wu: ASM and Controller Synthesis. ABZ 2012: 51-64
c73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Richard Banach, Huibiao Zhu, Wen Su, Xiaofeng Wu: Continuous ASM, and a Pacemaker Sensing Fragment. ABZ 2012: 65-78
c72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jean-Raymond Abrial, Wen Su, Huibiao Zhu: Formalizing Hybrid Systems with Event-B. ABZ 2012: 178-193
c71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Richard Banach, Huibiao Zhu, Wen Su, Xiaofeng Wu: Continuous Behaviour in Event-B: A Sketch. ABZ 2012: 349-352
c70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Xi Wu, Si Liu, Huibiao Zhu, Yongxin Zhao, Lei Chen: Modeling and Verifying the Ariadne Protocol Using CSP. ECBS 2012: 24-32
c69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jianqi Shi, Longfei Zhu, Huixing Fang, Jian Guo, Huibiao Zhu, Xin Ye: xBIL - A Hardware Resource Oriented Binary Intermediate Language. ICECCS 2012: 211-219
c68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jianqi Shi, Jifeng He, Huibiao Zhu, Huixing Fang, Yanhong Huang, Xiaoxian Zhang: ORIENTAIS: Formal Verified OSEK/VDX Real-Time Operating System. ICECCS 2012: 293-301
c67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Wen Su, Jean-Raymond Abrial, Huibiao Zhu: Complementary Methodologies for Developing Hybrid Systems with Event-B. ICFEM 2012: 230-248
c66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yanhong Huang, Yongxin Zhao, Jianqi Shi, Huibiao Zhu, Shengchao Qin: Investigating Time Properties of Interrupt-Driven Programs. SBMF 2012: 131-146
c65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yongxin Zhao, Longfei Zhu, Huibiao Zhu, Jifeng He: A Denotational Model for Instantaneous Signal Calculus. SEFM 2012: 126-140
c64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Huibiao Zhu, Qiwen Xu, Chris Ma, Shengchao Qin, Zongyan Qiu: The Rely/Guarantee Approach to Verifying Concurrent BPEL Programs. SEFM 2012: 172-187
c63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ender Yüksel, Huibiao Zhu, Hanne Riis Nielson, Heqing Huang, Flemming Nielson: Modelling and Analysis of Smart Grid: A Stochastic Model Checking Case Study. TASE 2012: 25-32
c62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Huixing Fang, Jian Guo, Huibiao Zhu, Jianqi Shi: Formal Verification and Simulation: Co-verification for Subway Control Systems. TASE 2012: 145-152
c61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jianqi Shi, Longfei Zhu, Yanhong Huang, Jian Guo, Huibiao Zhu, Huixing Fang, Xin Ye: Binary Code Level Verification for Interrupt Safety Properties of Real-Time Operating System. TASE 2012: 223-226
c60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Huibiao Zhu, Peng Liu, Jifeng He, Shengchao Qin: Mechanical Approach to Linking Operational Semantics and Algebraic Semantics for Verilog Using Maude. UTP 2012: 164-185
c59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Chengcheng Wu, Yongxin Zhao, Huibiao Zhu: Unifying Operational Semantics with Algebraic Semantics for Instantaneous Reactions. UTP 2012: 186-203
c58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Huibiao Zhu, Jeff W. Sanders, Jifeng He, Shengchao Qin: Denotational Semantics for a Probabilistic Timed Shared-Variable Language. UTP 2012: 224-247
i1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ender Yüksel, Hanne Riis Nielson, Flemming Nielson, Huibiao Zhu, Heqing Huang: Modelling Chinese Smart Grid: A Stochastic Model Checking Case Study. CoRR abs/1205.6664 (2012)
2011
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Huibiao Zhu, Jifeng He, Jing Li, Jonathan P. Bowen: Algebraic approach to linking the semantics of web services. ISSE 7(3): 209-224 (2011)
c57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Wen Su, Fan Yang, Xiaofeng Wu, Jian Guo, Huibiao Zhu: Formal Approaches to Mode Conversion and Positioning for Vehicle System. COMPSAC Workshops 2011: 416-421
c56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yongxin Zhao, Zheng Wang, Hao Xiao, Jing Ping, Geguang Pu, Jifeng He, Huibiao Zhu: A Unifying Approach to Validating Specification-Oriented XML Constraints. HASE 2011: 33-40
c55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Qian Wang, Huibiao Zhu: Animating the Approach of Deriving Operational Semantics from Algebraic Semantics for Web Services. HASE 2011: 57-62
c54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Si Liu, Yongxin Zhao, Huibiao Zhu, Qin Li: A Calculus for Mobile Ad Hoc Networks from a Group Probabilistic Perspective. HASE 2011: 157-162
c53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Wen Su, Jean-Raymond Abrial, Runlei Huang, Huibiao Zhu: From Requirements to Development: Methodology and Example. ICFEM 2011: 437-455
c52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Han Zhu, Huibiao Zhu, Si Liu, Jian Guo: Towards Denotational Semantics for Verilog in PVS. SSIRI (Companion) 2011: 1-2
c51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Si Liu, Xiaofeng Wu, Qin Li, Huibiao Zhu, Qian Wang: Formal Approaches to Wireless Sensor Networks. SSIRI (Companion) 2011: 11-18
c50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Longfei Zhu, Min Zhang, Yanhong Huang, Jianqi Shi, Huibiao Zhu: Formalizing Application Programming Interfaces of the OSEK/VDX Operating System Specification. TASE 2011: 27-34
c49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Shengchao Qin, Aziem Chawdhary, Wei Xiong, Malcolm Munro, Zongyan Qiu, Huibiao Zhu: Towards an Axiomatic Verification System for JavaScript. TASE 2011: 133-141
c48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yanhong Huang, Yongxin Zhao, Longfei Zhu, Qin Li, Huibiao Zhu, Jianqi Shi: Modeling and Verifying the Code-Level OSEK/VDX Operating System with CSP. TASE 2011: 142-149
c47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Si Liu, Yongxin Zhao, Huibiao Zhu, Qin Li: Towards a Probabilistic Calculus for Mobile Ad Hoc Networks. TASE 2011: 195-198
c46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mengying Wang, Huibiao Zhu, Yongxin Zhao, Si Liu: Modeling and Analyzing the (mu)TESLA Protocol Using CSP. TASE 2011: 247-250
c45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Richard Banach, Huibiao Zhu, Wen Su, Runlei Huang: Formalising the Continuous/Discrete Modeling Step. Refine 2011: 121-138
2010
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Huibiao Zhu, Jifeng He, Jing Li, Geguang Pu, Jonathan P. Bowen: Linking denotational semantics with operational semantics for web services. ISSE 6(4): 283-298 (2010)
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Zheng Wang, Lei Zhou, Yongxin Zhao, Jing Ping, Hao Xiao, Geguang Pu, Huibiao Zhu: Web services choreography validation. Service Oriented Computing and Applications 4(4): 291-305 (2010)
c44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jieqi Ding, Han Zhu, Huibiao Zhu, Qin Li: Formal Modeling and Verifications of Deadlock Prevention Solutions in Web Service Oriented System. ECBS 2010: 335-343
c43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fan Yang, Wen Su, Huibiao Zhu, Qin Li: Formalizing MapReduce with CSP. ECBS 2010: 358-367
c42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Juanhua Kang, Qin Li, Huibiao Zhu, Wenjuan Wu: Formal Approaches to Location Management in Mobile Communications. ICDCIT 2010: 243-254
c41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Qin Li, Huibiao Zhu, Jifeng He: A Denotational Semantical Model for Orc Language. ICTAC 2010: 106-120
c40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yongxin Zhao, Zheng Wang, Geguang Pu, Huibiao Zhu: A Formal Model for Service Choreography with Exception Handling and Finalization. TASE 2010: 15-24
c39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yongxin Zhao, Yanhong Huang, Jianwen Li, Huibiao Zhu: Probabilistic Model of System Survivability. TASE 2010: 193-200
c38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yongxin Zhao, Xu Wang, Huibiao Zhu: Towards a Pomset Semantics for a Shared-Variable Parallel Language. UTP 2010: 271-285
c37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Huibiao Zhu, Fan Yang, Jifeng He: Generating Denotational Semantics from Algebraic Semantics for Event-Driven System-Level Language. UTP 2010: 286-308
e1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jin Song Dong, Huibiao Zhu (Eds.): Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings. Lecture Notes in Computer Science 6447, Springer 2010, isbn 978-3-642-16900-7
2009
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Huibiao Zhu, Shengchao Qin, Jifeng He, Jonathan P. Bowen: PTSC: probability, time and shared-variable concurrency. ISSE 5(4): 271-284 (2009)
c36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Qin Li, Huibiao Zhu, Jifeng He: A Formal Perspective for Service Coordination Framework in Service Oriented Architecture. Australian Software Engineering Conference 2009: 287-296
c35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Huibiao Zhu, Yongxin Zhao, Jifeng He: Locality-Based Normal Form Approach to Linking Algebraic Semantics and Operational Semantics for an Event-Driven System-Level Language. Australian Software Engineering Conference 2009: 297-306
c34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Qin Li, Fan Yang, Huibiao Zhu, Longfei Zhu: Formal Modeling and Analyzing Kerberos Protocol. CSIE (7) 2009: 813-819
c33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Qin Li, Huibiao Zhu: Towards Specification and Refinement of Contracts with Environment Changes. SEW 2009: 61-68
c32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Huibiao Zhu, Fan Yang, Jifeng He, Jonathan P. Bowen, Jeff W. Sanders: Animating the Link Between Operational Semantics and Algebraic Semantics for a Probabilistic Timed Shared-Variable Language. SEW 2009: 104-114
c31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Wen Su, Fan Yang, Huibiao Zhu, Qin Li: Modeling MapReduce with CSP. TASE 2009: 301-302
c30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jieqi Ding, Han Zhu, Huibiao Zhu, Qin Li: Formal Approaches to Deadlock Analysis in Competitions of Shared Web Resources. TASE 2009: 327-328
2008
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Huibiao Zhu, Jifeng He, Jonathan P. Bowen: From algebraic semantics to denotational semantics for Verilog. ISSE 4(4): 341-360 (2008)
c29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Zheng Wang, Xiao Yu, Geguang Pu, Libo Feng, Huibiao Zhu, Jifeng He: Execution Semantics for rCOS. APSEC 2008: 119-126
c28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jing Li, Huibiao Zhu, Jifeng He: Specifying and Verifying Web Transactions. FORTE 2008: 149-168
c27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Qin Li, Huibiao Zhu, Jifeng He: Towards the Service Composition Through Buses. HASE 2008: 441-444
c26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Geguang Pu, Yongxin Zhao, Zheng Wang, Libo Feng, Huibiao Zhu, Jifeng He: A Denotational Model for Web Services Choreography. ICDCIT 2008: 1-12
c25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jing Li, Huibiao Zhu, Jifeng He: An Observational Model for Transactional Calculus of Services Orchestration. ICTAC 2008: 201-215
c24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Naiyong Jin, Huibiao Zhu: ASERE: Assuring the Satisfiability of Sequential Extended Regular Expressions. ISoLA 2008: 237-251
c23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Huibiao Zhu, Jifeng He, Xiaoqing Peng, Naiyong Jin: Denotational Approach to an Event-Driven System-Level Language. UTP 2008: 258-278
2007
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jifeng He, Huibiao Zhu, Geguang Pu: A model for BPEL-like languages. Frontiers of Computer Science in China 1(1): 9-19 (2007)
c22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yi Qian, Yuming Xu, Zheng Wang, Geguang Pu, Huibiao Zhu, Chao Cai: Tool Support for BPEL Verification in ActiveBPEL Engine. ASWEC 2007: 90-100
c21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Huibiao Zhu, Jifeng He, Jing Li: Unifying Denotational Semantics with Operational Semantics for Web Services. ICDCIT 2007: 225-239
c20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jing Li, Huibiao Zhu, Geguang Pu, Jifeng He: A Formal Model for Compensable Transactions. ICECCS 2007: 64-73
c19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jing Li, Huibiao Zhu, Jifeng He: Algebraic Semantics for Compensable Transactions. ICTAC 2007: 306-321
c18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Huibiao Zhu, Jifeng He, Jing Li, Jonathan P. Bowen: Algebraic Approach to Linking the Semantics of Web Services. SEFM 2007: 315-328
c17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Qin Li, Huibiao Zhu, Jifeng He: An Inconsistency Free Formalization of B/S Architecture. SEW 2007: 75-88
c16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Huibiao Zhu, Jifeng He, Jonathan P. Bowen: Algebraic Approach to Operational Semantics and Observation-Oriented Semantics for a Timed Shared-Variable Language with Probability. SEW 2007: 131-143
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jing Li, Huibiao Zhu, Geguang Pu, Jifeng He: Looking into Compensable Transactions. SEW 2007: 154-166
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Huibiao Zhu, Jifeng He, Geguang Pu, Jing Li: An Operational Approach to BPEL-like Programming. SEW 2007: 236-245
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jing Li, Jifeng He, Huibiao Zhu, Geguang Pu: Modeling and Verifying Web Services Choreography Using Process Algebra. SEW 2007: 256-268
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jing Li, Huibiao Zhu, Geguang Pu: Conformance Validation between Choreography and Orchestration. TASE 2007: 473-482
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Qin Li, Huibiao Zhu, Jing Li, Jifeng He: Scalable Formalization of Publish/Subscribe Messaging Scheme Based on Message Brokers. WS-FM 2007: 61-76
2006
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Huibiao Zhu, Geguang Pu, Jifeng He: A Denotational Approach to Scope-Based Compensable Flow Language for Web Service. ASIAN 2006: 28-36
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Geguang Pu, Huibiao Zhu, Zongyan Qiu, Shuling Wang, Xiangpeng Zhao, Jifeng He: Theoretical Foundations of Scope-Based Compensable Flow Language for Web Service. FMOODS 2006: 251-266
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Huibiao Zhu, Jifeng He, Jonathan P. Bowen: From Algebraic Semantics to Denotational Semantics for Verilog. ICECCS 2006: 139-151
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jing Li, Jifeng He, Geguang Pu, Huibiao Zhu: Towards the Semantics for Web Service Choreography Description Language. ICFEM 2006: 246-263
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Geguang Pu, Huibiao Zhu, Jifeng He, Zongyan Qiu, Hongli Yang, Xiangpeng Zhao: Patterns with Algebraic Properties in BPEL0. ISoLA 2006: 363-370
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Huibiao Zhu, Shengchao Qin, Jifeng He, Jonathan P. Bowen: Integrating Probability with Time and Shared-Variable Concurrency. SEW 2006: 179-189
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Xiaoqing Peng, Huibiao Zhu, Jifeng He, Naiyong Jin: An Operational Semantics of an Event-Driven System-Level Simulator. SEW 2006: 190-202
2002
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Huibiao Zhu, Jonathan P. Bowen, Jifeng He: Soundness, Completeness and Non-redundancy of Operational Semantics for Verilog Based on Denotational Semantics. ICFEM 2002: 600-612
2001
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Huibiao Zhu, Jonathan P. Bowen, Jifeng He: Deriving Operational Semantics from Denotational Semantics for Verilog. APSEC 2001: 177-
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Huibiao Zhu, Jonathan P. Bowen, Jifeng He: From Operational Semantics to Denotational Semantics for Verilog. CHARME 2001: 449-466

Coauthor Index

1Jean-Raymond Abrial
[c72] [c67] [c53]
2Richard Banach
[c74] [c73] [c71] [c45]
3Jonathan P. Bowen
[j7] [j6] [j5] [j3] [c32] [j2] [c18] [c16] [c8] [c5] [c3] [c2] [c1]
4Chao Cai
[c22]
5Aziem Chawdhary
[c49]
6Lei Chen
[c70]
7Jieqi Ding
[c44] [c30]
8Jin Song Dong
[e1]
9Huixing Fang
[i2] [c69] [c68] [c62] [c61]
10Libo Feng
[c29] [c26]
11Jian Guo
[c69] [c62] [c61] [c57] [c52]
12Jifeng He
[j7] [c68] [c65] [c60] [c58] [j6] [c56] [j5] [c41] [c37] [j3] [c36] [c35] [c32] [j2] [c29] [c28] [c27] [c26] [c25] [c23] [j1] [c21] [c20] [c19] [c18] [c17] [c16] [c15] [c14] [c13] [c11] [c10] [c9] [c8] [c7] [c6] [c5] [c4] [c3] [c2] [c1]
13Heqing Huang
[c63] [i1]
14Runlei Huang
[c53] [c45]
15Yanhong Huang
[c68] [c66] [c61] [c50] [c48] [c39]
16Naiyong Jin
[c24] [c23] [c4]
17Juanhua Kang
[c42]
18Jianwen Li
[c39]
19Jing Li
[j6] [j5] [c28] [c25] [c21] [c20] [c19] [c18] [c15] [c14] [c13] [c12] [c11] [c7]
20Qin Li
[c54] [c51] [c48] [c47] [c44] [c43] [c42] [c41] [c36] [c34] [c33] [c31] [c30] [c27] [c17] [c11]
21Peng Liu
[c60]
22Si Liu
[j8] [c70] [c54] [c52] [c51] [c47] [c46]
23Chris Ma
[c64]
24Malcolm Munro
[c49]
25Flemming Nielson
[c63] [i1]
26Hanne Riis Nielson
[c63] [i1]
27Xiaoqing Peng
[c23] [c4]
28Jing Ping
[c56] [j4]
29Geguang Pu
[c56] [j5] [j4] [c40] [c29] [c26] [j1] [c22] [c20] [c15] [c14] [c13] [c12] [c10] [c9] [c7] [c6]
30Yi Qian
[c22]
31Shengchao Qin
[j7] [c66] [c64] [c60] [c58] [c49] [j3] [c5]
32Zongyan Qiu
[c64] [c49] [c9] [c6]
33Jeff W. Sanders (Jeffrey W. Sanders)
[j7] [c58] [c32]
34Jianqi Shi
[i2] [c69] [c68] [c66] [c62] [c61] [c50] [c48]
35Wen Su
[c74] [c73] [c72] [c71] [c67] [c57] [c53] [c45] [c43] [c31]
36Mengying Wang
[c46]
37Qian Wang
[c55] [c51]
38Shuling Wang
[c9]
39Xu Wang
[c38]
40Zheng Wang
[j8] [c56] [j4] [c40] [c29] [c26] [c22]
41Chengcheng Wu
[c59]
42Wenjuan Wu
[c42]
43Xi Wu
[j8] [c70]
44Xiaofeng Wu
[c74] [c73] [c71] [c57] [c51]
45Hao Xiao
[c56] [j4]
46Wei Xiong
[c49]
47Qiwen Xu
[c64]
48Yuming Xu
[c22]
49Fan Yang
[j7] [c57] [c43] [c37] [c34] [c32] [c31]
50Hongli Yang
[c6]
51Xin Ye
[c69] [c61]
52Xiao Yu
[c29]
53Ender Yüksel
[c63] [i1]
54Min Zhang
[c50]
55Xiaoxian Zhang
[c68]
56Xiangpeng Zhao
[c9] [c6]
57Yongxin Zhao
[j8] [c70] [c66] [c65] [c59] [c56] [c54] [c48] [c47] [c46] [j4] [c40] [c39] [c38] [c35] [c26]
58Lei Zhou
[j4]
59Han Zhu
[c52] [c44] [c30]
60Longfei Zhu
[c69] [c65] [c61] [c50] [c48] [c34]
Last update Sun May 19 05:14:27 2013 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page