On the Design of Three-Valued Asynchronous Modules. - Anthony S. Wojcik; Kwang-Ya Fang (IEEE Trans. Computers, 1980)

Modular Decomposition of Combinational Multiple-Valued Circuits. - Kwang-Ya Fang; Anthony S. Wojcik (IEEE Trans. Computers, 1988)

A knowledge-based debugger for real-time software systems based on a noninterference testing architecture. - Jeffrey J. P. Tsai; Kwang-Ya Fang; Horng-Yuan Chen (COMPSAC, 1989)

A replay mechanism for non-interference real-time software testing and debugging. - Jeffrey J. P. Tsai; Kwang-Ya Fang; Horng-Yuan Chen (ICSM, 1989)

On real-time software testing and debugging. - Jeffrey J. P. Tsai; Kwang-Ya Fang; Yao-Dong Bi (COMPSAC, 1990)

A Noninvasive Architecture to Monitor Real-Time Distributed Systems. - Jeffrey J. P. Tsai; Kwang-Ya Fang; Horng-Yuan Chen (Computer, 1990)

A Noninterference Monitoring and Replay Mechanism for Real-Time Software Testing and Debugging. - Jeffrey J. P. Tsai; Kwang-Ya Fang; Horng-Yuan Chen; Yao-Dong Bi (IEEE Trans. Software Eng., 1990)

lambda-Resolution and interpretation of -implication in fuzzy operator logic. - Xuhua Liu; Kwang-Ya Fang; Jeffrey J. P. Tsai; Thomas J. Weigert (Inf. Sci., 1991)