小川　瑞史 （オガワ　ミズヒト）　教授
情報科学研究科（情報科学専攻・ソフトウェア科学領域）

25件中1-20件目

• 1.　SMT for Polynomial Constraints on Real Numbers，To Van Khanh, Mizuhito Ogawa，Electrical Notes on Theoretical COmputer Science, Elsevier / Tools for Automatics Program Analysis (TAPAS 2012)，to appear
• 2.　A Comparison of Four Association Engines in Divergent Thinking Support Systems on Wikipedia，Kobkrit Viriyayudhakorn, Susumu Kunifuji, and Mizuhito Ogawa，Springer Lecture Notes in Artificial Intelligence /5th International Conference on Knowledge, Information and Creativity Support Systems (KICSS 2010)，6746，226-237
• 3.　Conditional Weighted Pushdown Systems and Applications，Xin Li, Mizuhito Ogawa，ACM SIGPLAN 2010 Workshop on Partial Evaluation and Program Manipulation (PEPM10)，141-150，2010/01/19
• 4.　Checking Roundoff Errors using Counterexample-Guided Narrowing，Do Thi Bich Ngoc, Mizuhito Ogawa，25th IEEE/ACM International Conference on Automated Software Engineering (ASE 2010)，301-304，2010/09/23
• 5.　Weakly-non-overlapping non-collapsing shallow term rewriting systems are confluent，Masahiko Sakai, Mizuhito Ogawa，Information Processing Letters，110，810-814，2010/09/15
• 6.　Stacking-based Context-sensitive Points-to Analysis for Java，Xin Li, Mizuhito Ogawa，Proceedings of the Haifa Verification Conference 2009 (HVC09), to appear in Springer LNCS，2009/10/20
• 7.　Roundoff and Overflow Error Analysis via Model Checking，Do Thi Bich Ngoc, Mizuhito Ogawa，Proceedings of the 7th IEEE International Conference on Software Engineering and Formal Methods (SEFM09), to appear，105-114，2009/11/26
• 8.　An Ahead-of-time Yet Context-Sensitive Points-to Analysis for Java，Xin Li and Mizuhito Ogawa，Proceedings of the 4th International Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE09), pp.87-101
• 9.　Alternate Stacking Technique Revisited: Inclusion Problem of Superdeterministic Pushdown Automata，Nguyen Van Tang, Mizuhito Ogawa，IPSJ Transactions on Programming，1，1，2008
• 10.　Context-Sensitive Relevancy Analysis for Efficient Symbolic Execution，Xin Li, Daryl Shannon, Indradeep Ghosh, Mizuhito Ogawa, Sreeranga P. Rajan, and Sarfraz Khurshid，6th ASIAN Symposium on Programming Languages and Systems, APLAS08，Springer LNCS, to appear
• 11.　Authentication Revisited: Flaw or Not, the Recursive Authentication Protocol，Guoqiang Li, Mizuhito Ogawa，6th International Symposium on Automated Technology for Verification and Analysis, ATVA08 ，Springer LNCS 5311，374-385
• 12.　Event-Clock Visibly Pushdown Automata，Nguyen Van Tang, Mizuhito Ogawa，35th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM09，Springer LNCS 5404，558-569，2009
• 13.　On-the-fly Model Checking of Fair Non-repudiation Protocols ，Guoqiang Li, Mizuhito Ogawa，Proceedings of the 5th International Symposium on Automated Technology for Verification and Analysis, ATVA07,Springer LNCS 4762, pp.511-522
• 14.　On-the-fly Model Checking of Security Protocols and Its Implementation ，Guoqiang Li, Mizuhito Ogawa，IPSJ Transactions on Programming, Vol.48, No.SIG 10(PRO33), pp.50-75, 2007
• 15.　Interprocedural Program Analysis for Java based on Weighted Pushdown Model Checking，Xin Li, Mizuhito Ogawa，Proceedings of the 5th International Workshop on Automated Verification of Infinite-State Systems, AVIS'06，2006
• 16.　Proving Properties of Incremental Merkle Trees，Mizuhito Ogawa, Eiichi Horita, Satoshi Ono，Proceedings of the 20th International Conference on Automated Deduction, CADE-20, Springer LNAI 3632，424-440，2005
• 17.　Maximum Marking Problems with Accumulative Weight Functions，Isao Sasano, Mizuhito Ogawa, Zhenjiang Hu，Proceedings of International Colloquium on Theoretical Aspects of Computing, ICTAC05, Springer LNCS3722，562-578，2005
• 18.　A Linear Time Algorithm for Monadic Querying of Indefinite Data over Linearly Ordered Domains，Mizuhito Ogawa，Information and Computation，186，2，236-259，2004
• 19.　Complete Axiomatization of an Algebraic Construction of Graphs，Mizuhito Ogawa，Proceedings of the 7th International Symposium on Functional and Logic Programming, FLOPS 2004, Springer LNCS 2998，163-179
• 20.　Well-Quasi-Orders and Regular Omega-languages，Mizuhito Ogawa，Theoretical Computer Science，324，1，55-60，2004

1  2

[ 次へ ≫ ]