Proof Methods in an Agenda-Based Natural-Deduction Theorem Prover. - Mabry Tyson (AAAI, 1982)

An Analysis of Consecutively Bounded Depth-First Search with Applications in Automated Deduction. - Mark E. Stickel; Mabry Tyson (IJCAI, 1985)

TACITUS: A Message Understanding System. - Jerry R. Hobbs; Douglas E. Appelt; John Bear; Mark E. Stickel; Mabry Tyson (HLT (2), 1989)

Robust Processing of Real-World Natural-Language Texts. - Jerry R. Hobbs; Douglas E. Appelt; John Bear; Mabry Tyson (ANLP, 1992)

SRI International FASTUS system: MUC-4 test results and analysis. - Douglas E. Appelt; John Bear; Jerry R. Hobbs; David J. Israel; Mabry Tyson (MUC, 1992)

SRI International: description of the FASTUS system used for MUC-4. - Jerry R. Hobbs; Douglas E. Appelt; Mabry Tyson; John Bear; David J. Israel (MUC, 1992)

FASTUS: A Finite-state Processor for Information Extraction from Real-world Text. - Douglas E. Appelt; Jerry R. Hobbs; John Bear; David J. Israel; Mabry Tyson (IJCAI, 1993)

SRI: description of the JV-FASTUS system used for MUC-5. - Douglas E. Appelt; Jerry R. Hobbs; John Bear; David J. Israel; Megumi Kameyama; Mabry Tyson (MUC, 1993)

FASTUS: A System for Extracting Information from Text. - Jerry R. Hobbs; Douglas E. Appelt; John Bear; David J. Israel; Megumi Kameyalna; Mabry Tyson (HLT, 1993)

SRI International FASTUS system: MUC-6 test results and analysis. - Douglas E. Appelt; Jerry R. Hobbs; John Bear; David J. Israel; Megumi Kameyama; David L. Martin 001; Karen L. Myers; Mabry Tyson (MUC, 1995)

SRI's Tipster II Project. - Jerry R. Hobbs; Douglas E. Appelt; John Bear; David J. Israel; Megumi Kameyama; Andrew Kehler; Mark E. Stickel; Mabry Tyson (TIPSTER, 1996)

FASTUS: A Cascaded Finite-State Transducer for Extracting Information from Natural-Language Text - Jerry R. Hobbs; Douglas E. Appelt; John Bear; David J. Israel; Megumi Kameyama; Mark E. Stickel; Mabry Tyson (CoRR, 1997)

A Mixed-initiative Framework for Robust Plan Sketching. - Karen L. Myers; Peter Jarvis; Mabry Tyson; Michael Wolverton (ICAPS, 2003)

Deductive Question Answering from Multiple Resources. - Richard J. Waldinger; Douglas E. Appelt; Jennifer L. Dungan; John Fry; Jerry R. Hobbs; David J. Israel; Peter Jarvis; David L. Martin 001; Susanne Z. Riehemann; Mark E. Stickel; Mabry Tyson (New Directions in Question Answering, 2004)

A security enforcement kernel for OpenFlow networks. - Phillip A. Porras; Seungwon Shin 001; Vinod Yegneswaran; Martin W. Fong; Mabry Tyson; Guofei Gu (HotSDN@SIGCOMM, 2012)

FRESCO: Modular Composable Security Services for Software-Defined Networks. - Seungwon Shin 001; Phillip A. Porras; Vinod Yegneswaran; Martin W. Fong; Guofei Gu; Mabry Tyson (NDSS, 2013)