Ernie Cohen
From MaRDI portal
Person:853723
Available identifiers
zbMath Open cohen.ernieMaRDI QIDQ853723
List of research outcomes
 | This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon! |
| Publication | Date of Publication | Type |
|---|---|---|
| A note on the complexity of propositional Hoare logic | 2017-06-13 | Paper |
| From Total Store Order to Sequential Consistency: A Practical Reduction Theorem | 2010-09-14 | Paper |
| Weak Kleene Algebra and Computation Trees | 2008-04-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5447363 | 2008-03-06 | Paper |
| Optimistic synchronization-based state-space reduction | 2006-11-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4417951 | 2003-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2754128 | 2001-12-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2721093 | 2001-07-01 | Paper |
| The convergence span of greedy load balancing | 1995-11-28 | Paper |
Research outcomes over time
This page was built for person: Ernie Cohen
