| 2008 |
|---|
| 13 | EE | A. Prasad Sistla,
Min Zhou:
Analysis of dynamic policies.
Inf. Comput. 206(2-4): 185-212 (2008) |
| 2007 |
|---|
| 12 | EE | 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 | EE | 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 | EE | A. Prasad Sistla,
Min Zhou,
Lenore D. Zuck:
Monitoring Off-the-Shelf Components.
VMCAI 2006: 222-236 |
| 2005 |
|---|
| 8 | EE | A. Prasad Sistla,
Min Zhou:
Combining Static Analysis and Model Checking for Systems Employing Commutative Functions.
FORTE 2005: 68-82 |
| 7 | EE | A. Prasad Sistla,
Min Zhou,
Xiaodong Wang:
Model Checking of Systems Employing Commutative Functions.
VMCAI 2005: 250-266 |
| 6 | EE | Min Zhou,
Michela Bertolotto:
Efficiently Generating Multiple Representations for Web Mapping.
W2GIS 2005: 54-65 |
| 2004 |
|---|
| 5 | EE | Min Zhou,
Michela Bertolotto:
A Data Structure for Efficient Transmission of Generalised Vector Maps.
International Conference on Computational Science 2004: 948-955 |
| 4 | EE | Min Zhou,
Michela Bertolotto:
Exchanging Generalized Maps Across the Internet.
KES 2004: 425-431 |
| 3 | EE | A. Prasad Sistla,
Xiaodong Wang,
Min Zhou:
Checking Extended CTL properties Using Guarded Quotient Structures.
SEFM 2004: 87-94 |
| 2003 |
|---|
| 2 | EE | 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 | EE | Min Zhou,
Alan Jay Smith:
Analysis of Personal Computer Workloads.
MASCOTS 1999: 208-217 |
