The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Ernie Cohen: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Ernie Cohen
    Weak Kleene Algebra and Computation Trees. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2006, pp:1- [Conf]
  2. Ernie Cohen
    TAPS: A First-Order Verifier for Cryptographic Protocols. [Citation Graph (0, 0)][DBLP]
    CAV, 2000, pp:568-571 [Conf]
  3. Ernie Cohen, Leslie Lamport
    Reduction in TLA. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1998, pp:317-331 [Conf]
  4. Ernie Cohen
    TAPS: A First-Order Verifier for Cryptographic Protocols. [Citation Graph (0, 0)][DBLP]
    CSFW, 2000, pp:144-158 [Conf]
  5. Ernie Cohen
    TAPS: The Last Few Slides. [Citation Graph (0, 0)][DBLP]
    FASec, 2002, pp:183-190 [Conf]
  6. Ernie Cohen
    Validating the Microsoft Hypervisor. [Citation Graph (0, 0)][DBLP]
    FM, 2006, pp:81-81 [Conf]
  7. Ernie Cohen
    Separation and Reduction. [Citation Graph (0, 0)][DBLP]
    MPC, 2000, pp:45-59 [Conf]
  8. Scott D. Stoller, Ernie Cohen
    Optimistic Synchronization-Based State-Space Reduction. [Citation Graph (0, 0)][DBLP]
    TACAS, 2003, pp:489-504 [Conf]
  9. 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]
  10. 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]
  11. 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]
  12. 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]

  13. Local Verification of Global Invariants in Concurrent Programs. [Citation Graph (, )][DBLP]


  14. Invariants, Modularity, and Rights. [Citation Graph (, )][DBLP]


  15. VCC: A Practical System for Verifying Concurrent C. [Citation Graph (, )][DBLP]


  16. From Total Store Order to Sequential Consistency: A Practical Reduction Theorem. [Citation Graph (, )][DBLP]


  17. A Better Reduction Theorem for Store Buffers [Citation Graph (, )][DBLP]


  18. Pessimistic Testing [Citation Graph (, )][DBLP]


  19. Weak Kleene Algebra is Sound and (Possibly) Complete for Simulation [Citation Graph (, )][DBLP]


  20. A Precise Yet Efficient Memory Model For C. [Citation Graph (, )][DBLP]


Search in 0.246secs, Finished in 0.247secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002