Concepedia

Stephen H. Unger

SH

7

Publications

223

Citations

7

H-Index

1957

Active since

Affiliations

Columbia University(Current)

Stephen H. Unger is an author at Columbia University specializing in computer science, engineering, and automated reasoning.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningSyntaxGrammarLanguageLinguisticsCommunicationFormal Verification

Publications per year

1957–1999

7

Publications

7

GIT—a heuristic program for testing pairs of directed line graphs for isomorphism

Stephen H. Unger · Communications of the ACM · 1964 · 86 citations · Full text

Directed Graph, Engineering, Git—graph Isomorphism +20

Structural equivalence of context-free grammars

Marvin C. Paull, Stephen H. Unger · Journal of Computer and System Sciences · 1968 · 50 citations

Syntax, Grammatical Formalism, Computational Linguistics +7

A global parser for context-free phrase structure grammars

Stephen H. Unger · Communications of the ACM · 1968 · 29 citations · Full text

Syntactic Parsing, Engineering, Artificial Grammars +18

Flow Table Simplification-Some Useful Aids

Stephen H. Unger · IEEE Transactions on Electronic Computers · 1965 · 19 citations

Mathematical Programming, Circuit Complexity, Engineering +23

A study of asynchronous logical feedback networks

Stephen H. Unger · 1957 · 16 citations

Computational Logic, Engineering, Automated Reasoning +5

Rows per page

1–5 of 7