 | 2010 |
|---|
| 5 |       | Aquinas Hobor,
Robert Dockins,
Andrew W. Appel:
A Logical Mix of Approximation and Separation.
APLAS 2010: 439-454 |
| 4 | | Aquinas Hobor,
Robert Dockins,
Andrew W. Appel:
A theory of indirection via approximation.
POPL 2010: 171-184 |
| 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 |
Data released under the ODC-BY 1.0 license — See also our legal information page