Concepedia

Takeshi Hayashi

TH

Statistics

Publications

10

Citations

517

H-Index

10

Active since

1973

Affiliations

The University of Osaka(Current)

Kyushu University

Takeshi Hayashi is an author at The University of Osaka specializing in engineering, automated reasoning, and applied physics.

Top concepts

EngineeringAutomated ReasoningChemistryLinguisticsFormal MethodsApplied PhysicsMaterial ScienceDiscrete MathematicsHealthSyntax

Publications per year

1973–2018

10

Publications

10

Alternating finite automata on ω-words

Satoru Miyano, Takeshi Hayashi · Theoretical Computer Science · 1984 · 228 citations

Automated Reasoning, Pushdown Automaton, Automaton Operation +4

Alternating Finite Automata on omega-Words.

Satoru Miyano, Takeshi Hayashi · 1984 · 61 citations

Engineering, Automated Reasoning, Formal Methods +3

On Derivation Trees of Indexed Grammars – An Extension of the uvwxy-Theorem

Takeshi Hayashi · Publications of the Research Institute for Mathematical Sciences · 1973 · 54 citations · Full text

Tree Language, Combinatorics On Word, Syntax +10

Non-peripheral octahexylphthalocyanine doping effects in bulk heterojunction polymer solar cells

Tetsuro Hori, Tetsuya Masuda, N. Fukuoka et al. · Organic Electronics · 2011 · 42 citations

Engineering, Semiconducting Polymer, Organic Electronics +10

Preparation of machinable cordierite/mica composite by low-temperature sintering

Seiichi Taruta, Takeshi Hayashi, Kunio KITAJIMA · Journal of the European Ceramic Society · 2004 · 34 citations

Materials Science, Engineering, Ceramic Material +4

1–5 of 10