Concepedia

Namio Honda

NH

10

Publications

323

Citations

10

H-Index

1968

Active since

Affiliations

Nagoya University(Current)

Tohoku University

Toyohashi University of Technology

Namio Honda is an author at Nagoya University specializing in engineering, computer science, and automated reasoning.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningFormal VerificationDiscrete MathematicsComputational ComplexityLanguageSemanticsFuzzy Logic

Publications per year

1968–1985

10

Publications

10

The equivalence problem for real-time strict deterministic languages

Michio Oyamaguchi, Namio Honda, Yasuyoshi Inagaki · Information and Control · 1980 · 54 citations

Programming Language Theory, Engineering, Automated Reasoning +6

The firing squad synchronization problem for graphs

Yasuaki Nishitani, Namio Honda · Theoretical Computer Science · 1981 · 46 citations

Network Science, Graph Theory, Engineering +7

Fuzzy events realized by finite probabilistic automata

Masakazu Nasu, Namio Honda · Information and Control · 1968 · 40 citations

Fuzzy Logic, Engineering, Fuzzy Computing +5

Dynamical characteristics of linear cellular automata

Hirotomo Aso, Namio Honda · Journal of Computer and System Sciences · 1985 · 36 citations

Pattern Formation, Linear Cellular Automata, Automaton Network +2

Distance functions defined by variable neighborhood sequences

Masafumi Yamashita, Namio Honda · Pattern Recognition · 1984 · 34 citations

Engineering, Generalized Function, Topological Property +5

Rows per page

1–5 of 10