| 2008 |
|---|
| 37 | EE | Wenhui Zhang,
Vincenzo Liberatore,
Jonathan Beaver,
Panos K. Chrysanthis,
Kirk Pruhs:
Scalable data dissemination using hybrid methods.
IPDPS 2008: 1-12 |
| 36 | EE | 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 | EE | 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 | EE | Wenhui Zhang:
Verification of ACTL Properties by Bounded Model Checking.
EUROCAST 2007: 556-563 |
| 33 | EE | Jin Yi,
Wenhui Zhang:
Efficient State Space Reduction for Automata by Fair Simulation.
FSEN 2007: 380-387 |
| 32 | EE | Wenhui Zhang:
Model Checking with SAT-Based Characterization of ACTL Formulas.
ICFEM 2007: 191-211 |
| 31 | EE | Jin Yi,
Wenhui Zhang:
Enhancing Simulation for Checking Language Containment.
TAMC 2007: 374-385 |
| 30 | EE | Fei Pu,
Wenhui Zhang:
Partition Refinement in Abstract Model Checking.
TASE 2007: 209-218 |
| 29 | EE | Yanyan Xu,
Wei Chen,
Liang Xu,
Wenhui Zhang:
Evaluation of SAT-based Bounded Model Checking of ACTL Properties.
TASE 2007: 339-348 |
| 28 | EE | 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 | EE | 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 | EE | Wenhui Zhang:
SAT-Based Verification of LTL Formulas.
FMICS/PDMC 2006: 277-292 |
| 24 | EE | Fei Pu,
Wenhui Zhang:
LTL Model Checking via Search Space Partition.
QSIC 2006: 418-428 |
| 23 | EE | 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 | EE | 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 | EE | Wenhui Zhang:
Structure of proofs and the complexity of cut elimination.
Theor. Comput. Sci. 353(1-3): 63-70 (2006) |
| 2005 |
|---|
| 20 | EE | 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 | EE | Fei Pu,
Wenhui Zhang,
Shaochun Wang:
An Improved Case-Based Approach to LTL Model Checking.
RISE 2005: 190-202 |
| 2004 |
|---|
| 18 | EE | Bai Su,
Wenhui Zhang:
Search Space Partition and Case Basis Exploration for Reducing Model Checking Complexity.
ATVA 2004: 34-48 |
| 17 | EE | Wenhui Zhang,
Wei Li,
Vincenzo Liberatore:
Application-Perceived Multicast Push Performance.
IPDPS 2004 |
| 2003 |
|---|
| 16 | EE | 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 | EE | 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 | EE | Einar Broch Johnsen,
Wenhui Zhang,
Olaf Owe,
Demissie B. Aredo:
Combining Graphical and Formal Development of Open Distributed Systems.
IFM 2002: 319-338 |
| 12 | EE | Wenhui Zhang,
Zhuo Huang,
Jian Zhang:
Parallel Execution of Stochastic Search Procedures on Reduced SAT Instances.
PRICAI 2002: 108-117 |
| 11 | EE | Wenhui Zhang:
A Strategy for Improving the Efficiency of Procedure Verification.
SAFECOMP 2002: 113-125 |
| 2001 |
|---|
| 10 | EE | 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 | EE | Wenhui Zhang,
Olaf Owe,
Einar Broch Johnsen,
Demissie B. Aredo:
Integrating UML and OUN for Specification of Open Distributed Systems.
HCC 2001: 122- |
| 8 | EE | Wenhui Zhang:
Applying SDL Specifications and Tools to the Verification of Procedures.
SDL Forum 2001: 421-438 |
| 2000 |
|---|
| 7 | EE | Wenhui Zhang:
Validation of Control System Specifications with Abstract Plant Models.
SAFECOMP 2000: 53-62 |
| 1999 |
|---|
| 6 | EE | Wenhui Zhang:
Model Checking Operator Procedures.
SPIN 1999: 200-215 |
| 1996 |
|---|
| 5 | EE | 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) |
