The SCEAS System
| |||||||

## Search the dblp DataBase
Wenhui Zhang:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- Einar Broch Johnsen, Wenhui Zhang, Olaf Owe, Demissie B. Aredo
**Specification of Distributed Systems with a Combination of Graphica and Formal Languages.**[Citation Graph (0, 0)][DBLP] APSEC, 2001, pp:105-0 [Conf] - Bai Su, Wenhui Zhang
**Search Space Partition and Case Basis Exploration for Reducing Model Checking Complexity.**[Citation Graph (0, 0)][DBLP] ATVA, 2004, pp:34-48 [Conf] - 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.**[Citation Graph (0, 0)][DBLP] ICDE, 2003, pp:762-764 [Conf] - Lei Pan, Wenhui Zhang, Arthur Asuncion, Ming Kin Lai, Michael B. Dillencourt, Lubomir Bic
**Incremental Parallelization Using Navigational Programming: A Case Study.**[Citation Graph (0, 0)][DBLP] ICPP, 2005, pp:611-620 [Conf] - Wenhui Zhang
**Modeling of WLAN Beacon Signal Strength Measured in an Indoor Environment.**[Citation Graph (0, 0)][DBLP] International Conference on Wireless Networks, 2003, pp:70-75 [Conf] - Einar Broch Johnsen, Wenhui Zhang, Olaf Owe, Demissie B. Aredo
**Combining Graphical and Formal Development of Open Distributed Systems.**[Citation Graph (0, 0)][DBLP] IFM, 2002, pp:319-338 [Conf] - Wenhui Zhang, Wei Li, Vincenzo Liberatore
**Application-Perceived Multicast Push Performance.**[Citation Graph (0, 0)][DBLP] IPDPS, 2004, pp:- [Conf] - He Pei, Renwei Li, Wenhui Zhang
**Theory and Practice for XYZ/VERI System.**[Citation Graph (0, 0)][DBLP] IWAR, 1992, pp:239-248 [Conf] - Wenhui Zhang, Zhuo Huang, Jian Zhang
**Parallel Execution of Stochastic Search Procedures on Reduced SAT Instances.**[Citation Graph (0, 0)][DBLP] PRICAI, 2002, pp:108-117 [Conf] - Fei Pu, Wenhui Zhang
**LTL Model Checking via Search Space Partition.**[Citation Graph (0, 0)][DBLP] QSIC, 2006, pp:418-428 [Conf] - Fei Pu, Wenhui Zhang, Shaochun Wang
**An Improved Case-Based Approach to LTL Model Checking.**[Citation Graph (0, 0)][DBLP] RISE, 2005, pp:190-202 [Conf] - Wenhui Zhang
**Validation of Control System Specifications with Abstract Plant Models.**[Citation Graph (0, 0)][DBLP] SAFECOMP, 2000, pp:53-62 [Conf] - Wenhui Zhang
**A Strategy for Improving the Efficiency of Procedure Verification.**[Citation Graph (0, 0)][DBLP] SAFECOMP, 2002, pp:113-125 [Conf] - Wenhui Zhang
**Applying SDL Specifications and Tools to the Verification of Procedures.**[Citation Graph (0, 0)][DBLP] SDL Forum, 2001, pp:421-438 [Conf] - Wenhui Zhang
**Model Checking Operator Procedures.**[Citation Graph (0, 0)][DBLP] SPIN, 1999, pp:200-215 [Conf] - Wenhui Zhang, Olaf Owe, Einar Broch Johnsen, Demissie B. Aredo
**Integrating UML and OUN for Specification of Open Distributed Systems.**[Citation Graph (0, 0)][DBLP] HCC, 2001, pp:122-0 [Conf] - Ahmad T. Al-Hammouri, Wenhui Zhang, Robert F. Buchheit, Vincenzo Liberatore, Panos K. Chrysanthis, Kirk Pruhs
**Network awareness and application adaptability.**[Citation Graph (0, 0)][DBLP] Inf. Syst. E-Business Management, 2006, v:4, n:4, pp:399-419 [Journal] - Wenhui Zhang
**Combining Static Analysis and Case-Based Search Space Partitioning for Reducing Peak Memory in Model Checking.**[Citation Graph (0, 0)][DBLP] J. Comput. Sci. Technol., 2003, v:18, n:6, pp:762-770 [Journal] - Wenhui Zhang
**Structure of proofs and the complexity of cut elimination.**[Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2006, v:353, n:1-3, pp:63-70 [Journal] - Wenhui Zhang
**Cut Elimination and Automatic Proof Procedures.**[Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1991, v:91, n:2, pp:265-284 [Journal] - Wenhui Zhang
**Cut-Formulas in Propositional Logic.**[Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1993, v:120, n:1, pp:157-168 [Journal] - Wenhui Zhang
**Depth of Proofs, Depth of Cut-Formulas and Complexity of Cut Formulas.**[Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1994, v:129, n:1, pp:193-206 [Journal] - Wenhui Zhang
**Number of Models and Satisfiability of Sets of Clauses.**[Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1996, v:155, n:1, pp:277-288 [Journal] - Wenhui Zhang
**Verification of ACTL Properties by Bounded Model Checking.**[Citation Graph (0, 0)][DBLP] EUROCAST, 2007, pp:556-563 [Conf] - Wenhui Zhang
**Model Checking with SAT-Based Characterization of ACTL Formulas.**[Citation Graph (0, 0)][DBLP] ICFEM, 2007, pp:191-211 [Conf] - Jin Yi, Wenhui Zhang
**Enhancing Simulation for Checking Language Containment.**[Citation Graph (0, 0)][DBLP] TAMC, 2007, pp:374-385 [Conf] - Yanyan Xu, Wei Chen, Liang Xu, Wenhui Zhang
**Evaluation of SAT-based Bounded Model Checking of ACTL Properties.**[Citation Graph (0, 0)][DBLP] TASE, 2007, pp:339-348 [Conf] - Fei Pu, Wenhui Zhang
**Partition Refinement in Abstract Model Checking.**[Citation Graph (0, 0)][DBLP] TASE, 2007, pp:209-218 [Conf] - Wenhui Zhang
**SAT-Based Verification of LTL Formulas.**[Citation Graph (0, 0)][DBLP] FMICS/PDMC, 2006, pp:277-292 [Conf] - Jin Yi, Wenhui Zhang
**Efficient State Space Reduction for Automata by Fair Simulation.**[Citation Graph (0, 0)][DBLP] FSEN, 2007, pp:380-387 [Conf] - Xiang-Yun Wang, Wenhui Zhang, Yong-Chao Li, Kai-Yuan Cai
**A polynomial dynamic system approach to software design for attractivity requirement.**[Citation Graph (0, 0)][DBLP] Inf. Sci., 2007, v:177, n:13, pp:2712-2725 [Journal] **Auxiliary Constructs for Proving Liveness in Compassion Discrete Systems.**[Citation Graph (, )][DBLP]**Bounded Semantics of CTL and SAT-Based Verification.**[Citation Graph (, )][DBLP]**Scalable data dissemination using hybrid methods.**[Citation Graph (, )][DBLP]**A MANET-centric solution for the application of NEMO in VANET using geographic routing.**[Citation Graph (, )][DBLP]**Analysis of Packet Forwarding in VANETs Using Probabilistic Channel Model.**[Citation Graph (, )][DBLP]**Bounded Model Checking of ACTL Formulae.**[Citation Graph (, )][DBLP]**Experimental evaluation for IPv6 over VANET geographic routing.**[Citation Graph (, )][DBLP]
Search in 0.004secs, Finished in 0.006secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |