Min Zhou

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
19EEZili Zhang, Min Zhou, Ping Wang: An improved trust model in agent-mediated e-commerce. IJISTA 4(3/4): 271-284 (2008)
18EEZili Zhang, Min Zhou: Incorporating track records of agents into matchmaking in middle agents. IJISTA 4(3/4): 285-300 (2008)
17EEA. Prasad Sistla, Min Zhou: Analysis of dynamic policies. Inf. Comput. 206(2-4): 185-212 (2008)
2007
16EEBo Yang, Min Zhou, Guohuan Li: A Reputation System with Privacy and Incentive. SNPD (1) 2007: 333-338
15EEJunqing Yang, Min Zhou, Quanyi Lv, Hongchan Zheng: Geometric Design of Developable Bezier and B-spline Parametric Surfaces. SNPD (3) 2007: 210-215
14EEJunqing Yang, Min Zhou, Xiaohong An, Lining Zhang: Offset Approximation Algorithm for Subdivision Surfaces. SNPD (3) 2007: 216-221
13EEQuanyi 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)
12EEA. Prasad Sistla, Xiaodong Wang, Min Zhou: Checking extended CTL properties using guarded quotient structures. Formal Methods in System Design 31(3): 197-219 (2007)
11EEMichela 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
9EEA. Prasad Sistla, Min Zhou, Lenore D. Zuck: Monitoring Off-the-Shelf Components. VMCAI 2006: 222-236
2005
8EEA. Prasad Sistla, Min Zhou: Combining Static Analysis and Model Checking for Systems Employing Commutative Functions. FORTE 2005: 68-82
7EEA. Prasad Sistla, Min Zhou, Xiaodong Wang: Model Checking of Systems Employing Commutative Functions. VMCAI 2005: 250-266
6EEMin Zhou, Michela Bertolotto: Efficiently Generating Multiple Representations for Web Mapping. W2GIS 2005: 54-65
2004
5EEMin Zhou, Michela Bertolotto: A Data Structure for Efficient Transmission of Generalised Vector Maps. International Conference on Computational Science 2004: 948-955
4EEMin Zhou, Michela Bertolotto: Exchanging Generalized Maps Across the Internet. KES 2004: 425-431
3EEA. Prasad Sistla, Xiaodong Wang, Min Zhou: Checking Extended CTL properties Using Guarded Quotient Structures. SEFM 2004: 87-94
2003
2EEJack 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
1EEMin Zhou, Alan Jay Smith: Analysis of Personal Computer Workloads. MASCOTS 1999: 208-217

Coauthor Index

1Xiaohong An [14]
2Michela Bertolotto [4] [5] [6] [11]
3Jack Dongarra [2]
4Guohuan Li [16]
5Kevin S. London [2]
6Quanyi Lü [13]
7Quanyi Lv [15]
8Shirley Moore [2]
9Philip Mucci [2]
10A. Prasad Sistla [3] [7] [8] [9] [12] [17]
11Alan Jay Smith [1]
12Daniel Terpstra [2]
13Ping Wang [19]
14Xiaodong Wang [3] [7] [12]
15Manyu Xiao [13]
16Bo Yang [16]
17Junqing Yang [14] [15]
18Zhenglin Ye [10]
19Haihang You [2]
20Lining Zhang [14]
21Zili Zhang [18] [19]
22Hongxing Zhao [10]
23Hongchan Zheng [10] [15]
24Lenore D. Zuck [9]

Colors in the list of coauthors

Copyright © Tue Nov 18 16:28:55 2008 by Michael Ley (ley@uni-trier.de)