The SCEAS System
| |||||||

## Search the dblp DataBase
Ernie Cohen:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- Ernie Cohen
**Weak Kleene Algebra and Computation Trees.**[Citation Graph (0, 0)][DBLP] RelMiCS, 2006, pp:1- [Conf] - Ernie Cohen
**TAPS: A First-Order Verifier for Cryptographic Protocols.**[Citation Graph (0, 0)][DBLP] CAV, 2000, pp:568-571 [Conf] - Ernie Cohen, Leslie Lamport
**Reduction in TLA.**[Citation Graph (0, 0)][DBLP] CONCUR, 1998, pp:317-331 [Conf] - Ernie Cohen
**TAPS: A First-Order Verifier for Cryptographic Protocols.**[Citation Graph (0, 0)][DBLP] CSFW, 2000, pp:144-158 [Conf] - Ernie Cohen
**TAPS: The Last Few Slides.**[Citation Graph (0, 0)][DBLP] FASec, 2002, pp:183-190 [Conf] - Ernie Cohen
**Validating the Microsoft Hypervisor.**[Citation Graph (0, 0)][DBLP] FM, 2006, pp:81-81 [Conf] - Ernie Cohen
**Separation and Reduction.**[Citation Graph (0, 0)][DBLP] MPC, 2000, pp:45-59 [Conf] - Scott D. Stoller, Ernie Cohen
**Optimistic Synchronization-Based State-Space Reduction.**[Citation Graph (0, 0)][DBLP] TACAS, 2003, pp:489-504 [Conf] - Scott D. Stoller, Ernie Cohen
**Optimistic synchronization-based state-space reduction.**[Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 2006, v:28, n:3, pp:263-289 [Journal] - Ernie Cohen
**The Convergence Span of Greedy Load Balancing.**[Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 1994, v:52, n:4, pp:181-182 [Journal] - Ernie Cohen
**First-order Verification of Cryptographic Protocols.**[Citation Graph (0, 0)][DBLP] Journal of Computer Security, 2003, v:11, n:2, pp:189-216 [Journal] - Ernie Cohen, Dexter Kozen
**A note on the complexity of propositional Hoare logic.**[Citation Graph (0, 0)][DBLP] ACM Trans. Comput. Log., 2000, v:1, n:1, pp:171-174 [Journal] **Local Verification of Global Invariants in Concurrent Programs.**[Citation Graph (, )][DBLP]**Invariants, Modularity, and Rights.**[Citation Graph (, )][DBLP]**VCC: A Practical System for Verifying Concurrent C.**[Citation Graph (, )][DBLP]**From Total Store Order to Sequential Consistency: A Practical Reduction Theorem.**[Citation Graph (, )][DBLP]**A Better Reduction Theorem for Store Buffers**[Citation Graph (, )][DBLP]**Pessimistic Testing**[Citation Graph (, )][DBLP]**Weak Kleene Algebra is Sound and (Possibly) Complete for Simulation**[Citation Graph (, )][DBLP]**A Precise Yet Efficient Memory Model For C.**[Citation Graph (, )][DBLP]
Search in 0.246secs, Finished in 0.247secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |