期刊論文(*表 SCI or EI 之著作)

1. 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。

2. Victor R.L. Shen，(May 1985) "Study on the Software Development with Structured Design," Mingchi University of Technology Journal, Vol. 17, pp. 1-40。

3. Victor R.L. Shen and Feipei Lai，(May 1993) "A Fault-Tolerant Hardware System," Mingchi University of Technology Journal, Vol. 25, pp. 111-122。

4. 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。

*5. 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 , EI )

*6. 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 , EI )

*7. 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 , EI )

*8. 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 , EI )

*9. 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 , EI )

*10. 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 , EI )

*11. 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 , EI )

*12. 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 , EI )

13. 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.

14. 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.

15. 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.

16. 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.

17. 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.

18. 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.

19. 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.

20. 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.

21. 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.

22. 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.

23. 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.

24. 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.

*25. 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 , EI )

*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 , EI )

27. 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.

28. 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.

*29. 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 , EI )

*30. 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 , EI )

*31. 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 , EI )

*32. 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 , EI )

*33. 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 , EI )

*34. Victor R.L. Shen, (Mar. 2006) "Verification of Knowledge-Based Systems Using Predicate/Transition Nets," IEEE Transactions on Systems, Man, and Cybernetics- Part A: Systems and Humans (accepted for publication).

☆ #35~ 39為送審中之國外期刊論文

*35. Victor R.L. Shen, (Jun. 2006) "Machine Learning Petri Nets," IEEE Transactions on Systems, Man, and Cybernetics- Part A: Systems and Humans (in revision).

*36. Victor R.L. Shen and T. S. Chen, (Jun. 2005) " A Novel Cryptosystem Based on Grey Data Generating Techniques," IEE Procs. Computers and Digital Techniques (submitted).

*37 Victor R.L. Shen and T. S. Chen, (Jul. 2005) "Investigating the Applicability of Grey System Theory for a Cryptosystem," IEEE Transactions on Systems, Man, and Cybernetics -Part B: Cybernetics (submitted).

*38. Victor R.L. Shen and T. S. Chen, (July 2005) "Cryptographic Key Assignment Scheme Based on Discrete Logarithms and Polynomial Interpolations," IEE Procs. Computers and Digital Techniques (submitted).

*39 Victor R.L. Shen, C.Y. Hsu, and T. S. Chen (Aug. 2005) "Conference Key Cryptosystem Based on Elliptic Curve and Data Generation," IEE Procs. Computers and Digital Techniques (submitted).