| 2011 |
|---|
| 16 | Link-oriented power allocation in multicast systems with physical layer network coding. Min Zhou, Qimei Cui, Hui Wang, Xiaofeng Tao, Hui Tian, Mikko Valkama. WCNC 2011, 1493-1498. Web SearchBibTeXDownload |
| 2010 |
|---|
| 15 | Quantum Genetic Algorithm for Signal Detection in MIMO-OFDM Systems. Fei Li, Wei Wang, Min Zhou, Baoyu Zheng. GEM 2010, 55-58. Web SearchBibTeX |
| 14 | A New Traffic Data-Fusion Approach Based on Evidence Theory Coupled with Fuzzy Rough Sets. Hongzhao Dong, Min Zhou, Ning Chen. ISIA 2010, 444-451. Web SearchBibTeXDownload |
| 13 | Adjacency-based data reordering algorithm for acceleration of finite element computations. Min Zhou, Onkar Sahni, Mark S. Shephard, Christopher D. Carothers, Kenneth E. Jansen. Scientific Programming (18): 107-123 (2010). Web SearchBibTeXDownload |
| 2008 |
|---|
| 12 | A Prioritized Default Extension to Description Logic Knowledge Base. Shaohua Liu, Junsheng Yu, Yinglong Ma, Bing Xu, Yuan Mai, Min Zhou. FSKD (5) 2008, 516-520. Web SearchBibTeXDownload |
| 11 | An improved trust model in agent-mediated e-commerce. Zili Zhang, Min Zhou, Ping Wang. IJISTA (4): 271-284 (2008). Web SearchBibTeXDownload |
| 10 | Analysis of dynamic policies. A. Prasad Sistla, Min Zhou. Inf. Comput. (206): 185-212 (2008). Web SearchBibTeXDownload |
| 2007 |
|---|
| 9 | Checking extended CTL properties using guarded quotient structures. A. Prasad Sistla, Xiaodong Wang, Min Zhou. Formal Methods in System Design (31): 197-219 (2007). Web SearchBibTeXDownload |
| 8 | Efficient and consistent line simplification for web mapping. Michela Bertolotto, Min Zhou. Int. J. Web Eng. Technol. (3): 139-156 (2007). Web SearchBibTeXDownload |
| 2006 |
|---|
| 7 | Monitoring Off-the-Shelf Components. A. Prasad Sistla, Min Zhou, Lenore D. Zuck. VMCAI 2006, 222-236. Web SearchBibTeXDownload |
| 2005 |
|---|
| 6 | Combining Static Analysis and Model Checking for Systems Employing Commutative Functions. A. Prasad Sistla, Min Zhou. FORTE 2005, 68-82. Web SearchBibTeXDownload |
| 5 | Model Checking of Systems Employing Commutative Functions. A. Prasad Sistla, Min Zhou, Xiaodong Wang. VMCAI 2005, 250-266. Web SearchBibTeXDownload |
| 4 | Efficiently Generating Multiple Representations for Web Mapping. Min Zhou, Michela Bertolotto. W2GIS 2005, 54-65. Web SearchBibTeXDownload |
| 2004 |
|---|
| 3 | A Data Structure for Efficient Transmission of Generalised Vector Maps. Min Zhou, Michela Bertolotto. International Conference on Computational Science 2004, 948-955. Web SearchBibTeXDownload |
| 2 | Exchanging Generalized Maps Across the Internet. Min Zhou, Michela Bertolotto. KES 2004, 425-431. Web SearchBibTeXDownload |
| 1 | Checking Extended CTL properties Using Guarded Quotient Structures. A. Prasad Sistla, Xiaodong Wang, Min Zhou. SEFM 2004, 87-94. Web SearchBibTeXDownload |
