Kazuhiro Ogata

Publications

Citations

H-Index

1969

Active since

Affiliations

Japan Advanced Institute of Science and Technology(Current)

Kyoto University

University Of Information Technology

Universidad Complutense de Madrid

Kazuhiro Ogata is an author at Japan Advanced Institute of Science and Technology specializing in engineering, formal verification, and formal methods.

ORCID

Top concepts

EngineeringFormal MethodsFormal VerificationVerificationComputer ScienceAutomated ReasoningSystems EngineeringFormal SpecificationSoftware AnalysisProgram Analysis

Publications per year

1969–2024

Publications

Structural Analyses of DNA Recognition by the AML1/Runx-1 Runt Domain and Its Allosteric Control by CBFβ

T.H. Tahirov, Taiko Inoue-Bungo, Hisayuki Morii et al. · Cell · 2001 · 321 citations

Allosteric Control, Structural Bioinformatics, Structural Analyses +6

Bacterial oxidation of polyethylene glycol

Fusako Kawai, Takuhei Kimura, Masahiro Fukaya et al. · Applied and Environmental Microbiology · 1978 · 98 citations · Full text

Ethylene Glycol, Polyphenolics, Diethylene Glycol +11

Synthesis of 3,4-dihydroxyphenyl-l-alanine from l-tyrosine and pyrocatechol by crystalline β-tyrosinase

Hidehiko Kumagai, Hiroshi Matsui, Haruyuki Ohgishi et al. · Biochemical and Biophysical Research Communications · 1969 · 57 citations

Biosynthesis, Bioorganic Chemistry, Engineering +9

Equational Approach to Formal Analysis of TLS

Kazuhiro Ogata, Kokichi Futatsugi · 2005 · 48 citations

Engineering, Information Security, Verification +18

CafeOBJ: Logical foundations and methodologies

Răzvan Diaconescu, Kokichi Futatsugi, Kazuhiro Ogata · 2003 · 31 citations

Rows per page

1–5 of 31