| |
| 2008 | ||
|---|---|---|
| 4 | EE | 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 | EE | Ian Wehrman, Aaron Stump, Edwin M. Westbrook: Slothrop: Knuth-Bendix Completion with a Modern Termination Checker. RTA 2006: 287-296 |
| 2 | EE | Ian Wehrman, Aaron Stump: Mining Propositional Simplification Proofs for Small Validating Clauses. Electr. Notes Theor. Comput. Sci. 144(2): 79-91 (2006) |
| 2005 | ||
| 1 | EE | Edwin M. Westbrook, Aaron Stump, Ian Wehrman: A language-based approach to functionally correct imperative programming. ICFP 2005: 268-279 |
| 1 | William R. Cook | [4] |
| 2 | David Kitchin | [4] |
| 3 | Jayadev Misra | [4] |
| 4 | Aaron Stump | [1] [2] [3] |
| 5 | Edwin M. Westbrook | [1] [3] |