Published papers
Okada, Mitsuhiro
61-80 items (total 139)
Effects of aging on hemispheric asymmetry in inferior frontal cortex activity during belief-bias syllogistic reasoning: A near-infrared spectroscopy study
- Author
- Takeo Tsujii, Mitsuhiro Okada, Shigeru WatanabeOKADA
- Publication Title
- Magazine name Behavioural Brain Research Publisher Behavioural Brain Research Start Page 178 - End Page 183 (Publication Date）2010/07）
Honesty Inferences for Proving Correctness of Security Protocols
- Author
- Mitsuhiro Okada and Kouji Hasebe
- Publication Title
- Magazine name Workshop on New Approaches to Software Construction (WNASC 2004) Start Page 45-57 (Publication Date）2004/09）
- Authorship Category
- Joint Work
- Publication Category
- Research paper (international conference proceedings)
- Peer-review Status
- With
Non-monotonic Properties for Proving Correctness in a Framework of Compositional Logic
- Author
- Mitsuhiro Okada and Kouji Hasebe
- Publication Title
- Magazine name Workshop on Foundations of Computer Security (FCS'04) Start Page 97-113 (Publication Date）2004/07）
- Authorship Category
- Joint Work
- Publication Category
- Research paper (international conference proceedings)
- Peer-review Status
- With
Inferences on Honesty in Compositional Logic for Security Analysis
- Author
- Mitsuhiro Okada and Kouji Hasebe
- Publication Title
- Magazine name the International Symposium on Software Security 2003 (ISSS2003) Start Page 65-86 (Publication Date）2004/06）
- Authorship Category
- Joint Work
- Publication Category
- Research paper (international conference proceedings)
- Peer-review Status
- With
- ISSN
- 0302-9743
Preface
- Author
- Jean-Yves Girard, Mitsuhiro Okada, and Andre Scedrov.
- Publication Title
- Magazine name Theoretical Computer Science Volume 294(Issue 3) (Publication Date）2003）
- Authorship Category
- Joint Work
- Publication Category
- Research paper (scientific journal)
A proof-theoretic study of the correspondence of classical logic and modal logic
- Author
- M. Okada, H. Kushida
- Publication Title
- Magazine name Journal of Symbolic Logic Volume 68(Issue 4) Start Page 1403-1414 (Publication Date）2003）
- Authorship Category
- Single Work
- Publication Category
- Research paper (scientific journal)
- Peer-review Status
- With
A Graph-Theoretic Characterization for Proofs Nets of the Multiplicative Fragment of Non-Commutative Linear Logic
- Author
- N. Nagayama, Mitsuhiro Okada
- Publication Title
- Magazine name Theoretical Computer Science Volume 294(Issue 3) Start Page 551-573 (Publication Date）2003）
- Authorship Category
- Joint Work
- Publication Category
- Research paper (scientific journal)
- Peer-review Status
- With
Phase Semantics for Light Linear Logic
- Author
- M. Konovitch, A. Scedrov, Mitsuhiro Okada
- Publication Title
- Magazine name Thoretical Computer Science Start Page 525-549 (Publication Date）2003）
- Authorship Category
- Joint Work
- Publication Category
- Research paper (scientific journal)
- Peer-review Status
- With
Formal Verification of Dynamic Real-Time State-Transition Systems Using Linear Logic
- Author
- Koji Hasebe, Jean-Pierre Jouannaud, Antonie Kremer, Mitsuhiro Okada, and Roland Zumkeller
- Publication Title
- Magazine name 日本ソフトウェア科学会第20回全国大会予稿集 (Publication Date）2003/09）
- Authorship Category
- Joint Work
- Publication Category
- Research paper (other academic)
A Graph-Theoretic Characterization Theorem for Multiplicative Fragment of Non-Commutative Linear Logic
- Author
- Mitsuhiro Okada
- Publication Title
- Magazine name Theoretical Computer Science Volume 294(Issue 3) Start Page 551 - End Page 573 (Publication Date）2003/02）
- Authorship Category
- Joint Work
- Publication Category
- Research paper (scientific journal)
- Peer-review Status
- With
Linear Logic
- Author
- J.-Y. Girard, M. Okada, A. Scedrov (guest editors)
- Publication Title
- Magazine name Theoretical Computer Science Volume 294(Issue 3) (Publication Date）2003/02）
- Authorship Category
- Single Work
- Publication Category
- Research paper (scientific journal)
- Peer-review Status
- With
線形論理に基づいたセキュリティ・プロトコルの論理的検証法
- Author
- 岡田 光弘, 長谷部浩二
- Publication Title
- Volume 102(Issue 91) Start Page 49 - End Page 54 (Publication Date）2002）
- Authorship Category
- Joint Work
- Publication Category
- Research paper (other academic)
- Peer-review Status
- Without
Inductive Date Type Systems
- Author
- F. Blanqui, J-P. Jouannaud, M. Okada
- Publication Title
- Start Page 41-68 (Publication Date）2002）
- Authorship Category
- Joint Work
- Publication Category
- Research paper (scientific journal)
- Peer-review Status
- With
オントロジー応用のための方法論の考察と展望
- Author
- 岡田 光弘
- Publication Title
- Volume 17(Issue 5) Start Page 604-613 (Publication Date）2002/09）
- Authorship Category
- Single Work
- Publication Category
- Research paper (scientific journal)
- Peer-review Status
- Without
現代のフォーマルオントロジーの動向とオントロジー工学
- Author
- 岡田 光弘
- Publication Title
- Volume 17(Issue 4) Start Page 434-442 (Publication Date）2002/07）
- Authorship Category
- Single Work
- Publication Category
- Research paper (scientific journal)
- Peer-review Status
- Without
A Uniform Semantic Proof for Cut-Elimination and Completeness of Various First and Higher Order Logics
- Author
- Mitsuhiro Okada
- Publication Title
- Magazine name Theoretical Computer Science Volume 2002(Issue 281) Start Page 471 - End Page 498 (Publication Date）2002/06）
- Authorship Category
- Single Work
- Publication Category
- Research paper (scientific journal)
- Peer-review Status
- With
フッサールのフォーマルオントロジーとその影響
- Author
- 岡田 光弘
- Publication Title
- Volume Vol.17(Issue No.3) Start Page 335-344 (Publication Date）2002/05）
- Authorship Category
- Single Work
- Publication Category
- Research paper (scientific journal)
- Peer-review Status
- With
レクチャーシリーズ「哲学とAIにおける対象世界モデリング」の企画にあたって.
- Author
- 溝口 理一郎, 岡田 光弘.
- Publication Title
- Volume 17(Issue 2) Start Page 224 - End Page 231 (Publication Date）2002/03）
- Authorship Category
- Joint Work
- Publication Category
- Research paper (scientific journal)
オントロジーの哲学的・論理学的背景
- Author
- 岡田 光弘
- Publication Title
- Volume Vol.17(Issue No.2) Start Page 224-231 (Publication Date）2002/03）
- Authorship Category
- Single Work
- Publication Category
- Research paper (scientific journal)
- Peer-review Status
- With
Preface
- Author
- Mariangiola Dezani-Ciancaglini, Mitsuhiro Okada, and Masako Takahashi.
- Publication Title
- Magazine name Theoretical Computer Science Volume 272(Issue 1--2) Start Page 1 - End Page 2 (Publication Date）2002/02）
- Authorship Category
- Joint Work
- Publication Category
- Research paper (scientific journal)
- Peer-review Status
- With