• 777 Citations
  • 16 h-Index
1987 …2019
If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where Mitsuhiro Okada is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

Linear Logic Mathematics
Semantics Engineering & Materials Science
Abstract data types Engineering & Materials Science
Cut-elimination Mathematics
Completeness Mathematics
Logic Mathematics
Abstract Data Types Mathematics
Rewriting Mathematics

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 1987 2019

  • 777 Citations
  • 16 h-Index
  • 42 Article
  • 20 Conference contribution
  • 2 Chapter
  • 1 Conference article

On quasi ordinal diagram systems

Okada, M. & Takahashi, Y., 2019 Jan 1, In : Electronic Proceedings in Theoretical Computer Science, EPTCS. 288, p. 38-49 12 p.

Research output: Contribution to journalConference article

Open Access
Pattern matching

Verification methods for the computationally complete symbolic attacker based on indistinguishability

Bana, G., Chadha, R., Eeralla, A. K. & Okada, M., 2019 Oct, In : ACM Transactions on Computational Logic. 21, 1, 2.

Research output: Contribution to journalArticle

Diffie-Hellman
Network protocols
Key Exchange
Axioms
Acoustic waves
1 Citation (Scopus)

Corrigendum to “Inductive-data-type systems” [Theoret. Comput. Sci. 272 (1–2) (2002) 41–68]

Blanqui, F., Jouannaud, J. P. & Okada, M., 2018 Jan 1, (Accepted/In press) In : Theoretical Computer Science.

Research output: Contribution to journalArticle

Abstract data types
Type Systems
Abstract Data Types
Strictly positive
Schema
1 Citation (Scopus)

Qualitatively coherent representation makes decision-making easier with binary-colored multi-attribute tables: An eye-tracking study

Morii, M., Ideno, T., Takemura, K. & Okada, M., 2017 Aug 17, In : Frontiers in Psychology. 8, AUG, 1388.

Research output: Contribution to journalArticle

Decision Making
Eye Movements
Color
hydroquinone

Semantics for "enough-certainty" and fitting's embedding of classical logic in S4

Bana, G. & Okada, M., 2016 Aug 1, Computer Science Logic 2016, CSL 2016. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 62.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Semantics
Security of data
Network protocols