Concepedia

Tomomichi Ohta

TO

Statistics

Publications

3

Citations

72

H-Index

3

Active since

1986

Affiliations

Chubu University(Current)

Tomomichi Ohta is an author at Chubu University specializing in formal methods, verification, and computer science.

Top concepts

Publications per year

1986–2023

3

Publications

3

A very long chain fatty acid responsive transcription factor, <scp>MYB93</scp> , regulates lateral root development in Arabidopsis

Yuta Uemura, Saori Kimura, Tomomichi Ohta et al. · The Plant Journal · 2023 · 39 citations · Full text

A Logic Verifier Based on Boolean Comparison

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

, , +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

, , +8

1–3 of 3