Kazuhiro Ogata - Concepedia

Author

Kazuhiro Ogata

Japan Advanced Institute of Science and Technology ORCID

Also Known As

K OGATA, K Ogata, K. OGATA, K. Ogata, KAZUHIRO OGATA, K^|^ocirc;ichi OGATA, Kazuhiro OGATA, Kazuhiro Ogata, Kokichi Futatsugi, Liu, Shaoying

211

Publications

1.9K

Citations

H-Index

Concepts

All Affiliations

Japan Advanced Institute of Science and Technology Kyoto University University Of Information Technology Universidad Complutense de Madrid

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	15	21	474
2	Business	2	2	48
3	Medicine	2	2	419
4	Natural Sciences	2	2	155
5	Biochemistry	2	2	155

Kazuhiro Ogata

Publications

Citations

H-Index

Page 1

	Year	Citations
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, Cell Allosteric ControlStructural BioinformaticsStructural AnalysesMolecular BiologyMolecular Research	2001	321
Bacterial oxidation of polyethylene glycol Fusako Kawai, Takuhei Kimura, Masahiro Fukaya, Applied and Environmental Microbiology Ethylene GlycolPolyphenolicsDiethylene GlycolBiotransformationBiochemistry	1978	98
Synthesis of 3,4-dihydroxyphenyl-l-alanine from l-tyrosine and pyrocatechol by crystalline β-tyrosinase Hidehiko Kumagai, Hiroshi Matsui, Haruyuki Ohgishi, Biochemical and Biophysical Research Communications BiosynthesisBioorganic ChemistryEngineeringBiochemistryNatural Sciences	1969	57
Equational Approach to Formal Analysis of TLS Kazuhiro Ogata, Kokichi Futatsugi EngineeringInformation SecurityVerificationSoftware EngineeringCryptographic Protocol	2005	48
CafeOBJ: Logical foundations and methodologies Răzvan Diaconescu, Kokichi Futatsugi, Kazuhiro Ogata	2003	31
Principles of proof scores in CafeOBJ Kokichi Futatsugi, Daniel Găină, Kazuhiro Ogata Theoretical Computer Science EngineeringAutomated ReasoningVerificationFormal MethodsProof Assistant	2012	31
Simulation-based Verification for Invariant Properties in the OTS/CafeOBJ Method Kazuhiro Ogata, Kokichi Futatsugi Electronic Notes in Theoretical Computer Science Numerical AnalysisEngineeringVerificationModel CheckingModel Verification	2008	30
Equational approach to formal verification of SET Kazuhiro Ogata, Kokichi Futatsugi NegotiationEngineeringVerificationProtocol ComplianceSet Payment Protocol	2004	25
Prove it! Inferring Formal Proof Scripts from CafeOBJ Proof Scores Adrián Riesco, Kazuhiro Ogata ACM Transactions on Software Engineering and Methodology EngineeringVerificationSoftware EngineeringAutomated ProofSoftware Analysis	2018	25
The evaluation strategy for head normal form with and without on-demand flags Masaki Nakamura, Kazuhiro Ogata Electronic Notes in Theoretical Computer Science Mathematical ProgrammingNormal FormsProgramming Language TheoryCognitive ScienceHead Normal Form	2000	24

Page 1