Concepedia

Takahito Aoto

TA

5

Publications

68

Citations

5

H-Index

1999

Active since

Affiliations

Tohoku University(Current)

Takahito Aoto is an author at Tohoku University specializing in automated reasoning, formal verification, and formal methods.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationLanguageLinguisticsComputational LinguisticsSyntaxGrammar

Publications per year

1999–2015

5

Publications

5

Program transformation by templates based on term rewriting

Yuki Chiba, Takahito Aoto, Yoshihito Toyama · 2005 · 16 citations

Software Maintenance, Engineering, Verification +18

Automated Confluence Proof by Decreasing Diagrams based on Rule-Labelling

Takahito Aoto · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2010 · 14 citations · Full text

A Reduction-Preserving Completion for Proving Confluence of Non-Terminating Term Rewriting Systems

Takahito Aoto, Yoshihito Toyama · Logical Methods in Computer Science · 2012 · 13 citations · Full text

Engineering, Rewrite Rules, Automated Proof +16

Confluence of Orthogonal Nominal Rewriting Systems Revisited

Takaki Suzuki, Kentaro Kikuchi, Takahito Aoto et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2015 · 13 citations · Full text

Engineering, Higher-order Logic, Semantics +16

Uniqueness of Normal Proofs in Implicational Intuitionistic Logic

Takahito Aoto · Journal of Logic Language and Information · 1999 · 12 citations

Rows per page

1–5 of 5