Mizuhito Ogawa

Publications

181

Citations

H-Index

2000

Active since

Affiliations

Japan Advanced Institute of Science and Technology(Current)

Vietnam National University, Hanoi

Ho Chi Minh City University of Technology

The University of Tokyo

Mizuhito Ogawa is an author at Japan Advanced Institute of Science and Technology specializing in engineering, computer science, and formal verification.

ORCID

Top concepts

EngineeringComputer ScienceFormal VerificationFormal MethodsProgram AnalysisSoftware TestingSoftware AnalysisComputer EngineeringVerificationSystems Engineering

Publications per year

2000–2018

Publications

Make it practical

Isao Sasano, Zhenjiang Hu, Masato Takeichi et al. · 2000 · 41 citations · Full text

Mathematical Programming, Engineering, Analysis Of Algorithm +21

Comparison of Three Deep Learning-based Approaches for IoT Malware Detection

Khanh Nguyen, Tran Minh Tuan, Son Le et al. · 2018 · 26 citations

Iot Data Analytics, Convolutional Neural Network, Engineering +14

Packer identification based on metadata signature

Nguyễn Minh Hải, Mizuhito Ogawa, Tho Quan · 2017 · 23 citations

Engineering, Information Security, Biometrics +26

A Hybrid Approach for Control Flow Graph Construction from Binary Code

Minh‐Hai Nguyen, Thien Binh Nguyen, Tho Quan et al. · 2013 · 21 citations

Engineering, Verification, Software Engineering +25

Perpetuality and Uniform Normalization in Orthogonal Rewrite Systems

Zurab Khasidashvili, Mizuhito Ogawa, Vincent van Oostrom · Information and Computation · 2001 · 17 citations

Information Theory, Regulated Rewriting, Functional Analysis +2

Rows per page

1–5 of 9