Follow
Mizuhito Ogawa
Mizuhito Ogawa
Verified email at jaist.ac.jp - Homepage
Title
Cited by
Cited by
Year
Make it practical: A generic linear-time algorithm for solving maximum-weightsum problems
I Sasano, Z Hu, M Takeichi, M Ogawa
ACM SIGPLAN Notices 35 (9), 137-149, 2000
512000
SMT for polynomial constraints on real numbers
T Van Khanh, M Ogawa
Electronic Notes in Theoretical Computer Science 289, 27-40, 2012
412012
Obfuscation code localization based on CFG generation of malware
NM Hai, M Ogawa, QT Tho
Foundations and Practice of Security: 8th International Symposium, FPS 2015 …, 2016
342016
A hybrid approach for control flow graph construction from binary code
MH Nguyen, TB Nguyen, TT Quan, M Ogawa
2013 20th Asia-Pacific Software Engineering Conference (APSEC) 2, 159-164, 2013
332013
Comparison of three deep learning-based approaches for IoT malware detection
KDT Nguyen, TM Tuan, SH Le, AP Viet, M Ogawa, N Le Minh
2018 10th international conference on Knowledge and Systems Engineering (KSE …, 2018
302018
Well-structured pushdown systems
X Cai, M Ogawa
CONCUR 2013–Concurrency Theory: 24th International Conference, CONCUR 2013 …, 2013
282013
Subtropical satisfiability
P Fontaine, M Ogawa, T Sturm, XT Vu
International Symposium on Frontiers of Combining Systems, 189-206, 2017
272017
Nested timed automata
G Li, X Cai, M Ogawa, S Yuen
Formal Modeling and Analysis of Timed Systems: 11th International Conference …, 2013
272013
Uniform normalisation beyond orthogonality
Z Khasidashvili, M Ogawa, V van Oostrom
Rewriting Techniques and Applications: 12th International Conference, RTA …, 2001
242001
Perpetuality and uniform normalization in orthogonal rewrite systems
Z Khasidashvili, M Ogawa, V van Oostrom
Information and Computation 164 (1), 118-151, 2001
222001
raSAT: An SMT solver for polynomial constraints
VX Tung, T Van Khanh, M Ogawa
Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra …, 2016
202016
Packer identification based on metadata signature
NM Hai, M Ogawa, QT Tho
Proceedings of the 7th Software Security, Protection, and Reverse …, 2017
182017
Conditional weighted pushdown systems and applications
X Li, M Ogawa
Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and …, 2010
172010
Overflow and roundoff error analysis via model checking
M Ogawa
2009 Seventh IEEE International Conference on Software Engineering and …, 2009
172009
raSAT: an SMT solver for polynomial constraints
VX Tung, T Van Khanh, M Ogawa
Formal Methods in System Design 51, 462-499, 2017
162017
A comparison of four association engines in divergent thinking support systems on wikipedia
K Viriyayudhakorn, S Kunifuji, M Ogawa
Knowledge, Information, and Creativity Support Systems: 5th International …, 2011
162011
Event-clock visibly pushdown automata
N Van Tang, M Ogawa
International Conference on Current Trends in Theory and Practice of …, 2009
162009
On the uniquely converging property of nonlinear term rewriting systems
M Ogawa, ONO Satoshi
情報処理学会研究報告プログラミング (PRO) 1989 (42 (1989-PRO-029)), 61-70, 1989
151989
Context-sensitive relevancy analysis for efficient symbolic execution
X Li, D Shannon, I Ghosh, M Ogawa, SP Rajan, S Khurshid
Programming Languages and Systems: 6th Asian Symposium, APLAS 2008 …, 2008
132008
Maximum marking problems with accumulative weight functions
I Sasano, M Ogawa, Z Hu
Theoretical Aspects of Computing–ICTAC 2005: Second International Colloquium …, 2005
112005
The system can't perform the operation now. Try again later.
Articles 1–20