Kiminori Matsuzaki

Available identifiers

zbMath Open matsuzaki.kiminoriMaRDI QIDQ1648882

List of research outcomes

Publication	Date of Publication	Type
Fregel: a functional domain-specific language for vertex-centric large-scale graph processing	2022-03-17	Paper
Systematic selection of \(N\)-tuple networks for 2048	2018-10-26	Paper
Optimizing declarative parallel distributed graph processing by using constraint solvers	2018-07-09	Paper
The third homomorphism theorem on trees	2015-07-03	Paper
Write it recursively	2015-03-16	Paper
Balanced trees inhabiting functional parallel programming	2015-03-05	Paper
Automatic parallelization of recursive functions using quantifier elimination	2010-05-04	Paper
Euro-Par 2004 Parallel Processing	2005-08-23	Paper

Research outcomes over time

This page was built for person: Kiminori Matsuzaki