國立臺灣大學電機博士

專長: 人工智慧(AI)、智慧系統(Intelligent System)、Petri Net系統理論及應用、數位系統設計與驗證、數位學習(e-Learning)、資訊安全、計算機科學、工業電子學、資料結構、網路分析、多媒體設計

研究成果：

（1）研究計畫

• 沈榮麟, 105年度教育部獎勵教學卓越計畫—強化全英語授課暨學生國際競爭力計畫, 教育部, 20160101-20161231, 60,000,000元。
• 沈榮麟, 104年度教育部獎勵教學卓越計畫—強化全英語授課暨學生國際競爭力計畫, 20150101-20151231, 60,000,000元。
• 沈榮麟, 以雲端為基礎的巨量資料學習與分析系統MOST, 科技部, 20140801-20150731, 460,000元。
• 沈榮麟, 103年度教育部獎勵教學卓越計畫—強化全英語授課暨學生國際競爭力計畫, 教育部, 20140101-20141231, 50,000,000元。
• 沈榮麟, 102年度教育部獎勵教學卓越計畫—強化全英語授課暨學生國際競爭力計畫, 教育部, 20130101-20131231, 50,000,000元。
• 沈榮麟, 中小學教育雲之教學模式探究, 國家教育研究院, 20120601-20130228, 400,000元。
• 沈榮麟, 101年度教育部獎勵教學卓越計畫—情境教學躍進計畫—網路式問題導向教學法, 教育部, 20120101-20121231, 35,000,000元。
• 沈榮麟, 中小學教育雲之教學模式探究, 國家教育研究院, 20120601-20130228, 400,000元。
• 沈榮麟, 應用高階模糊派翠網路在OSGi平台代理人溝通之研究NSC, 國科會, 20110801-20120731, 421,000元。
• 沈榮麟, 100年度教育部獎勵教學卓越計畫—情境教學躍進計畫—網路式問題導向教學法, 20110101-20111231, 35,000,000元。
• 沈榮麟, 高階模糊派翠網路在數位家庭平臺管理之應用研究(2), 20100801-20110731, 502,000元。
• 沈榮麟, 高階模糊派翠網路在數位家庭平臺管理之應用研究, 20090801-20100731, 537,000元。
• 沈榮麟, 98-99年度教育部獎勵教學卓越計畫—情境教學躍進計畫—網路式問題導向教學法, 教育部, 20090801-201012/31, 18,000,000元。
• 沈榮麟, 北區資源中心計畫—教師專業發展及教學助理培訓計畫--數位家庭科技教學社群計畫, 教育部, 20090801-20091231, 56,000元。
• 沈榮麟, 培育優質人力促進就業計畫方案9—大專校院遴聘業界專業教師(10名), 教育部, 20090401-20101231, 3,799,905元。
• 沈榮麟, 前瞻晶片系統設計(SoC)學程計畫, 教育部, 20090301-20100131, 1,000,000元。
• 沈榮麟, 北區資源中心計畫—教師專業發展及教學助理培訓計畫--數位家庭科技教學社群計畫, 教育部, 20090201-20090630, 57,800元。
• 沈榮麟, 產業研發碩士外國學生專班97年度秋季班, 教育部與經濟部, 20080116-20101130, 4,800,000元。
• 沈榮麟, 資通訊課程推廣計畫—數位家庭平台標準與架構、數位家庭軟體工程, 教育部, 20071201-20090131, 1,280,000元。
• 沈榮麟, 中文網域名稱校園使用環境建置暨推廣使用計畫, 財團法人台灣網路資訊中心(TWNIC), 20070501-20071215, 680,000元。
• 沈榮麟, 產業研發碩士外國學生專班96年度秋季班, 教育部與經濟部, 20070203-20091130, 3,600,000元。
• 沈榮麟, 具有代理人與SCORM特質的人工智慧教學系統以培養創意思考能力, 國科會, 20060801-20070731, 707,000元。
• 沈榮麟, 網路式PBL在人工智慧之課程發展與實施, 國科會, 20060801-20070731, 646,000元。
• 沈榮麟, 創新推廣計畫, 財團法人台灣網路資訊中心(TWNIC), 20061001-20061231, 500,000元。
• 沈榮麟, 可視化微處理器軟核之設計與製作, 國科會及僑高科技公司, 20051101-20061031, 344,000元。
• 沈榮麟, 應用代理人技術以改善人工智慧的教學品質, 國科會, 20050801-20060731, 718,000元。
• 沈榮麟, 環簽章機制及相關應用之研究, 國科會, 20040801-20050731, 565,000元。
• 沈榮麟,  PBL在人工智慧之課程發展與實施, 國科會, 20040801-20050731, 603,500元。
• 沈榮麟, 「提昇教學品質」專案計畫--應用網路式PBL以提昇智慧型機電系統相關課程之教學品質, 教育部, 20040710-20041210, 2,750,000元。
• 沈榮麟, 「發展學校重點特色」專款補助計畫--先進導航之應用技術與晶片設計發展計畫, 教育部, 20040710-20041210, 8,800,000元。
• 沈榮麟, 「發展學校重點特色」專款補助計畫--建構行動載具e化之教學與研究平台, 教育部, 20030410-20031210, 10,400,000元。
• 沈榮麟, 前向安全的數位簽章之研究, 國科會, 20030801-20040731, 557,400元。
• 沈榮麟, 應用代理人技術以改善人工智慧教學的品質(I), 國科會, 20030801-20040731, 438,400元。
• 沈榮麟, 「提昇大學基礎教育計畫」--培養創意思考能力之基礎科學課程規劃與評估, 20020901-20060831, 25,700,600元。
• 沈榮麟, 應用人工智慧教學培養創造思考能力(II), 國科會, 20020801-20030731, 564,900元。
• 沈榮麟, 應用人工智慧教學培養創造思考能力(I), 國科會, 20020801-20030731, 319,600元。
• 沈榮麟, 提升人工智慧技術創造力之智慧型電腦輔助教學系統, 國科會, 20020801-20030731, 334,900元。
• 沈榮麟, e世代記事程式之研究與製作, 國科會, 20020701-20030228, 39,000元。
• 沈榮麟, 教育部顧問室補助辦理全國性學術活動—資訊教育與應用研討會計畫, 教育部, 20011116-20011116, 93,000元。
• 沈榮麟, 「發展學校重點特色」專款補助計畫--電動車與資訊工程實驗室, 教育部, 20010801-20010731, 8,400,000元。
• 沈榮麟, 網路作業繳交與成績批閱介面系統之研究與製作, 國科會, 20010701-20020228, 39,000元。
• 沈榮麟, 橢圓曲線密碼系統之研究, 國科會, 20000801-20010731, 248,000元。
• 沈榮麟, 高階模糊派屈網路之製作, 國科會, 20000701-20010228, 39,000元。
• 沈榮麟, 技專校院發揮社區學院教育功能職業技能與環安教育計畫—電機電子類社區學院教育計畫, 教育部, 20000701-20001220, 3,160,000元。
• 沈榮麟, 教育部顧問室補助辦理全國性學術活動—提昇技術與教學品質研討會計畫, 20001118-20001118, 100,000元。
• 沈榮麟, 教育部顧問室補助辦理全國性學術活動—提昇技術與教學品質研討會計畫, 教育部, 19991115-19991115, 100,000元。
• 沈榮麟, 提升邏輯電路實作技能之研究, 國科會, 19990801-20000731, 380,218元。
• 沈榮麟, 提升邏輯電路實作技能之研究, 國科會, 19960801-19970731, 428,000元。
• 沈榮麟, 提升邏輯電路實作技能之研究, 國科會, 19950801-19960731, 486,000元。

（2）期刊論文

• Yi-Nan Lin, Sheng-Kuan Wang, Cheng-Ying Yang, Victor R.L. Shen, Tony Tong-Ying Juang, and Chin-Shan Wei, (Jul. 2020) “Novel JavaScript Malware Detection Based on Fuzzy Petri Nets,” Journal of Intelligent & Fuzzy Systems, Online, pp. 1-26. ( SCI )
• Yi-Nan Lin, Tsang-Yen Hsieh, Jr-Jen Huang, Cheng-Ying Yang, Victor R.L. Shen, and Hai Hoang Bui,  (Jun. 2020) “Fast Iris Localization Using Haar-like Features and AdaBoost Algorithm,” Multimedia and Tools, Online, pp. 1-26. ( SCI )
• Yi-Nan Lin, Tsang-Yen Hsieh, Cheng-Ying Yang, Victor R.L. Shen, Tony Tong-Ying Juang, and Wen-Hao Chen, (May 2020) “Deep Petri Nets of Unsupervised and Supervised Learning,” Measurement and Control, Online, pp. 1-11. ( SCI )
• Kuang-Yen Tai, Dai-Lun Chiang, Tzer-Shyong Chen, Victor R.L. Shen, Feipei Lai, and Frank Yeong-Sung Lin, (Apr. 2020) “ Smart Fall Prediction for Elderly Care Using iPhone and Apple Watch,” Wireless Personal Communications, Online, pp. 1-19. ( SCI )
• Shu-Hung Yang, Yu-Ying Wang, Ah-Fur Lai, Yi-Nan Lin, Gwo-Jen Chiou, Ming-Kuen Chen, Victor R.L. Shen, and Chi-Yen Hsiung, (Apr. 2020) “Development of a Game-based e-Learning System with Augmented Reality for Improving Students’ Learning Performance”, International Journal of Engineering Education, Vol. 1, No.1, pp. 1-10. (Scopus, SCIE)
• Victor R.L. Shen, Gwo-Jen Chiou, Yi-Nan Lin, and Jhao-Yuan Jhan, (Nov. 2019) "Novel Text Recognition Based on Modified K-Clustering and Hidden Markov Models," Wireless Personal Communications, Online, pp. 1-24. ( SCI )
• Shu-Hung Yang, Yi-Nan Lin, Gwo-Jen Chiou, Ming-Kuen Chen, Victor R.L. Shen, and Hsin-Yi Tseng, (Sep. 2019) "Novel Shot Boundary Detection in News Streams Based on Fuzzy Petri Nets," Applied Artificial Intelligence. Vol. 33, No.12, pp. 1035-1057. ( SCI )
• Yu-Ying Wang, Rong-Kuan Shen, Gwo-Jen Chiou, Cheng-Ying Yang, Victor R. L. Shen , and Farica Perdana Putri, (Jun. 2019) “Novel Code Plagiarism Detection Based on Abstract Syntax Tree and Fuzzy Petri Nets”, International Journal of Engineering Education, Vol. 1, No.1, pp. 46-56. (Scopus, SCIE)
• Yu-Ying Wang, Ah-Fur Lai, Rong-Kuan Shen, Cheng-Ying Yang, Victor R.L. Shen, and Ya-Hsuan Chu, (May 2019) "Modeling and Verification of an Intelligent Tutoring System Based on Petri Net Theory," Mathematical Biosciences and Engineering. Vol. 16, No.5, pp. 4947-4975. ( SCI )
• Rong-Kuan Shen, Cheng-Ying Yang, Victor R.L. Shen, Wei-Chen Li, and Tzer-Shyong Chen, (Oct. 2018) " A Stock Market Prediction System Based on High-Level Fuzzy Petri Nets," International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems. Vol. 26, No.5, pp. 771-808. ( SCI )
• Victor R.L. Shen, Cheng-Ying Yang, Rong-Kuan Shen, and Yu-Chia Chen, (Aug. 2018) "Application of Petri Nets to Deadlock Avoidance in iPad-like Manufacturing Systems," Journal of Intelligent Manufacturing,. Vol. 29, No. 6, pp. 1363-1378. ( SCI )
• Yi-Nan Lin, Gwo-Jen Chiou, and Victor R.L. Shen, (Jun. 2018) "Multimedia Encryption with Multiple Modes Product Cipher for Mobile Devices," Journal of Electronic Science and Technology, Vol. 16, No. 2, pp. 184-190 . ( EI, Scopus, SCIE )
• Rong-Kuan Shen, Yi-Nan Lin, Tony Tong-Ying Juang, Victor R.L. Shen, and Soo Yong Lim, (Mar. 2018) "Automatic Detection of Video Shot Boundary in Social Media Using a Hybrid Approach of HLFPN and Keypoint Matching," IEEE Transactions on Computational Social Systems, Vol. 5, No. 1, pp. 210-219 . ( SCI )
• Victor R.L. Shen, Rong-Kuan Shen, Cheng-Ying Yang, and Yu-Chia Chen, (Feb. 2018) "Petri Net Modeling and Analysis of an iPad Manufacturing System," Systems Engineering, pp. 115-130. ( SCI )
• Rong-Kuan Shen, Gwo-Jen Chiou, Yi-Nan Lin, Victor R.L. Shen, and Chan Hao Hsu, (Jan. 2018) "A Novel Analytics-as-a-Service System for Fuzzy Big Data," International Journal of Mathemetical Analysis and Applications, Vol. 5, No. 1, pp. 1-14. ( EI )
• Victor R.L. Shen, Rong-Kuan Shen, Cheng-Ying Yang, and Wei-Cheng Chen, (Mar. 2017) "A Novel Fall Prediction System on Smartphones," IEEE Sensors Journal, Vol. 17, No. 6, pp. 1865-1871. (SCI )
• Victor R.L. Shen, Rong-Kuan Shen, Cheng-Ying Yang, and Gibran, (Oct. 2016) "Cost optimization of a path protection system with partial bandwidth using Petri nets," Wireless Personal Communications, Vol. 90, No. 3, pp. 1239-1259. ( SCI )
• Victor R.L. Shen, Yu-Ying Wang, and Li-Ya Yu, (Feb. 2016) "A Novel Blood Pressure Verification System for Home Care," Computer Standards and Interfaces, Vol. 44, No. 2, pp. 42-53. ( SCI )
• Victor R.L. Shen and Wei-Chieh Huang, (Dec. 2015) "A Time-Bound and Hierarchical Key Management Scheme for Secure Multicast Systems," Wireless Personal Communications, Vol. 85, No. 4, pp. 1741–1764. ( SCI )
• Victor R.L. Shen, Cheng-Ying Yang, and Chien Hung Chen, (Sep. 2015) "A Smart Home Management System with Hierarchical Behavior Suggestion and Recovery Mechanism," Computer Standards and Interfaces, Vol. 41, No. 1, pp. 98-111. ( SCI )
• Victor R.L. Shen, Horng-Yih Lai, and Ah-Fur Lai, (Jan. 2015) “The Implementation of a Smartphone-Based Fall Detection System Using a High-Level Fuzzy Petri Net,” Applied Soft Computing, Vol. 26, pp. 390-400. ( SCI )
• S. M. Chen, L. W. Lee, and Victor R.L. Shen, (Nov. 2013) “Weighted Fuzzy Interpolative Reasoning Systems Based on Interval Type-2 Fuzzy Sets,” Information Sciences, Vol. 248, pp. 15-30. ( SCI )
• Victor R.L. Shen, Jhong-Yi Guo, and Shyi-Ming Chen, (Sep. 2013) "A Novel Reduction Method for Petri Net Systems Based on Matching Theory," Expert Systems with Applications, Vol. 40, No. 11, pp.4562-4576. ( SCI )
• Victor R.L. Shen, Cheng-Ying Yang, Yu-Ying Wang, and Yu-Hsiang Lin, (Dec. 2012) "Application of High-Level Fuzzy Petri Nets to Educational Grading System," Expert Systems with Applications, Vol. 39, No. 17, pp.12935-12946. ( SCI )
• Victor R.L. Shen, Yu-Ying Wang, Cheng-Ying Yang, and Szu-Tso Yeh, (Nov. 2012) "Verification of Problem-Based Learning Systems Using Modified Petri Nets," Expert Systems with Applications, Vol. 39, No. 16, pp. 12636-12649. ( SCI )
• Victor R.L. Shen, Cheng-Ying Yang, and Jia-Hong Lee, (Nov. 2012), "Analysis of the Problem Description in the Algorithm for Inventive Problem Solving Using Petri Nets," Knowledge-Based Systems, Vol. 35, pp.290-303. ( SCI )
• Victor R.L. Shen, Yu-Fang Chung, Tzer-Shyong Chen, and Yu-An Lin, (Sep. 2011), “A Blind Signature Scheme Based on Discrete Logarithm Problem,” International Journal of Innovative Computing, Information and Control (IJICIC), Vol. 7, No. 9, pp. 5403-5416. ( SCI )
• Victor R.L. Shen and Cheng-Ying Yang, (Apr. 2011), “An Intelligent Multiagent Tutoring System in Artificial Intelligence”, International Journal of Engineering Education, Vol. 27, No. 2, pp. 248-256. ( SCI )
• Victor R.L. Shen and Cheng-Ying Yang, (Dec. 2010), “A Special Approach to Teach Artificial Intelligence,” International Journal of Engineering Education, Vol. 26, No. 6, pp. 1414-1421. ( SCI )
• Victor R.L. Shen, Yue-Shan Chang, and Tony Tong-Ying Juang (Mar. 2010) "Supervised and Unsupervised Learning by Using Petri Nets," IEEE Transactions on Systems, Man, and Cybernetics- Part A: Systems and Humans, Vol. 40, No. 2, pp. 363-375. ( SCI )
• Victor R.L. Shen, Yu-Fang Chung, and T. S. Chen, (Feb. 2010) "A Novel Method of Grey Data Generating Techniques in Cryptosystem," International Journal of Innovative Computing, Information and Control (IJICIC), Vol. 6, No. 2, pp. 501-508. ( SCI )
• Victor R.L. Shen, Yu-Fang Chung, and T. S. Chen, (Feb. 2009) " A Novel Application of Grey System Theory to Information Security (Part I)," Computer Standards and Interfaces, Vol. 31, No. 1, pp. 277-281. ( SCI )
• Victor R.L. Shen and Tony Tong-Ying Juang (Jan. 2008) "Verification of Knowledge-Based Systems Using Predicate/Transition Nets," IEEE Transactions on Systems, Man, and Cybernetics- Part A: Systems and Humans, Vol. 38, No. 1, pp. 78- 87. ( SCI )
• Victor R.L. Shen, (Nov. 2006) "Knowledge Representation Using High-Level Fuzzy Petri Nets," IEEE Transactions on Systems, Man, and Cybernetics- Part A: Systems and Humans, Vol. 36, No. 6, pp. 2120- 2127. ( SCI )
• Victor R.L. Shen, (May 2006) "A PN-based Approach to the High-Level Synthesis of Digital Systems," Integration, the VLSI Journal, Vol. 39, No. 3, pp. 182-204. ( SCI )
• Victor R.L. Shen, T. S. Chen, and K. Q. Shi, (Nov. 2005) "A Novel Cryptosystem Based on Grey System Theory and Genetic Algorithm," Applied Mathematics and Computation, Vol.170, No. 2, pp. 1290-1302. ( SCI )
• Victor R.L. Shen, (Apr. 2003) "Reinforcement Learning for High-Level Fuzzy Petri Nets," IEEE Transactions on Systems, Man, and Cybernetics -Part B: Cybernetics, Vol. 33, No. 2, pp. 351- 362. ( SCI )
• Victor R.L. Shen and T. S. Chen, (Oct. 2002) "A Novel Cryptosystem with Lock Generation and Sum-Difference Replacement Ladder," IEICE Trans. on Information and Systems, Vol. E85-D, No. 10, pp. 1719-1722. ( SCI )
• Victor R.L. Shen, Frank H.C. Shen, and C. G. Wung, (Dec. 2002) "A Computer-Aided Instruction System on Introductory Computer Science，" Mingchi University of Technology Journal, Vol. 34, No. 2, pp. 47-52.
• Victor R.L. Shen, Frank H.C. Shen, and S. Z. Tsuang, (Jun. 2002) "A Computer-Aided Instruction System on Artificial Intelligence (Part I)," Mingchi University of Technology Journal, Vol. 34, No. 1, pp. 17-26.
• Victor R.L. Shen and Tzer-Shyong Chen, (Feb. 2002) "A Novel Key Management Scheme Based on Discrete Logarithms and Polynomial Interpolations," Computers and Security, United Kingdom, Vol. 21, No. 2, pp. 164- 171. ( SCI )
• Victor R.L. Shen and Frank H.C. Shen, (Jan. 2002) "Requirements Specification and Analysis of Fault-Tolerant Digital Systems," IEEE Transactions on Systems, Man, and Cybernetics- Part A: Systems and Humans, Vol. 32, No. 1, pp. 149- 159. ( SCI )
• Victor R.L. Shen, T.S. Chen, and S.X. Wu, (Jun. 2001), "Courseware Development of Fuzzy Control," Mingchi University of Technology Journal, Vol. 33, pp. 71-78.
• Victor R.L. Shen, Frank H.C. Shen, and S.Y. Lee, (Jun. 2001), "A Salary Processing System in Computer Networks," Mingchi University of Technology Journal, Vol. 33, pp. 61-70.
• Victor R.L. Shen, Y. L. Yu, and D. C. Lin, (Mar. 2001) "A Cryptosystem of Generation Lock and Ladder," Communications of IICM, Vol. 4, No. 1, pp. 33-41.
• Victor R.L. Shen, T. S. Chen, and K. Q. Shi, (Dec. 2000) "A K-Q Lock Based on Grey System Theory," Communications of IICM, Vol. 3, No. 4, pp. 25-36.
• Victor R.L. Shen, (Aug. 2000) "Correctness in Hierarchical Knowledge-Based Requirements," IEEE Transactions on Systems, Man, and Cybernetics- Part B: Cybernetics, Vol. 30, No. 4, pp. 625- 631. ( SCI ) 
• Victor R.L. Shen, (July 2000) “Improvement of a Multi-Role-Based Access Control Policy,” IEICE Trans. on Fundamentals of Electronics, Communications, and Computer Science, Vol. E83-A, No. 7, pp. 1483-1485. ( SCI )
• Victor R.L. Shen and J. H. Doong, (July 2000), "Design and Implementation of a Computer-Aided Instruction System on Logic Design Experiments," Mingchi University of Technology Journal, Vol. 32, pp. 31-40.
• Victor R.L. Shen and M. Y. Wang, (July 2000), "Design and Implementation of a Computer-Aided Instruction System on Data Structures," Mingchi University of Technology Journal, Vol. 32, pp. 19-30.
• Victor R.L. Shen and W. K. Liang, (July 2000), "How to Build a Computer-Aided Instruction System on Fuzzy Logic Using VB," Mingchi University of  Technology Journal, Vol. 32, pp. 11-18.
• T.S. Chen, J.H. Wen, and Victor R.L. Shen, (Mar. 2000) "Elliptic Curve Cryptosystem," Communications of IICM, Vol. 3, No. 1, pp. 49-62.
• F.H. Kuo, Victor R.L. Shen, Tzer-Shyong Chen, and Feipei Lai, (Sep. 1999) "A Cryptographic Key Assignment Scheme for Dynamic Access Control in a User Hierarchy," IEE Procs. Computers and Digital Techniques, Vol. 146, No. 5, pp. 235- 240. ( SCI )
• Victor R.L. Shen, (Jul. 1999) "Incremental CTL Model Checker for Fair States," IEICE Transactions on Information and Systems, Vol. E82-D, No. 7, pp. 1126-1130. ( SCI )
• Victor R.L. Shen and Feipei Lai, (Sep. 1998) "High-Level Fuzzy Petri Nets for Learning," Technical Report NTUCSIE 98- 01, Department of Computer Science and Information Engineering, National Taiwan University, pp. 1-33.
• Victor R.L. Shen and Feipei Lai, (Oct.1998) "Requirements Specification and Analysis of Digital Systems Using Fuzzy and Marked Petri Nets," IEEE Transactions on Systems, Man, and Cybernetics, Vol. 28, No. 5, pp. 748- 754. ( SCI )
• Victor R.L. Shen, F. H. Kuo, and Feipei Lai, (Mar.1998) "Requirements Specification and Analysis of Digital Systems Using FARHDL," IEICE Trans. on Information and Systems, Vol. E81-D, No. 3, pp. 317-328. ( SCI )
• Victor R.L. Shen, Tzer-Shyong Chen, and Feipei Lai, (Oct. 1997) "Novel Cryptographic Key Assignment Scheme for Dynamic Access Control in a Hierarchy," IEICE Trans. on Fundamentals of Electronics, Communications, and Computer Science, Vol. E80-A, No.10, pp.2035-2037. ( SCI )
• Victor R.L. Shen, Tzer-Shyong Chen, and Feipei Lai, (Oct. 1997) "Modified Cryptographic Key Assignment Scheme for a Group-Oriented Hierarchy," IEICE Trans. on Fundamentals of Electronics, Communications, and Computer Science, Vol. E80-A, No.10, pp. 2032-2034. ( SCI )
• Victor R.L. Shen, (May 1996) "Requirements Specification and Analysis of Register-Transfer Level Digital Systems Using Marked Petri Nets," Mingchi University of Technology Journal, Vol. 28, pp. 53-63.
• Victor R.L. Shen, (May 1996) "Knowledge-Based Specification and the Verification Supported by Predicate/Transition Nets for Digital Systems," Mingchi University of Technology Journal, Vol. 28, pp. 35-51.
• Victor R.L. Shen and Feipei Lai, (May 1995) "Specifying and Verifying the Knowledge--Based Requirements of Digital Systems," Mingchi University of  Technology Journal, Vol. 27, pp. 63-75.
• Victor R.L. Shen and Feipei Lai, (May 1994) "Knowledge-Based Specification and Analysis of Digital Hardware Systems," Mingchi University of Technology Journal, Vol. 26, pp. 33-49.
• Victor R.L. Shen and Feipei Lai, (May 1993) "A Fault-Tolerant Hardware System," Mingchi University of Technology Journal, Vol. 25, pp. 111-122.
• Victor R.L. Shen, (May 1985) "Study on the Software Development with Structured Design," Mingchi University of Technology Journal, Vol. 17, pp. 1-40.
• Victor R.L. Shen, (May 1984) "A Study of Computer-Aided Test (CAT) in VLSI Fabrication," Mingchi University of Technology Journal, Vol. 16, pp. 61-142.