Journal Publications
J92. Yueting Zhuang, Yushun Wang, Timothy K. Shih and Nick C. Tang, “A Patch Guided Facial Inpainting By Shape Propagation,” accepted for publication in Journal of Zhejiang University-SCIENCE A, 2008.
J91. Nick C. Tang, Lawrence Y. Deng, Timothy K. Shih, Dong-Liang Lee, Yu-Hsin Cheng and Kuo-Yen Lo, “The Development of Image-based Distance Measurement System,” accepted for publication in Journal of Internet Technology, 2008.
J90. Freya H. Lin, Timothy K. Shih, and Won Kim, “An Implementation of the CORDRA Architecture Enhanced for Systematic Reuse of Learning Objects,” accepted for publication in IEEE Transactions on Knowledge and Data Engineering, 2008.
J89. Hsuan-Pu Chang, Timothy K. Shih, Qing Li, Chun-Chia Wang, Te-Hua Wang and Louis R. Chao, “An Adaptive Caching Strategy for m-Learning Based on SCORM Sequencing and Navigation,” in World Wide Web Journal, 2008.
J88. Han-Bin Chang, Hsuan-Pu Chang, Hui-Huang Hsu, Louis R. Chao and Timothy K. Shih, “An Intelligent Travel Book Management System,” accepted for publication in Special Issue on Service, Security and Data management for Ubiquitous Computing, International Journal of Ad Hoc and Ubiquitous Computing (IJAHUC). 2009
J87. Nigel H. Lin, Jason C. Hung, Hsuan-Pu Chang, Timothy K. Shih, “A Cross Domain Framework for SCORM Based on Web Service Architecture,” Journal of Internet Technology Volumn 9. 2008 No.1.
J86. Timothy K. Shih, Nick C. Tang and Jenq-Neng Hwang, “Exemplar-based Video Inpainting without Ghost Shadow Artifacts by Maintaining Temporal Continuity,” accepted for publication in IEEE Transactions on Circuits and Systems for Video Technology, 2008.
J85. Wen-Chih Chang, Hui-Huang Hsu, Timothy K. Shih, and Hsuan-Che Yang, “Integrating SPC Table Formative Assessment with SCORM,” Journal of Interconnection Networks (JOIN), Special Issue on Communication Protocols and Analysis of Wireless Sensor Networks, 2008.
J84. Rong-Chi Chang and Timothy K. Shih, “Multilayer Inpainting on Digitalized Artworks,” Journal of Information Science and Engineering, 2008.
J83 Chun-Hong Huang, Chao-Kang Feng, Hui-Huang Hsu, Nick C. Tang and Timothy K. Shih, "A Collaborative Virtual world application to the Hyper-Interaction Platform," Journal of Internet Technology (JIT), 2007.
J82. Chun-Hong Huang, Ching-Sheng Wang, and Timothy K. Shih, "3D Human Kinematical Motion Retrieval System",WSEAS Transactions on Information Science and Applications, Issue 5, Volume 4, pp.901-908,May 2007.
J81. Hsuan-Che Yang, Yuan-Tsung Chang, Timothy K. Shih "Using AJAX to build an on-line Assessment Management System Based on QTI and Web 2.0", WSEAS Transactions on Information Science and Applications, Issue 5, Volume 4, pp.939-945,May 2007.
J80. Qing Li, Rynson W.H. Lau, Timothy K. Shih, and Frederick W.B. Li, "Technology Supports for Distributed and Collaborative Learning over the Internet," Special Issue on Internet Technologies for Distance Education, ACM Transactions on Internet Technology, 2008.
J79. Rong-Chi Chang, Timothy K. Shih, and Hui-huang Hsu, "A Strategic Decomposition for Adaptive Image Transmission," Journal of Information Science and Engineering, 2008.
J78. Jihoon Myung, Wonjun Lee, Jaideep Srivastava, and Timothy K. Shih, "Tag-Splitting: Adaptive Collision Arbitration Protocols for RFID Tag Identification," IEEE Transactions on Parallel and Distributed Systems, 2007.
J77. Timothy K. Shih, Te-Hua Wang, Chih-Yung Chang, Tai-Chien Kao and Douglas Hamilton, "Ubiquitous e-Learning with Multimodal Multimedia Devices," IEEE Transactions on Multimedia, Volume 9, No 3, 2007.
J76. H. W. Lin and Timothy K. Shih, "Facilitating Metadata Creation – the MINE Metadata Wizard for IEEE LOM," Journal of Internet Technology (JIT), 2006.
J75. Jihoon Myung, Wonjun Lee, and Timothy K. Shih, "An Adaptive Memoryless Protocol for RFID Tag Collision Arbitration," IEEE Transactions on Multimedia, Vol. 8, No. 5, October 2006.
J74. Timothy K. Shih and Rong-Chi Chang, “Super-Resolution Inpainting,” in the Journal of Zhejiang University SCIENCE, Vol.6A, No.6, pp. 487 -- 491, 2005. (EI)
J73. Nigel H. Lin, Wen-Chih Chang, Timothy K. Shih, and Huan-Chao Keh, “Courseware Development Using Influence Diagram Supporting e-Learning Specification,” in the Journal of Information Science and Engineering, Vol. 21 , No. 5, 2005.
J72. Yi-Chun Liao, Han-Bin Chang, Hui-huang Hsu, Timothy K. Shih, “Merging Web Brower and Interactive Video – A HyperVideo System for e-Learning and e-Entertainment,” in the Journal of Internet Technology, Vol.6, No.1, pp. 121 -- 131, January 2005. (EI)
J71. Flora Chia-I Chang, Lun-Ping Hung, Huan-Chao Keh, Wen-Chih Chang and Timothy K. Shih, “Design and Implementation of a SCORM-Based Courseware System Using Influence Diagram,” in the International Journal of Distance Education Technologies, Vol. 3, No. 3, pp. 82 -- 96, July-September 2005. (EI)
J70. George Yee, Larry Korba, Nigel H. Lin, Timothy K. Shih, “Context-Aware Privacy and Security Agents for Distance Education,” in the International Journal of High Performance Computing and Networking, Special Issue on Advanced Networking and Applications for New Computing Paradigm, 2005.
J69. Jin Tan David Yang, Pao Ta Yu, Nian Shing Chen, Chun Yen Tsai, Chin Chin Lee, and Timothy K. Shih, “Using Ontology as Scaffolding for Authoring Teaching Materials,” in the International Journal of Distance Education Technologies, Vol. 3, No. 1, pp. 81 -- 96, January-March 2005. (EI)
J68. Wen-Chih Chang, Hui-Huang Hsu, Timothy K. Shih and Chun-Chia Wang, "Enhancing SCORM metadata for assessment authoring in e-Learning," in the Journal of Computer Assisted Learning, Vol.20, No.4, pp. 305 -- 316, August 2004. (SSCI)
J67. Jason C. Hung, Nigel H. Lin, Wen-Chih Chang, and Timothy K. Shih, “A Smart Courseware System for Distance Education,” in the Journal of Applied Systems Studies, special issue on “Distance Education”, 2004.
J66. Timothy K. Shih, Ya-Fung Chang, Hun-Hui Hsu, Ying-Hong Wang, and Yung-Hui Chen, “A VR-Based Shared Web System for Distance Education,” in the International Journal of Interactive Technology and Smart Education (ITSE), Vol.1, No.4, pp. 225 – 238, November, 2004.
J65. Ren-Junn Hwang, Timothy k. Shih, and Chuan-Ho Kao, “A Lossy Compression Tolerant Data Hiding Method Based on JPEG and VQ,” in the Journal of Internet Technology(JIT), Vol. 5, No. 3, pp. 171 -- 178, July 2004. (EI)
J64. Timothy K. Shih, Pao-Ta Yu, Wen-Chih Chang, and David J. T. Yang, “Distance Learning Standards: Technologies and Challenges,” in the Journal of Applied Systems Studies, special issue on “Distance Education”, 2004.
J63. Timothy K. Shih, Ying-Hong Wang, Yi-Chun Lian, and Jung-Ken Chuang, “Video Presentation Recording and On-Line Broadcasting,” in the Journal of Interconnection Networks, Special Issue on Advanced Information Networking: Architectures and Algorithms, Vol. 4, No. 2, pp. 199 -- 209, June 2003.
J62. Flora Chia-I Chang, Lun-Ping Hung and Timothy K. Shih, “A New Courseware Diagram for Quantitative Measurement of Distance Learning Course,” in the Journal of Information Science and Engineering(JISE), Vol. 19 , No. 6, pp. 989 -- 1014, November 2003. (EI, SCI)
J61 Timothy K. Shih, Gianni Degli Antoni, Timothy Arndt, Asirvatham, Ching-Tao Chang, Yam San Chee, Chyi-Ren Dow, Jason C. Hung, Qun Jin, Insung Jung, Hong Va Leong, Sheng-Tun Li, Fuhua Oscar Lin, Jonathan Liu, Nicoletta Sala and Ying-Hong Wang, “A Survey of Distance Education Challenges and Technologies,” in the International Journal of Distance Education Technologies, Vol. 1, No. 1, pp. 1 -- 21, January-March 2003.
J60 Timothy K. Shih, Chuan-Feng Chiu and Hui-huang Hsu, “An Agent-Based Multi-Issue Negotiation System in E-Commerce,” in the Journal of Electronic Commerce in Organizations, Vol. 1, No. 1, pp. 1 -- 16, January-March 2003.
J59 Chin-Chen Chang, Timothy K. Shih and Iuon-Chang Lin, “Guessing by neighbors: an efficient reconstruction method for transmitting image progressively,” in the Visual Computer, International Journal of Computer Graphics, Springer, Vol. 19, No. 5, pp. 342 -- 353, August 2003. (EI, SCI)
J58. Timothy K. Shih, Chuan-Feng Chiu, Hui-Huang Hsu and Fuhua Lin, “An integrated framework for recommendation system in e-commerce,” in the Industrial Management & Data Systems, Vol. 102, No. 8 & 9, pp. 417 -- 431, 2002. (EI, SCI)
J57 Lawrence Y. Deng, Timothy K. Shih, Teh-Sheng Huang, Chun-Hung Huang, Ruei-Xi Chen and Yang-Long Chang, “Universal Access for Roaming User via Mobile Agent Technology,” in the International Journal of Tamkang Journal of Science and Engineering, Vol. 5, No. 3, pp. 175 -- 186, September 2002. (EI)
J56 Lawrence Y. Deng, Timothy K. Shih, Teh-Sheng Huang, Yi-Chun Liao, Ying-Hong Wang and Hui-Huang Hsu, “A Distributed Mobile Agent Framework for Maintaining Persistent Distance Education,” in the Journal of Information Science and Engineering(JISE), Special Section on Parallel and Distributed Systems, Vol. 18, No. 4, pp. 489 -- 506, July 2002. (EI, SCI)
J55 Chuan-Feng Chiu, Timothy K. Shih, and Ying-Hong Wang, “An Integrated Analysis Strategy and Mobile Agent Framework for Recommendation System in EC over Internet,” in the International Journal of Tamkang Journal of Science and Engineering, Vol. 5, No. 3, pp. 159 -- 174, September 2002. (EI)
J54. Shih Kuo-chen(Timothy), Deng Yu-kuang(Lawrence), Huang Teh-sheng, Ma Jian-hua and Huang Run-he, “Maintaining Persistent Look-and-Feel for Roaming User with Mobile Agent in Distributed Environment,” in the Journal of Software, Vol. 13, No. 5, pp. 887 -- 899, May 2002. (EI)
J53. Timothy K. Shih, Shi-Kuo Chang, Jianhua Ma and Runhe Huang, “Web Learning Assessment and Adaptive Tutoring,” in the Applied Systems Studies: An international journal on methodologies and applications for systems approaches, special issue on Web Information Systems Applications, Vol. 3, No. 2, pp. 418 – 436, 2002.
J52. T. K. Shih and F. Chia-I Chang, “Strategic Assessment: Using Influence Diagrams to Design Distance Learning Courseware,” in the Operational Research: An International Journal, Vol. 1, No. 2, pp. 97 -- 113, May-August, 2001
J51. Timothy K. Shih, Shi-Kuo Chang, Jeffrey Tsai, Jianhua Ma and Runhe Huang, “Supporting Well-Engineered Web Documentation Development — a Multimedia Software Engineering Approach toward Virtual University Courseware Designs,” invited by Annals of Software Engineering, Special Volume on Multimedia Software Engineering, Vol. 12, pp. 139 -- 165, December 2001.
J50. Peter Holt, Fuhua Lin, Karen Stauffer, Goran Jelica and Timothy. K. Shih, “An Infrastructure for Developing Agents for Distance Education on the Internet,” in the Journal of Computers, Special Issue on Distance Learning, Vol. 13, No. 2, pp. 77 -- 92, June 2001.
J49. Huan-Chao Keh and Timothy K. Shih, “Shape-Based Image Retrieval Using Spatio-Temporal Relation Computations,” in the International Journal of Tamkang Journal of Science and Engineering, Vol. 4, No. 1, pp. 9 -- 18, March 2001. (EI)
J48. Lee Ming-Chi, Shih Kuo-Chen(Timothy), Huang Teh-Sheng, Deng Yu-Kuang, “A Well-evaluated Cohesion Metrics for Software Quality,” in the Journal of Advanced Software Research, Vol. 12, No. 10, pp. 1447 -- 1463, June 2001. (EI)
J47. Jason C. Hung, Timothy K. Shih, Jiung-Yao Huang, Ching-Sheng Wang and Jui-Fa Chen, “An Efficient Approach to Holding a Virtual Conference,” in the Proceedings of the National Science Council, R.O.C. Part A: Physical Science and Engineering, Vol. 25, No. 4, pp. 352 -- 366, November, 2001. (EI, SCI)
J46. Timothy K. Shih, Jiung-Yao Huang, Ching-Sheng Wang, Jason C. Hung and Chuan-Ho Kao, “An Intelligent Content-based Image Retrieval System Based on Color, Shape, and Spatial Relations,” in the Proceedings of the National Science Council, ROC, Part A: Physical Science and Engineering, Vol. 25. No. 4, pp. 232 -- 243, May 2001. (EI, SCI)
J45. Timothy K. Shih, Jiung-Yao Huang, and Jason C. Hung, “EVCS - A Complete Electronic Virtual Conference System,” in the International Journal of Software Engineering and Knowledge Engineering, Vol. 11, No. 1, pp. 55 -- 81, January 2001. (EI, SCI)
J44. Timothy K. Shih, Ming-Chi Lee, and Teh-Sheng Huang and Lawrence Y. Deng, “Assessing Software Quality Through Visualized Cohesion Metrics,” in the Australian Journal of Information Systems, Vol. 8, No. 2, pp. 15 -- 31, May 2001.
J43. Timothy K. Shih, “Mobile Agent Evolution Computing,” in the International Journal of Information Science, Vol. 137, pp. 53 -- 73, USA, September 2001. (EI)
J42. S. K. Chang, T. Arndt, F. R. Guo, S. Levialdi, A. C. Liu, J. Ma, Timothy K. Shih, G. Tortora, “MACRO UNIVERSITY -- A Framework for a Federation of Virtual Universities,” in the International Journal of Computer Processing of Oriental Languages, Special Issue on Virtual University, Vol. 13, No. 3, pp. 205 -- 221, USA, 2000.
J41. Timothy K. Shih, Huan-Chao Keh, Jiung-yao, Lawrence Y. Deng, Teh-Sheng Huang and Ding-Jung Chiang, “The Distributed Multimedia Presentation System Based on Extended Timed Petri Nets,” in the MIS Review, Special Issue on Petri Net, No. 10, pp. 87 -- 102, December 2000.
J40. Huan-Chao Keh, Timothy K. Shih and Jason C. Hung, “An Electronic Mobile Notebook on the WWW,” in the International Journal of Computer Processing of Oriental Languages, Vol. 13, No. 3, pp. 251 -- 264, USA, 2000.
J39. Timothy K. Shih, Huan-Chao Keh, Ching-Sheng Wang, Anthony Y. Chang and Chuan-Ho Kao, “A Qualitative Approach to Content-based Color Image Retrieval with Chinese Caption,” in the International Journal of Computer Processing of Oriental Languages, Vol. 13, No. 2, pp. 131 -- 158, USA, 2000.
J38. Ying-Hong Wang, Chi-Ming Chung, Timothy K. Shih, Huan-Chao Keh and Jui-Fa Chen, "The Complexity Measurement of Software through Program Decomposition," in the International Journal of Computer Systems Science and Engineering, Australia, Vol. 15, No. 2, pp. 127 -- 134, March 2000. (EI, SCI)
J37. Huan-Chao Keh, Timothy K. Shih, and Anthony Y. Chang, “Properties of Temporal Constraint Network for Supporting Distributed Multimedia Applications,” in the Journal of Computer Science and Information Management, special issue on applications of parallel and distributed computing, Vol. 2, No. 3, pp. 15 – 26, 1999.
J36. Ming-Chi Lee, Timothy K. Shih, and Teh-Sheng Huang, "Strengthen and Support the Maintenance of Objected-Oriented Software," in the Australian Journal of Information Systems, Vol. 7, No. 1, pp. 32 - 40., September 1999
J35. Timothy K. Shih, Huan Chao, Ying-Hong Wang, and Ying-Feng Kuo "Temporal Properties Underlying Multimedia Presentations with Z Notations," in the journal of Information Science and Engineering, Taiwan, Vol. 15, No. 1, pp. 107 -- 129, 1999. (EI)
J34. Huan-Chao Keh, Timothy K. Shih and Ching-Sheng Wang, “Formal Specification of an Object-Oriented database for Intelligent Multimedia Presentation,” in the Internal Journal of Applied Software Technology, Vol. 4, No. 4, pp. 181 -- 213, 1999.
J33. Jianhua Ma, Runhe Huang and Timothy K. Shih, “Using VCR to Support Different Styles and Types of Group Collaborations in Virtual Universities,” in the Tamkang Journal of Science and Engineering, Vol. 2, No. 2, pp. 69 –77, Nov. 1999. (EI)
J32. Timothy K. Shih, Louis R. Chow, Huan-Chao Keh, and Yule-C. Lin, “A Multimedia Documentation Environment Supports Well-Engineered Software Development and Maintenance,” in the Journal of Computers and Artificial Intelligence, Vol. 18, No. 3, pp. 285 – 312, 1999.
J31. Timothy K. Shih, Huan-Chao Keh and Yule-Chyun Lin, “A VDM Approach to Continuation-Based Semantics of Prolog,” in the Journal of Computers and Artificial Intelligence, Vol. 18, No. 5, pp. 485 – 508, 1999.
J30. Huan-Chao Keh and Timothy K. Shih, “Formal Specification in Software Reuse Designs: an Object-Oriented Database Example,” in the Tamkang Journal of Science and Engineering, Vol. 1 No. 2, pp. 97 -- 113, 1998. (EI)
J29. Timothy K. Shih, "On Computing Temporal/Spatial Relations," in the Journal of Information Science, U.S.A., Vol. 107, No. 1/4, pp. 37 -- 61, June 1998. (EI)
J28. Timothy K. Shih, Ying-Hong Wang and Ying-Feng Kuo, "An Object-Oriented Specification and Verification System for Systolic Array Designs," in the ISCA International Journal of Computers and Their Applications, U.S.A., Vol. 5, No. 4, pp. 224 --243, Dec. 1998.
J27. Timothy K. Shih, "Participator Dependent Multimedia Presentation," in the Journal of Information Science, U.S.A., Vol. 107, No. 1/4, pp. 85 -- 105, June 1998. (EI)
J26. Timothy K. Shih, "Multimedia Abstract Machine," in the Journal of Information Science, U.S.A., Vol. 107, No. 1/4, pp. 63 -- 84, June, 1998. (EI)
J25. Timothy K. Shih, "An Operational Semantics Approach to Continuation Style Interpreter of Logic Programs," in the Journal of Information Science, U.S.A., Vol. 107, No. 1/4, pp. 15 --36, June 1998. (EI)
J24. Timothy K. Shih, "Using a Revised Data Flow Diagrammatic Technique to Design Dynamic Multimedia Presentations," in the ISCA International Journal of Computers and Their Applications, U.S.A., Vol. 5, No. 2, pp. 94 --105, June 1998.
J23. Chi-Ming Chung, Louis R. Chow, Timothy K. Shih, Y.H Wang, Yuh-Long Shyy, and Wei-Chuan Lin, "A Control and Data Abstraction Approach for Multimedia Presentation," in the Journal of The Chinese Institute of Electrical Engineering, Taiwan, Vol. 5, No. 3, pp. 265 -- 276, 1998. (EI)
J22. Timothy K. Shih, Yule-Chyun Lin, Wen C. Pai and Chun-Chia Wang, "An Object-Oriented Design Complexity Metric Based on Inheritance Relationships," in the International Journal of Software Engineering and Knowledge Engineering, U.S.A., Vol. 8 No. 4, pp. 541 – 566, 1998.
J21. Chi-Ming Chung, Louis R. Chow, Timothy K. Shih, Y.H. Wang, Wei-Chuan Lin, and Jui-Fa Chen, "Tool Integration in a Knowledge Abstraction Environment," in the Information Science: An International Journal, U.S.A., Vol. 105, pp. 279 – 298, 1998.
J20. Timothy K. Shih, "Case Studies in Intelligent Multimedia Presentation Design Systems in Terms of the Standard Reference Model: the IMMPS Project, the PreGen System, and the StrMP System," (Invited Paper), in the Computer Standards and Interfaces, Germany, Vol. 18, No 6, 7, pp. 605 -- 612, December 1997. (EI)
J19. Timothy K. Shih, "A Z Specification Approach to Multimedia Modeling," in the Journal of Computers and Artificial Intelligence, CZECHOSLOVAKIA, Vol. 16, No. 5, pp 465 - 495, September 1997.
J18. Chi-Ming Chung, Timothy K. Shih, Chin-Hwa Kuo, and Wei-Chuan Lin, "Supporting the Reuse of Multimedia Presentations," in the Information Science: An International Journal, U.S.A., Vol. 101, No. 1, 2, pp. 131 -- 151, September 1997. (EI)
J17. Chi-Ming Chung, Timothy K. Shih, and Chun-Chia Wang, "Object-Oriented Software Testing and Metric in Z Specification," in the Information Science: An International Journal, U.S.A., Vol 98, No. 1 - 4, pp. 175 -- 202, May 1997. (EI)
J16. Timothy K. Shih and Ruth E. Davis, "IMMPS: A Multimedia Presentation Design System," in the IEEE Multimedia, U.S.A., pp. 67 -- 78, April-June 1997.
J15. Chi-Ming Chung and Timothy K. Shih, "On Automatic Generation of Multimedia Presentations," in the Information Science: An International Journal, U.S.A., Vol. 97, No. 3, 4, pp. 293 -- 321, April 1997. (EI)
J14. Chi-Ming Chung, Timothy K. Shih, and Chun-Chia Wang, "Formal Specification of a Graph-Based Object-Oriented Software Testing," in the International Journal of Computers and Their Applications, U.S.A., Vol. 4, No 1, pp. 12 -- 22, April 1997.
J13. Timothy K. Shih, Chun-Chia Wang, and Chi-Ming Chung, "Using Z to Specify Object-Oriented Software Complexity Measures," in the Journal of Information and Software Technology, U.S.A., Vol. 39, No. 8, pp. 515 -- 529, February 1997. (EI)
J12. Chi-Ming Chung, Timothy K. Shih, Chun-Chia Wang, and Ming-Chi Lee, "Integration Object-Oriented Software Testing and Metrics," in the International Journal of Software Engineering and Knowledge Engineering, U.S.A., Vol. 7, No 1, pp. 125 -- 144, January 1997.
J11. Chi-Ming Chung, Timothy K. Shih, and Ying-Hong Wang, "A Quantitative Analysis for Different Testing Criteria through Program Decomposition," in the Information Science: An International Journal, U.S.A., Vol. 93, no. 3, 4, pp. 211 -- 233, September 1996.
J10. Chi-Ming Chung, Timothy K. Shih, Chin-Hwa Kuo, and Ying-Hong Wang, "On the Construction of Intelligent Multimedia Presentations," in the Information Sciences: An International Journal, U.S.A., Vol. 89, No. 1, 2, pp. 131 -- 155, February 1996. (EI)
J9. Chi-Ming Chung, Timothy K. Shih, Chun-Chia Wang, and Ming-Chi Lee, "Object-Oriented Software Development Techniques -- Combining Testing and Metrics," in the International Journal of Information and Management Sciences, Taiwan, Vol. 6, No. 4, pp. 17 -- 34, December 1995.
J8. Chi-Ming Chung, Timothy K. Shih, Ying-Hong Wang, Wei-Chuan Lin, and Ying-Feng Kou, "The Measurement of Software Complexity through Program Decomposition," in the International Journal of Information and Management Sciences, Taiwan, Vol. 6, No. 3, pp. 69 -- 86, September 1995.
J7. Chi-Ming Chung, Chun-Chia Wang, Timothy K. Shih, and Gwo-Ching Hsieh, "An Inheritance Level Based Metric for Object-Oriented Software Complexity," in the Journal of Computing and Information, Special Issue: Proceedings of Seventh International Conference of Computing and Information, Canada, pp. 901 -- 923, July 1995.
J6. Timothy K. Shih and Fuyau Lin, "An Operational Semantics Approach to Disciplined Exceptions in Logic Programming," in the Journal of Computers and Artificial Intelligence, CZECHOSLOVAKIA, Vol. 14, No. 1, pp. 1 -- 33, January 1995.
J5. Fuyau Lin and Timothy K. Shih, "Formal Specification and Verification in Z for Synchronous Concurrent Computation," in the Journal of Computer and Software Engineering, USA, Vol. 3, No. 2, pp. 217 -- 237, April 1995.
J4. Timothy K. Shih, Nam Ling, Ruth Davis, and Fuyau Lin, "On the Construction of a Prolog-Based Verifier for Systolic Designs," in the Computational Intelligence, Canada, Vol. 11, No. 1, pp. 172 -- 201, February 1995.
J3. Timothy K. Shih and Ruth E. Davis, "SPEC: A Specification Processing Environment with Controls," in the Journal of Information Science and Engineering, Taiwan, Vol. 10, No. 4, pp. 495 -- 526, December 1994.
J2. Timothy K. Shih and Nam Ling, "A Temporal Arithmetic Based Reasoning System for Systolic Array Designs," in the Journal of Information Science and Engineering, Taiwan, Vol. 10, No. 3, pp. 317 -- 338, September 1994.
J1. Fuyau Lin and Timothy K. Shih, "Verification of Systolic Architecture Designs," in the Journal of Computers and Artificial Intelligence, CZECHOSLOVAKIA, Vol. 12, No. 5, pp. 417 -- 440, September 1993.