 | 2009 |
|---|
| 220 |       | Wei Chen,
Zhenkun Zhai,
Xiong Li,
Jing Guo:
Analysis and Design of an Improved R-learning.
ACIS-ICIS 2009: 48-52 |
| 219 | | Lijun Zhang,
Chun Chen,
Wei Chen,
Jiajun Bu,
Deng Cai,
Xiaofei He:
Convex experimental design using manifold structure for image retrieval.
ACM Multimedia 2009: 45-54 |
| 218 | | Jack Mostow,
Wei Chen:
Generating Instruction Automatically for the Reading Strategy of Self-Questioning.
AIED 2009: 465-472 |
| 217 | | Wei Chen,
Parvathi Chundi:
Extracting hot spots of basic and complex topics from time stamped documents.
CIDM 2009: 125-132 |
| 216 | | Wei Chen,
Christian Sommer,
Shang-Hua Teng,
Yajun Wang:
Compact Routing in Power-Law Graphs.
DISC 2009: 379-391 |
| 215 | | Wei Chen,
Parvathi Chundi:
Trends Analysis of Topics Based on Temporal Segmentation.
DaWaK 2009: 402-414 |
| 214 | | Xiaohui Bei,
Wei Chen,
Shang-Hua Teng,
Jialin Zhang,
Jiajie Zhu:
Bounded Budget Betweenness Centrality Game for Strategic Network Formations.
ESA 2009: 227-238 |
| 213 | | Wei Chen,
Shang-Hua Teng,
Yajun Wang,
Yuan Zhou:
On the alpha-Sensitivity of Nash Equilibria in PageRank-Based Network Reputation Games.
FAW 2009: 63-73 |
| 212 | | Yang Liu,
Wei Chen,
Yanhong A. Liu,
Jun Sun:
Model Checking Linearizability via Refinement.
FM 2009: 321-337 |
| 211 | | Wei Chen,
Yajun Wang,
Siyu Yang:
Efficient influence maximization in social networks.
KDD 2009: 199-208 |
| 210 | | SungYe Kim,
Ross Maciejewski,
Tobias Isenberg,
William M. Andrews,
Wei Chen,
Mario Costa Sousa,
David S. Ebert:
Stippling by example.
NPAR 2009: 41-50 |
| 209 | | Wei Chen,
Alan Fekete,
Paul Greenfield,
Julian Jang:
Implementing Isolation for Service-Based Applications.
OTM Conferences (1) 2009: 365-372 |
| 208 |  | Shao Jie Zhang,
Yang Liu,
Jun Sun,
Jin Song Dong,
Wei Chen,
Yanhong A. Liu:
Formal Verification of Scalable NonZero Indicators.
SEKE 2009: 406-411 |
| 207 | | Wei Chen,
Wenhui Zhang:
Bounded Model Checking of ACTL Formulae.
TASE 2009: 90-99 |
| 206 | | Ming Chen,
Yimin Chen,
Zhengwei Yao,
Wei Chen,
Yijun Lu:
Research on Eye-gaze Tracking Network Generated by Augmented Reality Application.
WKDD 2009: 594-597 |
| 205 | | Wei Chen,
Liming Liang,
Gonçalo R. Abecasis:
GWAS GUI: graphical browser for the results of whole-genome association studies with high-dimensional phenotypes.
Bioinformatics 25(2): 284-285 (2009) |
| 204 | | Wei Chen,
Xiao Liang,
Ross Maciejewski,
David S. Ebert:
Shape Context Preserving Deformation of 2D Anatomical Illustrations.
Comput. Graph. Forum 28(1): 114-126 (2009) |
| 203 | | Yuyan Song,
Wei Chen,
Ross Maciejewski,
Kelly P. Gaither,
David S. Ebert:
Bivariate Transfer Functions on Unstructured Grids.
Comput. Graph. Forum 28(3): 783-790 (2009) |
| 202 | | Zhicheng Yan,
Wei Chen,
Aidong Lu,
David S. Ebert:
Context-aware Volume Modeling of Skeletal Muscles.
Comput. Graph. Forum 28(3): 887-894 (2009) |
| 201 | | Ming-Yuen Chan,
Yingcai Wu,
Wai-Ho Mak,
Wei Chen,
Huamin Qu:
Perception-Based Transparency Optimization for Direct Volume Rendering.
IEEE Trans. Vis. Comput. Graph. 15(6): 1283-1290 (2009) |
| 200 | | Wei Chen,
Zhicheng Yan,
Song Zhang,
John Allen Crow,
David S. Ebert,
Ronald M. McLaughlin,
Katie B. Mullins,
Robert Cooper,
Zi'ang Ding,
Jun Liao:
Volume Illustration of Muscle from Diffusion Tensor Images.
IEEE Trans. Vis. Comput. Graph. 15(6): 1425-1432 (2009) |
| 199 | | Wei Chen,
Zi'ang Ding,
Song Zhang,
Anna MacKay-Brandt,
Stephen Correia,
Huamin Qu,
John Allen Crow,
David F. Tate,
Zhicheng Yan,
Qunsheng Peng:
A Novel Interface for Interactive Exploration of DTI Fibers.
IEEE Trans. Vis. Comput. Graph. 15(6): 1433-1440 (2009) |
| 198 | | Ross Maciejewski,
Insoo Woo,
Wei Chen,
David Ebert:
Structuring Feature Space: A Non-Parametric Method for Volumetric Transfer Function Generation.
IEEE Trans. Vis. Comput. Graph. 15(6): 1473-1480 (2009) |
| 197 | | Wei Chen,
Wenhui Zhang:
A direct construction of polynomial-size OBDD proof of pigeon hole problem.
Inf. Process. Lett. 109(10): 472-477 (2009) |
| 196 | | Jialin Zhang,
Wei Chen:
Bounded cost algorithms for multivalued consensus using binary consensus instances.
Inf. Process. Lett. 109(17): 1005-1009 (2009) |
| 195 | | Liang Xu,
Wei Chen,
Yanyan Xu,
Wenhui Zhang:
Improved Bounded Model Checking for the Universal Fragment of CTL.
J. Comput. Sci. Technol. 24(1): 96-109 (2009) |
| 194 | | Hong-Liang Xu,
Fang-Fang Wang,
Zhi-Ru Li,
Bing-Qiang Wang,
Di Wu,
Wei Chen,
Guang-Tao Yu,
Feng Long Gu,
Yuriko Aoki:
The nitrogen edge-doped effect on the static first hyperpolarizability of the supershort single-walled carbon nanotube.
Journal of Computational Chemistry 30(7): 1128-1134 (2009) |
| 193 | | Liu Wenyin,
Tianyong Hao,
Wei Chen,
Min Feng:
A Web-Based Platform for User-Interactive Question-Answering.
World Wide Web 12(2): 107-124 (2009) |
| 2008 |
|---|
| 192 | | Jie Zhu,
Nini Rao,
Dasong Liang,
Wei Chen:
Design of Pre-processing Circuit for Wireless ECG Monitoring System.
BMEI (2) 2008: 598-602 |
| 191 | | Kun Deng,
Wei Chen,
Prashant G. Mehta,
Sean P. Meyn:
Resource pooling for optimal evacuation of a large building.
CDC 2008: 5565-5570 |
| 190 | | Qinghua Zheng,
Bo Dong,
Feng Tian,
Wei Chen:
A service-oriented approach to integration of e-learning Information and Resource Management Systems.
CSCWD 2008: 1047-1052 |
| 189 | | Xiong Li,
Wei Chen,
Zhenkun Zhai,
Zekai Huang,
Jing Guo:
Modeling for Robotic Soccer Simulation Team Based on UML.
CSSE (1) 2008: 192-195 |
| 188 | | Xiong Li,
Wei Chen,
Jing Guo,
Zhenkun Zhai,
Zekai Huang:
A New Passing Strategy Based on Q-Learning Algorithm in RoboCup.
CSSE (1) 2008: 524-527 |
| 187 | | Wei Chen,
Hongyi Lu,
Li Shen,
Zhiying Wang,
Nong Xiao:
DBTIM: An Advanced Hardware Assisted Full Virtualization Architecture.
EUC (2) 2008: 399-404 |
| 186 | | Kazuya Okamoto,
Wei Chen,
Xiang-Yang Li:
Ranking of Closeness Centrality for Large-Scale Social Networks.
FAW 2008: 186-195 |
| 185 | | Bo Bai,
Wei Chen,
Zhigang Cao,
Khaled Ben Letaief:
Achieving High Frequency Diversity with Subcarrier Allocation in OFDMA Systems.
GLOBECOM 2008: 3805-3909 |
| 184 | | Juan Liu,
Wei Chen,
Zhigang Cao,
Ying Jun Zhang,
Soung Chang Liew:
Asymptotic Throughput in Wireless Multicast OFDM Systems.
GLOBECOM 2008: 4766-4770 |
| 183 | | Yunjian Xu,
Wei Chen,
Zhigang Cao,
Khaled Ben Letaief:
Game-Theoretic Analysis for Power Allocation in Frequency-Selective Unlicensed Bands.
GLOBECOM 2008: 5037-5041 |
| 182 | | Yunjian Xu,
Wei Chen,
Zhigang Cao,
Khaled Ben Letaief:
A Distributed Random Access Protocol with Enhanced Routing in Time-Slotted MANETs.
GLOBECOM 2008: 559-563 |
| 181 | | Juan Liu,
Wei Chen,
Zhigang Cao,
Khaled Ben Letaief:
Dynamic Power and Sub-Carrier Allocation for OFDMA-Based Wireless Multicast Systems.
ICC 2008: 2607-2611 |
| 180 | | Bo Bai,
Zhigang Cao,
Wei Chen,
Khaled Ben Letaief:
QoS Guaranteed Cross-Layer Multiple Traffic Scheduling in TDM-OFDMA Wireless Network.
ICC 2008: 2895-2899 |
| 179 | | Wei Chen,
Khaled Ben Letaief,
Zhigang Cao:
A Joint Coding and Scheduling Method for Delay Optimal Cognitive Multiple Access.
ICC 2008: 3558-3562 |
| 178 | | Zhiyao Ma,
Zhigang Cao,
Wei Chen:
A Fair Opportunistic Spectrum Access (FOSA) Scheme in Distributed Cognitive Radio Networks.
ICC 2008: 4054-4058 |
| 177 | | Xiong Li,
Wei Chen,
Zhenkun Zhai,
Jie Wang:
The Application of Hybrid Distributed Reinforcement Learning Algorithm in RoboCup 2D Soccer Simulation System.
ICIRA (1) 2008: 651-659 |
| 176 | | Shao-Wu Zhang,
Wei Chen,
Chunhui Zhao,
Yongmei Cheng,
Quan Pan:
Predicting Protein Quaternary Structure with Multi-scale Energy of Amino Acid Factor Solution Scores and Their Combination.
ICMB 2008: 65-72 |
| 175 | | Wei Chen,
Yingzhou Zhang,
Yuanchun Wei:
The Feasibility of Launching Reduction of Quality (RoQ) Attacks in 802.11 Wireless Networks.
ICPADS 2008: 517-524 |
| 174 | | Costin Iancu,
Wei Chen,
Katherine A. Yelick:
Performance portable optimizations for loops containing communication operations.
ICS 2008: 266-276 |
| 173 | | Wei Chen,
Jing Chen,
Qing Li:
Adaptive community-based multimedia data retrieval in a distributed environment.
ICUIMC 2008: 20-24 |
| 172 | | Shengguang Meng,
Wei Chen,
Gang Liu,
Shitong Wang,
Liu Wenyin:
An asset management system based on RFID, WebGIS and SMS.
ICUIMC 2008: 82-86 |
| 171 | | Wei Chen,
He Miao,
Fletch Gregory:
Multiple-Optimizing Wireless Sensor Networks with MIMO Technology.
ICWN 2008: 367-373 |
| 170 | | Wei Chen,
Hongyi Lu,
Li Shen,
Zhiying Wang,
Nong Xiao,
Dan Chen:
A Novel Hardware Assisted Full Virtualization Technique.
ICYCS 2008: 1292-1297 |
| 169 | | Wei Chen,
Jun Sun,
Yanrui Ding,
Wei Fang,
Wenbo Xu:
Clustering of Gene Expression Data with Quantum-Behaved Particle Swarm Optimization.
IEA/AIE 2008: 388-396 |
| 168 | | Yingchao Zhao,
Wei Chen,
Shang-Hua Teng:
The Isolation Game: A Game of Distances.
ISAAC 2008: 148-158 |
| 167 | | Yongming Cai,
Wei Chen:
General Service Pricing Strategies Research Based on Dynamic Stochastic Wealth Model.
ISECS 2008: 633-637 |
| 166 | | Wei Chen,
Jun Wei,
Guoquan Wu,
Xiaoqiang Qiao:
Developing a Concurrent Service Orchestration Engine Based on Event-Driven Architecture.
OTM Conferences (1) 2008: 675-690 |
| 165 | | Jing Tian,
Zhi Yang,
Wei Chen,
Ben Y. Zhao,
Yafei Dai:
Probabilistic Failure Detection for Efficient Distributed Storage Maintenance.
SRDS 2008: 147-156 |
| 164 | | Wei Chen,
Hongming Zheng,
Yanchun Li,
Senjie Zhang,
Xiaoyun Wu:
Beamforming Methods for Multiuser Relay Networks.
VTC Fall 2008: 1-5 |
| 163 | | Senjie Zhang,
Yanchun Li,
Wei Chen,
Xiaoyun Wu:
Downlink Channel Estimation Model for 802.16e OFDMA System.
VTC Fall 2008: 1-5 |
| 162 | | Wei Chen,
Lijun Zhang,
Can Wang,
Chun Chen,
Jiajun Bu:
Pervasive Web News Recommendation for Visually Impaired People.
Web Intelligence/IAT Workshops 2008: 119-122 |
| 161 | | Jiro Uchida,
Islam A. K. M. Muzahidul,
Yoshiaki Katayama,
Wei Chen,
Koichi Wada:
Construction and Maintenance of a Novel Cluster-based Architecture for Ad Hoc Sensor Networks.
Ad Hoc & Sensor Wireless Networks 6(1-2): 1-31 (2008) |
| 160 | | Wei Chen,
Song Zhang,
Stephen Correia,
David S. Ebert:
Abstractive Representation and Exploration of Hierarchically Clustered Diffusion Tensor Fiber Tracts.
Comput. Graph. Forum 27(3): 1071-1078 (2008) |
| 159 | | Chunxiao Liu,
Yingzhen Yang,
Qunsheng Peng,
Jin Wang,
Wei Chen:
Distortion Optimization based Image Completion from a Large Displacement View.
Comput. Graph. Forum 27(7): 1755-1764 (2008) |
| 158 | | Yun Zeng,
Dimitris Samaras,
Wei Chen,
Qunsheng Peng:
Topology cuts: A novel min-cut/max-flow algorithm for topology preserving segmentation in N-D images.
Computer Vision and Image Understanding 112(1): 81-90 (2008) |
| 157 | | Ross Maciejewski,
Tobias Isenberg,
William M. Andrews,
David S. Ebert,
Mario Costa Sousa,
Wei Chen:
Measuring Stipple Aesthetics in Hand-Drawn and Computer-Generated Images.
IEEE Computer Graphics and Applications 28(2): 62-74 (2008) |
| 156 | | Wei Chen,
Lin Dai,
Khaled Ben Letaief,
Zhigang Cao:
A Unified Cross-Layer Framework for Resource Allocation in Cooperative Networks.
IEEE Transactions on Wireless Communications 7(8): 3000-3012 (2008) |
| 155 | | Rui Gong,
Wei Chen,
Fang Liu,
Kui Dai,
Zhiying Wang:
A New Approach to Single Event Effect Tolerance Based on Asynchronous Circuit Technique.
J. Electronic Testing 24(1-3): 57-65 (2008) |
| 154 | | Bin Xiao,
Wei Chen,
Yanxiang He:
An autonomous defense against SYN flooding attacks: Detect and throttle attacks at the victim side independently.
J. Parallel Distrib. Comput. 68(4): 456-470 (2008) |
| 153 | | Wei Chen,
Yu-Jin Zhang:
Parametric model for video content analysis.
Pattern Recognition Letters 29(3): 181-191 (2008) |
| 152 | | Wei Chen,
Chen ZongJi:
Prediction-based adaptive control of a class of discrete-time nonlinear systems with nonlinear growth rate.
Science in China Series F: Information Sciences 51(5): 524-534 (2008) |
| 151 | | Yi Gong,
Wei Chen,
Long Zhang,
Yun Zeng,
Qunsheng Peng:
GPU-based rendering for deformable translucent objects.
The Visual Computer 24(2): 95-103 (2008) |
| 2007 |
|---|
| 150 | | Yinghao Cai,
Wei Chen,
Kaiqi Huang,
Tieniu Tan:
Continuously Tracking Objects Across Multiple Widely Separated Cameras.
ACCV (1) 2007: 843-852 |
| 149 | | Wei Chen,
Danwei Chen,
Guozi Sun,
Yingzhou Zhang:
Defending Against Jamming Attacks in Wireless Local Area Networks.
ATC 2007: 519-528 |
| 148 | | Chao Tong,
Xiaopeng Gao,
Wei Chen,
Xiang Long:
SQS: A Secure and QoS Guaranteed Solution for Mobile Service.
COMPSAC (1) 2007: 343-352 |
| 147 | | Ashesh Rastogi,
Wei Chen,
Sandip Kundu:
On Estimating Impact of Loading Effect on Leakage Current in Sub-65nm Scaled CMOS Circuits Based on Newton-Raphson Method.
DAC 2007: 712-715 |
| 146 | | Wei Chen,
Jialin Zhang,
Yu Chen,
Xuezheng Liu:
Weakening Failure Detectors for k -Set Agreement Via the Partition Approach.
DISC 2007: 123-138 |
| 145 | | Weifeng Lv,
Jianchu Kang,
Wei Chen,
Ran Lei:
Integration and Application Platform of Service-Oriented Telecom Businesses.
ECUMN 2007: 183-189 |
| 144 | | Qingshan Li,
Shengming Hu,
Ping Chen,
Lihong Wu,
Wei Chen:
Discovering and Mining Use Case Model in Reverse Engineering.
FSKD (4) 2007: 431-436 |
| 143 | | Kai Shen,
Shoubao Yang,
Wei Chen,
Xiaoqian Liu,
Bin Wu:
Balancing Risk and Price: An Opportunity-Cost Approach for Job Scheduling in the Grid Market.
GCC 2007: 521-527 |
| 142 | | Wei Chen,
Jin-cheng Zhang,
Yu-quan Jiang:
One Continuous Auditing Practice in China: Data-oriented Online Auditing(DOOA).
I3E (2) 2007: 521-528 |
| 141 | | Wei Chen,
Khaled Ben Letaief,
Zhigang Cao:
Opportunistic Network Coding for Wireless Networks.
ICC 2007: 4634-4639 |
| 140 | | Wei Chen,
Runtong Zhang,
Wei-Guo Zhang,
Yongming Cai:
A Fuzzy Portfolio Selection Methodology Under Investing Constraints.
ICFIE 2007: 564-572 |
| 139 | | Jin Yin,
Wei Chen,
Yun Li:
Evolutionary computation enabled game theory based modelling of electricity market behaviours and applications.
IEEE Congress on Evolutionary Computation 2007: 1896-1903 |
| 138 | | Wei Chen,
Islam A. K. M. Muzahidul,
Mohan Malkani,
Amir Shirkhodaie,
Koichi Wada,
Mohamed Zein-Sabatto:
Novel Broadcast/Multicast Protocols for Dynamic Sensor Networks.
IPDPS 2007: 1-8 |
| 137 | | Costin Iancu,
Wei Chen,
Katherine A. Yelick:
Performance Portable Optimizations for Loops Containing Communication Operations.
PACT 2007: 411 |
| 136 | | Wei Chen,
Jialin Zhang,
Yu Chen,
Xuezheng Liu:
Partition approach to failure detectors for k-set agreement.
PODC 2007: 306-307 |
| 135 | | Wei Chen,
Jialin Zhang,
Yu Chen,
Xuezheng Liu:
Failure Detectors and Extended Paxos for k-Set Agreement.
PRDC 2007: 69-76 |
| 134 | | Wei Chen,
Jiajun Bu,
Kangmiao Liu,
Chun Chen,
Chen Zhang:
A full-text retrieval toolkit for mobile desktop search.
SIGIR 2007: 905 |
| 133 | | Fasheng Xu,
Wei Chen,
Ling Yang:
Improved Particle Swarm Optimization for Realistic Portfolio Selection.
SNPD (1) 2007: 185-190 |
| 132 | | Wei Chen,
Jingtao Song,
Jinan Leng,
Hanyang Lu:
A New Double scheduling DBA Algorithm for next generation access network.
SNPD (2) 2007: 673-678 |
| 131 | | Ming Chen,
Wei Chen,
Likun Liu,
Zheng Zhang:
An Analytical Framework and Its Applications for Studying Brick Storage Reliability.
SRDS 2007: 242-252 |
| 130 | | Yu Chen,
Wei Chen:
Decentralized, Connectivity-Preserving, and Cost-Effective Structured Overlay Maintenance.
SSS 2007: 97-113 |
| 129 | | Yanyan Xu,
Wei Chen,
Liang Xu,
Wenhui Zhang:
Evaluation of SAT-based Bounded Model Checking of ACTL Properties.
TASE 2007: 339-348 |
| 128 | | Ashesh Rastogi,
Wei Chen,
Alodeep Sanyal,
Sandip Kundu:
An Efficient Technique for Leakage Current Estimation in Sub 65nm Scaled CMOS Circuits Based on Loading Effect.
VLSI Design 2007: 583-588 |
| 127 | | Keke Cai,
Jiajun Bu,
Chun Chen,
Kangmiao Liu,
Wei Chen:
Bayesian network based sentence retrieval model.
WWW 2007: 1137-1138 |
| 126 | | Kangmiao Liu,
Wei Chen,
Jiajun Bu,
Chun Chen,
Lijun Zhang:
User Modeling for Recommendation in Blogspace.
Web Intelligence/IAT Workshops 2007: 79-82 |
| 125 | | Wei Chen,
Qun Lin:
Asymptotic expansion and extrapolation for the Eigenvalue approximation of the biharmonic eigenvalue problem by Ciarlet-Raviart scheme.
Adv. Comput. Math. 27(1): 95-106 (2007) |
| 124 | | Wei Chen,
Aidong Lu,
David S. Ebert:
Shape-aware Volume Illustration.
Comput. Graph. Forum 26(3): 705-714 (2007) |
| 123 | | Hongwei Lin,
Wei Chen,
Hujun Bao:
Adaptive patch-based mesh fitting for reverse engineering.
Computer-Aided Design 39(12): 1134-1142 (2007) |
| 122 | | Wei Chen,
Qingtian Zeng,
Liu Wenyin,
Tianyong Hao:
A user reputation model for a user-interactive question answering system.
Concurrency and Computation: Practice and Experience 19(15): 2091-2103 (2007) |
| 121 | | Wei Chen,
Johan Bauwelinck,
Peter Ossieur,
Xing-Zhi Qiu,
Jan Vandewege:
A Current-Steering DAC Architecture with Novel Switching Scheme for GPON Burst-Mode Laser Drivers.
IEICE Transactions 90-C(4): 877-884 (2007) |
| 120 | | Long Zhang,
Yubo Zhang,
Zhongding Jiang,
Luying Li,
Wei Chen,
Qunsheng Peng:
Precomputing data-driven tree animation.
Journal of Visualization and Computer Animation 18(4-5): 371-382 (2007) |
| 119 | | Zheng Zhang,
Qiao Lian,
Shiding Lin,
Wei Chen,
Yu Chen,
Chao Jin:
BitVault: a highly reliable distributed data retention platform.
Operating Systems Review 41(2): 27-36 (2007) |
| 118 | | Long Zhang,
Wei Chen,
David S. Ebert,
Qunsheng Peng:
Conservative voxelization.
The Visual Computer 23(9-11): 783-792 (2007) |
| 117 | | Jiro Uchida,
Wei Chen,
Koichi Wada:
Acknowledged broadcasting and gossiping in ad hoc radio networks.
Theor. Comput. Sci. 377(1-3): 43-54 (2007) |
| 2006 |
|---|
| 116 | | Wei Chen,
Keith S. Decker:
Analyzing characteristics of task structures to develop GPGP coordination mechanisms.
AAMAS 2006: 662-669 |
| 115 | | Wei Chen,
Rui Gong,
Kui Dai,
Fang Liu,
Zhiying Wang:
Two New Space-Time Triple Modular Redundancy Techniques for Improving Fault Tolerance of Computer Systems.
CIT 2006: 175 |
| 114 | | Yi Gong,
Wei Chen,
Long Zhang,
Yun Zeng,
Qunsheng Peng:
An Approximate Image-Space Approach for Real-Time Rendering of Deformable Translucent Objects.
Computer Graphics International 2006: 124-135 |
| 113 | | Min Hu,
Wei Chen,
Tao Zhang,
Qunsheng Peng:
Direct Volume Rendering of Volumetric Protein Data.
Computer Graphics International 2006: 397-403 |
| 112 | | Long Zhang,
Chengfang Song,
Qifeng Tan,
Wei Chen,
Qunsheng Peng:
Quasi-physical Simulation of Large-Scale Dynamic Forest Scenes.
Computer Graphics International 2006: 735-742 |
| 111 | | Yu Chen,
Wei Chen:
Brief Announcement: Decentralized, Connectivity-Preserving, and Cost-Effective Structured Overlay Maintenance.
DISC 2006: 563-565 |
| 110 | | Wei Chen,
Rui Gong,
Fang Liu,
Kui Dai,
Zhiying Wang:
Improving the Fault Tolerance of a Computer System with Space-Time Triple Modular Redundancy.
ESA 2006: 183-190 |
| 109 | | Chengfang Song,
Qifeng Tan,
Long Zhang,
Wei Chen,
Yi Gong,
Yu Guan,
Qunsheng Peng:
Interactive Simulation of Large-Scale Forests in Virtual Reality Applications.
Edutainment 2006: 1066-1069 |
| 108 | | Yu Guan,
Xiao Liang,
Zi'ang Ding,
Yinan Fan,
Wei Chen,
Qunsheng Peng:
Energy Matting.
Edutainment 2006: 1098-1102 |
| 107 | | Wei Chen:
A Novel Approach for Computing Partial Similarity Between 3D Models.
FSKD 2006: 438-447 |
| 106 | | Wei Chen,
Khaled Ben Letaief,
Zhigang Cao:
Cooperative Interference Cancellation in Multi-hop Wireless Networks: A Cross Layer Approach.
GLOBECOM 2006 |
| 105 | | Jiro Uchida,
Islam A. K. M. Muzahidul,
Yoshiaki Katayama,
Wei Chen,
Koichi Wada:
Construction and Maintenance of a Cluster-Based Architecture for Sensor Networks.
HICSS 2006 |
| 104 | | Hui Xie,
Weibin Rong,
Lining Sun,
Wei Chen:
Image Fusion and 3-D Surface Reconstruction of Microparts Using Complex Valued Wavelet Transforms.
ICIP 2006: 2137-2140 |
| 103 | | Wei Chen,
Dit-Yan Yeung:
Defending Against TCP SYN Flooding Attacks Under Different Types of IP Spoofing.
ICN/ICONS/MCL 2006: 38 |
| 102 | | Xiangli Qu,
Xuejun Yang,
Wei Chen:
A Bias-tuned Dishonesty-resistant Reputation Evaluation Method for Trust Establishment in Grid.
ICPADS (1) 2006: 335-364 |
| 101 | | Liu Wenyin,
Qingtian Zeng,
Wei Chen,
Min Feng,
Wan Zhang:
Using a User-Interactive QA System to Capture Student's Interest and Authority About Course Content.
ICWL 2006: 66-80 |
| 100 | | Kaisheng Zhang,
Yanming Sun,
Shixiong Zheng,
Wei Chen:
Information System Unit Model of Distributed Manufacturing Enterprises.
IROS 2006: 3718-3722 |
| 99 | | Xuening Wang,
Wei Chen,
Daxue Liu,
Tao Wu,
Hangen He:
The Optimality Analysis of Hybrid Reinforcement Learning Combined with SVMs.
ISDA (1) 2006: 936-941 |
| 98 | | Wei Chen,
Xuening Wang,
Tao Wu,
Xin Xu:
Visual Protractor Based Localization Algorithm for Mobile Robot.
ISDA (3) 2006: 67-71 |
| 97 | | Kangmiao Liu,
Wei Chen,
Chun Chen,
Jiajun Bu,
Can Wang,
Peng Huang:
EagleRank: A Novel Ranking Model for Web Image Search Engine.
PCM 2006: 749-759 |
| 96 | | Wei Chen,
Qingtian Zeng,
Liu Wenyin:
A User Reputation Model for a User-Interactive Question Answering System.
SKG 2006: 40 |
| 95 | | Min Feng,
Liu Wenyin,
Wei Chen:
Answer Clustering and Fusion in a User-Interactive QA System.
SKG 2006: 41 |
| 94 | | Ying Wang,
Wei Chen,
Xu Li,
Bing Cheng:
Degenerated primer design to amplify the heavy chain variable region from immunoglobulin cDNA.
BMC Bioinformatics 7(S-4): (2006) |
| 93 | | Yu Guan,
Wei Chen,
Xiao Liang,
Zi'ang Ding,
Qunsheng Peng:
.
Comput. Graph. Forum 25(3): 567-576 (2006) |
| 92 | | Yun Zeng,
Wei Chen,
Qunsheng Peng:
A Novel Variational Image Model: Towards a Unified Approach to Image Editing.
J. Comput. Sci. Technol. 21(2): 224-231 (2006) |
| 91 | | Zhi-Ru Li,
Fang-Fang Wang,
Di Wu,
Ying Li,
Wei Chen,
Xiao-Ying Sun,
Feng Long Gu,
Yuriko Aoki:
Royal crown-shaped electride Li3-N3-Be containing two superatoms: New knowledge on aromaticity.
Journal of Computational Chemistry 27(8): 986-993 (2006) |
| 90 | | Guofeng Zhang,
Xueying Qin,
Xiaobo An,
Wei Chen,
Hujun Bao:
As-consistent-As-possible compositing of virtual objects and video sequences.
Journal of Visualization and Computer Animation 17(3-4): 305-314 (2006) |
| 89 | | Yu Guan,
Wei Chen,
Lincan Zou,
Long Zhang,
Qunsheng Peng:
Modeling and rendering of realistic waterfall scenes with dynamic texture sprites.
Journal of Visualization and Computer Animation 17(5): 573-583 (2006) |
| 88 | | Wei Chen,
Dit-Yan Yeung:
Throttling spoofed SYN flooding traffic at the source.
Telecommunication Systems 33(1-3): 47-65 (2006) |
| 87 | | Bin Xiao,
Wei Chen,
Yanxiang He:
A novel approach to detecting DDoS Attacks at an Early Stage.
The Journal of Supercomputing 36(3): 235-248 (2006) |
| 86 | | Dong Xu,
Wei Chen,
Hongxin Zhang,
Hujun Bao:
Multi-level differential surface representation based on local transformations.
The Visual Computer 22(7): 493-505 (2006) |
| 2005 |
|---|
| 85 | | Wei Chen,
Zhaohui Wu,
Xiang Wang:
Minimizing Memory Utilization of Task Sets in SmartOSEK.
AINA 2005: 552-558 |
| 84 | | Ling Zhuang,
Huafeng Liu,
Wei Chen,
Hujun Bao,
Pengcheng Shi:
Simultaneous Segmentation and Motion Recovery in 3D Cardiac Image Analysis.
CVBIA 2005: 499-507 |
| 83 | | Tao Zhang,
Wei Chen,
Min Hu,
Qunsheng Peng:
A Similarity Computing Algorithm for Volumetric Data Sets.
FSKD (2) 2005: 742-751 |
| 82 | | Qiao Lian,
Wei Chen,
Zheng Zhang:
On the Impact of Replica Placement to the Reliability of Distributed Brick Storage Systems.
ICDCS 2005: 187-196 |
| 81 | | Qiao Lian,
Wei Chen,
Zheng Zhang,
Shaomei Wu,
Ben Y. Zhao:
Z-Ring: Fast Prefix Routing via a Low Maintenance Membership Protocol.
ICNP 2005: 132-146 |
| 80 | | Bin Xiao,
Wei Chen,
Yanxiang He,
Edwin Hsing-Mean Sha:
An Active Detecting Method Against SYN Flooding Attack.
ICPADS (1) 2005: 709-715 |
| 79 | | Yanxiang He,
Wei Chen,
Wenling Peng,
Bin Xiao:
An Efficient and Practical Defense Method Against DDoS Attack at the Source-End.
ICPADS (2) 2005: 265-269 |
| 78 | | Yanxiang He,
Wei Chen,
Wenling Peng,
Min Yang:
Efficient and Beneficial Defense Against DDoS Direct Attack and Reflector Attack.
ISPA 2005: 576-587 |
| 77 | | Wei Chen,
Qun Ying,
Yunzhi Xue,
Chen Zhao:
Software Testing Process Automation Based on UTP - A Case Study.
ISPW 2005: 222-234 |
| 76 | | Yanxiang He,
Wei Chen,
Bin Xiao:
Detecting SYN Flooding Attacks Near Innocent Side.
MSN 2005: 443-452 |
| 75 | | Wei Chen,
Shiding Lin,
Qiao Lian,
Zheng Zhang:
Sigma: A Fault-Tolerant Mutual Exclusion Algorithm in Dynamic Distributed Systems Subject to Process Crashes and Memory Losses.
PRDC 2005: 7-14 |
| 74 | | Yuan Yu,
Tom Rodeheffer,
Wei Chen:
RaceTrack: efficient detection of data race conditions via adaptive tracking.
SOSP 2005: 221-234 |
| 73 | | Kerby Shedden,
Wei Chen,
Rork Kuick,
Debashis Ghosh,
James W. MacDonald,
Kathleen R. Cho,
Thomas J. Giordano,
Stephen B. Gruber,
Eric R. Fearon,
Jeremy M. G. Taylor,
Samir Hanash:
Comparison of seven methods for producing Affymetrix expression scores based on False Discovery Rates in disease profiling data.
BMC Bioinformatics 6: 26 (2005) |
| 72 | | Wei Chen,
Fikret Erdogan,
H.-Hilger Ropers,
Steffen Lenzner,
Reinhard Ullmann:
CGHPRO - A comprehensive data analysis tool for array CGH.
BMC Bioinformatics 6: 85 (2005) |
| 71 | | Wei Chen,
Erry Gunawan,
Kah Chan Teh:
On Delay Estimation Error for CDMA in Fast Fading Channels.
IEICE Transactions 88-B(9): 3788-3790 (2005) |
| 70 | | Masamitsu Hattori,
Nobuhiro Ito,
Wei Chen,
Koichi Wada:
Parallel matrix-multiplication algorithm for distributed parallel computers.
Systems and Computers in Japan 36(4): 48-59 (2005) |
| 69 | | Hongwei Lin,
Wei Chen,
Guojin Wang:
Curve reconstruction based on an interval B-spline curve.
The Visual Computer 21(6): 418-427 (2005) |
| 2004 |
|---|
| 68 | | Wei Chen,
Keith Decker:
Managing Multi-Agent Coordination, Planning, and Scheduling.
AAMAS 2004: 1360-1361 |
| 67 | | Wei Chen,
Keith S. Decker:
The Analysis of Coordination in an Information System Application - Emergency Medical Services.
AOIS 2004: 36-51 |
| 66 | | Youbing Zhao,
Wei Chen,
Yingjun Qiu,
Jiaoying Shi:
GVis: A Java-Based Architecture for Grid Enabled Interactive Visualization.
GCC Workshops 2004: 704-711 |
| 65 | | Zhao Dong,
Wei Chen,
Long Zhang,
Qunsheng Peng:
Balancing CPU and GPU: Real-Time Visualization of Large Scale 3D Scanning Models.
GCC Workshops 2004: 712-719 |
| 64 | | Mingde Zhao,
Zhaohui Wu,
Guoqing Yang,
Lei Wang,
Wei Chen:
SmartOSEK: A Real-Time Operating System for Automotive Electronics.
ICESS 2004: 437-442 |
| 63 | | Wei Chen,
Liu Ren,
Matthias Zwicker,
Hanspeter Pfister:
Hardware-Accelerated Adaptive EWA Volume Splatting.
IEEE Visualization 2004: 67-74 |
| 62 | | Bin Xiao,
Wei Chen,
Yanxiang He:
A Novel Technique for Detecting DDoS Attacks at Its Early Stage.
ISPA 2004: 825-834 |
| 61 | | Yanxiang He,
Wei Chen,
Min Yang,
Wenling Peng:
Ontology Based Cooperative Intrusion Detection System.
NPC 2004: 419-426 |
| 60 | | Zhao Dong,
Wei Chen,
Hujun Bao,
Hongxin Zhang,
Qunsheng Peng:
Real-time Voxelization for Complex Polygonal Models.
Pacific Conference on Computer Graphics and Applications 2004: 43-50 |
| 59 | | Costin Iancu,
Parry Husbands,
Wei Chen:
Message Strip-Mining Heuristics for High Speed Networks.
VECPAR 2004: 424-437 |
| 58 | | Wei Chen,
Huagen Wan,
Hongxin Zhang,
Hujun Bao,
Qunsheng Peng:
Interactive collision detection for complex and deformable models using programmable graphics hardware.
VRST 2004: 10-15 |
| 57 | | Jinan Lou,
Wei Chen:
Crosstalk-Aware Placement.
IEEE Design & Test of Computers 21(1): 24-32 (2004) |
| 56 | | Johan Bauwelinck,
Wei Chen,
Dieter Verhulst,
Yves Martens,
Peter Ossieur,
Xing-Zhi Qiu,
Jan Vandewege:
Low-output-impedance BiCMOS voltage buffer.
IEICE Electronic Express 1(2): 34-38 (2004) |
| 55 | | Akihiro Fujiwara,
Ken-ichi Matsumoto,
Wei Chen:
Procedures For Logic And Arithmetic Operations With Dna Molecules.
Int. J. Found. Comput. Sci. 15(3): 461-474 (2004) |
| 54 | | Koichi Wada,
Wei Chen:
Optimal fault-tolerant routings with small routing tables for k-connected graphs.
J. Discrete Algorithms 2(4): 517-530 (2004) |
| 53 | | Wei Chen,
Jing Huang,
Michael K. Gilson:
Identification of Symmetries in Molecules and Complexes.
Journal of Chemical Information and Modeling 44(4): 1301-1313 (2004) |
| 2003 |
|---|
| 52 | | Akihiro Fujiwara,
Ken-ichi Matsumoto,
Wei Chen:
Addressable Procedures for Logic and Arithmetic Operations with DNA Strands.
IPDPS 2003: 162 |
| 51 | | Takaya Okuwa,
Wei Chen,
Koichi Wada:
An Optimal Algorithm of Acknowledged Broadcasting in Ad Hoc Radio Networks.
ISPDC 2003: 178-184 |
| 50 | | Jiro Uchida,
Wei Chen,
Koichi Wada:
Acknowledged Broadcasting and Gossiping in Ad Hoc Radio Networks.
OPODIS 2003: 223-234 |
| 49 | | Shijie Zhou,
Zhiguang Qin,
Feng Zhang,
Xianfeng Zhang,
Wei Chen,
Jinde Liu:
Colored Petri Net Based Attack Modeling.
RSFDGrC 2003: 715-718 |
| 48 | | Wei Chen,
Wei Hua,
Hujun Bao,
Qunsheng Peng:
Real-Time Ray Casting Rendering of Volume Clipping in Medical Visualization.
J. Comput. Sci. Technol. 18(6): 804-814 (2003) |
| 2002 |
|---|
| 47 | | Wei Chen,
Keith S. Decker:
Coordination mechanisms for dependency relationships among multiple agents.
AAMAS 2002: 172-173 |
| 46 | | Min Wang,
Grigorios Karangelis,
Wei Chen:
A New Approach to Fast Contour Interpolation.
Bildverarbeitung für die Medizin 2002: 221-224 |
| 45 | | Wei Chen,
Evelyn Firle:
Realistic and Dynamic Simulation of Needle Implanatation in Brachytherapy.
Bildverarbeitung für die Medizin 2002: 89-92 |
| 44 | | Wei Chen,
Keith S. Decker:
Developing Alternative Mechanisms for Multiagent Coordination.
PRIMA 2002: 63-76 |
| 43 | | Wei Chen,
Massoud Pedram,
Premal Buch:
Buffered Routing Tree Construction under Buffer Placement Blockages.
VLSI Design 2002: 381-386 |
| 42 | | Wei Chen,
Sam Toueg,
Marcos Kawazoe Aguilera:
On the Quality of Service of Failure Detectors.
IEEE Trans. Computers 51(1): 13-32 (2002) |
| 41 | | Wei Chen,
Sam Toueg,
Marcos Kawazoe Aguilera:
On the Quality of Service of Failure Detectors.
IEEE Trans. Computers 51(5): 561-580 (2002) |
| 40 | | Wei Chen,
Koichi Wada:
On Computing the Upper Envelope of Segments in Parallel.
IEEE Trans. Parallel Distrib. Syst. 13(1): 5-13 (2002) |
| 39 | | Wei Chen,
Roland H. Untch,
Gregg Rothermel,
Sebastian G. Elbaum,
Jeffery von Ronne:
Can fault-exposure-potential estimates improve the fault detection abilities of test suites?
Softw. Test., Verif. Reliab. 12(4): 197-218 (2002) |
| 38 | | Wei Chen,
Koichi Wada,
Kimio Kawaguchi:
Robust algorithms for constructing strongly convex hulls in parallel.
Theor. Comput. Sci. 289(1): 277-295 (2002) |
| 2001 |
|---|
| 37 | | Carla Denise Castanho,
Wei Chen,
Koichi Wada,
Akihiro Fujiwara:
Parallelizability of Some P-Complete Geometric Problems in the EREW-PRAM.
COCOON 2001: 59-63 |
| 36 | | Wei Chen,
Wing-Hung Ki,
Philip K. T. Mok,
Mansun Chan:
Switched-capacitor power converters with integrated low dropout regulators.
ISCAS (3) 2001: 293-296 |
| 35 | | Wei Chen,
Xiaowen Deng,
Koichi Wada,
Kimio Kawaguchi:
Constructing a Strongly Convex Superhull of Points.
Int. J. Comput. Geometry Appl. 11(5): 487-502 (2001) |
| 34 | | Ding-An Chiang,
Wei Chen,
Yi-Fan Wang,
Lain-inn Hwang:
Rules Generation From the Decision Tree.
J. Inf. Sci. Eng. 17(2): 325-339 (2001) |
| 2000 |
|---|
| 33 | | Wei Chen,
Sam Toueg,
Marcos Kawazoe Aguilera:
On the Quality of Service of Failure Detectors.
DSN 2000: 191- |
| 32 | | Wei Chen,
Cheng-Ta Hsieh,
Massoud Pedram:
Simultaneous Gate Sizing and Fanout Optimization.
ICCAD 2000: 374-378 |
| 31 | | M. Imai,
Y. Hayakawa,
H. Kawanaka,
Wei Chen,
Koichi Wada,
Carla Denise Castanho,
Y. Okajima,
H. Okamoto:
A Hardware Implementation of PRAM and Its Performance Evaluation.
IPDPS Workshops 2000: 143-148 |
| 30 | | Tetsuya Esaki,
Taku Sakushima,
Shinji Futamase,
Nobuhiro Ito,
Tomoichi Takahashi,
Wei Chen,
Koichi Wada:
Kakitsubata Team Description.
RoboCup 2000: 425-428 |
| 29 | | Koichi Wada,
Wei Chen:
Optimal Fault-Tolerant Routings for k-Connected Graphs with Smaller Routing Tables.
WG 2000: 302-313 |
| 28 | | Danny Z. Chen,
Wei Chen,
Koichi Wada,
Kimio Kawaguchi:
Parallel Algorithms for Partitioning Sorted Sets and Related Problems.
Algorithmica 28(2): 217-241 (2000) |
| 27 | | Ding-An Chiang,
Wei Chen,
Yi-Fan Wang,
C.-F. Hsu:
The Irrelevant Values Problem in the ID3 Tree.
Computers and Artificial Intelligence 19(2): (2000) |
| 26 | | Marcos Kawazoe Aguilera,
Wei Chen,
Sam Toueg:
Failure Detection and Consensus in the Crash-Recovery Model.
Distributed Computing 13(2): 99-125 (2000) |
| 25 | | Wei Chen,
Cheng-Ta Hsieh,
Massoud Pedram:
Simultaneous gate sizing and placement.
IEEE Trans. on CAD of Integrated Circuits and Systems 19(2): 206-214 (2000) |
| 24 | | Marcos Kawazoe Aguilera,
Wei Chen,
Sam Toueg:
On Quiescent Reliable Communication.
SIAM J. Comput. 29(6): 2040-2073 (2000) |
| 1999 |
|---|
| 23 | | Jinan Lou,
Wei Chen,
Massoud Pedram:
Concurrent logic restructuring and placement for timing closure.
ICCAD 1999: 31-36 |
| 22 | | Wei Chen,
Cheng-Ta Hsieh,
Massoud Pedram:
Gate sizing with controlled displacement.
ISPD 1999: 127-132 |
| 21 | | Koichi Wada,
Yoriyuki Nagata,
Wei Chen:
An Optimal Fault-Tolerant Routing for Triconnected Planar Graphs.
WG 1999: 191-201 |
| 20 | | Marcos Kawazoe Aguilera,
Wei Chen,
Sam Toueg:
Using the Heartbeat Failure Detector for Quiescent Reliable Communication and Consensus in Partitionable Networks.
Theor. Comput. Sci. 220(1): 3-30 (1999) |
| 1998 |
|---|
| 19 | | Marcos Kawazoe Aguilera,
Wei Chen,
Sam Toueg:
Failure Detection and Consensus in the Crash-Recovery Model.
DISC 1998: 231-245 |
| 18 | | Wei Chen,
Koichi Wada:
On Computing the Upper Envelope of Segments in Parallel.
ICPP 1998: 253- |
| 17 | | Koichi Wada,
Wei Chen:
Linear Algorithms for a k-partition Problem of Planar Graphs without Specifying Bases.
WG 1998: 324-336 |
| 16 | | Ding-An Chiang,
Yi-Fan Wang,
Wei Chen:
Knowledge Extraction by a Fuzzy Linguistic Summary Approach.
Computers and Artificial Intelligence 17(1): (1998) |
| 15 | | Wei Chen,
Koichi Wada,
Kimio Kawaguchi,
Danny Z. Chen:
Finding the Convex Hull of Discs in Parallel.
Int. J. Comput. Geometry Appl. 8(3): 305-320 (1998) |
| 14 | | Ronald D. Armstrong,
Wei Chen,
Donald Goldfarb,
Zhiying Jin:
Strongly polynomial dual simplex methods for the maximum flow problem.
Math. Program. 80: 17-33 (1998) |
| 1997 |
|---|
| 13 | | Wei Chen,
Xiaowen Deng,
Koichi Wada,
Kimio Kawaguchi:
Constructing a Strongly Convex Superhull of Points.
COCOON 1997: 42-51 |
| 12 | | Marcos Kawazoe Aguilera,
Wei Chen,
Sam Toueg:
Heartbeat: A Timeout-Free Failure Detector for Quiescent Reliable Communication.
WDAG 1997: 126-140 |
| 11 | | Koichi Wada,
Wei Chen,
Yupin Luo,
Kimio Kawaguchi:
Optimal Fault-Tolerant ATM-Routings for Biconnected Graphs.
WG 1997: 354-367 |
| 10 | | Koichi Wada,
Takaharu Ikeo,
Kimio Kawaguchi,
Wei Chen:
Highly Fault-Tolerant Routings and Fault-Induced Diameter for Generalized Hypercube Graphs.
J. Parallel Distrib. Comput. 43(1): 57-62 (1997) |
| 9 | | Donald Goldfarb,
Wei Chen:
On strongly polynomial dual simplex algorithms for the maximum flow problem.
Math. Program. 77: 159-168 (1997) |
| 1996 |
|---|
| 8 | | Danny Z. Chen,
Wei Chen,
Koichi Wada,
Kimio Kawaguchi:
Parallel Algorithms for Partitioning Sorted Sets and Related Problems.
ESA 1996: 234-245 |
| 7 | | Wei Chen,
Koichi Wada,
Kimio Kawaguchi:
Parallel Robust Algorithms for Constructing Strongly Convex Hulls.
Symposium on Computational Geometry 1996: 133-140 |
| 1995 |
|---|
| 6 | | Koichi Wada,
Takaharu Ikeo,
Kimio Kawaguchi,
Wei Chen:
Highly Fault-Tolerant Routings and Diameter Vulnerability for Generalized Hypercube Graphs.
WG 1995: 197-208 |
| 1994 |
|---|
| 5 | | Michiko Inoue,
Wei Chen:
Linear-Time Snapshot Using Multi-writer Multi-reader Registers.
WDAG 1994: 130-140 |
| 1990 |
|---|
| 4 | | Wei Chen:
A Formal Approach to Program Inversion.
ACM Conference on Computer Science 1990: 398-403 |
| 3 | | Wei Chen,
Jan Tijmen Udding:
Program Inversion: More than Fun!
Sci. Comput. Program. 15(1): 1-13 (1990) |
| 1989 |
|---|
| 2 | | Wei Chen,
Jan Tijmen Udding,
Tom Verhoeff:
Networks of Communicating Processes and Their (De-)Composition.
MPC 1989: 174-196 |
| 1 | | Wei Chen,
Jan Tijmen Udding:
Towards a Calculus of Data Refinement.
MPC 1989: 197-218 |
