Ogawa Mizuhito | School of Information Science - Japan Advanced Institute Science and Technology
スポンサーリンク
概要
- Ogawa Mizuhitoの詳細を見る
- 同名の論文著者
- School of Information Science - Japan Advanced Institute Science and Technologyの論文著者
関連著者
-
Ogawa Mizuhito
School of Information Science - Japan Advanced Institute Science and Technology
-
Li Guoqiang
School Of Information Science Japan Advanced Institute Of Science And Technology
-
Li Xin
School Of Biological Sciences Nanyang Technological University
-
Li Xin
School of Information Science, Japan Advanced Institute of Science and Technology
-
Tang Nguyen
School of Information Science, Japan Advanced Institute of Science and Technology
-
Do Thi
School Of Information Science - Japan Advanced Institute Science And Technology
-
Ogawa Mizuhito
School Of Information Science Japan Advanced Institute Of Science And Technology
-
LI GUOQIANG
School of Information Science, Japan Advanced Institute of Science and Technology
-
Ogawa Mizuhito
School Of Information Science Japan Advanced Institute Science And Technology
-
Li Xin
School Of Information Science Japan Advanced Institute Science And Technology
-
Li Xin
School Of Information Science Japan Advanced Institute Of Science And Technology
-
Nguyen Van
School of Information and Communication Engineering, Sungkyunkwan University, Suwon 440-746, Republic of Korea
-
Cai Xiaojuan
BASICS Lab, Shanghai Jiotong University
-
中村 創一郎
BASICS Lab, Shanghai Jiotong University
-
Li Xin
School of Information science, Japan Advanced Institute Science and Technology
-
To Van
School of Information Science, Japan Advanced Institute of Science and Technology
-
Ogawa Mizuhito
School of Information Science, Japan Advanced Institute of Science and Technology
-
VIRIYAYUDHAKORN Kobkrit
School of Knowledge Science, Japan Advanced Institute of Science and Technology
-
Viriyayudhakorn Kobkrit
School of Knowledge Science, Japan Advanced Institute of Science and Technology, Japan
著作論文
- Combining Testing and Static Analysis to Overflow and Roundoff Error Detection
- Context-sensitive points-to analysis for Java as all-in-one weighted pushdown model checking
- Stacking-based Context-Sensitive Points-to Analysis for Java
- On-the-fly Model Checking of Security Protocols and Its Implementation by Maude
- Modular Stacking-based Context-Sensitive Program Analysis
- Associative Search on Shogi Game Records
- Alternate Stacking Technique Revisited: Inclusion Problem of Superdeterministic Pushdown Automata
- Alternate Stacking Technique Revisited: Inclusion Problem of Superdeterministic Pushdown Automata
- Well-Structured Pushdown Systems, Part 1:Decidable Classes for Coverability
- raSAT: SMT for polynomial inequality
- On-the-fly Model Checking of Security Protocols and Its Implementation by Maude
- On-the-fly Model Checking of Security Protocols and Its Implementation by Maude