Jianhua Zhao

2008
31	EE	Jianhua Zhao, David McConnell: Teachers' Conceptions of E-learning in Chinese Higher Education: Findings of Phenomenographic Study. CSSE (5) 2008: 392-395
30	EE	Jianhua Zhao, Chaoying Liu, Xueling Song, Zheying Song: Discussion on Teamwork Construction in Teaching of Universities and Colleges. CSSE (5) 2008: 5-8
29	EE	Jianhua Zhao: An Examination of Students' Perception of Blended E-Learning in Chinese Higher Education. Edutainment 2008: 162-170
28	EE	Zhou Zhou, Linzhang Wang, Zhanqi Cui, Xin Chen, Jianhua Zhao: Jasmine: A Tool for Model-Driven Runtime Verification with UML Behavioral Models. HASE 2008: 487-490
27	EE	Jianhua Zhao: A Sociogram Analysis on Group Interaction in an Online Discussion Forum. ICWL 2008: 377-389
26	EE	Jianhua Zhao, Linzhang Wang, Xuandong Li: A Partial Order Reduction Technique for Parallel Timed Automaton Model Checking. ISoLA 2008: 262-276
25	EE	Tian Zhang, Frédéric Jouault, Jean Bézivin, Jianhua Zhao: A MDE Based Approach for Bridging Formal Models. TASE 2008: 113-116
2007
24	EE	Xiaofeng Yu, Yan Zhang, Tian Zhang, Linzhang Wang, Jianhua Zhao, Guoliang Zheng, Xuandong Li: Towards a Model Driven Approach to Automatic BPEL Generation. ECMDA-FA 2007: 204-218
23	EE	Xiaofeng Yu, Yan Zhang, Tian Zhang, Linzhang Wang, Jun Hu, Jianhua Zhao, Xuandong Li: A model-driven development framework for enterprise Web services. Information Systems Frontiers 9(4): 391-409 (2007)
2006
22	EE	Xuandong Li, Linzhang Wang, Xiaokang Qiu, Bin Lei, Jiesong Yuan, Jianhua Zhao, Guoliang Zheng: Runtime Verification of Java Programs for Scenario-Based Specifications. Ada-Europe 2006: 94-105
21	EE	Xiaofeng Yu, Jun Hu, Yan Zhang, Tian Zhang, Linzhang Wang, Jianhua Zhao, Xuandong Li: A Model Driven Development Framework for Enterprise Web Services. EDOC 2006: 75-84
20	EE	Xuandong Li, Bu Lei, Jun Hu, Jianhua Zhao, Tao Zhang, Guoliang Zheng: Scenario-Based Timing Consistency Checking for Time Petri Nets. FORTE 2006: 388-403
19		Jianhua Zhao, David McConnell: Students' Understandings and Attitudes toward Group learning: An Empirical Study. ICCE 2006: 205-208
18	EE	Jianhua Zhao, Xuandong Li, Tao Zheng, Guoliang Zheng: Remove Irrelevant Atomic Formulas for Timed Automaton Model Checking. J. Comput. Sci. Technol. 21(1): 41-51 (2006)
2005
17	EE	Weizhen Yan, Jianhua Zhao, Zhe Cao: Fuzzy Programming Model for Lot Sizing Production Planning Problem. FSKD (1) 2005: 285-294
16	EE	Jinwu Gao, Jianhua Zhao, Xiaoyu Ji: Fuzzy Chance-Constrained Programming for Capital Budgeting Problem with Fuzzy Decisions. FSKD (1) 2005: 304-311
15	EE	Jianhua Zhao, Xiuyi Zhou, Xuandong Li, Guoliang Zheng: Compatibility Between Shared Variable Valuations in Timed Automaton Network Model-Checking. IPDPS 2005
14	EE	Xuandong Li, Jun Hu, Lei Bu, Jianhua Zhao, Guoliang Zheng: Consistency Checking of Concurrent Models for Scenario-Based Specifications. SDL Forum 2005: 298-312
13	EE	Jianhua Zhao, Xuandong Li, Guoliang Zheng: A quadratic-time DBM-based successor algorithm for checking timed automata. Inf. Process. Lett. 96(3): 101-105 (2005)
2004
12	EE	Xuandong Li, Jianhua Zhao, Gong Jiayu, Shi Yaoxin, Guoliang Zheng: Verifying Compositional Designs for Scenario-Based Timing Specifications. ISORC 2004: 253-256
11	EE	Xuandong Li, Jianhua Zhao, Tao Zheng, Yong Li, Guoliang Zheng: Duration-constrained regular expressions. Formal Asp. Comput. 16(2): 155-163 (2004)
2003
10	EE	Jianhua Zhao, Xuandong Li, Tao Zheng, Guoliang Zheng: Removing Irrelevant Atomic Formulas for Checking Timed Automata Efficiently. FORMATS 2003: 34-45
2002
9	EE	Jianhua Zhao, He Xu, Xuandong Li, Tao Zheng, Guoliang Zheng: Partial Order Path Technique for Checking Parallel Timed Automata. FTRTFT 2002: 417-432
8		Jianhua Zhao, David McConnell, Kedong Li, Kanji Akahori: STAD Modeling Method for Computer Supported Group Learning. ICCE 2002: 344-348
7	EE	Xuandong Li, Jianhua Zhao, Pei Yu, Yong Li, Tao Zheng, Guoliang Zheng: Positive loop-closed automata: a decidable class of hybrid systems. J. Log. Algebr. Program. 52-53: 79-108 (2002)
2001
6	EE	Xuandong Li, Pei Yu, Jianhua Zhao, Yong Li, Tao Zheng, Guoliang Zheng: Efficient Verification of a Class of Linear Hybrid Automata Using Linear Programming. CHARME 2001: 465-480
5	EE	Xuandong Li, Cui Meng, Pei Yu, Jianhua Zhao, Guoliang Zheng: Timing Analysis of UML Activity Diagrams. UML 2001: 62-75
2000
4	EE	Jianhua Zhao, Dang Van Hung: Checking Timed Automata for Linear Duration Properties. J. Comput. Sci. Technol. 15(5): 423-429 (2000)
1998
3	EE	Jianhua Zhao, Dang Van Hung: On Checking Parallel Real-Time Systems for Linear Duration Properties. FTRTFT 1998: 241-250
2		Xuandong Li, Tao Zheng, Hou Jianmin, Jianhua Zhao, Guoliang Zheng: Hybrid Regular Expressions. HSCC 1998: 384-399
1997
1		Jianhua Zhao, Chen Jiajun, Guoliang Zheng: Message Conversion and A New Type System for OO Model. SIGPLAN Notices 32(9): 61-67 (1997)

Coauthor Index

1	Kanji Akahori	[8]
2	Jean Bézivin	[25]
3	Lei Bu	[14]
4	Zhe Cao	[17]
5	Xin Chen	[28]
6	Zhanqi Cui	[28]
7	Jinwu Gao	[16]
8	Jun Hu	[14] [20] [21] [23]
9	Dang Van Hung	[3] [4]
10	Xiaoyu Ji	[16]
11	Chen Jiajun	[1]
12	Hou Jianmin	[2]
13	Gong Jiayu	[12]
14	Frédéric Jouault	[25]
15	Bin Lei	[22]
16	Bu Lei	[20]
17	Kedong Li	[8]
18	Xuandong Li	[2] [5] [6] [7] [9] [10] [11] [12] [13] [14] [15] [18] [20] [21] [22] [23] [24] [26]
19	Yong Li	[6] [7] [11]
20	Chaoying Liu	[30]
21	David McConnell	[8] [19] [31]
22	Cui Meng	[5]
23	Xiaokang Qiu	[22]
24	Xueling Song	[30]
25	Zheying Song	[30]
26	Linzhang Wang	[21] [22] [23] [24] [26] [28]
27	He Xu	[9]
28	Weizhen Yan	[17]
29	Shi Yaoxin	[12]
30	Pei Yu	[5] [6] [7]
31	Xiaofeng Yu	[21] [23] [24]
32	Jiesong Yuan	[22]
33	Tao Zhang	[20]
34	Tian Zhang	[21] [23] [24] [25]
35	Yan Zhang	[21] [23] [24]
36	Guoliang Zheng	[1] [2] [5] [6] [7] [9] [10] [11] [12] [13] [14] [15] [18] [20] [22] [24]
37	Tao Zheng	[2] [6] [7] [9] [10] [11] [18]
38	Xiuyi Zhou	[15]
39	Zhou Zhou	[28]

Colors in the list of coauthors