 | 2009 |
|---|
| 24 |       | Min Zhou,
Fei He,
Ming Gu,
Xiaoyu Song:
Translation-Based Model Checking for PLC Programs.
COMPSAC (1) 2009: 553-562 |
| 23 | | Onkar Sahni,
Min Zhou,
Mark S. Shephard,
Kenneth E. Jansen:
Scalable implicit finite element solver for massively parallel processing with demonstration to 160K cores.
SC 2009 |
| 2008 |
|---|
| 22 | | Nanyue Yang,
Min Zhou:
Autonomous Overtaking Behavior Simulation for Autonomous Virtual Vehicle in Virtual Traffic Environment.
CSSE (2) 2008: 1150-1153 |
| 21 | | Zhijun Rong,
Kuisheng Chen,
Min Zhou,
Jinsong Xiao:
Designing and Implementing the E-learning System.
CSSE (5) 2008: 797-800 |
| 20 | | Shaohua Liu,
Junsheng Yu,
Yinglong Ma,
Bing Xu,
Yuan Mai,
Min Zhou:
A Prioritized Default Extension to Description Logic Knowledge Base.
FSKD (5) 2008: 516-520 |
| 19 | | Zili Zhang,
Min Zhou,
Ping Wang:
An improved trust model in agent-mediated e-commerce.
IJISTA 4(3/4): 271-284 (2008) |
| 18 | | Zili Zhang,
Min Zhou:
Incorporating track records of agents into matchmaking in middle agents.
IJISTA 4(3/4): 285-300 (2008) |
| 17 | | A. Prasad Sistla,
Min Zhou:
Analysis of dynamic policies.
Inf. Comput. 206(2-4): 185-212 (2008) |
| 2007 |
|---|
| 16 | | Bo Yang,
Min Zhou,
Guohuan Li:
A Reputation System with Privacy and Incentive.
SNPD (1) 2007: 333-338 |
| 15 | | Junqing Yang,
Min Zhou,
Quanyi Lv,
Hongchan Zheng:
Geometric Design of Developable Bezier and B-spline Parametric Surfaces.
SNPD (3) 2007: 210-215 |
| 14 | | Junqing Yang,
Min Zhou,
Xiaohong An,
Lining Zhang:
Offset Approximation Algorithm for Subdivision Surfaces.
SNPD (3) 2007: 216-221 |
| 13 | | Quanyi Lü,
Manyu Xiao,
Min Zhou:
A parallel algorithm based on Galerkin theory for block-tridiagonal linear systems.
Applied Mathematics and Computation 187(2): 1277-1285 (2007) |
| 12 | | A. Prasad Sistla,
Xiaodong Wang,
Min Zhou:
Checking extended CTL properties using guarded quotient structures.
Formal Methods in System Design 31(3): 197-219 (2007) |
| 11 | | Michela Bertolotto,
Min Zhou:
Efficient and consistent line simplification for web mapping.
Int. J. Web Eng. Technol. 3(2): 139-156 (2007) |
| 2006 |
|---|
| 10 |  | Hongchan Zheng,
Hongxing Zhao,
Zhenglin Ye,
Min Zhou:
Differentiability of a 4-point Ternary Subdivision Scheme and its Applications.
IMECS 2006: 231-236 |
| 9 | | A. Prasad Sistla,
Min Zhou,
Lenore D. Zuck:
Monitoring Off-the-Shelf Components.
VMCAI 2006: 222-236 |
| 2005 |
|---|
| 8 | | A. Prasad Sistla,
Min Zhou:
Combining Static Analysis and Model Checking for Systems Employing Commutative Functions.
FORTE 2005: 68-82 |
| 7 | | A. Prasad Sistla,
Min Zhou,
Xiaodong Wang:
Model Checking of Systems Employing Commutative Functions.
VMCAI 2005: 250-266 |
| 6 | | Min Zhou,
Michela Bertolotto:
Efficiently Generating Multiple Representations for Web Mapping.
W2GIS 2005: 54-65 |
| 2004 |
|---|
| 5 | | Min Zhou,
Michela Bertolotto:
A Data Structure for Efficient Transmission of Generalised Vector Maps.
International Conference on Computational Science 2004: 948-955 |
| 4 | | Min Zhou,
Michela Bertolotto:
Exchanging Generalized Maps Across the Internet.
KES 2004: 425-431 |
| 3 | | A. Prasad Sistla,
Xiaodong Wang,
Min Zhou:
Checking Extended CTL properties Using Guarded Quotient Structures.
SEFM 2004: 87-94 |
| 2003 |
|---|
| 2 | | 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.
IPDPS 2003: 289 |
| 1999 |
|---|
| 1 | | Min Zhou,
Alan Jay Smith:
Analysis of Personal Computer Workloads.
MASCOTS 1999: 208-217 |
