| |
| 1997 | ||
|---|---|---|
| 4 | EE | Gruia-Catalin Roman, Peter J. McCann, Jerome Y. Plun: Mobile UNITY: Reasoning and Specification in Mobile Computing. ACM Trans. Softw. Eng. Methodol. 6(3): 250-282 (1997) |
| 1996 | ||
| 3 | EE | Gruia-Catalin Roman, Peter J. McCann, Jerome Y. Plun: Assertional Reasoning about Pairwise Transient Interactions in Mobile Computing. ICSE 1996: 155-164 |
| 1993 | ||
| 2 | EE | Gruia-Catalin Roman, Jerome Y. Plun, C. Donald Wilcox: Dynamic Synchrony Among Atomic Actions. IEEE Trans. Parallel Distrib. Syst. 4(6): 677-685 (1993) |
| 1992 | ||
| 1 | Gruia-Catalin Roman, C. Donald Wilcox, Jerome Y. Plun: On Deriving Distributed Programs from Formal Specifications of Functional Requirements and Architectural Constraints. ICDCS 1992: 494-501 | |
| 1 | Peter J. McCann | [3] [4] |
| 2 | Gruia-Catalin Roman | [1] [2] [3] [4] |
| 3 | C. Donald Wilcox | [1] [2] |