Min Zhou

	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

Coauthor Index

1	Xiaohong An	[14]
2	Michela Bertolotto	[4] [5] [6] [11]
3	Kuisheng Chen	[21]
4	Jack Dongarra	[2]
5	Guohuan Li	[16]
6	Shaohua Liu	[20]
7	Kevin S. London	[2]
8	Quanyi Lü	[13]
9	Quanyi Lv	[15]
10	Yinglong Ma	[20]
11	Yuan Mai	[20]
12	Shirley Moore	[2]
13	Philip Mucci	[2]
14	Zhijun Rong	[21]
15	A. Prasad Sistla	[3] [7] [8] [9] [12] [17]
16	Alan Jay Smith	[1]
17	Daniel Terpstra	[2]
18	Ping Wang	[19]
19	Xiaodong Wang	[3] [7] [12]
20	Jinsong Xiao	[21]
21	Manyu Xiao	[13]
22	Bing Xu	[20]
23	Bo Yang	[16]
24	Junqing Yang	[14] [15]
25	Nanyue Yang	[22]
26	Zhenglin Ye	[10]
27	Haihang You	[2]
28	Junsheng Yu	[20]
29	Lining Zhang	[14]
30	Zili Zhang	[18] [19]
31	Hongxing Zhao	[10]
32	Hongchan Zheng	[10] [15]
33	Lenore D. Zuck	[9]

Colors in the list of coauthors