dblp.uni-trier.dewww.uni-trier.de

Min Zhou Vis

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

*2008
22EENanyue Yang, Min Zhou: Autonomous Overtaking Behavior Simulation for Autonomous Virtual Vehicle in Virtual Traffic Environment. CSSE (2) 2008: 1150-1153
21EEZhijun Rong, Kuisheng Chen, Min Zhou, Jinsong Xiao: Designing and Implementing the E-learning System. CSSE (5) 2008: 797-800
20EEShaohua 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
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]
3Kuisheng Chen [21]
4Jack Dongarra [2]
5Guohuan Li [16]
6Shaohua Liu [20]
7Kevin S. London [2]
8Quanyi Lü [13]
9Quanyi Lv [15]
10Yinglong Ma [20]
11Yuan Mai [20]
12Shirley Moore [2]
13Philip Mucci [2]
14Zhijun Rong [21]
15A. Prasad Sistla [3] [7] [8] [9] [12] [17]
16Alan Jay Smith [1]
17Daniel Terpstra [2]
18Ping Wang [19]
19Xiaodong Wang [3] [7] [12]
20Jinsong Xiao [21]
21Manyu Xiao [13]
22Bing Xu [20]
23Bo Yang [16]
24Junqing Yang [14] [15]
25Nanyue Yang [22]
26Zhenglin Ye [10]
27Haihang You [2]
28Junsheng Yu [20]
29Lining Zhang [14]
30Zili Zhang [18] [19]
31Hongxing Zhao [10]
32Hongchan Zheng [10] [15]
33Lenore D. Zuck [9]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)