dblp.uni-trier.dewww.uni-trier.de

E. Cohen

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
3EEA. 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
2EEAnnabelle McIver, E. Cohen, Carroll Morgan: Using Probabilistic Kleene Algebra for Protocol Verification. RelMiCS 2006: 296-310
1981
1EEE. Cohen, Richard Hay Jr.: Why are Commercial Database Management Systems Rarely Used for Research Data? SSDBM 1981: 132-133

Coauthor Index

1C. Gonzalia [3]
2Richard Hay Jr. [1]
3A. K. McIver [3]
4Annabelle McIver [2]
5C. C. Morgan [3]
6Carroll Morgan [2]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)