Concepedia

Arthur Gill

AG

Statistics

Publications

15

Citations

975

H-Index

13

Active since

1961

Affiliations

University of California, Berkeley(Current)

Arthur Gill is an author at University of California, Berkeley specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsComputer EngineeringDiscrete MathematicsAutomated ReasoningFormal VerificationComputational ComplexityGraph TheoryCircuit Design

Publications per year

1961–1979

15

Publications

15

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

State-identification experiments in finite automata

Arthur Gill · Information and Control · 1961 · 71 citations

Logical Automaton, Engineering, Automated Reasoning +7

Applied Algebra for the Computer Sciences.

Robert L. Constable, Arthur Gill · Mathematics of Computation · 1977 · 64 citations

Applied Algebra, Computer Algebra, Modern Algebra

Multiple-entry finite automata

Arthur Gill, Lawrence T. Kou · Journal of Computer and System Sciences · 1974 · 54 citations

Logical Automaton, Engineering, Automated Reasoning +6

Synthesis of probability transformers

Arthur Gill · Journal of the Franklin Institute · 1962 · 25 citations

Engineering, Uncertainty Quantification, Entropy +6

1–5 of 15