Formal Concepts in Dedekind Categories. - Toshikazu Ishida; Kazumasa Honda; Yasuo Kawahara (RelMiCS, 2008)

Armstrong's Inference Rules in Dedekind Categories. - Toshikazu Ishida; Kazumasa Honda; Yasuo Kawahara (RelMiCS, 2009)

Continuous Relations and Richardson's Theorem. - Hitoshi Furusawa; Toshikazu Ishida; Yasuo Kawahara (RAMiCS, 2012)

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)

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

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)