Yoshihiro Mizoguchi

According to our database, Yoshihiro Mizoguchi authored at least 18 papers between 1993 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

A linear algorithm for Brick Wang tiling.

Alexandre Derouet-Jourdan, Shizuo Kaji, Yoshihiro Mizoguchi

CoRR, 2016

Verification of a brick Wang tiling algorithm.

Toshiaki Matsushima, Yoshihiro Mizoguchi, Alexandre Derouet-Jourdan

Proceedings of the 7th International Symposium on Symbolic Computation in Software Science, 2016

A Mathematica module for Conformal Geometric Algebra and Origami Folding.

Mitsuhiro Kondo, Takuya Matsuo, Yoshihiro Mizoguchi, Hiroyuki Ochiai

Proceedings of the 7th International Symposium on Symbolic Computation in Software Science, 2016

Formalization of proofs using relational calculus.

Yoshihiro Mizoguchi, Hisaharu Tanaka, Shuichi Inokuchi

Proceedings of the 2016 International Symposium on Information Theory and Its Applications, 2016

2015

Uniqueness of Butson Hadamard matrices of small degrees.

Mitsugu Hirasaka, Kyoung-Tark Kim, Yoshihiro Mizoguchi

J. Discrete Algorithms, 2015

2014

A Formulation of Composition for Cellular Automata on Groups.

Shuichi Inokuchi, Takahiro Ito, Mitsuhiko Fujio, Yoshihiro Mizoguchi

IEICE Trans. Inf. Syst., 2014

2013

Formal Proofs for Automata and Sticker Systems.

Hisaharu Tanaka, Issei Sakashita, Shuichi Inokuchi, Yoshihiro Mizoguchi

Proceedings of the First International Symposium on Computing and Networking, 2013

2012

Bipartition of graphs based on the normalized cut and spectral methods

K. K. K. R. Perera, Yoshihiro Mizoguchi

CoRR, 2012

Mathematical Analysis on Affine Maps for 2D Shape Interpolation.

Shizuo Kaji, Sampei Hirose, Shigehiro Sakata, Yoshihiro Mizoguchi, Ken Anjyo

Proceedings of the 2012 Eurographics/ACM SIGGRAPH Symposium on Computer Animation, 2012

2008

An abstract collision system.

Takahiro Ito, Shuichi Inokuchi, Yoshihiro Mizoguchi

Proceedings of the Automata 2008: Theory and Applications of Cellular Automata, 2008

2006

The Number of Orbits of Periodic Box-Ball Systems.

Akihiro Mikoda, Shuichi Inokuchi, Yoshihiro Mizoguchi, Mitsuhiko Fujio

Proceedings of the Unconventional Computation, 5th International Conference, 2006

2005

Generalized Partitioned Quantum Cellular Automata and Quantization of Classical CA.

Shuichi Inokuchi, Yoshihiro Mizoguchi

Int. J. Unconv. Comput., 2005

On Reversible Cellular Automata with Finite Cell Array.

Shuichi Inokuchi, Kazumasa Honda, Hyen Yeal Lee, Tatsuro Sato, Yoshihiro Mizoguchi, Yasuo Kawahara

Proceedings of the Unconventional Computation, 4th International Conference, 2005

2002

Shortest Path Length Calculation Using Graph Transformations.

Yoshihiro Mizoguchi

Proceedings of the 6th Joint Conference on Information Science, 2002

2000

Formalizing the Definition and Evolution of Models in a Repository using the Relational Graph Expressions.

Yoshihiro Mizoguchi, Pericles Loucopoulos

Proceedings of the Participants Copies of Fifth International Seminar on Relational Methods in Computer Science, 2000

1999

Properties of Graphs Preserved by Relational Graph Rewritings.

Yoshihiro Mizoguchi

Inf. Sci., 1999

1995

Relational Graph Rewritings.

Yoshihiro Mizoguchi, Yasuo Kawahara

Theor. Comput. Sci., 1995

1993

Relational Structures and Their Partial Morphisms in View of Single Pushout Rewriting.

Yasuo Kawahara, Yoshihiro Mizoguchi

Proceedings of the Graph Transformations in Computer Science, International Workshop, 1993