Robert Dockins

	2009
3		Robert Dockins, Aquinas Hobor, Andrew W. Appel: A Fresh Look at Separation Algebras and Share Accounting. APLAS 2009: 161-177
	2008
2		Robert Dockins, Andrew W. Appel, Aquinas Hobor: Multimodal Separation Logic for Reasoning About Operational Semantics. Electr. Notes Theor. Comput. Sci. 218: 5-20 (2008)
	2006
1		Kevin L. Glick, Eliot Wilczek, Robert Dockins: The ingest and maintenance of electronic records: moving from theory to practice. JCDL 2006: 359

Coauthor Index

1	Andrew W. Appel	[2] [3]
2	Kevin L. Glick	[1]
3	Aquinas Hobor	[2] [3]
4	Eliot Wilczek	[1]

Colors in the list of coauthors