Wenhui Zhang

Yanyan Xu, Wei Chen, Kaile Su, Wenhui Zhang: Solving Difficult SAT Problems by Using OBDDs and Greedy Clique Decomposition. FAW-AAIM 2012: 259-268

Teng Long, Wenhui Zhang: Proving Liveness Property under Fairness Requirements. APSEC 2012: 674-682

Wenhui Zhang, Lei Pan, Qinghong Shang, Lubomir F. Bic, Michael B. Dillencourt: Incremental Parallelization with Migration. ISPA 2012: 223-230

Susan H. Rodger, Melissa Dalis, Chitra Gadwal, Jenna Hayes, Peggy Li, Francine Wolfe, Wenhui Zhang, Liz Liang: Integrating computing into middle school disciplines through projects. SIGCSE 2012: 421-426

Teng Long, Wenhui Zhang: Proving Liveness Property under Strengthened Compassion Requirements. TAMC 2012: 498-508

Wenhui Zhang, Naiming Qi, Jing Ma, Ayang Xiao: Neural integrated control for a free-floating space robot with suddenly changing parameters. SCIENCE CHINA Information Sciences 54(10): 2091-2099 (2011)

Long Le, Roberto Baldessari, Pablo Salvador, Andreas Festag, Wenhui Zhang: Performance Evaluation of Beacon Congestion Control Algorithms for VANETs. GLOBECOM 2011: 1-6

Bowen Chen, Haihua Shen, Wenhui Zhang: Formula-Oriented Compositional Minimization in Model Checking. Asian Test Symposium 2010: 81-84

Teng Long, Wenhui Zhang: Auxiliary Constructs for Proving Liveness in Compassion Discrete Systems. ATVA 2010: 276-290

Manabu Tsukada, Ines Ben Jemaa, Hamid Menouar, Wenhui Zhang, Maria Goleva, Thierry Ernst: Experimental evaluation for IPv6 over VANET geographic routing. IWCMC 2010: 736-741

Wei Chen, Wenhui Zhang: A direct construction of polynomial-size OBDD proof of pigeon hole problem. Inf. Process. Lett. 109(10): 472-477 (2009)

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)

Wenhui Zhang: Bounded Semantics of CTL and SAT-Based Verification. ICFEM 2009: 286-305

Michele Drigo, Wenhui Zhang, Roberto Baldessari, Long Le, Andreas Festag, Michele Zorzi: Distributed rate control algorithm for VANETs (DRCV). Vehicular Ad Hoc Networks 2009: 119-120

Wei Chen, Wenhui Zhang: Bounded Model Checking of ACTL Formulae. TASE 2009: 90-99

Wenhui Zhang: Analysis of Packet Forwarding in VANETs Using Probabilistic Channel Model. VTC Spring 2009

Wenhui Zhang: Scalable hybrid data dissemination for internet hot spots. Case Western Reserve University 2008, isbn 978-3-8364-8588-3, pp. 1-91

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)

Wenhui Zhang, Vincenzo Liberatore, Jonathan Beaver, Panos K. Chrysanthis, Kirk Pruhs: Scalable data dissemination using hybrid methods. IPDPS 2008: 1-12

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

Wenhui Zhang: Optimization of service provisioning in heterogeneous wireless networks: bearer service allocation and pricing. University of Stuttgart 2007, isbn 978-3-938965-06-1, pp. 1-137

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)

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)

Wenhui Zhang: Verification of ACTL Properties by Bounded Model Checking. EUROCAST 2007: 556-563

Jin Yi, Wenhui Zhang: Efficient State Space Reduction for Automata by Fair Simulation. FSEN 2007: 380-387

Wenhui Zhang: Model Checking with SAT-Based Characterization of ACTL Formulas. ICFEM 2007: 191-211

Jin Yi, Wenhui Zhang: Enhancing Simulation for Checking Language Containment. TAMC 2007: 374-385

Fei Pu, Wenhui Zhang: Partition Refinement in Abstract Model Checking. TASE 2007: 209-218

Yanyan Xu, Wei Chen, Liang Xu, Wenhui Zhang: Evaluation of SAT-based Bounded Model Checking of ACTL Properties. TASE 2007: 339-348

Lei Pan, Wenhui Zhang, Arthur U. 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)

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)

Wenhui Zhang: Structure of proofs and the complexity of cut elimination. Theor. Comput. Sci. 353(1-3): 63-70 (2006)

Wenhui Zhang: SAT-Based Verification of LTL Formulas. FMICS/PDMC 2006: 277-292

Fei Pu, Wenhui Zhang: LTL Model Checking via Search Space Partition. QSIC 2006: 418-428

Susanne Graf, Wenhui Zhang (Eds.): Automated Technology for Verification and Analysis, 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. Lecture Notes in Computer Science 4218, Springer 2006, isbn 3-540-47237-1

Wenhui Zhang: Bearer service allocation and pricing in heterogeneous wireless networks. ICC 2005: 1367-1371

Lei Pan, Wenhui Zhang, Arthur U. Asuncion, Ming Kin Lai, Michael B. Dillencourt, Lubomir Bic: Incremental Parallelization Using Navigational Programming: A Case Study. ICPP 2005: 611-620

Fei Pu, Wenhui Zhang, Shaochun Wang: An Improved Case-Based Approach to LTL Model Checking. RISE 2005: 190-202

Bai Su, Wenhui Zhang: Search Space Partition and Case Basis Exploration for Reducing Model Checking Complexity. ATVA 2004: 34-48

Wenhui Zhang, Wei Li, Vincenzo Liberatore: Application-Perceived Multicast Push Performance. IPDPS 2004

Wenhui Zhang: Handover decision using fuzzy MADM in heterogeneous networks. WCNC 2004: 653-658

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)

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

Wenhui Zhang: Modeling of WLAN Beacon Signal Strength Measured in an Indoor Environment. International Conference on Wireless Networks 2003: 70-75

Einar Broch Johnsen, Wenhui Zhang, Olaf Owe, Demissie B. Aredo: Combining Graphical and Formal Development of Open Distributed Systems. IFM 2002: 319-338

Wenhui Zhang, Zhuo Huang, Jian Zhang: Parallel Execution of Stochastic Search Procedures on Reduced SAT Instances. PRICAI 2002: 108-117

Wenhui Zhang: A Strategy for Improving the Efficiency of Procedure Verification. SAFECOMP 2002: 113-125

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-

Wenhui Zhang: Applying SDL Specifications and Tools to the Verification of Procedures. SDL Forum 2001: 421-438

Wenhui Zhang, Olaf Owe, Einar Broch Johnsen, Demissie B. Aredo: Integrating UML and OUN for Specification of Open Distributed Systems. HCC 2001: 122-

Wenhui Zhang: Validation of Control System Specifications with Abstract Plant Models. SAFECOMP 2000: 53-62

Wenhui Zhang: Model Checking Operator Procedures. SPIN 1999: 200-215

Wenhui Zhang: Number of Models and Satisfiability of Sets of Clauses. Theor. Comput. Sci. 155(1): 277-288 (1996)

Wenhui Zhang: Depth of Proofs, Depth of Cut-Formulas and Complexity of Cut Formulas. Theor. Comput. Sci. 129(1): 193-206 (1994)

Renwei Li, Pei He, Wenhui Zhang: An introduction to INCAPS system. J. Comput. Sci. Technol. 8(1): 26-37 (1993)

Wenhui Zhang: Cut-Formulas in Propositional Logic. Theor. Comput. Sci. 120(1): 157-168 (1993)

Pei He, Renwei Li, Wenhui Zhang: Theory and Practice for XYZ/VERI System. IWAR 1992: 239-248

Wenhui Zhang: Cut Elimination and Automatic Proof Procedures. Theor. Comput. Sci. 91(2): 265-284 (1991)