J. E. Mezei

Statistics

Publications

Citations

1.2K

H-Index

Active since

1964

Affiliations

Systems, Applications & Products in Data Processing (United States)(Current)

J. E. Mezei is an author at Systems, Applications & Products in Data Processing (United States) specializing in computer science, engineering, and automated reasoning.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningLinguisticsOrder-sorted LogicFormal VerificationFunctional AnalysisProgramming LanguagesComputational Complexity

Publications per year

1964–1973

Publications

Introduction to the Theory of Finite-State Machines

J. E. Mezei, Arthur Gill · Mathematics of Computation · 1964 · 595 citations

Automaton Operation, Finite-state Machines, Finite Model Theory +1

On Relations Defined by Generalized Finite Automata

Calvin C. Elgot, J. E. Mezei · IBM Journal of Research and Development · 1965 · 314 citations

Logical Automaton, Engineering, Automated Reasoning +15

Algebraic automata and context-free sets

J. E. Mezei, Jesse B. Wright · Information and Control · 1967 · 219 citations

Engineering, Automated Reasoning, Formal Methods +5

General Arrays, Operators and Functions

Ziad Jamil Ghandour, J. E. Mezei · IBM Journal of Research and Development · 1973 · 53 citations

Linear Operator, Engineering, Data Type +13

1–4 of 4