Jianhua Zhao Vis

*	2009
33	EE	Yang Liu, Jun Pang, Jun Sun, Jianhua Zhao: Verification of Population Ring Protocols in PAT. TASE 2009: 81-89
	2008
32	EE	Jianhua Zhao, David McConnell: Teachers' Conceptions of E-learning in Chinese Higher Education: Findings of Phenomenographic Study. CSSE (5) 2008: 392-395
31	EE	Jianhua Zhao, Chaoying Liu, Xueling Song, Zheying Song: Discussion on Teamwork Construction in Teaching of Universities and Colleges. CSSE (5) 2008: 5-8
30	EE	Jianhua Zhao: An Examination of Students' Perception of Blended E-Learning in Chinese Higher Education. Edutainment 2008: 162-170
29	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
28	EE	Jianhua Zhao: A Sociogram Analysis on Group Interaction in an Online Discussion Forum. ICWL 2008: 377-389
27	EE	Jianhua Zhao, Linzhang Wang, Xuandong Li: A Partial Order Reduction Technique for Parallel Timed Automaton Model Checking. ISoLA 2008: 262-276
26	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
25	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
24	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
23	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
22	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
21	EE	Xuandong Li, Lei Bu, Jun Hu, Jianhua Zhao, Tao Zhang, Guoliang Zheng: Scenario-Based Timing Consistency Checking for Time Petri Nets. FORTE 2006: 388-403
20		Jianhua Zhao, David McConnell: Students' Understandings and Attitudes toward Group learning: An Empirical Study. ICCE 2006: 205-208
19	EE	Jianhua Zhao, Bin Lei, Xuandong Li, Guoliang Zheng: Improve Model Checking Efficiency Using Specific Knowledge about the System. ISoLA 2006: 392-396
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	[26]
3	Lei Bu	[14] [21]
4	Zhe Cao	[17]
5	Xin Chen	[29]
6	Zhanqi Cui	[29]
7	Jinwu Gao	[16]
8	Jun Hu	[14] [21] [22] [24]
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	[26]
15	Bin Lei	[19] [23]
16	Kedong Li	[8]
17	Xuandong Li	[2] [5] [6] [7] [9] [10] [11] [12] [13] [14] [15] [18] [19] [21] [22] [23] [24] [25] [27]
18	Yong Li	[6] [7] [11]
19	Chaoying Liu	[31]
20	Yang Liu	[33]
21	David McConnell	[8] [20] [32]
22	Cui Meng	[5]
23	Jun Pang	[33]
24	Xiaokang Qiu	[23]
25	Xueling Song	[31]
26	Zheying Song	[31]
27	Jun Sun	[33]
28	Linzhang Wang	[22] [23] [24] [25] [27] [29]
29	He Xu	[9]
30	Weizhen Yan	[17]
31	Shi Yaoxin	[12]
32	Pei Yu	[5] [6] [7]
33	Xiaofeng Yu	[22] [24] [25]
34	Jiesong Yuan	[23]
35	Tao Zhang	[21]
36	Tian Zhang	[22] [24] [25] [26]
37	Yan Zhang	[22] [24] [25]
38	Guoliang Zheng	[1] [2] [5] [6] [7] [9] [10] [11] [12] [13] [14] [15] [18] [19] [21] [23] [25]
39	Tao Zheng	[2] [6] [7] [9] [10] [11] [18]
40	Xiuyi Zhou	[15]
41	Zhou Zhou	[29]

Colors in the list of coauthors