One-dimensional logic gate assignment and interval graphs. - Tatsuo Ohtsuki; Hajimu Mori; Ernest S. Kuh; Toshinobu Kashiwabara; Toshio Fujisawa (COMPSAC, 1979)

Algorithms for some intersection graphs. - Toshinobu Kashiwabara (Graph Theory and Algorithms, 1980)

On Minimal Augmentation of a Graph to Obtain an Interval Graph. - Tatsuo Ohtsuki; Hajimu Mori; Toshinobu Kashiwabara; Toshio Fujisawa (J. Comput. Syst. Sci., 1981)

Exact algorithms for multilayer topological via minimization. - Chong S. Rim; Toshinobu Kashiwabara; Kazuo Nakajima (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1989)

Efficient algorithms for finding maximum cliques of an overlap graph. - Sumio Masuda; Kazuo Nakajima; Toshinobu Kashiwabara; Toshio Fujisawa (Networks, 1990)

Crossing Minimization in Linear Embeddings of Graphs. - Sumio Masuda; Kazuo Nakajima; Toshinobu Kashiwabara; Toshio Fujisawa (IEEE Trans. Computers, 1990)

Polynomial time algorithms on circular-arc overlap graphs. - Toshinobu Kashiwabara; Sumio Masuda; Kazuo Nakajima; Toshio Fujisawa (Networks, 1991)

Generation of Maximum Independent Sets of a Bipartite Graph and Maximum Cliques of a Circular-Arc Graph. - Toshinobu Kashiwabara; Sumio Masuda; Kazuo Nakajima; Toshio Fujisawa (J. Algorithms, 1992)

Ordered Quantum Branching Programs Are More Powerful than Ordered Probabilistic Branching Programs under a Bounded-Width Restriction. - Masaki Nakanishi; Kiyoharu Hamaguchi; Toshinobu Kashiwabara (COCOON, 2000)

Symbolic Checking of Signal-Transition Consistency for Verifying High-Level Designs. - Kiyoharu Hamaguchi; Hidekazu Urushihara; Toshinobu Kashiwabara (FMCAD, 2000)

On-Line Edge-Coloring Algorithms for Degree-Bounded Bipartite Graphs. - Masakuni Taki; Mikihito Sugiura; Toshinobu Kashiwabara (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2002)

Validity Checking for Quantifier-Free First-Order Logic with Equality Using Substitution of Boolean Formulas. - Atsushi Moritomo; Kiyoharu Hamaguchi; Toshinobu Kashiwabara (ATVA, 2004)

Automatic monitor generation from regular expression based specifications for module interface verification. - Yosuke Kakiuchi; A. Kitajima; Kiyoharu Hamaguchi; Toshinobu Kashiwabara (ISCAS (4), 2005)

Expressive Power of Quantum Pushdown Automata with Classical Stack Operations under the Perfect-Soundness Condition. - Masaki Nakanishi; Kiyoharu Hamaguchi; Toshinobu Kashiwabara (IEICE Trans. Inf. Syst., 2006)

Satisfiability Checking for Logic with Equality and Uninterpreted Functions under Equivalence Constraints. - Hiroaki Kozawa; Kiyoharu Hamaguchi; Toshinobu Kashiwabara (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2007)

Checker Generation of Assertions with Local Variables for Model Checking. - Sho Takeuchi; Kiyoharu Hamaguchi; Toshinobu Kashiwabara (IPSJ Trans. Syst. LSI Des. Methodol., 2009)

Approximate Model Checking Using a Subset of First-order Logic. - Kiyoharu Hamaguchi; Kazuya Masuda; Toshinobu Kashiwabara (IPSJ Trans. Syst. LSI Des. Methodol., 2010)

Approximate Invariant Property Checking Using Term-Height Reduction for a Subset of First-Order Logic. - Hiroaki Shimizu; Kiyoharu Hamaguchi; Toshinobu Kashiwabara (IPSJ Trans. Syst. LSI Des. Methodol., 2010)