Mizuhito Ogawa
Mizuhito Ogawa
Bestätigte E-Mail-Adresse bei jaist.ac.jp - Startseite
Zitiert von
Zitiert von
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
SMT for polynomial constraints on real numbers
T Van Khanh, M Ogawa
Electronic Notes in Theoretical Computer Science 289, 27-40, 2012
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
Nested timed automata
G Li, X Cai, M Ogawa, S Yuen
International Conference on Formal Modeling and Analysis of Timed Systems …, 2013
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
Well-structured pushdown systems
X Cai, M Ogawa
International Conference on Concurrency Theory, 121-136, 2013
Uniform normalisation beyond orthogonality
Z Khasidashvili, M Ogawa, V Van Oostrom
International Conference on Rewriting Techniques and Applications, 122-136, 2001
Perpetuality and uniform normalization in orthogonal rewrite systems
Z Khasidashvili, M Ogawa, V Van Oostrom
Information and Computation 164 (1), 118-151, 2001
Overflow and roundoff error analysis via model checking
M Ogawa
2009 Seventh IEEE International Conference on Software Engineering and …, 2009
Conditional weighted pushdown systems and applications
X Li, M Ogawa
Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and …, 2010
Event-clock visibly pushdown automata
N Van Tang, M Ogawa
International Conference on Current Trends in Theory and Practice of …, 2009
On the uniquely converging property of nonlinear term rewriting systems
M Ogawa, ONO Satoshi
情報処理学会研究報告プログラミング (PRO) 1989 (42 (1989-PRO-029)), 61-70, 1989
Subtropical satisfiability
P Fontaine, M Ogawa, T Sturm, XT Vu
International Symposium on Frontiers of Combining Systems, 189-206, 2017
raSAT: An SMT solver for polynomial constraints
VX Tung, T Van Khanh, M Ogawa
International Joint Conference on Automated Reasoning, 228-237, 2016
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
Maximum marking problems with accumulative weight functions
I Sasano, M Ogawa, Z Hu
International Colloquium on Theoretical Aspects of Computing, 562-578, 2005
raSAT: an SMT solver for polynomial constraints
VX Tung, T Van Khanh, M Ogawa
Formal Methods in System Design 51 (3), 462-499, 2017
Nested timed automata with frozen clocks
G Li, M Ogawa, S Yuen
International Conference on Formal Modeling and Analysis of Timed Systems …, 2015
Proving properties of incremental merkle trees
M Ogawa, E Horita, S Ono
International Conference on Automated Deduction, 424-440, 2005
Iterative-free program analysis
M Ogawa, Z Hu, I Sasano
ACM SIGPLAN Notices 38 (9), 111-123, 2003
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20