Some Binomial Sums Involving Absolute Values. - Richard P. Brent; Hideyuki Ohtsuka; Judy-anne H. Osborn; Helmut Prodinger (J. Integer Seq., 2016)

Sums of powers of Catalan triangle numbers. - Pedro J. Miana; Hideyuki Ohtsuka; Natalia Romero (Discret. Math., 2017)

Revitalized Automatic Proofs: Demonstrations. - Tewodros Amdeberhan; David Callan; Hideyuki Ohtsuka; Roberto Tauraso (Integers, 2017)