Published papers
Okada, Mitsuhiro
41-60 items (total 139)
Completeness and Counter-Example Generations of a Basic Protocol Logic (extended abstract)
- Author
- Mitsuhiro Okada, Koji Hasebe
- Publication Title
- Magazine name 6th International Workshop on Rule-Based Programming (RULE'05), volume 147 of Electronic Notes in Theoretical Computer Science Start Page 73 - End Page 92 (Publication Date）2006）
- Authorship Category
- Joint Work
- Publication Category
- Research paper (international conference proceedings)
- Peer-review Status
- With
Wittgenstein on Equinumerosity and Surveyability
- Author
- M. Marion and M. Okada
- Publication Title
- Magazine name Grazer Philosophische Studien, vol.89 Start Page 59 - End Page 76 (Publication Date）2014）
- Authorship Category
- Joint Work
- Publication Category
- Research paper (scientific journal)
- Peer-review Status
- With
Towards explaining the cognitive efficacy of Euler diagrams in syllogistic reasoning:A relational perspective
- Author
- Mineshima,K., Sato,Y., Takemura,R., & Okada,M.
- Publication Title
- Magazine name Journal of Visual Language and Computing,Vol.25,Issue 3 Start Page 156 - End Page 169 (Publication Date）2014/06）
- Authorship Category
- Joint Work
- Publication Category
- Research paper (scientific journal)
- Peer-review Status
- With
Shape Perception in Chemistry
- Author
- Janna Hastings, Colin Batchelor and Mitsuhiro Okada
- Publication Title
- Magazine name CEUR Proceedings (Publication Date）2013）
- Authorship Category
- Joint Work
- Publication Category
- Research paper (international conference proceedings)
- Peer-review Status
- With
Husserl and Hilbert on Completeness and Husserl's Rewrite-Based Theory of Multiplicity
- Author
- Mitsuhiro Okada
- Publication Title
- Magazine name Rewrite Theory and its Applications (RTA 2013),Leibniz Internathinal Proceedings in Infomations(LIPIcs),Vol.21 Publisher Schloss Dagtuhl-Dagstuhl Publishing Start Page 4 - End Page 19 (Publication Date）2013）
- Authorship Category
- Single Work
- Publication Category
- Research paper (international conference proceedings)
Computational Soundress of cryptographic communication protocols,CCS 2013,ACM Proceedings,Des 2013
- Author
- Gergery Bana, Koji Hasebe and Mitsuhiro Okada
- Publication Title
- Magazine name Association for Computing Machinery (Publication Date）2013/12）
- Authorship Category
- Joint Work
- Publication Category
- Research paper (international conference proceedings)
- Peer-review Status
- With
Computationally Complete Symbolic Attacker and Key Exchange
- Author
- Gergei Bana, Koji Hasebe, Mitsuhiro Okada
- Publication Title
- Magazine name SIGSAC conference on Computer and communications security Publisher ACM Start Page 1231 - End Page 1246 (Publication Date）2013/11）
- Authorship Category
- Joint Work
- Publication Category
- Research paper (international conference proceedings)
Wittgenstein on Contradiction and Consistency:An Overview
- Author
- Marion,M.& Okada,M.
- Publication Title
- Magazine name Ludovic Soutif,tif,Luiz Carlos Pereira & Camila Jourdan(eds.)Wittgenstein:Matematica,Linguagem,Percepcao,O que nos faz pensar,n 33 Start Page 50 - End Page 79 (Publication Date）2013/06）
- Authorship Category
- Joint Work
- Publication Category
- Research paper (scientific journal)
Two cohort and three independent anonymous twin projects at the Keio Twin Research center(KoTReC)
- Author
- Ando,J.,Hujisawa,K.,et al.(Okada,M 15/26番目）
- Publication Title
- Magazine name Twin research and human genetics,Feb 2013,Vol.16,Special Issue 01 Start Page 202 - End Page 216 (Publication Date）2013/02）
- Authorship Category
- Joint Work
- Publication Category
- Research paper (scientific journal)
On The Cognitive Efficacy of Euler Diagrams in Syllogistic Reasoning: A Relational Perspective
- Author
- Koji Mineshima, Yuri Sato, Ryo Takemura, and Mitsuhiro Okada.
- Publication Title
- Magazine name In Proceedings of the 3rd international workshop on euler diagrams (euler diagrams 2012), CEUR Workshop Proceedings Start Page 17 - End Page 31 (Publication Date）2012）
- Authorship Category
- Joint Work
- Publication Category
- Research paper (international conference proceedings)
- Peer-review Status
- With
A Diagrammatic Inference System with Euler Circles
- Author
- Koji Mineshima, Mitsuhiro Okada and Ryo Takemura
- Publication Title
- Magazine name Journal of Logic, Language and Information, Vol.21, Issue 3 Start Page 365 - End Page 391 (Publication Date）2012）
- Authorship Category
- Joint Work
- Publication Category
- Research paper (scientific journal)
- Peer-review Status
- With
Wittgenstein et le lien entre la signification d' un enonce mathematique et sa preuve
- Author
- Mathieu Marion and Mitsuhiro Okada
- Publication Title
- Magazine name Philosophiques,Vol.39,n゜(Wittgenstein Special Issue) Start Page 101 - End Page 124 (Publication Date）2012）
- Authorship Category
- Joint Work
- Publication Category
- Research paper (scientific journal)
A Generalized Syllogistic Inference System based on Inclusion and Exclusion Relations
- Author
- Koji Mineshima, Mitsuhiro Okada and Ryo Takemura
- Publication Title
- Magazine name Studia Logica,Vol.100,Issue 4(Special issue,Logic and Natural Language) Volume 100(Issue 4) Start Page 753 - End Page 785 (Publication Date）2012）
- Authorship Category
- Joint Work
- Publication Category
- Research paper (scientific journal)
- Peer-review Status
- With
On the Cognitive Efficacy of Euler Diagrams in Syllogistic Reasoning: A Relational Perspective
- Author
- Yuri Sato, Koji Mineshima, Ryo Takemura, Mitsuhiro Okada
- Publication Title
- Magazine name Proceedings of 3rd International Workshop on Euler Diagrams,CEUR Workshop Proceedings,Vol.854 Start Page 17 - End Page 31 (Publication Date）2012）
- Authorship Category
- Joint Work
- Publication Category
- Research paper (international conference proceedings)
- Peer-review Status
- With
図形を用いた演繹的推論の認知プロセス
- Author
- 佐藤 有理, 峯島 宏次, 竹村 亮, and 岡田 光弘
- Publication Title
- Start Page 269 - End Page 274 (Publication Date）2011）
- Authorship Category
- Joint Work
- Publication Category
- Research paper (other academic)
Secrecy-Oriented First-Order Logical Analysis of Cryptographic Protocols
- Author
- Gergei Bana, Koji Hasebe, and Mitsuhiro Okada
- Publication Title
- Magazine name IACR Cryptology ePrint Archive (Publication Date）2010）
- Authorship Category
- Joint Work
- Publication Category
- Research paper (other academic)
セキュリティプロトコルの論理的検証法
- Author
- 長谷部浩二、バナ・ゲルゲイ、岡田光弘
- Publication Title
- (Publication Date）2010）
- Authorship Category
- Joint Work
- Publication Category
- Research paper (scientific journal)
- Peer-review Status
- With
Two Types of Diagrammatic Inference System:Relation-based System as Natural Deduction and Region-based System as Resolution,2010,Proceedings of 6th International Conference on the Theory and Application of Diagrams(DIAGRAMS 2010)
- Author
- Koji Mineshima,Mitsuhiro Okada and Ryo Takemura
- Publication Title
- Magazine name Springer (Publication Date）2010）
- Authorship Category
- Joint Work
- Publication Category
- Research paper (scientific journal)
- Peer-review Status
- With
オイラー図・ヴェン図を用いた図形推論の証論的分析
- Author
- 竹村亮、峯村宏次、佐藤有理、岡田光弘
- Publication Title
- (Publication Date）2010）
- Authorship Category
- Joint Work
- Publication Category
- Research paper (other academic)
オントロジーの論理学的、哲学的源泉
- Author
- 岡田 光弘
- Publication Title
- (Publication Date）2010）
- Authorship Category
- Single Work
- Publication Category
- Research paper (scientific journal)