![]() |
| 1998 | ||
|---|---|---|
| 5 | EE | Yen-Min Huang, Chinya V. Ravishankar: Constructive Protocol Specification Using Cicero. IEEE Trans. Software Eng. 24(4): 252-267 (1998) |
| 1997 | ||
| 4 | EE | Yen-Min Huang, Chinya V. Ravishankar: Secure synthesis and activation of protocol translation agents. Distributed Systems Engineering 4(4): 191-202 (1997) |
| 1996 | ||
| 3 | Yen-Min Huang, Chinya V. Ravishankar: URPC: A Toolkit for Prototyping Remote Procedure Calls. Comput. J. 39(6): 525-540 (1996) | |
| 1994 | ||
| 2 | Yen-Min Huang, Chinya V. Ravishankar: Linguistic Support for Controlling Protocol Execution. ICDCS 1994: 581-588 | |
| 1 | EE | Yen-Min Huang, Chinya V. Ravishankar: Designing an Agent Synthesis System for Cross-RPC Communication. IEEE Trans. Software Eng. 20(3): 188-198 (1994) |
| 1 | Chinya V. Ravishankar | [1] [2] [3] [4] [5] |