Implementation of Parallel Tree Skeletons on Distributed Systems. - Kiminori Matsuzaki; Zhenjiang Hu; Masato Takeichi (APLAS, 2002)

Parallelization with Tree Skeletons. - Kiminori Matsuzaki; Zhenjiang Hu; Masato Takeichi (Euro-Par, 2003)

A Fusion-Embedded Skeleton Library. - Kiminori Matsuzaki; Kazuhiko Kakehi 001; Hideya Iwasaki; Zhenjiang Hu; Yoshiki Akashi (Euro-Par, 2004)

Systematic Derivation of Tree Contraction Algorithms. - Kiminori Matsuzaki; Zhenjiang Hu; Kazuhiko Kakehi 001; Masato Takeichi (Parallel Process. Lett., 2005)

Surrounding Theorem: Developing Parallel Programs for Matrix-Convolutions. - Kento Emoto; Kiminori Matsuzaki; Zhenjiang Hu; Masato Takeichi (Euro-Par, 2006)

A library of constructive skeletons for sequential style of parallel programming. - Kiminori Matsuzaki; Hideya Iwasaki; Kento Emoto; Zhenjiang Hu (Infoscale, 2006)

Towards automatic parallelization of tree reductions in dynamic programming. - Kiminori Matsuzaki; Zhenjiang Hu; Masato Takeichi (SPAA, 2006)

Parallel skeletons for manipulating general trees. - Kiminori Matsuzaki; Zhenjiang Hu; Masato Takeichi (Parallel Comput., 2006)

Domain-Specific Optimization Strategy for Skeleton Programs. - Kento Emoto; Kiminori Matsuzaki; Zhenjiang Hu; Masato Takeichi (Euro-Par, 2007)

Efficient Implementation of Tree Accumulations on Distributed-Memory Parallel Computers. - Kiminori Matsuzaki (International Conference on Computational Science (2), 2007)

Automatic inversion generates divide-and-conquer parallel programs. - Kazutaka Morita; Akimasa Morihata; Kiminori Matsuzaki; Zhenjiang Hu; Masato Takeichi (PLDI, 2007)

Write it recursively: a generic framework for optimal path queries. - Akimasa Morihata; Kiminori Matsuzaki; Masato Takeichi (ICFP, 2008)

Implementing Fusion-Equipped Parallel Skeletons by Expression Templates. - Kiminori Matsuzaki; Kento Emoto (IFL, 2009)

The third homomorphism theorem on trees: downward & upward lead to divide-and-conquer. - Akimasa Morihata; Kiminori Matsuzaki; Zhenjiang Hu; Masato Takeichi (POPL, 2009)

Generators-of-Generators Library with Optimization Capabilities in Fortress. - Kento Emoto; Zhenjiang Hu; Kazuhiko Kakehi 001; Kiminori Matsuzaki; Masato Takeichi (Euro-Par (2), 2010)

Automatic Parallelization of Recursive Functions Using Quantifier Elimination. - Akimasa Morihata; Kiminori Matsuzaki (FLOPS, 2010)

Systematic Development of Correct Bulk Synchronous Parallel Programs. - Louis Gesbert; Zhenjiang Hu; Frédéric Loulergue; Kiminori Matsuzaki; Julien Tesson (PDCAT, 2010)

Towards Systematic Parallel Programming over MapReduce. - Yu Liu; Zhenjiang Hu; Kiminori Matsuzaki (Euro-Par (2), 2011)

Balanced trees inhabiting functional parallel programming. - Akimasa Morihata; Kiminori Matsuzaki (ICFP, 2011)

A Practical Tree Contraction Algorithm for Parallel Skeletons on Trees of Unbounded Degree. - Akimasa Morihata; Kiminori Matsuzaki (ICCS, 2011)

Programming with BSP Homomorphisms. - Joeffrey Legaux; Zhenjiang Hu; Frédéric Loulergue; Kiminori Matsuzaki; Julien Tesson (Euro-Par, 2013)

Simultaneous Finite Automata: An Efficient Data-Parallel Model for Regular Expression Matching. - Ryoma Sin'ya; Kiminori Matsuzaki; Masataka Sassa (ICPP, 2013)

An Automatic Fusion Mechanism for Variable-Length List Skeletons in SkeTo. - Kento Emoto; Kiminori Matsuzaki (Int. J. Parallel Program., 2014)

Dividing Huge XML Trees Using the m-bridge Technique over One-to-one Corresponding Binary Trees. - Takayuki Kawamura; Kiminori Matsuzaki (Inf. Media Technol., 2014)

Accumulative Computation on MapReduce. - Yu Liu; Kento Emoto; Kiminori Matsuzaki; Zhenjiang Hu (Inf. Media Technol., 2014)

Parallel Tree Contraction with Fewer Types of Primitive Contraction Operations and Its Application to Trees of Unbounded Degree. - Akimasa Morihata; Kiminori Matsuzaki (Inf. Media Technol., 2015)

Systematic Selection of N-Tuple Networks for 2048. - Kazuto Oka; Kiminori Matsuzaki (Computers and Games, 2016)

Think like a vertex, behave like a function! a functional DSL for vertex-centric big graph processing. - Kento Emoto; Kiminori Matsuzaki; Zhenjiang Hu; Akimasa Morihata; Hideya Iwasaki (ICFP, 2016)

s6raph: vertex-centric graph processing framework with functional interface. - Onofre Coll Ruiz; Kiminori Matsuzaki; Shigeyuki Sato 001 (FHPC@ICFP, 2016)

Systematic selection of N-tuple networks with consideration of interinfluence for game 2048. - Kiminori Matsuzaki (TAAI, 2016)

Parallel Tree Accumulations on MapReduce. - Kiminori Matsuzaki; Reina Miyazaki (Int. J. Parallel Program., 2016)

A Generic Implementation of Tree Skeletons. - Shigeyuki Sato 001; Kiminori Matsuzaki (Int. J. Parallel Program., 2016)

A Partial-tree-based Approach for XPath Query on Large XML Trees. - Wei Hao; Kiminori Matsuzaki (J. Inf. Process., 2016)

Developing a 2048 Player with Backward Temporal Coherence Learning and Restart. - Kiminori Matsuzaki (ACG, 2017)

Functional Models of Hadoop MapReduce with Application to Scan. - Kiminori Matsuzaki (Int. J. Parallel Program., 2017)

Evaluation of Libraries for Parallel Computing in Haskell - A Case Study with a Super-resolution Application. - Takuya Matsumoto; Kiminori Matsuzaki (J. Inf. Process., 2017)

A Generator of Hadoop MapReduce Programs that Manipulate One-dimensional Arrays. - Reina Miyazaki; Kiminori Matsuzaki; Shigeyuki Sato 001 (J. Inf. Process., 2017)

Efficient Parallel Tree Reductions on Distributed Memory Environments. - Kazuhiko Kakehi 001; Kiminori Matsuzaki; Kento Emoto (Scalable Comput. Pract. Exp., 2017)

Efficient Implementation of Tree Skeletons on Distributed-Memory Parallel Computers. - Kiminori Matsuzaki (Scalable Comput. Pract. Exp., 2017)

Parallelization of XPath Queries Using Modern XQuery Processors. - Shigeyuki Sato 001; Wei Hao; Kiminori Matsuzaki (ADBIS (Short Papers and Workshops), 2018)

Optimizing Declarative Parallel Distributed Graph Processing by Using Constraint Solvers. - Akimasa Morihata; Kento Emoto; Kiminori Matsuzaki; Zhenjiang Hu; Hideya Iwasaki (FLOPS, 2018)

Empirical Analysis of PUCT Algorithm with Evaluation Functions of Different Quality. - Kiminori Matsuzaki (TAAI, 2018)

Interpreting Neural-Network Players for Game 2048. - Kiminori Matsuzaki; Madoka Teramura (TAAI, 2018)

Do evaluation functions really improve Monte-Carlo tree search? - Kiminori Matsuzaki; Naoki Kitamura (J. Int. Comput. Games Assoc., 2018)

Identification and Elimination of the Overhead of Accelerate with a Super-resolution Application. - Izumi Asakura; Hidehiko Masuhara; Takuya Matsumoto; Kiminori Matsuzaki (J. Inf. Process., 2018)

A Further Investigation of Neural Network Players for Game 2048. - Kiminori Matsuzaki (ACG, 2019)

Playing Game 2048 with Deep Convolutional Neural Networks Trained by Supervised Learning. - Naoki Kondo; Kiminori Matsuzaki (J. Inf. Process., 2019)

Analyzing simplified Geister using DREAM. - Lucien Troillet; Kiminori Matsuzaki (CoG, 2021)

Developing Value Networks for Game 2048 with Reinforcement Learning. - Kiminori Matsuzaki (J. Inf. Process., 2021)

Improving DNN-based 2048 Players with Global Embedding. - Wang Weikai; Kiminori Matsuzaki (CoG, 2022)

Three Player Otrio will be Strongly Solved. - Runa Kubota; Lucien Troillet; Kiminori Matsuzaki (TAAI, 2022)

Enhancement of CNN-based 2048 Player with Monte-Carlo Tree Search. - Shota Watanabe; Kiminori Matsuzaki (TAAI, 2022)

Fregel: a functional domain-specific language for vertex-centric large-scale graph processing. - Hideya Iwasaki; Kento Emoto; Akimasa Morihata; Kiminori Matsuzaki; Zhenjiang Hu (J. Funct. Program., 2022)

Complete DouDizhu Agents: Bid Learning from Pretrained Cardplay. - Chuanfa Li; Lucien Troillet; Kiminori Matsuzaki (CoG, 2023)

Using Strongly Solved Mini2048 to Analyze Players with N-tuple Networks. - Shunsuke Terauchi; Takaharu Kubota; Kiminori Matsuzaki (TAAI (2), 2023)

Yet More Optimistic Temporal Difference Learning for Game Mini2048. - Kiminori Matsuzaki; Shunsuke Terauchi (CoG, 2024)

Assessing Brain-Like Characteristics of DNNs With Spatiotemporal Features: A Study Based on the Müller-Lyer Illusion. - Hongtao Zhang 005; Kiminori Matsuzaki; Shinichi Yoshida (IEEE Access, 2024)

Evaluating the Influence of Imperfect Information in Geister Using DREAM Trained Agents. - Lucien Troillet; Kiminori Matsuzaki (IEEE Trans. Games, 2024)