Journal: J. Comput. Sci. Technol.

Volume 24, Issue 1

2 -- 5Daniel Cohen-Or. Space Deformations, Surface Deformations and the Opportunities In-Between
6 -- 18Weiwei Xu, Kun Zhou. Gradient Domain Mesh Deformation - A Survey
19 -- 29Tao Ju. Fixing Geometric Errors on Polygonal Models: A Survey
30 -- 38Gregory M. Nielson, Liyan Zhang, Kun Lee, Adam Huang. Spherical Parameterization of Marching Cubes IsoSurfaces Based upon Nearest Neighbor Coordinates
39 -- 46Fuhua (Frank) Cheng, Fengtao Fan, Shuhua Lai, Conglin Huang, Jiaxi Wang, Jun-Hai Yong. Loop Subdivision Surface Based Progressive Interpolation
47 -- 55Yong Zhao, Xin-guo Liu, Qunsheng Peng, Hu-Jun Bao. Rigidity Constraints for Large Mesh Deformation
56 -- 64George W. Hart. An Algorithm for Constructing 3D Struts
65 -- 75Zhe Bian, Shi-Min Hu, Ralph R. Martin. Evaluation for Small Visual Difference Between Conforming Meshes on Strain Field
76 -- 95Sa ed Abed, Otmane Aït Mohamed, Ghiath Al Sammane. An Abstract Reachability Approach by Combining HOL Induction and Multiway Decision Graphs
96 -- 109Liang Xu, Wei Chen, Yanyan Xu, Wenhui Zhang. Improved Bounded Model Checking for the Universal Fragment of CTL
110 -- 121Long Li, Yu Zhang, Yiyun Chen, Yong Li. Certifying Concurrent Programs Using Transactional Memory
122 -- 137Xian Xu. Expressing First-Order pi-Calculus in Higher-Order Calculus of Communicating Systems
138 -- 151Zhiguo Wan, Robert H. Deng, Feng Bao, Bart Preneel, Ming Gu. ::::n:::: PAKE:::+:::: A Tree-Based Group Password-Authenticated Key Exchange Protocol Using Different Passwords
152 -- 164Xuejun Yang, Yu Deng, Li Wang, Xiao-Bo Yan, Jing Du, Ying Zhang, Guibin Wang, Tao Tang. SRF Coloring: Stream Register File Allocation via Graph Coloring
165 -- 174Xiang Zhang, Gong Cheng, Weiyi Ge, Yuzhong Qu. Summarizing Vocabularies in the Global Semantic Web
175 -- 180Kevin Chiew, Yingjiu Li. Multistage Off-Line Permutation Packet Routing on a Mesh: An Approach with Elementary Mathematics