Toshinobu Kashiwabara

21 papers B 4Misc 1Journal 14Unranked 2
YearRankTypeTitle / Venue / Authors
2010 J jnl
Approximate Invariant Property Checking Using Term-Height Reduction for a Subset of First-Order Logic.
IPSJ Trans. Syst. LSI Des. Methodol.
Hiroaki Shimizu, Kiyoharu Hamaguchi, Toshinobu Kashiwabara
2010 J jnl
Approximate Model Checking Using a Subset of First-order Logic.
Inf. Media Technol.
Kiyoharu Hamaguchi, Kazuya Masuda, Toshinobu Kashiwabara
2010 J jnl
Approximate Model Checking Using a Subset of First-order Logic.
IPSJ Trans. Syst. LSI Des. Methodol.
Kiyoharu Hamaguchi, Kazuya Masuda, Toshinobu Kashiwabara
2009 J jnl
Checker Generation of Assertions with Local Variables for Model Checking.
Inf. Media Technol.
Sho Takeuchi, Kiyoharu Hamaguchi, Toshinobu Kashiwabara
2009 J jnl
Checker Generation of Assertions with Local Variables for Model Checking.
IPSJ Trans. Syst. LSI Des. Methodol.
Sho Takeuchi, Kiyoharu Hamaguchi, Toshinobu Kashiwabara
2008 B conf
Approximate Invariant Property Checking Using Term-Height Reduction for a Subset of First-Order Logic.
ATVA
Hiroaki Shimizu, Kiyoharu Hamaguchi, Toshinobu Kashiwabara
2007 J jnl
Satisfiability Checking for Logic with Equality and Uninterpreted Functions under Equivalence Constraints.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Hiroaki Kozawa, Kiyoharu Hamaguchi, Toshinobu Kashiwabara
2006 J jnl
Expressive Power of Quantum Pushdown Automata with Classical Stack Operations under the Perfect-Soundness Condition.
IEICE Trans. Inf. Syst.
Masaki Nakanishi, Kiyoharu Hamaguchi, Toshinobu Kashiwabara
2005 — conf
Automatic monitor generation from regular expression based specifications for module interface verification.
ISCAS (4)
Yosuke Kakiuchi, A. Kitajima, Kiyoharu Hamaguchi, Toshinobu Kashiwabara
2004 B conf
Validity Checking for Quantifier-Free First-Order Logic with Equality Using Substitution of Boolean Formulas.
ATVA
Atsushi Moritomo, Kiyoharu Hamaguchi, Toshinobu Kashiwabara
2002 J jnl
On-Line Edge-Coloring Algorithms for Degree-Bounded Bipartite Graphs.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Masakuni Taki, Mikihito Sugiura, Toshinobu Kashiwabara
2000 Misc conf
Ordered Quantum Branching Programs Are More Powerful than Ordered Probabilistic Branching Programs under a Bounded-Width Restriction.
COCOON
Masaki Nakanishi, Kiyoharu Hamaguchi, Toshinobu Kashiwabara
2000 B conf
Symbolic Checking of Signal-Transition Consistency for Verifying High-Level Designs.
FMCAD
Kiyoharu Hamaguchi, Hidekazu Urushihara, Toshinobu Kashiwabara
1992 J jnl
Generation of Maximum Independent Sets of a Bipartite Graph and Maximum Cliques of a Circular-Arc Graph.
J. Algorithms
Toshinobu Kashiwabara, Sumio Masuda, Kazuo Nakajima, Toshio Fujisawa
1991 J jnl
Polynomial time algorithms on circular-arc overlap graphs.
Networks
Toshinobu Kashiwabara, Sumio Masuda, Kazuo Nakajima, Toshio Fujisawa
1990 J jnl
Crossing Minimization in Linear Embeddings of Graphs.
IEEE Trans. Computers
Sumio Masuda, Kazuo Nakajima, Toshinobu Kashiwabara, Toshio Fujisawa
1990 J jnl
Efficient algorithms for finding maximum cliques of an overlap graph.
Networks
Sumio Masuda, Kazuo Nakajima, Toshinobu Kashiwabara, Toshio Fujisawa
1989 J jnl
Exact algorithms for multilayer topological via minimization.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Chong S. Rim, Toshinobu Kashiwabara, Kazuo Nakajima
1981 J jnl
On Minimal Augmentation of a Graph to Obtain an Interval Graph.
J. Comput. Syst. Sci.
Tatsuo Ohtsuki, Hajimu Mori, Toshinobu Kashiwabara, Toshio Fujisawa
1980 — conf
Algorithms for some intersection graphs.
Graph Theory and Algorithms
Toshinobu Kashiwabara
1979 B conf
One-dimensional logic gate assignment and interval graphs.
COMPSAC
Tatsuo Ohtsuki, Hajimu Mori, Ernest S. Kuh, Toshinobu Kashiwabara, Toshio Fujisawa