 | 2009 |
|---|
| 7 |       | C. A. R. Hoare,
Bernhard Möller,
Georg Struth,
Ian Wehrman:
Concurrent Kleene Algebra.
CONCUR 2009: 399-414 |
| 6 | | C. A. R. Hoare,
Bernhard Möller,
Georg Struth,
Ian Wehrman:
Foundations of Concurrent Kleene Algebra.
RelMiCS 2009: 166-186 |
| 5 | | Ian Wehrman,
C. A. R. Hoare,
Peter W. O'Hearn:
Graphical models of separation logic.
Inf. Process. Lett. 109(17): 1001-1004 (2009) |
| 2008 |
|---|
| 4 | | Ian Wehrman,
David Kitchin,
William R. Cook,
Jayadev Misra:
A timed semantics of Orc.
Theor. Comput. Sci. 402(2-3): 234-248 (2008) |
| 2006 |
|---|
| 3 | | Ian Wehrman,
Aaron Stump,
Edwin M. Westbrook:
Slothrop: Knuth-Bendix Completion with a Modern Termination Checker.
RTA 2006: 287-296 |
| 2 | | Ian Wehrman,
Aaron Stump:
Mining Propositional Simplification Proofs for Small Validating Clauses.
Electr. Notes Theor. Comput. Sci. 144(2): 79-91 (2006) |
| 2005 |
|---|
| 1 | | Edwin M. Westbrook,
Aaron Stump,
Ian Wehrman:
A language-based approach to functionally correct imperative programming.
ICFP 2005: 268-279 |
