×

Matsuzaki, Kiminori

Author ID: matsuzaki.kiminori Recent zbMATH articles by "Matsuzaki, Kiminori"
Published as: Matsuzaki, Kiminori
Documents Indexed: 9 Publications since 1993
Co-Authors: 8 Co-Authors with 8 Joint Publications
57 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

7 Publications have been cited 11 times in 8 Documents Cited by Year
The third homomorphism theorem on trees: downward & upward lead to divide-and-conquer. Zbl 1315.68067
Morihata, Akimasa; Matsuzaki, Kiminori; Hu, Zhenjiang; Takeichi, Masato
4
2009
Automatic parallelization of recursive functions using quantifier elimination. Zbl 1284.68191
Morihata, Akimasa; Matsuzaki, Kiminori
2
2010
A fusion-embedded skeleton library. Zbl 1096.68586
Matsuzaki, Kiminori; Kakehi, Kazuhiko; Iwasaki, Hideya; Hu, Zhenjiang; Akashi, Yoshiki
1
2004
Write it recursively: a generic framework for optimal path queries. Zbl 1323.68422
Morihata, Akimasa; Matsuzaki, Kiminori; Takeichi, Masato
1
2008
Balanced trees inhabiting functional parallel programming. Zbl 1323.68140
Morihata, Akimasa; Matsuzaki, Kiminori
1
2011
Optimizing declarative parallel distributed graph processing by using constraint solvers. Zbl 1507.68077
Morihata, Akimasa; Emoto, Kento; Matsuzaki, Kiminori; Hu, Zhenjiang; Iwasaki, Hideya
1
2018
Systematic selection of \(N\)-tuple networks for 2048. Zbl 1398.91059
Oka, Kazuto; Matsuzaki, Kiminori
1
2016
Optimizing declarative parallel distributed graph processing by using constraint solvers. Zbl 1507.68077
Morihata, Akimasa; Emoto, Kento; Matsuzaki, Kiminori; Hu, Zhenjiang; Iwasaki, Hideya
1
2018
Systematic selection of \(N\)-tuple networks for 2048. Zbl 1398.91059
Oka, Kazuto; Matsuzaki, Kiminori
1
2016
Balanced trees inhabiting functional parallel programming. Zbl 1323.68140
Morihata, Akimasa; Matsuzaki, Kiminori
1
2011
Automatic parallelization of recursive functions using quantifier elimination. Zbl 1284.68191
Morihata, Akimasa; Matsuzaki, Kiminori
2
2010
The third homomorphism theorem on trees: downward & upward lead to divide-and-conquer. Zbl 1315.68067
Morihata, Akimasa; Matsuzaki, Kiminori; Hu, Zhenjiang; Takeichi, Masato
4
2009
Write it recursively: a generic framework for optimal path queries. Zbl 1323.68422
Morihata, Akimasa; Matsuzaki, Kiminori; Takeichi, Masato
1
2008
A fusion-embedded skeleton library. Zbl 1096.68586
Matsuzaki, Kiminori; Kakehi, Kazuhiko; Iwasaki, Hideya; Hu, Zhenjiang; Akashi, Yoshiki
1
2004

Citations by Year