| 2008 |
|---|
| 12 | EE | 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 |
| 2007 |
|---|
| 11 | EE | 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) |
| 2006 |
|---|
| 10 | EE | 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) |
| 2005 |
|---|
| 9 | EE | 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 |
| 2004 |
|---|
| 8 | EE | 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 |
| 2000 |
|---|
| 7 | EE | 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 | EE | Kiyoharu Hamaguchi,
Hidekazu Urushihara,
Toshinobu Kashiwabara:
Symbolic Checking of Signal-Transition Consistency for Verifying High-Level Designs.
FMCAD 2000: 455-469 |
| 1992 |
|---|
| 5 | | Toshinobu Kashiwabara,
Sumio Masuda,
Kazuo Nakajima,
Toshio Fujisawa:
Generation of Maximum Independent Sets of a Bipartite Graph and Maximum Cliques of a Circular-Arc Graph.
J. Algorithms 13(1): 161-174 (1992) |
| 1990 |
|---|
| 4 | | Sumio Masuda,
Kazuo Nakajima,
Toshinobu Kashiwabara,
Thio Fujisawa:
Crossing Minimization in Linear Embeddings of Graphs.
IEEE Trans. Computers 39(1): 124-127 (1990) |
| 1989 |
|---|
| 3 | EE | Chong S. Rim,
Toshinobu Kashiwabara,
Kazuo Nakajima:
Exact algorithms for multilayer topological via minimization.
IEEE Trans. on CAD of Integrated Circuits and Systems 8(11): 1165-1173 (1989) |
| 1981 |
|---|
| 2 | | Tatsuo Ohtsuki,
Hajimu Mori,
Toshinobu Kashiwabara,
Toshio Fujisawa:
On Minimal Augmentation of a Graph to Obtain an Interval Graph.
J. Comput. Syst. Sci. 22(1): 60-97 (1981) |
| 1980 |
|---|
| 1 | | Toshinobu Kashiwabara:
Algorithms for some intersection graphs.
Graph Theory and Algorithms 1980: 171-181 |
