dblp.uni-trier.dewww.uni-trier.de

Toshinobu Kashiwabara Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2008
12EEHiroaki 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
11EEHiroaki 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
10EEMasaki 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
9EEY. 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
8EEAtsushi 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
7EEMasaki 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
6EEKiyoharu 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
3EEChong 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

Coauthor Index

1Thio Fujisawa [4]
2Toshio Fujisawa [2] [5]
3Kiyoharu Hamaguchi [6] [7] [8] [9] [10] [11] [12]
4Y. Kakiuchi [9]
5A. Kitajima [9]
6Hiroaki Kozawa [11]
7Sumio Masuda [4] [5]
8Hajimu Mori [2]
9Atsushi Moritomo [8]
10Kazuo Nakajima [3] [4] [5]
11Masaki Nakanishi [7] [10]
12Tatsuo Ohtsuki [2]
13Chong S. Rim [3]
14Hiroaki Shimizu [12]
15Hidekazu Urushihara [6]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)