| |
| 1997 | ||
|---|---|---|
| 8 | EE | Pierre Collette, Edgar Knapp: A Foundation for Modular Reasoning About Safety and Progress Properties of State-Based Concurrent Programs. Theor. Comput. Sci. 183(2): 253-279 (1997) |
| 1995 | ||
| 7 | Pierre Collette, Edgar Knapp: Logical Foundations for Compositional Verification and Development of Concurrent Programs in UNITY. AMAST 1995: 353-367 | |
| 1994 | ||
| 6 | Edgar Knapp: Soundness and Completeness of UNITY Logic. FSTTCS 1994: 378-389 | |
| 1992 | ||
| 5 | Edgar Knapp: Derivation of Concurrent Programs: Two Examples. Sci. Comput. Program. 19(1): 1-23 (1992) | |
| 1990 | ||
| 4 | EE | Edgar Knapp: An Exercise in the Formal Derivation of Parallel Programs: Maximum Flows in Graphs. ACM Trans. Program. Lang. Syst. 12(2): 203-223 (1990) |
| 3 | Edgar Knapp: A Predicate Transformer for Progress. Inf. Process. Lett. 33(6): 323-330 (1990) | |
| 1989 | ||
| 2 | Charanjit S. Jutla, Edgar Knapp, Josyula R. Rao: A Predicate Transformer Approach to Semantics of Parallel Programs. PODC 1989: 249-263 | |
| 1987 | ||
| 1 | EE | Edgar Knapp: Deadlock Detection in Distributed Databases. ACM Comput. Surv. 19(4): 303-328 (1987) |
| 1 | Pierre Collette | [7] [8] |
| 2 | Charanjit S. Jutla | [2] |
| 3 | Josyula R. Rao | [2] |