Ogawa, Mizuhito - School of Information Science, Japan Advanced Institute of Science and Technology

Advanced Search

Ogawa, Mizuhito - School of Information Science, Japan Advanced Institute of Science and Technology

Context-Sensitive Relevancy Analysis for Efficient Symbolic Execution
Proxy Certificate Trust List for Grid Computing Li Xin and Mizuhito Ogawa
Well-quasi-orders and Regular -languages Mizuhito Ogawa a
Unique normal form property of compatible term rewriting systems
Calculating Linear Time Algorithms for Solving Max-imum Weightsum Problems
Conditional Weighted Pushdown Systems and Applications School of Information Science,
Stacking-based Context-Sensitive Points-to Analysis for Java
or with entcsmacro.sty for your meeting. Both can be found at the ENTCS Macro Home Page.
Interprocedural Program Analysis for Java based on Weighted Pushdown Model Checking
Proving Properties of Incremental Merkle Trees Mizuhito Ogawa1
A Lightweight Mutual Authentication Based on Proxy Certificate Trust List
Automatic Veri cation Based on Abstract Interpretation
Perpetuality and Uniform Normalization Zurab Khasidashvili and Mizuhito Ogawa
Finding SPAM Mails with the associative search engine GETA Yusuke ISHIKURO and Mizuhito OGAWA
On the Uniquely Converging Property of Nonlinear Term Rewriting Systems
Call-by-Need Reduction for Membership Conditional Term Rewriting Systems
Unique Normal Form Property of Higher-Order Rewriting Systems
Overflow and Roundoff Error Analysis via Model Checking Do Thi Bich Ngoc
Authentication Revisited: Flaw or Not, the Recursive Authentication Protocol
Maximum Marking Problems with Accumulative Weight Functions
Modeling Urgency in Component-Based Real-time Systems
Event-Clock Visibly Pushdown Automata Nguyen Van Tang and Mizuhito Ogawa
On-the-fly Model Checking of Fair Non-repudiation Protocols
Iterative-Free Program Analysis Mizuhito Ogawa Zhenjiang Hu Isao Sasano
Weakly-non-overlapping non-collapsing shallow term rewriting systems are confluent
Complete Axiomatization of an Algebraic Construction of Graphs
A Linear Time Algorithm for Monadic Querying of Indefinite Data over Linearly Ordered Domains
Authentication Revisited: Flaw or Not, the Recursive Authentication Protocol
Checking Roundoff Errors using Counterexample-Guided Narrowing
IPSJ Transactions on Programming Vol. 4 No. 3 4254 (June 2011) Regular Paper