×
Compute Distance To:
Author ID: morihata.akimasa Recent zbMATH articles by "Morihata, Akimasa"
Published as: Morihata, Akimasa
Documents Indexed: 17 Publications since 2006
Co-Authors: 12 Co-Authors with 12 Joint Publications
77 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

7 Publications have been cited 11 times in 7 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
Balanced trees inhabiting functional parallel programming. Zbl 1323.68140
Morihata, Akimasa; Matsuzaki, Kiminori
1
2011
Write it recursively: a generic framework for optimal path queries. Zbl 1323.68422
Morihata, Akimasa; Matsuzaki, Kiminori; Takeichi, Masato
1
2008
A short cut to parallelization theorems. Zbl 1323.68181
Morihata, Akimasa
1
2013
Optimizing declarative parallel distributed graph processing by using constraint solvers. Zbl 06900731
Morihata, Akimasa; Emoto, Kento; Matsuzaki, Kiminori; Hu, Zhenjiang; Iwasaki, Hideya
1
2018
Swapping arguments and results of recursive functions. Zbl 1235.68059
Morihata, Akimasa; Kakehi, Kazuhiko; Hu, Zhenjiang; Takeichi, Masato
1
2006
Optimizing declarative parallel distributed graph processing by using constraint solvers. Zbl 06900731
Morihata, Akimasa; Emoto, Kento; Matsuzaki, Kiminori; Hu, Zhenjiang; Iwasaki, Hideya
1
2018
A short cut to parallelization theorems. Zbl 1323.68181
Morihata, Akimasa
1
2013
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
Swapping arguments and results of recursive functions. Zbl 1235.68059
Morihata, Akimasa; Kakehi, Kazuhiko; Hu, Zhenjiang; Takeichi, Masato
1
2006

Citations by Year