| |
| 1996 | ||
|---|---|---|
| 3 | EE | Chyuan Samuel Hsieh, Elizabeth A. Unger: On the control structure of a program slice. Journal of Systems and Software 34(2): 123-126 (1996) |
| 1988 | ||
| 2 | EE | Chyuan Samuel Hsieh, Elizabeth A. Unger: Resource scheduling: specification and proof techniques. ACM Conference on Computer Science 1988: 429-437 |
| 1987 | ||
| 1 | EE | Chyuan Samuel Hsieh, Elizabeth A. Unger: Manifolds: a very high-level conceptual framework of interprocess synchronization and communication. ACM Conference on Computer Science 1987: 196-204 |
| 1 | Elizabeth A. Unger | [1] [2] [3] |