Yoshihiro Mizoguchi

19 papers C 3Journal 7Unranked 9
YearRankTypeTitle / Venue / Authors
2016 — conf
A Mathematica module for Conformal Geometric Algebra and Origami Folding.
SCSS
Mitsuhiro Kondo, Takuya Matsuo, Yoshihiro Mizoguchi, Hiroyuki Ochiai
2016 J jnl
A linear algorithm for Brick Wang tiling.
CoRR
Alexandre Derouet-Jourdan, Shizuo Kaji, Yoshihiro Mizoguchi
2016 C conf
Formalization of proofs using relational calculus.
ISITA
Yoshihiro Mizoguchi, Hisaharu Tanaka, Shuichi Inokuchi
2016 — conf
Verification of a brick Wang tiling algorithm.
SCSS
Toshiaki Matsushima, Yoshihiro Mizoguchi, Alexandre Derouet-Jourdan
2015 J jnl
Uniqueness of Butson Hadamard matrices of small degrees.
J. Discrete Algorithms
Mitsugu Hirasaka, Kyoung-Tark Kim, Yoshihiro Mizoguchi
2014 J jnl
A Formulation of Composition for Cellular Automata on Groups.
IEICE Trans. Inf. Syst.
Shuichi Inokuchi, Takahiro Ito, Mitsuhiko Fujio, Yoshihiro Mizoguchi
2013 — conf
Formal Proofs for Automata and Sticker Systems.
CANDAR
Hisaharu Tanaka, Issei Sakashita, Shuichi Inokuchi, Yoshihiro Mizoguchi
2012 J jnl
Bipartition of graphs based on the normalized cut and spectral methods
CoRR
K. K. K. R. Perera, Yoshihiro Mizoguchi
2012 — conf
Mathematical Analysis on Affine Maps for 2D Shape Interpolation.
Symposium on Computer Animation
Shizuo Kaji, Sampei Hirose, Shigehiro Sakata, Yoshihiro Mizoguchi, Ken Anjyo
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
2002 — conf
Shortest Path Length Calculation Using Graph Transformations.
JCIS
Yoshihiro Mizoguchi
2000 — conf
Formalizing the Definition and Evolution of Models in a Repository using the Relational Graph Expressions.
RelMiCS
Yoshihiro Mizoguchi, Pericles Loucopoulos
1999 J jnl
Properties of Graphs Preserved by Relational Graph Rewritings.
Inf. Sci.
Yoshihiro Mizoguchi
1997 — conf
Properties of Graphs Preserved by Relational Graph Rewritings.
RelMiCS
Yoshihiro Mizoguchi
1995 J jnl
Relational Graph Rewritings.
Theor. Comput. Sci.
Yoshihiro Mizoguchi, Yasuo Kawahara
1993 — conf
Relational Structures and Their Partial Morphisms in View of Single Pushout Rewriting.
Dagstuhl Seminar on Graph Transformations in Computer Science
Yasuo Kawahara, Yoshihiro Mizoguchi