| 2005 |
|---|
| 6 | EE | Tom Halverson,
Arun Ram:
Partition algebras.
Eur. J. Comb. 26(6): 869-921 (2005) |
| 2002 |
|---|
| 5 | | Teodor Rus,
Eric Van Wyk,
Tom Halverson:
Generating Model Checkers from Algebraic Specifications.
Formal Methods in System Design 20(3): 249-284 (2002) |
| 4 | EE | Andy Cantrell,
Tom Halverson,
Brian Miller:
Robinson - Schensted - Knuth insertion and characters of cyclotomic Hecke algebras.
J. Comb. Theory, Ser. A 99(1): 17-31 (2002) |
| 1997 |
|---|
| 3 | | Teodor Rus,
Tom Halverson,
Eric Van Wyk,
Robert Kooima:
An Algebraic Language Processing Environment.
AMAST 1997: 581-585 |
| 1995 |
|---|
| 2 | | Tom Halverson:
A q-Rational Murnaghan-Nakayama Rule.
J. Comb. Theory, Ser. A 71(1): 1-18 (1995) |
| 1994 |
|---|
| 1 | | Teodor Rus,
Tom Halverson:
Algebraic Tools for Language Processing.
Comput. Lang. 20(4): 213-238 (1994) |
