Debugging Logic-Based Requirements Specifications - a FRORL Approach. - Jeffrey J. P. Tsai; Alan Liu; Krishnakumar R. Nair (SEKE, 1993)

Debugging Logic-Based Requirements Specifications for Safety-Critical Systems - a FRORL Approach. - Jeffrey J. P. Tsai; Alan Liu; Krishnakumar R. Nair (Int. J. Softw. Eng. Knowl. Eng., 1994)

Design, Implementation and Evaluation of SCORE (a System for COntent based REtrieval of Pictures). - Y. Alp Aslandogan; Chuck Thier; Clement T. Yu; Chengwen Liu; Krishnakumar R. Nair (ICDE, 1995)

High-Level Security Issues in Multimedia/Hypertext Systems. - Eduardo B. Fernández; Krishnakumar R. Nair; María M. Larrondo-Petrie; Yan Xu (Communications and Multimedia Security, 1996)

An Abstract Authorization System for the Internet. - Eduardo B. Fernández; Krishnakumar R. Nair (DEXA Workshop, 1998)