Skip to content
cs-conference-ranking.org

Toshinobu Kashiwabara

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

6

Venues

5

Active years

1979–2008

Best venue rank

B

Where they publish

Papers

6 indexed papers, newest first.

YearVenueTitleAuthors
2008ATVAApproximate Invariant Property Checking Using Term-Height Reduction for a Subset of First-Order Logic.Hiroaki Shimizu, Kiyoharu Hamaguchi, Toshinobu Kashiwabara
2005ISCASAutomatic monitor generation from regular expression based specifications for module interface verification.Yosuke Kakiuchi, A. Kitajima, Kiyoharu Hamaguchi, Toshinobu Kashiwabara
2004ATVAValidity Checking for Quantifier-Free First-Order Logic with Equality Using Substitution of Boolean Formulas.Atsushi Moritomo, Kiyoharu Hamaguchi, Toshinobu Kashiwabara
2000COCOONOrdered Quantum Branching Programs Are More Powerful than Ordered Probabilistic Branching Programs under a Bounded-Width Restriction.Masaki Nakanishi, Kiyoharu Hamaguchi, Toshinobu Kashiwabara
2000FMCADSymbolic Checking of Signal-Transition Consistency for Verifying High-Level Designs.Kiyoharu Hamaguchi, Hidekazu Urushihara, Toshinobu Kashiwabara
1979COMPSACOne-dimensional logic gate assignment and interval graphs.Tatsuo Ohtsuki, Hajimu Mori, Ernest S. Kuh, Toshinobu Kashiwabara, Toshio Fujisawa