F. C. Hennie
Publications by Year
Research Areas
Computability, Logic, AI Algorithms, semigroups and automata theory, Cellular Automata and Applications, Formal Methods in Verification, Neural Networks and Applications
Most-Cited Works
- → Two-Tape Simulation of Multitape Turing Machines(1966)287 cited
- → One-tape, off-line Turing machine computations(1965)227 cited
- → Iterative Arrays of Logical Circuits(1961)122 cited
- → On-Line Turing Machine Computations(1966)80 cited
- Fault detecting experiments for sequential circuits(1964)
- → Crossing sequences and off-line turing machine computations(1965)11 cited
- → Analysis of Bilateral Iterative Networks(1959)9 cited
- → R64-48 Reduction of Feedback Loops in Sequential Circuits and Carry Leads in Iterative Networks(1964)
- List of Theorems and Corollaries(2003)
- Proof of the Lemma of Section 5.4(2003)