![]() |
| 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) |
| 1 | Sudin Bha | [3] |
| 2 | Prasun Dewan | [5] |
| 3 | Mehdi T. Harandi | [1] [2] |
| 4 | Philip Johnson | [5] |
| 5 | Junhui Luo | [4] |
| 6 | Remo Pareschi | [5] |