The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Wenhui Zhang: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. Wenhui Zhang, Wei Li, Vincenzo Liberatore
    Application-Perceived Multicast Push Performance. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2004, pp:- [Conf]
  8. He Pei, Renwei Li, Wenhui Zhang
    Theory and Practice for XYZ/VERI System. [Citation Graph (0, 0)][DBLP]
    IWAR, 1992, pp:239-248 [Conf]
  9. 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]
  10. Fei Pu, Wenhui Zhang
    LTL Model Checking via Search Space Partition. [Citation Graph (0, 0)][DBLP]
    QSIC, 2006, pp:418-428 [Conf]
  11. 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]
  12. Wenhui Zhang
    Validation of Control System Specifications with Abstract Plant Models. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2000, pp:53-62 [Conf]
  13. Wenhui Zhang
    A Strategy for Improving the Efficiency of Procedure Verification. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2002, pp:113-125 [Conf]
  14. Wenhui Zhang
    Applying SDL Specifications and Tools to the Verification of Procedures. [Citation Graph (0, 0)][DBLP]
    SDL Forum, 2001, pp:421-438 [Conf]
  15. Wenhui Zhang
    Model Checking Operator Procedures. [Citation Graph (0, 0)][DBLP]
    SPIN, 1999, pp:200-215 [Conf]
  16. 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]
  17. 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]
  18. 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]
  19. 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]
  20. 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]
  21. Wenhui Zhang
    Cut-Formulas in Propositional Logic. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1993, v:120, n:1, pp:157-168 [Journal]
  22. 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]
  23. 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]
  24. Wenhui Zhang
    Verification of ACTL Properties by Bounded Model Checking. [Citation Graph (0, 0)][DBLP]
    EUROCAST, 2007, pp:556-563 [Conf]
  25. Wenhui Zhang
    Model Checking with SAT-Based Characterization of ACTL Formulas. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2007, pp:191-211 [Conf]
  26. Jin Yi, Wenhui Zhang
    Enhancing Simulation for Checking Language Containment. [Citation Graph (0, 0)][DBLP]
    TAMC, 2007, pp:374-385 [Conf]
  27. 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]
  28. Fei Pu, Wenhui Zhang
    Partition Refinement in Abstract Model Checking. [Citation Graph (0, 0)][DBLP]
    TASE, 2007, pp:209-218 [Conf]
  29. Wenhui Zhang
    SAT-Based Verification of LTL Formulas. [Citation Graph (0, 0)][DBLP]
    FMICS/PDMC, 2006, pp:277-292 [Conf]
  30. Jin Yi, Wenhui Zhang
    Efficient State Space Reduction for Automata by Fair Simulation. [Citation Graph (0, 0)][DBLP]
    FSEN, 2007, pp:380-387 [Conf]
  31. 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]

  32. Auxiliary Constructs for Proving Liveness in Compassion Discrete Systems. [Citation Graph (, )][DBLP]


  33. Bounded Semantics of CTL and SAT-Based Verification. [Citation Graph (, )][DBLP]


  34. Scalable data dissemination using hybrid methods. [Citation Graph (, )][DBLP]


  35. A MANET-centric solution for the application of NEMO in VANET using geographic routing. [Citation Graph (, )][DBLP]


  36. Analysis of Packet Forwarding in VANETs Using Probabilistic Channel Model. [Citation Graph (, )][DBLP]


  37. Bounded Model Checking of ACTL Formulae. [Citation Graph (, )][DBLP]


  38. Experimental evaluation for IPv6 over VANET geographic routing. [Citation Graph (, )][DBLP]


Search in 0.061secs, Finished in 0.063secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002