Wenhui Zhang

	2009
40		Wei Chen, Wenhui Zhang: Bounded Model Checking of ACTL Formulae. TASE 2009: 90-99
39		Wei Chen, Wenhui Zhang: A direct construction of polynomial-size OBDD proof of pigeon hole problem. Inf. Process. Lett. 109(10): 472-477 (2009)
38		Liang Xu, Wei Chen, Yanyan Xu, Wenhui Zhang: Improved Bounded Model Checking for the Universal Fragment of CTL. J. Comput. Sci. Technol. 24(1): 96-109 (2009)
	2008
37		Wenhui Zhang, Vincenzo Liberatore, Jonathan Beaver, Panos K. Chrysanthis, Kirk Pruhs: Scalable data dissemination using hybrid methods. IPDPS 2008: 1-12
36		Roberto Baldessari, Wenhui Zhang, Andreas Festag, Long Le: A MANET-centric solution for the application of NEMO in VANET using geographic routing. TRIDENTCOM 2008: 12
35		Jian Zhang, Wenhui Zhang, Naijun Zhan, Yi-Dong Shen, Haiming Chen, Yunquan Zhang, Yongji Wang, Enhua Wu, Hongan Wang, Xueyang Zhu: Basic research in computer science and software engineering at SKLCS. Frontiers of Computer Science in China 2(1): 1-11 (2008)
	2007
34		Wenhui Zhang: Verification of ACTL Properties by Bounded Model Checking. EUROCAST 2007: 556-563
33		Jin Yi, Wenhui Zhang: Efficient State Space Reduction for Automata by Fair Simulation. FSEN 2007: 380-387
32		Wenhui Zhang: Model Checking with SAT-Based Characterization of ACTL Formulas. ICFEM 2007: 191-211
31		Jin Yi, Wenhui Zhang: Enhancing Simulation for Checking Language Containment. TAMC 2007: 374-385
30		Fei Pu, Wenhui Zhang: Partition Refinement in Abstract Model Checking. TASE 2007: 209-218
29		Yanyan Xu, Wei Chen, Liang Xu, Wenhui Zhang: Evaluation of SAT-based Bounded Model Checking of ACTL Properties. TASE 2007: 339-348
28		Xiang-Yun Wang, Wenhui Zhang, Yong-Chao Li, Kai-Yuan Cai: A polynomial dynamic system approach to software design for attractivity requirement. Inf. Sci. 177(13): 2712-2725 (2007)
27		Fei Pu, Wenhui Zhang: Combining search space partition and abstraction for LTL model checking. Science in China Series F: Information Sciences 50(6): 793-810 (2007)
	2006
26		Susanne Graf, Wenhui Zhang: Automated Technology for Verification and Analysis, 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. Springer 2006
25		Wenhui Zhang: SAT-Based Verification of LTL Formulas. FMICS/PDMC 2006: 277-292
24		Fei Pu, Wenhui Zhang: LTL Model Checking via Search Space Partition. QSIC 2006: 418-428
23		Lei Pan, Wenhui Zhang, Arthur Asuncion, Ming Kin Lai, Michael B. Dillencourt, Lubomir F. Bic, Laurence Tianruo Yang: Toward Incremental Parallelization Using Navigational Programming. IEICE Transactions 89-D(2): 390-398 (2006)
22		Ahmad T. Al-Hammouri, Wenhui Zhang, Robert F. Buchheit, Vincenzo Liberatore, Panos K. Chrysanthis, Kirk Pruhs: Network awareness and application adaptability. Inf. Syst. E-Business Management 4(4): 399-419 (2006)
21		Wenhui Zhang: Structure of proofs and the complexity of cut elimination. Theor. Comput. Sci. 353(1-3): 63-70 (2006)
	2005
20		Lei Pan, Wenhui Zhang, Arthur Asuncion, Ming Kin Lai, Michael B. Dillencourt, Lubomir Bic: Incremental Parallelization Using Navigational Programming: A Case Study. ICPP 2005: 611-620
19		Fei Pu, Wenhui Zhang, Shaochun Wang: An Improved Case-Based Approach to LTL Model Checking. RISE 2005: 190-202
	2004
18		Bai Su, Wenhui Zhang: Search Space Partition and Case Basis Exploration for Reducing Model Checking Complexity. ATVA 2004: 34-48
17		Wenhui Zhang, Wei Li, Vincenzo Liberatore: Application-Perceived Multicast Push Performance. IPDPS 2004
	2003
16		Wei Li, Wenhui Zhang, Vincenzo Liberatore, Vince Penkrot, Jonathan Beaver, Mohamed A. Sharaf, Siddhartha Roychowdhury, Panos K. Chrysanthis, Kirk Pruhs: An Optimized Multicast-based Data Dissemination Middleware. ICDE 2003: 762-764
15		Wenhui Zhang: Modeling of WLAN Beacon Signal Strength Measured in an Indoor Environment. International Conference on Wireless Networks 2003: 70-75
14		Wenhui Zhang: Combining Static Analysis and Case-Based Search Space Partitioning for Reducing Peak Memory in Model Checking. J. Comput. Sci. Technol. 18(6): 762-770 (2003)
	2002
13		Einar Broch Johnsen, Wenhui Zhang, Olaf Owe, Demissie B. Aredo: Combining Graphical and Formal Development of Open Distributed Systems. IFM 2002: 319-338
12		Wenhui Zhang, Zhuo Huang, Jian Zhang: Parallel Execution of Stochastic Search Procedures on Reduced SAT Instances. PRICAI 2002: 108-117
11		Wenhui Zhang: A Strategy for Improving the Efficiency of Procedure Verification. SAFECOMP 2002: 113-125
	2001
10		Einar Broch Johnsen, Wenhui Zhang, Olaf Owe, Demissie B. Aredo: Specification of Distributed Systems with a Combination of Graphica and Formal Languages. APSEC 2001: 105-
9		Wenhui Zhang, Olaf Owe, Einar Broch Johnsen, Demissie B. Aredo: Integrating UML and OUN for Specification of Open Distributed Systems. HCC 2001: 122-
8		Wenhui Zhang: Applying SDL Specifications and Tools to the Verification of Procedures. SDL Forum 2001: 421-438
	2000
7		Wenhui Zhang: Validation of Control System Specifications with Abstract Plant Models. SAFECOMP 2000: 53-62
	1999
6		Wenhui Zhang: Model Checking Operator Procedures. SPIN 1999: 200-215
	1996
5		Wenhui Zhang: Number of Models and Satisfiability of Sets of Clauses. Theor. Comput. Sci. 155(1): 277-288 (1996)
	1994
4		Wenhui Zhang: Depth of Proofs, Depth of Cut-Formulas and Complexity of Cut Formulas. Theor. Comput. Sci. 129(1): 193-206 (1994)
	1993
3		Wenhui Zhang: Cut-Formulas in Propositional Logic. Theor. Comput. Sci. 120(1): 157-168 (1993)
	1992
2		He Pei, Renwei Li, Wenhui Zhang: Theory and Practice for XYZ/VERI System. IWAR 1992: 239-248
	1991
1		Wenhui Zhang: Cut Elimination and Automatic Proof Procedures. Theor. Comput. Sci. 91(2): 265-284 (1991)

Coauthor Index

1	Ahmad T. Al-Hammouri	[22]
2	Demissie B. Aredo	[9] [10] [13]
3	Arthur Asuncion	[20] [23]
4	Roberto Baldessari	[36]
5	Jonathan Beaver	[16] [37]
6	Lubomir F. Bic (Lubomir Bic)	[20] [23]
7	Robert F. Buchheit	[22]
8	Kai-Yuan Cai	[28]
9	Haiming Chen	[35]
10	Wei Chen	[29] [38] [39] [40]
11	Panos K. Chrysanthis	[16] [22] [37]
12	Michael B. Dillencourt	[20] [23]
13	Andreas Festag	[36]
14	Susanne Graf	[26]
15	Zhuo Huang	[12]
16	Einar Broch Johnsen	[9] [10] [13]
17	Ming Kin Lai	[20] [23]
18	Long Le	[36]
19	Renwei Li	[2]
20	Wei Li	[16] [17]
21	Yong-Chao Li	[28]
22	Vincenzo Liberatore	[16] [17] [22] [37]
23	Olaf Owe	[9] [10] [13]
24	Lei Pan	[20] [23]
25	He Pei	[2]
26	Vince Penkrot	[16]
27	Kirk Pruhs	[16] [22] [37]
28	Fei Pu	[19] [24] [27] [30]
29	Siddhartha Roychowdhury	[16]
30	Mohamed A. Sharaf	[16]
31	Yi-Dong Shen	[35]
32	Bai Su	[18]
33	Hongan Wang	[35]
34	Shaochun Wang	[19]
35	Xiang-Yun Wang	[28]
36	Yongji Wang	[35]
37	Enhua Wu	[35]
38	Liang Xu	[29] [38]
39	Yanyan Xu	[29] [38]
40	Laurence Tianruo Yang	[23]
41	Jin Yi	[31] [33]
42	Naijun Zhan	[35]
43	Jian Zhang	[12] [35]
44	Yunquan Zhang	[35]
45	Xueyang Zhu	[35]

Colors in the list of coauthors