Jianhua Zhao

	2009
35		Zhixiong Han, Linzhang Wang, Liqian Yu, Xin Chen, Jianhua Zhao, Xuandong Li: Design pattern directed clustering for understanding open source code. ICPC 2009: 295-296
34		Yang Liu, Jun Pang, Jun Sun, Jianhua Zhao: Verification of Population Ring Protocols in PAT. TASE 2009: 81-89
33		Jianhua Zhao, Volker Stolz: Preface. Electr. Notes Theor. Comput. Sci. 243: 1-2 (2009)
	2008
32		Jianhua Zhao, David McConnell: Teachers' Conceptions of E-learning in Chinese Higher Education: Findings of Phenomenographic Study. CSSE (5) 2008: 392-395
31		Jianhua Zhao, Chaoying Liu, Xueling Song, Zheying Song: Discussion on Teamwork Construction in Teaching of Universities and Colleges. CSSE (5) 2008: 5-8
30		Jianhua Zhao: An Examination of Students' Perception of Blended E-Learning in Chinese Higher Education. Edutainment 2008: 162-170
29		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		Jianhua Zhao: A Sociogram Analysis on Group Interaction in an Online Discussion Forum. ICWL 2008: 377-389
27		Jianhua Zhao, Linzhang Wang, Xuandong Li: A Partial Order Reduction Technique for Parallel Timed Automaton Model Checking. ISoLA 2008: 262-276
26		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		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		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		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		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		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		Jianhua Zhao, Bin Lei, Xuandong Li, Guoliang Zheng: Improve Model Checking Efficiency Using Specific Knowledge about the System. ISoLA 2006: 392-396
18		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		Weizhen Yan, Jianhua Zhao, Zhe Cao: Fuzzy Programming Model for Lot Sizing Production Planning Problem. FSKD (1) 2005: 285-294
16		Jinwu Gao, Jianhua Zhao, Xiaoyu Ji: Fuzzy Chance-Constrained Programming for Capital Budgeting Problem with Fuzzy Decisions. FSKD (1) 2005: 304-311
15		Jianhua Zhao, Xiuyi Zhou, Xuandong Li, Guoliang Zheng: Compatibility Between Shared Variable Valuations in Timed Automaton Network Model-Checking. IPDPS 2005
14		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		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		Xuandong Li, Jianhua Zhao, Gong Jiayu, Shi Yaoxin, Guoliang Zheng: Verifying Compositional Designs for Scenario-Based Timing Specifications. ISORC 2004: 253-256
11		Xuandong Li, Jianhua Zhao, Tao Zheng, Yong Li, Guoliang Zheng: Duration-constrained regular expressions. Formal Asp. Comput. 16(2): 155-163 (2004)
	2003
10		Jianhua Zhao, Xuandong Li, Tao Zheng, Guoliang Zheng: Removing Irrelevant Atomic Formulas for Checking Timed Automata Efficiently. FORMATS 2003: 34-45
	2002
9		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		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		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		Xuandong Li, Cui Meng, Pei Yu, Jianhua Zhao, Guoliang Zheng: Timing Analysis of UML Activity Diagrams. UML 2001: 62-75
	2000
4		Jianhua Zhao, Dang Van Hung: Checking Timed Automata for Linear Duration Properties. J. Comput. Sci. Technol. 15(5): 423-429 (2000)
	1998
3		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] [35]
6	Zhanqi Cui	[29]
7	Jinwu Gao	[16]
8	Zhixiong Han	[35]
9	Jun Hu	[14] [21] [22] [24]
10	Dang Van Hung	[3] [4]
11	Xiaoyu Ji	[16]
12	Chen Jiajun	[1]
13	Hou Jianmin	[2]
14	Gong Jiayu	[12]
15	Frédéric Jouault	[26]
16	Bin Lei	[19] [23]
17	Kedong Li	[8]
18	Xuandong Li	[2] [5] [6] [7] [9] [10] [11] [12] [13] [14] [15] [18] [19] [21] [22] [23] [24] [25] [27] [35]
19	Yong Li	[6] [7] [11]
20	Chaoying Liu	[31]
21	Yang Liu	[34]
22	David McConnell	[8] [20] [32]
23	Cui Meng	[5]
24	Jun Pang	[34]
25	Xiaokang Qiu	[23]
26	Xueling Song	[31]
27	Zheying Song	[31]
28	Volker Stolz	[33]
29	Jun Sun	[34]
30	Linzhang Wang	[22] [23] [24] [25] [27] [29] [35]
31	He Xu	[9]
32	Weizhen Yan	[17]
33	Shi Yaoxin	[12]
34	Liqian Yu	[35]
35	Pei Yu	[5] [6] [7]
36	Xiaofeng Yu	[22] [24] [25]
37	Jiesong Yuan	[23]
38	Tao Zhang	[21]
39	Tian Zhang	[22] [24] [25] [26]
40	Yan Zhang	[22] [24] [25]
41	Guoliang Zheng	[1] [2] [5] [6] [7] [9] [10] [11] [12] [13] [14] [15] [18] [19] [21] [23] [25]
42	Tao Zheng	[2] [6] [7] [9] [10] [11] [18]
43	Xiuyi Zhou	[15]
44	Zhou Zhou	[29]

Colors in the list of coauthors