| |
| 2008 | ||
|---|---|---|
| 3 | EE | A. K. McIver, C. Gonzalia, E. Cohen, C. C. Morgan: Using probabilistic Kleene algebra pKA for protocol verification. J. Log. Algebr. Program. 76(1): 90-111 (2008) |
| 2006 | ||
| 2 | EE | Annabelle McIver, E. Cohen, Carroll Morgan: Using Probabilistic Kleene Algebra for Protocol Verification. RelMiCS 2006: 296-310 |
| 1981 | ||
| 1 | EE | E. Cohen, Richard Hay Jr.: Why are Commercial Database Management Systems Rarely Used for Research Data? SSDBM 1981: 132-133 |
| 1 | C. Gonzalia | [3] |
| 2 | Richard Hay Jr. | [1] |
| 3 | A. K. McIver | [3] |
| 4 | Annabelle McIver | [2] |
| 5 | C. C. Morgan | [3] |
| 6 | Carroll Morgan | [2] |