| 2025 | CVPR | PS-EIP: Robust Photometric Stereo Based on Event Interval Profile. | Kazuma Kitazawa, Takahito Aoto, Satoshi Ikehata, Tsuyoshi Takatani |
| 2025 | LOPSTR | Characterizing Equivalence of Logically Constrained Terms via Existentially Constrained Terms. | Kanta Takahata, Jonas Schpf, Naoki Nishida, Takahito Aoto |
| 2025 | PPDP | Recovering Commutation of Logically Constrained Rewriting and Equivalence Transformations. | Kanta Takahata, Jonas Schpf, Naoki Nishida, Takahito Aoto |
| 2024 | FSCD | Equational Theories and Validity for Logically Constrained Term Rewriting. | Takahito Aoto, Naoki Nishida, Jonas Schpf |
| 2024 | LOPSTR | Proving Uniqueness of Normal Forms w.r.t Reduction of Term Rewriting Systems. | Takahito Aoto |
| 2021 | CVPR | Event-Based Bispectral Photometry Using Temporally Modulated Illumination. | Tsuyoshi Takatani, Yuzuha Ito, Ayaka Ebisu, Yinqiang Zheng, Takahito Aoto |
| 2021 | ICTAC | A Proof Method for Local Sufficient Completeness of Term Rewriting Systems. | Tomoki Shiraishi, Kentaro Kikuchi, Takahito Aoto |
| 2021 | LATA | Commutative Rational Term Rewriting. | Mamoru Ishizuka, Takahito Aoto, Munehiro Iwami |
| 2020 | FSCD | A Fast Decision Procedure For Uniqueness of Normal Forms w.r.t. Conversion of Shallow Term Rewriting Systems. | Masaomi Yamaguchi, Takahito Aoto |
| 2020 | LOPSTR | Confluence and Commutation for Nominal Rewriting Systems with Atom-Variables. | Kentaro Kikuchi, Takahito Aoto |
| 2019 | ICCP | Spatio-temporal Phase Disambiguation in Depth Sensing. | Takahiro Kushida, Kenichiro Tanaka, Takahito Aoto, Takuya Funatomi, Yasuhiro Mukaigawa |
| 2019 | PPDP | Inductive Theorem Proving in Non-terminating Rewriting Systems and Its Application to Program Transformation. | Kentaro Kikuchi, Takahito Aoto, Isao Sasano |
| 2019 | SIGGRAPH | A design for optical cloaking display. | Takahito Aoto, Yuta Itoh, Kazuki Otao, Kazuki Takazawa, Yoichi Ochiai |
| 2019 | SiggraphA | Fundus imaging using DCRA toward large eyebox. | Yui Atarashi, Kazuki Otao, Takahito Aoto, Yoichi Ochiai |
| 2018 | SiggraphA | Reconstruction of volumetric reflectance using spatio-sequential frequency correlation imaging. | Tsuyoshi Takatani, Takahito Aoto, Kenichiro Tanaka, Takuya Funatomi, Yasuhiro Mukaigawa |
| 2017 | CVPR | One-Shot Hyperspectral Imaging Using Faced Reflectors. | Tsuyoshi Takatani, Takahito Aoto, Yasuhiro Mukaigawa |
| 2016 | ACCV | Ultra-Shallow DoF Imaging Using Faced Paraboloidal Mirrors. | Ryoichiro Nishi, Takahito Aoto, Norihiko Kawai, Tomokazu Sato, Yasuhiro Mukaigawa, Naokazu Yokoya |
| 2016 | CADE | Nominal Confluence Tool. | Takahito Aoto, Kentaro Kikuchi |
| 2015 | CADE | Confluence Competition 2015. | Takahito Aoto, Nao Hirokawa, Julian Nagele, Naoki Nishida, Harald Zankl |
| 2015 | LOPSTR | Correctness of Context-Moving Transformations for Term Rewriting Systems. | Koichi Sato, Kentaro Kikuchi, Takahito Aoto, Yoshihito Toyama |
| 2014 | PPDP | Decision Procedures for Proving Inductive Theorems without Induction. | Takahito Aoto, Sorin Stratulat |
| 2013 | LATA | Termination of Rule-Based Calculi for Uniform Semi-Unification. | Takahito Aoto, Munehiro Iwami |
| 2012 | ICPR | Position estimation of near point light sources using a clear hollow sphere. | Takahito Aoto, Takafumi Taketomi, Tomokazu Sato, Yasuhiro Mukaigawa, Naokazu Yokoya |
| 2005 | PPDP | Program transformation by templates based on term rewriting. | Yuki Chiba, Takahito Aoto, Yoshihito Toyama |