Concepedia

Gotaro Odawara

GO

Statistics

Publications

2

Citations

33

H-Index

2

Active since

1986

Affiliations

University of Science and Technology of China(Current)

Gotaro Odawara is an author at University of Science and Technology of China specializing in engineering, formal methods, and automated reasoning.

Top concepts

EngineeringFuzzy LogicVerificationFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationLogic DesignCircuit DesignSoftware Testing

Publications per year

1986–1986

2

Publications

2

A Logic Verifier Based on Boolean Comparison

Gotaro Odawara, Masahiro Tomita, Osamu Okuzawa et al. · Design Automation Conference · 1986 · 21 citations

Applied Logic, Engineering, Boolean Function +20

A logic verifier based on Boolean comparison

Gotaro Odawara, Masahiro Tomita, Osamu Okuzawa et al. · Proceedings of the 23rd ACM/IEEE conference on Design automation - DAC '86 · 1986 · 12 citations

Applied Logic, Logic Synthesis, Fuzzy Logic +8

1–2 of 2