| 2006 | CGI | Real-Time Shadow Volume Algorithm for Subdivision Surface Based Models. | Min Tang, Jinxiang Dong, Shang-Ching Chou |
| 2005 | CSCWD | An Effective Approach to Compression and Transmission of Feature-Based Models. | Rong-Qin Chen, Min Tang, Jinxiang Dong, Shang-Ching Chou |
| 2005 | CSCWD | Model compression and transmission in collaborative CAD. | Rong-Qin Chen, Min Tang, Jinxiang Dong, Shang-Ching Chou |
| 2005 | CSCWD | Real-Time Rain Simulation. | Zhong-Xin Feng, Min Tang, Jinxiang Dong, Shang-Ching Chou |
| 2005 | CSCWD | Real-time rendering of raining animation based on the graphics hardware acceleration. | Zhong-Xin Feng, Min Tang, Jinxiang Dong, Shang-Ching Chou |
| 2005 | CSCWD | Concurrency conflicts solving for collaborative feature modeling. | Min Tang, Shang-Ching Chou, Jinxiang Dong |
| 2004 | CSCWD | Real-Time Selective Scene Transfer. | Min Tang, Zhengming Ying, Shang-Ching Chou, Jinxiang Dong |
| 1996 | CADE | An Introduction to Geometry Expert. | Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang |
| 1994 | CADE | Mechanically Proving Geometry Theorems Using a Combination of Wu's Method and Collins' Method. | Nicholas Freitag McPhee, Shang-Ching Chou, Xiao-Shan Gao |
| 1993 | ICCI | Discovery of Geometry Theorems: Avoiding Isomorphic Situation Descriptions. | Rajiv Bagai, Vasant Shanbhogue, Jan M. Zytkow, Shang-Ching Chou |
| 1993 | ISMIS | Automatic Theorem Generation in Plane Geometry. | Rajiv Bagai, Vasant Shanbhogue, Jan M. Zytkow, Shang-Ching Chou |
| 1993 | ISSAC | Automated Geometry Theorem Proving by Vector Calculation. | Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang |
| 1993 | LICS | Automated Production of Traditional Proofs for Constructive Geometry Theorems | Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang |
| 1992 | CADE | A Geometry Theorem Prover for Macintoshes. | Shang-Ching Chou |
| 1992 | CADE | Proving Geometry Statements of Constructive Type. | Shang-Ching Chou, Xiao-Shan Gao |
| 1992 | ISSAC | Solving Parametric Algebraic Systems. | Xiao-Shan Gao, Shang-Ching Chou |
| 1991 | ISSAC | Computations with Parametric Equations. | Xiao-Shan Gao, Shang-Ching Chou |
| 1990 | CADE | Ritt-Wu's Decomposition Algorithm and Geometry Theorem Proving. | Shang-Ching Chou, Xiao-Shan Gao |
| 1990 | ISSAC | Automated Reasoning in Geometries Using the Characteristic Set Method and Grbner Basis Method. | Shang-Ching Chou |
| 1990 | ISSAC | Methods for Mechanical Geometry Formula Deriving. | Shang-Ching Chou, Xiao-Shan Gao |
| 1986 | CADE | GEO-Prover - A Geometry Theorem Prover Developed at UT. | Shang-Ching Chou |
| 1986 | LICS | On Mechanical Theorem Proving in Minkowskian Plane Geometry | Shang-Ching Chou, Hai-Ping Ko |