Book chapters

• 房岡璋，高橋和子: "時空間の論理とプログラミング," 知識情報処理シリーズ8，知識プログラミング，pp.215-240，共立出版，1988.

Journal papers

• Takahashi,K and T.Takezawa: "An Interaction Mechanism of Multimodal Dialogue Systems," Systems and Computers in Japan, Vol.33, No.11, pp.70-79, Wiley Periodical, Inc., October, 2002.
• 高橋和子，竹澤寿幸: "マルチモーダル対話システムにおけるインタラクション機構," 電子情報通信学会論文誌D, Vol.J83-D-II, No.11, pp.2481-2489, November, 2000.
• 高橋和子，竹澤寿幸: "マルチモーダル対話システムにおけるインタラクション機構," インタラクション'99, pp.89--96, March, 1999.
• Takahashi,K and H.Fujita: "Verification of Systolic Arrays: A Framework of Formal Verification with Induction-Based Theorem Provers," Artificial Intelligence in Engineering, Vol.13, No.1, pp.43--53, Elsevier, January, 1999.
• 高橋和子，藤田博: "帰納法に基づく定理証明器によるシストリックアレイの検証," 情報処理学会論文誌，Vol.39, No.7, pp.2323-2330, July, 1998 (研究会推薦論文).
• Takahashi,K and H.Fujita: "TPF: An Effective Method for Verifying Synchronous Circuits with Induction-Based Provers," IEICE Transactions on Information and Systems, Vol.E81-D, No.1, pp.12-18, January, 1998.
• Takahashi,K and A.Takeuchi: "A Debugger for AND- and OR-Parallel Logic Programming Language ANDOR-II," Journal of Information Processing, Vol.34, No.4, April, pp.782-792, 1993.
• Takahashi,K: "Derivation of the Parallel Bottom-Up Parser from the Sequential Parser," IEICE Transactions on Information and Systems, Vol.E75-D, No.6, pp.852-860, November, 1992.
• 竹内彰一，高橋和子，坂本忠昭: "AND，OR 並列計算の AND 並列計算への変換," 情報処理学会論文誌第33巻，第1号，pp.54-63, 1992.
• 房岡璋，高橋和子: "限定記号を含まない時制論理の反ばく手法について," 電子通信情報学会論文誌D-I, pp.913-923, Vol.J73-D-I, No.12, 1990.
• Takahashi,K and T.Kanamori: "On Parallel Programming Methodology in GHC -- Experience in Programming of A Proof Procedure of Temporal Logic --," LNCS-264, Logic Programming 86, pp.92-103, Springer-Verlag, 1986.
• Fusaoka,A., H.Seki and K.Takahashi: "A Description and Reasoning of Plant Controllers in Temporal Logic," The Journal for the Integrated Study of Artificial Intelligence, Cognitive Sciences and Applied Epistemology, pp.103-120, Vol.3, No.1-2, 1986.
• Fusaoka,A. and K.Takahashi: "On A Mechanical Reasoning about Causal Relations," Artificial Intelligence in Engineering, pp.15-22, Vol.1, No.1, 1986.
• Fusaoka,A., H.Seki and K.Takahashi: "Description and Reasoning of VLSI Circuit in Temporal Logic," New Generation Computing, pp.79-90, Vol.2, No.1, 1984.

International Conferences (refereed)

• Takahashi,K and H.Fujita: "Time Parameterized Function Method: A New Method for Hardware Verification with the Boyer-Moore Theorem Prover," Proceedings of CHDL'95 (IFIP Conference on Hardware Description Languages and Their Applications), pp.545-552, 1995.
• Takeuchi,A. and K.Takahashi: "An Operational Semantics of ANDOR-II, A Parallel Logic Programming Language with AND- and OR-Parallelism," LNCS-491, Concurrency: Theory, Language, and Architecture, pp.173-209, Springer-Verlag, 1989.
• Takeuchi,A., K.Takahashi and H.Shimizu: "A Parallel Problem Solving Language for Concurrent Systems," Concepts and Characteristics of Knowledge-Based Systems, pp.267-296, North-Holland, 1989.
• Fusaoka,A., H.Seki and K.Takahashi: "A Description and Reasoning of Plant Controllers in Temporal Logic," Proceedings of International Joint Conference on Artificial Intelligence 83 (IJCAI83), pp.405-408, 1983.

Others (Japanese national conferences/SIG workshops)

• 高橋和子，竹澤寿幸: "マルチモーダル案内システム MMGS の実験評価," 情報処理学会研究報告，99-SLP-27, pp.91--98, June, 1999.
• 高橋和子，竹澤寿幸: "マルチモーダル案内システムにおける対話機構およびその評価," ATR TR-IT-0296, March, 1999．
• Takahashi,K: "Dialogue Model Based on Data Transfer," ATR TR-IT-0295, March, 1999．
• 高橋和子，竹澤寿幸: "マルチモーダル対話システムにおける対話管理," 情報処理学会第58回全国大会，Vol.4, No.11--12, March, 1999.
• 高橋和子: "対話における信念の修正について," 信学技報，SIG-SLUD-9803, pp.1-6, December, 1998.
• 高橋和子: "情報の授受に基づく対話モデルについて," 信学技報，NLC98-23, pp.61-68, July, 1998. Also appearing as 情報処理学会研究報告, 98-NL-126, pp.123-130.
• 高橋和子，藤田博: "帰納法に基づく定理証明器によるシストリックアレイの検証," 情報処理学会研究報告，96-PRO-10, pp.61-66, 1995.
• 高橋和子，藤田博: "NQTHM を用いたシストリックアレイの検証," 情報処理学会研究報告，95-PRO-4, pp.45-50, 1995.
• 高橋和子，炭田昌人，小船隆一，藤田博: "定理証明器 NQTHM を用いたハードウェア検証," 日本ソフトウェア科学会第11回大会，pp.209-212, 1994.
• 高橋和子: "AND/OR 両並列性をいかしたプラン生成について," 情報処理学会研究報告，Vol.93, No.69, pp.31-40, 1993.
• Takahashi,K: "Bug Detection Method over AND/OR-Computation Tree," ICOT TR-836, March, 1993.
• 高橋和子: "全解探索問題に対する履歴に基づくバグ発見手法," 電子情報通信学会春季大会，Vol.6, pp.249-250, 1993.
• 高橋和子，坂本忠昭，竹内彰一: "ANDOR-II のマルチ PSI 上での実現(Extended Abstract)," KL1 Programming Workshop，pp.34-41, 1990.
• 坂本忠昭，高橋和子，竹内彰一: "KL1 による帰納的学習システムの構築," KL1 Programming Workshop，1990.
• 坂本忠昭，高橋和子，竹内彰一: "並列動作系推論システム ANDOR-II による学習システムの構築," 日本ソフトウェア科学会第6回全国大会論文集，pp.25-28, 1989.
• Takahashi,K, A.Takeuchi and T.Yasui: "A Parallel Problem Solving Language ANDOR-II and Its Parallel Implementation," ICOT TR-554, 1990.
• 竹内彰一，高橋和子，清水広之: "並列動作系における推論方式について," 情報処理学会総合全国大会，1988. Also appearing as ICOT Technical Report.
• 高橋和子，竹内彰一: "並列動作系推論システム ANDOR-II による並列パーザの生成," 日本ソフトウェア科学会第4回全国大会論文集，pp.423-426，1987.
• 竹内彰一，高橋和子，清水広之: "並列問題解決用言語 ANDOR-II," 日本ソフトウェア科学会第2回知識プログラミングシンポジウム，1987.
• 高橋和子，金森直: "GHCによる時制論理の証明系の作成," 情報処理学会総合全国大会，1987.
• 竹内彰一，高橋和子，清水広之: "AND/OR 並列性を備えた並列動作系記述言語とそのストリームによる実現," 電子通信学会研究報告，COMP86-76， 1986. Also appearing as ICOT TR-229, 1987.
• 房岡璋，高橋和子: "On A Mechanical Reasoning about Causal Relations," 情報処理研究報告，知識工学と人工知能40-4，1985.
• 房岡璋，高橋和子: "QFTL と ω-グラフを使った推論方法について," 電子通信学会研究報告，AL85-31，1985.
• 房岡璋，高橋和子: "Quantifier Free Temporal Logic and ω-regular Automaton," 電子通信学会研究報告，AL83-62，1984.
• 房岡璋，世木博久，高橋和子: "Temporal Logic による VLSI の動作の記述と推論について," 電子通信学会研究報告，AL83-22，1983.
• 房岡璋，世木博久，高橋和子: "Temporal Logic に基づくシステム記述と推論," 情報処理学会研究報告，知識工学と人工知能30-6，1983.
• 房岡璋，高橋和子: "Temporal Logic によるコントローラの自動作成について," 昭和58年度電子通信学会総合全国大会，1983.