Yoshihiro Mizoguchi

Publication Activity (10 Years)

Years Active: 1993-2016
Publications (10 Years): 5

Top Topics

Conformal Geometric Algebra

Relational Calculus

Eigendecomposition

Top Venues

IEICE Trans. Inf. Syst.

Publications

Toshiaki Matsushima, Yoshihiro Mizoguchi, Alexandre Derouet-Jourdan
Verification of a brick Wang tiling algorithm. SCSS (2016)
Alexandre Derouet-Jourdan, Shizuo Kaji, Yoshihiro Mizoguchi
A linear algorithm for Brick Wang tiling. CoRR (2016)
Mitsuhiro Kondo, Takuya Matsuo, Yoshihiro Mizoguchi, Hiroyuki Ochiai
A Mathematica module for Conformal Geometric Algebra and Origami Folding. SCSS (2016)
Yoshihiro Mizoguchi, Hisaharu Tanaka, Shuichi Inokuchi
Formalization of proofs using relational calculus. ISITA (2016)
Mitsugu Hirasaka, Kyoung-Tark Kim, Yoshihiro Mizoguchi
Uniqueness of Butson Hadamard matrices of small degrees. J. Discrete Algorithms 34 (2015)
Shuichi Inokuchi, Takahiro Ito, Mitsuhiko Fujio, Yoshihiro Mizoguchi
A Formulation of Composition for Cellular Automata on Groups. IEICE Trans. Inf. Syst. (3) (2014)
Hisaharu Tanaka, Issei Sakashita, Shuichi Inokuchi, Yoshihiro Mizoguchi
Formal Proofs for Automata and Sticker Systems. CANDAR (2013)
K. K. K. R. Perera, Yoshihiro Mizoguchi
Bipartition of graphs based on the normalized cut and spectral methods CoRR (2012)
Shizuo Kaji, Sampei Hirose, Shigehiro Sakata, Yoshihiro Mizoguchi, Ken Anjyo
Mathematical Analysis on Affine Maps for 2D Shape Interpolation. Symposium on Computer Animation (2012)
Takahiro Ito, Shuichi Inokuchi, Yoshihiro Mizoguchi
An abstract collision system. Automata (2008)
Akihiro Mikoda, Shuichi Inokuchi, Yoshihiro Mizoguchi, Mitsuhiko Fujio
The Number of Orbits of Periodic Box-Ball Systems. UC (2006)
Shuichi Inokuchi, Kazumasa Honda, Hyen Yeal Lee, Tatsuro Sato, Yoshihiro Mizoguchi, Yasuo Kawahara
On Reversible Cellular Automata with Finite Cell Array. UC (2005)
Shuichi Inokuchi, Yoshihiro Mizoguchi
Generalized Partitioned Quantum Cellular Automata and Quantization of Classical CA. Int. J. Unconv. Comput. 1 (2) (2005)
Yoshihiro Mizoguchi
Shortest Path Length Calculation Using Graph Transformations. JCIS (2002)
Yoshihiro Mizoguchi, Pericles Loucopoulos
Formalizing the Definition and Evolution of Models in a Repository using the Relational Graph Expressions. RelMiCS (2000)
Yoshihiro Mizoguchi
Properties of Graphs Preserved by Relational Graph Rewritings. Inf. Sci. 119 (3-4) (1999)
Yoshihiro Mizoguchi
Properties of Graphs Preserved by Relational Graph Rewritings. RelMiCS (1997)
Yoshihiro Mizoguchi, Yasuo Kawahara
Relational Graph Rewritings. Theor. Comput. Sci. 141 (1&2) (1995)
Yasuo Kawahara, Yoshihiro Mizoguchi
Relational Structures and Their Partial Morphisms in View of Single Pushout Rewriting. Dagstuhl Seminar on Graph Transformations in Computer Science (1993)