2000年度 学術論文誌等 / Journals

1. 片桐 久晶, 桐村 昌行, 安本 慶一, 中田 明夫, 東野 輝夫, 谷口 健一:
   同期通信可能な周期EFSM群のハードウェア構成法
   情報処理学会論文誌, Vol. 42, No.3, pp.542-551 (Mar. 2001).
2. 関岡 哲也, 横川 勇仁, 船曳 信生, 東野 輝夫, 山田 朋弘, 森 悦秀:
   関数合成による唇輪郭抽出法の提案
   電子情報通信学会英論文誌(D-II), Vol. J84-D-II, No.3, pp.459-470 (Mar. 2001).
3. 寺島 芳樹, 安本 慶一, 東野 輝夫, 安倍 広多, 松浦 敏雄, 谷口 健一:
   SMILへのQoS保証文の導入とその柔軟な実装法
   情報処理学会論文誌, Vol. 42, No.2, pp.116-125 (Feb. 2001).
4. 安倍 広多, 松浦 敏雄, 安本 慶一, 東野 輝夫:
   既存のプログラムコー ドをマルチスレッド環境で実行する方式とその実現
   情報処理学会論文誌, Vol. 41, No.9, pp.2603-2613 (Sep. 2000).
5. Yoichi Takenaka, Nobuo Funabiki and Teruo Higashino:
   A proposal of neuron filter a constraint resolution scheme of neural networks for combinatorial optimization problems
   IEICE Transactions on Fundamentals, Vol. E83-A, No.9, pp.1815-1823 (Sep. 2000).
6. 中田 明夫, 服部 哲, 東野 輝夫, 谷口 健一:
   データ付時間オートマトンの双模倣等価性の記号的検証法
   情報処理学会論文誌, Vol. 41, No. 9, pp.2487-2497 (Sep. 2000).
7. 安部 広多，松浦 敏雄，安本 慶一，東野 輝夫:
   既存のプログラムコードを容易に流用できるマルチスレッドプログラミング方式
   情報処理学会論文誌 41(9) 2063-2613 2000年
8. 船曳 信生，池永 勝芳，江川 晋爾，東野 輝夫:
   FPGAの論理ブロックの端子割当問題の定式化と2段階離散最適化法の提案
   電子情報通信学会論文誌 J83-A(8) 976-988 2000年
9. 船曳 信生, 池永 勝芳, 江川 晋爾, 東野 輝夫:
   FPGAの論理ブロックの端子割当問題の定式化と２段階離散最適化法の提案
   電子情報通信学会論文誌(A), Vol. J83-A, No.8, pp.976-988 (Aug. 2000).
10. Nobuo Funabiki and Teruo Higashino:
    A Minimal State Processing Search Algorithm for Graph Coloring Problems
    IEICE Transactions on Fundamentals, Vol. E83-A, No.7, pp.1420-1430 (Jul. 2000).

2000年度 国際会議 / International Conferences

1. Takaaki Umedu, Hirozumi Yamaguchi, Keiichi Yasumoto and Teruo Higashino:
   Protocol Synthesis from SMIL-Based Scenarios and Its Implementation in Distributed Environment
   Proceedings of the 15th IEEE International Conference on Information Networking 163-170 2001年
2. Atsushi Fukada, Akio Nakata, Junji Kitamichi, Teruo Higashino and Ana Cavalli:
   A Conformance Testing Method for Communication Protocols Modeled as Concurrent DFSMs -Treatment of Non-observable Non-determinism-
   Proceedings of 15th International Conference on Information Networking (ICOIN-15), pp.155-162 (Jan. 2001).
3. Takaaki Umedu, Hirozumi Yamaguchi, Keiichi Yasumoto and Teruo Higashino:
   Protocol Synthesis from SMIL-Based Scenarios and Its Implementation in Distributed Environmen
   Proceedings of 15th International Conference on Information Networking (ICOIN-15), pp.163-170 (Jan. 2001).
4. Hisaaki Katagiri, Masayuki Kirimura, Keiichi Yasumoto, Teruo Higashino and Kenichi Taniguchi:
   Hardware Implementation of Concurrent Periodic EFSMs
   Proceedings of Joint International Conference on 13th Formal Description Techniques and 20th Protocol Specification, Testing, and Verification (FORTE/PSTV2000), pp.285-300 (Oct. 2000).
5. Akihito Hiromori, Hirozumi Yamaguchi, Keiichi Yasumoto, Teruo Higashino and Kenichi Taniguchi:
   Fast and Optimal Multicast-Server Selection Based on Receivers' Preference
   Proceedings of 7th International Workshop on Interactive Distributed Multimedia Systems and Telecommunication Services (IDMS'2000), (LNCS 1905), pp. 40-52 (Oct. 2000).
6. Khaled El-Fakih, Hirozumi Yamaguchi, Gregor von Bochmann and Teruo Higashino:
   Automatic Derivation of Petri Net Based Distributed Specification with Optimal Allocation of Resources
   Proceedings of IEEE International Conference on Automated Software Engineering 2000 (ASE'2000), pp.305-308 (Sep. 2000).
7. Hirotaka Ohtsuka, Nobuo Funabiki and Teruo Higashino:
   A greedy-neural combined discrete optimization algorithm for triangle and Kn-subgraph partition problem
   World Multiconference on Systemics, Cybernetics, and Informatics, pp. 557-562 (Jul. 2000).
8. Nobuo Funabiki and Teruo Higashino:
   A greedy digital neural-network algorithm for subgraph isomorphism problems
   World Multiconference on Systemics, Cybernetics, and Informatics, pp. 546-551 (Jul. 2000).
9. Yoshiki Terashima, Keiichi Yasumoto, Teruo Higashino, Kota Abe, Toshio Matsuura and Kenichi Taniguchi:
   Extension of SMIL with QoS Control and its Implementaion
   Proceedings of 2000 IEEE International Conference on Multimedia and Expo (ICME2000), CD-ROM (Jul. 2000).
10. Hisaaki Katagiri, Keiichi Yasumoto, Akira Kitajima, Teruo Higashino and Kenichi Taniguchi:
    Hardware Implementation of Communication Protocols modeled by Concurrent EFSMs with Multi-way Synchronization
    Proceedings of the 37th ACM/IEEE Design Automation Conference (DAC-2000), pp. 762-767 (Jun. 2000).
11. Yoshiki Terashima, Keiichi Yasumoto, Teruo Higashino, Kota Abe, Toshio Matsuura and Kenichi Taniguchi:
    Integration of QoS Guarantees into SMIL and its Flexible Implementation
    Proceedings of Eighth International Workshop on Quality of Service (IWQoS 2000), pp.164-166 (Jun. 2000).
12. Khaled El-Fakih, Hirozumi Yamaguchi, Gregor von Bochmann and Teruo Higashino:
    Protocol Re-synthesis Based on Extended Petri Nets
    Proceedings of International Workshop on Software Engineering and Petri Nets (SEPN-2000), pp. 173-188 (Jun. 2000).
13. Hirozumi Yamaguchi, Khaled El-Fakih, Gregor von Bochmann and Teruo Higashino:
    A Petri Net Based Method for Deriving Distributed Specification with Optimal Allocation ofResources
    Proceedings of ASIC International Conference on Software Engineering Applied to Networking and Parallel/ Distributed Computing (SNPD'00), pp.19-26 (May. 2000).

2000年度 国内学会・研究会 / Domestic Conferences

2000年度 講演 / Invited Talks

1. 東野 輝夫 :
   LOTOSにおけるサービス仕様とプロトコル仕様
   電子情報通信学会第４回回路とシステム軽井沢ワークショップ招待講演

2000年度 著書・訳書・解説等 / Edited Books

1. 東野 輝夫:
   形式的検証の実用化に向けて
   Electronic Journal, p.35 (Jun. 2000).

2000年度 その他 / Others