Searching for authors named "Ernie Cohen" – sorted by Relevance.
7 documents found, showing 1 through 7.
-
Lazy Caching in Kleene Algebra
- …Lazy Caching in Kleene Algebra Ernie Cohen Bellcore November 10, 1994 Abstract We use Kleene…
- Cited by 4 (0 self) – Add To MetaCart
-
Hypotheses in Kleene Algebra
- …Hypotheses in Kleene Algebra Ernie Cohen April 18, 1994 Abstract Kleene algebra (an Horn…
- Cited by 7 (1 self) – Add To MetaCart
-
First-order verification of cryptographic protocols
- …First-Order Verification of Cryptographic Protocols Ernie Cohen Microsoft Research Abstract We…
- Cited by 7 (0 self) – Add To MetaCart
-
Optimistic Synchronization-Based State-Space Reduction
- …Optimistic Synchronization-Based State-Space Reduction Scott D. Stoller ∗ Ernie Cohen † 13 March…
- Cited by 11 (0 self) – Add To MetaCart
-
Preprint 0 2009/2/12A Practical Verification Methodology for Concurrent Programs
- … Cohen Microsoft Corp. ernie.cohen@(email omitted); Michał Moskal European Microsoft Innovation Center…
- Add To MetaCart
-
A Precise Yet Efficient Memory Model For C
- …A Precise Yet Efficient Memory Model For C Ernie Cohen 1 , Micha̷l Moskal 2 , Wolfram Schulte 3…
- Cited by 1 (1 self) – Add To MetaCart
-
Reduction in TLA
- …Reduction in TLA Ernie Cohen and Leslie Lamport 10 May 1998 Appeared in CONCUR'98 Concurrency…
- Cited by 26 (3 self) – Add To MetaCart
Showing 1 through 7.
