Concepedia

Mark E. Stickel

ME

22

Publications

2K

Citations

20

H-Index

1981

Active since

Affiliations

SRI International(Current)

Cornell University

Microsoft (United States)

Mark E. Stickel is an author at SRI International specializing in automated reasoning, engineering, and computer science.

Top concepts

EngineeringAutomated ReasoningComputer ScienceFormal MethodsSemanticsFormal VerificationProof ComplexityLanguageLinguisticsComputational Linguistics

Publications per year

1981–2007

22

Publications

22

Complete Sets of Reductions for Some Equational Theories

Gerald E. Peterson, Mark E. Stickel · Journal of the ACM · 1981 · 409 citations · Full text

FASTUS: A Cascaded Finite-State Transducer for Extracting Information from Natural-Language Text

Jerry R. Hobbs, Douglas E. Appelt, John Bear et al. · ArXiv.org · 1997 · 255 citations · Full text

Syntactic Parsing, Engineering, Database Entries +25

A prolog technology theorem prover: Implementation by an extended prolog compiler

Mark E. Stickel · Journal of Automated Reasoning · 1988 · 249 citations

Engineering, Extended Prolog Compiler, Automated Reasoning +9

A Unification Algorithm for Associative-Commutative Functions

Mark E. Stickel · Journal of the ACM · 1981 · 242 citations · Full text

A Prolog technology theorem prover

Mark E. Stickel · New Generation Computing · 1984 · 99 citations

Engineering, Automated Reasoning, Proof Complexity +5

Rows per page

1–5 of 22