京都橘大学教員情報

（最終更新日：2022-09-08 10:48:12）

  ヒガシノ　テルオ   HIGASHINO Teruo
  東野　輝夫
   所属   京都橘大学工学部情報工学科

職種教授

■ 電話番号(本学)

075-574-4451

■ メールアドレス

■ 学内役職・委員

1.	2022/04/01～	京都橘大学副学長
2.	2022/04/01～	京都橘大学総合学術推進機構長

■ 学歴

1981/04～1984/03

大阪大学大学院基礎工学研究科博士課程修了工学博士

■ 専門分野

情報学, 計算基盤, 情報ネットワーク　（キーワード：モバイルネットワーク、ユビキタスコンピューティング、センサーネットワーク、サイバーフィジカルシステム）

■ 研究課題（テーマ）

1.	受動型IoTデバイス網を用いたヒト・モノの状況認識技術の創出
2.	ライフデザイン・イノベーション研究拠点

■ 所属学会

1.	1995/05～	IEEE Senior Member
2.	1995/05～	Association for Computing Machinery（ACM）
3.	1979/04～	情報処理学会
4.	2016/06～2018/05	∟ 副会長
5.	2001/06～2003/05	∟ 理事
6.	2009/06～2011/05	∟ 監事
7.	2009/06～2011/05	∟ 関西支部長
8.	1979/04～	電子情報通信学会
9.	1986/04～	日本ソフトウェア科学会
10.	2008/10～2014/09	日本学術会議連携会員
11.	2014/10～2020/09	日本学術会議会員
12.	2020/10～	日本学術会議連携会員
5件表示
全件表示(12件)

■ 著書

1.	2016/11	教科書	『論理回路』オーム社（共著）
2.	2013/09	著書（翻訳）	『Andrew S. Tanenbaum and Wetherall David著『コンピュータネットワーク』第５版』日経BP社（共著）
3.	2007/10	著書	『Automated Technology for Verification and Analysis（検証と分析のための自動化技法）』（共著）
4.	2004/09	著書（翻訳）	『Harry D. Foster, Adam C. Krolnik and David J. Lacey著『アサーションベース設計』原書２版』丸善出版（共著）
5.	2003/12	著書（翻訳）	『Andrew S. Tanenbaum著『コンピュータネットワーク』第４版』日経BP社（共著）
6.	2003/10	著書（翻訳）	『Andrew S. Tanenbaum and Marrten van Steen 著『分散システム－原理とパラダイム－』』ピアソンエデュケーション（共著）
7.	1999/05	著書（翻訳）	『Andrew S. Tanenbaum著『コンピュータネットワーク』第３版』プレンティスホール出版（共著）
8.	1997/11	著書	『Formal Description Techniques - FORTE/PSTV'97 -（形式記述技法に関する国際会議FORTE/PSTV'97）』 Chapman & Hall （共著）
9.	1995/11	著書	『新版情報処理ハンドブック』オーム社（共著）
10.	1995/06	著書	『Protocol Test Systems: 7th workshop （第７回プロトコルテストシステムに関する国際ワークショップ）』 Chapman & Hall （共著）
11.	1994/11	著書（翻訳）	『Gerard J. Holzmann著『コンピュータプロトコルの設計法』』カットシステム社（共著）
12.	1994/07	著書	『プロトコル言語』カットシステム社（共著）
5件表示
全件表示(12件)

■ 論文

1.	2022/08	学術論文	「Identification and Analysis of a Unique Cell Selection Phenomenon in Public Unlicensed Cellular Networks Through Machine Learning」 IEEE Access IEEE 10:87282-87301 （共著）
2.	2022/08	学術論文	「Reliability Estimation and Filtering of Heart Rate Measurement Using Inertial Sensor during Exercise」 Sensors and Materials 2985-2999 （共著）
3.	2022/07	学術論文	「LTE-LAA cell selection through operator data learning and numerosity reduction」 Pervasive and Mobile Computing elsevier 83(101586):1-18 （共著）
4.	2022/06	学術論文	「Laser Range Scanners for Enabling Zero-Overhead WiFi-based Indoor Localization System」 ACM Transactions on Spatial Algorithms and Systems ACM （共著）
5.	2022/02	学術論文	「BAAS: Backscatter as a Sensor for Ultra-Low-Power Context Recognition」 Journal of Information Processing Information Processing Society of Japan 30:130-139 （共著）
6.	2022/02	学術論文	「Close-Contact Detection Using a Single Camera for Sports Considering Occlusion」 IEEE Access IEEE 10:15457-15468 （共著）
7.	2022/01	学術論文	「A method for improving semantic segmentation using thermographic images in infants」 BMC Medical Imaging 22(1) （共著）
8.	2021/07	学術論文	「TSVNet: Combining Time-Series and Opportunistic Sensing by Transfer Learning for Dynamic Thermal Sensation Estimation」 IEEE Access IEEE 9:102835-102846 （共著）
9.	2021/01	学術論文	「Context Recognition by Wireless Sensing: A Comprehensive Survey」 Journal of Information Processing Information Processing Society of Japan 29:46-57 （共著）
10.	2021/01	学術論文	「Maneuver and Turn Classification in Wheelchair Basketball Using Inertial Sensors」 Journal of Information Processing Information Processing Society of Japan 29:70-80 （共著）
11.	2020/09	学術論文	「Connected AR for Combating COVID-19」 IEEE Internet of Things Magazine IEEE 3(3):46-51 （共著）
12.	2020/02	学術論文	「Energy aware simulation and testing of smart-spaces」 Information & Software Technology 118(106201) （共著）
13.	2020/01	学術論文	「Application of IEEE802.11ac/n Link Throughput Estimation Model in Holding Access-Point Assignment Algorithm for Wireless Local-Area Network」 Journal of Communications 15(1):81-87 （共著）
14.	2020/01	学術論文	「FlowScan: Estimating People Flows on Sidewalks Using Dashboard Cameras Based on Deep Learning」 Journal of Information Processing Information Processing Society of Japan 28:55-64 （共著）
15.	2019/09	学術論文	「ThermalWrist: Smartphone Thermal Camera Correction Using a Wristband Sensor（ThermalWrist：リストバンドセンサーを使用したスマートフォンのサーマルカメラ補正）」 Sensors Vol.19(No.18):Article No.3826 （共著）
16.	2019/08	学術論文	「CrowdMeter:Gauging congestion level in railway stations using smartphones（CrowdMeter：スマートフォンを用いた鉄道駅の混雑レベルの測定）」 Pervasive and Mobile Computing(Elsevier) Vol.58:pp.1-38 （共著）
17.	2019/03	学術論文	「測域センサを利用した高精度な路線バス乗降計測システム」情報処理学会論文誌 Vol.60(No.3):pp.934-944 （共著）
18.	2018/02	学術論文	「クラウドソーシングと3次元電波伝搬シミュレーションの併用による効率的なWi-Fi電波データベース構築」情報処理学会論文誌 Vol.59(No.2):pp.450-461 （共著）
19.	2017/11	学術論文	「多様な運動負荷を考慮した装着型センサによる深部体温推定法の提案」情報処理学会論文誌 Vol.58(No.11):pp.1818-1831 （共著）
20.	2017/09	学術論文	「Analysis of Accident Risks from Driving Behaviors（運転行動からの事故リスクの分析）」 Intelligent Transportation Systems Research Vol.15(Isse3):pp.192-202 （共著）
21.	2017/08	学術論文	「Two-tier VoI Prioritization System on Requirement-based Data Streaming toward IoT（IoTに向けた要求ベースのデータストリーミングに対する２階層情報品質(VoI)優先順位付けシステム）」 Mobile Information Systems Vol.2017:16pp. （共著）
22.	2017/01	学術論文	「俯瞰画像における動体領域面積に基づく群衆人数推定法の提案」情報処理学会論文誌 Vol.58(No.1):pp.33-42 （共著）
23.	2016/02	学術論文	「過密干渉環境における無線LANチャネルの性能予測手法」情報処理学会論文誌 Vol.57(No.2):pp.745-755 （共著）
24.	2016/01	学術論文	「トラッキングスキャナとモーションセンサを用いた高精度屋内位置推定手法の提案」情報処理学会論文誌 Vol.57(No.1):pp.353-365 （共著）
25.	2015/11	学術論文	「車車間通信を用いた車両間協調による周辺車両群の存在把握」情報処理学会論文誌 Vol.56(No.11):pp.2092-2105 （共著）
26.	2015/10	学術論文	「Edge-centric Computing:Vision and Challenges(エッジコンピューティング：ビジョンと研究チャレンジ)」 ACM SIGCOMM Computer Communication Review Vol.45(Issue 5):pp.37-42 （共著）
27.	2015/08	学術論文	「大衆の生活ノウハウの定量化とモデル化によるスマートライフ支援システム」情報処理学会論文誌 Vol.56(No.8):pp.1621-1633 （共著）
28.	2015/05	学術論文	「Scalable and Robust Channel Allocation for Densely-Deployed Urban Wireless Stations(都市街区に密に配置された無線基地局のためのスケーラブルでロバストなチャネル割当)」 Performance Evaluation Vol.87:pp.74-91 （共著）
29.	2015/02	学術論文	「A survey on formal active and passive testing with applications to the cloud(クラウドアプリケーションへの適用を考慮したアクティブテストとパッシブテストに関するサーベイ)」 Annales des Télécommunications Vol.70(No.3-4):pp.85-93 （共著）
30.	2015/02	学術論文	「Mobile Devices as an Infrastructure: A Survey of Opportunistic Sensing Technology(インフラとしてのモバイルデビス：遭遇機会活用型センシング技術のサーベイ)」 Journal of Information Processing Vol.23(No.2):pp.94-104 （共著）
31.	2015/02	学術論文	「Special issue on formal active and passive testing of distributed and networked systems(フォーマルアプローチに基づく分散システムやネットワークシステムに対するアクティブテストとパッシブテストに関する特集号)」 Annales des Télécommunications Vol.70(No.3-4):pp.83-84 （共著）
32.	2015/02	学術論文	「歩行者群の移動軌跡情報を用いたモバイルカメラ画像内の人物位置推定手法」情報処理学会論文誌 Vol.56(No.2):pp.470-482 （共著）
33.	2014/12	学術論文	「スマートフォンを活用した屋内環境における混雑センシング」情報処理学会論文誌 Vol.55(No.12):pp.2511-2523 （共著）
34.	2014/08	学術論文	「Context-Supported Local Crowd Mapping via Collaborative Sensing with Mobile Phones(携帯電話を用いた活動コンテキストに基づく群衆の行動把握)」 Pervasive and mobile Computing(Elsevier) Vol.13:pp.26-51 （共著）
35.	2014/07	学術論文	「Mobile Node Localization Focusing on Stop-and-Go Behavior of Indoor Pedestrians(屋内歩行者の移動・停止行動に着目した移動ノード位置推定)」 IEEE Transactions on Mobile Computing Vol.13(No.7):pp.1564-1578 （共著）
36.	2014/06	学術論文	「鉄道におけるBluetooth RSSI特性を用いた乗車車両および混雑の推定手法」情報処理学会論文誌 Vol.55(No.6):pp.1614-1624 （共著）
37.	2014/02	学術論文	「密な基地局群の無線相互干渉調停のための空間分割スケジューリング技術」情報処理学会論文誌 Vol.55(No.2):pp.826-837 （共著）
38.	2014/01	学術論文	「アブストラクト干渉モデルによる大規模ITS無線システムシミュレーションの高速化」情報処理学会論文誌 Vol.55(No.1):pp.354-365 （共著）
39.	2014/01	学術論文	「都市区画におけるGPS衛星の見通し判定を用いた位置精度向上法の提案」情報処理学会論文誌 Vol.55(No.1):pp.389-398 （共著）
40.	2013/11	学術論文	「現実的な都市環境モデリングに基づく行動センシングシステムシミュレータの設計開発」情報処理学会論文誌 Vol.54(No.11):pp.2371-2382 （共著）
41.	2013/10	学術論文	「Twitter User Profiling based on Text and Community Mining for Market Analysis(市場分析のためのテキストおよびコミュニティマイニングに基づくTwitterユーザープロファイリング)」 Knowledge-Based Systems(Vol.51):pp.35-47 （共著）
42.	2013/08	学術論文	「Quantifying Relationship between Relative Position Error of Localization Algorithms and Object Identification(位置推定アルゴリズムの相対位置誤差と物体識別との関係の定量化)」 Wireless Networks (Springer) Vol.19(No.6):pp.1037-1049 （共著）
43.	2013/08	学術論文	「デッドレコニングとBluetoothの受信電波強度を用いたスマートフォンユーザ間の位置関係認識」情報処理学会論文誌 Vol.54(No.8):pp.2048-2060 （共著）
44.	2013/05	学術論文	「UPL: Opportunistic Localization in Urban Districts（UPL：都市街区における遭遇機会活用型位置推定手法）」 IEEE Transactions on Mobile Computing Vol.12(No.5):pp.1009-1021 （共著）
45.	2013/04	学術論文	「A Study for Human Centric Cyber Physical System Based Sensing－Toward Safe and Secure Urban Life－(人間中心のサイバーフィジカルシステムに基づくセンシングの研究－安全で安心な都市生活を目指して－)」 Communications in Computer and Information Science Vol.146:pp.61-70 （共著）
46.	2013/02	学術論文	「Self-Estimation of Neighborhood Distribution for Mobile Wireless Nodes（モバイルワイヤレスノードの近傍分布の自己推定）」 Journal of Information Processing Vol.21(No.2):pp.198-205 （共著）
47.	2012/11	学術論文	「オーバレイネットワーク上でアプリケーションサービスを実行するプラットフォームの設計と実装」情報処理学会論文誌 Vol.53(No.11):pp.2612-2623 （共著）
48.	2012/07	学術論文	「レーザレンジスキャナとモバイル端末を活用した屋外地図推定」情報処理学会論文誌 Vol.53(No.7):pp.1757-1767 （共著）
49.	2012/04	学術論文	「Highlights: IEEE ITS Society Technical Committee on Mobile Communications Networks for ITS（ハイライト：ITSのための移動体通信ネットワークに関するIEEE ITSソサイエティ技術委員会）」 IEEE Intell. Transport. Syst. Mag. Vol.4(No.1):pp.33-35 （共著）
50.	2012/04	学術論文	「Trajectory Estimation Algorithm for Mobile Nodes Using Encounter Information and Geographical Information（遭遇情報と地理情報を用いた移動ノードの軌道推定アルゴリズム）」 Pervasive and Mobile Computing Vol.8(No.2):pp.249-270 （共著）
51.	2012/01	学術論文	「任意のノード密度分布を実現可能なWaypointモビリティモデルの提案」情報処理学会論文誌 Vol.53(No.1):pp.232-242 （共著）
52.	2011/09	学術論文	「ALMware: A Middleware for Application Layer Multicast Protocols（ALMware：アプリケーション層マルチキャストプロトコルのためのミドルウェア）」 Computer Communications Vol.34(No.14):pp.1673-1684 （共著）
53.	2011/06	学術論文	「多人数参加型シミュレータによる電子トリアージシステムの有効性検討」日本集団災害医学会誌 Vol.16(No.1):pp.8-18 （共著）
54.	2011/01	学術論文	「断続的に移動する無線端末群の位置推定」情報処理学会論文誌 Vol.52(No.1):pp.197-208 （共著）
55.	2010/12	学術論文	「Map Estimation Using GPS-equipped Mobile Wireless Nodes（GPS搭載移動無線ノードを用いた地図推定）」 Pervasive and Mobile Computing Vol.6(No.6):pp.623-641 （共著）
56.	2010/09	学術論文	「災害時救急救命支援に向けた電子トリアージシステムの設計開発」情報処理学会論文誌 Vol.51(No.9):pp.1916-1929 （共著）
57.	2010/05	学術論文	「Evaluation of dissemination-based inter-vehicle ad-hoc communication protocols for local traffic information services（地域交通情報サービスのための普及型車車間アドホック通信プロトコルの評価）」 International Journal of Wireless and Mobile Computing Vol.4(No.2):pp.76-87 （共著）
58.	2010/04	学術論文	「A WDS Clustering Algorithm for Wireless Mesh Networks（無線メッシュネットワークのためのWDSクラスタリングアルゴリズム）」 IEICE TRANSACTIONS on Information and Systems Vol.E93-D(No.4):pp.800-810 （共著）
59.	2010/02	学術論文	「An Intervehicular-Communication Protocol for Distributed Detection of Dangerous Vehicles（危険車両の分散検出のための車車間通信プロトコル）」 IEEE Transactions on Vehicular Technology Vol.59(No.2):pp.627-637 （共著）
60.	2009/09	学術論文	「災害現場の被災者や救援者の行動記述とそれを用いたネットワークシミュレーション環境の提案」情報処理学会論文誌 Vol.50(No.9):pp.2327-2339 （共著）
61.	2009/01	学術論文	「Urban Pedestrian Mobility for Mobile Wireless Network Simulation（モバイル無線ネットワークシミュレーションのための都市歩行者のモビリティモデル）」 Ad Hoc Networks, Elsevier Vol.7(No.1):pp.153-170 （共著）
62.	2008/10	学術論文	「Design and Deployment of Large-Scale Software-Intensive Systems in Urban Districts（都市部における大規模ソフトウェアインテンシブシステムの設計と開発）」 Software-Intensive Systems and New Computing Paradigms-Challenges and Visions Vol.5048:pp.116-131 （単著）
63.	2008/10	学術論文	「アドホック無線通信を用いた位置推定法の現実環境を想定した性能評価」情報処理学会論文誌 Vol.49(No.10):pp.3612-3621 （共著）
64.	2008/10	学術論文	「時刻により変化する都市歩行流を再現するモビリティモデルの提案と評価」情報処理学会論文誌 Vol.49(No.10):pp.3622-3630 （共著）
65.	2008/10	学術論文	「無線端末の遭遇履歴情報を用いた位置トレース推定手法の提案」情報処理学会論文誌 Vol.49(No.10):pp.3601-3611 （共著）
66.	2008/06	学術論文	「A Contact-based Hybrid Routing Protocol for Mobile Ad Hoc Networks（モバイルアドホックネットワークのためのコンタクトベースハイブリッドルーティングプロトコル）」 Journal of Information Processing Vol.16:pp.27-37 （共著）
67.	2008/01	学術論文	「メッセージフェリーと車車間通信を併用した渋滞情報収集システムの情報伝播効率の改善」情報処理学会論文誌 Vol.49(No.1):pp.189-198 （共著）
68.	2008/01	学術論文	「車車間通信を用いた危険車両の検出手法の提案」情報処理学会論文誌 Vol.49(No.1):pp.212-220 （共著）
69.	2008/01	学術論文	「都市部における無線端末の移動特性を利用した情報共有方式」情報処理学会論文誌 Vol.49(No.1):pp.276-287 （共著）
70.	2007/12	学術論文	「少数の基準位置情報を移動無線端末間で補完する位置推定手法の提案と評価」情報処理学会論文誌 Vol.48(No.12):pp.3977-3986 （共著）
71.	2007/09	学術論文	「Design and Evaluation of Intervehicle Dissemination Protocol for Propagation of Preceding of Preceding Traffic Information（先行交通情報伝播のための車間伝播プロトコルの設計と評価）」 IEEE Transactions on Intelligent Transportation Systems Vol.8(No.3):pp.379-390 （共著）
72.	2007/09	学術論文	「Performance Evaluation of Mobile Wireless Communication and Services with Modelling of Real Environment（実環境のモデリングによる移動無線通信とサービスの性能評価）」 International Journal of Ad Hoc and Ubiquitous Computing Vol.2(No.4):pp.239-249 （共著）
73.	2007/07	学術論文	「ネットワークシミュレータMobiREALを用いたモバイルアドホックネットワークシステムの開発環境」情報処理学会論文誌 Vol.48(No.7):pp.2238-224 （共著）
74.	2007/02	学術論文	「安全な多重帰属制御を実現する VPN 分散管理プロトコルの提案」情報処理学会論文誌 Vol.48(No.2):pp.412-421 （共著）
75.	2007/01	学術論文	「Deriving Protocol Specifications from Service Specifications Written as Predicate/Transition-Nets（述語/遷移ネットとして書かれたサービス仕様からプロトコル仕様の自動導出）」 Computer Networks Vol.51(No.1):pp.258-284 （共著）
76.	2006/08	学術論文	「A Global Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata（パラメトリック時間間隔オートマトンにおける大域的時間双対性保存のための抽象化）」 International Journal of Foundations of Computer Science Vol.17(No.4):pp.833-850 （共著）
77.	2006/08	学術論文	「Petri Net Based Protocol Synthesis with Minimum Communication Costs（最小通信コストでのペトリネットベースのプロトコル合成）」 Journal of the Franklin Institute Vol.343(No.4-5):pp.501-520 （共著）
78.	2006/07	学術論文	「P2Pアプリケーションの開発と性能評価のための統合開発環境の提案」情報処理学会論文誌 Vol.47(No.7):pp.2194-2201 （共著）
79.	2006/04	学術論文	「先行道路情報取得プロトコルRMDPの設計と評価」情報処理学会論文誌 Vol.47(No.4):pp.1248-1257 （共著）
80.	2006/03	学術論文	「シミュレーションによるバス通信構造の設計改善を容易化するバスシステム設計支援ツールの提案」情報処理学会論文誌 Vol.47(No.3):pp.884-896 （共著）
81.	2006/02	学術論文	「広域ネットワークにおける自律的なグループ形成機構を用いた分散ネットワークモニタ方式の提案」情報処理学会論文誌 Vol.47(No.2):pp.446-454 （共著）
82.	2006/02	学術論文	「現実的なシミュレーションシナリオが記述可能な無線ネットワークシミュレータMobiREAL」情報処理学会論文誌 Vol.47(No.2):pp.405-414 （共著）
83.	2005/12	学術論文	「リアルタイム組込みシステムを対象とした高信頼性ハードウェア設計のための一手法」電子情報通信学会論文誌A Vol.J88-A(No.12):pp.1487-1496 （共著）
84.	2005/11	学術論文	「An Efficient Overlay Multicast Protocol for Heterogeneous Users（異種ユーザのための効率的なオーバレイマルチキャストプロトコル）」情報処理学会論文誌 Vol.46(No.11):pp.2614-2622 （共著）
85.	2005/11	学術論文	「Double Depth First Search Based Parametric Analysis for Parametric Time-Interval Automata（パラメトリック時間間隔オートマトンのための二重深さ優先探索ベースのパラメトリック分析）」 IEICE Transactions 2005 Vol.E88-A(No.11):pp.3007-3021 （共著）
86.	2005/11	学術論文	「先行経路上の道路情報取得用アドホック通信プロトコルの開発」情報処理学会論文誌 Vol.46(No.11):pp.2695-2703 （共著）
87.	2005/11	学術論文	「帯域制約のもとで遅延最小のオーバレイマルチキャスト木を構築する分散アルゴリズム」電子情報通信学会論文誌D-I Vol.J88-D-I(No.11):pp.1648-1658 （共著）
88.	2005/09	学術論文	「WDMネットワークでの階層型コーダルリングトポロジ構成法」情報処理学会論文誌 Vol.46(No.9):pp.2176-2184 （共著）
89.	2005/02	学術論文	「オーバレイネットワーク上で遅延最小木を動的に構築する分散型プロトコルMODEの提案と評価」情報処理学会論文誌 Vol.46(No.2):pp.482-492 （共著）
90.	2004/12	学術論文	「コンテキストに基づいたグループ形成とグループ通信機能を提供する携帯電話向けミドルウェア」情報処理学会論文誌 Vol.45(No.12):pp.2666-2677 （共著）
91.	2004/11	学術論文	「マルチランデブに基づくグループ通信機能を提供するJavaミドルウェアの提案」情報処理学会論文誌 Vol.45(No.11):pp.2519-2527 （共著）
92.	2004/09	学術論文	「A Minumum Dead Space Algorithm for Generalized Isochronous Channel Reuse Problem in DQDB Networks（DQDBネットワークにおける一般化された等時性チャネル再利用問題のための最小デッドスペースアルゴリズム）」 IEICE Transactions on Fundamentals Vol.E87-B(No.9):pp.2692-2698 （共著）
93.	2004/04	学術論文	「A Method for Designing Multimedia Protocols using Both Parametric Model Checking and Functional Testing（パラメトリックモデル検査と機能テストを併用したマルチメディアプロトコルの設計法）」 STUDIA INFORMATICA UNIVERSALIS Vol.3(No.2):pp.203-230 （共著）
94.	2004/04	学術論文	「大規模ネットワークシミュレーション向けのルーティングテーブルの容量削減」情報処理学会論文誌 Vol.45(No.4):pp.1134-1143 （共著）
95.	2004/03	学術論文	「動画像を用いたコミュニケーションシステム向けのアプリケーション層マルチキャスト」コンピュータソフトウェア Vol.21(No.2):pp.1-11 （共著）
96.	2004/02	学術論文	「A Two-Stage Heuristic Algorithm to Peer-to-Peer Multicast Routing Problems in Multihome Networks（ピアツーピアマルチホームネットワークにおけるマルチキャストルーティング問題に対する２段階ヒューリスティックアルゴリズム）」 IEICE Transactions on Fundamentals Vol.E87-A(No.5):pp.1070-1076 （共著）
97.	2004/02	学術論文	「エンドホストの動画像フィルタリングによるアプリケーション層での QoS マルチキャストプロトコルの提案」情報処理学会論文誌 Vol.45(No.2):pp.438-448 （共著）
98.	2004/02	学術論文	「無線ネットワークのリンクスケジューリング問題に対するヒューリスチック解放の提案」情報処理学会論文誌 Vol.45(No.2):pp.449-458 （共著）
99.	2003/08	学術論文	「Deformable Templateマッチング法による唇輪郭抽出法の改良と歯科医療応用を目的とした評価」電子情報通信学会論文誌D-Ⅱ Vol.J86-D-Ⅱ(No.8):pp.1177-1185 （共著）
100.	2003/06	学術論文	「高速ネットワーク向けネットワークモニタ回路の設計と実装」情報処理学会論文誌 Vol.44(No.6):pp.1593-1603 （共著）
101.	2003/02	学術論文	「Protocol Synthesis and Re-synthesis with Optimal Allocation of Resources Based on Extended Petri Nets（拡張ペトリネットに基づく資源の最適割当によるプロトコル合成と再合成）」 Distributed Computing Vol.16(No.1):pp.21-35 （共著）
102.	2003/02	学術論文	「並行周期EFSMに対するパラメトリックモデル検査手法」電子情報通信学会論文誌D-I Vol.J86-D-I(No.2):pp.75-87 （共著）
103.	2003/02	学術論文	「双方向マンハッタンストリートネットワークのノード配置問題に対する階層型近似アルゴリズムの提案」電子情報通信学会論文誌D-1 Vol.J86-D-I(No.2):pp.99-10 （共著）
104.	2002/12	学術論文	「Protocol Animation based on Event-driven Visualization Scenarios in Real-time LOTOS（リアルタイムLOTOSにおけるイベント駆動型可視化シナリオに基づくプロトコルアニメーション）」 Computer Networks Vol.40(No.5):pp.639-663 （共著）
105.	2002/11	学術論文	「通信プロトコルの試験系列生成問題に対するSATアルゴリズム適用法の提案」電子情報通信学会論文誌D-I Vol.J85-D-I(No.11):pp.1038-1046 （共著）
106.	2002/06	学術論文	「A Constraint-Oriented Design Method for Distributed Cooperative Systems and Efficient Verification Using Symmetries（分散協調システムのための制約指向設計法と対称性を使用した効率的な検証）」 International Journal of Computer and Information Science Vol.3(No.2):pp.125-136 （共著）
107.	2002/05	学術論文	「A Quasi-Solution State Evolution Algorithm for Channel Assignment Problems in Cellular Networks（セルラネットワークにおけるチャネル割当問題のための準最適解状態進化アルゴリズム）」 IEICE Transactions on Fundamentals Vol.E85-A(No.5):pp.977-987 （共著）
108.	2002/05	学術論文	「マルチランデブチャネルの動的確立機構を持つモバイルアプリケーション記述言語の提案」コンピュータソフトウェア Vol.19(No.2):pp.35-46 （共著）
109.	2002/05	学術論文	「静的およびモバイル・マルチキャストルーティング問題に対する最適パス選択解法の提案」電子情報通信学会論文誌A Vol.J85-A(No.3):pp.358-369 （共著）
110.	2002/02	学術論文	「IPマルチキャスト環境における複製動画像サーバ選択アルゴリズム」コンピュータソフトウェア Vol.19(No.2):pp.35-46 （共著）
111.	2001/12	学術論文	「タイマシステムコールを用いるDFSMプロトコルに対する試験系列生成手法」情報処理学会論文誌 Vol.42(No.12):pp.3072-3081 （共著）
112.	2001/12	学術論文	「制約指向モデルで記述された対称性を持つ並行システムの形式的検証」情報処理学会論文誌 Vol.42(No.12):pp.3054-3062 （共著）
113.	2001/12	学術論文	「観測不可能な非決定動作を含む並行DFSM群としてモデル化される通信プロトコルの適合性試験法」情報処理学会論文誌 Vol.42(No.12):pp.3063-3071 （共著）
114.	2001/09	学術論文	「Relaxation of coefficient sensitiveness to performance for neural networks using neuron filter through total coloring problems （トータルカラーリング問題によるニューロンフィルタを用いたニューラルネットワークの性能に対する係数感度の緩和）」 EICE Transactions on Fundamentals Vol.E84-A(No.9):pp.2367-2370 （共著）
115.	2001/07	学術論文	「A compiler to implement LOTOS specifications in distributed environments（分散環境でLOTOS仕様を実行するためのコンパイラ）」 Computer Networks Vol.36(No.2-3):pp.291-310 （共著）
116.	2001/05	学術論文	「同期通信可能な周期EFSM群のハードウェア構成法」情報処理学会論文誌 Vol.42(No.3):pp.542-551 （共著）
117.	2001/05	学術論文	「環境適応型のQoS制御を行うネットワーク資源管理システム」コンピュータソフトウェア Vol.18(No.3):pp.243-249 （共著）
118.	2001/05	学術論文	「関数合成による唇輪郭抽出法の提案」電子情報通信学会英論文誌(D-II) Vol.J84-D-II(No.3):pp.459-470 （共著）
119.	2001/02	学術論文	「SMILへのQoS保証文の導入とその柔軟な実装法」情報処理学会論文誌 Vol.42(No.2):pp.116-125 （共著）
120.	2000/09	学術論文	「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 （共著）
121.	2000/09	学術論文	「データ付時間オートマトンの双模倣等価性の記号的検証法」情報処理学会論文誌 Vol.41(No.9):pp.2487-2497 （共著）
122.	2000/09	学術論文	「既存のプログラムコードをマルチスレッド環境で実行する方式とその実現」情報処理学会論文誌 Vol.41(No.9):pp.2603-2613 （共著）
123.	2000/08	学術論文	「FPGAの論理ブロックの端子割当問題の定式化と2段階離散最適化法の提案」電子情報通信学会論文誌(A) Vol.J83-A(No.8):pp.976-988 （共著）
124.	2000/07	学術論文	「A Minimal State Processing Search Algorithm for Graph Coloring Problems（グラフ彩色問題のための最小状態処理探索アルゴリズム）」 IEICE Transactions on Fundamentals Vol.E83-A(No.7):pp.1420-1430 （共著）
125.	2000/04	学術論文	「外部入力のみを保持できる整数変数を持つFSMに対する記号モデル検査法」電子情報通信学会論文誌D-I Vol.J87-D1(No.4):pp.462-470 （共著）
126.	2000/04	学術論文	「遺伝的プログラミングを用いた関数合成アルゴリズムの改良法の提案」電子情報通信学会論文誌(D-I) Vol.J83-D-I(No.4):pp.407-417 （共著）
127.	2000/02	学術論文	「時間拡張LOTOSコンパイラの作成とマルチメディアアプリケーションへの応用」情報処理学会論文誌 Vol.41(No.2):pp.424-434 （共著）
128.	1999/06	学術論文	「冠頭標準形有理数プレスブルガー文の真偽判定アルゴリズムの提案」電子情報通信学会論文誌(D-I) Vol.J82-D-I(No.6):pp.691-700 （共著）
129.	1999/05	学術論文	「分散環境でのLOTOS仕様の実現とその評価」情報処理学会論文誌 Vol.40(No.1):pp.333-342 （共著）
130.	1999/04	学術論文	「Deriving Concurrent Synchronous EFSMs from Protocol Specifications in LOTOS（LOTOSにおけるプロトコル仕様から並列同期式EFSMの導出）」 IEICE Transactions on Fundamentals Vol.E82-A(No.4):pp.487-494 （共著）
131.	1999/01	学術論文	「あるクラスの時間オートマトンに対する適合性試験系列生成の一手法」情報処理学会論文誌 Vol.40(No.1):pp.85-94 （共著）
132.	1999/01	学術論文	「多人数参加型アプリケーションにおける品質要求を考慮した帯域制御の一方式」情報処理学会論文誌 Vol.40(No.1):pp.132-141 （共著）
133.	1998/07	学術論文	「入力が競合する有限状態機械群からなる通信ソフトウェアの適合性試験の一手法」情報処理学会論文誌 Vol.39(No.8):pp.2519-2527 （共著）
134.	1998/06	学術論文	「代数的手法を用いたin-order実行パイプラインCPUの自動設計検証」情報処理学会論文誌 Vol.39(No.6):pp.1999-2008 （共著）
135.	1998/05	学術論文	「時間ペトリネットの拡張モデルを用いたプロトコル合成」情報処理学会論文誌 Vol.39(No.3):pp.769-778 （共著）
136.	1998/05	学術論文	「遷移の選択が状態訪問回数で決まる有限状態機械対からなる通信系に対する生存性の検証」情報処理学会論文誌 Vol.39(No.3):pp.750-759 （共著）
137.	1998/04	学術論文	「A Method to Convert Concurrent EFSMs with Multi-Rendezvous into Synchronous Sequential Circuit（多重ランデブを持つ並行EFSMを同期式順序回路に変換する方法）」 IEICE Transactions on Fundamentals Vol.E81-A(No.4):pp.566-575 （共著）
138.	1998/02	学術論文	「マルチスレッド化された目的コードを生成するLOTOSコンパイラの実現」情報処理学会論文誌 Vol.39(No.2):pp.283-292 （共著）
139.	1998/01	学術論文	「共有メモリ型並列計算機上での正則な項書換え系の一実装法」電子情報通信学会論文誌(D-I) Vol.J81-D-I(No.1):pp.28-37 （共著）
140.	1997/12	学術論文	「すべての変数が存在記号で束縛された冠頭標準形プレスブルガー文の真偽判定の高速化手法」情報処理学会論文誌 Vol.38(No.12):pp.2419-2426 （共著）
141.	1997/07	学術論文	「レジスタ付きペトリネットを用いた全体動作仕様から分散動作仕様の自動合成とその応用」電子情報通信学会論文誌(A) Vol.J80-A(No.7):pp.1064-1072 （共著）
142.	1997/06	学術論文	「Deriving Protocol Specifications from Service Specifications Written in LOTOS（LOTOSで書かれたサービス仕様からプロトコル仕様の自動導出）」 Distributed Computing Vol.10(No.1):pp.29-47 （共著）
143.	1997/02	学術論文	「Time-Action Alternating Model for Timed Processes and its Symbolic Verification of Bisimulation Equivalence（時間制約付プロセス記述のための時間-作用相互モデルと双模倣等価性の記号的検証）」 IEICE Transactions on Fundamentals Vol.E80-A(No.2):pp.400-406 （共著）
144.	1996/12	学術論文	「代数的手法を用いたCPU KUE-CHIP2の段階的設計の正しさの自動証明」電子情報通信学会論文誌(D-I) Vol.79(No.12):pp.1017-1029 （共著）
145.	1996/04	学術論文	「マルチランデブを用いたLOTOS仕様の実行の可視化」情報処理学会論文誌 Vol.37(No.5):pp.687-697 （共著）
146.	1996/04	学術論文	「拡張有限状態機械モデルで書かれた通信プロトコルの適合性試験系列の自動生成の一手法」電子情報通信学会論文誌(B-I) Vol.79(No.4):pp.137-147 （共著）
147.	1996/04	学術論文	「時間制約の記述されたLOTOS仕様からのプロトコル合成」情報処理学会論文誌 Vol.37(No.5):pp.672-686 （共著）
148.	1995/11	学術論文	「隣接しない動作間の時間制約を記述するためのLOTOS言語の拡張とその等価性の検証」コンピュータソフトウェア Vol.12(No.6):pp.521-534 （共著）
149.	1995/10	学術論文	「代数的言語で記述した抽象的順序機械型プログラムの設計検証の自動化」情報処理学会論文誌 Vol.36(No.10):pp.2409-2421 （共著）
150.	1995/07	学術論文	「あるスタイルに基づく順序機械型記述における詳細化の正しさの証明方法」電子情報通信学会論文誌(D-I) Vol.78(No.7):pp.622-633 （共著）
151.	1995/06	学術論文	「グループワークを考慮した協調計算システムにおける動作プログラム群の生成と分散実行」情報処理学会論文誌 Vol.37(No.6):pp.1367-1378 （共著）
152.	1995/05	学術論文	「関係データベースを用いた在庫管理プログラムの記述とその詳細化の正しさの証明」情報処理学会論文誌 Vol.36(No.5):pp.1091-1103 （共著）
153.	1995/01	学術論文	「LOTOSによるソフトウェアプロセスの記述とその実行」コンピュータソフトウェア Vol.12(No.1):pp.16-30 （共著）
154.	1995/01	学術論文	「リンクの故障を考慮に入れた分散システムの動作仕様の自動導出」情報処理学会論文誌 Vol.36(No.1):pp.70-83 （共著）
155.	1994/10	学術論文	「Synthesis of Protocol Specifications from Service Specifications of Distributed Systems in A Marked Graph Model（マーク付きグラフモデルにおける分散システムのサービス仕様からのプロトコル仕様の合成）」 IEICE Transactions on Fundamentals Vol.E77-A(No.10):pp.1623-1633 （共著）
156.	1994/05	学術論文	「代数的手法を用いた同期式順序回路の段階的設計法」電子情報通信学会論文誌(A) Vol.J77-A(No.3):pp.420-429 （共著）
157.	1994/01	学術論文	「Automatic Analysis and Test Case Derivation for a Restricted Class of LOTOS Expressions with Data Parameters（データパラメータを持つLOTOS表現のあるサブクラスに対するテスト系列の自動生成と分析手法の提案）」 IEEE Transactions on Software Engineering Vol.20(No.1):pp.29-42 （共著）
158.	1993/07	学術論文	「順序機械型プログラムの階層的設計法と在庫管理プログラムの開発例」電子情報通信学会論文誌(D-I) Vol.76(No.7):pp.354-363 （共著）
159.	1993/06	学術論文	「拡張有限状態機械モデルを用いた分散システムの要求仕様から各ノードの動作仕様の自動導出」情報処理学会論文誌 Vol.34(No.6):pp.1290-1301 （共著）
160.	1992/11	学術論文	「データを含むLOTOS記述に対するテスト系列の自動生成の一手法」電子情報通信学会論文誌(B-I) Vol.75(No.11):pp.734-743 （共著）
161.	1992/10	学術論文	「PROSPEX: A Graphical LOTOS Simulator for Protocol Specifications with N Nodes（PROSPEX：N個のノードを持つプロトコル仕様のためのグラフィカルLOTOSシミュレータ）」 IEICE Transactions on Communications Vol.E75-B(No.10):pp.1015-1023 （共著）
162.	1992/05	学術論文	「Service Specification and its Protocol Specifications in LOTOS - A Survey for Synthesis and Execution -（LOTOSにおけるサービス仕様とそのプロトコル仕様 - 合成と実行の仕組みのサーベイ - ）」 IEICE Transactions on Fundamentals Vol.E75-A(No.3):pp.330-338 （単著）
163.	1990/05	学術論文	「通信プロトコルのエラーリカバリ性の自動検証」電子情報通信学会論文誌(D-I) Vol.J73-D-I(No.5):pp.500-509 （共著）
164.	1988/12	学術論文	「プロトコルマシンの等価性証明の一方法」電子情報通信学会論文誌(D-I) Vol.J73-D-I(No.5):pp.500-509 （共著）
165.	1988/03	学術論文	「トークンリング方式LANの代数的手法による「安全性」と「相互排他性」の検証」電子通信学会論文誌(D)システム Vol.71(No.3):pp.577-586 （共著）
166.	1986/10	学術論文	「代数的に記述された通信プロトコルの動的性質の検証」電子通信学会論文誌(D) Vol.69(No.10):pp.1471-1480 （共著）
167.	1984/11	学術論文	「An Algebraic Specification of HDLC Procedures and Its Verification（HDLC手順の代数的記述とその検証）」 IEEE Transactions on Software Engineering Vol.SE-10(No.6):pp.825-837 （共著）
168.	1984/04	学術論文	「代数的仕様検証支援系及びそれを用いた検証例」電子通信学会論文誌(D) Vol.J67-D(No.4):pp.472-479 （共著）
169.	1983/07	学術論文	「代数的に記述されたHDLCプロトコルの検証」電子通信学会論文誌(D) Vol.J66-D(No.7):pp.773-780 （共著）
170.	1981/02	学術論文	「HDLC手順の代数的記述（学士論文）」電子通信学会論文誌(D) Vol.J64-D(No.2):pp.124-131 （共著）
5件表示
全件表示(170件)

■ 学会発表

1.	2022/02/08	Body Part Detection from Neonatal Thermal Images Using Deep Learning（Mobile and Ubiquitous Systems: Computing, Networking and Services - 18th EAI International Conference, MobiQuitous 2021）
2.	2022/02/08	Human Localization Using a Single Camera Towards Social Distance Monitoring During Sports（Mobile and Ubiquitous Systems: Computing, Networking and Services - 18th EAI International Conference, MobiQuitous 2021）
3.	2022/02/08	Optimizing Unlicensed Coexistence Network Performance Through Data Learning（Mobile and Ubiquitous Systems: Computing, Networking and Services - 18th EAI International Conference, MobiQuitous 2021）
4.	2021/12/14	Reliability Estimation of Heart Rate Measurement Using Wrist-Worn Devices（2021 Thirteenth International Conference on Mobile Computing and Ubiquitous Network (ICMU)）
5.	2021/11/22	Road Segment Re-Identification in Dashcam Videos（17th International Conference on Wireless and Mobile Computing, Networking and Communications, WiMob 2021,）
6.	2021/11/17	Data balancing for thermal comfort datasets using conditional wasserstein GAN with a weighted loss function（The 8th ACM International Conference on Systems for Energy-Efficient Buildings, Cities, and Transportation）
7.	2021/11/15	Optimizing Unlicensed Coexistence Network Performance Through Data Learning（18th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services）
8.	2021/11/09	A New Problem Setting for Mobile Robots Based on Backscatter-Based Communication and Sensing（Stabilization, Safety, and Security of Distributed Systems - 23rd International Symposium, SSS 2021）
9.	2021/02/17	Evaluation of Theoretical Interference Estimation Metrics for Dense Wi-Fi Networks（13th International Conference on COMmunication Systems & NETworkS, COMSNETS 2021）
10.	2021/01/05	Design and Evaluation of a Frequency Shift Backscatter Tag for Context Recognition（International Conference on Distributed Computing and Networking, Virtual Event, Nara, Japan）
11.	2021/01/05	Learn to See: A Microwave-based Object Recognition System Using Learning Techniques（International Conference on Distributed Computing and Networking, Virtual Event, Nara, Japan）
12.	2021/01/05	Operator Data Driven Cell-Selection in LTE-LAA Coexistence Networks（International Conference on Distributed Computing and Networking, ICDCN '21）
13.	2020/11/16	Trajectory-Assisted Robust RFID-tagged Object Tracking and Recognition in Room Environment（Proceedings of the 23rd International ACM Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems）
14.	2020/11/13	A Ubiquitous and Accurate Floor Estimation System Using Deep Representational Learning（Proceedings of the 28th International Conference on Advances in Geographic Information Systems）
15.	2020/11/13	Gain Without Pain: Enabling Fingerprinting-based Indoor Localization using Tracking Scanners（Proceedings of the 28th International Conference on Advances in Geographic Information Systems）
16.	2019/09	Combining a thermal camera and a wristband sensor for thermal comfort estimation（熱快適性推定のためのサーマルカメラとリストバンドセンサーの組み合わせ）（査読付）（Proceedings of the 2019 ACM International Joint Conference on Pervasive and Ubiquitous Computing, UbiComp Adjuct）
17.	2019/09	Occlusion-based trajectory estimation for pedestrians using LiDAR sensors（Proceedings of the 10th International Conference on Indoor Positioning and Indoor Navigation (IPIN 2019)）
18.	2019/08	Automatic Localization of Passive Infra-Red Binary Sensors in Home: from Dense to Scattered Network（家庭でのパッシブ赤外線バイナリセンサーの自動位置推定：密なネットワークから疎なネットワークへ）（査読付）（Proceedings of the The 17th IEEE International Conference on PervasiveIntelligence and Computing (PICom 2019)）
19.	2019/06	Context Recognition of Humans and Objects by Distributed Zero-Energy IoT Devices（分散型ゼロエネルギーIoTデバイスによる人間と物体のコンテキスト認識）（査読付）（Proceedings of the 39th IEEE International Conference on Distributed Computing Systems（ICDCS2019））
20.	2019/06	Enabling Low Cost Elderly Monitoring for Connected Communities in Depopulated Area（過疎地域でのコネクティッドコミュニティ形成のための低コスト高齢者監視の有効化)（査読付）（Proceedings of the IEEE International Conference on Smart Computing（SMARTCOMP 2019））
21.	2019/03	A Feasibility Study on Battery-Less Travel Context Estimation Using Ambient Backscatter（アンビエントバックスキャター通信を使用したバッテリーレス旅行コンテキスト推定に関するフィージビリティ研究）（査読付）（Proceedings of the 2019 IEEE International Conference on Pervasive Computing and Communications （PerCom2019））
22.	2019/03	A Study on Behavior of Autonomous Vehicles Cooperating with Manually-Driven Vehicles（手動運転車両と協調する自律車両の挙動に関する研究）（査読付）（Proceedings of the 2019 IEEE International Conference on Pervasive Computing and Communications （PerCom2019））
23.	2019/03	Automatic Deadline-Oriented Sampling Method for Coarse-Grained Stream Processing（粗粒度ストリーム処理のための自動デッドライン指向サンプリング法）（査読付）（Proceedings of the 2019 IEEE International Conference on Pervasive Computing and Communications （PerCom2019））
24.	2019/03	Dynamic Offset Correction for Smartphone Thermal Cameras Using a Wristband Sensor（リストバンドセンサーを使用したスマートフォンサーマルカメラの動的オフセット補正）（査読付）（Proceedings of the 2019 IEEE International Conference on Pervasive Computing and Communications （PerCom2019））
25.	2019/03	Outdoor Wi-Fi RSSI Map Construction Based on Crowdsourcing and Simulation（クラウドソーシングとシミュレーションに基づく屋外Wi-Fi RSSIマップ構築）（査読付）（Proceedings of the 2019 IEEE International Conference on Pervasive Computing and Communications （PerCom2019））
26.	2019/03	VRによるスマートフォンアプリ検証システムの構築（情報処理学会第81回全国大会）
27.	2019/03	スマートフォンによる歩行者と車両の交通状況理解システムの設計と評価（第61回ユビキタスコンピューティングシステム(UBI)研究会）
28.	2019/03	モバイル端末のWi-Fiチャネル状態情報を用いた人数推定の基礎検討（情報処理学会第81回全国大会）
29.	2019/03	河川域におけるマルチホップLoRa伝送のためのドローンによる置局設計手法（第61回ユビキタスコンピューティングシステム(UBI)研究会）
30.	2019/03	背景点隠蔽時間に基づいた人の移動軌跡推定手法の検討（情報処理学会第81回全国大会）
31.	2019/03	高齢者のユーザビリティを考慮したセミデマンドバス向け低コスト予約システムの開発と運用（情報処理学会第81回全国大会）
32.	2019/02	中山間地域の巡回車両による高齢者みまもりデータ収集法の提案（第177回DPS研究発表会）
33.	2019/02	顧客の移動軌跡に基づく店舗内購買行動の分析（第177回DPS研究発表会）
34.	2019/01	Daily Activity Recognition based on Markov Logic Network for Elderly Monitoring（高齢者監視のためのマルコフ論理ネットワークに基づく日常活動認識）（査読付）（Proceedings of the 16th IEEE Annual Consumer Communications & Networking Conference　(CCNC 2019)）
35.	2018/11	Smartphone Applications Testbed Using Virtual Reality（バーチャルリアリティを用いたスマートフォンアプリケーションのテストベッド）（査読付）（Proceedings of the 15th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services）
36.	2018/11	モバイル端末のWi-Fiチャネル状態情報を用いた混雑状況推定の検討（第89回モバイルコンピューティングとパーベイシブシステム（MBL）研究会）
37.	2018/10	An Energy Aware Testing Framework for Smart-Spaces（スマートスペース向けのエネルギー認識テストフレームワーク）（査読付）（Proceedings of the 30th IFIP WG 6.1 International Conference on Testing Software and Systems (ICTSS2018)）
38.	2018/10	BALANCE: A Robust Routing Protocol in Self-Organized Civilian DTN（BALANCE:自己組織化された市民参加型DTNのロバストルーティングプロトコル）（査読付）（Proceedings of the 14th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob2018)）
39.	2018/10	VRing: Bring Your Mobile App to Virtual Space（VRing：モバイルアプリを仮想空間に持ち込む）（査読付）（Proceedings of the 2018 ACM International Joint Conference on Pervasive and Ubiquitous Computing (UbiComp2018 Adjuct））
40.	2018/09	Play Recognition Using Soccer Tracking Data Based on Machine Learning（機械学習に基づくサッカー追跡データを使用したプレイ認識）（査読付）（Proceedings of the 21st International Conference on Network-Based Information Systems）
41.	2018/08	MOTIVE: a Motivation-Driven Knowledge Sharing Framework across Benefit-Aware Business Units（モバイルネットワークとアプリケーション研究会（2018-08-MoNA））
42.	2018/08	ウェアラブルセンサを基準とした簡易型サーモグラフィ補正法の提案（第88回研究発表会モバイルコンピューティングとパーベイシブシステム（MBL）研究会）
43.	2018/08	波不感地帯における生態系モニタリング利用へ向けたLoRaWANの性能調査とドローン活用（査読付）（第26回マルチメディア通信と分散処理ワークショップ）
44.	2018/07	BLE電波測位に基づく空調機器の自動同定手法の検討（査読付）（マルチメディア､分散､協調とモバイル(DICOMO2018)シンポジウム）
45.	2018/07	Re-thinking: Design and Development of Mobility Aware Applications in Smart and Connected Community Research（再考：スマートコネクテッドコミュニティにおけるモビリティ認識アプリケーションの設計と開発）（査読付）（Proceedings of the 38th IEEE International Conference on Distributed Computing Systems）
46.	2018/07	VRによる都市空間Wi-Fiの可視化とユーザ体感品質の調査手法（査読付）（マルチメディア､分散､協調とモバイル(DICOMO2018)シンポジウム）
47.	2018/07	スマートフォンを活用した歩行者および車両のリアルタイム行動検知に関する検討（査読付）（マルチメディア､分散､協調とモバイル(DICOMO2018)シンポジウム）
48.	2018/07	センサーネットワーク内深層学習MicroDeepの実装と評価（査読付）（マルチメディア､分散､協調とモバイル(DICOMO2018)シンポジウム）
49.	2018/07	環境発電型センサを用いた機械学習による移動状況推定手法の性能評価（査読付）（マルチメディア､分散､協調とモバイル(DICOMO2018)シンポジウム）
50.	2018/07	複数の立体物で構成された三次元点群の切り分け手法の検討"（査読付）（マルチメディア､分散､協調とモバイル(DICOMO2018)シンポジウム）
51.	2018/06	Indoor Map Generation from Multiple LIDAR Point Clouds（複数のLIDARポイントクラウドからの屋内マップ生成）（査読付）（Proceedings of the 2018 IEEE International Conference on Smart Computing　（SMARTCOMP 2018））
52.	2018/06	Location Identification of BLE-Embedded HVACs for Smart Building Management（スマートビル管理のためのBLE埋め込みHVACの位置識別）（査読付）（Proceedings of the 14th International Conference on Intelligent Environments）
53.	2018/06	MicroDeep: In-network Deep Learning by Micro-Sensor Coordination for Pervasive Computing（MicroDeep：パーベイシブコンピューティングのためのマイクロセンサー調整によるネットワーク内深層学習）（査読付）（Proceedings of the 2018 IEEE International Conference on Smart Computing　（SMARTCOMP 2018））
54.	2018/05	A Motivation-based Partnership Decision Model on Event-Stream Knowledge in Real-time Business（リアルタイムビジネスにおけるイベントストリーム知識に関する動機ベースのパートナーシップ決定モデル）（査読付）（Proceedings of the 32nd IEEE International Conference on Advanced Information Networking and Applications）
55.	2018/05	An Efficient Data Processing Scheme for Wireless Sensor Network Monitoring Using a Machine Learning Model（機械学習モデルを使用した無線センサーネットワーク監視のための効率的なデータ処理スキーム）（査読付）（Proceedings of the 32nd IEEE International Conference on Advanced Information Networking and Applications）
56.	2018/05	Ground Object Recognition from Aerial Image-based 3D Point Cloud（航空画像ベースの3D点群からの地上物体認識）（査読付）（Proceedings of the 32nd IEEE International Conference on Advanced Information Networking and Applications）
57.	2018/05	In-network Self-Learning Algorithms for BEMS Through a Collaborative Fog Platform（協調フォグプラットフォームを介したBEMSのネットワーク内自己学習アルゴリズム）（査読付）（Proceedings of the 32nd IEEE International Conference on Advanced Information Networking and Applications）
58.	2018/05	Localization of IoT devices for Energy Management System（エネルギー管理システムのIoTデバイスの位置推定）（第175回IPSJ-DPS研究会､第87回IPSJ-MBL研究会､第72回IPSJ-ITS研究会合同研究発表会）
59.	2018/05	Sidewalk-level People Flow Estimation Using Dashboard Cameras Based on Deep Learning（深層学習に基づくダッシュボードカメラを使用した歩道レベルの人の流れの推定）（査読付）（Proceedings of the 32nd IEEE International Conference on Advanced Information Networking and Applications）
60.	2018/05	Wayfinding Behavior Detection by Smartphone（スマートフォンによる経路探索行動検出）（査読付）（Proceedings of the 32nd IEEE International Conference on Advanced Information Networking and Applications）
61.	2018/05	車いすバスケットボールにおける9軸センサを用いた選手位置推定の検討（第175回IPSJ-DPS研究会､第87回IPSJ-MBL研究会､第72回IPSJ-ITS研究会合同研究発表会）
62.	2018/03	CrowdMeter: Congestion Level Estimation in Railway Stations Using Smartphones（CrowdMeter：スマートフォンを用いた鉄道駅の混雑度推定）（査読付）（Proceedings of the 16th IEEE International Conference on Pervasive Computing and Communication）
63.	2018/03	Development of Energy-efficient Sensor Networks by Minimizing Sensors Numbers with a Machine Learning Model（機械学習モデルによるセンサー数の最小化によるエネルギー効率の良いセンサーネットワークの開発）（査読付）（Proceedings of the 16th IEEE International Conference on Pervasive Computing and Communication, PerCom Workshops）
64.	2018/03	Self-adaptive Resource Allocation for Continuous Task Offloading in Pervasive Computing（パーベイシブコンピューティングにおける連続タスクオフロードのための自己適応型リソース割り当て）（査読付）（Proceedings of the 16th IEEE International Conference on Pervasive Computing and Communication, PerCom Workshops）
65.	2018/03	スマートフォンを活用した歩行者および車両の非通常行動のリアルタイム検出に関する研究（2018年電子情報通信学会総合大会）
66.	2018/03	バッテリレスセンサによる行動認識に向けた発電量と消費電力の検討（情報処理学会第80回全国大会）
67.	2018/03	在不在と家電利用データの集約による家庭内行動認識システムの試作と展開（第174回マルチメディア通信と分散処理･第80回コンピュータセキュリティ合同研究発表会）
68.	2018/03	地形データを表す三次元点群からのオブジェクト抽出手法の検討（2018年電子情報通信学会総合大会）
69.	2018/03	従来車と調和する自動運転車の運転挙動モデル（第174回マルチメディア通信と分散処理･第80回コンピュータセキュリティ合同研究発表会）
70.	2018/03	置局設計効率化のための複数ドローンを活用したリンク性能測定（2018年電子情報通信学会総合大会）
71.	2018/03	車載カメラを用いた深層学習による人流推定法の提案（第72回高度交通システムとスマートコミュニティ研究発表会）
72.	2018/03	通信混雑環境における都市Wi-Fiアクセスポイントの追加設置支援（情報処理学会第80回全国大会）
73.	2018/03	都市Wi-Fiアクセスポイントの3次元位置データベース自動構築とその活用（情報処理学会第80回全国大会）
74.	2018/02	サッカートラッキングデータを用いた機械学習に基づくプレー認識手法の提案（第86回モバイルコンピューティングとパーベイシブ・第57回ユビキタスコンピューティングシステム合同研究発表会）
75.	2018/02	スマートフォンを用いた興味行動のセンシング（第86回モバイルコンピューティングとパーベイシブ・第57回ユビキタスコンピューティングシステム合同研究発表会）
76.	2018/02	異なる起点を持つ二次元点群統合による室内マップ生成手法の提案（第86回モバイルコンピューティングとパーベイシブ・第57回ユビキタスコンピューティングシステム合同研究発表会）
77.	2018/02	都市部における公衆Wi-Fiのキャパシティ評価のためのシナリオ構築"（第86回モバイルコンピューティングとパーベイシブ・第57回ユビキタスコンピューティングシステム合同研究発表会）
78.	2018/01	A human tracking and sensing platform for enabling smart city applications（スマートシティアプリケーションを実現するための人間追跡検知プラットフォーム）（査読付）（Proceedings of the Workshop of the 19th International Conference on Distributed Computing and Networking）
79.	2017/11	センサーネットワークにおける分散型深層学習の設計と実装（第85回モバイルコンピューティングとパーベイシブシステム･第71回高度交通システムとスマートコミュニティ合同研究発表会）
80.	2017/11	網内学習型ネットワークによる転倒検知システムの実現（2017-11-CNR-IN-MoNA - ieice合同発表会）
81.	2017/10	測域センサを利用した高精度な路線バス乗降計測システム（情報処理学会第25回マルチメディア通信と分散処理ワークショップ）
82.	2017/09	頭部トラッキングに基づく車載カメラ映像からの人流推定法の提案（高度交通システムとスマートコミュニティ研究会（IPSJ-ITS））
83.	2017/06	A Crowdsourcing and Simulation based Approach for Fast and Accurate Wi-Fi Radio Map Construction in Urban Environment（都市環境における迅速で正確なWi - Fi無線地図構築のためのクラウドソーシングとシミュレーションに基づくアプローチ）（査読付）（Proceedings of the IFP Networking Conference）
84.	2017/06	Edge Computing and IoT Based Research for Building Safe Smart Cities Resistant to Disasters（災害に強い安全なスマートシティを構築するためのエッジコンピューティングとIoTベースの研究）（査読付）（Proceedings of the 37th IEEE International Conference on Distributed Computing Systems）
85.	2017/06	EdgeCEP: Fully-distributed Complex Event Processing on IoT Edges（EdgeCEP: IoTエッジでの完全分散複合イベント処理）（査読付）（Proceedings of the 13th International Conference on Distributed Computing in Sensor Systems）
86.	2017/06	Localization of Binary Motion Sensors in House（家の中のバイナリモーションセンサーの位置確認）（査読付）（Proceedings of the 13th International Wireless Communications and Mobile Computing Conference）
87.	2017/06	Location Estimation for Binary Motion Sensors in House（住宅内のバイナリモーションセンサーの位置推定）（第171回DPS･第83回MBL･第69回ITS合同研究発表会）
88.	2017/06	Place-and-Play Complex-Event Processing Engine on Dynamic Ad-hoc Networks（動的なアドホックネットワーク上のプレースアンドプレイ複合イベント処理エンジン）（査読付）（マルチメディア､分散､協調とモバイル(DICOMO2017)シンポジウム）
89.	2017/06	Vehicle Proximity Awareness by Inter-Vehicle Communication for Surface Mine Operation Safety（露天採掘作業の安全性のための車車間通信による車両接近認識）（査読付）（Proceedings of the IEEE 85th Vehicular Technology Conference）
90.	2017/06	クラウドソーシングと3次元地理空間情報に基づくWi-Fiデータベースの構築と活用（査読付）（マルチメディア､分散､協調とモバイル(DICOMO2017)シンポジウム）
91.	2017/06	サッカートラッキングデータの時空間的関係を考慮したプレー認識手法の検討（査読付）（マルチメディア､分散､協調とモバイル(DICOMO2017)シンポジウム）
92.	2017/06	家庭内の移動と家電利用のセンシングによる高齢者の生活行動推定（査読付）（マルチメディア､分散､協調とモバイル(DICOMO2017)シンポジウム）
93.	2017/06	機械学習に基づく簡易型サーモグラフィを用いた深部体温推定法の提案（査読付）（マルチメディア､分散､協調とモバイル(DICOMO2017)シンポジウム）
94.	2017/06	次元空間における測域センサ群の自己位置推定法（査読付）（マルチメディア､分散､協調とモバイル(DICOMO2017)シンポジウム）
95.	2017/06	深層学習による頭部検出に基づいた車載カメラ映像からの人流推定法の提案（第171回DPS･第83回MBL･第69回ITS合同研究発表会）
96.	2017/06	腕装着型センサによる飲水量推定法の提案（査読付）（マルチメディア､分散､協調とモバイル(DICOMO2017)シンポジウム）
97.	2017/06	認知マップの誤りによる迷い行動のスマートフォンを用いた検出手法（査読付）（マルチメディア､分散､協調とモバイル(DICOMO2017)シンポジウム）
98.	2017/06	通信品質予測に基づく自律 Wi-Fi チャネル制御手法（査読付）（マルチメディア､分散､協調とモバイル(DICOMO2017)シンポジウム）
99.	2017/06	通信品質予測に基づく自律Wi-Fiチャネル制御手法（査読付）（マルチメディア､分散､協調とモバイル(DICOMO2017)シンポジウム）
100.	2017/05	Poster: Smartwatch Knows How Much You Drink（ポスター：Smartwatchはあなたがどれくらい飲料を飲むかを理解します）（査読付）（Proceedings of the 15th Annual International Conference on Mobile Systems, Applications, and Services）
101.	2017/03	Crowd and Event Detection by Fusion of Camera Images and Micro Blogs（カメラ画像とマイクロブログの融合による群衆とイベントの検出）（査読付）（Proceedings of the 2017 IEEE International Conference on Pervasive Computing and Communications Workshops）
102.	2017/03	HeatWatch: Preventing Heatstroke Using a Smart Watch（HeatWatch：スマートウォッチを使った熱中症の予防）（査読付）（Proceedings of the 2017 IEEE International Conference on Pervasive Computing and Communications Workshops）
103.	2017/03	Wi-Fi過密環境における自律チャネル制御へ向けた通信品質予測手法（情報処理学会第79回全国大会）
104.	2017/03	人の温熱快適性に配慮した空調制御の改善に関する検討と実証（情報処理学会第79回全国大会）
105.	2017/03	基地局通信履歴とGPSトレースを用いた都市レベルの旅行推定手法の提案（情報処理学会第79回全国大会）
106.	2017/03	無線センサーネットワークにおける深層学習の分散実行に関する検討（第170回マルチメディア通信と分散処理･第76回コンピュータセキュリティ合同研究発表会）
107.	2017/03	都市環境における3次元空間上のWi-Fiデータベースの構築（情報処理学会第79回全国大会）
108.	2017/02	網羅的交通シミュレーションに基づく都市道路における堆雪状況推定手法（第68回高度交通システムとスマートコミュニティ研究会（ITS））
109.	2017/02	自動運転車両と従来車両の混在が相互の走行にもたらす影響の検討（第68回高度交通システムとスマートコミュニティ研究会（ITS））
110.	2017/01	腕装着型センサを用いた活動中の熱中症予防アプリケーションの一検討（電子情報通信学会モバイルネットワークとアプリケーション研究会 (MoNA)2017）
111.	2017/01	近接車両センシング情報のリアルタイム共有のための車車間通信プロトコル（電子情報通信学会モバイルネットワークとアプリケーション研究会 (MoNA)2017）
112.	2016/12	Cloud-assisted Dynamic Content Sharing among Vehicles（自動車間のクラウド支援動的コンテンツ共有）（査読付）（2016 IEEE International Conference on Computer and Information Technology）
113.	2016/12	車載カメラを用いたCNNによる方向別歩行者頭部検出法の提案（モバイルコンピューティングとパーベイシブシステム（MBL）第81回研究大会）
114.	2016/11	Human Thermal Comfort Estimation in Indoor Space by Crowd Sensing（群衆センシングによる室内空間における人の温熱快適性の推定）（査読付）（Proceedings of the 2016 IEEE International Conference on Smart Grid Communications）
115.	2016/11	In-home Activity and Micro-motion Logging Using Mobile Robot with Kinect（Kinectを備えた移動ロボットを用いた家庭内活動記録）（査読付）（Adjunct Proceedings of the 13th International Conference on Mobile and Ubiquitous Systems）
116.	2016/11	Wi-Fi Channel Selection Based on Urban Interference Measurement（都市干渉測定に基づくWi-Fiチャネル選択）（査読付）（Proceedings of the 13th International Conference on Mobile and Ubiquitous Systems）
117.	2016/11	在室者への温熱快適性把握のための室温予測手法と実証に向けた取り組み（IN研究会･MoNA研究会･CNR研究会 2016）
118.	2016/10	AP分布調査に基づくWi-Fiチャネル占有モデルによるチャネル選択手法の評価（査読付）（第24回マルチメディア通信と分散処理ワークショップ）
119.	2016/10	Player Identification by Motion Features in Sport Videos Using Wearable Senosors（ウェアラブルセンサを用いたスポーツビデオの運動特徴による選手識別）（査読付）（Proceedings of the 2016 9th International Conference on Mobile Computing and Ubiquitous Networking）
120.	2016/10	在室者の温熱快適性把握のためのスポット室温予測手法"（査読付）（第24回マルチメディア通信と分散処理ワークショップ）
121.	2016/10	車車間通信を用いた測域センサ情報の共有にもとづく前方車両群の相対位置把握（査読付）（第24回マルチメディア通信と分散処理ワークショップ）
122.	2016/09	移動型センサとkinectを用いた家庭内の行動ロギング手法（2016年度情報処理学会関西支部支部大会）
123.	2016/09	都市部における Wi-Fi 過密環境の分析と機械学習に基づくチャネル選択手法の検討（2016年電子情報通信学会ソサイエティ大会）
124.	2016/08	ウェアラブ゙ルセンサを用いた運動中の深部体温推定法（第80回モバイルコンピューティングとパーベイシブシステム・第17回コンシューマ・デバイス＆システム合同研究発表会）
125.	2016/07	A Combination Approach for Distributed Information Flow Processing in Multi-purpose IoT（分散型の組み合わせアプローチ、多目的IoTでの情報フロー処理）（査読付）（マルチメディア､分散協調とモバイル（DICOMO2016)シンポジウム）
126.	2016/07	Travel estimation using Control Signal Records in cellular networks and geographical information（携帯ネットワークにおける制御信号情報と地理情報を併用した旅行推定）（査読付）（Proceedings of the 9th IFIP Wireless and Mobile Networking Conference）
127.	2016/07	スマートフォン画像を用いたクラウドソーシングによる群衆人数推定システム（査読付）（マルチメディア､分散協調とモバイル（DICOMO2016)シンポジウム）
128.	2016/07	ドライブレコーダー映像を用いた頭部検出に基づく人流推定法の提案（査読付）（マルチメディア､分散協調とモバイル（DICOMO2016)シンポジウム）
129.	2016/07	基地局遷移パターンの学習に基づく通信履歴からの電車旅客推定法の提案（査読付）（マルチメディア､分散協調とモバイル（DICOMO2016)シンポジウム）
130.	2016/07	多様な運動負荷を考慮した装着型センサによる深部体温推定法の提案（査読付）（マルチメディア､分散協調とモバイル（DICOMO2016)シンポジウム）
131.	2016/07	気象状況とプローブカーデータの解析に基づく積雪都市におけるOD旅行時間分布の予測手法（査読付）（マルチメディア､分散協調とモバイル（DICOMO2016)シンポジウム）
132.	2016/07	移動型センサを想定した家庭内行動検出手法（査読付）（マルチメディア､分散協調とモバイル（DICOMO2016)シンポジウム）
133.	2016/07	都市実環境観測データに基づくWi-Fi通信性能予測手法の評価（査読付）（マルチメディア､分散協調とモバイル（DICOMO2016)シンポジウム）
134.	2016/06	A study on identification of laser-tracked vehicles using V2V-based velocity information（V2Vに基づく速度情報を用いたレーザ追跡車両の識別に関する研究）（査読付）（Proceedings of the 17th IEEE International Symposium on A World of Wireless）
135.	2016/06	TransitLabel: A Crowd-Sensing System for Automatic Labeling of Transit Stations Semantics（TransitLabel：乗換駅の諸設備の意味付けの自動ラベリングのための群衆検知システム）（査読付）（Proceedings of the 14th Annual International Conference on Mobile Systems）
136.	2016/05	参加型ビーコンセンシングによる3次元空間上のWi-Fiデータベース構築と可視化（情報処理学会第79回MBL研究会）
137.	2016/05	時空間的に散在する人密度観測からの群衆分布パターン推定法の提案（情報処理学会第79回MBL研究会）
138.	2016/05	装着型センサを用いたスポーツ選手同定法の検（情報処理学会第79回MBL研究会）
139.	2016/03	一部の車両軌跡情報および信号パラメータを用いたOD交通量の推定手法（第64回高度交通システムとスマートコミュニティー研究発表会）
140.	2016/03	流体シミュレーションデータセットに基づく屋内環境の温熱快適性推定に関する検討（第49回研究会情報処理学会ユビキタスコンピューティングシステム研究会）
141.	2016/01	熱中症センサを用いた深部体温推定とアスリートの活動量評価（e-textile / e-garment 研究会）
142.	2015/12	Landmark Sense: A Mobile Sensing System for Automatic Detection of Railway Stations Landmarks（ランドマークセンス：鉄道駅のランドマークを自動検出するためのモバイルセンシングシステム）（第165回マルチメディア通信と分散処理研究発表会（DPS））
143.	2015/12	Requirement-based prioritization system in multi-user IoT（マルチユーザIoTにおける要求に基づく優先順位付けシステム）（査読付）（Proceedings of the 2nd IEEE World Forum on Internet of Things）
144.	2015/12	種々のセンサを併用した集中度センシング法の検討（第77回モバイルコンピューティングとパーベイシブシステム通信研究会）
145.	2015/11	A Scheduling Algorithm of Cell Zooming for Energy Efficiency in Disasters（災害時のエネルギー効率化のためのセルズームのスケジューリングアルゴリズム）（査読付）（Proceedings of the 13th ACM International Symposium on Mobility Management and Wireless Access）
146.	2015/11	Activity recognition of railway passengers by fusion of low-power sensors in mobile phones（携帯電話における低消費電力センサの融合による鉄道乗客の行動認識）（査読付）（Proceedings of the 23rd SIGSPATIAL International Conference on Advances in Geographic Information Systems）
147.	2015/11	Throughput and Delay Estimator for 2.4GHz WiFi APs: A Machine Learning-Based Approach（2.4GHz WiFi APのためのスループットと遅延推定量：機械学習ベースのアプローチ）（査読付）（Proceedings of IFIP Wireless and Mobile Networking Conference）
148.	2015/10	Data Prioritization at Multi-user IoT Gateway with Multiple Sensor Data Attributes（複数のセンサーデータ属性を持つマルチユーザーIoTゲートウェイでのデータの優先順位付け）（査読付）（第23回マルチメディア通信と分散処理ワークショップ（(DPSWS2015)）
149.	2015/10	WiFiチャネル切り替え後の通信品質予測手法の提案（査読付）（第23回マルチメディア通信と分散処理ワークショップ（(DPSWS2015)）
150.	2015/10	ひとなび: 群集センシングとソーシャルメディアの融合による場の盛り上がりの可視化（査読付）（第23回マルチメディア通信と分散処理ワークショップ（(DPSWS2015)）
151.	2015/10	スマートフォンカメラを用いた群集人数推定システ（査読付）（第23回マルチメディア通信と分散処理ワークショップ（(DPSWS2015)）
152.	2015/10	携帯電話の基地局通信履歴と地理情報を用いたパーソントリップ推定法の提案（査読付）（第23回マルチメディア通信と分散処理ワークショップ（(DPSWS2015)）
153.	2015/10	測域センサを用いた靴の外郭検出に基づく接地位置および方向推定法の提案（第76回モバイルコンピューティングとパーベイシブシステム研究会）
154.	2015/10	設置位置の自動推定機能を備えたポータブル人感センサーシステム（査読付）（第23回マルチメディア通信と分散処理ワークショップ（(DPSWS2015)）
155.	2015/09	A model-based approach to support smart and social home living（スマートで社会的な家庭生活を支援するためのモデルベースのアプローチ）（査読付）（Proceedings of the 2015 ACM International Joint Conference on Pervasive and Ubiquitous Computing）
156.	2015/09	Prediction of Deceleration Amount of Vehicle Speed in Snowy Urban Roads Using Weather Information and Traffic Data（気象情報と交通データを用いた雪に覆われた都市道路における車速の減速量の予測）（査読付）（Proceedings of the 2015 IEEE 18th International Conference on Intelligent Transportation Systems）
157.	2015/09	Tracking motion context of railway passengers by fusion of low-power sensors in mobile devices（モバイル機器における低消費電力センサの融合による鉄道乗客の運動状況の追跡）（査読付）（Proceedings of the 2015 ACM International Symposium on Wearable Computers）
158.	2015/08	TweetGlue: Leveraging a crowd tracking infrastructure for mobile social augmented reality（TweetGlue：モバイルソーシャル拡張現実のためのクラウドトラッキング情報基盤の活用）（査読付）（Proceedings of the International Wireless Communications and Mobile Computing Conference）
159.	2015/07	ポータブル人検知センサーの家屋内設置箇所推定（査読付）（マルチメディア､分散､協調とモバイル (DICOMO2015) シンポジウム）
160.	2015/07	俯瞰画像における被写体サイズ推定モデルに基づく群衆人数推定手法の提案（査読付）（マルチメディア､分散､協調とモバイル (DICOMO2015) シンポジウム）
161.	2015/07	装着型センサを用いた生体温熱モデルにおける日射量のモデル化とパラメータ調整法の提案（査読付）（マルチメディア､分散､協調とモバイル (DICOMO2015) シンポジウム）
162.	2015/07	都市部における多様な人流を推定可能なセンサ配置導出手法の提案（査読付）（マルチメディア､分散､協調とモバイル (DICOMO2015) シンポジウム）
163.	2015/05	Multi-dimensional sensor data aggregator for adaptive network management in M2M communications（M2M通信における適応型ネットワーク管理のための多次元センサデータアグリゲータ）（査読付）（Proceedings of IFIP/IEEE International Symposium on Integrated Network Management）
164.	2015/05	Real-Time Calibration of a Human Thermal Model with Solar Radiation Using Wearable Sensors（ウェアラブルセンサを用いた日射による人体熱モデルのリアルタイム補正）（査読付）（Proceedings of the 2015 workshop on Wearable Systems and Applications）
165.	2015/05	スマートフォン内蔵センサを用いた鉄道乗車コンテキストの推定（第163回DPS研究会･第75回MBL研究会･MoNA研究会合同研究発表会）
166.	2015/05	モバイル端末による被災状況の分散集約に向けた制御情報管理方式の検討（第163回DPS研究会･第75回MBL研究会･MoNA研究会合同研究発表会）
167.	2015/05	様々な都市環境における無線LANチャネル性能予測モデルの評価（第163回DPS研究会･第75回MBL研究会･MoNA研究会合同研究発表会）
168.	2015/05	気象および交通データ解析に基づく積雪期における交通速度低下の推定手法（第163回DPS研究会･第75回MBL研究会･MoNA研究会合同研究発表会）
169.	2015/04	Estimating core body temperature based on human thermal model using wearable sensors（ウェアラブルセンサを用いた人体熱モデルに基づく深部体温の推定）（査読付）（Proceedings of the 30th Annual ACM Symposium on Applied Computing）
170.	2015/04	Human crowd detection for physical sensing assisted geo-social multimedia mining（物理センシング支援の地域社会的マルチメディアマイニングのための人間群衆検出）（査読付）（Proceedings of 2015 IEEE Conference on Computer Communications Workshops）
171.	2015/03	A novel estimation method of road condition for pedestrian navigation（歩行者ナビゲーションのための道路状況の推定法）（査読付）（Proceedings of the 2015 IEEE International Conference on Pervasive Computing and Communication Workshops）
172.	2015/03	商業施設における快適度推定および可視化システムの開発（情報処理学会第74回MBL研究会）
173.	2015/03	歩行者群の近接関係の時系列データに基づくモバイル端末の移動軌跡同定（第162回マルチメディア通信と分散処・第68回コンピュータセキュリティ合同研究発表会）
174.	2015/01	A cross validation of network system models for delay tolerant networks（遅延耐性ネットワークに対するネットワークシステムモデルの交差検証）（査読付）（Proceedings of the 8th International Conference on Mobile Computing and Ubiquitous Networking）
175.	2015/01	スマートフォンを利用した参加型屋内混雑センシングの提案（電子情報通信学会MoNA研究会2015年1月研究会）
176.	2015/01	大衆の生活ノウハウの定量化とモデル化による生活改善アドバイス生成システム（電子情報通信学会ASN研究会2015年1月研究会）
177.	2014/12	Indoor Localization Utilizing Tracking Scanners and Motion Sensors（トラッキングスキャナとモーションセンサを利用した屋内位置推定）（査読付）（Proceedings of the 2014 IEEE 11th Intl Conf on Ubiquitous Intelligence and Computing）
178.	2014/12	網羅的シミュレーションによる都市部無線LANチャネルの性能予測モデル（査読付）（第22回マルチメディア通信と分散処理ワークショップ (DPSWS 2014)）
179.	2014/11	An analysis model of queue length fluctuation at signals using vehicle trajectories（車両軌跡を用いた信号における待ち行列長の変動解析モデル）（査読付）（Proceedings of the International Conference on Connected Vehicles and Expo）
180.	2014/11	ウェアラブルセンサを用いた生体温熱モデルに基づく深部体温推定法の提案（第73回MBL・第59回ITS合同研究発表会）
181.	2014/11	密に設置されるITS路側機群の運用シナリオに適した無線相互干渉調停アルゴリズム（第73回MBL・第59回ITS合同研究発表会）
182.	2014/10	A channel selection strategy for WLAN in urban areas by regression analysis（回帰分析による都市部におけるWLANのためのチャネル選択戦略）（査読付）（WiMob 2014）
183.	2014/09	Detecting smoothness of pedestrian flows by participatory sensing with mobile phones（携帯電話を用いた参加型センシングによる歩行者流の密度と滑らかさの検出）（査読付）（Proceedings of the 2014 ACM International Symposium on Wearable Computers）
184.	2014/08	ウェアラブルセンサを用いた深部体温推定に関する一検討（第72回MBL・第11回CDS合同研究発表会）
185.	2014/08	多数の訪問者が滞留する展示会場における群衆検出システムの設計開発（第72回MBL・第11回CDS合同研究発表会）
186.	2014/07	スマートハウス内センシングを活用した生活行動推薦システム（査読付）（マルチメディア､分散､協調とモバイル(DICOMO2014)シンポジウム）
187.	2014/07	スマートフォンと靴センサを活用した災害時通行路の状況推定（査読付）（マルチメディア､分散､協調とモバイル(DICOMO2014)シンポジウム）
188.	2014/07	スマートフォンを活用した屋内混雑センシングの実装と評価（第160回マルチメディア通信と分散処理研究発表会）
189.	2014/07	トラッキングスキャナとモーションセンサを用いた高精度屋内位置推定手法の提案（査読付）（マルチメディア､分散､協調とモバイル(DICOMO2014)シンポジウム）
190.	2014/07	商業ビル内でのセンシングデータ解析の試み（モバイルネットワークとアプリケーション研究会（MoNA）2014年7月）
191.	2014/07	多数のセンサーによる時空間センシングデータの効率的な集約送信技術（査読付）（マルチメディア､分散､協調とモバイル(DICOMO2014)シンポジウム）
192.	2014/07	災害時における携帯電話基地局の電池残量を考慮したカバレッジ最大化のためのセルサイズ制御手法（査読付）（マルチメディア､分散､協調とモバイル(DICOMO2014)シンポジウム）
193.	2014/07	車両プローブ情報に基づく信号待ち車列長変動の分析モデル（査読付）（マルチメディア､分散､協調とモバイル(DICOMO2014)シンポジウム）
194.	2014/07	都市部における無線LANチャネルの相対的な干渉レベルの推定手法（査読付）（マルチメディア､分散､協調とモバイル(DICOMO2014)シンポジウム）
195.	2014/06	A neighbor collaboration mechanism for mobile crowd sensing in opportunistic networks（遭遇型ネットワークにおけるモバイルクラウドセンシングのための近隣協調メカニズム）（査読付）（Proceedings of the IEEE International Conference on Communications）
196.	2014/04	Car-level congestion and position estimation for railway trips using mobile phones（携帯電話を使用した鉄道車両の渋滞レベルと位置の推定）（査読付）（Proceedings of the 2014 ACM Conference on Ubiquitous Computing (UbiComp 2014)）
197.	2014/03	ウェアラブルセンサを用いた発汗量推定モデルのパラメータ調整に関する一検討（情報処理学会第76回全国大会）
198.	2014/03	三次元都市モデルとGPS信号のSNRを用いた携帯端末の存在領域判定（第70回モバイルコンピューティングとユビキタス通信･第41回ユビキタスコンピューティングシステム合同研究発表会）
199.	2014/03	多数のセンサーによる時空間センシングデータの集約圧縮方式の一検討（電子情報通信学会2014年総合大会）
200.	2014/03	多数のセンサーによる時空間センシングデータの集約圧縮方式の一検討（電気情報通信学会2014年総合大会）
201.	2014/03	鉄道におけるBluetooth受信特性を用いた乗車車両および混雑の推定手法（第56回高度交通システム研究発表会）
202.	2013/11	A Novel Scheduling Algorithm for Densely-Deployed Wireless Stations in Urban Areas（都市部における高密度配置無線局のための新しいスケジューリングアルゴリズム）（査読付）（Proceedings of the 16th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems）
203.	2013/11	Mitigating Location and Speed Errors in Floating Car Data using Context-based Accuracy Estimation（文脈に基づく精度推定を用いた走行車両軌跡データにおける位置と速度誤差の軽減）（査読付）（Proceedings of the 13th International Conference on ITS Telecommunications）
204.	2013/10	Accurate Positioning of Mobile Phones in a Crowd using Laser Range Scanners（レーザーレンジスキャナーを使用した群衆内の携帯電話の正確な位置決め）（査読付）（Proceedings of the IEEE 9th International Conference on Wireless and Mobile Computing）
205.	2013/10	GPS Line-Of-Sight Fingerprinting for Enhancing Location Accuracy in Urban Areas（都市街区の位置精度を向上させるためのGPS見通し判定フィンガープリント）（査読付）（Proceedings of the 4th International Conference on Indoor Positioning and Indoor Navigation）
206.	2013/09	LEDによる通信・測距デバイスを用いた協調型車両位置推定手法の提案（情報処理学会第54回高度交通システム（ITS）研究会）
207.	2013/09	Sensor Placement Optimization Method for People Tracking（人物追跡のためのセンサ配置最適化手法）（査読付）（Proceedings of the 7th International Conference on Next Generation Mobile Applications）
208.	2013/08	共有空間の「ひと」「くうき」「きもち」を一体化する「ひとなび」のコンセプトとビッグデータ蓄積に向けた実証実験 (モバイルネットワークとアプリケーション)（モバイルネットワークとアプリケーション研究会 (MoNA) 2013）
209.	2013/05	Data-Centric Programming Environment for Cooperative Applications in WSN（ワイヤレスセンサネットワークにおける協調的応用のためのデータ中心プログラミング環境）（査読付）（Proceedings of the IFIP/IEEE International Symposium on Integrated Network Management）
210.	2013/05	DTNを対象としたONEシミュレータとScenargieの機能比較と考察（マルチメディア通信と分散処理研究会（DPS）2013）
211.	2013/03	都市環境における人流推定を目的としたセンサ配置最適化手法の提案（研究報告モバイルコンピューティングとユビキタス通信研究会2013（IPSJ-MBL））
212.	2013/01	スマートフォンを用いた駅ホームにおける混雑推定の一検討（モバイルネットワークとアプリケーション研究会 (MoNA) 2012年度）
213.	2012/12	Design and Architecture of Cloud-based Mobile Phone Sensing Middleware（クラウドベースの携帯電話センシングミドルウェアの設計とアーキテクチャ）（査読付）（Proceedings of the 2nd IEEE Symposium on Network Cloud Computing and Applicationspp.102-109）
214.	2012/11	Autonomous Recognition of Emergency Site by Wearable Sensors（ウェアラブルセンサを用いた緊急現場の自律的認識手法）（査読付）（Proceedings of the 10th IEEE International Conference on Cyber）
215.	2012/11	Depth Limited Treatment Planning and Scheduling for Electronic Triage System in MCI（MCIにおける電子トリアージシステムのための深さ制限治療計画とスケジューリング）（査読付）（Proceedings of International Conference on Wireless Mobile Communication and Healthcarepp.224-233）
216.	2012/11	Evaluation of Energy-Saving Performance of Office Building Task/Ambient Systems Considering Dynamic Worker’S Behaviour（事務所ビルの省エネ性能の評価：動的労働者の行動を考慮したタスク/アンビエントシステム）（査読付）（Proceedings of the 1st Asia conference of International Building Performance Simulation Association）
217.	2012/11	GPS信号履歴を用いた建物出口特定法の提案（第64回MBL･第51回ITS合同研究発表会）
218.	2012/11	Image Sensor Communication for Patient ID Recognition Using Mobile Devices（携帯機器を用いた患者ID認識のための画像センサ通信）（査読付）（Proceedings of the 3rd International Workshop on Sensing Applications on Mobile Phones）
219.	2012/11	Protocol Testing and Performance Evaluation for MANETs with Non-uniform Node Density Distribution（不均一ノード密度分布を有するMANETのためのプロトコル試験と性能評価）（査読付）（Proceedings of the 24th IFIP International Conference on Testing Software and Systems）
220.	2012/11	プローブカーデータからの交差点状況推定手法の提案（第64回MBL･第51回ITS合同研究発表会）
221.	2012/11	プローブカーデータからの交差点状況推定手法の提案（第64回MBL･第51回ITS合同研究発表会）
222.	2012/11	プローブカーデータによるリンク交通量推定手法の有効性評価（第64回MBL･第51回ITS合同研究発表会）
223.	2012/11	レーザレンジスキャナ計測を利用した歩行者の識別手法の実験と評価（第64回MBL･第51回ITS合同研究発表会）
224.	2012/11	レーザレンジスキャナ計測を利用した歩行者の識別手法の実験と評価（第64回MBL･第51回ITS合同研究発表会）
225.	2012/10	Performance evaluation of mobility-based energy-saving to control air-conditioning and lighting equipments（空調および照明機器を制御するための人の移動性を考慮した省エネルギー性能評価）（査読付）（Proceedings of the Sustainable Internet and ICT for Sustainability）
226.	2012/09	災害時救命率最大化のための深さ制限探索を用いた治療計画法の提案（平成24年度情報処理学会関西支部支部大会）
227.	2012/08	モバイルユーザ群のグループ行動コンテキストを活用したローカル群衆マッピング（第63回モバイルコンピューティングとユビキタス通信研究発表会）
228.	2012/07	電子トリアージ゙システムにおける深さ制限探索を用いた多数傷病者治療計画法の提案（査読付）（マルチメディア､分散､協調とモバイル(DICOMO2012)シンポジウム）
229.	2012/06	Simulating CSMA/CA Behavior for Performance Evaluation of Multi-hop Wireless Networks（マルチホップ無線ネットワークの性能評価のためのCSMA / CA挙動のシミュレーション）（査読付）（Proceedings of the 20th International Workshop on Quality of Service）
230.	2012/06	安全運転支援に向けた車車間通信による協調型車両位置推定（第49回高度交通システム（ITS）2012）
231.	2012/05	Deadline-aware Data Collection in CSMA/CA-based Multi-sink Wireless Sensor Networks（CSMA / CAベースのマルチシンクにおける期限を意識したデータ収集無線センサーネットワーク）（査読付）（Proceedings of the the 6th International Conference on Mobile Computing and Ubiquitous Networking）
232.	2012/05	HumanS: A Human Mobility Sensing Simulator（HumanS：ヒューマンモビリティセンシングシミュレータ）（査読付）（Proceedings of the 5th IFIP International Conference on New Technologies, Mobility and Security）
233.	2012/03	グループ行動コンテキストを活用した近隣スマートフォンユーザ群の位置関係認識（第61回MBL・第33回UBI合同研究発表会）
234.	2012/03	排気量削減を目的とした車両移動予測に基づく適応型信号機制御（第48回高度交通システム研究発表会）
235.	2012/03	行動検出に基づく空調及び照明機器省エネルギー制御システムの性能評価手法（第61回MBL・第33回UBI合同研究発表会）
236.	2012/03	都市部におけるGPS衛星の見通し判定を用いたナビゲーション精度向上法の提案（第61回MBL・第33回UBI合同研究発表会）
237.	2012/03	都市部におけるGPS衛星の見通し判定を用いたナビゲーション精度向上法の提案（第61回MBL・第33回UBI合同研究発表会）
238.	2012/02	傷病者ID認識のための携帯端末向けイメージセンサ通信方式の開発（第150回DPS･第56回CSEC合同研究発表会）
239.	2012/02	傷病者ID認識のための携帯端末向けイメージセンサ通信方式の開発（第150回DPS･第56回CSEC合同研究発表会）
240.	2011/12	eTriage: A Wireless Communication Service Platform for Advanced Rescue Operations（eTriage：高度救助活動のための無線通信サービスプラットフォーム）（査読付）（Proceedings of ACM Workshop on Internet of Things and Service Platforms）
241.	2011/11	GPS受信状態を用いた屋内外判定法（第60回MBL・第47回ITS合同研究発表会）
242.	2011/11	路車間通信における無線リソースの最小化に関する検討（第60回MBL・第47回ITS合同研究発表会）
243.	2011/10	A Simple Mobility Model Realizing Designated Node Distributions and Natural Node Movement（指定ノード分布と自然ノード移動を実現する単純移動モデル）（査読付）（Proceedings of 8th IEEE International Conference on Mobile Ad-hoc and Sensor Systems）
244.	2011/10	Electronic Triage System: Casualties Monitoring System in the Disaster Scene（電子トリアージシステム：災害現場における死傷者監視システム）（査読付）（Proceedings of First International Workshop on Smart Environments for Disaster Management）
245.	2011/10	Implementation of a Data Collection Mechanism in Electronic Triage System using Wireless Sensor Devices（無線センサ装置を用いた電子トリアージシステムにおけるデータ収集機構の実装）（査読付）（Proceedings of the 6th IEEE International Workshop on Practical Issues in Building Sensor Network Applications）
246.	2011/09	Cooperative Vehicle Positioning via V2V Communications and Onboard Sensors（V2V通信とオンボードセンサによる協調的車両位置決め）（査読付）（Proceedings of the 4th International Symposium on Wireless Vehicular Communications）
247.	2011/09	災害医療シミュレータによる電子トリアージシステムの有効性評価（平成23年度情報処理学会関西支部支部大会）
248.	2011/07	A Comprehensive Test Strategy for Network Protocols in Diverse Environment（多様な環境におけるネットワークプロトコルのための包括的なテスト戦略）（査読付）（Proceedings of The 19th IEEE International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems）
249.	2011/07	位置推定されたノード群に対するユーザ視点を考慮した相対位置誤差の提案（査読付）（情報処理学会マルチメディア､分散､協調とモバイル(DICOMO2011)シンポジウム）
250.	2011/06	A Proposal of Fixed Backoff-time Switching Method by Link Activation Rate for Wireless Mesh Networks（無線メッシュネットワークにおけるリンク活性化率による固定バックオフ時間切替方式の提案）（査読付）（2011 International Conference on Complex）
251.	2011/03	An Efficient Localization Algorithm Focusing on Stop-and-Go Behavior of Mobile Nodes（モバイルノードの停止と移動行動に焦点を当てた効率的な位置確認アルゴリズ）（査読付）（Proceedings of the 9th Annual IEEE International Conference on Pervasive Computing and Communications）
252.	2011/03	Performance Evaluation of Vital-Sign Collection Mechanism using Wireless Sensor Device（無線センサーデバイスを用いたバイタルサイン収集機構の性能評価）（RCS研究科･ MoMuC研究会･ SR研究会合同研究発表会 2011年3月）
253.	2011/03	歩行者の移動特性を考慮した協調型位置推定手法の性能評価（第57回モバイルコンピューティングとユビキタス通信･第29回ユビキタスコンピューティング合同研究発表会）
254.	2011/01	センサネットワークアプリケーションを対象とした統合型シミュレーション環境の提案（AN研究科･MoNA研究会･USN研究会合同研究発表会）
255.	2010/11	ネットワーク性能に対するノード密度分布の影響を評価するためのモビリティ生成手法（第43回高度交通システム研究会（ITS））
256.	2010/11	車間通信を用いた協調型車両位置推定手法（第43回高度交通システム研究会（ITS））
257.	2010/09	Implementation of a Data Collection Mechanism in Electronic Triage System Using Wireless Sensor Devices（無線センサーデバイスを使用した電子トリアージシステムでのデータ収集メカニズムの実装）（平成22年度情報処理学会関西支部支部大会）
258.	2010/08	Proposal of a Multi-player Simulator for Training in Electronic Triage System（都市空間上での大規模モバイルワイヤレスネットワークにおける効率的な情報共有方式）（査読付）（Proceedings of the 10th Asia Pacific Conference on Disaster Medicine）
259.	2010/07	電子トリアージ評価のための多人数参加型シミュレータの設計（査読付）（マルチメディア､分散､協調とモバイル(DICOMO 2010)シンポジウム）
260.	2010/06	E-triage: Designing Advanced Electronic Triage System for Efficient Rescue Operations（E-トリアージ：効率的な救助活動のための高度な電子トリアージシステムの設計）（査読付）（Proc. of IEEE Int. Conf. on Advances and Emerging Trends in Computing Technology (ICAET'10)）
261.	2010/06	都市街路における排気ガス量の削減を目的とする車車間通信を想定したリアルタイム信号制御手法の提案（第41回高度交通システム研究発表会）
262.	2010/05	モバイルノードを用いた建造物の位置および形状推定（第143回マルチメディア通信と分散処理・第54回モバイルコンピューティングとユビキタス通信合同研究発表会）
263.	2010/05	分散協調型無線センサノード群の実行コード自動生成（第143回マルチメディア通信と分散処理・第54回モバイルコンピューティングとユビキタス通信合同研究発表会）
264.	2010/03	Local Map Generation using Position and Communication History of Mobile Nodes（移動ノードの位置と通信履歴を用いた局所地図生成）（査読付）（Proceedings of the 8th Annual IEEE International Conference on Pervasive Computing and Communications (IEEE PerCom 2010)）
265.	2010/03	センサネットワークアプリケーションの実装支援APIの実装と評価（SLDM研究会･EMB研究会･MBL研究会･UBI研究会合同研究発表会）
266.	2010/03	位置推定されたノード群の相対位置関係の評価（情報処理学会創立50周年記念（第72回）全国大会）
267.	2010/03	無線センサノード群による監視動作を実現するノードプログラムの自動生成（情報処理学会創立50周年記念（第72回）全国大会）
268.	2010/03	確率事象駆動型モデルを利用した無線ネットワークシミュレーション高速化手法の提案（SLDM研究会･EMB研究会･MBL研究会･UBI研究会合同研究発表会）
269.	2010/03	負傷者の状態をリアルタイムに監視する電子トリアージ・タッグの評価（SLDM研究会･EMB研究会･MBL研究会･UBI研究会合同研究発表会）
270.	2010/03	負傷者の状態をリアルタイムに監視する電子トリアージ・タッグの評価（SLDM研究会･EMB研究会･MBL研究会･UBI研究会合同研究発表会）
271.	2010/03	静止ノードの検出により測位回数を抑制する移動無線ネットワーク向け位置推定（情報処理学会創立50周年記念（第72回）全国大会）
272.	2009/10	Adaptive Location Based TDM Protocol for Inter-Vehicle Communication（車車間通信用の適応位置ベースTDMプロトコル）（査読付）（Proceedings of the 1st IEEE Vehicular Networking Conference (IEEE VNC 2009)）
273.	2009/10	Real-time Trajectory Estimation in Mobile Ad Hoc Networks（モバイルアドホックネットワークにおける実時間軌道推定）（査読付）（Proceedings of the 12-th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWiM 2009)）
274.	2009/10	多様な無線ネットワークシステムを対象とした性能評価及び試験手法の提案（査読付）（第17回マルチメディア通信と分散処理ワークショップ）
275.	2009/10	車車間TDM通信における位置情報を用いたスロット割り当てプロトコルの提案（査読付）（第17回マルチメディア通信と分散処理ワークショップ）
276.	2009/09	An Algorithm for Assigning Real-time Tasks with Timing Constraints into Dynamically Reconfigurable Processor（タイミング制約のあるリアルタイムタスクを動的に再構成可能なプロセッサに割り当てるためのアルゴリズム）（査読付）（Proceedings of the 3rd International Workshop on Infomatics (IWIN 2009)）
277.	2009/09	アドホック通信を用いた歩行者密度の推定法（研究報告モバイルコンピューティングとユビキタス通信 Vol.2009 No.8pp.17-24）
278.	2009/09	ノード間の位置関係に基づく推定位置精度の評価手法（第50回モバイルコンピューティングとユビキタス通信研究発表会）
279.	2009/09	無線センサーネットワークを利用した電子トリアージシステムの実現（電子情報通信学会技術研究報告 2009-09-MoMuC-CE-BCT）
280.	2009/09	計算負荷分散を考慮した近隣端末の分散型移動予測手法の提案（第50回モバイルコンピューティングとユビキタス通信研究発表会）
281.	2009/08	Optimal Assignment of Periodic Real-time Systems into Dynamically Reconfigurable Processors（マルチコンテキスト動的再構成可能プロセッサへのリアルタイムシステムの最適割当）（査読付）（Proceedings of the 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2009)）
282.	2009/07	Self-Estimation of Neighborhood Density for Mobile Wireless Nodes（移動無線ノードのための近隣密度の自己推定）（査読付）（Proceedings of the 6th International Conference on Ubiquitous Intelligence and Computing (UIC-09)）
283.	2009/06	Modeling and Evaluation of Rescue Operations using Mobile Communication Devices（移動通信装置を用いた救助活動のモデリングと評価）（査読付）（Proceedings of the 23rd ACM/IEEE/SCS Workshop on Principles of Advanced and Distributed Simulation (PADS 2009)）
284.	2009/06	近隣ノードの移動履歴情報を用いた位置推定手法のシミュレーションによる性能解析（研究報告高度交通システム（ITS）Vol.2009-ITS-37 No.4 pp.1-8）
285.	2009/05	An Integrated Tool for Development of Overlay Services（オーバーレイサービス開発のための統合ツール）（査読付）（Proceedings of the 2nd International Conference on Simulation Tools and Techniques (SIMUTOOLS 2009)）
286.	2009/05	無線アドホックネットワークにおける位置推定の誤差がノード位置関係の認識に与える影響の評価（モバイルコンピューティングとユビキタス通信研究会（MoMuc））
287.	2009/03	位置情報に基づくTDMプロトコルの提案（第36回ITS研究会）
288.	2009/01	アドホック通信を用いた移動ノードの密度推定法（研究報告モバイルコンピューティングとユビキタス通信（MBL）Vol.2009 No.8(2009-MBL-48))pp.17-24）
289.	2009/01	通信履歴と地理情報を併用した無線端末の移動軌跡推定（電子情報通信学会技術研究報告pp.77-82）
290.	2008/12	協調型ピア群による最小時間でのタスク分散実行（査読付）（マルチメディア通信と分散処理ワークショップ）
291.	2008/12	要因聞の依存関係に注目した無線ネットワークの性能試験手法とそれに基づくシミュレーション支援システム（査読付）（マルチメディア通信と分散処理ワークショップ）
292.	2008/09	D-sense: An Integrated Environment for Algorithm Design and Protocol Implementation in Wireless Sensor Networks（D ‐ Sense：無線センサネットワークにおけるアルゴリズム設計とプロトコル実装のための統合環境）（査読付）（Proceedings of the 11th IFIP/IEEE International Conference on Management of Multimedia and Mobile Networks and Services (MMNS 2008)）
293.	2008/08	Neighbor Selection Algorithm for Ad hoc Networks with Highly Dynamic Urban Mobility（高い移動性を有する都市モビリティにおけるアドホックネットワークのための近隣選択アルゴリズム）（査読付）（Proceedings of IEEE International Wireless Communications and Mobile Computing Conference 2008 (IWCMC 2008)）
294.	2008/07	A Study on Efficient Performance Tests of Wireless Networks by Finding Dominant Factors（支配的要因の発見による無線ネットワークの効率的な性能試験に関する研究）（査読付）（マルチメディア､分散､協調とモバイル(DICOMO2008)シンポジウム）
295.	2008/07	ワイヤレスセンサネットワークの設計開発支援環境D-sense（査読付）（マルチメディア､分散､協調とモバイル(DICOMO2008)シンポジウム）
296.	2008/07	再構成オーバーヘッドを考慮した動的再構成可能プロセッサヘの実時間タスク群分割実装アルゴリズムの提案（情報処理学会研究報告組込みシステム（EMB）2008(32(2008-EMB-008))pp.179-184）
297.	2008/07	無線端末間の通信情報を利用した移動軌跡推定手法の実環境を想定した評価事例および実機による性能評価（査読付）（マルチメディア､分散､協調とモバイル(DICOMO2008)シンポジウム）
298.	2008/07	遭遇情報の相互利用による移動端末の軌跡推定法の提案と現実的環境での評価（査読付）（マルチメディア､分散､協調とモバイル(DICOMO2008)シンポジウム）
299.	2008/06	Hybrid Testbed Enabling Run-time Operations for Wireless Applications（無線アプリケーションのための実行時操作を可能にするハイブリッドテストベッド）（査読付）（Proceedings of the 22nd ACM/IEEE/SCS Workshop on Principles of Advanced and Distributed Simulation (PADS 2008)）
300.	2008/05	Efficient VANET-based Traffic Information Sharing using Buses on Regular Routes（正規路線上のバスを用いた効率的なVANETベースの交通情報共有）（査読付）（Proceedings of the 2008 IEEE 67th Vehicular Technology Conference (VTC2008-Spring)）
301.	2008/05	Hierarchical Logical Topology in WDM Ring Networks with Limited ADM（ADMが制限されたWDMリングネットワークにおける階層的論理トポロジ）（査読付）（Proceedings of the IFIP Networking 2008 (Networking 2008)）
302.	2008/05	Stability Oriented Overlay Multicast for Multimedia Streaming in Multiple Source Context（マルチソースコンテキストにおけるマルチメディアストリーミングのための安定性指向オーバーレイマルチキャスト）（査読付）（Proceedings of the 2008 IEEE International Conference on Communications (ICC 2008)）
303.	2008/04	Realistic Mobility Aware Information Gathering in Disaster Areas（現実的な移動性に基づく災害地域での情報収集）（査読付）（Proceedings of the IEEE Wireless Communications and Networking Conference 2008 (WCNC 2008)）
304.	2008/03	An Off-line Algorithm to Estimate Trajectories of Mobile Nodes Using Ad-hoc Communication（アドホック通信を用いた移動ノードの軌跡推定のためのオフラインアルゴリズム）（査読付）（Proceedings of the 6th Annual IEEE International Conference on Pervasive Computing and Communications (PerCom 2008)）
305.	2008/03	センサーネットワークの設計開発を支援するシミュレーション融合型テストベットの検討（情報処理学会第70回全国大会）
306.	2008/03	複数の要因が無線ネットワークの性能に与える影響の分析手法（情報処理学会研究報告マルチメディア通信と分散処理（DPS））
307.	2008/03	車車間通信を利用した信号機制御手法の提案（情報処理学会研究報告マルチメディア通信と分散処理（DPS））
308.	2008/01	Certification of Secure Encounter History Among Low Power Mobile Sensors（低電力モバイルセンサ間の安全な遭遇履歴証明）（査読付）（Short Paper Proceedings of the 4th Annual IFIP WG 11.9 International Conference on Digital Forensics (ICDF2008)）
309.	2007/12	A Middleware for Implementation and Evaluation of Application Layer Multicast Protocols in Real Environments（実環境におけるアプリケーション層マルチキャストプロトコルの実装と評価のためのミドルウェア）（査読付）（Proceedings of the 17th International Workshop on Network and Operating Systems Support for Digital Audio and Video (NOSSDAV 2007)）
310.	2007/10	A Hybrid Routing Protocol for Mobile Ad Hoc Networks Using Node Encounter Information（ノード遭遇情報を使用したモバイルアドホックネットワークのためのハイブリッドルーティングプロトコル）（査読付）（第15回マルチメディア通信と分散処理ワークショップ）
311.	2007/10	安定したストリーム配信を実現するオーバレイマルチキャストプロトコルの設計とPlanetLab上での実証実験（第15回マルチメディア通信と分散処理ワークショップ）
312.	2007/09	Efficient acquisition of local traffic information using inter-vehicle communication with queries（問合せを伴う車車間通信を利用した地域交通情報の効率的な取得）（査読付）（Proceedings of the 10th IEEE International Conference on Intelligent Transportation Systems (ITSC 2007)）
313.	2007/09	MANETにおける位置推定法UPLを用いたデータ転送プロトコルの検討（情報処理学会研究報告 2007(98)pp.25-32）
314.	2007/09	位置情報ルーティングによる車車間オーバレイネットワークの検討（情報処理学会研究報告高度交通システム（ITS）2007（90(2007-ITS-030））
315.	2007/07	A WDS Clustering Algorithm for Wireless Mesh Networks（無線メッシュネットワークのためのWDSクラスタリングアルゴリズム）（査読付）（Proceedings of the 4th International Conference on Wireless and Optical Communications Networks (WOCN 2007)）
316.	2007/06	A Middleware for Implementation and Evaluation of Application Layer Multicast Protocols in Real Environments（実環境におけるアプリケーション層マルチキャストプロトコルの実装と評価のためのミドルウェア）（査読付）（Proceedings of the 17th International Workshop on Network and Operating Systems Support for Digital Audio and Video (NOSSDAV 2007)）
317.	2007/05	Ad-hoc Localization in Urban District（市街地におけるアドホック位置推定）（査読付）（Proceedings of the 26th Annual IEEE Conference on Computer Communications (INFOCOM 2007 Mini-Symp.)）
318.	2007/05	Efficient Parallel Simulation of Mobile Wireless Networks by Run-time Prediction of Multi-hop Propagation Delay（マルチホップ伝搬遅延の実行時予測によるモバイル無線ネットワークの効率的並列シミュレーション）（査読付）（Proceedings of the 3rd International Conference on Testbeds and Research Infrastructures for the Development of Networks and Communities (TridentCom 2007)）
319.	2007/04	Mobility-aware Data Management on Mobile Wireless Networks（モバイル無線ネットワーク上の移動性を意識したデータ管理）（査読付）（Proceedings of the IEEE 65th Vehicular Technology Conference (VTC2007-Spring)）
320.	2007/03	小型端末を利用した匿名性を持つ遭遇履歴保証技術の提案（情報処理学会研究報告 2007）
321.	2007/03	現実的モピリティを考慮した災害時における情報収集法（情報処理学会研究報告高度交通システム（ITS）(28(2007-ITS-028))pp.47-54）
322.	2006/12	Detecting Dangerous Vehicles on Intelligent Transportation Systems（インテリジェント交通システムにおける危険車両の検出）（査読付）（Proceedings of the 1st IEEE Workshop on Automotive Networking and Applications (AutoNet 2006)）
323.	2006/11	ノードの移動フローを考慮したMANET上での情報共有方式とその評価（情報処理学会研究報告高度交通システム（ITS）(120(2006-ITS-027))pp.169-176）
324.	2006/11	少ない基準位置情報を移動無線端末間で補完する都市部向け位置推定手法の提案（査読付）（マルチメディア通信と分散処理ワークショップ）
325.	2006/11	車車問通信とクエリを併用した効率的な道路情報取得手法の提案とその評価（査読付）（マルチメディア通信と分散処理ワークショップ）
326.	2006/10	Execution Time Analysis for Binary Code Executed on a Pipelined Processor Using Parametric Model Checking（パラメトリックモデル検査を用いたパイプラインプロセッサ上で実行されたバイナリコードの実行時間解析）（査読付）（情報処理学会論文誌プログラミング(PRO) 47巻p.95）
327.	2006/07	A Method for Sharing Traffic Jam Information using Inter-Vehicle Communication（車車間通信を利用した渋滞情報共有方式）（査読付）（Proceedings of the 2nd International Workshop on Vehicle-to-Vehicle Communications 2006 (V2VCOM 2006)）
328.	2006/07	A Real Time Budgeting Method for Module-Level-Pipelined Bus Based System using Bus Scenarios（バスシナリオを用いたモジュールレベルパイプラインバスベースシステムのための実時間使用計画法）（査読付）（Proceedings of the 43rd ACM/IEEE Design Automation Conference (DAC-2006)）
329.	2006/07	周辺端末密度推定に基づきレプリカ数を調整するMANET用災害時情報収集システムの提案（査読付）（マルチメディア､分散､協調とモバイル(DICOMO2006)シンポジウム）
330.	2006/07	車車間アドホック通信を用いた危険車両情報の共有とそれに基づく検出手法の提案（査読付）（マルチメディア､分散､協調とモバイル(DICOMO2006)シンポジウム）
331.	2006/05	A Demand-Oriented Information Retrieval Method on MANET（MANETにおける要求指向情報検索方式）（査読付）（Proceedings of the 2006 International Workshop on Future Mobile and Ubiquitous Information Technologies (FMUIT'06)）
332.	2006/05	A Technique for Information Sharing Using Inter-Vehicle Communication with Message Ferrying（メッセージフェリーを用いた車車間通信を用いた情報共有手法）（査読付）（Proceedings of the 2006 International Workshop on Future Mobile and Ubiquitous Information Technologies (FMUIT'06)）
333.	2006/05	An Internet Gateway Access-Point Selection Problem for Wireless Infrastructure Mesh Networks（無線インフラストラクチャメッシュネットワークのためのインターネットゲートウェイアクセスポイント選択問題）（査読付）（Proceedings of the 2006 International Workshop on Future Mobile and Ubiquitous Information Technologies (FMUIT'06)）
334.	2006/05	Maximizing User Gain in Multi-flow Multicast Streaming on Overlay Networks（オーバーレイネットワーク上のマルチフローマルチキャストストリーミングにおけるユーザ利得の最大化）（査読付）（Proceedings of the 2006 International Workshop on Future Mobile and Ubiquitous Information Technologies (FMUIT'06)）
335.	2006/05	遭遇端末の位置情報と地理情報を併用した高精度な位置推定手法の提案と評価（モバイルマルチメディア通信 Vol.106 No.44pp.13-18）
336.	2006/04	Efficient and Robust Distributed Network Monitoring using Dynamic Group Formation（動的グループ形成を用いた効率的でロバストな分散ネットワーク監視）（査読付）（Proceedings of the 10th IEEE/IFIP Network Operations and Management Symposium (NOMS 2006)）
337.	2006/03	A MANET Protocol for Information Gathering from Disaster Victims（被災者からの情報収集のためのMANETプロトコル）（査読付）（Proceedings of the 4th IEEE International Conference on Pervasive Computing and Communications Workshops (PERCOMW'06)）
338.	2006/02	MANETにおける複数共謀ノードによるパケットドロップ攻撃の検出手法の提案（第36回モバイルコンピューティングとユビキタス通信・第10回ユビキタスコンピューティングシステム合同研究発表会）
339.	2005/12	A proposal of a node configuration algorithm for WDM ring networks（WDMリングネットワークにおけるノード構成アルゴリズムの提案）（査読付）（Proceedings of International Conference on Optical Communications and Networks (ICOCN-2005)）
340.	2005/11	Future of Mobile and Ubiquitous Computing（モバイルおよびユビキタスコンピューティングの未来）（査読付）（Proceedings of the First International Workshop on Network Architecture and Service Models (NASM 2005)）
341.	2005/11	シナリオを用いたタスク及びバス転送へのサイクル割り当ての一手法（情報処理学会第 122 回システムLSI設計技術(SLDM)研究会デザインガイア）
342.	2005/11	リアルタイム組込みシステムの動的再構成可能プロセッサへの一実装方法の提案（リコンフィギャラブルシステム研究会（RECONF））
343.	2005/10	A Testing Architecture for Designing High-Reliable MANET Protocol（高信頼MANETプロトコルを設計するためのテストアーキテクチャ）（査読付）（Proceedings of the 25th IFIP International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2005)）
344.	2005/10	Getting Urban Pedestrian Flow from Simple Observation : Realistic Mobility Generation in Wireless Network Simulation（簡単な観測から都市歩行流の生成：無線ネットワークシミュレーションにおける現実的なモビリティ生成）（査読付）（Proceedings of the 8th ACM/IEEE International Symposium on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWiM2005)）
345.	2005/09	LP手法を用いた都市歩行者モビリティモデルの形成（ITS研究会 2005年度）
346.	2005/09	MANETを用いた災害時における被災者の位置情報収集・追跡システムの提案（ITS研究会 2005年度）
347.	2005/09	MobiREAL Simulator - Evaluating MANET Applications in Real Environments -（実環境におけるMobiREALシミュレータ評価MANETアプリケーション）（査読付）（Proceedings of the 13th IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS 2005)）
348.	2005/09	渋滞緩和を目的とした車車間通信による混雑状況の伝播方式（ITS研究会 2005年度）
349.	2005/07	Personally Customizable Group Navigation System using Cellular Phones and Wireless Ad-hoc Communication（携帯電話と無線アドホック通信を用いた個人的にカスタマイズ可能なグループナビゲーションシステム）（査読付）（Proceedings of the 2005 IEEE International Conference on Multimedia & Expo (ICME2005)）
350.	2005/07	無線ネットワークにおいて問題が発生している位置範囲を特定するネットワークモニタ方式の提案（査読付）（マルチメディア､分散､協調とモバイル(DICOMO2005)シンポジウム）
351.	2005/07	現実的な環境下でMANETシステムを性能評価するための無線ネットワークシミュレータMobiREAL（査読付）（マルチメディア､分散､協調とモバイル(DICOMO2005)シンポジウム）
352.	2005/06	A Formal Approach to Design Optimized Service Overlay（最適化マルチメディアサービスオーバーレイを設計するための形式的アプローチ）（査読付）（Proceedings of the ACM 15th International Workshop on Network and Operating Systems Support for Digital Audio and Video (NOSSDAV 2005)）
353.	2005/06	Design and Implemetation of Overlay Multicast Protocol for Multimedia Streaming（マルチメディアストリーミングのためのオーバーレイマルチキャストプロトコルの設計と実装）（査読付）（Proceedings of the 34th International Conference on Parallel Processing (ICPP2005)）
354.	2005/05	FLEXA: Distributed and Flexible Network Monitoring with Autonomous Group Formation（FLEXA：自律的なグループ形成による分散型で柔軟なネットワーク監視）（査読付）（Proceedings of the 9th IFIP/IEEE International Symposium on Integrated Network Management (IM 2005)）
355.	2005/05	Framework and Rule-based Language for Facilitating Context-aware Computing using Information Appliances（情報機器を用いた文脈認識コンピューティングを容易にするためのフレームワークとルールベース言語）（査読付）（Proceedings of the First International Workshop on Services and Infrastructures for the Ubiquitous and Mobile Internet (SIUMI'05)）
356.	2005/04	MODE for Mobile - An Efficient Overlay Multicast Protocol for Heterogeneous Users -（モバイル向けMODE - 異種ユーザ向けの効率的なオーバーレイマルチキャストプロトコル -）（査読付）（Proceedings of the 2nd International Conference on Mobile Computing and Ubiquitous Networking (ICMU 2005)）
357.	2005/04	Toward Future Innovation of Mobile Communication Systems - Current Requirements for Research -（移動通信システムの将来の革新に向けて-研究の現在の要件-）（査読付）（Proceedings of the 2nd International Conference on Mobile Computing and Ubiquitous Networking）
358.	2005/03	Automatic Decomposition of Java Program based on Simulation and its Implementation on Mobile Terminals（携帯端末に実装するためのJavaプログラムの自動分割）（査読付）（Proceedings of the 19th International Conference on Advanced Information Networking and Applications (AINA2005)）
359.	2005/03	Evaluation of Inter-Vehicle Ad-hoc Communication Protocol（車車間アドホック通信の評価）（査読付）（Proceedings of the 19th International Conference on Advanced Information Networking and Applications (AINA2005)）
360.	2005/03	Optical-drop wavelength assignment problem for wavelength reuse in WDM ring metropolitan area networks（WDMリングメトロポリタンエリアネットワークにおける波長再利用のための光ドロップ波長割当問題）（査読付）（Proceedings of the 19th International Conference on Advanced Information Networking and Applications (AINA2005)）
361.	2004/12	A Flexible and High-Reliable HW/SW Co-Design Method for Real-Time Embedded Systems（リアルタイム組込みシステムのための柔軟で信頼性の高いHW / SW協調設計法）（査読付）（Proceedings of the 25th IEEE International Real-Time Systems Symposium (RTSS 2004)）
362.	2004/11	A Global Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata（パラメトリック時間間隔オートマトンのための大域的時間双模倣性の保存のための抽象化）（査読付）（Proceedings of the 2nd International Synposium on Automated Technology for Verification and Analysis (ATVA 2004)）
363.	2004/11	A Minimum Dead Space Algorithm for Wavelength Reuse Problems in WDM Ring Metropolitan Area Networks（WDMリングネットワークにおける波長再利用問題のための最小デッドスペースアルゴリズム）（査読付）（Proceedings of International Conference on Optical Communications and Networks (ICOCN 2004)）
364.	2004/11	A Proposal of Hierarchical Chordal Ring Network Topology for WDM Networks（WDMネットワークのための階層的コーダルリングネットワークトポロジーの提案）（査読付）（Proceedings of the IEEE International Conference on Networks 2004 (ICON 2004)）
365.	2004/11	Compact tree plus algorithms for application-level multicast communications in multihome networks（マルチホームネットワークにおけるアプリケーションレベルマルチキャスト通信のためのコンパクトツリーとアルゴリズム）（査読付）（Proceedings of the IEEE International Conference on Networks 2004 (ICON 2004)）
366.	2004/11	MANETアプリケーション向けのシミュレータMobiREALの実装に関する検討（情報処理学会研究報告高度交通システム（ITS）2004pp.55-62）
367.	2004/10	Inter-vehicle Ad-hoc Communication Protocol for Acquiring Local Traffic Information（地域交通情報を取得するための車両間アドホック通信プロトコル）（査読付）（Proceedings of the 11th World Congress on ITS Session SP05, No. 3）
368.	2004/09	携帯端末の現実的な移動モデルを表現可能なネットワークシミュレータの設計と実装（査読付）（情報処理学会研究報告マルチメディア通信と分散処理（DPS） 2004　pp.21-27）
369.	2004/09	現実世界の人物行動に即した移動モデルの検討とモバイルアドホックネットワークシミュレータへの応用（電子情報通信学会2004ソサエティ大会）
370.	2004/07	ピアツーピアアプリケーション記述のための形式モデルの提案（査読付）（マルチメディア､分散､協調とモバイル(DICOMO2004)シンポジウム）
371.	2004/07	広域ネットワークでの利用を前提とした自律分散ネットワークモニタ方式の性能評価（査読付）（マルチメディア､分散､協調とモバイル(DICOMO2004)シンポジウム）
372.	2004/04	バスアクセス方式およびバス調停方式の最適化を支援するバスシステム設計支援ツールの提案（査読付）（第17回回路とシステム軽井沢ワークショップ）
373.	2004/03	An Autonomous and Decentralized Protocol for Delay Sensitive Overlay Multicast Tree（遅延に敏感なオーバレイマルチキャストツリーのための自律分散プロトコル）（査読付）（Proceedings of the 24th IEEE International Conference on Distributed Computing Systems (ICDCS-24)）
374.	2004/03	Middleware Providing Group Communication Facility Based on Muliti-way Synchronization for Cellular Phone Applications（携帯電話アプリケーション用のマルチランデブーに基づくミドルウェア提供グループ通信機能）（査読付）（Proceedings of the 4th International Workshop on Smart Appliances and Wearable Computing）
375.	2004/01	Middleware Providing Dynamic Group Communication Facility for Cellular Phone Applications（携帯電話アプリケーション用の動的グループ通信機能を提供するミドルウェア）（査読付）（Proceedings of the 2004 IEEE International Conference on Mobile Data Management (MDM 2004)）
376.	2003/11	Emma Middleware: An Application-level Multicast Infrastructure for Multi-party Video Communication（Emmaミドルウェア：マルチパーティビデオ通信のためのアプリケーションレベルのマルチキャストインフラストラクチャ）（査読付）（Proceedings of the 15th International Conference on Parallel and Distributed Computing and Systems (PDCS 2003)）
377.	2003/11	自律的なグループ形成機構を用いた分散型ネットワークモニタの実装とその評価（情報処理学会第115回研究発表会）
378.	2003/09	A Two-stage Hierarchical Algorithm for Wavelength Assignment in WDM-based Bidirectional Manhattan Street Networks（WDMベース双方向マンハッタンストリートネットワークにおける波長割当のための二段階階層的アルゴリズム）（査読付）（Proceedings of the 11th IEEE International Conference on Networks (ICON 2003)）
379.	2003/09	Decomposing Service Definition in Predicate/Transition-Nets for Designing Distributed Systems（分散システム設計のための述語/遷移ネットにおけるサービス定義の分解）（査読付）（Proceedings of the 23rd IFIP International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2003)）
380.	2003/09	Design and Implementation of Priority Queuing Mechanism on FPGA using Concurrent Periodic EFSMs and Parametric Model Checking（並行周期EFSMとパラメトリックモデル検査を用いたFPGA上の優先待ち行列機構の設計と実装）（査読付）（Proceedings of the 13th International Conference on Field Programmable Logic and Applications (FPL 2003)）
381.	2003/09	QoS Functional Testing for Multi-media Systems（マルチメディアシステムのためのQoS機能テスト）（査読付）（Proceedings of the 23rd IFIP International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2003)）
382.	2003/08	A proposal of a two-stage heuristic algorithm for peer-to-peer multicast routing problems in multihome networks（マルチホームネットワークにおけるピアツーピアマルチキャストルーティング問題のための2段階の発見的アルゴリズムの提案）（査読付）（Proceedings of the Fifth Metaheuristics International Conference (MIC 2003)）
383.	2003/08	Design of Media Synchronization Protocols using Parametric Model Checking and Functional Testing（パラメトリックモデル検査と機能テストを用いたメディア同期プロトコルの設計）（査読付）（Proceedings of the 2003 International Workshop On Testing Real-Time and Embedded Systems (WTRTES 2003)pp.51-62）
384.	2003/07	On Designing End-user Multicast for Multiple Video Sources（複数のビデオソースに対するエンドユーザマルチキャストの設計について）（査読付）（Proceedings of the 2003 IEEE International Conference on Multimedia & Expo (ICME2003)）
385.	2003/06	Reducing the Size of Routing Tables for Large-scale Network Simulation（大規模ネットワークシミュレーションのためのルーティングテーブルサイズの縮小）（査読付）（Proceedings of 17th Workshop on Parallel and Distributed Simulation (PADS '03)）
386.	2003/05	A Receiver Coordination Protocol for the Efficient Use of Bandwidth in Distributed Multimedia Applications（分散マルチメディアアプリケーションにおける帯域幅の効率的使用のための受信機調整プロトコル）（査読付）（Proceedings of the 5th International Workshop on Multimedia Network Systems and Applications (MNSA2003)）
387.	2003/03	A Proposal of a Minimal-state Processing Search Algorithm for Isochronous Channel Reuse Problems in DQDB Networks（DQDBネットワークにおける等時性チャネル再利用問題のための最小状態処理探索アルゴリズムの提案）（査読付）（Proceedings of the 2003 International Conference on Advanced Information Networking and Applications (AINA-2003)）
388.	2003/01	A proposal of a minimal-state processing search algorithm for link scheduling problems in packet radio networks（パケット無線ネットワークにおけるリンクスケジューリング問題のための最小状態処理探索アルゴリズムの提案）（査読付）（Proceedings of the 2003 International Symposium on Applications and the Internet(SAINT-2003)）
389.	2002/11	Middleware for Synchronous Group Communication in Wireless Ad Hoc Networks（無線アドホックネットワークにおける同期グループ通信のためのミドルウェア）（査読付）（Proceedings of the International Conference on Communications and Computer Networks 2002 (CCN 2002)pp.48-53）
390.	2002/09	Design and Implementation of FPGA Circuits for High Speed Network Monitors（高速ネットワークモニタ用のFPGA回路の設計と実装）（査読付）（Proceedings of the 12th International Conference on Field Programmable Logic and Applications (FPL 2002)）
391.	2002/08	A Server Selection Algorithm for Replicated Video Multicast Based on Packet Monitoring（ケット監視に基づく複製ビデオマルチキャストのためのサーバー選択アルゴリズム）（査読付）（Proceedings of the 2002 International Conference on Parallel Processing (ICPP-2002)）
392.	2002/07	A Language for Describing Wireless Mobile Applications with Dynamic Establishment of Multi-way Synchronization Channels（多方向同期チャネルの動的確立を伴う無線モバイルアプリケーションを記述するための言語）（査読付）（Proceedings of the 11th International Conference on Formal Methods Europe (FME2002)）
393.	2002/01	A Method for Functional Testing of Media Synchronization Protocols（メディア同期プロトコルの機能テスト方法）（査読付）（Proceedings of IEEE 16th International Conference on Information Networking(ICOIN-16)）
394.	2002/01	A Proposal of a Evolution Algorithm for Channel Assignment Problems（チャネル割当問題に対する進化的アルゴリズムの提案）（査読付）（Proceedings of IEEE 16th International Conference on Information Networking (ICOIN-16)）
395.	2002/01	An Optimal Path Selection Algorithm for Static and Mobile Multicast Routing Problems（静的および移動マルチキャストルーティング問題のための最適経路選択アルゴリズム）（査読付）（Proceedings of IEEE 16th International Conference on Information Networking(ICOIN-16)）
396.	2001/10	A minimal-state processing serch algorithm for satisfiability problems（充足可能性問題のための最小状態処理探索アルゴリズム）（査読付）（Proceedings of the International Conference on Systems, Man and Cybernetics, pp. 2769-2774）
397.	2001/08	A method to generate conformance test sequences for FSM with timer system call（タイマシステムコールを用いたFSMのための適合性試験系列生成法）（査読付）（Proceedings of 21st IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, pp.301-316）
398.	2001/08	Constraint-Oriented Model for Describing Distributed Cooperative Systems and Efficient Deadlock Detection Using Symmetries（対称性を用いた分散協調システム記述と効率的なデッドロック検出のための制約指向モデル）（査読付）（Proceedings of 2nd International Conference on Software Engineering, Artificial Intelligence, Networking & Parallel/Distributed Computing pp.584-591）
399.	2001/08	Deriving Parameter Conditions for Periodic Timed Automata Satisfying Real-Time Temporal Logic Formulas（実時間時相論理式を満たす周期的時間オートマトンのためのパラメータ条件の導出）（査読付）（Proceedings of 21st IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, pp.151-166）
400.	2001/08	Perspectives in Developing Distributed Cooperative Systems（分散協調システム開発の展望）（査読付）（Proceedings of 2nd International Conference on Software Engineering, Artificial Intelligence, Networking & Parallel/Distributed Computing, pp.xi-xix (invited paper)）
401.	2001/08	Quality Requirement Coordination in Rate Adaptation of Multiple Layered Video（多階層ビデオのレート適応における品質要求調整）（査読付）（Proceedings of 2nd International Conference on Software Engineering, Artificial Intelligence, Networking & Parallel/Distributed Computing, pp. 540-547）
402.	2001/06	Formal Verification of CPU in Laboratory Work（実験室作業におけるCPUの形式的検証）（査読付）（Proceedings of 2001 International Conference on Microelectronic Systems Education, pp.32-35）
403.	2001/01	A Conformance Testing Method for Communication Protocols Modeled as Concurrent DFSMs -Treatment of Non-observable Non-determinism-（コンカレントDFSMとしてモデル化された通信プロトコルのための適合性試験方法）（査読付）（Proceedings of 15th International Conference on Information Networking (ICOIN-15), pp.155-162）
404.	2001/01	Protocol Synthesis from SMIL-Based Scenarios and Its Implementation in Distributed Environmen（SMILベースシナリオからのプロトコル合成とその分散環境への実装）（査読付）（Proceedings of 15th International Conference on Information Networking (ICOIN-15), pp.163-170）
405.	2000/10	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)）
406.	2000/10	Hardware Implementation of Concurrent Periodic EFSMs（並行周期EFSMのハードウェア実装）（査読付）（Proceedings of Joint International Conference on 13th Formal Description Techniques and 20th Protocol Specification, Testing, and Verification (FORTE/PSTV2000)）
407.	2000/09	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）
408.	2000/07	A greedy digital neural-network algorithm for subgraph isomorphism problems（部分グラフ同型問題のためのグリーディなデジタルニューラルネットワークアルゴリズム）（査読付）（World Multiconference on Systemics, Cybernetics, and Informatics, pp. 546-551）
409.	2000/07	A greedy-neural combined discrete optimization algorithm for triangle and Kn-subgraph partition problem（三角形とKn部分グラフ分割問題のためのグリーディな神経結合離散最適化アルゴリズム）（査読付）（World Multiconference on Systemics, Cybernetics, and Informatics, pp. 557-562）
410.	2000/07	Extension of SMIL with QoS Control and its Implementaion（QoS制御によるSMILの拡張とその実装）（査読付）（Proceedings of 2000 IEEE International Conference on Multimedia and Expo (ICME2000)）
411.	2000/06	Hardware Implementation of Communication Protocols modeled by Concurrent EFSMs with Multi-way Synchronization（マルチランデブーを用いた並行EFSMによってモデル化された通信プロトコルのハードウェア実装）（査読付）（Proceedings of the 37th ACM/IEEE Design Automation Conference (DAC-2000), pp. 762-767）
412.	2000/06	Integration of QoS Guarantees into SMIL and its Flexible Implementation（SMILとその柔軟な実装へのQoS保証の統合）（査読付）（Proceedings of Eighth International Workshop on Quality of Service (IWQoS 2000)）
413.	2000/06	Protocol Re-synthesis Based on Extended Petri Nets（拡張ペトリネットに基づく資源の最適割当によるプロトコル合成と再合成）（査読付）（Proceedings of International Workshop on Software Engineering and Petri Nets (SEPN-2000)pp.164-166）
414.	2000/05	A Petri Net Based Method for Deriving Distributed Specification with Optimal Allocation of Resources（資源の最適割当をされた分散仕様を自動導出するためのペトリネットベースの合成手法）（査読付）（Proceedings of ASIC International Conference on Software Engineering Applied to Networking and Parallel/ Distributed Computing (SNPD'00)）
415.	1999/11	A proposal of a two-stage discrete optimization method for the maximum clique problem（最大クリーク問題のための2段階離散最適化手法の提案）（査読付）（International Symposium on Nonlinear Theory and Its Applications,pp.163-166）
416.	1999/11	Receiver-Cooperative Bandwidth Management for Layered Multicast（階層型マルチキャストにおける受信側協調帯域管理）（査読付）（Proceedings of the 1999 IEEE International Conference on Network Protocols (ICNP-99)）
417.	1999/09	Generating test cases for a timed I/O automaton model（時間制約付入出力オートマトンモデルのためのテストケースの生成）（査読付）（Proceedings of the Twelfth IFIP Workshop on Testing of Communicating Systems (IWTCS'99),pp.197-214）
418.	1999/09	Specification of Real-time Systems Using a Timed Automata Model with Shared Variables and Verification of Partial-deadlock Freeness（共有変数を用いた時限オートマトンモデルを用いた実時間システムの仕様化とパーシャルデッドロックフリーネスの検証）（査読付）（International Workshop on Multimedia Network Systems (MMNS'99),pp. 576-581）
419.	1999/07	A gradual neural network approach for broadcast scheduling in packet radio networks（パケット無線ネットワークにおけるブロードキャストスケジューリングのための段階的ニューラルネットワークアプローチ）（査読付）（IEEE International Joint Conference on Neural Networks, pp.3952-3957）
420.	1999/01	A decision algorithm for prenex normal form rational Presburger sentences by means of combinatorial geometry（組合せ幾何学に基づく前置標準形有理数Presburger文のための決定アルゴリズム）（査読付）（Proceedings of the 2nd Conference of the Centre for Discrete Mathematics and Theoretical Computer Science and the 5th Australasian Theory Symposium (DMTCS'99+CATS'99), pp.344-359）
421.	1999/01	Formal Design Verification for Correctness of Pipelined Microprocessors with Out-of-order Instruction Execution（アウトオブオーダー命令実行によるパイプラインマイクロプロセッサの正当性の形式的設計検証）（査読付）（Proceedings of 1998 Asia and South Pacific Design Automation Conference (ASP-DAC '98), pp.177-180）
422.	1998/11	Hardware synthesis from protocol specifications in LOTOS（LOTOSにおけるプロトコル仕様からのハードウェア合成）（査読付）（Proceedings of Joint International Conference on 11th Formal Description Techniques and 18th Protocol Specification, Testing, and Verification (FORTE/PSTV'98)）
423.	1998/10	Design and Implementation of an efficient I/O Method for a Real-timeUser Level Thread Library（実時間ユーザレベルスレッドライブラリのための効率的な入出力方法の設計と実装）（査読付）（Proceedings of IEEE 5th International Workshop on Real-Time Computing Systems and Applications (RTCSA'98)）
424.	1998/10	Protocol Synthesis from Context-Free Processes using Event Structures（イベント構造を用いた文脈自由プロセスからのプロトコル合成）（査読付）（Proceedings of IEEE 5th International Workshop on Real-Time Computing Systems and Applications (RTCSA'98), pp.173-180）
425.	1998/10	Resource Management for Quality of Service Guarantees in Multi-party Multimedia Application（マルチパーティマルチメディアアプリケーションにおけるサービス品質保証のためのリソース管理）（査読付）（Proceedings of the 1998 IEEE International Conference on Network Protocols (ICNP-98)）
426.	1997/12	Protocol Synthesis from Time Petri Net Based Service Specifications（時間ペトリネットベースのサービス仕様からのプロトコル合成）（査読付）（1997 International Conference on Parallel and Distributed Systems (ICPADS'97)）
427.	1997/11	Implementation of Distributed Systems described with LOTOS Multi-rendezvous on Bus Topology Networks（バストポロジーネットワーク上でのLOTOSマルチランデブを用いた分散システムの実装）（査読付）（Proceedings of Joint International Conference on 10th Formal Description Techniques and 17th Protocol Specification, Testing, and Verification (FORTE/PSTV'97)）
428.	1997/09	A Conformance Testing for Communication Protocols Modeled as A Set of DFSMs with Common Inputs（共通入力を持つDFSMの集合としてモデル化された通信プロトコルの適合性テスト）（査読付）（Proceedings of the Tenth IFIP Workshop on Testing of Communicating Systems(IWTCS'97)）
429.	1996/10	Time-Action Alternating Model for Timed LOTOS and its Symbolic Verification of Bisimulation Equivalence（時間制約付LOTOSのための時間-アクション交互モデルとその双模倣等価性の記号的検証）（査読付）（Proceedings of Joint International Conference on 9th Formal Description Techniques and 16th Protocol Specification, Testing and Verification (FORTE/PSTV'96)）
430.	1995/11	Protocol Synthesis from Timed and Structured Specifications（時間付構造化仕様からのプロトコル合成）（査読付）（Proceedings of the 1995 IEEE International Conference on Network Protocols (ICNP-95)）
431.	1995/11	Protocol Visualization using LOTOS Multi-Rendezvous Mechanism（LOTOSのマルチランデブーメカニズムを用いたプロトコルの可視化）（査読付）（Proceedings of the 1995 IEEE International Conference on Network Protocols (ICNP-95)）
432.	1995/10	A LOTOS Compiler Generating Multi-threaded Object Codes（マルチスレッドオブジェクトコードを生成するLOTOSコンパイラ）（査読付）（Proceedings of the 8th International Conference on Formal Description Techniques (FORTE'95)）
433.	1995/10	Verification of Liveness Property for Communicating FSM's with Conditional Transitions depending on State Visiting Numbers（状態の訪問回数に応じた条件付き遷移を伴う通信FSMのための進行性の検証）（査読付）（Proceedings of the 8th International Conference on Formal Description Techniques (FORTE'95)）
434.	1995/09	Handling Redundant and Additional States in Protocol Testing（プロトコルテストにおける冗長な付加状態の取り扱い）（査読付）（Proceedings of the Eighth IFIP Workshop on Protocol Test Systems (IWPTS'95)）
435.	1995/05	Synthesis of Protocol Entities' Specifications from Service Specifications in a Petri Net Model with Registers（レジスタを持つPetriネットモデルにおけるサービス仕様からのプロトコルエンティティ仕様の合成）（査読付）（Proceedings of the 15th IEEE International Conference on Distributed Computing Systems (ICDCS-15)）
436.	1994/11	Automatic Generation of Extended UIO Sequences for Communication Protocols in an EFSM Model（EFSMモデルにおける通信プロトコルのための拡張UIOシーケンスの自動生成）（査読付）（Proceedings of the Seventh IFIP Workshop on Protocol Test Systems (IWPTS'94)）
437.	1994/09	Automatic Correctness Proof of the Implementation of Synchronous Sequential Circuits Using Algebraic Approach（代数的手法を用いた同期式順序回路の実装の自動正当性証明）（査読付）（Proceedings of the Second International Conference on Theorem Provers in Circuit Design (TPCD'94)(バートヘレンアルプ:ドイツ)）
438.	1994/06	Hardware Synthesis from a Restricted Class of LOTOS Expressions（制限されたクラスのLOTOS式からのハードウェア合成）（査読付）（Proceedings of the 14th International Symposium on Protocol Specification, Testing, and Verification (PSTV-XIV)）
439.	1994/05	Software Process Description using LOTOS and Its Enaction（LOTOSを用いたソフトウェアプロセスの記述とその実行）（査読付）（Proceedings of the 16th International Conference on Software Engineering (ICSE-16)）
440.	1993/10	LOTOS Enhancement to Specify Time Constraints among Non-adjacent Actions using 1st-order Logic（ファースト・オーダー・ロジックを用いた非隣接アクション間の時間制約を記述するためのLOTOS言語の拡張）（査読付）（Proceedings of the 6th International Conference on Formal Description Techniques (FORTE'93)）
441.	1993/05	Deriving Protocol Specifications from Service Specifications in Extended FSM Models（拡張有限状態機械モデルにおけるサービス仕様からプロトコル仕様の導出）（査読付）（Proceedings of the 13th IEEE International Conference on Distributed Computing Systems (ICDCS-13)）
442.	1993/03	Deriving Protocol Specifications from Service Specifications Written in LOTOS（LOTOSで書かれたサービス仕様からプロトコル仕様の自動生成）（査読付）（Proceedings of the 12th International IEEE Phoenix Conference on Computers and Communications (IPCCC-93)）
443.	1992/09	A Test System for a Restricted Class of LOTOS Expressions with Data Parameters（データパラメータを持つLOTOSのサブクラスに対するテストシステム）（査読付）（Proceedings of the Fifth IFIP Workshop on Protocol Test Systems (IWPTS'92)）
444.	1992/09	VTM : A Graph Editor for Large Trees（VTM：大規模ツリーのためのグラフエディタ）（査読付）（Proceedings of the IFIP 12th World Computer Congress）
445.	1991/04	An Algebraic Method for Verifying Progress Property of Communication Protocols（通信プロトコルの進行性を検証するための代数的手法）（査読付）（World Scientific Series in Computer Science, Vol.31pp.39-59）
446.	1991/01	A System for the Refinements of Algebraic Specifications and thier Efficient Executions（代数的仕様記述とその効率的な実行のためのシステム）（査読付）（Proceedings of the 24-th Hawaii International Conference on System Sciences (HICSS-24)）
447.	1989/06	Automated Verification of Equivalence of Protocol Machines（プロトコルマシンの等価性の自動検証）（査読付）（Proceedings of the Ninth International Symposium on Protocol Specification (PSTV-IX), Testing, and Verification, pp.235-246）
448.	1985/11	Automated Verification of Token Ring LAN Protocols（トークンリングLANプロトコルの自動検証）（査読付）（Proceedings of the First International Conference on Supercomputing Systems, pp.361-368）
5件表示
全件表示(448件)

■ 講師・講演

1.	2022/07/28	Society 5.0とウェルビーイング
2.	2022/02/05	ICT技術を活用した社会的課題の解決に向けて-持続可能な開発目標への貢献-（大阪）
3.	2021/12/14	Society 5.0: Its Aim and Construction of Future Super Smart Society〜 How can we create sustainable IoT device networks ? 〜（Dubai）
4.	2021/11/25	Society 5.0が目指す未来社会~ DXが創る快適空間 ~
5.	2021/11/17	A New Problem Setting for Mobile Robots based on Backscatter-based Communication and Sensing
6.	2021/10/27	Society 5.0: Its Aim and Construction of Future Smart City
7.	2021/09/23	Society 5.0~ Research aimed at disease prediction, prevention, and early detection from daily activity data ~（ベニス）
8.	2021/05/31	Society 5.0が目指す未来社会（京都）
9.	2020/01/23	Humans in the CPS Loop: ICT Research for Smart & Connected Communities/Health（Tamilnadu, India）
10.	2020/01/11	Society5.0が描く未来（大阪）
11.	2019/09/19	IIoT4: Leading for Industrial IoT Revolution（マニラ（フィリピン））
12.	2019/06/17	Society 5.0: CPS Research for New Smart Society using AI, Big Data and IoT（オーフス（デンマーク））
13.	2017/05/23	医療・健康におけるソーシャルオープンデータの活用と課題（日本学術会議6階会議室）
14.	2017/05	IoT based Social CPS Research for Smart Cities Resilient to Disasters（香港（中国））
15.	2017/03	IoT based Social CPS Research for Smart Cities Resilient to Disasters（パッタヤー（タイ））
5件表示
全件表示(15件)

■ 科研費・外部資金等

1.	2021/10～2025/03	JST-NSF SICORP：パンデミックによる社会的孤立のアクティブセンシングと個別化介入国際共同研究
2.	2019/06～	受動型IoTデバイス網を用いたヒト・モノの状況認識技術の創出基盤研究（S)
3.	2018/10～2023/03	文部科学省：Society 5.0 実現化研究拠点支援事業ライフデザイン・イノベーション研究拠点国内共同研究
4.	2018/06～	アンビエントバックスキャッター通信を用いたバッテリレスセンシングシステムの開発挑戦的研究(開拓)
5.	2016/04～2021/03	IoTの将来環境を創るセキュアで省電力な網内自己学習型ネットワーキング技術競争的資金等の外部資金による研究
6.	2016/06～2018/03	IoTベースシステムの性能解析・設計検証手法の創出挑戦的萌芽研究
7.	2014/04～2016/03	各種交通情報サービスの提供のためのプローブカー情報の効率的収集とプライバシー保護挑戦的萌芽研究
8.	2014/04～2015/03	安全・安心な都市交通基盤構築を目指した次世代ITS通信網の開発基盤研究（A)
9.	2014/05～2019/03	人・車両・異種インフラのマイクロモジュール連携による超分散型時空間情報集約機構基盤研究（S)
10.	2012/04～2014/03	ＬＥＤ通信の特性を考慮した車車間通信プロトコルの開発挑戦的萌芽研究
11.	2011/04～2014/03	実空間・サイバー空間連携型ネットワーク・エミュレーション技術の開発基盤研究（C)
12.	2010/04～2012/03	測路レーダーとGPSを併用した走行車両群のリアルタイム挙動把握挑戦的萌芽研究
13.	2009/04～2011/03	都市空間上での大規模モバイルワイヤレスネットワークにおける効率的な情報共有方式特定領域研究｢情報爆発時代に向けた新しいIT基盤技術の研究｣
14.	2008/04～2011/03	大規模ユビキタスネットワークのリアルイム・シミュレョン技術基盤研究（A)
15.	2007/07～2013/03	災害時救命救急支援を目指した人間情報センシングシステム競争的資金等の外部資金による研究
16.	2007/04～2009/03	少数の基準位置情報をモバイルセンサー間で補完する位置推定技法に関する研究萌芽研究
17.	2006/04～2007/03	都市空間上での大規模モバイルワイヤレスネットワークにおける効率的な情報共有方式特定領域研究
18.	2004/04～2006/03	車々間での自律的アドホック通信に基づく行き先経路の道路情報取得プロトコルの開発萌芽研究
19.	2004/04～2008/03	マルチホームネットワーク環境下でのピアツーピア・マルチキャスト通信に関する研究基盤研究（C)
20.	2004/04～2006/03	有線・無線混在型ネットワーク上での分散協調アプリケーションの設計開発に関する研究特定領域研究
21.	2003/04～2006/03	実時間制約を含ネットワークシステムのHW/SWコデザインに関する研究基盤研究（B)
22.	2003/04～2004/03	有線・無線混在型ネットワーク上での分散協調アプリケーションの設計開発に関する研究特定領域研究
23.	2001/04～2003/03	顔面3次元形状計測データからの特徴点全自動抽出法の検討萌芽研究
24.	2001/04～2003/03	ネットワークモニターのハードウェア合成に関する研究基盤研究（C)
25.	2001/04～2005/03	ハードウェアの高位設計・検証支援システム基盤研究（B)
26.	1999/04～2001/03	並行動作順序回路システムの設計と検証に関する研究基盤研究（C)
27.	1997/04～1999/03	通信プロトコルの形式仕様からのハードウェア回路合成基盤研究（C)
28.	1997/04～2000/03	可変構造アーキテクチャによるニューラルネットワーク実現法の研究基盤研究（C)
29.	1997/04～1999/03	実時間マルチランデブ機構を持つ時間制約付きLOTOSプログラムの分散実行系の構築基盤研究(C)
30.	1996/04～1997/03	マルチランデブを含むLOTOSプログラムの分散実行系の構築基盤研究（A)
31.	1995/04～1996/03	複数の制御部をもつ同期式順序回路の機能検証に関する研究一般研究（C)
32.	1995/04～1996/03	リアルタイム分散協調システム設計のためのプロトコル合成に関する研究一般研究（C)
33.	1995/04～1998/03	ネットワーク分散処理型マルチメディア口腔外科疾患診療支援システムの開発基盤研究（A)
34.	1994/04～1995/03	ペトリネット型実行制御部をもつ代数的仕様記述の検証と分散実行系一般研究（C)
35.	1994/04～1995/03	通信プロトコルの相互接続試験における試験系列の自動生成に関する研究一般研究（C)
36.	1993/04～1994/03	時間制約を考慮した通信プロトコルの等価性検証アルゴリズムの開発に関する研究奨励研究（A）
37.	1993/04～1994/03	代数的手法を用いたプログラムの階層的設計と開発環境に関する研究一般研究（C)
38.	1993/04～1995/03	ASIC設計の上流工程設計支援システムの開発試験研究（B)
39.	1991/04～1992/03	通信システムの適合性試験における試験系列の自動生成に関する研究奨励研究（A）
40.	1990/04～1991/03	ハードウェアの仕様記述とマイクロプログラムを用いた実現への段階的詳細化及び検証一般研究（C）
41.	1989/04～1990/03	計算機ネットワーク全体の要求仕様から通信プログラムを自動生成する方法に関する研究奨励研究（A）
42.	1989/04～1990/03	代数的手法によるプログラムの正しさ証明システムの作成に関する研究一般研究（C）
43.	1988/04～1989/03	計算機ネットワークにおける通信制御装置の適合性検証法に関する研究奨励研究（A）
44.	1988/04～1989/03	OSIセション層の代数的仕様記述から一般研究（C）
45.	1988/04～1989/03	代数的手法を用いたハードウェアの仕様記述と実現に関する研究一般研究（C）
46.	1987/04～1988/03	通信プロトコルにおけるエラーリカバリ法の記述と検証に関する研究一般研究（C）
47.	1985/04～1987/03	ソフトウェア作成時のエラー意味分析と高信頼化技法に関する研究一般研究（C）
48.	2019/04～2019/06	可搬型エッジコンピューティング情報通信基盤の構築に関する研究基盤研究（A)
5件表示
全件表示(48件)