Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Kohei Sakurai
Map detail
Kohei Sakurai3 visible / 3 total nodes / 2 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipKohei SakuraiAKohei SakuraiResearcherModel Checking with Program Slicing Based on Variable Dependence GraphsWModel Checking with Pro...preprint / 2013Stabilizing semilocal strings by polarizationWStabilizing semilocal s...preprint / 2016
Person2 links

Kohei Sakurai

Researcher