Ji Wang

2007
46	EE	Wei Dong, Ji Wang, Zhichang Qi, Ni Rong: Compositional Verification of UML Dynamic Models. APSEC 2007: 286-293
45	EE	Wanwei Liu, Ji Wang, Wei Dong, Huowang Chen: Axiomatizing Extended Temporal Logic Fragments Via Instantiation. ICTAC 2007: 322-336
44	EE	Shulin Wang, Ji Wang, Huowang Chen, Shutao Li: Feature Extraction and Classification of Tumor Based on Wavelet Package and Support Vector Machines. PAKDD 2007: 871-878
43	EE	Wei Dong, Zhenbang Chen, Ji Wang: A Contract-based Approach to Specifying and Verifying Safety Critical Systems. Electr. Notes Theor. Comput. Sci. 176(2): 89-103 (2007)
42	EE	Wing Lok Yeung, Karl R. P. H. Leung, Ji Wang, Wei Dong: Modelling and model checking suspendible business processes via statechart diagrams and CSP. Sci. Comput. Program. 65(1): 14-29 (2007)
2006
41	EE	Shulin Wang, Ji Wang, Huowang Chen, Boyun Zhang: SVM-Based Tumor Classification with Gene Expression Data. ADMA 2006: 864-870
40	EE	Shulin Wang, Huowang Chen, Ji Wang, Dingxing Zhang, Shutao Li: Molecular Diagnosis of Tumor Based on Independent Component Analysis and Support Vector Machines. CIS 2006: 46-56
39	EE	Zhenbang Chen, Ji Wang, Wei Dong, Zhichang Qi, Wing Lok Yeung: An Interface Theory Based Approach to Verification of Web Services. COMPSAC (2) 2006: 139-144
38	EE	Ting Wang, Yaoyong Li, Kalina Bontcheva, Hamish Cunningham, Ji Wang: Automatic Extraction of Hierarchical Relations from Text. ESWC 2006: 215-229
37	EE	Jianming Zhao, XinJun Mao, Ji Wang: Developing Multi-Agent Systems with Dynamic Binding Mechanism. IAT 2006: 52-58
36	EE	Ji Wang, Zhengjun Zhai, Xiaobin Cai: Real-Time Continuous Collision Detection Based on Swept Volume and Depth Texture. ICAT Workshops 2006: 137-140
35	EE	Yang Yu, Ji Wang, Ting Wang, Huowang Chen: Representing Wholes by Structure. ICCS 2006: 441-454
34	EE	Xiaodong Yi, Ji Wang, Xuejun Yang: Stateful Dynamic Partial-Order Reduction. ICFEM 2006: 149-167
33		Wing Lok Yeung, Karl R. P. H. Leung, Ji Wang, Wei Dong: Model Checking Suspendible Business Processes via Statechart Diagrams and CSP. MSVVEIS 2006: 97-107
32	EE	W. L. Yeung, Ji Wang, Wei Dong: Verifying Choreographic Descriptions of Web Services Based on CSP. SCW 2006: 97-104
31		XinJun Mao, Zhiming Chang, Lijun Shang, Hong Zhu, Ji Wang: The Dynamic Casteship Mechanism for Modeling and Designing Adaptive Agents. SEKE 2006: 639-644
30	EE	Xiaodong Yi, Ji Wang, Xuejun Yang: Slicing Execution for Model Checking C Programs. International Journal of Software Engineering and Knowledge Engineering 16(5): 747-768 (2006)
29	EE	Xicheng Lu, Huaimin Wang, Ji Wang: Internet-based virtual computing environment (iVCE): Concepts and architecture. Science in China Series F: Information Sciences 49(6): 681-701 (2006)
2005
28	EE	Ji Wang, Rui Shen, Hong Zhu: Towards an agent oriented programming language with caste and scenario mechanisms. AAMAS 2005: 1297-1298
27	EE	Wing Lok Yeung, Karl R. P. H. Leung, Ji Wang, Wei Dong: Improvements Towards Formalizing UML State Diagrams in CSP. APSEC 2005: 176-184
26	EE	Ji Wang, Rui Shen, Hong Zhu: Agent Oriented Programming Based on SLABS. COMPSAC (1) 2005: 127-132
25	EE	Shuhao Li, Ji Wang, Xin Wang, Zhi-Chang Qi: Configuration-Oriented Symbolic Test Sequence Construction Method for EFSM. COMPSAC (1) 2005: 13-18
24	EE	Wei Dong, Ji Wang: Contract-Based Formal Specification of Safety Critical Systems. COMPSAC (2) 2005: 7-8
23	EE	XinJun Mao, Ji Wang, Jiajia Chen: Modeling Organization Structure of Multi-Agent System. IAT 2005: 116-119
22	EE	Yanjun Wen, Ji Wang, Zhi-Chang Qi: 2/3 Alternating Simulation Between Interface Automata. ICFEM 2005: 173-187
21	EE	Xiaodong Yi, Ji Wang, Xuejun Yang: Verification of C Programs using Slicing Execution. QSIC 2005: 109-116
20	EE	Ji Wang, Rui Shen, Hong Zhu: Caste-Centric Agent-Oriented Programming. QSIC 2005: 431-438
19	EE	Ji Wang, M. J. Ikram, Ashfaq A. Khokhar: Efficient transmission of MPEG-2 video bit streams over HIPERLAN/2. Wireless Communications and Mobile Computing 5(2): 153-164 (2005)
2004
18	EE	Shuhao Li, Ji Wang, Wei Dong, Zhichang Qi: Property-Oriented Testing of Real-Time Systems. APSEC 2004: 358-365
17	EE	Rui Shen, Ji Wang, Hong Zhu: Scenario Mechanism in Agent-Oriented Programming. APSEC 2004: 464-471
16	EE	Shuhao Li, Ji Wang, Zhi-Chang Qi: Property-Oriented Test Generation from UML Statecharts. ASE 2004: 122-131
15	EE	Xin Wang, Ji Wang, Zhi-Chang Qi: Automatic Generation of Run-Time Test Oracles for Distributed Real-Time Systems. FORTE 2004: 199-212
14	EE	XinJun Mao, Ji Wang, Eric Yu: A Framework to Specify and Evaluate Coordination in MAS with Logic. IAT 2004: 325-328
13	EE	Yanjun Wen, Ji Wang, Zhi-Chang Qi: Bridging Refinement of Interface Automata to Forward Simulation of I/O Automata. ICFEM 2004: 259-273
12	EE	Yanjun Wen, Ji Wang, Zhi-Chang Qi: Reverse Observation Equivalence Between Labelled State Transition Systems. ICTAC 2004: 204-219
11	EE	Jiong Yan, Ji Wang, Huowang Chen: UML Based Statistical Testing Acceleration of Distributed Safety-Critical Software. ISPA 2004: 433-445
10	EE	Yan Jiong, Ji Wang, Huowang Chen: Automatic Generation of Markov Chain Usage Models from Real-Time Software UML Models. QSIC 2004: 22-31
9	EE	Ting Wang, Ji Wang, Yang Yu, Rui Shen, Jinhong Liu, Huowang Chen: MetaData Pro: Ontology-Based Metadata Processing for Web Resources. WISE Workshops 2004: 34-45
2003
8	EE	Yan Jiong, Ji Wang, Huowang Chen: Deriving Software Statistical Testing Model from UML Model. QSIC 2003: 343-350
7	EE	Jinhui Shan, Ji Wang, Zhi-Chang Qi, Jianping Wu: Improved Method to Generate Path-Wise Test Data. J. Comput. Sci. Technol. 18(2): 235-240 (2003)
2002
6	EE	Ji Wang, Wei Dong, Zhichang Qi: Slicing Hierarchical Automata for Model Checking UML Statecharts. ICFEM 2002: 435-446
5	EE	Ji Wang, Ashfaq A. Khokhar, Vijay K. Garg: Video Communication with QoS Guarantees over HIPERLAN/2. ISMSE 2002: 312-319
2001
4	EE	Jinhui Shan, Ji Wang, Zhichang Qi: On Path-Wise Automatic Generation of Test Data for Both White-Box and Black-Box Testing. APSEC 2001: 237-
3	EE	Wei Dong, Ji Wang, Xuan Qi, Zhichang Qi: Model Checking UML Statecharts. APSEC 2001: 363-370
1994
2		Xinyao Yu, Ji Wang, Chaochen Zhou, Paritosh K. Pandya: Formal Design of Hybrid Systems. FTRTFT 1994: 738-755
1992
1		Ji Wang, Huowang Chen: Temporal Reasoning About Real Time Reactive Systems. IWAR 1992: 249-256

Coauthor Index

1	Kalina Bontcheva	[38]
2	Xiaobin Cai	[36]
3	Zhiming Chang	[31]
4	Huowang Chen	[1] [8] [9] [10] [11] [35] [40] [41] [44] [45]
5	Jiajia Chen	[23]
6	Zhenbang Chen	[39] [43]
7	Hamish Cunningham	[38]
8	Wei Dong	[3] [6] [18] [24] [27] [32] [33] [39] [42] [43] [45] [46]
9	Vijay K. Garg	[5]
10	M. J. Ikram	[19]
11	Yan Jiong	[8] [10]
12	Ashfaq A. Khokhar	[5] [19]
13	Karl R. P. H. Leung	[27] [33] [42]
14	Shuhao Li	[16] [18] [25]
15	Shutao Li	[40] [44]
16	Yaoyong Li	[38]
17	Jinhong Liu	[9]
18	Wanwei Liu	[45]
19	Xicheng Lu	[29]
20	XinJun Mao	[14] [23] [31] [37]
21	Paritosh K. Pandya	[2]
22	Xuan Qi	[3]
23	Zhichang Qi (Zhi-Chang Qi)	[3] [4] [6] [7] [12] [13] [15] [16] [18] [22] [25] [39] [46]
24	Ni Rong	[46]
25	Jinhui Shan	[4] [7]
26	Lijun Shang	[31]
27	Rui Shen	[9] [17] [20] [26] [28]
28	Huaimin Wang	[29]
29	Shulin Wang	[40] [41] [44]
30	Ting Wang	[9] [35] [38]
31	Xin Wang	[15] [25]
32	Yanjun Wen	[12] [13] [22]
33	Jianping Wu	[7]
34	Jiong Yan	[11]
35	Xuejun Yang	[21] [30] [34]
36	W. L. Yeung	[32]
37	Wing Lok Yeung	[27] [33] [39] [42]
38	Xiaodong Yi	[21] [30] [34]
39	Eric Yu	[14]
40	Xinyao Yu	[2]
41	Yang Yu	[9] [35]
42	Zhengjun Zhai	[36]
43	Boyun Zhang	[41]
44	Dingxing Zhang	[40]
45	Jianming Zhao	[37]
46	Chaochen Zhou (Zhou Chaochen)	[2]
47	Hong Zhu	[17] [20] [26] [28] [31]

Colors in the list of coauthors