The SCEAS System
| |||||||

## Search the dblp DataBase
Min Zhou:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- 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] - 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] - 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] - 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] - 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] - Min Zhou, Michela Bertolotto
**Exchanging Generalized Maps Across the Internet.**[Citation Graph (0, 0)][DBLP] KES, 2004, pp:425-431 [Conf] - Min Zhou, Alan Jay Smith
**Analysis of Personal Computer Workloads.**[Citation Graph (0, 0)][DBLP] MASCOTS, 1999, pp:208-217 [Conf] - 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] - 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] - A. Prasad Sistla, Min Zhou, Lenore D. Zuck
**Monitoring Off-the-Shelf Components.**[Citation Graph (0, 0)][DBLP] VMCAI, 2006, pp:222-236 [Conf] - Min Zhou, Michela Bertolotto
**Efficiently Generating Multiple Representations for Web Mapping.**[Citation Graph (0, 0)][DBLP] W2GIS, 2005, pp:54-65 [Conf] **On Array Theory of Bounded Elements.**[Citation Graph (, )][DBLP]**Translation-Based Model Checking for PLC Programs.**[Citation Graph (, )][DBLP]**A Prioritized Default Extension to Description Logic Knowledge Base.**[Citation Graph (, )][DBLP]**Scalable implicit finite element solver for massively parallel processing with demonstration to 160K cores.**[Citation Graph (, )][DBLP]**A Reputation System with Privacy and Incentive.**[Citation Graph (, )][DBLP]**Offset Approximation Algorithm for Subdivision Surfaces.**[Citation Graph (, )][DBLP]**Geometric Design of Developable Bezier and B-spline Parametric Surfaces.**[Citation Graph (, )][DBLP]**Autonomous Overtaking Behavior Simulation for Autonomous Virtual Vehicle in Virtual Traffic Environment.**[Citation Graph (, )][DBLP]**Designing and Implementing the E-learning System.**[Citation Graph (, )][DBLP]**The Application of Two-Dimensional Image Reconstruction for Relics' Preservation and Administration.**[Citation Graph (, )][DBLP]
Search in 0.094secs, Finished in 0.095secs | |||||||

| |||||||

| |||||||

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