- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| j4 |      | Tony Hoare, Bernhard Möller, Georg Struth, Ian Wehrman: Concurrent Kleene Algebra and its Foundations. J. Log. Algebr. Program. 80(6): 266-296 (2011) |
| 2009 | ||
| j3 | | Ian Wehrman, C. A. R. Hoare, Peter W. O'Hearn: Graphical models of separation logic. Inf. Process. Lett. 109(17): 1001-1004 (2009) |
| c4 | | C. A. R. Hoare, Bernhard Möller, Georg Struth, Ian Wehrman: Foundations of Concurrent Kleene Algebra. RelMiCS 2009: 166-186 |
| c3 | | C. A. R. Hoare, Bernhard Möller, Georg Struth, Ian Wehrman: Concurrent Kleene Algebra. CONCUR 2009: 399-414 |
| 2008 | ||
| j2 | | Ian Wehrman, David Kitchin, William R. Cook, Jayadev Misra: A timed semantics of Orc. Theor. Comput. Sci. 402(2-3): 234-248 (2008) |
| 2006 | ||
| j1 | | Ian Wehrman, Aaron Stump: Mining Propositional Simplification Proofs for Small Validating Clauses. Electr. Notes Theor. Comput. Sci. 144(2): 79-91 (2006) |
| c2 | | Ian Wehrman, Aaron Stump, Edwin M. Westbrook: Slothrop: Knuth-Bendix Completion with a Modern Termination Checker. RTA 2006: 287-296 |
| 2005 | ||
| c1 | | Edwin M. Westbrook, Aaron Stump, Ian Wehrman: A language-based approach to functionally correct imperative programming. ICFP 2005: 268-279 |
| 1 | William R. Cook | |
| 2 | C. A. R. Hoare (Tony Hoare) | |
| 3 | David Kitchin | |
| 4 | Jayadev Misra | |
| 5 | Bernhard Möller | |
| 6 | Peter W. O'Hearn | |
| 7 | Georg Struth | |
| 8 | Aaron Stump | |
| 9 | Edwin M. Westbrook |
Colors in the list of coauthors
Last update Fri May 24 14:17:25 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page