| 2026 | DIAGRAMS | Under which Conditions Are Highlighted Multi-attribute Tables more Effective for Decision Making? An Eye-Tracking Study. | Masahiro Morii, Takashi Ideno, Yuki Tamari, Kazuhisa Takemura, Mitsuhiro Okada |
| 2026 | EACL | Evaluation of Deontic Conditional Reasoning in Large Language Models: The Case of Wason's Selection Task. | Hirohiko Abe, Kentaro Ozeki, Risako Ando, Takanobu Morishita, Koji Mineshima, Mitsuhiro Okada |
| 2024 | ACL | Exploring Reasoning Biases in Large Language Models Through Syllogism: Insights from the NeuBAROCO Dataset. | Kentaro Ozeki, Risako Ando, Takanobu Morishita, Hirohiko Abe, Koji Mineshima, Mitsuhiro Okada |
| 2024 | DIAGRAMS | Can Euler Diagrams Improve Syllogistic Reasoning in Large Language Models? | Risako Ando, Kentaro Ozeki, Takanobu Morishita, Hirohiko Abe, Koji Mineshima, Mitsuhiro Okada |
| 2024 | DIAGRAMS | An Eye-Tracking Study on the Effects of Using Highlighted Multi-attribute Tables: A Preliminary Report. | Masahiro Morii, Takashi Ideno, Yuki Tamari, Kazuhisa Takemura, Mitsuhiro Okada |
| 2020 | DIAGRAMS | On Effects of Changing Multi-attribute Table Design on Decision Making: An Eye-Tracking Study. | Takashi Ideno, Masahiro Morii, Kazuhisa Takemura, Mitsuhiro Okada |
| 2016 | CSL | Semantics for "Enough-Certainty" and Fitting's Embedding of Classical Logic in S4. | Gergei Bana, Mitsuhiro Okada |
| 2013 | CCS | Computationally complete symbolic attacker and key exchange. | Gergei Bana, Koji Hasebe, Mitsuhiro Okada |
| 2012 | DIAGRAMS | On the Cognitive Efficacy of Euler Diagrams in Syllogistic Reasoning: A Relational Perspective. | Yuri Sato, Koji Mineshima, Ryo Takemura, Mitsuhiro Okada |
| 2010 | DIAGRAMS | Two Types of Diagrammatic Inference Systems: Natural Deduction Style and Resolution Style. | Koji Mineshima, Mitsuhiro Okada, Ryo Takemura |
| 2008 | DIAGRAMS | Diagrammatic Reasoning System with Euler Circles: Theory and Experiment Design. | Koji Mineshima, Mitsuhiro Okada, Yuri Sato, Ryo Takemura |
| 1993 | LPAR | System Description of LAMBDALG - A Higher Order Algebraic Specification Language. | Yexuan Gui, Mitsuhiro Okada |
| 1991 | ICALP | Satisfiability of Systems of Ordinal Notations with the Subterm Property is Decidable. | Jean-Pierre Jouannaud, Mitsuhiro Okada |
| 1991 | LICS | A Computation Model for Executable Higher-Order Algebraic Specification Languages | Jean-Pierre Jouannaud, Mitsuhiro Okada |
| 1989 | ISSAC | Strong Normalizability for the Combined System of the Typed lambda Calculus and an Arbitrary Convergent Term Rewrite System. | Mitsuhiro Okada |
| 1988 | CADE | Canonical Conditional Rewrite Systems. | Nachum Dershowitz, Mitsuhiro Okada, G. Sivakumar |
| 1988 | LICS | Proof-Theoretic Techniques for Term Rewriting Theory | Nachum Dershowitz, Mitsuhiro Okada |