A multiprocessor description language. - William T. Overman; Stephen D. Crocker; Vittal Kini (AFIPS National Computer Conference, 1981)

Testing the INRIA Ada formal definition: the USC-ISI formal semantics project. - Vittal Kini; David F. Martin; Allen Stoughton (AdaTEC Conference on Ada, 1982)

Automatic Generation of Symbolic Reliability Functions for Processor-Memory-Switch Structures. - Vittal Kini; Daniel P. Siewiorek (IEEE Trans. Computers, 1982)

A VLSI-intensive fault-tolerant computer architecture. - Fred J. Pollack; Dave Johnson 001; Dave Carson; Ron Ebersole; Vittal Kini; Konrad Lai; Bernie Silvernail; Steve Stacey (Compcon, 1990)