Kohei Maruchi

According to our database, Kohei Maruchi authored at least 4 papers between 2012 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2020

LTSpAUC: Learning Time-Series Shapelets for Partial AUC Maximization.

Akihiro Yamaguchi, Shigeru Maya, Kohei Maruchi, Ken Ueno

Big Data, 2020

LTSpAUC: Learning Time-series Shapelets for Optimizing Partial AUC.

Akihiro Yamaguchi, Shigeru Maya, Kohei Maruchi, Ken Ueno

Proceedings of the 2020 SIAM International Conference on Data Mining, 2020

2014

MC/DC-Like Structural Coverage Criteria for Function Block Diagrams.

Kohei Maruchi, Hiromasa Shin, Masahiro Sakai

Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

2012

Model-Checking C Programs against JML-like Specification Language.

Masahiro Sakai, Kohei Maruchi, Takeo Imai

Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012