発表論文リスト
[ 論文誌]
[ 国際会議]
[ 国際会議ポスター発表]
[ 特許]
[
国内ワークショップ・シンポジウム] [研究会・全国大会]

- 高松 悠,孫 為華,山内由紀子,安本慶一,伊藤 実:
すれ違い通信を活用した複数携帯電話端末による省電力協調動画ダウンロード手法,
情報処理学会論文誌,Vol. 53, No. 2 (2012-02掲載決定).
- Ahmed, A., Yasumoto, K., Yamauchi, Y., Ito, M.:
Probabilistic Coverage Methods in People-Centric
Sensing, Journal of Information Processing (to
appear).
- 小谷和也,孫 為華,木谷友哉,柴田直樹,安本慶一,伊藤 実:
交差点鳥瞰映像の協調撮影と共有を目的とした車車間通信プロトコル,
情報処理学会論文誌,Vol. 52, No. 6, pp. 1980-1992(2011-06).
- 布川雄大,孫 為華,安本慶一,伊藤 実:
MANETによるワンセグ難視聴端末救済手法,
情報処理学会論文誌,Vol. 52,No. 2,pp. 829-838(2011-02).
- 清川皓太,山本眞也,柴田直樹,安本慶一,伊藤 実:
3D仮想空間を用いた情報家電のためのリモコンフレームワーク,
情報処理学会論文誌,Vol. 52,No. 2,pp. 596-609(2011-02).
- Ahmed, A., Yasumoto, K., Ito, M., Shibata, N., Kitani, T.:
HDAR: Highly Distributed Adaptive Service Replication for MANETs,
IEICE Trans. on Information and Systems, Vol. E94-D, No. 1, pp. 91-103 (2011-01).
- 勝間 亮,村田佳洋,柴田直樹,安本慶一,伊藤 実:
無線センサネットワーク長寿命化のためのノード集合の分割に基づくスリープスケジューリング手法,
情報処理学会論文誌 数理モデル化と応用,Vol. 3,No. 3,pp. 140-153(2010-10).
- 栗山恭嘉,村田佳洋,柴田直樹,安本慶一,伊藤 実:
都市や観光地における混雑状況を考慮した多数ユーザ同時巡回スケジューリング手法,
情報処理学会論文誌,Vol. 51,No. 3,pp.885-898(2010-03).
- 花野博司,村田佳洋,柴田直樹,安本慶一,伊藤 実:
携帯電話端末への低コスト動画広告配信を目的としたWiFi 併用協調ダウンロード方式,
情報処理学会論文誌,Vol. 51,No. 2,pp.440-452(2010-02).
- 武 兵,村田佳洋,柴田直樹,安本慶一,伊藤 実:
天気変化を考慮した観光スケジュール群の探索アルゴリズム,
情報処理学会論文誌 数理モデル化と応用(TOM),Vol.3,No.1,pp.87-97(2010-01).
- 勝間 亮,村田佳洋,柴田直樹,安本慶一,伊藤 実:
移動センサノードを用いたデータ収集型WSN でのk 重被覆時間の最大化手法,
情報処理学会論文誌 数理モデル化と応用(TOM),Vol.2,No.3,pp.75-86(2009-12).
- 山本眞也,村田佳洋,柴田直樹,安本慶一,伊藤 実:
実・仮想空間を跨るインタラクションを実現するためのQoS適応機構とその評価,
情報処理学会論文誌,Vol. 50,No. 2, pp.765-776(2009-02).
- Maeda, K., Uchiyama, A., Umedu, T., Yamaguchi, H., Yasumoto,
K. and Higashino, T.:
Urban Pedestrian Mobility for Mobile Wireless Network
Simulation,
Int'l. J. on Ad hoc Networks, Vol. 7, No. 1, pp. 153-170,
Elsevier (2009-01).
- 西川博志,山本眞也,玉井森彦,西垣弘二,木谷友哉,柴田直樹,安本慶一,伊藤 実:
仮想空間を用いたスマートスペースアプリケーション向けシミュレータ
,
情報処理学会論文誌,Vol.49,No.2,pp. 774-785 (2008-02).
- 柴田直樹,孫 タオ,玉井森彦,安本慶一,伊藤 実,森 將豪:
異なる品質要求を持つ複数ユーザへのピアツーピアビデオ配信手法,
情報処理学会論文誌,Vol.49,No.2,pp. 568-578 (2008-02).
- 新川 崇,木谷友哉,柴田直樹,安本慶一,東野輝夫,伊藤 実:
メッセージフェリーと車車間通信を併用した渋滞情報収集システムの情
報伝播効率の改善,
情報処理学会論文誌,Vol.49,No.1,pp.189-198 (2008-01).
- 橘 達弘,村田佳洋,柴田直樹,安本慶一,伊藤 実:
ハードウェア化のための多目的GAアーキテクチャの提案,
情報処理学会論文誌,Vol.49,No.1,pp. 381-392 (2008-01).
- 前田久美子,梅津高朗,山口弘純,安本慶一,東野輝夫:
ネットワークシミュレータMobiREALを用いたモバイルアドホックネット
ワークシステムの開発環境,
情報処理学会論文誌,Vol.48,No.7,pp. 2238-224 (2007-07).
- 永田宗伸,村田佳洋,柴田直樹,安本慶一,伊藤 実:
分離・合流を伴うグループ観光スケジュール作成機能の提案,
情報処理学会論文誌 数理モデル化と応用(TOM17),Vol.48,No.SIG56,pp.23-31
(2007-03).
- 高島栄一,村田佳洋,柴田直樹,安本慶一,伊藤 実:
MANET上での効率良いビデオ配信を目的とした準最適マルチキャスト配送木
の分散構築法,
情報処理学会論文誌,Vol.48,No.2,pp. 483-493(2007-2).
- 木下隆正,永田宗伸,村田佳洋,柴田直樹,安本慶一,伊藤 実:
複数日にわたる観光のためのパーソナルナビゲーションシステム,
情報処理学会論文誌,Vol.47,No.12,pp. 3179-3187(2006-12).
- 橘 達弘,村田佳洋,柴田直樹,安本慶一,伊藤 実:
FPGA上への遺伝的アルゴリズムの柔軟な実装手法,
電子情報通信学会論文誌,
Vol.J89-D,No.6,pp.455-464(2006-6).
- 玉井森彦,柴田直樹,安本慶一,伊藤 実:
PCグリッド環境での市場原理に基づいた資源共有方式,
情報処理学会論文誌,
Vol. 47,No. 2,pp. 455-464 (2006-02).
- 内山彰,梅津高朗,安本慶一,東野輝夫:
広域ネットワークにおける自律的なグループ形成機構を用いた分散ネット
ワークモニタ方式の提案,
情報処理学会論文誌,Vol. 47,No. 2,pp.446-454 (2006-02).
- 前田久美子,小西一樹,佐藤和基,山口弘純,安本慶一,東野輝夫:
現実的なシミュレーションシナリオが記述可能な無線ネットワークシミュ
レータMobiREAL,
情報処理学会論文誌,Vol. 47,No. 2,pp.405-414 (2006-02).
- 山本眞也,村田佳洋,安本慶一,伊藤 実:
マルチユーザネットワークゲームにおける負荷分散および遅延時間を考慮
したイベント配送方式の提案,
情報処理学会論文誌,Vol.47,No.2,
pp.475-483(2006-02).
- Shiraishi, T., Nagata, M., Shibata, N., Murata, Y., Yasumoto, K. and Ito, M.:
A Personal Navigation System with Functions to Compose Tour
Schedules based on Multiple Conflicting Criteria,
IPSJ Digital
Courier, Vol.1, pp. 528-536 (Nov. 2005).
- 木谷友哉,高本佳史,安本慶一,中田明夫,東野輝夫:
リアルタイム組込みシステムを対象とした高信頼性ハードウェア設計のた
めの一手法,
電子情報通信学会論文誌A,Vol.J88-A,No.12,pp.1487-1496 (2005-12).
- 玉井森彦,安本慶一,柴田直樹,伊藤 実:
再生希望時間を考慮した携帯無線端末向けビデオストリーミングシステム
,
情報処理学会論文誌,No. 46, Vol. 4, pp. 1051-1060(2005-04).
- 孫 タオ,玉井森彦,安本慶一,柴田直樹,伊藤 実:
場面の重要度に基づいて再生品質制御を行う省電力ビデオスト
リーミングシステム,
情報処理学会論文誌,No. 46,Vol. 2,pp.546-555 (2005-02).
- 丸山敦史,柴田直樹,村田佳洋,安本慶一,伊藤 実:
観光スケジュール作成支援とスケジュールに沿った経路案内を
行うパーソナルナビゲーションシステム,
情報処理学会論文誌,
Vol. 45,No. 12,pp. 2678 - 2687 (2004-12).
- 西垣弘二,安本慶一,梅津高朗,東野輝夫,伊藤 実:
コンテキストに基づいたグループ形成とグループ通信機能を提
供する携帯電話向けミドルウェア,
情報処理学会論文誌,Vol. 45,
No. 12,pp.2666-2677 (2004-12).
- 梅津高朗,安本慶一,中田明夫,東野輝夫:
マルチランデブに基づくグループ通信機能を提供するJavaミドルウェ
アの提案,
情報処理学会論文誌,Vol. 45,No. 11,pp. 2519-2527 (2004-11).
- 廣森聡仁,山口弘純,安本慶一,東野輝夫,谷口健一:
大規模
ネットワークシミュレーション向けのルーティングテーブルの容量削減,
情報処理学会論文誌,Vol. 45,No. 4 (2004-04).
- 山口弘純,中村嘉隆,廣森聡仁,安本慶一,東野輝夫,谷口健一:
動画像を用いたコミュニケーションシステム向けのアプリケーショ
ン層マルチキャスト ,
コンピュータソフトウェア,Vol.21, No.2,
pp. 1-11 (2004-03)
- 孫 タオ,安本慶一,森 將豪:
マルチメディアシステムに対するQoS機能試験の一手法,
情報処理学会論文誌,Vol. 45,
No. 2, pp.475-486(2004-02)( pdf ).
- 中村嘉隆,山口弘純,廣森聡仁,安本慶一,東野輝夫,谷口健一:
エンドホストの動画像フィルタリングによるアプリケーション層で
のQoSマルチキャストプロトコルの提案,
情報処理学会論文誌,Vol. 45, No. 2, pp. 438-448(2004-02).
- 桐村昌行,高本佳史,森 亮憲,安本慶一,中田明夫,東野輝夫:
高速ネットワーク向けネットワークモニタ回路の設計と実装,
情報処理学会論文誌,Vol.44, No.6, pp.1593-1603
(2003-06) ( pdf ).
- Yasumoto, K., Umedu, T., Yamaguchi, H., Nakata, A. and Higashino, T.:
Protocol animation based on event-driven visualization scenarios in
real-time LOTOS,
Computer Networks , Vol. 40, No. 5, pp. 639-663
(Dec. 2002) ( pdf).
- Umedu, T., Yamaguchi, H., Yasumoto, K., Nakata, A. and Higashino, T.:
A Constraint-Oriented Design Method for Distributed Cooperative Systems
and Efficient Verification Using Symmetries,
ACIS Int'l. Journal of
Computer & Information Science , Vol. 3, No. 2, pp. 125-136 (Jun.
2002).
- 安本慶一,中田明夫,寺島芳樹,梅津高朗,東野輝夫,谷口健一:
マルチランデブチャネルの動的確立機構を持つモバイルアプリケー
ション記述言語の提案 ,
コンピュータソフトウェア,Vol. 19,
No. 2, pp. 35-46 (2002-02) ( pdf ).
- 廣森聡仁,山口弘純,安本 慶一,東野輝夫,谷口健一 :
IPマルチキャスト環境における複製動画像サーバ選択アルゴリズム
,
情報処理学会論文誌,第43巻, 第2号, pp. 408-417
(2002-02).
- 梅津高朗,山口弘純,安本慶一,中田 明夫,東野輝夫:
制約指向モデルで記述された対称性を持つ並行システムの形式的検証
,
情報処理学会論文誌,Vol. 42, No.12,
pp.3054-3062 (2001-12).
- Yasumoto, K., Higashino, T. and Taniguchi, K. :
A compiler to
implement LOTOS specifications in distributed environments,
Computer
Networks , Vol. 36, No. 2-3, pp. 291-310 (2001-06) ( pdf).
- 山口弘純,廣森聡仁,安本慶一,東野輝夫,谷口健一:
環境適
応型のQoS制御を行うネットワーク資源管理システム,
コンピュー
タソフトウェア, Vol. 18, No. 3, pp. 243-249 (2001-05).
- 片桐久晶,桐村昌行,安本慶一,中田明夫,東野輝夫,谷口健一:
同期通信可能な周期EFSM群のハードウェア構成法,
情報処理学会論文誌, 第42巻, 第3号, pp. 542-551
(2001-03) ( pdf
).
- 寺島芳樹,安本慶一,東野輝夫,安倍広多,松浦敏雄,谷口健一:
SMILへのQoS保証文の導入とその柔軟な実装法
,
情報処理学会論文誌,第42巻,第2号, pp. 116-125 (2001-02) ( pdf ).
- 安倍広多,松浦敏雄,安本慶一,東野輝夫:
既存のプログラ
ムコードをマルチスレッド環境で実行する方式とその実現,
情報処理学会論文誌, 第41巻,第9号, pp. 2603-2613 (2000-09).
- 辰本比呂記,安倍広多,安本慶一,東野輝夫,松浦敏雄,山口弘純,谷口 健一
:
時間拡張LOTOSコンパイラの作成とマルチメディアアプリケーショ
ンへの応用,
情報処理学会論文誌,第41巻,第2号, pp.
424-434 (2000-02) ( pdf
).
- Kitajima, A., Yasumoto, K., Higashino, T. and Taniguchi, K.
:
Deriving Concurrent Synchronous EFSMs from Protocol Specifications in
LOTOS,
IEICE Trans. on Fundamentals, Vol. E82-A, No. 3, pp. 487 -
494 (Mar. 1999) ( pdf ).
- 辰本比呂記,後藤和裕,安本慶一,東野輝夫,安倍広多,松浦敏雄,谷
口健一:
分散環境でのLOTOS仕様の実現とその評価,
情報
処理学会論文誌,第40巻,第1号,pp. 333 - 342 (1999-01)
( pdf
).
- 坂手寛治,山口弘純,安本慶一,東野輝夫,谷口健一:
多人数参
加型アプリケーションにおける品質要求を考慮した帯域制御の一方式 ,
情報処理学会論文誌,第40巻,第1号,pp. 132 -
141 (1999-01).
- Kitajima, A., Yasumoto, K., Higashino, T. and Taniguchi, K. :
A
Method to Convert Concurrent EFSMs with Multi-Rendezvous into Synchronous
Sequential Circuit,
IEICE Trans. on Fundamentals, Vol. E81-A, No.
4, pp. 566 - 575 (April 1998) ( pdf ).
- 安本慶一,安倍広多,後藤和裕,東野輝夫,松浦敏雄,谷口健一 :
マルチスレッド化された目的コードを生成するLOTOSコンパイラの実現
,
情報処理学会論文誌, 第39巻, 第2号, pp. 283-292 (1998-02) ( pdf ).
- 安本慶一, 東野輝夫, 松浦敏雄, 谷口健一 :
マルチランデブを
用いたLOTOS仕様の実行の可視化,
情報処理学会論文誌,
第37巻, 第5号, pp.687-697 (1996-05) ( pdf ).
- 安本慶一, 東野輝夫, 谷口健一 :
LOTOSによるソフトウェアプロ
セスの記述とその実行,
コンピュータソフトウェア,
第12巻,第1号, pp.16-30 (1995-01) ( pdf ).
- Yasumoto, K. Higashino, T., Matsuura, T. and Taniguchi, K. :
PROSPEX
: A Graphical LOTOS Simulator for Protocol Specifications with N
Nodes,
IEICE Trans. on Communications , Vol. E75-B, No. 10, pp.1015 - 1023
(Oct. 1992) ( pdf ).

- Ahmed, A., Yasumoto, K., Yamauchi, Y., Ito, M.:
Distance and Time Based Node Selection for Probabilistic Coverage in People-Centric Sensing,
Proc. of IEEE SECON 2011, pp. 134-142 (Jun. 2011).
- Nagataki, H., Noguchi, K., Katsuma, R., Yamauchi, Y., Shibata, N., Yasumoto, K., Ito, M.:
A Distance Learning System with Customizable Screen Layouts
for Multiple Learning Situations,
Proc. of the 3rd Int'l. Conf. on Computer Supported Education (CSEDU 2011) (May 2011).
- Yasumoto, K., Nunokawa, Y., Sun, W., Ito, M.:
Improving Mobile Terrestrial TV Playback Quality with Cooperative Streaming in MANET,
Proc. of IEEE WCNC 2011, pp. 2101-2106 (Mar. 2011).
- Yamamoto, S., Kouyama, N., Yasumoto, K., Ito, M.:
Maximizing Users Comfort Levels through User Preference Estimation in Public Smartspaces,
Proc. of 7th IEEE Int'l. Workshop on PervasivE Learning, Life, and Leisure (PerEL 2011), pp. 187-192 (Mar. 2011).
- Mizumoto, T., Sun, W., Yasumoto, K., Ito, M.:
Transportation Scheduling Method for Patients in MCI using Electronic Triage Tag,
Proc. of 3rd Int'l. Conf. on eHealth, Telemedicine, and Social Medicine (eTELEMED 2011), pp. 156-163 (Feb. 2011).
- Takamatsu, Y., Sun, W., Yamauchi, Y., Yasumoto, K., Ito, M.:
Energy-Aware Cooperative Download Method among
Bluetooth-Ready Mobile Phone Users,
Proc. of the 7th Int'l. ICST Conference on Mobile and Ubiquitous Systems (MobiQuitous 2010), pp. 1-6 (Dec. 2010).
- Ishimaru, Y., Sun, W., Yasumoto, K., Ito, M.:
DTN-based Delivery of Word-of-Mouth Information with Priority and Deadline,
Proc. of 5th Int'l. Conf. on Mobile Computing and Ubiquitous Networking (ICMU2010), pp. 179-185 (Apr. 2010).
- Katsuma, R., Murata, Y., Shibata, N., Yasumoto, K., Ito, M.:
Extending k-Coverage Lifetime of Wireless Sensor Networks with Surplus Nodes,
Proc. of 5th Int'l. Conf. on Mobile Computing and Ubiquitous Networking (ICMU2010), pp. 9-16 (Apr. 2010).
- Kiyokawa, K., Yamamoto, S., Shibata, N., Yasumoto, K., Ito, M.:
UbiREMOTE: Framework for Remotely Controlling Networked Appliances through Interaction with 3D Virtual Space,
Proc. of ACM Multimedia Systems 2010 (MMSys2010), pp.271-280 (Feb. 2010).
- Kotani, K., Sun, W., Kitani, T., Shibata, N., Yasumoto, K., Ito, M.:
Inter-Vehicle Communication Protocol for
Cooperatively Capturing and Sharing Intersection Video,
Proc. of 2nd IEEE Intelligent Vehicular Communications System Workshop (IVCS'10), pp. 1-5 (Jan. 2010).
- Nakamura, M., Kitani, T., Sun, W., Shibata, N., Yasumoto, K., Ito, M.:
A Method for Improving Data Delivery Efficiency in Delay Tolerant VANET with Scheduled Routes of Cars,
Proc. of 2nd IEEE Intelligent Vehicular Communications System Workshop (IVCS'10), pp. 1-5 (Jan. 2010).
- Matsumoto, K., Katsuma, R., Shibata, N., Yasumoto, K., Ito, M.:
Minimizing Localization Cost with
Mobile Anchor in Underwater Sensor Networks,
Proc. of 4th ACM Int'l. Workshop on
UnderWater Networks (WUWNet 2009) , Article No. 14 (Nov. 2009).
- Sun, W., Yamaguchi, H., Yasumoto, K., Ito, M.:
Range-based Localization for Estimating Pedestrian Trajectory in Intersection with Roadside
Anchors,
Proc. of 1st IEEE Vehicular Networking Conference (VNC 2009), pp. 1-8
(Oct. 2009).
- Ahmed, A., Yasumoto, K., Shibata, N., Kitani, T., Ito, M.:
DAR: Distributed Adaptive Service Replication for MANETs,
Proc. of the 5th IEEE Int'l. Conf. on Wireless and Mobile Computing, Networking and
Communications (WiMob'2009), pp. 91-97 (Oct. 2009).
- Katsuma, R., Murata, Y., Shibata, N., Yasumoto, K., Ito, M.:
Extending k-Coverage Lifetime of Wireless Sensor Networks Using Mobile Sensor Nodes,
Proc. of the 5th IEEE Int'l. Conf. on Wireless and Mobile Computing, Networking and
Communications (WiMob'2009), pp. 48-54 (Oct. 2009).
- Wu, B., Murata, Y., Shibata, N., Yasumoto, K., Ito, M.:
A Method for Composing Tour Schedules Adaptive to Weather Change,
Proc. of 2009 IEEE Intelligent Vehicles Symposium (IV'09), pp. 1407-1412 (Jun. 2009).
- Hanano, H., Murata, Y., Shibata, N., Yasumoto, K., Ito, M.:
Video Ads Dissemination through WiFi-Cellular Hybrid Networks
,
Proc. of the
2009 IEEE International Conference on Pervasive Computing and
Communications (PerCom2009), pp. 322-327 (Mar. 2009).
- Sawa, Y., Kitani, T., Shibata, N., Yasumoto, K., Ito, M.:
A Method for Pedestrian Position Estimation using Inter-Vehicle Communication,
Proc. of the 3rd IEEE Workshop on Automotive Networking and Applications
(AutoNet 2008)(Dec. 2008).
- Kuroiwa, S., Murata, Y., Kitani, Y., Yasumoto, K., Ito, M.:
A Method for Assigning Men and Women with Good Affinity to
Matchmaking Parties through Interactive Evolutionary Computation,
Proc. of the 7th Int'l. Conf. on Simulated Evolution And
Learning (SEAL'08), pp. 645-655 (Dec. 2008).
- Matsuda, T., Shibata, N., Yasumoto, K., and Ito, M.:
Framework for Virtual Collaboration Emphasized by Awareness
Information and Asynchronous Interaction,
Proc. of 2008 IEEE Int'l. Conf. on Multimedia and Expo
(ICME2008), pp. 997-1000 (June 2008).
- Tamai, M., Wu, W., Nahrstedt, K., and Yasumoto, K.:
A View Control Interface for 3D Tele-immersive Environments,
Proc. of 2008 IEEE Int'l. Conf. on Multimedia and Expo
(ICME2008), pp. 1101-1104 (June 2008).
- Tamai, M., Yasumoto, K., Shibata, N., Ito, M., and Nahrstedt, K.:
Transcasting: Cost-Efficient Video Multicast for Heterogeneous
Mobile Terminals,
Proc. of 16th International
Workshop on Quality of Service (IWQoS2008), pp. 171-180 (June 2008).
- Maeda, K., Nakata, K., Umedu, T., Yamaguchi, H., Yasumoto, K.,
and Higashino, T.:
Hybrid Testbed Enabling Run-time Operations for Wireless
Applications,
Proc. of 22nd ACM/IEEE/SCS Workshop on
Principles of Advanced and Distributed Simulation (PADS 2008), pp. 135-143
(June 2008).
- Yamamoto, S., Murata, S., Shibata, N., Yasumoto, K., Ito, M:
QoS Adaptation in Streaming 3D Graphics for FAIRVIEW,
Proc. of 18th ACM Int'l. Workshop on Network and Operating Systems Support
for Digital Audio and Video (NOSSDAV2008), pp. 125-126 (June 2008).
- Kitani, T., Shinkawa, T., Shibata, N., Yasumoto, K., Ito, M.,
and Higashino, T.:
Efficient VANET-based Traffic Information Sharing using Buses on
Regular Routes,
Proc. of 2008 IEEE 67th Vehicular
Technology Conference (VTC2008-Spring), pp. 3031-3036 (May 2008).
- Katsuma, R., Murata, Y., Shibata, N., Yasumoto, K., and Ito,
M.:
Maximizing Lifetime of Wireless Sensor Networks with Mobile Sensor
Nodes,
Proc. of Int'l. Workshop on Sensor Network
Technologies for Information Explosion Era (SeNTIE2008), pp. 141-148 (Apr. 2008).
- Shibata, N., Yasumoto, K., and Mori, M.:
P2P Video Broadcast based on Per-Peer Transcoding and its Evaluation on
PlanetLab,
Proc. of 19th IASTED Int'l. Conf. on Parallel and Distributed Computing
and Systems (PDCS2007) (Nov. 2007).
- Kuriyama, H., Murata, Y., Shibata, N., Yasumoto, K., and Ito, M.:
Congestion Alleviation Scheduling Technique for Car Drivers Based
on Prediction of Future Congestion on Roads and Spots,
Proc. of 10th IEEE Int'l. Conf. on Intelligent Transportation Systems (ITSC'07), pp. 910-915 (Sept. 2007).
- Yamamoto, S., Murata, Y., Shibata, N., Yasumoto, K., and Ito, M.:
QoS Adaptation for Realizing Interaction between Virtual and Real Worlds
in Pervasive Network Environment, Proc. of 17th ACM
Int'l. Workshop on Network and Operating Systems Support for Digital
Audio & Video (NOSSDAV2007), pp. 119-124 (Jun. 2007).
- Takashima, E., Murata, Y., Shibata, N., Yasumoto, K. and Ito, M.:
A Method for Distributed Computation of Semi-Optimal Multicast Tree in
MANET,
Proc. of 2007 IEEE Wireless Communications and Networking Conference (WCNC
2007), CD-ROM (Mar. 2007).
- Uyama, K., Tamai, M., Murata, Y., Shibata, N., Yasumoto, K., and Ito, M.:
A Delivery Method for Compound Video Playback in Wireless
Network,
Proc. of 2006 Int'l. Workshop on Parallel and
Distributed Multimedia Computing (ParDMCom-06), LNCS4331, pp.803-812 (Dec. 2006).
- Izaiku, T. Yamamoto, S., Murata, Y., Shibata, N., Yasumoto, K. and Ito, M.:
Cheat Detection for MMORPG on P2P Environments,
Proc. of
the 5th Workshop on Network and System Support for Games
(NetGames2006), CD-ROM (Oct. 2006).
- Kinoshita, T., Nagata, M., Shibata, N., Murata, Y., Yasumoto,
K. and Ito, M.:
A Personal Navigation System for Sightseeing across Multiple
Days,
Proc. of the 3rd Int'l. Conf. on Mobile Computing
and Ubiquitous Networking (ICMU2006), pp. 254-259 (Oct. 2006).
- Nagata, M., Shibata, N., Murata, Y., Yasumoto, K. and Ito, M.:
A method to plan group tours with joining and forking,
Proc. of the 6th Int'l. Conf. on Simulated Evolution And
Learning (SEAL2006), pp. 881-888 (Oct. 2006) .
- Tamai, M., Shibata, N., Yasumoto, K. and Ito, M.:
Network Simulation Architecture for Smartspace,
Proc. of
2006 System Support for Ubiquitous Computing Workshop (UbiSys2006)
(Sep. 2006).
-
Nishikawa, H., Yamamoto, S., Tamai, M., Nishigaki, K., Kitani, T., Shibata, N., Yasumoto, K., and Ito, M.:
UbiREAL: Realistic Smartspace Simulator for Systematic Testing,
Proc. of the 8th Int'l Conf. on Ubiquitous Computing
(UbiComp2006), LNCS4206, pp. 459-476 (Sep. 2006).
- Shibata, N., Terauchi, T., Kitani, T., Yasumoto, K., Ito, M., Higashino, T.:
A Method for Sharing Traffic Jam Information Using Inter-Vehicle
Communication,
Proc. of the 2nd Int'l. Workshop on
Vehicle-to-Vehicle Communications (V2VCOM2006) (Mobiquitous2006
Workshop) (July 2006) (invited paper).
-
Tachibana, T., Murata, Y., Shibata, N., Yasumoto, K., Ito, M.:
Hardware Implementation Method of Multi-Objective Genetic
Algorithms,
Proc. of 2006 IEEE Congress on Evolutionary
Computation (CEC2006) (Jul. 2006).
- Enomoto, M., Shibata, N., Yasumoto, K., Ito, M., Higashino, T.:
A Demand-oriented Information Retrieval Method on MANET,
Proc. of 2006 IEEE
Int'l Workshop on Future Mobile and Ubiquitous Information
Technologies (FMUIT2006) (MDM2006 Workshop)
(May 2006) ( pdf ).
- Shinkawa, T., Terauchi, T., Kitani, T., Shibata, N., Yasumoto, K., Ito, M., Higashino, T.:
A Technique for Information Sharing using Inter-Vehicle
Communication with Message Ferrying,
Proc. of 2006 IEEE
Int'l Workshop on Future Mobile and Ubiquitous Information
Technologies (FMUIT2006) (MDM2006 Workshop) (May 2006) ( pdf ).
- Maeda, K., Umedu, T., Yamaguchi, H., Yasumoto, K., and Higashino, T.:
MobiREAL: Scenario Generation and Toolset for MANET Simulation with Realistic
Node Mobility,
Proc. of
7th IEEE Int'l. Conf. on Mobile Data Management (MDM2006), (Demo
paper) (May 2006).
- Nishigaki, K., Yasumoto, K., Umedu, T., Higashino, T. and Ito,
M.:
Demonstration of a Cellular Phone Application based on
Context-Aware Group Formation,
Proc. of
7th IEEE Int'l. Conf. on Mobile Data Management (MDM2006), (Demo
paper) (May 2006).
- Tamai, M., Shibata, N., Yasumoto, K., Ito, M.:
An Energy-Aware Video Streaming System for Portable Computing
Devices,
Proc. of 7th IEEE Int'l. Conf. on
Mobile Data Management (MDM2006), (Demo paper) (May 2006).
- Tachibana, T., Murata, Y., Shibata, N., Yasumoto, K., Ito, M.:
General Architecture for Hardware Implementation of Genetic
Algorithm,
Proc. of 14th IEEE Symp. on
Field-Programmable Custom Computing Machines (FCCM2006)
(Apr. 2006).
- Uchiyama, A., Umedu, T., Yasumoto, K. and Higashino, T.:
Efficient and Robust Distributed Network Monitoring using Dynamic
Group Formation,
Proc. of 10th IEEE/IFIP Network Operations and
Management Symposium (NOMS2006) (Apr. 2006).
- Sun, T., Tamai, M., Yasumoto, M., Shibata, N., Ito, M. and Mori, M.:
MTcast: Robust and Efficient P2P-based Video Delivery for
Heterogeneous Users,
Proc. of 9th Int'l. Conf. on Principles of Distributed Systems
(OPODIS2005) (Dec. 2005).
- Yamaoka, S., Sun, T., Tamai, M., Yasumoto, K., Shibata, N. and Ito, M.:
Resource-Aware Service Composition for Video Multicast to Heterogeneous
Mobile Users,
Proc. of 1st ACM Int'l. Workshop on Multimedia
Service Composition (MSC'05) (ACM Multimedia 2005 Workshop), pp. 37-46
(Nov. 2005).
- Yamamoto, S., Murata, Y., Yasumoto, K., and Ito, M.:
A Distributed Event Delivery Method with Load Balancing for
MMORPG,
Proc. of 4th ACM Workshop on Network and
System Support for Games (NetGames2005) (Oct. 2005).
- Maeda, K., Sato, K., Konishi, K., Yamasaki, A., Uchiyama, A., Yamaguchi, H., Yasumoto K., and Higashino, T.:
Getting Urban Pedestrian Flow from Simple Observation: Realistic
Mobility Generation in Wireless Network Simulation,
Proc. of 8th ACM/IEEE Int'l. Symp. on Modeling,
Analysis and Simulation of Wireless and Mobile
Systems(MSWiM2005), pp. 151-158 (Oct. 2005).
- Konishi, K., Maeda, K., Sato, K., Yamasaki, A., Yamaguchi, H.,
Yasumoto, K. and Higashino, T.:
MobiREAL Simulator - Evaluating MANET Applications in Real
Environments -,
Proc. of 13th IEEE Int'l. Symp. on Modeling,
Analysis, and Simulation of Computer and Telecommunication Systems
(MASCOTS2005), pp. 499-502 (Sep. 2005).
- Yasumoto, K. and Nahrstedt, K.:
RAVITAS: Realistic Voice Chat Framework for Cooperative Virtual
Spaces,
Proc. of 2005 IEEE Int'l. Conf. on Multimedia and Expo
(ICME2005), CD-ROM (July 2005).
- Nishigaki, K., Yasumoto, K., Shibata, N., Ito, M., Higashino,
T.:
Framework and Rule-based Language for Facilitating Context-aware
Computing using Information Appliances,
Proc. of 1st Int'l. Workshop on Services and Infrastructure
for the Ubiquitous and Mobile Internet (SIUMI'05)
(ICDCS'05 Workshop), pp. 345-351 (June 2005).
- Tamai, M., Shibata, N., Yasumoto, K. and Ito, M.:
Distributed Market Broker Architecture for Resource Aggregation in
Grid Computing Environments,
Proc. of 2005 IEEE Int'l. Symp. on
Cluster Computing and the Grid (CCGrid2005), CD-ROM (May 2005).
- Uchiyama, A., Umedu, T., Yasumoto, K. and Higashino, T.:
FLEXA:
Distributed and Flexible Network Monitoring with Autonomous Group
Formation,
Proc. of the 9th IFIP/IEEE Int'l. Symp. on
Integrated Network Management (IM2005), No.1, pp. 1209-1212 (May 2005).
- Shiraishi, T., Nagata, M., Shibata, N., Murata, Y, Yasumoto,
K. and Ito, M.:
A Personal Navigation System with a Schedule
Planning Facility Based on Multi-Objective Criteria ,
Proc. of 2nd Int'l. Conf. on Mobile Computing and
Ubiquitous Networking (ICMU 2005), pp. 104-109 (April 2005).
- Higashino, T., Yamaguchi, H., Yasumoto, K. and Shimada, K.:
Toward Future Innovation of Mobile Communication Systems -
Current Requirements for Research -,
Proc. of 2nd Int'l. Conf. on Mobile Computing and Ubiquitous
Networking (ICMU 2005), pp. 2-7 (April 2005) (invited paper).
- Kitani, T., Takamoto, Y., Yasumoto, K., Nakata, A. and Higashino, T.:
A Flexible and High-Reliable HW/SW Co-Design Method for Real-Time
Embedded Systems,
Proc. of 25th IEEE Int'l. Real-Time Systems
Symposium (RTSS 2004), pp. 437-446 (Dec. 2004) ( pdf ).
- Maruyama, A., Shibata, N., Murata, Y., Yasumoto, K. and Ito, M.:
P-Tour: A Personal Navigation System for Tourism ,
Proc. of 11th World Congress on ITS (Oct. 2004) ( pdf ).
- Tamai, M., Sun, T., Yasumoto, K., Shibata, N. and Ito,
M.:
Energy-aware Video Streaming with QoS Control for Portable Computing
Devices, ,
Proc. of the 14th ACM Int'l. Workshop on Network and Operating
Systems Support for Digital Audio and Video (NOSSDAV2004) , pp. 68-73
(Jun. 2004) (
pdf ).
- Tamai, M., Sun, T., Yasumoto, K., Shibata, N. and Ito,
M.:
Energy-aware QoS Adaptation for Streaming Video based on
MPEG-7,
Proc. of 2004 IEEE Int'l. Conf. on Multimedia and Expo
(ICME2004) (Jun. 2004) ( pdf ).
- Nishigaki, K., Yasumoto, K., Umedu, T., Higashino, T. and Ito, M.:
Middleware Providing Group Communication Facility Based on Multi-way
Synchronization for Cellular Phone Applications,
Proc. of
the 4th Int'l. Workshop on Smart Appliances and Wearable Computing (IWSAWC
2004), pp. 434-437 (Mar 2004) ( pdf
).
- Maruyama, A., Shibata, N., Murata, Y., Yasumoto, K. and Ito, M.:
A
Personal Tourism Navigation System to Support Traveling Multiple Destinations
with Time Restrictions ,
Proc. of the 18th Int'l. Conf. on
Advanced Information Networking and Applications (AINA 2004), pp.18-21 (Mar 2004)
( pdf ).
- Yamashita, T., Yamaguchi, H., Yasumoto, K., Higashino, T. and Taniguchi,
K.:
Emma Middleware: An Application-level Multicast Infrastructure for
Multi-party Video Communication,
Proc. of the 15th
IASTED Int'l. Conf.
on Parallel and Distributed Computing and Systems (PDCS2003), pp. 416-421
(Nov. 2003).
- Tamai, M., Yasumoto, K., Shibata, N. and Ito, M.:
Low Power Video
Streaming for PDAs ,
Proc. of the 8th Int'l. Workshop on Mobile
Multimedia Communications (MoMuC2003), pp. 31-36 (Oct. 2003) (
pdf ).
- Sun, T., Yasumoto, K., Mori, M., Higashino, T.:
QoS Functional
Testing for Multi-media Systems ,
Proc. of the 23rd IFIP
Int'l. Conf. on Formal Techniques for Networked and Distributed
Systems (FORTE2003), LNCS2767, pp. 319-334 (Sept. 2003) ( pdf ).
- Kitani, T., Takamoto, Y., Naka, I., Yasumoto, K., Nakata, A., Higashino,
T.:
Design and Implementation of Priority Queuing Mechanism on FPGA
using Concurrent Periodic EFSMs and Parametric Model Checking ,
Proc. of the 13th Int'l. Conf. on Field Programmable Logic
and Applications (FPL2003), LNCS2778, pp. 1145-1148 (Sept. 2003) ( pdf ).
- Nakamura, Y., Yamaguchi, H., Hiromori, A., Yasumoto, K., Higashino, T. and
Taniguchi, K.:
On Designing End-user Multicast for Multiple Video
Sources ,
Proc. of the 2003 IEEE Int'l. Conf. on
Multimedia & Expo (ICME2003), Vol. III, pp.497-500 (Jul. 2003).
- Hiromori, A., Yamaguchi, H., Yasumoto, K., Higashino, T. and Taniguchi,
K.:
Reducing the Size of Routing Tables for Large-scale Network
Simulation ,
Proc. of Workshop on Parallel and
Distributed Simulation (PADS2003), pp.115-122 (Jun 2003).
- Yamaguchi, H. Letan, C.M., Hiromori, A. Yamashita, T., Yasumoto, K.,
Higashino, T. and Taniguchi, K.:
A Receiver Coordination Protocol for
the Efficient Use of Bandwidth in Distributed Multimedia
Applications ,
Proc. of the 5th Int'l. Workshop on
Multimedia Network Systems and Applications (MNSA2003),
pp. 531-536 (May 2003).
- Sun, T., Yasumoto, K. and Mori, M.:
A Method for QoS Functional
Testing in Distributed Multi-media Systems ,
Proc. of the 1st Int'l.
Conf. on Information Technology and Applications (ICITA2002) (Nov. 2002)
( pdf ).
- Umedu, T., Yasumoto, K., Nakata, A., Yamaguchi, H. and Higashino, T.:
Middleware for Synchronous Group Communication in Wireless Ad Hoc
Networks ,
Proc. of IASTED Int'l. Conf. on
Communications and Computer Networks (CCN2002), pp. 48-53 (Nov. 2002) ( pdf
).
- Murata, Y., Shibata, N., Yasumoto, K. and Ito, M.:
Agent Oriented
Self Adaptive Genetic Algorithm ,
Proc. of IASTED Int'l. Conf. on
Communications and Computer Networks (CCN2002), pp.348-353 (Nov. 2002) ( pdf ).
- Kirimura, M., Takamoto, Y., Mori, T., Yasumoto, K., Nakata, A. and
Higashino, T.:
Design and Implementation of FPGA Circuits for High
Speed Network Monitors ,
Proc. of 12th Int'l. Conf. on Field
Programmable Logic and Application (FPL2002), LNCS2438 , pp. 393-403
(Sept. 2002) ( pdf
).
- Hiromori, A., Yamaguchi, H., Yasumoto, K., Higashino, T. and Taniguchi,
K.:
A Selection Technique for Replicated Multicast Video
Servers ,
Proc. of the 2002 Int'l. Conf. on Parallel Processing (ICPP-02) , pp.
556-563 (Aug. 2002).
- Umedu, T., Terashima, T., Yasumoto, K., Nakata, A., Higashino, T. and
Taniguchi, K.:
A Language for Describing Wireless Mobile Applications
with Dynamic Establishment of Multi-way Synchronization Channels
,
Proc. of Int'l. Symp. of Formal Methods Europe (FME2002),
LNCS2391 , pp.607-624 (Jul. 2002) ( pdf ).
- Higashino, T., Yamaguchi, Y., Nakata, A. and Yasumoto, K.:
Perspectives in Developing Distributed Cooperative Systems
,
Proc. of 2nd Int'l. Conf. on Software Engineering, Artificial Intelligence,
Networking & Parallel/Distributed Computing (SNPD'01) , pp. xi-xix
(Aug. 2001) (invited paper).
- Umedu, T., Yamaguchi, H., Yasumoto, K. and Higashino, T. :
Constraint-Oriented Model for Describing Distributed Cooperative
Systems and Efficient Deadlock Detection Using Symmetries ,
Proc. of
2nd Int'l. Conf. on Software Engineering, Artificial Intelligence, Networking
& Parallel/Distributed Computing (SNPD'01) ,
pp. 584-591 (Aug. 2001).
- Hiromori, A., Yamashita, T., Yamaguchi, H., Yasumoto, K., Higashino, T.
and Taniguchi, K.:
Quality Requirement Coordination in Rate Adaptation
of Multiple Layered Video ,
Proc. of 2nd Int'l. Conf. on Software
Engineering, Artificial Intelligence, Networking & Parallel/Distributed
Computing (SNPD'01) , pp. 540-547 (Aug. 2001).
- Umedu, T., Yamaguchi, H., Yasumoto, K. and Higashino, T. :
Protocol
Synthesis from SMIL-Based Scenarios and Its Implementation in Distributed
Environment ,
Proc. of 15th Int'l. Conf. on Information Networking
(ICOIN-15) , pp. 163-170 (Jan. 2001).
- Hiromori, A., Yamaguchi, H., Yasumoto, K., Higashino, T. and Taniguchi, K.
:
Fast and Optimal Multicast-Server Selection Based on Receivers'
Preference ,
Proc. of 7th Int'l. Workshop on Interactive Distributed
Multimedia Systems and Telecommunication Services (IDMS2000),
LNCS 1905 , pp. 40-52 (Oct. 2000).
- Katagiri, H., Kirimura, M., Yasumoto, K., Higashino, and Taniguchi, K. :
Hardware Implementation of Concurrent Periodic EFSMs ,
Proc.
of Joint Int'l. Conf. on 13th Formal Description Techniques and 20th Protocol
Specification, Testing, and Verification (FORTE/PSTV2000)
, pp. 285 - 300 (Oct. 2000) ( pdf ).
- Terashima, Y., Yasumoto, K., Higashino, T., Abe, K., Matsuura, T. and
Taniguchi, K. :
Extension of SMIL with QoS Control and its
Implementation ,
Proc. of 1st IEEE Int'l. Conf. on Multimedia and
Expo (ICME2000), (Jul. 2000) ( pdf ).
- Terashima, Y., Yasumoto, K., Higashino, T., Abe, K., Matsuura, T. and
Taniguchi, K. :
Integration of QoS Guarantees into SMIL and its
Flexible Implementation ,
Proc. of 8th IFIP Int'l. Workshop on Quality
of Service (IWQoS2000), pp. 164-166 (Jun. 2000) ( pdf , full
version).
- Katagiri, H., Yasumoto, K., Kitajima, A., Higashino, T. and Taniguchi, K.
:
Hardware Implementation of Communication Protocols modeled by
Concurrent EFSMs with Multi-way Synchronization ,
Proc. of 37th Design
Automation Conf. (DAC-2000), pp. 762-767 (Jun. 2000) ( pdf ).
- Yamaguchi, H., Yasumoto, K., Higashino, T. and Taniguchi, K. :
Receiver-Cooperative Bandwidth Management for Layered
Multicast ,
Proc. of 1999 IEEE Int'l. Conf. on Network
Protocols (ICNP-99), pp.43-50 (Nov. 1999).
- Yasumoto, K., Kitajima, A., Higashino, T. and Taniguchi, K.
:
Hardware synthesis from protocol specifications in LOTOS
,
Proc. of 1998 IFIP Joint Int'l. Conf. on Formal Description Techniques and
Protocol Specification, Testing and Verification (FORTE/PSTV'98), pp.
405-420 (Nov. 1998) ( pdf ).
- Sakate, H., Yamaguchi, H., Yasumoto, K., Higashino, T. and Taniguchi, K. :
Resource Management for Quality of Service Guarantees in Multi-party
Multimedia Application ,
Proc. of 1998 IEEE Int'l. Conf. on Network
Protocols (ICNP-98), pp. 189-196 (Oct. 1998).
- Abe, K., Matsuura, T., Yasumoto, K. and Higashino, T. :
Design and
Implementation of an Efficient I/O Method for a Real-time User Level Thread
Library ,
Proc. of 5th Int'l. Conf on Real-Time Computing Systems
and Applications (RTCSA'98), pp. 117-120 (Oct. 1998)
- Yasumoto, K., Gotoh, K., Tatsumoto, H., Higashino, T. and Taniguchi, K. :
Implementation of Distributed Systems described with LOTOS
Multi-rendezvous on Bus Topology Networks ,
Proc. of 1997 IFIP Joint
Int'l. Conf. on Formal Description Techniques and Protocol Specification,
Testing and Verification (FORTE/PSTV'97) , pp. 161-176 (Nov. 1997) ( pdf
).
- Yasumoto, K., Higashino, T., Matsuura, T. and Taniguchi, K. :
Protocol Visualization using LOTOS Multi-Rendezvous Mechanism
,
Proc. of 1995 IEEE Int'l. Conf. on Network Protocols
(ICNP-95) , pp. 118-125 (Nov. 1995) ( pdf ).
- Yasumoto, K., Higashino, T., Abe, K., Matsuura, T. and Taniguchi, K. :
A LOTOS Compiler Generating Multi-threaded Object Codes ,
Proc.
of 8th IFIP Int'l. Conf. on Formal Description Techniques (FORTE'95) ,
pp.271-286 (Oct. 1995) ( pdf ).
- Higashino, T., Yasumoto, K., Kitamichi, J. and Taniguchi, K.
:
Hardware Synthesis from a Restricted Class of LOTOS
Expressions ,
Proc. of 14th IFIP Int'l. Symp. on Protocol Specification, Testing, and
Verification (PSTV-XIV), pp.355-362 (June 1994).
- Yasumoto, K., Higashino, T. and Taniguchi, K. :
Software Process
Description using LOTOS and Its Enaction ,
Proc. of IEEE 16th Int'l.
Conf. on Software Engineering (ICSE-16) , pp.169-178 (May 1994) ( pdf ).
- Higashino, T., Bochmann, G. v., Li, X., Yasumoto, K. and Taniguchi, K. :
A Test System for a Restricted Class of LOTOS Expressions with Data
Parameters ,
Proc. of 5th IFIP Int'l. Workshop on Protocol Test Systems
(IWPTS'92) , pp. 205-216 (Sept. 1992).

- Ahmed, A., Yasumoto, K., Yamauchi, Y., Ito, M.:
Probabilistic Coverage in People-Centric Sensing,
Poster Session in IEEE ICNP 2010, pp. 1-2 (Oct. 2010).
- Katsuma, R., Murata, Y., Shibata, N., Yasumoto, K., Ito, M.:
Constructing Robust k-covered WSN with Multiple Data Collection Trees,
Poster Session in IEEE ICNP 2010, pp. 1-2 (Oct. 2010). (received Best Poster Award)
- Marc T. Kouakou, Shinya Yamamoto, Keiichi Yasumoto, Minoru Ito:
Deployment planning tool for indoor 3D-WSNs,
Adjunct Proceedings of UbiComp 2010, Demo, pp. 369-370 (Sep. 2010).
- Naoya Kouyama, Kota Kiyokawa, Shinya Yamamoto, Tomoya Kitani,
Naoki Shibata, Keiichi Yasumoto, Minoru Ito:
A Support Tool for Developing Smart-space Applications with 3D Virtual Space,
Adjunct Proc. of Pervasive2009, Demo: No. 15, pp. 233-236 (May 2009).
- Hiroshi Nishikawa, Shinya Yamamoto, Morihiko Tamai, Kouji Nishigaki,
Tomoya Kitani, Naoki Shibata, Keiichi Yasumoto, Minoru Ito:
UbiREAL: Simulator for Network Appliances and Physical Quantities
in Smartspace, Adjunct Proc. of UbiComp2006, Demo: No. 3 (Sept. 2006).
- Tachibana, T. Murata, Y., Shibata, N., Yasumoto, K. and Ito, M.:
Flexible Implementation of Genetic Algorithms on FPGA,
Proc.
of 14th ACM/SIGDA Int'l. Symp. on Field-Programmable
Gate Arrays (FPGA2006), p. 236 (Feb. 2006).
- Nishigaki, K., Yasumoto, K., Umedu, T., Higashino, T. and Ito, M.:
Middleware Providing Dynamic Group Communication Facility for Cellular
Phone Applications,
Proc. of the 2004 IEEE Int'l. Conf. on Mobile Data
Management (MDM2004), p. 170 (Jan. 2004) ( poster ,
full version
).

- 安本慶一,柴田直樹,藤原礼征:
経路案内装置、経路案内方法、経路案 内プログラム、及び経路案内システム,
特願2011-079266(出願日:2011年3 月31日).
- 東野輝夫,山口弘純,安本慶一:
移動ノードシミュレータおよびこれを実装するプログラム,
登録番号:特許第4534047号 (2010/06/25)(出願番号:特願2006-532725).
- 安本慶一,伊藤 実,柴田直樹,玉井森彦,孫 タオ:
情報配信装
置、情報配信システムおよび情報配信方法,
登録番号:特許第4408383号(2009/11/20) (出願番号:特願2004-078376).
- 柴田直樹,丸山敦史,村田佳洋,安本慶一,伊藤実:
経路探索システム、サーバ、携帯端末、経路探索装置、経路探索プログラム
,
登録番号:特許第4292062号 (2009/4/10) (出願番号:特願2003-403344).

平成23年以降はこちら
- 水本 旭洋, 孫 為華, 安本 慶一, 伊藤 実:
多数傷病者事故での救命率向上を目指した電子トリアージタグに基づく傷病者搬送計画手法,
第18回マルチメディア通信と分散処理ワークショップ,pp. 43-48,青島サンクマール(宮崎日南海岸)(2010-10).(最優秀論文賞受賞)
- 高松 悠, 孫 為華, 山内 由紀子, 安本 慶一, 伊藤 実:
Bluetooth によるすれ違い通信を活用した複数携帯電話端末による省電力協調動画ダウンロード手法,
第18回マルチメディア通信と分散処理ワークショップ,pp. 125-130,青島サンクマール(宮崎日南海岸)(2010-10).(学生優秀論文賞受賞)
- 勝間 亮,村田佳洋,柴田直樹,安本慶一,伊藤 実:
WSN 稼働時間延長のためのスリープ
スケジューリング手法,マルチメディア,分散,協調とモバイル(DICOMO2010)シンポジウム,pp.
540-550,下呂(2010-07).(ヤングリサーチャ賞受賞)
- 山本眞也, 神山直也, 安本慶一, 伊藤 実:
複数ユーザの嗜好を推測し快適性を実現するスマー
トスペースの提案,マルチメディア,分散,協調とモバイル(DICOMO2010)シンポジウム,pp. 1309
-1317,下呂(2010-07).
- 小倉和也, 山本眞也, 安本慶一, 伊藤 実:
スマートスペースにおける省エネ行動支援システム
の提案,マルチメディア,分散,協調とモバイル(DICOMO2010)シンポジウム,pp. 1808-1816,
下呂(2010-07).
- Kouakou, N. M. T., Yamamoto, S., Yasumoto, K., Ito, M.:
Cost-Efficient Deployment for
Full-Coverage and Connectivity in Indoor 3D WSNs,マルチメディア,分散,協調とモバイル
(DICOMO2010)シンポジウム,pp. 1975 - 1982,下呂(2010-07).(優秀論文賞受賞)
- 布川雄大, 孫 為華, 安本慶一, 伊藤 実:
MANET を用いたワンセグ難視聴端末救済手法の性
能評価, 第17 回マルチメディア通信と分散処理ワークショップ論文集(DPSWS2009), pp.19 - 24,層
雲峡 (2009-10).(学生優秀論文賞受賞)
- 中村正人, 木谷友哉, 孫 為華, 柴田直樹, 安本慶一, 伊藤 実:
予定経路情報を用いた車車間
情報配送効率の改善, 第17 回マルチメディア通信と分散処理ワークショップ(DPSWS2009),
pp.129-134,層雲峡 (2009-10).(優秀プレゼンテーション賞受賞)
- 小谷和也, 孫 為華, 木谷友哉, 柴田直樹, 安本慶一, 伊藤 実:
交差点映像の協調撮影と共有
を目的とした車車間通信プロトコル, 第17 回マルチメディア通信と分散処理ワークショップ論文集
(DPSWS2009), pp.135-140,層雲峡(2009-10).(学生最優秀論文賞受賞)
- 石丸泰大, 孫 為華, 安本慶一, 伊藤 実:
データの優先度と配送期限を考慮したDTN 経路制
御手法の提案, 第17 回マルチメディア通信と分散処理ワークショップ(DPSWS2009), pp. 227-232,
層雲峡 (2009-10).(学生奨励賞受賞)
- 小谷和也, 中村正人, 木谷友哉, 孫 為華, 柴田直樹, 安本慶一, 伊藤 実:
複数のカメラ映像
の合成によるリアルタイム鳥瞰映像提示システム,第17 回マルチメディア通信と分散処理ワークシ
ョップ論文集(DPSWS2009), デモ,pp.109-110,層雲峡(2009-10).
- 清川皓太,山本眞也,柴田直樹,安本慶一,伊藤 実:
3D 仮想空間インタフェースを持つ携
帯情報家電リモコン“UbiREMOTE”,情報処理学会第17 回マルチメディア通信と分散処理ワークシ
ョップ論文集(DPSWS2009),デモ,pp.111-112,層雲峡(2009-10).(ベストデモンストレーション賞受賞)
- 石丸泰大, 中村正人, 布川雄大, 黒岩潤平, 高松 悠, 孫 為華, 安本慶一, 伊藤 実:
DTN 技術を用いた混在型ネットワークにおける口コミ情報配信サービス, 第17 回マルチメディア通
信と分散処理ワークショップ論文集(DPSWS2009),デモ,pp,115-116,層雲峡 (2009-10).
- 孫 為華,山口弘純,安本慶一, 伊藤 実:
交差点付近の電波強度モデルに基づく歩行者位置
推定法の精度向上と性能評価,第17 回マルチメディア通信と分散処理ワークショップ論文集
(DPSWS2009), ポスタ,pp.125-126,層雲峡(2009-10).(ベストポスター賞受章)
- 神山直也, 木谷友哉, 柴田直樹, 安本慶一, 伊藤 実:
嗜好の異なる複数ユーザを対象としたス
マートスペースのデバイス制御法, マルチメディア, 分散, 協調とモバイル(DICOMO2009)シンポジ
ウム, pp. 1508 - 1515,別府 (2009-07).
- 清川皓太, 山本眞也, 柴田直樹, 安本慶一, 伊藤 実:
3D 仮想空間インタフェースを持つ情報
家電リモコンの携帯端末上への実装, マルチメディア, 分散, 協調とモバイル(DICOMO2009)シンポ
ジウム, pp. 26 - 35,別府 (2009-07).
- 勝間 亮, 村田佳洋, 柴田直樹, 安本慶一, 伊藤 実:
過剰にノードを用いることによるセンサ
ネットワークの稼働時間延長方式, マルチメディア, 分散, 協調とモバイル(DICOMO2009)シンポジ
ウム, pp. 322 - 332,別府 (2009-07). (ヤングリサーチャ賞受賞)
- 武 兵, 村田佳洋, 柴田直樹, 安本慶一, 伊藤 実:
天候を考慮した観光スケジュール群の局所
探索を用いた立案手法, マルチメディア, 分散, 協調とモバイル(DICOMO2009)シンポジウム, pp.
473 - 479,別府 (2009-07).
- 野口晃司, 柴田直樹, 安本慶一, 伊藤 実:
シチュエーションに応じて画面レイアウトを自動
変更するテレビ会議ベース遠隔教育支援フレームワークの提案, マルチメディア, 分散, 協調とモバ
イル(DICOMO2009)シンポジウム, pp. 529 - 538,別府 (2009-07).
- Ahmed, A., Yasumoto, K., Shibata, N., Kitani, T., Ito, M.:
DASR: Distributed Adaptive
Service Replication for MANETs, マルチメディア, 分散, 協調とモバイル(DICOMO2009)シンポジ
ウム, pp. 823 - 835,別府 (2009-07).
- 花野博司,村田佳洋,柴田直樹,安本慶一,伊藤 実:
WiFi と携帯通信網を併用した動画広
告配信手法,第16 回マルチメディア通信と分散処理ワークショップ論文集(DPSWS 2008),pp.
267-272,萩 (2008).(学生優秀論文賞,優秀プレゼンテーション賞受賞)
- 安本慶一,柴田直樹:
ユビキタスシステムの実装の正しさをテストするためのフレームワーク
UbiTEST の提案,第16 回マルチメディア通信と分散処理ワークショップ論文集(DPSWS 2008),pp.
181-186,萩 (2008).
- 清川皓太,神山直也,山本眞也,木谷友哉,柴田直樹,安本慶一,伊藤 実:
スマートホーム
設計開発支援システムUbiREAL,第16 回マルチメディア通信と分散処理ワークショップ論文集
(DPSWS2008),デモ,pp. 237-238,萩(2008-12).(特別セッション賞受賞)
- 山本眞也,村田佳洋,柴田直樹,安本慶一,伊藤 実:
3D 仮想空間におけるユーザ間インタ
ラクションを実現するためのユーザ視野に基づくQoS 適応機構,第16 回マルチメディア通信と分
散処理ワークショップ(DPSWS 2008),デモ,pp. 235-236,萩 (2008-12).(特別セッション賞受賞)
- 花野博司, 村田佳洋, 柴田直樹, 安本慶一, 伊藤 実:
セルラーネットワークとアドホックネッ
トワークを併用したBitTorrent 風動画広告配信手法, マルチメディア,分散,協調とモバイル
(DICOMO2008)シンポジウム, pp. 1888 . 1893,定山渓(2008-07).
- 武 兵, 村田佳洋, 柴田直樹, 安本慶一, 伊藤 実:
天気の変化に対応可能な観光スケジュー
ル作成手法, マルチメディア,分散,協調とモバイル(DICOMO2008)シンポジウム, pp. 1651-1660,
定山渓(2008-07).
- 澤 悠太, 木谷友哉, 柴田直樹, 安本慶一, 伊藤 実:
指向性アンテナを搭載した複数車両の
協調による歩行者位置検出方式, マルチメディア,分散,協調とモバイル(DICOMO2008)シンポジウ
ム, pp. 862-871,定山渓(2008-07)..
- 孫 為華, 山口弘純, 安本慶一, 伊藤 実:
車車間ルーティングプロトコルによる車両と基地
局との通信プラットフォームの提案, マルチメディア,分散,協調とモバイル(DICOMO2008)シンポ
ジウム, pp. 1097-1104,定山渓(2008-07).
- 勝間 亮, 村田佳洋, 柴田直樹, 安本慶一, 伊藤 実:
データ収集型WSN でのk 重被覆の保
証および稼働時間の最大化を目的とした移動センサノードの位置決定および通信経路構築手法, マ
ルチメディア,分散,協調とモバイル(DICOMO2008)シンポジウム, pp. 382-395,定山渓(2008-07).
- 前田久美子, 中田圭佑, 梅津高朗, 山口弘純, 安本慶一, 東野輝夫:
実時間インタラクティブシ
ミュレーションによる無線通信アプリケーションの性能試験,マルチメディア,分散,協調とモバイ
ル(DICOMO2008)シンポジウム, pp. 1113 - 1120,定山渓(2008-07).
- 栗山恭嘉,村田佳洋,柴田直樹,安本慶一,伊藤 実:
都市部道路網を対象とした混雑回避巡回スケジューリング手法,
第15回マルチ
メディア通信と分散処理ワークショップ論文集(DPSWS-15),pp. 225-230(2007-11).(優秀プレゼンテーション賞受賞)
- 柴田直樹,安本慶一,森 將豪:
多様な品質要求に対するトランスコードに基づくP2Pビデオ配信手法とその
実環境での評価,
第15回マルチメディア通信と分散処理ワークショッ
プ論文集(DPSWS-15),pp. 25-30(2007-11).
- 松田 智,柴田直樹,安本慶一,伊藤 実:
分散仮想環境への非同期インタラクション機能の導入,
第15回マ
ルチメディア通信と分散処理ワークショップ論文集(DPSWS-15),
pp. 261-266(2007-11).(学生奨励賞受賞)
- 勝間 亮, 村田佳洋, 柴田直樹, 安本慶一, 伊藤 実:
可動ノードの導入によるセンサネットワークの省電力ルーティング方式の提案,
情報処理学会 マルチメディア,分散,協調とモバイル (DICOMO2007) シンポジウム論文集,pp. 966 - 971 (2007-07).
- 山本眞也,村田佳洋,柴田直樹,安本慶一,伊藤 実:
実空間と仮想空間におけるインタラクションを一般的なネットワーク環境で実現するためのフレームワークの提案,
情報処理学会 マルチメディア,分散,協調とモバイル (DICOMO2007) シンポジウム論文集,pp. 1690-1699 (2007-07).
- 木谷友哉,寺内隆志,柴田直樹,安本慶一,東野輝夫,伊藤 実:
車車間通信を用いた渋滞情報収集と目的地への到着時刻予測手法の提案
,
情報処理学会 マルチメディア,分散,協調とモバイル (DICOMO2007) シ
ンポジウム論文集,pp. 88-95 (2007-07).
- 榎本 真, 柴田直樹, 安本慶一, 伊藤 実, 東野輝夫:
MANET上での情報検索のための需要に基づいた情報複製配置方式,
マルチメディア,分散,協調とモバイルシンポジウム(DICOMO 2006)論文集,pp. 137-140 (2006-07).
- 新川 崇,寺内隆志,木谷友哉,柴田直樹,安本慶一,東野輝夫,伊
藤 実:
車車間通信を用いた渋滞情報収集システムにおける情報伝播方法の改善,
マルチメディア,分散,協調とモバイルシンポジウム(DICOMO 2006)論文集,pp. 225-228 (2006-07).
- 木下隆正,永田宗伸,村田佳洋,柴田直樹,安本慶一,伊藤 実:
観光用パーソナルナビゲーションシステムP-Tourにおける宿泊地の選定機能,
マルチメディア,分散,協調とモバイルシンポジウム(DICOMO 2006)論文集,
pp. 233-236 (2006-07).
- 山本 眞也,村田 佳洋,柴田 直樹,安本 慶一,伊藤 実:
現実空間ユーザと仮想空間ユーザのリアルタイム情報共有のためのフレームワークの提案,
マルチメディア,分散,協調とモバイルシンポジウム(DICOMO 2006)論文集,
pp. 609-612,(2006-07).
- 玉井 森彦,柴田 直樹,安本 慶一,伊藤 実:
スマートスペースを対象としたデバイス間通信シミュレータの開発,
マルチメディア,分散,協調とモバイルシンポジウム(DICOMO 2006)論文集,
pp. 689-692,(2006-07).
- 中橋 亮,木谷 友哉,安本 慶一,中田 明夫, 東野 輝夫:
ユビキタスシステムを動的リコンフィギャラブルプロセッサ上へ実装するためのシステム分割アルゴリズムの提案,
,マルチメディア,分散,協調とモバイルシンポジウム(DICOMO 2006)論文集,
pp. 889-892,(2006-07).
- 前田 久美子,梅津 高朗,山口 弘純,安本 慶一,東野 輝夫:
ネットワークシミュレータMobiREALを用いたモバイルアドホックネットワークシステムの開発環境,
マルチメディア,分散,協調とモバイルシンポジウム(DICOMO 2006)論文集,
pp. 397-400,(2006-07).(優秀論文賞受賞)
- 西川 博志,山本 眞也,玉井 森彦,西垣 弘二,木谷 友哉,柴田 直樹, 安本 慶一,伊藤 実:
スマートスペースシミュレータUbiREALの提案,
マルチメディア,分散,協調とモバイルシンポジウム(DICOMO 2006)論文集,
pp.945-948,(2006-07).
- 内山彰,梅津高朗,安本慶一,東野輝夫:
無線ネットワークにおいて問題が発生している位置範囲を特定するネットワークモニタ方式の提案,
マルチメディア,分散,協調とモバイル(DICOMO2005)シンポジウム (2005-07).
- 永田宗伸,村田佳洋,柴田直樹,安本慶一,伊藤実:
グループ観光における別行動を含むスケジュール作成機能の提案,
マルチメディア,分散,協調とモバイル(DICOMO2005)シンポジウム (2005-07).
- 高島栄一,柴田直樹,村田佳洋,安本慶一,伊藤実:
MANETにおける島モデルGAを用いたQoSマルチキャストルーティングの一手法,
マルチメディア,分散,協調とモバイル(DICOMO2005)シンポジウム (2005-07).
- 西垣弘二,安本慶一,柴田直樹,東野輝夫,伊藤実:
Design and Implementation of Framework for Facilitating Context-aware Computing at Home,
マルチメディア,分散,協調とモバイル(DICOMO2005)シンポジウム (2005-07).
- 佐藤和基,前田久美子,山崎亜希子,内山彰,山口弘純,安本慶一,東野輝夫:
現実的な環境下でMANETシステムを性能評価するための無線ネットワークシミュレータMobiREAL,
マルチメディア,分散,協調とモバイル (DICOMO2005) シンポジウム(2005-07).(最優秀デモンストレーション賞(野口賞),優秀論文賞受賞)
- 小西一樹,廣森聡仁,山口弘純,安本慶一,東野輝夫,谷口健一:
モバイルワイヤレスネットワークシミュレータMobiREALの並列実行による大規模シミュレーションの検討,
マルチメディア,分散,協調とモバイル (DICOMO2005) シンポジウム(2005-07).
- 孫 タオ,玉井 森彦,安本 慶一,柴田 直樹, 伊藤 実,森 將豪:
異なる要求を持つユーザへのマルチオブジェクトビデオストリーミング
,
第12回マルチメディア通信と分散処理(DPS) ワークショップ論文集 (2004-12).
- 山口弘純,安本慶一,東野輝夫:
モバイルネットワークアプリケーションの現実的評価を可能とするシミュレータ MobiREAL の設計構想,
情報学ワークショップ2004(WiNF2004)(2004-09).
- 孫タオ,玉井森彦,安本慶一,柴田直樹,
伊藤実:
シーンの重要度に従った再生品質制御を行う携帯端末向けビデオストリーミングシステム,
マルチメディア,分散,協調とモバイル(DICOMO2004)シンポジウム論文集(2004-07)
( pdf
).
- 玉井森彦, 柴田直樹, 安本慶一,
伊藤実:
P2P環境において市場原理に基づいた資源共有を行うための分散アーキテクチャ,
マルチメディア,分散,協調とモバイル(DICOMO2004)シンポジウム論文集(2004-07)
( pdf
).
- 梅津高朗,内山彰,安本慶一,東野輝夫:
ピアツーピアアプリケーション記述のための形式モデルの提案
,
マルチメディア,分散,協調とモバイル(DICOMO2004)シンポジウム論文集(2004-07) ( pdf
).
- 白石貴之,丸山敦史,柴田直樹,村田佳洋,安本慶一,伊藤実:
多目的性を考慮したスケジュール作成支援と経路案内機能を提供する観光用パーソナルナビゲーションシステム
,
マルチメディア,分散,協調とモバイル(DICOMO2004)シンポジウム論文集(2004-07) ( pdf ).
- 木村旭,山口弘純,安本慶一,東野輝夫:
ポリシーに基づく多重帰属を分散制御するVPNアーキテクチャの設計とその評価
,
マルチメディア,分散,協調とモバイル(DICOMO2004)シンポジウム論文集(2004-07) ( pdf ).
- 内山彰,梅津高朗,安本慶一,東野輝夫:
広域ネットワークでの利用を前提とした自律分散ネットワークモニタ方式の性能評価
,
マルチメディア,分散,協調とモバイル(DICOMO2004)シンポジウム論文集(2004-07) ( pdf
).
- 公原勝彦,安本慶一,伊藤実:
P2P環境でのネットワークゲーム向け負荷分散機構の提案,
第11回マルチメディア通信と分散処理(DPS)
ワークショップ論文集,pp. 79-84 (2003-12) ( pdf
).
- 任 貴全,浦田 繁玄,梅津 高朗,中田 明夫,安本 慶一,東野
輝夫:
位置情報付き写真データを用いた携帯電話向け移動支援システムとその実現法,
第11回マルチメディア通信と分散処理(DPS)ワークショップ論文集,pp.
257-262 (2003-12).
- 丸山敦史,柴田直樹,村田佳洋,安本慶一,伊藤実:
複数目的地を時間制約付きで巡回するための経路探索アルゴリズム,
マルチメディア,分散,協調とモバイル(DICOMO2003)シンポジウム,
pp. 469-472 (2003-06).
- 西垣 弘二,安本 慶一,梅津 高朗,東野 輝夫,伊藤
実:
マルチランデブによるグループ通信機能を提供する携帯電話アプリケーションのためのミドルウェアの実現,
マルチメディア,分散,協調とモバイル(DICOMO2003)シンポジウム論文集
, pp. 757-760 (2003-06).
- 梅津 高朗,賀紋 孝夫,安本 慶一,東野 輝夫:
セグメント間での自律的なグループ形成機構を用いた分散型ネットワークモニタの実現
,
マルチメディア,分散,協調とモバイル(DICOMO2003)シンポジウム論文集, pp. 29-32 (2003-06).
- 中村嘉隆,山口弘純,廣森聡仁,安本慶一,東野輝夫:
エンドホストの動画像フィルタリングを用いたアプリケーション層
QoSマルチキャストの実現,
マルチメディア,分散,協調とモバイル(DICOMO2003)シンポジウム論文集, pp. 29-32
(2003-06).
- 佐藤秀則,山下剛,山口弘純,安本慶一,東野輝夫,谷口健一:
携帯端末を含む動画像コミュニケーションシステム向けミドルウェアの設計と実装
,
マルチメディア,分散,協調とモバイル(DICOMO2003)シンポジウム論文集, pp. 505-508 (2003-06).
- 廣森聡仁,山口弘純,安本慶一,東野輝夫,谷口健一:
Java
ネットワークアプリケーション性能評価のための仮想ネットワーク環境の実現,
マルチメディア,分散,協調とモバイル(DICOMO2003)シンポジウム論文集,pp.
233-236 (2003-06).
- 山下剛,廣森聡仁,山口弘純,安本慶一,東野輝夫,谷口健一:
アプリケーションレベルマルチキャストを用いたネットワーク会議システム向けのミドルウェアの設計と実装,
マルチメディア,分散,協調とモバイル
(DICOMO2002)シンポジウム論文集,pp. 69-72 (2002-07).
- 中村嘉隆,山口弘純,廣森聡仁,安本慶一,東野輝夫,谷口健一:
映像による複数人のコミュニケーションシステム向けのアプリケーションレベルマルチキャスト
Emma の性能評価,
マルチメディア,分散,協調とモバイル (DICOMO2002) シンポジウム論文集,pp. 253-256
(2002-07).
- 梅津 高朗,安本 慶一,中田 明夫,東野
輝夫:
ワイヤレス環境でマルチランデブに基づくグループ通信機能を提供するJavaミドルウェアの提案
,
マルチメディア,分散,協調とモバイル(DICOMO2002)シンポジウム論文集, pp. 269-272 (2002-07).(優秀論文賞受賞)
(MBL研究会優秀論文賞受賞).
- 廣森聡仁,山口弘純,安本慶一,東野輝夫,谷口健一:
大規模ネットワークシミュレーション向けのルーティングテーブルの容量削減,
マルチメディア,分散,協調とモバイル
(DICOMO2002) シンポジウム論文集, pp. 393-396 (2002-07).
- 賀紋 孝夫,梅津 高朗,安本 慶一,中田 明夫,東野
輝夫:
リアルタイムアニメーションによる通信システムの動作の可視化,
マルチメディア,分散,協調とモバイル (DICOMO2002)
シンポジウム論文集, pp. 523-526 (2002-07).
- 梅津 高朗,寺島芳樹,安本 慶一,中田 明夫,東野 輝夫,谷口健一:
マルチランデブチャネルの動的設定機構を持つ言語LOTOS/Mの提案
,
第9回マルチメディア通信と分散処理(DPS)ワークショップ論文集, pp. 243-248 (2001-10).
- 桐村 昌行, 高本 佳史, 安本 慶一, 中田 明夫, 東野 輝夫:
並行同期EFSM群を用いたネットワークモニタの実装と評価
,
マルチメディア,分散,協調とモバイル (DICOMO2001)シンポジウム論文集, pp.367-372 (2001-06).
- 賀紋 孝夫, 桐村 昌行, 安本 慶一, 中田 明夫, 東野
輝夫:
分散マルチランデブ機構を持つ時間拡張LOTOS言語を用いたマルチメディアシステムの記述とJava言語による実装,
マルチメディア,分散,協調とモバイル (DICOMO2001)シンポジウム論文集, pp.651-656 (2001-06).
- 山下剛,廣森聡仁,山口弘純,安本慶一,東野輝夫,谷口健一:
複数の階層化マルチキャストストリームに対するユーザの品質要求を考慮した受信階層数制御方式,
マルチメディア,分散,協調とモバイル
(DICOMO2001)シンポジウム論文集, pp. 627-632 (2001-06).
- 廣森聡仁,山口弘純,安本慶一,東野輝夫,谷口健一:
動画像マルチキャスト配信における複製サーバ選択アルゴリズムの提案と性能評価,
マルチメディア,分散,協調とモバイル
(DICOMO2001) シンポジウム論文集, pp. 331-336 (2001-06).
- 桐村 昌行, 片桐 久晶, 安本 慶一, 中田 明夫, 東野 輝夫, 谷口 健一:
ある時間周期で動作する並行EFSM群のハードウェア化の一手法 ,
マルチメディア,分散,協調とモバイル (DICOMO2000)
シンポジウム論文集, pp. 643-648 (2000-06).
- 廣森聡仁,山口弘純,安本慶一,東野輝夫,谷口健一:
動画像マルチキャスト配信における複製サーバ選択アルゴリズムの提案と性能評価,
マルチメディア,分散,協調とモバイル
(DICOMO2000) シンポジウム論文集, pp. 331-336 (2000-06).
- 寺島芳樹, 安本慶一, 東野輝夫, 安倍広多, 松浦敏雄, 谷口健一:
種々の機能拡張に柔軟に対応できるQoS制御機構の実装法とSMILへの適用,
マルチメディア,分散,協調とモバイル
(DICOMO2000) シンポジウム論文集, pp.427-432 (2000-06).
- 山口弘純,安本慶一,東野輝夫,谷口健一,:
階層化マルチキャストストリームにおける受信者指向の帯域制御の一方式,
マルチメディア,分散,協調とモーバイル
(DICOMO'99) シンポジウム論文集, pp.19-24 (1999-06).
- 片桐 久晶,北嶋 暁,安本慶一,東野輝夫,谷口健一,:
LOTOSで記述されたプロトコルのVHDLによる実現とその評価
,
マルチメディア,分散,協調とモーバイル (DICOMO'99) シンポジウム論文集, pp.31-36 (1999-06).
- 辰本 比呂記, 安本 慶一, 安倍 広多, 東野 輝夫, 松浦 敏雄, 谷口 健一 :
時間拡張LOTOSを用いたマルチメディアシステムの記述とその実現 ,
第6回マルチメディア通信と分散処理(DPS)ワークショップ論文集,
pp. 133 - 138 (1998-11).
- 辰本比呂記, 安本慶一, 安倍 広多, 東野輝夫, 松浦 敏雄, 谷口健一:
リアルタイムスレッドを用いた実時間LOTOSコンパイラの設計と実装
,
マルチメディア,分散,協調とモーバイル(DICOMO'98)シンポジウム論文集, pp. 555 - 562 (1998-07).
- 北嶋 暁, 安本慶一, 東野輝夫, 谷口健一:
LOTOSで記述された通信プロトコル仕様からの並行同期EFSM群の導出,
電子情報通信学会 第11回回路とシステム(軽井沢)ワークショップ論文集 (1998-04).
- 辰本比呂記, 後藤和裕, 安本慶一, 東野輝夫, 谷口健一:
バス型ネットワーク上でのLOTOS記述実行系の評価 ,
マルチメディア,分散,協調とモーバイル (DICOMO'97)シンポジウム論文集
(1997-07).

平成23年以降はこちら
- Gad El-Rab, A., Yasumoto, K., Yamauchi, Y., Ito, M.:
Probabilistic Methods for
Spatio-Temporal Coverage in People-Centric Sensing, IPSJ SIG Tech. Rep., Vol.2010-MBL-55 No.3, pp.1-8, 桐生
(2010-09).(優秀論文賞受賞)
- 孫 為華, 石丸泰大, 安本慶一, 伊藤 実:
メッセージの重要度と配送期限を考慮したDTN 経
路制御手法の提案と評価, 情報処理学会研究報告,Vol. 2010-DPS-143, No. 30,pp.1-8,那覇
(2010-05).
- 松本啓司,勝間 亮,柴田直樹,安本慶一,伊藤 実:
モバイルアンカノードを用いた低コス
トな水中センサノードの位置推定法,情報処理学会研究報告,Vol.2010-MPS-78,No.5, pp. 1-6,
前橋(2010-05).
- 勝間 亮,村田佳洋,柴田直樹,安本慶一,伊藤 実:
無線センサネットワーク長寿命化のた
めのノード集合の分割に基づくスリープスケジューリング手法,情報処理学会研究報告,
Vol.2010-MPS-78,No.6, pp. 1-6,前橋(2010-05).
- 水本旭洋, 孫 為華, 安本慶一, 伊藤 実:
電子トリアージタグに基づいた傷病者搬送計画シ
ステムの提案, 情報処理学会研究報告, Vol.2010-CSEC-48, No.39, pp.1-8,仙台(2010-03).
- 小谷和也, 孫 為華, 木谷友哉, 柴田直樹, 安本慶一, 伊藤 実:
リクエストに応じた交差点映
像配信を目的とした車車間通信プロトコルの提案と評価, 情報処理学会研究報告, Vol.2010-ITS-40,
No.7, pp. 1-8,和歌山 (2010-03).
- 中村正人, 木谷友哉, 孫 為華, 柴田直樹, 安本慶一, 伊藤 実:
VANET における車両の経路
情報を利用した情報伝播プロトコルの提案と評価,
情報処理学会研究報告,Vol.2010-ITS-40, No.6, pp. 1-8,和歌山 (2010-03).
- 野口晃司, 勝間 亮, 長瀧寛之, 山内由紀子, 柴田直樹, 安本慶一, 伊藤 実:
利用者の状況に
応じて画面レイアウトが変更可能な遠隔教育支援システムの提案, 情報処理学会研究報告,
Vol.2010-CE-103, No.1, pp.1-8,東京(2010-03).
- 高松 悠, 布川雄大, 孫 為華, 山内由紀子, 安本慶一, 伊藤 実:
大容量コンテンツ配信を目
的とした大容量コンテンツ配信を目的とした携帯電話網・Bluetooth 併用協調ダウンロード手法,
情報処理学会研究報告, 2010-MBL-52, No.10 pp.1-8,東京 (2010-01).
- 松本啓司, 勝間 亮, 柴田直樹, 安本慶一, 伊藤 実:
水面を移動可能なアンカノードを用いた
水中センサネットワークのノード位置推定手法の提案, 情報処理学会研究報告, Vol.2009-MBL-49,
No.5, pp.1-7, 宮古島 (May 2009).
- 布川雄大, 花野博司, 孫 為華, 安本慶一, 伊藤 実:
MANET による携帯端末でのワンセグ視聴品質向上手法,
情報処理学会研究報告, Vol. 2009-DPS-138, No.20, pp.325 . 330,熊本 (2009-03).
- 澤 悠太,木谷友哉,柴田直樹,安本慶一,伊藤 実:
指向性アンテナおよび車車間通信を用
いた歩行者位置追跡手法とその評価,情報処理学会研究報告,Vol.2009-ITS-36, No.24,pp. 31-38,
仙台 (2009-03).(優秀論文賞,山下記念研究賞受賞)
- 中村正人, 木谷友哉, 孫 為華, 柴田直樹, 安本慶一, 伊藤 実:
各車両の予定経路情報を利用
した車車間通信による情報取得手法の提案, 情報処理学会研究報告, Vol.2009, No.24 (2009-ITS-36),
pp.23-29,仙台 (2009-03).
- 小谷和也,孫 為華,木谷友哉,柴田直樹,安本慶一,伊藤 実:
車車間通信による交差点俯瞰映像ストリーミング手法の提案,Vol.2009-ITS-36, No.24,pp. 39-45,仙台 (2009-03).
- Gad El-Rab, A., Yasumoto, K., Shibata, N., Kitani, T., Ito, M.:
Two-Layer Distributed Service
Placement Method on Mobile Ad-hoc Networks, IPSJ Technical Report, Vol.2008, No.94, pp.
41-48, 東京 (Sep. 2008).
- 栗山恭嘉,花野博司,澤 悠太,村田佳洋,柴田直樹,安本慶一,伊藤 実,藤原礼征:
多数の観光候補地から効率良い観光スケジュールを自動的に作成・提案するシステムP-Tour のGoogle
Maps を利用した設計と実装,第134 回マルチメディア通信と分散処理・第40 回コンピュータセキ
ュリティ合 同研究発表会(DPS134/CSEC40),pp.261-266,相楽郡(2008-03).
- 林由クン,山本真也,玉井森彦,木谷友哉,柴田直樹,安本慶一,伊藤 実:
多数の情報家電を仮想空間を介して遠隔操作するフレームワークの提案,
第17 回ユビキタスコンピューティングシステム研究会,pp.9-16,東京(2008-03).
- 安本慶一,石原 進,渡辺 尚:
MobiCom/MobiHoc2007参加報告,
情報処理学会研究報告,Vol. 2007,No. 116 (2007-MBL-42),pp. 49-56
(2007-11).(優秀発表賞受賞)
- 安本慶一,宇山一世,玉井森彦,村田佳洋,柴田直樹,伊藤 実:
携帯無線端末向け複数ビデオ同時視聴サービスのための放送型ビデオ配信方式,
情報処理学会研究報告,Vol. 2007, No. 98 (2007-MBL-42),pp.97-103
(2007-09).(優秀発表賞受賞)
- 栗山恭嘉,村田佳洋,柴田直樹,安本慶一,伊藤 実:
将来の混雑状況予測に基づく混雑回避巡回スケジューリング手法の提案
,
情報処理学会研究報告,Vol. 2007,No. 28 (ITS2007-28),pp. 63-70 (2007-03).
- 木谷友哉,中橋 亮,中田明夫,安本慶一,東野輝夫:
動的リコンフィギャラブルプロセッサへの時間制約付き機能モジュール
群分割アルゴリズムの検討,
組込技術とネットワークに関するワークショップ ETNET2007,
電子情報通信学会技術研究報告,Vol. 106,No. 602,
pp. 1-6 (CPSY2006-85) (2007-03).
- 村井 渉,林 大輔,中田明夫,木谷友哉,安本慶一,東野輝夫:
チップ内ネットワークの性能要求検証および最適化のための一手法,
組込技術とネットワークに関するワークショップ ETNET2007, 電子情報通信学
会技術研究報告,Vol. 106,No.603,pp. 25-30 (CPSY2006-95) (2007-03).
- 松田 智,柴田直樹,安本慶一,伊藤実:
仮想空間で実世界のアウェアネス情報を取り込んだ効率よいコミュニケー
ションを実現するためのフレームワークの提案,
第130回マルチメディア通信と分散処理・第36回コンピュータセキュリティ合
同研究発表会(DPS130/CSEC36),(2007-03).
- 宇山一世,玉井森彦,村田佳洋,柴田直樹,安本慶一,伊藤 実:
無線環境におけるサービス合成にもとづいた複合コンテンツ配信方式,
情報処理学会研究報告(DPS126/CSEC32合同研究会)(2006-03).
- 内山 彰,梅津高朗,安本慶一,東野輝夫:
MANETにおける複数共謀ノードによるパケットドロップ攻撃の検出手法の提案,
情報処理学会研究報告(MBL36/UBI10合同研究会)(2006-02).
- 西川博志,山本眞也,玉井森彦,西垣弘二,木谷友哉,柴田直樹,安本慶一,伊藤実:
系統的なテストを可能にするユビキタスアプリケーションシミュレータの提案,
情報処理学会研究報告(MBL36/UBI10合同研究会)(2006-02).
- 居細工 高人,山本 眞也,村田 佳洋,柴田 直樹,安本 慶一,伊藤
実:
P2Pベースマルチプレイヤネットワークゲームにおけるチートの分散検出法,
電子情報通信学会研究報告,CQ2005-81,pp.13-18 (2006-01) .
- 高島栄一,村田佳洋,柴田 直樹,安本慶一,伊藤実:
MANETにおける階層化QoSマルチキャストルーティング方式とその性能評価,
情報処理学会研究報告2005-MBL-35(2005-11).
- 山岡修一,孫タオ,玉井森彦,安本慶一,柴田直樹,伊藤実:
多様な要求品質を持つ移動端末ユ−ザへのリソ−ス効率の良いビデオ配信方式,
情報処理学会研究報告2005-MBL-35(2005-11).
- 榎本真,柴田直樹,安本慶一,伊藤実:
MANETにおける需要を考慮した情報の登録・検索方式,
情報処理学会研究報告2005-MBL-35(2005-11).
- 橘 達弘,村田佳洋,柴田直樹,安本慶一,伊藤 実:
FPGA上へのGA回路設計支援ツールの提案,
電子情報通信学会技術研究報告,RECONF2005-42,pp.7-12 (2005-09).
- 木下隆正,永田宗伸,村田佳洋,柴田直樹,安本慶一,伊藤実:
宿泊地を考慮した観光スケジュール作成支援機能の提案,
交通における計測,一般(電気系3学会ITS合同研究会) (2005-09).
- 寺内隆志,柴田直樹,安本慶一,東野輝夫,伊藤実:
渋滞緩和を目的とした車車間通信による混雑状況の伝播方式,
交通における計測,一般(電気系3学会ITS合同研究会) (2005-09).
- 寺内隆志,柴田直樹,安本慶一,東野輝夫,伊藤実:
車車間通信を用いた渋滞解消ナビゲーションシステムの提案,
情報処理学会研究報告,2005-DPS-122,pp. 7-12(2005-03).
- 山本 眞也,村田 佳洋,安本慶一,伊藤実:
マルチユーザネットワークゲームにおける負荷分散および遅延時間を考慮したイベント配送機構の提案,
情報処理学会研究報告,2005-DPS-122,pp. 99-104(2005-03).
- 山岡修一,孫タオ,玉井森彦,柴田直樹,安本慶一,伊藤実:
多種多様な端末に対する効率のよいビデオ配信方式,
情報処理学会研究報告,2005-DPS-122,pp. 315-320(2005-03).
- 西垣弘二, 安本慶一, 柴田直樹, 伊藤実:
コンテキストに基づいた情報家電の連携を実現するためのフレームワークおよびルールベース言語の提案,
情報処理学会研究報告
2004-UBI-6 (2004-11).
- 小西一樹,内山 彰,廣森聡仁,山口弘純,安本慶一,東野輝夫,谷口
健一:
MANETアプリケーション向けのシミュレータMobiREALの実装に関する検討,
情報処理学会研究報告 2004-MBL-31
(2004-11).
- 前田久美子,佐藤和基,小西一樹,内山 彰,廣森聡仁,山口弘純,安本 慶一,東野 輝夫:
携帯端末の現実的な移動モデルを表現可能なネットワークシミュレータの設計と実装,
情報処理学会研究報告 2004-DPS-119
(2004-09).
- 佐藤和基,内山彰,廣森聡仁,山口弘純,安本慶一,東野輝夫:
現実世界の人物行動に即した移動モデルの検討とモバイルアドホックネットワークシミュレータへの応用
,
電子情報通信学会ソサイエティ大会(2004-09).
- 橘達弘,村田佳洋,柴田直樹,安本慶一,伊藤実:
巡回セールスマン問題を対象とする遺伝的アルゴリズムの FPGA上への実装
,
情報科学技術フォーラム(FIT 2004)講演論文集(2004-09).
- 高島栄一,村田佳洋,柴田直樹,安本慶一,伊藤実:
MANET上での島モデル GAを用いた経路制御のための一手法
,
情報科学技術フォーラム(FIT 2004)講演論文集(2004-09).
- 山本 眞也,安本 慶一,村田 佳洋,伊藤 実:
P2P環境でのネットワークゲーム向け負荷分散機構と評価
,
情報科学技術フォーラム(FIT 2004)講演論文集(2004-09).
- 永田 宗伸,白石 貴之,村田 佳洋,柴田 直樹,安本 慶一,伊藤
実:
観光のためのパーソナルナビゲーションシステムP-Tourの携帯端末上への実装と評価 ,
情報科学技術フォーラム(FIT
2004)講演論文集(2004-09).
- 木村 旭,山口 弘純,安本 慶一,東野 輝夫,丸吉 政博:
ポリシーに基づく多重帰属の制御が可能なVPNアーキテクチャの提案
,
電子情報通信学会技術研究報告,NS2003-362,pp. 351-356 (2004-03).
- 高本 佳史,木谷 友哉,安本 慶一,中田 明夫,東野 輝夫:
実時間通信システムに対する高信頼ハードウェア合成手法の提案
,
電子情報通信学会技術研究報告,VLD2003-80,pp. 61-66 (2003-11).
- 玉井 森彦,柴田 直樹, 安本 慶一, 伊藤 実:
市場モデルに基づく計算機資源配分における分散実行系の提案 ,
情報処理学会研究報告, 2003-DPS-115, pp. 39-44 (2003-11) (pdf).
- 内山 彰,梅津 高朗,安本 慶一,東野 輝夫:
自律的なグループ形成機構を用いた分散型ネットワークモニタの実装とその評価
,
情報処理学会研究報告,2003-DPS-115, pp.51-56 (2003-11).
- 佐藤秀則,假家直樹,山口弘純,安本慶一,東野輝夫,谷口健一:
アプリケーション層マルチキャストミドルウェアにおける携帯端末への映像配信機構の実装
,
情報処理学会研究報告,2003-MBL-27 (2003-11).
- 梅津高朗,安本慶一,中田明夫,東野輝夫:
有線無線混在ネットワークにおいてグループ通信機能を提供するミドルウェアの実装とその応用
,
情報処理学会研究報告,2003-MBL-27 (2003-11).
- 廣森聡仁,山口弘純,安本慶一,東野輝夫,谷口健一:
モバイルアドホックネットワークシミュレーションの規模適応性を向上させる技法の検討,
情報処理学会研究報告,2003-MBL-27
(2003-11).
- 玉井 森彦,安本 慶一, 柴田 直樹, 伊藤 実:
携帯無線端末のための省電力ビデオストリーミング方式の提案 ,
情報科学技術フォーラム(FIT 2003)講演論文集 M-076, pp. 195-196 (2003-09).
- 木谷 友哉,高本 佳史,安本 慶一,中田 明夫,東野 輝夫:
時間制約を含むQoSルータの高信頼性設計の一手法
,
情報科学技術フォーラム(FIT 2003)講演論文集 LM-012 (2003-09) ( pdf ).
- 中村 嘉隆,山口 弘純,廣森 聡仁,安本 慶一,東野 輝夫:
QoSを考慮したアプリケーション層マルチキャストの提案
,
情報科学技術フォーラム(FIT2003)講演論文集 M-049 (2003-09).
- 西垣 弘二,安本 慶一,梅津 高朗,東野 輝夫,伊藤 実:
携帯電話向けグループ通信ミドルウェア
,
日本ソフトウェア科学会第20回記念大会, pp. 536-540 (2003-09).
- 玉井 森彦,安本 慶一,柴田 直樹,伊藤 実:
PDAでの動画ストリーミング再生におけるトランスコーダを用いた省電力制御の一方式
,
情報処理学会第65回全国大会講演集(2003-03)(学生奨励賞受賞).
- 廣森 聡仁,山口 弘純,安本 慶一,東野 輝夫,谷口
健一:
大規模ネットワークシミュレーション向けのルーティングテーブルの容量削減法の提案と実装 ,
情報処理学会第65回全国大会講演集,
6H-07 (2003-03).
- 木谷友哉,高本佳史,安本慶一,中田明夫,東野輝夫:
並行周期EFSM でモデル化されたQoSルータの高信頼性設計の一手法
,
情報処理学会研究報告 2003-DPS-112, pp. 13-18 (2003-03).
- 中村嘉隆,廣森聡仁,山口弘純,安本慶一,東野輝夫:
アプリケーションレベルマルチキャストEmma
の性能向上に関する検討,
情報処理学会研究報告 2002-DPS-110 (2002-11).
- 孫 タオ,安本 慶一,森 將豪:
分散マルチメディアシステムにおけるQoS機能テストの一手法
,
情報処理学会第64回全国大会講演集 5L-06 (2002-03).
- 山口弘純,中村嘉隆,廣森聡仁,安本慶一,東野輝夫,谷口健一:
ユーザプリファレンスに基づく転送制御を行うアプリケーションレベルマルチキャストの一方式
,
情報処理学会研究報告 2001-DPS-107 (2002-03).
- 桐村 昌行, 高本 佳史, 安本 慶一, 中田 明夫, 東野 輝夫:
並行同期EFSM群を用いたバックボーン向けネットワークモニタ回路の実装と評価 ,
インターネットコンファレンス 2001
(2001-11).
- 梅津 高朗,山口 弘純,中田 明夫,安本 慶一,東野 輝夫:
複数の移動端末を扱う分散協調システムの一設計法
,
情報処理学会研究報告 2001-MBL-18 (2001-09) (優秀論文賞受賞).
- 廣森聴仁,山口弘純,安本慶一,東野輝夫,谷口健一:
スループット監視に基づく複製サーバ選択方法のスケーラビリティ向上
,
情報処理学会研究報告 2001-DPS-105, pp. 37-42 (2001-11).
- 寺島芳樹, 安本慶一, 中田明夫, 東野輝夫, 谷口健一:
並行モバイルエージェント間でのマルチランデブチャネルの動的設定が記述可能な言語とその実装 ,
情報処理学会研究報告
2000-DPS-102, pp. 37-42 (2001-03).
- 廣森 聡仁,山口 弘純,安本 慶一,東野 輝夫,谷口
健一:
複数のマルチキャストストリーム配送における品質満足度を考慮した中継サーバ選択方式の提案
,
情報処理学会第62回全国大会講演集,7T-04 (2001-03).
- 梅津高朗,山口弘純,安本慶一,東野輝夫:
制約指向モデルで記述された対称性を持つ並行システムの要求仕様に対する形式的検証とプロトコル合成
,
情報処理学会研究報告 2000-DPS-102 (2001-03).
- 梅津高朗,北道淳司,船曳信生,山口弘純,安本慶一,東野輝夫:
SMIL風シナリオ群からのQoSを考慮したプロトコル合成
,
情報処理学会研究報告 99-DPS-97 (2000-03).
- 山口弘純,安本慶一,東野輝夫,谷口健一:
環境適応機構を備えた網資源管理方式の提案と実装 ,
日本ソフトウェア科学会第16回大会論文集 E6-4,pp.269-271 (1999-09).
- 廣森聡仁,山口弘純,安本慶一,東野輝夫,谷口健一:
要求品質から要求帯域幅への変換方式と動的な帯域制御 ,
情報処理学会第59回全国大会講演集 2V-5,pp. 535-536 (1999-09).
- 寺島 芳樹, 安本 慶一, 東野 輝夫, 安倍 広多, 松浦 敏雄:
時間拡張LOTOSの処理系を用いたSMIL記述の実行とQoS制御
,
情報処理学会研究報告 99-DPS-94, pp.91-96, (1999-07).
- 安倍 広多, 松浦 敏雄, 安本 慶一, 東野 輝夫:
ユーザレベル軽量プロセスライブラリにおける効率の良いI/O処理方式,
情報処理学会研究会報告 98-OS-79,Vol.98, No.71, pp. 77 - 84, (1998-08).
- 辰本比呂記, 安本慶一, 安倍 広多, 東野輝夫, 松浦 敏雄, 谷口健一:
周期スレッドを用いた実時間LOTOSコンパイラの設計
,
情報処理学会第 56回全国大会講演論文集(3), 2J-03 ,
pp. 599 - 600 (1998-03).
- 北嶋 暁, 安本慶一, 東野輝夫, 谷口健一:
並行EFSM群でモデル化された通信プロトコル動作仕様のハードウェア実現とマルチランデブ制御機構 ,
電子情報通信学会技術研究報告,
IN97-133 (1997-11) (情報ネットワーク研究賞受賞).
- 安倍広多,松浦敏雄,安本慶一,東野輝夫,谷口健一:
UNIX上で周期スレッドを実現するユーザレベルスレッドライブラリの実現法
,
信学技報 CPSY-97-24, pp. 49 - 54 (1997-06).
- 水野健太郎, 安本慶一, 森岡澄夫, 東野輝夫, 谷口健一:
通信プロトコルのLOTOS仕様から並行EFSM群への変換の一手法
,
情報処理学会研究会報告, 96-DPS-80 (1997-01).
- 後藤和裕,安本慶一,東野輝夫,谷口健一:
マルチランデブを用いた分散システムの記述とバス結合ネットワーク上での実行,
情報処理学会研究会報告 96 - DPS - 79 -
12,pp. 59 - 64 (1996-11).
- 後藤和裕,安本慶一,東野輝夫,谷口健一:
バス結合型ネットワーク上でのマルチランデブの実現法 ,
電子情報通信学会技術研究報告
SS 96 - 7, pp. 17 - 24 (1996-07).
- 後藤和裕,安本慶一,東野輝夫,谷口健一:
マルチスレッド化目的コードを生成するLOTOSコンパイラの機能拡張
,
情報処理学会第52回全国大会講演論文集 (1), 3B-2 (1996-03).
- 安本慶一, 東野輝夫, 谷口健一, 松浦敏雄:
マルチスレッド機構を用いたLOTOS仕様実行方式とその評価
,
情報処理学会第51回全国大会講演論文集(1), pp. 97 - 98 (1995-09).
- 安本慶一, 東野輝夫, 松浦敏雄, 谷口健一:
マルチスレッド化目的コードを生成するLOTOSコンパイラの評価
,
情報処理学会研究会報告, 95-PRO-2-22, pp. 169 - 176 (1995-08).
- 安本慶一, 東野輝夫, 松浦敏雄, 谷口健一:
LOTOSで記述されたプロトコルの実行の可視化
,
電子情報通信学会技術研究報告, SS95-6, pp. 37 - 44 (1995-05).
- 安本慶一, 塩谷佳美, 東野輝夫, 松浦敏雄, 谷口健一:
イベントとアニメーション表示の対応付けによるLOTOSプログラムの実行の可視化 ,
第50回情処全大(1995-03)
(大会奨励賞受賞).
- 黄莉, 安本慶一, 東野輝夫, 谷口健一:
LOTOS風言語で書かれた同期式順序回路の要求仕様記述と回路自動合成
,
情報処理学会研究会報告,94-DPS-66 (1994-07).
- 安本慶一, 由雄宏明, 東野輝夫, 谷口健一:
マルチスレッド化されたオブジェクトコードを生成するLOTOSコンパイラの試作
,
情報処理学会研究報告, 第18回 プログラミング-言語・基礎・実践-研究会 (1994-07).
- 安本慶一, 東野輝夫, 谷口健一:
LOTOSによるソフトウェアプロセスの記述とその実行支援
,
ソフトウェア科学会ソフトウェアプロセス研究会, SP93-1-4,
pp.35-46 (1993-06).
- 李湘東,中田明夫, 安本慶一,東野輝夫,谷口健一:
整数データを含むLOTOS仕様の等価性の証明について ,
情報処理学会第45回全国大会, 4V-5 (1992-10).
- 李湘東, 安本慶一, 東野輝夫, 谷口健一:
LOTOS記述に対するテストシステムの試作 ,
情報処理学会研究会報告
91-DPS-54-4, pp. 25-32 (1992-03).
- 東野輝夫, 安本慶一, 谷口健一:
LOTOSによる分散システムの全体記述と各ノードの動作記述- 等価性と変換アルゴリズムについて
,
理論計算機科学とその周辺研究集会, 京都大学数理解析研究所講究録 (1992-01).
- 東野輝夫, 加藤良司, 安本慶一, 谷口健一:
LOTOSで記述されたサービス仕様からプロトコル仕様群の導出 ,
電子情報通信学会技術研究報告, IN 91 - 111, pp. 45 - 50 (1991-09).
- 安本慶一, 東野輝夫, 谷口健一:
LOTOSで書かれたプロトコル仕様群の実行
,
電子情報通信学会技術研究報告,IN91-112, pp. 51 - 56
(1991-09).
