Shuichi Inokuchi

16 papers C 3Journal 5Unranked 8
YearRankTypeTitle / Venue / Authors
2023 — conf
Multiplication of Local Formulae and Commutativity of CAs with Essentially 3-Neighborhood Local Functions over Monoid N.
CANDARW
Toshikazu Ishida, Shuichi Inokuchi
2022 J jnl
Commutativity of Composition of some n-Dimensional Cellular Automata on Monoids.
Int. J. Netw. Comput.
Toshikazu Ishida, Shuichi Inokuchi
2021 — conf
Commutativity of Composition of some Elementary Cellular Automata with Essentially 2-Neighborhood Local Functions over Monoids.
CANDAR (Workshops)
Toshikazu Ishida, Shuichi Inokuchi
2020 — conf
Commutativity of Composition of some Elementary Cellular Automata on Monoids.
CANDAR
Toshikazu Ishida, Shuichi Inokuchi
2016 J jnl
Cellular Automata Associated with Σ-Algebras.
IEICE Trans. Inf. Syst.
Shuichi Inokuchi, Hitoshi Furusawa, Toshikazu Ishida, Yasuo Kawahara
2016 C conf
Formalization of proofs using relational calculus.
ISITA
Yoshihiro Mizoguchi, Hisaharu Tanaka, Shuichi Inokuchi
2016 J jnl
Propositional Logic and Cellular Automata on Monoids.
J. Cell. Autom.
Toshikazu Ishida, Shuichi Inokuchi, Yasuo Kawahara
2014 J jnl
A Formulation of Composition for Cellular Automata on Groups.
IEICE Trans. Inf. Syst.
Shuichi Inokuchi, Takahiro Ito, Mitsuhiko Fujio, Yoshihiro Mizoguchi
2014 — conf
Cellular Automata and Formulae on Monoids.
ACRI
Toshikazu Ishida, Shuichi Inokuchi, Yasuo Kawahara
2013 — conf
Continuity of Inverse Transition Relations of 2-Neighborhood Cellular Automata.
CANDAR
Toshikazu Ishida, Shuichi Inokuchi
2013 — conf
Formal Proofs for Automata and Sticker Systems.
CANDAR
Hisaharu Tanaka, Issei Sakashita, Shuichi Inokuchi, Yoshihiro Mizoguchi
2012 — conf
Limit Cycle for Composited Cellar Automata.
ACRI
Toshikazu Ishida, Shuichi Inokuchi
2008 — conf
An abstract collision system.
Automata
Takahiro Ito, Shuichi Inokuchi, Yoshihiro Mizoguchi
2006 C conf
The Number of Orbits of Periodic Box-Ball Systems.
UC
Akihiro Mikoda, Shuichi Inokuchi, Yoshihiro Mizoguchi, Mitsuhiko Fujio
2005 J jnl
Generalized Partitioned Quantum Cellular Automata and Quantization of Classical CA.
Int. J. Unconv. Comput.
Shuichi Inokuchi, Yoshihiro Mizoguchi
2005 C conf
On Reversible Cellular Automata with Finite Cell Array.
UC
Shuichi Inokuchi, Kazumasa Honda, Hyen Yeal Lee, Tatsuro Sato, Yoshihiro Mizoguchi, Yasuo Kawahara