Analogical approach to specification derivation. - Kanth Miriyala; Mehdi T. Harandi (IWSSD, 1989)

The Role of Analogy in Specification Derivation. - Kanth Miriyala; Mehdi T. Harandi (KBSE, 1991)

Automatic Derivation of Formal Software Specifications From Informal Descriptions. - Kanth Miriyala; Mehdi T. Harandi (IEEE Trans. Software Eng., 1991)

Intelligent assistance in formalizing software specifications - Kanth Miriyala (1991)

Operations for evolving specifications. - Sudin Bhat; Kanth Miriyala (KBSE, 1993)

A Practical Approach to Static Node Positioning. - Junhui Luo; Kanth Miriyala (GD, 1994)

An architecture-driven, business-specific, and component-based approach to software engineering. - Jim Q. Ning; Kanth Miriyala; Wojtek Kozaczynski (ICSR, 1994)

Panel on Collaborative Software Engineering. - Prasun Dewan; Philip Johnson; Kanth Miriyala; Remo Pareschi (ICSE, 1997)