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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Kiminori Matsuzaki