Ken-ichi Yamaguchi

Publication Activity (10 Years)

Years Active: 2001-2019
Publications (10 Years): 3

Top Topics

Formal Verification

Low Dimensional

Top Venues

IEICE Trans. Inf. Syst.

Publications

Hiroto Yasumi, Fukuhito Ooshita, Ken-ichi Yamaguchi, Michiko Inoue
Space-Optimal Population Protocols for Uniform Bipartition Under Global Fairness. IEICE Trans. Inf. Syst. (3) (2019)
Hiroto Yasumi, Fukuhito Ooshita, Ken-ichi Yamaguchi, Michiko Inoue
Constant-Space Population Protocols for Uniform Bipartition. OPODIS (2017)
Hiroshi Iwata, Nanami Katayama, Ken-ichi Yamaguchi
Formal Verification-Based Redundancy Identification of Transition Faults with Broadside Scan Tests. IEICE Trans. Inf. Syst. (6) (2017)
Zhiqiang You, Ken-ichi Yamaguchi, Michiko Inoue, Jacob Savir, Hideo Fujiwara
Power-Constrained Test Synthesis and Scheduling Algorithms for Non-Scan BIST-able RTL Data Paths. IEICE Trans. Inf. Syst. (8) (2005)
Zhiqiang You, Ken-ichi Yamaguchi, Michiko Inoue, Jacob Savir, Hideo Fujiwara
Power-Constrained DFT Algorithms for Non-Scan BIST-able RTL Data Paths. Asian Test Symposium (2004)
Akira Ohsumi, Kentaro Kameyama, Ken-ichi Yamaguchi
Subspace identification for continuous-time stochastic systems via distribution-based approach. Autom. 38 (1) (2002)
Ken-ichi Yamaguchi, Hiroki Wada, Toshimitsu Masuzawa, Hideo Fujiwara
BIST Method Based on Concurrent Single-Control Testability of RTL Data Paths. Asian Test Symposium (2001)