| 1997 |
|---|
| 5 | EE | Prasun Dewan,
Philip Johnson,
Kanth Miriyala,
Remo Pareschi:
Panel on Collaborative Software Engineering.
ICSE 1997: 586 |
| 1994 |
|---|
| 4 | | Junhui Luo,
Kanth Miriyala:
A Practical Approach to Static Node Positioning.
Graph Drawing 1994: 436-443 |
| 1993 |
|---|
| 3 | | Sudin Bha,
Kanth Miriyala:
Operations for Evolving Specifications.
SEKE 1993: 343-345 |
| 1991 |
|---|
| 2 | | Kanth Miriyala,
Mehdi T. Harandi:
The Role of Analogy in Specification Derivation.
KBSE 1991: 117-126 |
| 1 | EE | Kanth Miriyala,
Mehdi T. Harandi:
Automatic Derivation of Formal Software Specifications From Informal Descriptions.
IEEE Trans. Software Eng. 17(10): 1126-1142 (1991) |
