The SCEAS System
Navigation Menu

Search the dblp DataBase


Min Zhou: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. A. Prasad Sistla, Min Zhou
    Combining Static Analysis and Model Checking for Systems Employing Commutative Functions. [Citation Graph (0, 0)][DBLP]
    FORTE, 2005, pp:68-82 [Conf]
  2. Min Zhou, Michela Bertolotto
    A Data Structure for Efficient Transmission of Generalised Vector Maps. [Citation Graph (0, 0)][DBLP]
    International Conference on Computational Science, 2004, pp:948-955 [Conf]
  3. Zhou Min, Deng Fei-qi
    Evolutionary Dynamics of an Asymmetric Game Between a Supplier and a Retailer. [Citation Graph (0, 0)][DBLP]
    ICNC (2), 2006, pp:466-469 [Conf]
  4. Hongchan Zheng, Hongxing Zhao, Zhenglin Ye, Min Zhou
    Differentiability of a 4-point Ternary Subdivision Scheme and its Applications. [Citation Graph (0, 0)][DBLP]
    IMECS, 2006, pp:231-236 [Conf]
  5. Jack Dongarra, Kevin S. London, Shirley Moore, Philip Mucci, Daniel Terpstra, Haihang You, Min Zhou
    Experiences and Lessons Learned with a Portable Interface to Hardware Performance Counters. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2003, pp:289- [Conf]
  6. Min Zhou, Michela Bertolotto
    Exchanging Generalized Maps Across the Internet. [Citation Graph (0, 0)][DBLP]
    KES, 2004, pp:425-431 [Conf]
  7. Min Zhou, Alan Jay Smith
    Analysis of Personal Computer Workloads. [Citation Graph (0, 0)][DBLP]
    MASCOTS, 1999, pp:208-217 [Conf]
  8. A. Prasad Sistla, Xiaodong Wang, Min Zhou
    Checking Extended CTL properties Using Guarded Quotient Structures. [Citation Graph (0, 0)][DBLP]
    SEFM, 2004, pp:87-94 [Conf]
  9. A. Prasad Sistla, Min Zhou, Xiaodong Wang
    Model Checking of Systems Employing Commutative Functions. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2005, pp:250-266 [Conf]
  10. A. Prasad Sistla, Min Zhou, Lenore D. Zuck
    Monitoring Off-the-Shelf Components. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2006, pp:222-236 [Conf]
  11. Min Zhou, Michela Bertolotto
    Efficiently Generating Multiple Representations for Web Mapping. [Citation Graph (0, 0)][DBLP]
    W2GIS, 2005, pp:54-65 [Conf]

  12. On Array Theory of Bounded Elements. [Citation Graph (, )][DBLP]

  13. Translation-Based Model Checking for PLC Programs. [Citation Graph (, )][DBLP]

  14. A Prioritized Default Extension to Description Logic Knowledge Base. [Citation Graph (, )][DBLP]

  15. Scalable implicit finite element solver for massively parallel processing with demonstration to 160K cores. [Citation Graph (, )][DBLP]

  16. A Reputation System with Privacy and Incentive. [Citation Graph (, )][DBLP]

  17. Offset Approximation Algorithm for Subdivision Surfaces. [Citation Graph (, )][DBLP]

  18. Geometric Design of Developable Bezier and B-spline Parametric Surfaces. [Citation Graph (, )][DBLP]

  19. Autonomous Overtaking Behavior Simulation for Autonomous Virtual Vehicle in Virtual Traffic Environment. [Citation Graph (, )][DBLP]

  20. Designing and Implementing the E-learning System. [Citation Graph (, )][DBLP]

  21. The Application of Two-Dimensional Image Reconstruction for Relics' Preservation and Administration. [Citation Graph (, )][DBLP]

Search in 0.033secs, Finished in 0.035secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
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 [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002