Concepedia

Mitsuhiro Okada

MO

13

Publications

449

Citations

12

H-Index

1996

Active since

Affiliations

Keio University(Current)

Université Paris-Sud

Laboratoire de Recherche en Informatique

Russian State University for the Humanities

University of Pennsylvania

Mitsuhiro Okada is an author at Keio University specializing in computer science, automated reasoning, and engineering.

Top concepts

EngineeringComputer ScienceAutomated ReasoningFormal MethodsFormal VerificationSemanticsPsychologyGame TheorySocial SciencesCognitive Science

Publications per year

1996–2015

13

Publications

13

Inductive-data-type systems

Frédéric Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada · Theoretical Computer Science · 2002 · 63 citations · Full text

A uniform semantic proof for cut-elimination and completeness of various first and higher order logics

Mitsuhiro Okada · Theoretical Computer Science · 2002 · 62 citations

Non-classical Logic, Higher Order Logics, Engineering +10

Abstract data type systems

Jean-Pierre Jouannaud, Mitsuhiro Okada · Theoretical Computer Science · 1997 · 58 citations

Engineering, Data Type, Automated Reasoning +5

Phase semantic cut-elimination and normalization proofs of first- and higher-order linear logic

Mitsuhiro Okada · Theoretical Computer Science · 1999 · 46 citations

Non-classical Logic, Higher-order Linear Logic, Engineering +10

Effects of aging on hemispheric asymmetry in inferior frontal cortex activity during belief–bias syllogistic reasoning: A near-infrared spectroscopy study

Takeo Tsujii, Mitsuhiro Okada, Shigeru Watanabe · Behavioural Brain Research · 2010 · 42 citations

Cognitive Science, Brain Function, Cognitive Study +10

Rows per page

1–5 of 13