Mizuhito Ogawa
Mizuhito Ogawa
確認したメール アドレス: jaist.ac.jp - ホームページ
タイトル
引用先
引用先
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
522000
SMT for polynomial constraints on real numbers
T Van Khanh, M Ogawa
Electronic Notes in Theoretical Computer Science 289, 27-40, 2012
382012
Obfuscation code localization based on CFG generation of malware
NM Hai, M Ogawa, QT Tho
International symposium on foundations and practice of security, 229-247, 2015
292015
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
262013
Nested timed automata
G Li, X Cai, M Ogawa, S Yuen
International Conference on Formal Modeling and Analysis of Timed Systems …, 2013
252013
Well-structured pushdown systems
X Cai, M Ogawa
International Conference on Concurrency Theory, 121-136, 2013
232013
Uniform normalisation beyond orthogonality
Z Khasidashvili, M Ogawa, V Van Oostrom
International Conference on Rewriting Techniques and Applications, 122-136, 2001
222001
Perpetuality and uniform normalization in orthogonal rewrite systems
Z Khasidashvili, M Ogawa, V Van Oostrom
Information and Computation 164 (1), 118-151, 2001
222001
Overflow and roundoff error analysis via model checking
M Ogawa
2009 Seventh IEEE International Conference on Software Engineering and …, 2009
182009
Conditional weighted pushdown systems and applications
X Li, M Ogawa
Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and …, 2010
162010
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
Subtropical satisfiability
P Fontaine, M Ogawa, T Sturm, XT Vu
International Symposium on Frontiers of Combining Systems, 189-206, 2017
142017
raSAT: An SMT solver for polynomial constraints
VX Tung, T Van Khanh, M Ogawa
International Joint Conference on Automated Reasoning, 228-237, 2016
142016
Context-sensitive relevancy analysis for efficient symbolic execution
X Li, D Shannon, I Ghosh, M Ogawa, SP Rajan, S Khurshid
Asian Symposium on Programming Languages and Systems, 36-52, 2008
132008
Maximum marking problems with accumulative weight functions
I Sasano, M Ogawa, Z Hu
International Colloquium on Theoretical Aspects of Computing, 562-578, 2005
132005
raSAT: an SMT solver for polynomial constraints
VX Tung, T Van Khanh, M Ogawa
Formal Methods in System Design 51 (3), 462-499, 2017
112017
Nested timed automata with frozen clocks
G Li, M Ogawa, S Yuen
International Conference on Formal Modeling and Analysis of Timed Systems …, 2015
102015
Proving properties of incremental merkle trees
M Ogawa, E Horita, S Ono
International Conference on Automated Deduction, 424-440, 2005
92005
Iterative-free program analysis
M Ogawa, Z Hu, I Sasano
ACM SIGPLAN Notices 38 (9), 111-123, 2003
92003
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–20