Toshinobu Kashiwabara (Selection)

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

12		Hiroaki Shimizu, Kiyoharu Hamaguchi, Toshinobu Kashiwabara: Approximate Invariant Property Checking Using Term-Height Reduction for a Subset of First-Order Logic. ATVA 2008: 318-331
11		Hiroaki Kozawa, Kiyoharu Hamaguchi, Toshinobu Kashiwabara: Satisfiability Checking for Logic with Equality and Uninterpreted Functions under Equivalence Constraints. IEICE Transactions 90-A(12): 2778-2789 (2007)
10		Masaki Nakanishi, Kiyoharu Hamaguchi, Toshinobu Kashiwabara: Expressive Power of Quantum Pushdown Automata with Classical Stack Operations under the Perfect-Soundness Condition. IEICE Transactions 89-D(3): 1120-1127 (2006)
9		Y. Kakiuchi, A. Kitajima, Kiyoharu Hamaguchi, Toshinobu Kashiwabara: Automatic monitor generation from regular expression based specifications for module interface verification. ISCAS (4) 2005: 3555-3558
8		Atsushi Moritomo, Kiyoharu Hamaguchi, Toshinobu Kashiwabara: Validity Checking for Quantifier-Free First-Order Logic with Equality Using Substitution of Boolean Formulas. ATVA 2004: 108-119
7		Masaki Nakanishi, Kiyoharu Hamaguchi, Toshinobu Kashiwabara: Ordered Quantum Branching Programs Are More Powerful than Ordered Probabilistic Branching Programs under a Bounded-Width Restriction. COCOON 2000: 467-476
6		Kiyoharu Hamaguchi, Hidekazu Urushihara, Toshinobu Kashiwabara: Symbolic Checking of Signal-Transition Consistency for Verifying High-Level Designs. FMCAD 2000: 455-469

Selection of 7 from 12 records - Toshinobu Kashiwabara has 15 coauthors