Toshinobu Kashiwabara

Publication Activity (10 Years)

Years Active: 1979-2010
Publications (10 Years): 0

Publications

Kiyoharu Hamaguchi, Kazuya Masuda, Toshinobu Kashiwabara
Approximate Model Checking Using a Subset of First-order Logic. IPSJ Trans. Syst. LSI Des. Methodol. 3 (2010)
Hiroaki Shimizu, Kiyoharu Hamaguchi, Toshinobu Kashiwabara
Approximate Invariant Property Checking Using Term-Height Reduction for a Subset of First-Order Logic. IPSJ Trans. Syst. LSI Des. Methodol. 3 (2010)
Sho Takeuchi, Kiyoharu Hamaguchi, Toshinobu Kashiwabara
Checker Generation of Assertions with Local Variables for Model Checking. IPSJ Trans. Syst. LSI Des. Methodol. 2 (2009)
Hiroaki Shimizu, Kiyoharu Hamaguchi, Toshinobu Kashiwabara
Approximate Invariant Property Checking Using Term-Height Reduction for a Subset of First-Order Logic. ATVA (2008)
Hiroaki Kozawa, Kiyoharu Hamaguchi, Toshinobu Kashiwabara
Satisfiability Checking for Logic with Equality and Uninterpreted Functions under Equivalence Constraints. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (12) (2007)
Masaki Nakanishi, Kiyoharu Hamaguchi, Toshinobu Kashiwabara
Expressive Power of Quantum Pushdown Automata with Classical Stack Operations under the Perfect-Soundness Condition. IEICE Trans. Inf. Syst. (3) (2006)
Yosuke Kakiuchi, A. Kitajima, Kiyoharu Hamaguchi, Toshinobu Kashiwabara
Automatic monitor generation from regular expression based specifications for module interface verification. ISCAS (4) (2005)
Atsushi Moritomo, Kiyoharu Hamaguchi, Toshinobu Kashiwabara
Validity Checking for Quantifier-Free First-Order Logic with Equality Using Substitution of Boolean Formulas. ATVA (2004)
Masakuni Taki, Mikihito Sugiura, Toshinobu Kashiwabara
On-Line Edge-Coloring Algorithms for Degree-Bounded Bipartite Graphs. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (5) (2002)
Kiyoharu Hamaguchi, Hidekazu Urushihara, Toshinobu Kashiwabara
Symbolic Checking of Signal-Transition Consistency for Verifying High-Level Designs. FMCAD (2000)
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)
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) (1992)
Toshinobu Kashiwabara, Sumio Masuda, Kazuo Nakajima, Toshio Fujisawa
Polynomial time algorithms on circular-arc overlap graphs. Networks 21 (2) (1991)
Sumio Masuda, Kazuo Nakajima, Toshinobu Kashiwabara, Toshio Fujisawa
Efficient algorithms for finding maximum cliques of an overlap graph. Networks 20 (2) (1990)
Sumio Masuda, Kazuo Nakajima, Toshinobu Kashiwabara, Toshio Fujisawa
Crossing Minimization in Linear Embeddings of Graphs. IEEE Trans. Computers 39 (1) (1990)
Chong S. Rim, Toshinobu Kashiwabara, Kazuo Nakajima
Exact algorithms for multilayer topological via minimization. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 8 (11) (1989)
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) (1981)
Toshinobu Kashiwabara
Algorithms for some intersection graphs. Graph Theory and Algorithms (1980)
Tatsuo Ohtsuki, Hajimu Mori, Ernest S. Kuh, Toshinobu Kashiwabara, Toshio Fujisawa
One-dimensional logic gate assignment and interval graphs. COMPSAC (1979)