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