On Reversible Cellular Automata with Finite Cell Array. - Shuichi Inokuchi; Kazumasa Honda; Hyen Yeal Lee; Tatsuro Sato; Yoshihiro Mizoguchi; Yasuo Kawahara (UC, 2005)

Generalized Partitioned Quantum Cellular Automata and Quantization of Classical CA. - Shuichi Inokuchi; Yoshihiro Mizoguchi (Int. J. Unconv. Comput., 2005)

The Number of Orbits of Periodic Box-Ball Systems. - Akihiro Mikoda; Shuichi Inokuchi; Yoshihiro Mizoguchi; Mitsuhiko Fujio (UC, 2006)

An abstract collision system. - Takahiro Ito; Shuichi Inokuchi; Yoshihiro Mizoguchi (Automata, 2008)

Limit Cycle for Composited Cellar Automata. - Toshikazu Ishida; Shuichi Inokuchi (ACRI, 2012)

Continuity of Inverse Transition Relations of 2-Neighborhood Cellular Automata. - Toshikazu Ishida; Shuichi Inokuchi (CANDAR, 2013)

Formal Proofs for Automata and Sticker Systems. - Hisaharu Tanaka; Issei Sakashita; Shuichi Inokuchi; Yoshihiro Mizoguchi (CANDAR, 2013)

Cellular Automata and Formulae on Monoids. - Toshikazu Ishida; Shuichi Inokuchi; Yasuo Kawahara (ACRI, 2014)

A Formulation of Composition for Cellular Automata on Groups. - Shuichi Inokuchi; Takahiro Ito; Mitsuhiko Fujio; Yoshihiro Mizoguchi (IEICE Trans. Inf. Syst., 2014)

Formalization of proofs using relational calculus. - Yoshihiro Mizoguchi; Hisaharu Tanaka; Shuichi Inokuchi (ISITA, 2016)

Cellular Automata Associated with Σ-Algebras. - Shuichi Inokuchi; Hitoshi Furusawa; Toshikazu Ishida; Yasuo Kawahara (IEICE Trans. Inf. Syst., 2016)

Propositional Logic and Cellular Automata on Monoids. - Toshikazu Ishida; Shuichi Inokuchi; Yasuo Kawahara (J. Cell. Autom., 2016)

Commutativity of Composition of some Elementary Cellular Automata on Monoids. - Toshikazu Ishida; Shuichi Inokuchi (CANDAR, 2020)

Commutativity of Composition of some Elementary Cellular Automata with Essentially 2-Neighborhood Local Functions over Monoids. - Toshikazu Ishida; Shuichi Inokuchi (CANDAR (Workshops), 2021)

Commutativity of Composition of some n-Dimensional Cellular Automata on Monoids. - Toshikazu Ishida; Shuichi Inokuchi (Int. J. Netw. Comput., 2022)

Multiplication of Local Formulae and Commutativity of CAs with Essentially 3-Neighborhood Local Functions over Monoid N. - Toshikazu Ishida; Shuichi Inokuchi (CANDARW, 2023)