2006 | ||
---|---|---|
3 | EE | Ian Wehrman, Aaron Stump, Edwin M. Westbrook: Slothrop: Knuth-Bendix Completion with a Modern Termination Checker. RTA 2006: 287-296 |
2005 | ||
2 | EE | Edwin M. Westbrook, Aaron Stump, Ian Wehrman: A language-based approach to functionally correct imperative programming. ICFP 2005: 268-279 |
2000 | ||
1 | Gregor von Laszewski, Mary L. Westbrook, Craig Barnes, Ian T. Foster, Edwin M. Westbrook: Using computational grid capabilities to enhance the capability of an X-ray source for structural biology. Cluster Computing 3(3): 187-199 (2000) |
1 | Craig Barnes | [1] |
2 | Ian T. Foster | [1] |
3 | Gregor von Laszewski | [1] |
4 | Aaron Stump | [2] [3] |
5 | Ian Wehrman | [2] [3] |
6 | Mary L. Westbrook | [1] |