Namio Honda - Concepedia

Author

Namio Honda

Nagoya University

Also Known As

NAMIO HONDA, Namio HONDA, Namio Honda

Publications

367

Citations

H-Index

Concepts

All Affiliations

Nagoya University Tohoku University Toyohashi University of Technology Mie University

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	8	8	269
2	Computer Science	7	7	235
3	Language Studies	1	1	30
4	Linguistics	1	1	30
5	Systems Engineering	1	1	46

Namio Honda

Publications

323

Citations

H-Index

Page 1

	Year	Citations
The equivalence problem for real-time strict deterministic languages Michio Oyamaguchi, Namio Honda, Yasuyoshi Inagaki Information and Control Programming Language TheoryEngineeringAutomated ReasoningFormal MethodsEquivalence Checking	1980	54
The firing squad synchronization problem for graphs Yasuaki Nishitani, Namio Honda Theoretical Computer Science Network ScienceGraph TheoryEngineeringProbabilistic Graph TheorySynchronization Protocol	1981	46
Fuzzy events realized by finite probabilistic automata Masakazu Nasu, Namio Honda Information and Control Fuzzy LogicEngineeringFuzzy ComputingFuzzy ModelingFuzzy Mathematics	1968	40
Dynamical characteristics of linear cellular automata Hirotomo Aso, Namio Honda Journal of Computer and System Sciences Pattern FormationLinear Cellular AutomataAutomaton NetworkAutomaton OperationCellular Automaton	1985	36
Distance functions defined by variable neighborhood sequences Masafumi Yamashita, Namio Honda Pattern Recognition EngineeringGeneralized FunctionTopological PropertyFunctional AnalysisLocalization	1984	34
A context-free language which is not acceptable by a probabilistic automaton Masakazu Nasu, Namio Honda Information and Control Natural Language ProcessingProbabilistic OntologyEngineeringAutomated ReasoningProbabilistic System	1971	30
The decidability of equivalence for deterministic stateless pushdown automata Michio Oyamaguchi, Namio Honda Information and Control EngineeringAutomated ReasoningVerificationFormal MethodsPushdown Automaton	1978	29
Mappings induced by PGSM-mappings and some recursively unsolvable problems of finite probabilistic automata Masakazu Nasu, Namio Honda Information and Control Unsolvable ProblemsLogical AutomatonEngineeringAutomated ReasoningFormal Methods	1969	23
Certain relations between properties of maps of tessellation automata Tadakazu Sato, Namio Honda Journal of Computer and System Sciences Automaton OperationCellular AutomatonTree AutomatonTessellation Automata	1977	18
The equivalence problem for two dpda's, one of which is a finite-turn or one-counter machine Michio Oyamaguchi, Yasuyoshi Inagaki, Namio Honda Journal of Computer and System Sciences Computational Complexity TheoryEngineeringOne-counter MachineFormal MethodsComputational Complexity	1981	13

Page 1