A Maximum-Flow Approach to Anomaly Isolation in Unification-Based Incremental Type Inference. - Gregory F. Johnson; Janet A. Walz (POPL, 1986)

Incremental Evaluation for a General Class of Circular Attribute Grammars. - Janet A. Walz; Gregory F. Johnson (PLDI, 1988)

Extending Attribute Grammar and Type Inference Algorithms. - Janet A. Walz (1989)

Inductive Attribute Grammars: A Basis for Incremental Program Execution. - Janet A. Walz; Gregory F. Johnson (Acta Informatica, 1995)

The Smart/Empire TIPSTER IR System. - Chris Buckley; Janet A. Walz; Claire Cardie; Scott Anthony Mardis; Mandar Mitra; David R. Pierce; Kiri Wagstaff (TIPSTER, 1998)

SMART High Precision: TREC 7. - Chris Buckley; Mandar Mitra; Janet A. Walz; Claire Cardie (TREC, 1998)

The TREC-8 Query Track. - Chris Buckley; Janet A. Walz (TREC, 1999)

SMART in TREC 8. - Chris Buckley; Janet A. Walz (TREC, 1999)

SabIR Research at TREC-9. - Chris Buckley; Janet A. Walz (TREC, 2000)

Using clustering and SuperConcepts within SMART: TREC 6. - Chris Buckley; Mandar Mitra; Janet A. Walz; Claire Cardie (Inf. Process. Manag., 2000)