Mabry Tyson
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
6
Active years
1982–2013
Best venue rank
A*
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | NDSS | FRESCO: Modular Composable Security Services for Software-Defined Networks. | Seungwon Shin, Phillip A. Porras, Vinod Yegneswaran, Martin W. Fong, Guofei Gu, Mabry Tyson |
| 2012 | SIGCOMM | A security enforcement kernel for OpenFlow networks. | Phillip A. Porras, Seungwon Shin, Vinod Yegneswaran, Martin W. Fong, Mabry Tyson, Guofei Gu |
| 1995 | MuC | 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, Karen L. Myers, Mabry Tyson |
| 1993 | IJCAI | 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 |
| 1993 | MuC | 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 |
| 1993 | NAACL | FASTUS: A System for Extracting Information from Text. | Jerry R. Hobbs, Douglas E. Appelt, John Bear, David J. Israel, Megumi Kameyalna, Mabry Tyson |
| 1992 | MuC | SRI International FASTUS system: MUC-4 test results and analysis. | Douglas E. Appelt, John Bear, Jerry R. Hobbs, David J. Israel, Mabry Tyson |
| 1992 | MuC | SRI International: description of the FASTUS system used for MUC-4. | Jerry R. Hobbs, Douglas E. Appelt, Mabry Tyson, John Bear, David J. Israel |
| 1989 | NAACL | TACITUS: A Message Understanding System. | Jerry R. Hobbs, Douglas E. Appelt, John Bear, Mark E. Stickel, Mabry Tyson |
| 1985 | IJCAI | An Analysis of Consecutively Bounded Depth-First Search with Applications in Automated Deduction. | Mark E. Stickel, Mabry Tyson |
| 1982 | AAAI | Proof Methods in an Agenda-Based Natural-Deduction Theorem Prover. | Mabry Tyson |