 | 2012 |
|---|
| 8 |       | Aquinas Hobor,
Cristian Gherghina:
Barriers in Concurrent Separation Logic: Now With Tool Support!
Logical Methods in Computer Science 8(2): (2012) |
| 2011 |
|---|
| 7 | | Martin Henz,
Aquinas Hobor:
Teaching Experience: Logic and Formal Methods with Coq.
CPP 2011: 199-215 |
| 6 | | Aquinas Hobor,
Cristian Gherghina:
Barriers in Concurrent Separation Logic.
ESOP 2011: 276-296 |
| 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 | | Aquinas Hobor,
Andrew W. Appel,
Francesco Zappa Nardelli:
Oracle Semantics for Concurrent Separation Logic.
ESOP 2008: 353-367 |
| 1 | | Robert Dockins,
Andrew W. Appel,
Aquinas Hobor:
Multimodal Separation Logic for Reasoning About Operational Semantics.
Electr. Notes Theor. Comput. Sci. 218: 5-20 (2008) |
Data released under the ODC-BY 1.0 license — See also our legal information page