Hiroyuki Higuchi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
1995–2015
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | ICDM | Population Synthesis via k-Nearest Neighbor Crossover Kernel. | Naoki Hamada, Katsumi Homma, Hiroyuki Higuchi, Hideyuki Kikuchi |
| 2013 | CASC | An Effective Implementation of a Special Quantifier Elimination for a Sign Definite Condition by Logical Formula Simplification. | Hidenao Iwane, Hiroyuki Higuchi, Hirokazu Anai |
| 2004 | ASPDAC | Enhancing the performance of multi-cycle path analysis in an industrial setting. | Hiroyuki Higuchi, Yusuke Matsunaga |
| 2002 | DAC | An implication-based method to detect multi-cycle paths in large sequential circuits. | Hiroyuki Higuchi |
| 1999 | ICCAD | Lazy group sifting for efficient symbolic state traversal of FSMs. | Hiroyuki Higuchi, Fabio Somenzi |
| 1996 | DAC | A Fast State Reduction Algorithm for Incompletely Specified Finite State Machines. | Hiroyuki Higuchi, Yusuke Matsunaga |
| 1995 | ASPDAC | Implicit prime compatible generation for minimizing incompletely specified finite state machines. | Hiroyuki Higuchi, Yusuke Matsunaga |