| |
| 2006 | ||
|---|---|---|
| 12 | EE | Ernie Cohen: Validating the Microsoft Hypervisor. FM 2006: 81-81 |
| 11 | EE | Ernie Cohen: Weak Kleene Algebra and Computation Trees. RelMiCS 2006: 1 |
| 10 | EE | Scott D. Stoller, Ernie Cohen: Optimistic synchronization-based state-space reduction. Formal Methods in System Design 28(3): 263-289 (2006) |
| 2003 | ||
| 9 | EE | Scott D. Stoller, Ernie Cohen: Optimistic Synchronization-Based State-Space Reduction. TACAS 2003: 489-504 |
| 8 | Ernie Cohen: First-order Verification of Cryptographic Protocols. Journal of Computer Security 11(2): 189-216 (2003) | |
| 2002 | ||
| 7 | EE | Ernie Cohen: TAPS: The Last Few Slides. FASec 2002: 183-190 |
| 2000 | ||
| 6 | Ernie Cohen: TAPS: A First-Order Verifier for Cryptographic Protocols. CAV 2000: 568-571 | |
| 5 | EE | Ernie Cohen: TAPS: A First-Order Verifier for Cryptographic Protocols. CSFW 2000: 144-158 |
| 4 | Ernie Cohen: Separation and Reduction. MPC 2000: 45-59 | |
| 3 | EE | Ernie Cohen, Dexter Kozen: A note on the complexity of propositional Hoare logic. ACM Trans. Comput. Log. 1(1): 171-174 (2000) |
| 1998 | ||
| 2 | EE | Ernie Cohen, Leslie Lamport: Reduction in TLA. CONCUR 1998: 317-331 |
| 1994 | ||
| 1 | Ernie Cohen: The Convergence Span of Greedy Load Balancing. Inf. Process. Lett. 52(4): 181-182 (1994) | |
| 1 | Dexter Kozen | [3] |
| 2 | Leslie Lamport | [2] |
| 3 | Scott D. Stoller | [9] [10] |