Concepedia

Arie Y. Gold

AY

Statistics

Publications

5

Citations

252

H-Index

5

Active since

1977

Affiliations

Technion – Israel Institute of Technology(Current)

Hebrew University of Jerusalem

Arie Y. Gold is an author at Technion – Israel Institute of Technology specializing in formal methods, computational complexity, and engineering.

Top concepts

Formal MethodsEngineeringComputational ComplexityLinguisticsAutomated ReasoningSyntaxGrammarLanguage

Publications per year

1977–1980

5

Publications

5

Theory of ω-languagesI: Characterizations of ω-context-free languages

Rina Cohen, Arie Y. Gold · Journal of Computer and System Sciences · 1977 · 97 citations

Language Construct, ω-Context-free Languages, Formal Language +3

ω-Computations on Turing machines

Rina Cohen, Arie Y. Gold · Theoretical Computer Science · 1978 · 66 citations

Engineering, Automated Reasoning, Formal Methods +5

ω-Computations on deterministic pushdown machines

Rina Cohen, Arie Y. Gold · Journal of Computer and System Sciences · 1978 · 51 citations

Engineering, Formal Methods, Pushdown Automaton +4

Theory of ω-languages. II: A study of various models of ω-type generation and recognition

Rina Cohen, Arie Y. Gold · Journal of Computer and System Sciences · 1977 · 27 citations

Combinatorics On Word, Syntax, Engineering +11

On the complexity of ω-type Turing acceptors

Rina Cohen, Arie Y. Gold · Theoretical Computer Science · 1980 · 11 citations

ω-Type Turing Acceptors, Abstract Complexity, Computational Complexity +2

1–5 of 5