| 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 | |
| 1 | Andrew W. Appel | [2] [3] |
| 2 | Kevin L. Glick | [1] |
| 3 | Aquinas Hobor | [2] [3] |
| 4 | Eliot Wilczek | [1] |