Relational Structures and Their Partial Morphisms in View of Single Pushout Rewriting. - Yasuo Kawahara; Yoshihiro Mizoguchi (Dagstuhl Seminar on Graph Transformations in Computer Science, 1993)

Relational Graph Rewritings. - Yoshihiro Mizoguchi; Yasuo Kawahara (Theor. Comput. Sci., 1995)

Properties of Graphs Preserved by Relational Graph Rewritings. - Yoshihiro Mizoguchi (Inf. Sci., 1999)

Formalizing the Definition and Evolution of Models in a Repository using the Relational Graph Expressions. - Yoshihiro Mizoguchi; Pericles Loucopoulos (RelMiCS, 2000)

Shortest Path Length Calculation Using Graph Transformations. - Yoshihiro Mizoguchi (JCIS, 2002)

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)

Mathematical Analysis on Affine Maps for 2D Shape Interpolation. - Shizuo Kaji; Sampei Hirose; Shigehiro Sakata; Yoshihiro Mizoguchi; Ken Anjyo (Symposium on Computer Animation, 2012)

Bipartition of graphs based on the normalized cut and spectral methods - K. K. K. R. Perera; Yoshihiro Mizoguchi (CoRR, 2012)

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

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

Uniqueness of Butson Hadamard matrices of small degrees. - Mitsugu Hirasaka; Kyoung-Tark Kim; Yoshihiro Mizoguchi (J. Discrete Algorithms, 2015)

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

A Mathematica module for Conformal Geometric Algebra and Origami Folding. - Mitsuhiro Kondo; Takuya Matsuo; Yoshihiro Mizoguchi; Hiroyuki Ochiai (SCSS, 2016)

Verification of a brick Wang tiling algorithm. - Toshiaki Matsushima; Yoshihiro Mizoguchi; Alexandre Derouet-Jourdan (SCSS, 2016)

A linear algorithm for Brick Wang tiling. - Alexandre Derouet-Jourdan; Shizuo Kaji; Yoshihiro Mizoguchi (CoRR, 2016)