E. Cohen

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

Coauthor Index

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

Colors in the list of coauthors