Yang, S.J.H., J.J.P. Tsai, and C.C. Chen. Fuzzy Rule Base Systems Verification Using High Level Petri Nets. IEEE Trans. on Knowledge and Data Engineering, vol. 15, no. 2, pp. 457-473, March-April 2003. (SCI, , ISI引用: 20)

Yang, S.J.H., C.C. Chen, An Integrated Approach for Workflow Process Modeling and Analysis Using UML and Petri Nets, MIS Review, vol. 11, pp. 47-75, 2003.

Yang, S.J.H., J.J.P. Tsai, I.Chen, Development of Wireless Embedded Systems Using Component Based Software, International Journal on Software Engineering and Knowledge Engineering, vol. 12, no. 2, pp. 135-153, April, 2002 (SCI).

Yang, S.J.H., I. Chen, C.C. Chen, C.H. Chu, H.W. Shen, C.W. Lan, Building XML-Based Unified User Interface System under J2EE Architecture, Annals of Software Engineering Journal, Vol. 12, pp. 241-256, 2001. (SCI)

W. Chu, C.H. Chang, and Yang, S.J.H., 2000, Application of the Software Maintenance Predicaate/Transition Net (SMPrT-Net) to the Change Control Process of Maintenance, Journal of Chinese Institute of Engineering. Vol. 23, No. 5, pp. 591-606. (SCI)

Yang, S.J.H., W. Chu, and J. Lee, April 1999 Specifying and Verifying Temporal Behavior of High Assurance Systems Using Reachability Tree Logic, International Journal of Software Engineering and Knowledge Engineering vol. 9, no. 2, April 1999, pp. 233-249. (SCI)

Yang, S.J.H., C.C. Chen, April 1999, A Petri-nets-based Approach for Workflow and Process Automation. International Journal of Artificial Intelligence Tools, vol. 8, no. 2, April 1999, pp. 193-205, (SCIE, EI).

L.F. Lai, J. Lee, and Yang, S.J.H., 1999, Fuzzy Logic as a Basis for Reusing Task-based Specifications, International Journal of Intelligent Systems, vol. 14, pp. 331-357, (SCI)

J. Lee, N.L. Xue, K.H. Hsu, and Yang, S.J.H., 1999, Modeling Imprecise Requirements with Fuzzy Objects, International Journal of Information Sciences, vol. 118, no. 1-4, pp. 101-119, (SCI)

W.C. Chu, C.W. Lu, and Yang, S.J.H., Sept. 1996, A Formal Model to Object-Oriented Program Reuse, Journal of Computers, vol. 8, no. 3., Sept. 1996, pp. 11-20.

J.J.P. Tsai, Y. Bi, and Yang, S.J.H., Sept. 1996, A System for Visualizing and Debugging Distributed Real-Time Systems with Monitoring Support, International Journal of Software Engineering and Knowledge Engineering, vol. 6, no. 3, Sept. 1996, pp. 355-400. (SCI)

J.J.P. Tsai, Y. Bi, and Yang, S.J.H., Mar. 1996, Debugging for Timing Constraint Violations, IEEE Software, vol. 13, no. 2, pp. 89-99. (SCI)

J.J.P. Tsai, Yang, S.J.H., and Y.H. Chang, Jan. 1995, Timing Constraint Petri Nets and Their Application to Schedulability Analysis of Real-Time Systems Specification, IEEE Trans. on Software Engineering, vol. 21, no. 1, pp. 32-49. (SCI)