Kiyoharu Hamaguchi
Kyoto Tachibana University(JP)
Publications by Year
Research Areas
Formal Methods in Verification, Embedded Systems Design Techniques, VLSI and Analog Circuit Testing, Software Testing and Debugging Techniques, Model-Driven Software Engineering Techniques
Most-Cited Works
- → Another Look at LTL Model Checking(1997)190 cited
- → The complexity of the optimal variable ordering problems of shared binary decision diagrams(1993)90 cited
- → Efficient construction of binary moment diagrams for verifying arithmetic circuits(1995)50 cited
- → Ordered Quantum Branching Programs Are More Powerful than Ordered Probabilistic Branching Programs under a Bounded-Width Restriction(2000)38 cited
- The Complexity of the Optimal Variable Ordering Problems of a Shared Binary Decision Diagram(1996)
- → Branching time regular temporal logic for model checking with linear time complexity(2005)12 cited
- → Symbolic simulation heuristics for high-level design descriptions with uninterpreted functions(2002)10 cited
- → Symbolic Checking of Signal-Transition Consistency for Verifying High-Level Designs(2000)10 cited
- Design verification of asynchronous sequential circuits using symbolic model checking(1992)