JA

Profile

Research

Social

Other

Teruo Higashino

東野 輝夫

Graduate School of Information Science and Technology Department of Information Networking, Specially Appointed Professor

keyword Smart and Connected Communities,Computing for Healthcare,Edge Computing,Mobile/Ubiquitous Computing,Cyber Physical Systems,ICT for Disaster Mitigation,ITS (Intelligent Transport Systems)

Education

  • 1981 - 1984, Osaka University, Graduate School of Engineering Science, Ph.D
  • 1979 - 1981, Osaka University, Graduate School of Engineering Science
  • 1975 - 1979, Osaka University, Faculty of Engineering Science

Research History

  • 2002 - Present, Osaka University, Graduate School of Information Science and Technology, Professor
  • 1999 - 2002, Osaka University, Graduate School of Engineering Sciences, Professor
  • 1991 - 1999, Osaka University, Faculty of Engineering Science,, Associate Professor
  • 1989 - 1991, Osaka University, Faculty of Engineering Science, Lecturer
  • 1987 - 1989, Osaka University, Faculty of Engineering Science, Assistant Professor
  • 1984 - 1989, Osaka University, Education Center for Information Prosessing, Assistant Professor

Research Areas

  • Informatics, Biological, health, and medical informatics
  • Manufacturing technology (mechanical, electrical/electronic, chemical engineering), Communication and network engineering
  • Informatics, Information networks
  • Informatics, Computer systems
  • Informatics, Software
  • Informatics, Information theory

Professional Memberships

  • IEEE
  • ACM(Association for Computing Machinery)
  • 情報処理学会
  • 電子情報通信学会
  • Japan Society for Software Science and Technology

Papers

  • Smartphone-based Risky Traffic Situation Detection and Classification, Ryota Akikawa,Akira Uchiyama,Akihito Hiromori,Hirozumi Yamaguchi,Teruo Higashino,Masaki Suzuki,Yasuhiko Hiehata,Takeshi Kitahara, in Proceedings of 2020 IEEE International Conference on Pervasive Computing and Communications Workshops (PerCom Workshops), 2020/03
  • Towards People Counting Using Wi-Fi CSI of Mobile Devices, Masahide Mizutani,Akira Uchiyama,Tomoki Murakami,Hirantha Abeysekera,Teruo Higashino, in Proceedings of 2020 IEEE International Conference on Pervasive Computing and Communications Workshops (PerCom Workshops), 2020/03
  • Energy Aware Simulation and Testing of Smart-Spaces, Khaled El-Fakih,Teruhiro Mizumoto,Keiichi Yasumoto,Teruo Higashino, Information and Software Technology, Vol. 118, 2020/02
  • FlowScan: Estimating People Flows on Sidewalks Using Dashboard Cameras Based on Deep Learning, Yusuke Hara,Ryosuke Hasegawa,Akira Uchiyama,Takaaki Umedu,Teruo Higashino, Journal of Information Processing, Vol. 28, p. 55-64, 2020/01
  • Localization of heating, ventilation, and air conditioning by walking in smart building, Nathavuth Kitbutrawat,Chuanhsin Chen,Shugo Kajita,Hirozumi Yamaguchi,Teruo Higashino, Sensors and Materials, Vol. 32, No. 1, p. 59-78, 2020
  • Preliminary Investigation on Band Tightness Estimation of Wrist-Worn Devices Using Inertial Sensors, Masayuki Hayashi,Hiroki Yoshikawa,Akira Uchiyama,Teruo Higashino, in Proceedings of 8th EAI International Conference on Wireless Mobile Communication and Healthcare (MobiHealth), 2019/11
  • Maneuver Classification in Wheelchair Basketball Using Inertial Sensors, Ryosuke Hasegawa,Akira Uchiyama,Teruo Higashino, in Proceedings of 12th International Conference on Mobile Computing and Ubiquitous Networking (ICMU), p. 1-6, 2019/11
  • Combining a Thermal Camera and a Wristband Sensor for Thermal Comfort Estimation, p. 238-241, 2019/09
  • ThermalWrist: Smartphone Thermal Camera Correction Using a Wristband Sensor, Vol. 19, No. 18, 2019/09
  • 自律型生体データ収集における腕装着型センサの信頼性推定法の検討, 2019/07
  • 「ひきこもり」防止を目指した学生生活支援システムの提案, 2019/07
  • 行動データの集約解析による交通安全支援プラットフォームの設計開発, 2019/07
  • モバイル端末のWi-Fiチャネル状態情報による混雑推定法の提案, 2019/07
  • 車いすバスケットボールにおける慣性センサを用いた漕ぎ検出法の検討, 2019/05
  • Development of Bus Passenger Counter Using LiDAR Sensors, 山田 遊馬,廣森 聡仁,山口 弘純,東野 輝夫, 情報処理学会論文誌, Vol. 60, No. 3, p. 934-944, 2019/03/15
  • Dynamic Offset Correction for Smartphone Thermal Cameras Using a Wristband Sensor, p. 165-170, 2019/03
  • Enabling Low Cost Elderly Monitoring for Connected Communities in Depopulated Area., Yoshiki Honda,Hirozumi Yamaguchi,Teruo Higashino, p. 401-408, 2019
  • Automatic Deadline-Oriented Sampling Method for Coarse-Grained Stream Processing., Sunyanan Choochotkaew,Hirozumi Yamaguchi,Teruo Higashino, p. 790-795, 2019
  • A Study on Behavior of Autonomous Vehicles Cooperating with Manually-Driven Vehicles., Yusuke Nishimura,Atsushi Fujita,Akihito Hiromori,Hirozumi Yamaguchi,Teruo Higashino,Akira Suwa,Hirofumi Urayama,Susumu Takeshima,Mineo Takai, p. 212-219, 2019
  • VR Application Framework for Collecting Sensor Data in Risky Situations., Tatsuya Amano,Ryota Akikawa,Akira Uchiyama,Akihito Hiromori,Hirozumi Yamaguchi,Teruo Higashino,Masaki Suzuki,Yasuhiko Hiehata,Takeshi Kitahara, p. 31-32, 2019
  • Occlusion-based trajectory estimation for pedestrians using LiDAR sensors., Takayuki Saki,Akihito Hiromori,Hirozumi Yamaguchi,Teruo Higashino, p. 400-407, 2019
  • Context Recognition of Humans and Objects by Distributed Zero-Energy IoT Devices., Teruo Higashino,Akira Uchiyama,Shunsuke Saruwatari,Hirozumi Yamaguchi,Takashi Watanabe, p. 1787-1796, 2019
  • Automatic Localization of Passive Infra-Red Binary Sensors in Home: from Dense to Scattered Network., Nathavuth Kitbutrawat,François Portet,Hirozumi Yamaguchi,Teruo Higashino, p. 848-853, 2019
  • EasyTrack: Zero-Calibration Smart-Home Tracking System., Nathavuth Kitbutrawat,Hirozumi Yamaguchi,Teruo Higashino, JIP, Vol. 27, p. 445-455, 2019
  • A Self-Organized Task Distribution Framework for Module-Based Event Stream Processing., Sunyanan Choochotkaew,Hirozumi Yamaguchi,Teruo Higashino, IEEE Access, Vol. 7, p. 6493-6509, 2019
  • CrowdMeter: Gauging congestion level in railway stations using smartphones., Moustafa Elhamshary,Moustafa Youssef,Akira Uchiyama,Akihito Hiromori,Hirozumi Yamaguchi,Teruo Higashino, Pervasive Mob. Comput., Vol. 58, 2019
  • Ground object recognition and segmentation from aerial image-based 3D point cloud., Katsuya Ogura,Yuma Yamada,Shugo Kajita,Hirozumi Yamaguchi,Teruo Higashino,Mineo Takai, Computational Intelligence, Vol. 35, No. 3, p. 625-642, 2019
  • Daily Activity Recognition based on Markov Logic Network for Elderly Monitoring., Yoshiki Honda,Hirozumi Yamaguchi,Teruo Higashino, Proceedings of IEEE Consumer Communications & Networking Conference, p. 1-6, 2019
  • 腕装着型センサを基準とした簡易型サーモグラフィ補正法の提案, 2018/11
  • スマートフォンを用いた乗客行動に基づく電車内混雑推定法の提案, 2018/11
  • Sidewalk-level People Flow Estimation Using Dashboard Cameras Based on Deep Learning, 2018/10
  • An Energy Aware Testing Framework for Smart-Spaces, Teruhiro Mizumoto,Khaled El-Fakih,Keiichi Yasumoto,Teruo Higashino, The 30th IFIP International Conference on Testing Software and Systems (ICTSS2018), p. 85-101, 2018/10
  • FluidMeter: Gauging the Human Daily Fluid Intake Using Smartwatches, Vol. 2, No. 3, 2018/09
  • A Study on Wi-Fi RSSI Map Construction Based on Crowdsourcing and Simulations, 天野 辰哉,梶田 宗吾,山口 弘純,東野 輝夫,高井 峰生, 情報処理学会論文誌, Vol. 59, No. 2, p. 450-461, 2018/02/15
  • Wayfinding Behavior Detection by Smartphone., Ryosuke Narimoto,Shugo Kajita,Hirozumi Yamaguchi,Teruo Higashino, Proceedings of the 32nd IEEE International Conference on Advanced Information Networking and Applications, p. 488-495, 2018
  • 屋内空間における測域センサ群の相対位置推定手法の提案, Hikaru Yoshisada,Yuma Yamada,Akihito Hiromori,Hirozumi Yamaguchi,Teruo Higashino, IPSJ Transactions, Vol. 59, No. 8, 2018
  • Self-adaptive Resource Allocation for Continuous Task Offloading in Pervasive Computing, Sunyanan Choochotkaew,Hirozumi Yamaguchi,Teruo Higashino,Dominik Sch?fer,Janick Edinger,Christian Becker, Proceedings of the 2018 International Workshop on Pervasive Flow of Things, 2018
  • MicroDeep: In-network Deep Learning by Micro-sensor Coordination for Pervasive Computing, Yuta Fukushima,Daiki Miura,Takashi Hamatani,Hirozumi Yamaguchi,Teruo Higashino, Proceedings of the 4th IEEE International Conference on Smart Computing, 2018
  • Indoor Map Generation from Multiple LIDAR Point Clouds, Hikaru Yoshisada,Yuma Yamada,Akihito Hiromori,Hirozumi Yamaguchi,Teruo Higashino, Proceedings of the 4th IEEE International Conference on Smart Computing, 2018
  • Location Identification of BLE-Embedded HVACs for Smart Building Management, Nathavuth Kitbutrawat,Hirozumi Yamaguchi,Teruo Higashino, Proceedings of the 14th International Conference on Intelligent Environments, 2018
  • Re-Thinking: Design and Development of Mobility Aware Applications in Smart and Connected Communities, Teruo Higashino,Hirozumi Yamaguchi,Akihito Hiromori,Akira Uchiyama,Takaaki Umedu, Proceedings of 38th IEEE International Conference on Distributed Computing Systems, 2018
  • A Motivation-based Partnership Decision Model on Event-Stream Knowledge in Real-time Business, Sunyanan Choochotkaew,Hirozumi Yamaguchi,Teruo Higashino, Proceedings of the 11th International Conference on Mobile Computing and Ubiquitous Networking 2018, 2018
  • BALANCE: A Robust Routing Protocol in Self-Organized Civilian DTN, Sunyanan Choochotkaew,Hirozumi Yamaguchi,Teruo Higashino, Proceedings of the 2018 IEEE 14th International Conference on Wireless and Mobile Computing, Networking and Communications, 2018
  • Smartphone Applications Testbed Using Virtual Reality, Tatsuya Amano,Shugo Kajita,Hirozumi Yamaguchi,Teruo Higashino,Mineo Takai, Proceedings of the 15th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services, 2018
  • A human tracking and sensing platform for enabling smart city applications., Hirozumi Yamaguchi,Akihito Hiromori,Teruo Higashino, Proceedings of the Workshop Program of the 19th International Conference on Distributed Computing and Networking, Varanasi, India, January 04-07, 2018, ACM, 2018
  • A holding access-point assignment algorithm for IEEE802.11 wireless local-area networks., Shigeto Tajima,Nobuo Funabiki,Teruo Higashino, IJSSC, Vol. 8, No. 1, p. 50-58, 2018
  • On-line Core Temperature Estimation Using Wearable Sensors During Sport with Variable Exercise Intensity, 濱谷 尚志,内山 彰,東野 輝夫, 情報処理学会論文誌, Vol. 58, No. 11, p. 1818-1831, 2017/11/15
  • Vehicle Proximity Awareness by Inter-Vehicle Communication for Surface Mine Operation Safety, Yusuke Nishimura,Tatsuaki Osafune,Seiya Kato,Akihito Hiromori,Hirozumi Yamaguchi,Teruo Higashino, IEEE Vehicular Technology Conference, Institute of Electrical and Electronics Engineers Inc., Vol. 2017-, 2017/11/14
  • Analysis of Accident Risks from Driving Behaviors, Tatsuaki Osafune,Toshimitsu Takahashi,Noboru Kiyama,Tsuneo Sobue,Hirozumi Yamaguchi,Teruo Higashino, International Journal of Intelligent Transportation Systems Research, Springer New York LLC, Vol. 15, No. 3, p. 192-202, 2017/09/01
  • Localization of binary motion sensors in house, Nathavuth Kitbutrawat,Hirozumi Yamaguchi,Teruo Higashino, 2017 13th International Wireless Communications and Mobile Computing Conference, IWCMC 2017, Institute of Electrical and Electronics Engineers Inc., p. 1132-1137, 2017/07/19
  • Message from the Workshops Chairs, Joao E. Ferreira,Teruo Higashino, Proceedings - IEEE 37th International Conference on Distributed Computing Systems Workshops, ICDCSW 2017, Institute of Electrical and Electronics Engineers Inc., 2017/07/13
  • 37th IEEE International Conference on Distributed Computing Systems Workshops, ICDCS Workshops 2017, Atlanta, GA, USA, June 5-8, 2017, ICDCS Workshops 2017, IEEE Computer Society, 2017
  • Vehicle Proximity Awareness by Inter-Vehicle Communication for Surface Mine Operation Safety., Yusuke Nishimura,Tatsuaki Osafune,Seiya Kato,Akihito Hiromori,Hirozumi Yamaguchi,Teruo Higashino, 85th IEEE Vehicular Technology Conference, VTC Spring 2017, Sydney, Australia, June 4-7, 2017, IEEE, p. 1-7, 2017
  • HeatWatch: Preventing Heatstroke Using a Smart Watch, Takashi Hamatani,Akira Uchiyama,Teruo Higashino, 2017 IEEE INTERNATIONAL CONFERENCE ON PERVASIVE COMPUTING AND COMMUNICATIONS WORKSHOPS (PERCOM WORKSHOPS), IEEE, p. 661-666, 2017
  • Crowd and Event Detection by Fusion of Camera Images and Micro Blogs, Sohei Kojima,Akira Uchiyama,Masumi Shirakawa,Akihito Hiromori,Hirozumi Yamaguchi,Teruo Higashino, 2017 IEEE INTERNATIONAL CONFERENCE ON PERVASIVE COMPUTING AND COMMUNICATIONS WORKSHOPS (PERCOM WORKSHOPS), IEEE, p. 213-218, 2017
  • A crowdsourcing and simulation based approach for fast and accurate Wi-Fi radio map construction in urban environment., Tatsuya Amano,Shugo Kajita,Hirozumi Yamaguchi,Teruo Higashino,Mineo Takai, 2017 IFIP Networking Conference, IFIP Networking 2017 and Workshops, Stockholm, Sweden, June 12-16, 2017, IEEE, p. 1-9, 2017
  • Poster: Smartwatch Knows How Much You Drink., Takashi Hamatani,Moustafa Elhamshary,Akira Uchiyama,Teruo Higashino, Proceedings of the 15th Annual International Conference on Mobile Systems, Applications, and Services, MobiSys'17, Niagara Falls, NY, USA, June 19-23, 2017, ACM, 2017
  • Play recognition using spatio-temporal relationship of football tracking data., Tomoki Irnai,Akira Uchiyama,Takuya Magome,Teruo Higashino, Tenth International Conference on Mobile Computing and Ubiquitous Network, ICMU 2017, Toyama, Japan, October 3-5, 2017, IEEE, p. 1-2, 2017
  • Edge Computing and IoT Based Research for Building Safe Smart Cities Resistant to Disasters, Teruo Higashino,Hirozumi Yamaguchi,Akihito Hiromori,Akira Uchiyama,Keiichi Yasumoto, 2017 IEEE 37TH INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS (ICDCS 2017), IEEE COMPUTER SOC, p. 1729-1737, 2017
  • EdgeCEP: Fully-Distributed Complex Event Processing on IoT Edges., Sunyanan Choochotkaew,Hirozumi Yamaguchi,Teruo Higashino,Megumi Shibuya,Teruyuki Hasegawa, 13th International Conference on Distributed Computing in Sensor Systems, DCOSS 2017, Ottawa, ON, Canada, June 5-7, 2017, IEEE, p. 121-129, 2017
  • Two-Tier VoI Prioritization System on Requirement-Based Data Streaming toward IoT, Sunyanan Choochotkaew,Hirozumi Yamaguchi,Teruo Higashino, MOBILE INFORMATION SYSTEMS, HINDAWI LTD, Vol. 2017, 2017
  • A method for identifying laser-tracked vehicles using velocity data from V2V messages, Atsushi Fujita,Hirozumi Yamaguchi,Teruo Higashino,Mineo Takai, ACM International Conference Proceeding Series, Association for Computing Machinery, Vol. 28-, p. 276-277, 2016/11/28
  • Wi-Fi channel selection based on urban interference measurement, Shugo Kajita,Tatsuya Amano,Hirozumi Yamaguchi,Teruo Higashino,Mineo Takai, ACM International Conference Proceeding Series, Association for Computing Machinery, Vol. 28-, p. 143-150, 2016/11/28
  • Message from the ICDCS 2016 General Co-Chairs, Teruo Higashino,Tadanori Mizuno,Wu-Chi Feng, Proceedings - International Conference on Distributed Computing Systems, Institute of Electrical and Electronics Engineers Inc., Vol. 2016-, 2016/08/08
  • Transit label: A crowd-sensing system for automatic labeling of transit stations semantics, Moustafa Elhamshary,Moustafa Youssef,Akira Uchiyama,Hirozumi Yamaguchi,Teruo Higashino, MobiSys 2016 - Proceedings of the 14th Annual International Conference on Mobile Systems, Applications, and Services, Association for Computing Machinery, Inc, p. 193-206, 2016/06/20
  • Trajectory identification based on spatio-temporal proximity patterns between mobile phones, Takamasa Higuchi,Hirozumi Yamaguchi,Teruo Higashino, WIRELESS NETWORKS, SPRINGER, Vol. 22, No. 2, p. 563-577, 2016/02
  • Edge computing for cooperative real-time controls using geospatial big data, Teruo Higashino, Smart Sensors and Systems: Innovations for Medical, Environmental, and IoT Applications, Springer International Publishing, p. 441-466, 2016/01/01
  • TransitLabel: A Crowd-Sensing System for Automatic Labeling of Transit Stations Semantics., Moustafa Elhamshary,Moustafa Youssef,Akira Uchiyama,Hirozumi Yamaguchi,Teruo Higashino, CoRR, Vol. abs/1606.03302, 2016
  • A study on identification of laser-tracked vehicles using V2V-based velocity information., Atsushi Fujita,Hirozumi Yamaguchi,Teruo Higashino,Mineo Takai, 17th IEEE International Symposium on A World of Wireless, Mobile and Multimedia Networks, WoWMoM 2016, Coimbra, Portugal, June 21-24, 2016, IEEE Computer Society, p. 1-6, 2016
  • Human thermal comfort estimation in indoor space by crowd sensing., Masao Chiguchi,Hirozumi Yamaguchi,Teruo Higashino,Yoshiyuki Shimoda, 2016 IEEE International Conference on Smart Grid Communications, SmartGridComm 2016, Sydney, Australia, November 6-9, 2016, IEEE, p. 45-50, 2016
  • Travel Estimation Using Control Signal Records in Cellular Networks and Geographical Information, Yuma Yamada,Akira Uchiyama,Akihito Hiromori,Hirozumi Yamaguchi,Teruo Higashino, 2016 9TH IFIP WIRELESS AND MOBILE NETWORKING CONFERENCE (WMNC), IEEE, p. 138-144, 2016
  • Poster: Core Temperature Estimation During Exercise Using Wearable Sensors, Takashi Hamatani,Akira Uchiyama,Teruo Higashino, MOBISYS'16: COMPANION COMPANION PUBLICATION OF THE 14TH ANNUAL INTERNATIONAL CONFERENCE ON MOBILE SYSTEMS, APPLICATIONS, AND SERVICES, ASSOC COMPUTING MACHINERY, p. 29-29, 2016
  • Poster: Two-Steps Independent Solution for Rule-based CEP, Sunyanan Choochotkaew,Hirozumi Yamaguchi,Teruo Higashino, MOBISYS'16: COMPANION COMPANION PUBLICATION OF THE 14TH ANNUAL INTERNATIONAL CONFERENCE ON MOBILE SYSTEMS, APPLICATIONS, AND SERVICES, ASSOC COMPUTING MACHINERY, p. 19-19, 2016
  • In-home Activity and Micro-motion Logging Using Mobile Robot with Kinect, Keita Nakahara,Hirozumi Yamaguchi,Teruo Higashino, ADJUNCT PROCEEDINGS OF THE 13TH INTERNATIONAL CONFERENCE ON MOBILE AND UBIQUITOUS SYSTEMS: COMPUTING NETWORKING AND SERVICES (MOBIQUITOUS 2016), ASSOC COMPUTING MACHINERY, p. 106-111, 2016
  • Player identification by motion features in sport videos using wearable sensors., Takashi Hamatani,Yudai Sakaguchi,Akira Uchiyama,Teruo Higashino, Ninth International Conference on Mobile Computing and Ubiquitous Networking, ICMU 2016, Kaiserslautern, Germany, October 4-6, 2016, IEEE, p. 1-6, 2016
  • Cloud-assisted Dynamic Content Sharing among Vehicles, Yoshiaki Adachi,Hirozumi Yamaguchi,Teruo Higashino,Takaaki Umedu, 2016 IEEE INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION TECHNOLOGY (CIT), IEEE, p. 516-523, 2016
  • A scheduling algorithm of cell zooming for energy efficiency in disasters, Akira Uchiyama,Kazumasa Kitada,Teruo Higashino, MobiWac 2015 - Proceedings of the 13th ACM International Symposium on Mobility Management and Wireless Access, Association for Computing Machinery, Inc, p. 63-68, 2015/11/02
  • ひとなび: 群集センシングとソーシャルメディアの融合による場の盛り上がりの可視化, 2015/10
  • Edge-centric Computing: Vision and Challenges, Pedro Garcia Lopez,Alberto Montresor,Dick Epema,Anwitaman Datta,Teruo Higashino,Adriana Iamnitchi,Marinho Barcellos,Pascal Felber,Etienne Riviere, ACM SIGCOMM COMPUTER COMMUNICATION REVIEW, ASSOC COMPUTING MACHINERY, Vol. 45, No. 5, p. 37-42, 2015/10
  • Edge-centric Computing: Vision and Challenges, Pedro Garcia Lopez,Alberto Montresor,Dick Epema,Anwitaman Datta,Teruo Higashino,Adriana Iamnitchi,Marinho Barcellos,Pascal Felber,Etienne Riviere, ACM SIGCOMM COMPUTER COMMUNICATION REVIEW, ASSOC COMPUTING MACHINERY, Vol. 45, No. 5, p. 37-42, 2015/10
  • Tracking motion context of railway passengers by fusion of low-power sensors in mobile devices, Takamasa Higuchi,Hirozumi Yamaguchi,Teruo Higashino, ISWC 2015 - Proceedings of the 2015 ACM International Symposium on Wearable Computers, Association for Computing Machinery, Inc, p. 163-170, 2015/09/07
  • Human crowd detection for physical sensing assisted geo-social multimedia mining, Kazuhisa Fujita,Takamasa Higuchi,Akihito Hiromori,Hirozumi Yamaguchi,Teruo Higashino,Shinji Shimojo, Proceedings - IEEE INFOCOM, Institute of Electrical and Electronics Engineers Inc., Vol. 2015-, p. 642-647, 2015/08/04
  • 俯瞰画像における被写体サイズ推定モデルに基づく群衆人数推定手法の提案, p. 157-165, 2015/07
  • Real-time calibration of a human thermal model with solar radiation using wearable sensors, Takashi Hamatani,Akira Uchiyama,Teruo Higashino, WearSys 2015 - Proceedings of the 2015 Workshop on Wearable Systems and Applications, Association for Computing Machinery, Inc, p. 45-50, 2015/05/18
  • モバイル端末による被災状況の分散集約に向けた制御情報管理方式の検討, Vol. 115, No. 61, p. 57-64, 2015/05
  • Scalable and robust channel allocation for densely-deployed urban wireless stations, Hirozumi Yamaguchi,Akihito Hiromori,Teruo Higashino,Shigeki Umehara,Hirofumi Urayama,Masaya Yamada,Taka Maeno,Shigeru Kaneda,Mineo Takai, PERFORMANCE EVALUATION, ELSEVIER SCIENCE BV, Vol. 87, p. 74-91, 2015/05
  • A survey on formal active and passive testing with applications to the cloud, Ana R. Cavalli,Teruo Higashino,Manuel Nunez, ANNALS OF TELECOMMUNICATIONS, SPRINGER FRANCE, Vol. 70, No. 3-4, p. 85-93, 2015/04
  • Special issue on formal active and passive testing of distributed and networked systems, Ana R. Cavalli,Teruo Higashino,Manuel Nunez, ANNALS OF TELECOMMUNICATIONS-ANNALES DES TELECOMMUNICATIONS, SPRINGER FRANCE, Vol. 70, No. 3-4, p. 83-84, 2015/04
  • Special issue on formal active and passive testing of distributed and networked systems, Ana R. Cavalli,Teruo Higashino,Manuel Nunez, ANNALS OF TELECOMMUNICATIONS-ANNALES DES TELECOMMUNICATIONS, SPRINGER FRANCE, Vol. 70, No. 3-4, p. 83-84, 2015/04
  • A survey on formal active and passive testing with applications to the cloud, Ana R. Cavalli,Teruo Higashino,Manuel Nunez, ANNALS OF TELECOMMUNICATIONS, SPRINGER FRANCE, Vol. 70, No. 3-4, p. 85-93, 2015/04
  • A survey on formal active and passive testing with applications to the cloud, Ana R. Cavalli,Teruo Higashino,Manuel Nunez, ANNALS OF TELECOMMUNICATIONS, SPRINGER FRANCE, Vol. 70, No. 3-4, p. 85-93, 2015/04
  • Special issue on formal active and passive testing of distributed and networked systems, Ana R. Cavalli,Teruo Higashino,Manuel Nunez, ANNALS OF TELECOMMUNICATIONS-ANNALES DES TELECOMMUNICATIONS, SPRINGER FRANCE, Vol. 70, No. 3-4, p. 83-84, 2015/04
  • Estimating Core Body Temperature Based on Human Thermal Model Using Wearable Sensors, Takashi Hamatani,Akira Uchiyama,Teruo Higashino, 30TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, VOLS I AND II, ASSOC COMPUTING MACHINERY, p. 521-526, 2015
  • Requirement-Based Prioritization system in Multi-user IoT, Sunyanan Choochotkaew,Hirozumi Yamaguchi,Teruo Higashino,Megumi Shibuya, 2015 IEEE 2ND WORLD FORUM ON INTERNET OF THINGS (WF-IOT), IEEE, p. 122-127, 2015
  • Estimating core body temperature based on human thermal model using wearable sensors., Takashi Hamatani,Akira Uchiyama,Teruo Higashino, Proceedings of the 30th Annual ACM Symposium on Applied Computing, Salamanca, Spain, April 13-17, 2015, ACM, p. 521-526, 2015
  • A Novel Estimation Method of Road Condition for Pedestrian Navigation, Takumi Satoh,Akihito Hiromori,Hirozumi Yamaguchi,Teruo Higashino, 2015 IEEE INTERNATIONAL CONFERENCE ON PERVASIVE COMPUTING AND COMMUNICATION WORKSHOPS (PERCOM WORKSHOPS), IEEE, p. 427-432, 2015
  • Throughput and Delay Estimator for 2.4GHz WiFi APs: A Machine Learning-based Approach, Shugo Kajita,Hirozumi Yamaguchi,Teruo Higashino,Hirofumi Urayama,Masaya Yamada,Mineo Takai, 2015 8TH IFIP WIRELESS AND MOBILE NETWORKING CONFERENCE (WMNC), IEEE, p. 223-226, 2015
  • TweetGlue: Leveraging a Crowd Tracking Infrastructure for Mobile Social Augmented Reality, Takamasa Higuchi,Hiroki Iwahashi,Hirozumi Yamaguchi,Teruo Higashino, 2015 INTERNATIONAL WIRELESS COMMUNICATIONS & MOBILE COMPUTING CONFERENCE (IWCMC), IEEE, p. 1030-1035, 2015
  • Prediction of Deceleration Amount of Vehicle Speed in Snowy Urban Roads using Weather Information and Traffic Data, Ryosuke Tanimura,Akihito Hiromori,Hirozumi Yamaguchi,Teruo Higashino,Takaaki Umedu, 2015 IEEE 18TH INTERNATIONAL CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS, IEEE, p. 2268-2273, 2015
  • Human Crowd Detection for Physical Sensing Assisted Geo-Social Multimedia Mining, Kazuhisa Fujita,Takamasa Higuchi,Akihito Hiromori,Hirozumi Yamaguchi,Teruo Higashino,Shinji Shimojo, 2015 IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS), IEEE, p. 642-647, 2015
  • Multi-dimensional Sensor Data Aggregator for Adaptive Network Management in M2M Communications, Kenji Yoi,Hirozumi Yamaguchi,Akihito Hiromori,Akira Uchiyama,Teruo Higashino,Naohisa Yanagiya,Toshikazu Nakatani,Atsuo Tachibana,Teruyuki Hasegawa, PROCEEDINGS OF THE 2015 IFIP/IEEE INTERNATIONAL SYMPOSIUM ON INTEGRATED NETWORK MANAGEMENT (IM), IEEE, p. 1047-1052, 2015
  • A Cross Validation of Network System Models for Delay Tolerant Networks, Shigeru Kaneda,Mineo Takai,Teruhiro Mizumoto,Taka Maeno,Shigeru Kashihara,Hirozumi Yamaguchi,Teruo Higashino, 2015 EIGHTH INTERNATIONAL CONFERENCE ON MOBILE COMPUTING AND UBIQUITOUS NETWORKING (ICMU), SPRINGER-VERLAG BERLIN, p. 185-190, 2015
  • A Model-based Approach to Support Smart and Social Home Living, Shoko Nakamura,Saeko Shigaki,Akihito Hiromori,Hirozumi Yamaguchi,Teruo Higashino, PROCEEDINGS OF THE 2015 ACM INTERNATIONAL JOINT CONFERENCE ON PERVASIVE AND UBIQUITOUS COMPUTING (UBICOMP 2015), ASSOC COMPUTING MACHINERY, p. 1101-1105, 2015
  • Activity recognition of railway passengers by fusion of low-power sensors in mobile phones., Moustafa Elhamshary,Moustafa Youssef,Akira Uchiyama,Hirozumi Yamaguchi,Teruo Higashino, Proceedings of the 23rd SIGSPATIAL International Conference on Advances in Geographic Information Systems, Bellevue, WA, USA, November 3-6, 2015, ACM, 2015
  • Estimation of Core Temperature based on a Human Thermal Model Using a Wearable Sensor, Akira Uchiyama,Takashi Hamatani,Teruo Higashino, 2015 IEEE 4TH GLOBAL CONFERENCE ON CONSUMER ELECTRONICS (GCCE), IEEE, p. 605-609, 2015
  • Mobile devices as an infrastructure: A survey of opportunistic sensing technology, Takamasa Higuchi,Hirozumi Yamaguchi,Teruo Higashino, Journal of Information Processing, Information Processing Society of Japan, Vol. 23, No. 2, p. 94-104, 2015
  • A channel selection strategy for WLAN in urban areas by regression analysis, Shugo Kajita,Hirozumi Yamaguchi,Teruo Higashino,Shigeki Umehara,Fumiya Saitou,Hirofumi Urayama,Masaya Yamada,Taka Maeno,Shigeru Kaneda,Mineo Takai, International Conference on Wireless and Mobile Computing, Networking and Communications, IEEE Computer Society, p. 642-647, 2014/11/18
  • ウェアラブルセンサを用いた生体温熱モデルに基づく深部体温推定法の提案, 2014/11
  • ウェアラブルセンサを用いた深部体温推定に関する一検討, Vol. 2014-MBL-72, No. 4, p. 1-5, 2014/08
  • Context-supported local crowd mapping via collaborative sensing with mobile phones, Takamasa Higuchi,Hirozumi Yamaguchi,Teruo Higashino, PERVASIVE AND MOBILE COMPUTING, ELSEVIER SCIENCE BV, Vol. 13, p. 26-51, 2014/08
  • 多数のセンサーによる時空間センシングデータの効率的な集約送信技術, Vol. 2014, p. 903-913, 2014/07
  • 災害時における携帯電話基地局の電池残量を考慮したカバレッジ最大化のためのセルサイズ制御手法, p. 1547-1556, 2014/07
  • スマートハウス内センシングを活用した生活行動推薦システム, p. 903-913, 2014/07
  • Mobile Node Localization Focusing on Stop-and-Go Behavior of Indoor Pedestrians, Takamasa Higuchi,Sae Fujii,Hirozumi Yamaguchi,Teruo Higashino, IEEE TRANSACTIONS ON MOBILE COMPUTING, IEEE COMPUTER SOC, Vol. 13, No. 7, p. 1564-1578, 2014/07
  • 鉄道におけるBluetooth受信特性を用いた乗車車両および混雑の推定手法, Vol. 2014-ITS-56, No. 17, p. 1-8, 2014/03
  • 三次元都市モデルとGPS信号のSNRを用いた携帯端末の存在領域判定, Vol. 2014-MBL-70, No. 32, p. 1-8, 2014/03
  • 多数のセンサーによる時空間センシングデータの集約圧縮方式の一検討, 2014/03
  • ウェアラブルセンサを用いた発汗量推定モデルのパラメータ調整に関する一検討, 2014/03
  • Cooperative Positioning Method Using On-Board LED Communication and Distance Measurement Devices, Takaaki Umedu,Yasuhide Otsubo,Teruo Higashino, 2014 IEEE INTERNATIONAL CONFERENCE ON CONSUMER ELECTRONICS - TAIWAN (ICCE-TW), IEEE, 2014
  • A Channel Selection Strategy for WLAN in Urban Areas by Regression Analysis, Shugo Kajita,Hirozumi Yamaguchi,Teruo Higashino,Shigeki Umehara,Fumiya Saitou,Hirofumi Urayama,Masaya Yamada,Taka Maeno,Shigeru Kaneda,Mineo Takai, 2014 IEEE 10TH INTERNATIONAL CONFERENCE ON WIRELESS AND MOBILE COMPUTING, NETWORKING AND COMMUNICATIONS (WIMOB), IEEE, p. 642-647, 2014
  • Indoor Localization utilizing Tracking Scanners and Motion Sensors, Takumi Takafuji,Kazuhisa Fujita,Takamasa Higuchi,Akihito Hiromori,Hirozumi Yamaguchi,Teruo Higashino, 2014 IEEE 11TH INTL CONF ON UBIQUITOUS INTELLIGENCE AND COMPUTING AND 2014 IEEE 11TH INTL CONF ON AUTONOMIC AND TRUSTED COMPUTING AND 2014 IEEE 14TH INTL CONF ON SCALABLE COMPUTING AND COMMUNICATIONS AND ITS ASSOCIATED WORKSHOPS, IEEE, p. 112-119, 2014
  • Detecting smoothness of pedestrian flows by participatory sensing with mobile phones., Tomohiro Nishimura,Takamasa Higuchi,Hirozumi Yamaguchi,Teruo Higashino, ISWC'14, Proceedings of the 2014 ACM International Symposium on Wearable Computers, Seattle, WA, USA, September 13-17, 2014, ACM, p. 15-18, 2014
  • An Analysis Model of Queue Length Fluctuation at Signals Using Vehicle Trajectories, Tomoyuki Tange,Akihito Hiromori,Hirozumi Yamaguchi,Teruo Higashino,Takaaki Umedu, 2014 INTERNATIONAL CONFERENCE ON CONNECTED VEHICLES AND EXPO (ICCVE), IEEE, p. 577-583, 2014
  • A Neighbor Collaboration Mechanism for Mobile Crowd Sensing in Opportunistic Networks, Takamasa Higuchi,Hirozumi Yamaguchi,Teruo Higashino,Mineo Takai, 2014 IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS (ICC), IEEE, p. 42-47, 2014
  • Car-level congestion and position estimation for railway trips using mobile phones, Yuki Maekawa,Akira Uchiyama,Hirozumi Yamaguchi,Teruo Higashino, UbiComp 2014 - Proceedings of the 2014 ACM International Joint Conference on Pervasive and Ubiquitous Computing, Association for Computing Machinery, Inc, p. 939-950, 2014
  • Sensor placement optimization method for people tracking, Akihito Hiromori,Hirozumi Yamaguchi,Teruo Higashino, International Conference on Next Generation Mobile Applications, Services, and Technologies, IEEE, p. 62-67, 2013/11/07
  • Twitter user profiling based on text and community mining for market analysis, Kazushi Ikeda,Gen Hattori,Chihiro Ono,Hideki Asoh,Teruo Higashino, KNOWLEDGE-BASED SYSTEMS, ELSEVIER SCIENCE BV, Vol. 51, p. 35-47, 2013/10
  • Twitter user profiling based on text and community mining for market analysis, Kazushi Ikeda,Gen Hattori,Chihiro Ono,Hideki Asoh,Teruo Higashino, KNOWLEDGE-BASED SYSTEMS, ELSEVIER SCIENCE BV, Vol. 51, p. 35-47, 2013/10
  • Electronic triage system for continuously monitoring casualties at disaster scenes, Keishi Sakanushi,Takuji Hieda,Taichiro Shiraishi,Yasumasa Ode,Yoshinori Takeuchi,Masaharu Imai,Teruo Higashino,Hiroshi Tanaka, Journal of Ambient Intelligence and Humanized Computing, Vol. 4, No. 5, p. 547-558, 2013/10
  • Quantifying relationship between relative position error of localization algorithms and object identification, Noboru Kiyama,Akira Uchiyama,Hirozumi Yamaguchi,Teruo Higashino, WIRELESS NETWORKS, SPRINGER, Vol. 19, No. 6, p. 1037-1049, 2013/08
  • Self-estimation of neighborhood distribution for mobilewireless nodes, Yuki Sakai,Akira Uchiyama,Hirozumi Yamaguchi,Teruo Higashino, Journal of Information Processing, Vol. 21, No. 2, p. 198-205, 2013/04
  • Analysis of the Relationship between Users' Behavior and Energy Consumption in an Office Building, Techinical Papers of Annual Meeting the Society of Heating,Air-conditioning and Sanitary Engineers of Japan, The Society of Heating,Air-Conditioning&Sanitary Engineers of Japan, Vol. 2013, No. 0, p. 329-332, 2013
  • スマートフォンを用いた駅ホームにおける混雑推定の一検討, 2013/01
  • GPS Line-Of-Sight Fingerprinting for Enhancing Location Accuracy in Urban Areas, Akira Uchiyama,Etsuko Katsuda,Yuki Uejima,Hirozumi Yamaguchi,Teruo Higashino, Proceedings of the 4th International Conference on Indoor Positioning and Indoor Navigation, 2013
  • A Study for Human Centric Cyber Physical System Based Sensing - Toward Safe and Secure Urban Life -, Teruo Higashino,Akira Uchiyama, INFORMATION SEARCH, INTEGRATION AND PERSONALIZATION, SPRINGER-VERLAG BERLIN, Vol. 146, p. 61-70, 2013
  • Depth limited treatment planning and scheduling for electronic triage system in MCI, Ayaka Kashiyama,Akira Uchiyama,Teruo Higashino, Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST, Springer, Vol. 61, p. 224-233, 2013
  • A Study for Human Centric Cyber Physical System Based Sensing - Toward Safe and Secure Urban Life -, Teruo Higashino,Akira Uchiyama, Communications in Computer and Information Science, Springer Verlag, Vol. 146, p. 61-70, 2013
  • Stabilization, Safety, and Security of Distributed Systems - 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings, SSS 2013, Springer, Vol. 8255, 2013
  • Accurate positioning of mobile phones in a crowd using laser range scanners, Yusuke Wada,Takamasa Higuchi,Hirozumi Yamaguchi,Teruo Higashino, International Conference on Wireless and Mobile Computing, Networking and Communications, IEEE Computer Society, p. 430-435, 2013
  • A novel scheduling algorithm for densely-deployed wireless stations in urban areas, Hirozumi Yamaguchi,Akihito Hiromori,Teruo Higashino,Shigeki Umehara,Hirofumi Urayama,Masaya Yamada,Taka Maeno,Shigeru Kaneda,Mineo Takai, MSWiM 2013 - Proceedings of the 16th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems, ACM, p. 317-326, 2013
  • Mitigating location and speed errors in floating car data using context-based accuracy estimation, Yuma Akai,Akihito Hiromori,Takaaki Umedu,Hirozumi Yamaguchi,Teruo Higashino, 2013 13th International Conference on ITS Telecommunications, ITST 2013, IEEE Computer Society, p. 104-110, 2013
  • Data-centric programming environment for cooperative applications in WSN., Shunsuke Mori,Takaaki Umedu,Akihito Hiromori,Hirozumi Yamaguchi,Teruo Higashino, 2013 IFIP/IEEE International Symposium on Integrated Network Management (IM 2013), Ghent, Belgium, May 27-31, 2013, IEEE, p. 856-859, 2013
  • An extension of clustering algorithm for considering link speed in wireless mesh networks, Shigeto Tajima,Nobuo Funabiki,Teruo Higashino, 2013 IEEE 2nd Global Conference on Consumer Electronics, GCCE 2013, IEEE, p. 500-504, 2013
  • Early Detection Method of Service Quality Reduction Based on Linguistic and Time Series Analysis of Twitter, Kazushi Ikeda,Gen Hattori,Chihiro Ono,Hideki Asoh,Teruo Higashino, 2013 IEEE 27TH INTERNATIONAL CONFERENCE ON ADVANCED INFORMATION NETWORKING AND APPLICATIONS WORKSHOPS (WAINA), IEEE, p. 825-830, 2013
  • UPL: Opportunistic localization in urban districts, Akira Uchiyama,Sae Fujii,Kumiko Maeda,Takaaki Umedu,Hirozumi Yamaguchi,Teruo Higashino, IEEE Transactions on Mobile Computing, Vol. 12, No. 5, p. 1009-1022, 2013
  • GPS信号履歴を用いた建物出口特定法の提案, 2012/11
  • 災害時救命率最大化のための深さ制限探索を用いた治療計画法の提案, 2012/09
  • 電子トリアージシステムにおける深さ制限探索を用いた多数傷病者治療計画法の提案, 2012/07
  • Trajectory estimation algorithm for mobile nodes using encounter information and geographical information, Sae Fujii,Akira Uchiyama,Takaaki Umedu,Hirozumi Yamaguchi,Teruo Higashino, PERVASIVE AND MOBILE COMPUTING, ELSEVIER SCIENCE BV, Vol. 8, No. 2, p. 249-270, 2012/04
  • 傷病者ID認識のための携帯端末向けイメージセンサ通信方式の開発, 2012/02
  • Deadline-Aware Data Collection in CSMA/CA-based Multi-Sink Wireless Sensor Networks, Akira Uchiyama,Akihito Hiromori,Hirozumi Yamaguchi,Teruo Higashino, Proceedings of the 6th International Conference on Mobile Computing and Ubiquitous Networking, 2012
  • Collaborative Indoor Positioning of Mobile Nodes, Hirozumi Yamaguchi,Takamasa Higuchi,Teruo Higashino, Proceedings of the 6th International Conference on Mobile Computing and Ubiquitous Networking, 2012
  • Performance Evaluation of Mobility-Based Energy-Saving to Control Air-conditioning and Lighting Equipments, Akihito Hiromori,Takumi Kanaya,Hirozumi Yamaguchi,Teruo Higashino, Proceedings of the 2nd IFIP Conference on Sustainable Internet and ICT for Sustainability, 2012
  • Image sensor communication for patient ID recognition using mobile devices, Akira Uchiyama,Takanori Hirao,Hirozumi Yamaguchi,Teruo Higashino, Proceedings of the 3rd International Workshop on Sensing Applications on Mobile Phones, PhoneSense 2012 - In Conjunction with ACM SenSys 2012, 2012
  • Clearing a crowd: Context-supported neighbor positioning for people-centric navigation, Takamasa Higuchi,Hirozumi Yamaguchi,Teruo Higashino, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 7319, p. 325-342, 2012
  • Protocol testing and performance evaluation for MANETs with non-uniform node density distribution, Akihito Hiromori,Takaaki Umedu,Hirozumi Yamaguchi,Teruo Higashino, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer, Vol. 7641, p. 231-246, 2012
  • Clearing a crowd: Context-supported neighbor positioning for people-centric navigation, Takamasa Higuchi,Hirozumi Yamaguchi,Teruo Higashino, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer, Vol. 7319, p. 325-342, 2012
  • HumanS: A human mobility sensing simulator, Takumi Kanaya,Akihito Hiromori,Hirozumi Yamaguchi,Teruo Higashino, 2012 5th International Conference on New Technologies, Mobility and Security - Proceedings of NTMS 2012 Conference and Workshops, IEEE, p. 1-4, 2012
  • Design and Architecture of Cloud-based Mobile Phone Sensing Middleware, Shunsuke Mori,Yu-Chih Wang,Takaaki Umedu,Akihito Hiromori,Hirozumi Yamaguchi,Teruo Higashino, 2012 IEEE SECOND SYMPOSIUM ON NETWORK CLOUD COMPUTING AND APPLICATIONS (NCCA 2012), IEEE, p. 102-109, 2012
  • Simulating CSMA/CA behavior for performance evaluation of multi-hop wireless networks, Akihito Hiromori,Hirozumi Yamaguchi,Teruo Higashino, IEEE International Workshop on Quality of Service, IWQoS, IEEE, p. 1-4, 2012
  • A self-learning traffic signal control method for CO2 reduction using prediction of vehicle arrivals, Takaaki Umedu,Yuji Togashi,Teruo Higashino, 2012 15TH INTERNATIONAL IEEE CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS (ITSC), IEEE, p. 421-426, 2012
  • Autonomous Recognition of Emergency Site by Wearable Sensors, Masaki Inokuchi,Takamasa Higuchi,Hirozumi Yamaguchi,Teruo Higashino, 2012 IEEE INTERNATIONAL CONFERENCE ON GREEN COMPUTING AND COMMUNICATIONS, CONFERENCE ON INTERNET OF THINGS, AND CONFERENCE ON CYBER, PHYSICAL AND SOCIAL COMPUTING (GREENCOM 2012), IEEE, p. 400-409, 2012
  • An Extension of Wireless Internet-Access Mesh Network Simulator for Use of Smart Antenna, Nobuo Funabiki,Shigeto Tajima,Teruo Higashino,Toru Nakanishi,Kan Watanabe, 2012 SEVENTH INTERNATIONAL CONFERENCE ON BROADBAND, WIRELESS COMPUTING, COMMUNICATION AND APPLICATIONS (BWCCA 2012), IEEE COMPUTER SOC, p. 517-522, 2012
  • Highlights: IEEE ITS Society Technical Committee on Mobile Communications Networks for ITS [Technical Committees]., Chai-Keong Toh,Teruo Higashino,Array,Michele C. Weigle, IEEE Intell. Transport. Syst. Mag., Vol. 4, No. 1, p. 33-35, 2012
  • eTriage: A Wireless Communication Service Platform for Advanced Rescue Operations, Teruo Higashino,Akira Uchiyama,Keiichi Yasumoto, Proceedings of ACM Workshop on Internet of Things and Service Platforms (IoTSP 2011), 2011/12
  • Distinguishing Indoor/Outdoor Using Training Data of GPS Status, Etsuko Katsuda,Akira Uchiyama,Hirozumi Yamaguchi,Teruo Higashino, IPSJ SIG Technical Report, 2011/11
  • Implementation of a Data Collection Mechanism in Electronic Triage System using Wireless Sensor Devices, Anuj Bajracharya,Akira Uchiyama,Akihito Hiromori,Hirozumi Yamaguchi,Teruo Higashino, Proceedings of the 6th IEEE International Workshop on Practical Issues in Building Sensor Network Applications(SenseApp2011), 2011/10
  • Evaluation of Electronic Triage System Using Disaster Medical Simulator, Ayaka Kashiyama,Daiki Nogami,Akira Uchiyama,Yasuki Nakata,Teruo Higashino, 2011/09
  • ALMware: A middleware for application layer multicast protocols, Kazushi Ikeda,Thilmee M. Baduge,Takaaki Umedu,Hirozumi Yamaguchi,Teruo Higashino, COMPUTER COMMUNICATIONS, ELSEVIER SCIENCE BV, Vol. 34, No. 14, p. 1673-1684, 2011/09
  • ALMware: A middleware for application layer multicast protocols, Kazushi Ikeda,Thilmee M. Baduge,Takaaki Umedu,Hirozumi Yamaguchi,Teruo Higashino, COMPUTER COMMUNICATIONS, ELSEVIER SCIENCE BV, Vol. 34, No. 14, p. 1673-1684, 2011/09
  • Proposal of Relative Positioning Accuracywith User's Point of View for Estimated Positions, Noboru Kiyama,Akira Uchiyama,Hirozumi Yamaguchi,Teruo Higashino, 2011/07
  • Considerations for Electronic Triage System based on Multi-player Simulator, Daiki Nogami,Akira Uchiyama,Yasuki Nakata, Japanese Journal of Disaster Medicine, Vol. 16, No. 1, p. 8-18, 2011/06
  • Performance Evaluation of Vital-Sign Collection Mechanism using Wireless Sensor Devices, Anuj Ratna Bajracharya,Akira Uchiyama,Akihito Hiromori,Hirozumi Yamaguchi,Teruo Higashino, IEICE Technical Report, MoMuC2010-79, 2011/03
  • An Efficient Localization Algorithm Focusing on Stop-and-Go Behavior of Mobile Nodes, Takamasa Higuchi,Sae Fujii,Hirozumi Yamaguchi,Teruo Higashino, Proceedings of the 9th Annual IEEE International Conference on Pervasive Computing and Communications (PerCom2011), 2011/03
  • A Comprehensive Simulation Framework for Sensor Network Applications, HIROMORI Akihito,MORI Shunsuke,YAMAGUCHI Hirozumi,HIGASHINO Teruo, IEICE technical report, The Institute of Electronics, Information and Communication Engineers, Vol. 110, No. 376, p. 81-86, 2011/01/13
  • Cooperative vehicle positioning via V2V communications and onboard sensors, Sae Fujii,Atsushi Fujita,Takaaki Umedu,Shigeru Kaneda,Hirozumi Yamaguchi,Teruo Higashino,Mineo Takai, IEEE Vehicular Technology Conference, 2011
  • Cooperative Vehicle Positioning via V2V Communications and Onboard Sensors, Sae Fujii,Atsushi Fujita,Takaaki Umedu,Hirozumi Yamaguchi,Teruo Higashino,Shigeru Kaneda, 2011 IEEE VEHICULAR TECHNOLOGY CONFERENCE (VTC FALL), IEEE, 2011
  • 2011 IEEE International Conference on Peer-to-Peer Computing, P2P 2011, Kyoto, Japan, August 31 - September 2, 2011, Peer-to-Peer Computing 2011, IEEE, 2011
  • An Efficient Localization Algorithm Focusing on Stop-and-Go Behavior of Mobile Nodes, Takamasa Higuchi,Sae Fujii,Hirozumi Yamaguchi,Teruo Higashino, 2011 IEEE INTERNATIONAL CONFERENCE ON PERVASIVE COMPUTING AND COMMUNICATIONS (PERCOM 2011), IEEE, p. 205-212, 2011
  • A simple mobility model realizing designated node distributions and natural node movement, Eijiro Ueno,Akihito Hiromori,Hirozumi Yamaguchi,Teruo Higashino, Proceedings - 8th IEEE International Conference on Mobile Ad-hoc and Sensor Systems, MASS 2011, IEEE Computer Society, p. 302-311, 2011
  • A comprehensive test strategy for network protocols in diverse environment, Akihito Hiromori,Hirozumi Yamaguchi,Teruo Higashino, IEEE International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems - Proceedings, IEEE Computer Society, p. 188-196, 2011
  • 電子トリアージ評価のための多人数参加型シミュレータの設計, 2010/07
  • Evaluation of dissemination-based inter-vehicle ad-hoc communication protocols for local traffic information services, Masashi Saito,Jun Tsukamoto,Takaaki Umedu,Teruo Higashino, International Journal of Wireless and Mobile Computing, Vol. 4, No. 2, p. 76-87, 2010/05
  • Message from the General Co-Chairs., Teruo Higashino,Kenji Suzuki, Proceedings of the 18th annual IEEE International Conference on Network Protocols, ICNP 2010, Kyoto, Japan, 5-8 October, 2010, IEEE Computer Society, p. 1-2, 2010
  • A Network Simulation Methodology Using Human Behavior Models in Disater Area, 中田 圭佑,前田 久美子,梅津 高朗,廣森聡仁,山口 弘純,東野 輝夫, 情報処理学会論文誌, Vol. 50, No. 9, p. 2327-2339, 2009/09/15
  • AD HOC ESTIMATION OF NEIGHBORHOOD DENSITY FOR PEDESTRIANS, Akira Uchiyama,Hirozumi Yamaguchi,Teruo Higashino, 2009/09
  • Distributed Neighborhood Density Estimation for Mobile Nodes, Akira Uchiyama,Hirozumi Yamaguchi,Teruo Higashino, Vol. 2009, No. 8, p. 1-8, 2009/09
  • A Method for Evaluating Localization Accuracy in Wireless Ad-hoc Networks by Positions' Relation between Nodes, Noboru Kiyama,Akira Uchiyama,Hirozumi Yamaguchi,Teruo Higashino, Vol. 2009, No. 2, p. 1-8, 2009/09
  • 無線センサーネットワークを利用した電子トリアージシステムの実現, 2009/09
  • The development of electronic triage system for emergency life saving in disasters, Noboru Kiyama,Junko Kusuda,Akira Uchiyama,Akihito Hiromori,Takaaki Umedu,Hirozumi Yamaguchi,Teruo Higashino, Vol. 51, No. 9, p. 1916-1929, 2009/07
  • An Application Layer Multicast Protocol for Stable Streaming and Its Evaluation on PlanetLab, 池田 和史,ティルミーマーリンダバデゥゲ,廣森聡仁,山口 弘純,東野 輝夫, 情報処理学会論文誌, Vol. 50, No. 6, p. 1549-1560, 2009/06/15
  • An integrated tool for development of overlay services, Yuki Sakai,Akihito Hiromori,Hirozumi Yamaguchi,Khaled El-Fakih,Teruo Higashino, SIMUTools 2009 - 2nd International ICST Conference on Simulation Tools and Techniques, ICST, 2009
  • A Proposal of Algorithm to Estimate Trajectories of Mobile Nodes using Geographic Information and Encounter Information, Sae Fujii,Akira Uchiyama,Takaaki Umedu,Hirozumi Yamaguchi,Teruo Higashino, 2009/01
  • Modeling and Evaluation of Rescue Operations using Mobile Communication Devices, Keisuke Nakata,Kumiko Maeda,Takaaki Umedu,Akihito Hiromori,Hirozumi Yamaguchi,Teruo Higashino, PADS 2009: 23RD WORKSHOP ON PRINCIPLES OF ADVANCED AND DISTRIBUTED SIMULATION, PROCEEDINGS, IEEE COMPUTER SOC, p. 64-71, 2009
  • 遭遇情報の相互利用による移動端末の軌跡推定法の提案と現実的環境での評価, 2008/07
  • 無線端末間の通信情報を利用した移動軌跡推定手法の実環境を想定した評価事例および実機による性能評価, 2008/07
  • Hierarchical Logical Topology in {WDM} Ring Networks with Limited {ADM}, 責任著者,木谷 友哉,共著者]Nobuo Funabiki,Hirozumi Yamaguchi,Teruo Higashino, Proceedings of the 7th IFIP Networking 2008 (Networking 2008), LNCS 4982, p. 326-337, 2008/05
  • Stability oriented overlay multicast for multimedia streaming in multiple source context, Thilmee M. Baduge,Kazushi Ikeda,Hirozumi Yamaguchi,Teruo Higashino, IEEE International Conference on Communications, p. 5708-5714, 2008
  • 無線端末の遭遇履歴情報を用いた位置トレース推定手法の提案, 2007/07
  • アドホック無線通信を用いた位置推定プラットフォームの設計と性能評価, 2007/07
  • A proposal of improved lip contour extraction method using deformable template matching and its application to dental treatment, Yujin Yokogawa,Nobuo Funabiki,Teruo Higashino,Masashi Oda,Yoshihide Mori, Systems and Computers in Japan, Vol. 38, No. 5, p. 80-88, 2007/05
  • Proposal of a hierarchical heuristic algorithm for node assignment in bidirectional manhattan street networks, Masataka Yonezu,Nobuo Funabiki,Tomoya Kitani,Tokumi Yokohira,Toru Nakanishi,Teruo Higashino, Systems and Computers in Japan, Vol. 38, No. 4, p. 74-83, 2007/04
  • A distributed algorithm for constructing minimum delay spanning trees under bandwidth constraints on overlay networks, Thilmee M. Baduge,Akihito Hiromori,Hirozumi Yamaguchi,Teruo Higashino, Systems and Computers in Japan, Vol. 37, No. 14, p. 15-23, 2006/12
  • 少ない基準位置情報を移動無線端末間で補完する都市部向け位置推定手法の提案, 2006/11
  • 周辺端末密度推定に基づきレプリカ数を調整するMANET用災害時情報収集システムの提案, 2006/07
  • 車車間アドホック通信を用いた危険車両情報の共有とそれに基づく検出手法の提案, 2006/07
  • Petri net-based protocol synthesis with minimum communication costs, Khaled El-Fakih,Hirozumi Yamaguchi,Gregor v. Bochmann,Teruo Higashino, Metal Finishing, Vol. 104, No. 6, p. 501-520, 2006/06
  • MobiREAL: Scenario generation and toolset for MANET simulation with realistic node mobility, Kumiko Maeda,Takaaki Umedu,Hirozumi Yamaguchi,Keiichi Yasumoto,Teruo Higashino, Proceedings - IEEE International Conference on Mobile Data Management, Vol. 2006, 2006
  • Demonstration of a cellular phone application based on context-aware group formation, Kouji Nishigaki,Keiichi Yasumoto,Takaaki Umedu,Teruo Higashino,Minoru Ito, Proceedings - IEEE International Conference on Mobile Data Management, Vol. 2006, 2006
  • 遭遇する移動ノード間での位置推定に基づく測位手法GoPS の提案と評価, 2006/01
  • 部品のコスト・性能を考慮したリアルタイム組込みシステムの一設計法, Vol. J88-A, No. 12, p. 1487-1496, 2005/12
  • WDMネットワークにおける階層型コーダルリングトポロジ構成法, Vol. 46, No. 9, p. 2176-2184, 2005/09
  • 無線ネットワークにおいて問題が発生している位置範囲を特定するネットワークモニタ方式の提案, 2005/07
  • 現実的な環境下でMANETシステムを性能評価するための無線ネットワークシミュレータMobiREAL, 2005/07
  • An optical-drop wavelength assignment algorithm for efficient wavelength reuse under heterogeneous traffic in WDM ring networks, Nobuo Funabiki,Jun Kawashima,Toru Nakanishi,Kiyohiko Okayama,Teruo Higashino, IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, Institute of Electronics, Information and Communication, Engineers, IEICE, Vol. E88-A, No. 5, p. 1234-1240, 2005
  • MobiREAL Simulator ? Evaluating MANET Applications in Real Environments ?, Kazuki Konishi,Kumiko Maeda,Kazuki Sato,Akiko Yamasaki,Hirozumi Yamaguchi,Keiichi Yasumoto,Teruo Higashino, Proceedings of the 13th IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, 2005
  • A Testing Architecture for Designing High-Reliable MANET Protocols, Teruo Higashino,Hirozumi Yamaguchi, Proceedings of the 25th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, 2005
  • Getting Urban Pedestrian Flow from Simple Observation: Realistic Mobility Generation in Wireless Network Simulation, Kumiko Maeda,Kazuki Sato,Kazuki Konishi,Akiko Yamasaki,Akira Uchiyama,Hirozumi Yamaguchi,Keiichi Yasumoto,Teruo Higashino, Proceedings of the 8th ACM/IEEE International Symposium on Modeling, Analysis and Simulation of Wireless and Mobile Systems, 2005
  • 現実世界の人物行動に即した移動モデルの検討とモバイルアドホックネットワークシミュレータへの応用, 2004/09
  • 広域ネットワークでの利用を前提とした自律分散ネットワークモニタ方式の性能評価, 2004/07
  • ピアツーピアアプリケーション記述のための形式モデルの提案, 2004/07
  • An Application Layer Multicast Protocol for Providing Quality of Service by Using End System's Video Filtering, Yoshitaka Nakamura,Hirozumi Yamaguchi,Akihito Hiromori,Keiichi Yasumoto,Teruo Higashino,Kenichi Taniguchi, IPSJ Journal, Vol. 45, No. 2, p. 438-448, 2004/02/15
  • A Test Sequence Generation Method for Communication Protocols Using the SAT Algorithm, Takanori Mori,Hirotaka Otsuka,Nobuo Funabiki,Akio Nakata,Teruo Higashino, Systems and Computers in Japan, Vol. 34, No. 11, p. 20-29, 2003/10
  • 実時間制約を含むQoSルータの高信頼性設計の一手法, Vol. 2, p. 347-349, 2003/09
  • Protocol Animation using Constraint-oriented Style of Real-time LOTOS, Keiichi Yasumoto,Takaaki Umedu,Hirozumi Yamaguchi,Akio Nakata,Teruo Higashino, Computer Networks, Vol. 40, No. 5, 2002
  • A Selection Technique for Replicated Multicast Video Servers, Akihito Hiromori,Hirozumi Yamaguchi,Keiichi Yasumoto,Teruo Higashino,Kenichi Taniguchi, Proceedings of the 31st International Conference on Parallel Processing, 2002
  • Deriving parameter conditions for periodic timed automata satisfying real-time temporal logic formulas, A Nakata,T Higashino, FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS, KLUWER ACADEMIC PUBLISHERS, Vol. 69, p. 151-166, 2001
  • Automatic test case derivation for communication protocols in an extended FSM model, XD Li,T Higashino,M Higuchi,K Taniguchi, ELECTRONICS AND COMMUNICATIONS IN JAPAN PART I-COMMUNICATIONS, SCRIPTA TECHNICA-JOHN WILEY & SONS, Vol. 82, No. 10, p. 50-60, 1999/10
  • Protocol syntheses in a Petri net model with registers and its application, H Yamaguchi,K Okano,T Higashino,K Taniguchi, ELECTRONICS AND COMMUNICATIONS IN JAPAN PART III-FUNDAMENTAL ELECTRONIC SCIENCE, SCRIPTA TECHNICA-JOHN WILEY & SONS, Vol. 81, No. 8, p. 18-26, 1998/08
  • Proof Method for correctness of refinements of algebraic specification in abstract sequential machine style, K Okano,T Higashino,K Taniguchi, SYSTEMS AND COMPUTERS IN JAPAN, SCRIPTA TECHNICA-JOHN WILEY & SONS, Vol. 27, No. 5, p. 25-38, 1996/05
  • AUTOMATIC DERIVATION OF TEST CASES FOR LOTOS EXPRESSIONS WITH DATA PARAMETERS, XD LI,T HIGASHINO,K TANIGUCHI, ELECTRONICS AND COMMUNICATIONS IN JAPAN PART I-COMMUNICATIONS, SCRIPTA TECHNICA PUBL, Vol. 77, No. 3, p. 1-14, 1994/03
  • VTM - A GRAPH EDITOR FOR LARGE TREES, T MATSUURA,T NAKAMURA,T HIGASHINO,K TANIGUCHI,S MASUDA, IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY, ELSEVIER SCIENCE BV, Vol. 12, p. 210-216, 1992
  • Verification of safeness and mutual exclusion properties of algebraically specified token ring LAN protocol, Teruo Higashino,Mamoru Fujii,Ken'Ichi Taniguchi,Tadao Kasami,Masaaki Mori, Systems and Computers in Japan, Vol. 20, No. 5, p. 57-68, 1989
  • Verification of progress property of algebraically specified communication protocols, Teruo Higashino,Ken'Ichi Taniguchi,Tadao Kasami,Mamoru Fujii,Masaaki Mori, Systems and Computers in Japan, Vol. 18, No. 9, p. 96-107, 1987

Misc.

  • 歩行者による背景隠蔽の継続時間及び位置に基づく移動軌跡推定手法, p. 68-75, 2019/11/04
  • スマートフォンを用いたコンテキスト推定のためのVRによる危険状況再現システム, p. 241-242, 2019/11/04
  • 安全運転装備車両の周辺車両認識をシミュレートするモデルの検討, p. 283-284, 2019/11/04
  • 走行時動画像を用いた周辺車両の位置推定手法, No. 2019, p. 1688-1696, 2019/06/26
  • 背景点隠蔽時間に基づいた人の移動軌跡推定手法の検討, Vol. 2019, No. 1, p. 263-264, 2019/02/28
  • 高齢者のユーザビリティを考慮したセミデマンドバス向け低コスト予約システムの開発と運用, Vol. 2019, No. 1, p. 301-302, 2019/02/28
  • 人同士の遮蔽による動的オクルージョンの定式化, p. 207-216, 2018/10/31
  • スマートフォンを活用した歩行者および車両のリアルタイム行動検知に関する検討, No. 2018, p. 1252-1261, 2018/06/27
  • 測域センサを利用した路線バス乗降計測システムの開発, Vol. 2018, No. 1, p. 7-8, 2018/03/13
  • 異なる基点を持つ二次元点群統合による屋内マップ生成手法の提案 (モバイルネットワークとアプリケーション), Vol. 117, No. 450, p. 39-50, 2018/02/26
  • 異なる基点を持つ二次元点群統合による屋内マップ生成手法の提案 (知的環境とセンサネットワーク), Vol. 117, No. 451, p. 39-50, 2018/02/26
  • A holding access-point assignment algorithm for wireless local-area networks, Shigeto Tajima,Nobuo Funabiki,Sumon Kumar Debnath,Teruo Higashino, 2017 9th IEEE International Conference on Communication Software and Networks, ICCSN 2017, Institute of Electrical and Electronics Engineers Inc., Vol. 2017-, p. 367-371, 2017/12/19
  • 測域センサを利用した高精度な路線バス乗降計測システム, No. 2017, p. 24-32, 2017/10/04
  • 3次元空間における測域センサ群の自己位置推定法, No. 2017, p. 1433-1443, 2017/06/21
  • 人の温熱快適性に配慮した空調制御の改善に関する検討と実証, Vol. 2017, No. 1, p. 89-90, 2017/03/16
  • 基地局通信履歴とGPSトレースを用いた都市レベルの旅行推定手法の提案, Vol. 2017, No. 1, p. 459-460, 2017/03/16
  • Image-based Crowd Counting with Perspective Geometry Using Smartphone, 小島 颯平,内山 彰,廣森 聡仁,山口 弘純,東野 輝夫, 情報処理学会論文誌, Vol. 58, No. 1, p. 33-42, 2017/01/15
  • A Study on Indoor Air Temperature Prediction and Demonstration Experiment, Vol. 116, No. 305, p. 31-36, 2016/11/17
  • Proposal of a Travel Estimation Method Using Control Signal Records in Cellular Networks and Geographical Information, 山田 遊馬,内山 彰,廣森 聡仁,山口 弘純,東野 輝夫, 情報処理学会論文誌, Vol. 57, No. 8, p. 1826-1834, 2016/08/15
  • 鉱山用重機間通信による周辺重機検出手法の提案, No. 2016, p. 203-211, 2016/07/06
  • スマートフォン画像を用いたクラウドソーシングによる群衆人数推定システム, No. 2016, p. 262-272, 2016/07/06
  • 気象状況とプローブカーデータの解析に基づく積雪都市におけるOD旅行時間分布の予測手法, No. 2016, p. 624-630, 2016/07/06
  • 基地局遷移パターンの学習に基づく通信履歴からの電車旅客推定法の提案, No. 2016, p. 743-750, 2016/07/06
  • Proposal of Building Energy Efficiency Index considering Number of Occupants and Quality of Energy Service, Vol. 35, p. 179-182, 2016/06/06
  • Accurate Indoor Positioning Using Laser Range Scanners and Short-range Wireless Communication, 樋口 雄大,山口 弘純,東野 輝夫, 情報処理学会論文誌, Vol. 57, No. 5, p. 1489-1498, 2016/05/15
  • Train Motion Detection Using Accelerometers and Magnetometers in Smartphones, 樋口 雄大,山口 弘純,東野 輝夫, 情報処理学会論文誌, Vol. 57, No. 4, p. 1274-1283, 2016/04/15
  • An Algorithm for Estimating the Performance of WLAN Systems with Severe Interference, 梶田 宗吾,山口 弘純,東野 輝夫,梅原 茂樹,齊藤 文哉,浦山 博史,山田 雅也,前野 誉,金田 茂,高井 峰生, 情報処理学会論文誌, Vol. 57, No. 2, p. 745-755, 2016/02/15
  • Indoor Localization Utilizing Tracking Scanners and Motion Sensors, 高藤 巧,藤田 和久,樋口 雄大,廣森 聡仁,山口 弘純,東野 輝夫,下條 真司, 情報処理学会論文誌, Vol. 57, No. 1, p. 353-365, 2016/01/15
  • A Study on Cooperative Vehicle Awareness Using Vehicle-to-vehicle Communication, 藤田 敦,梅津 高朗,山口 弘純,東野 輝夫,金田 茂,高井 峰生, 情報処理学会論文誌, Vol. 56, No. 11, p. 2092-2105, 2015/11/15
  • Estimating Core Body Temperature Under Hot Environment Based on Human Thermal Model Using Wearable Sensors, 濱谷 尚志,内山 彰,東野 輝夫, 情報処理学会論文誌, Vol. 56, No. 10, p. 2033-2043, 2015/10/15
  • 携帯電話の基地局通信履歴と地理情報を用いたパーソントリップ推定法の提案, Vol. 2015, No. 5, p. 128-135, 2015/10/07
  • スマートフォンカメラを用いた群集人数推定システム, Vol. 2015, No. 5, p. 211-215, 2015/10/07
  • 設置位置の自動推定機能を備えたポータブル人感センサーシステム, Vol. 2015, No. 5, p. 222-226, 2015/10/07
  • Smart Life Support System Based on Modeling and Quantification of Common Know-How on Daily Life, 中村 笙子,志垣 沙衣子,廣森 聡仁,山口 弘純,東野 輝夫, 情報処理学会論文誌, Vol. 56, No. 8, p. 1621-1633, 2015/08/15
  • ユーザ要求に応じた災害情報集約のための蓄積運搬転送型通信に基づく情報処理基盤の設計, Vol. 2015, No. 1, p. 43-44, 2015/03/17
  • Utilizing Crowd Trajectories for Mobile AR Applications, 岩橋 宏樹,樋口 雄大,山口 弘純,東野 輝夫, IPSJ Journal, Information Processing Society of Japan (IPSJ), Vol. 56, No. 2, p. 470-482, 2015/02/15
  • A Study on Designing Smart Advisor in Daily Life, NAKAMURA Shoko,SHIGAKI Saeko,HIROMORI Akihito,YAMAGUCHI Hirozumi,HIGASHINO Teruo, IEICE technical report. ASN, Ambient intelligence and sensor networks, The Institute of Electronics, Information and Communication Engineers, Vol. 114, No. 418, p. 25-30, 2015/01/26
  • 靴型ウェアラブルセンサによる通行路状況推定手法の提案, Vol. 2015, No. 9, p. 1-8, 2015/01/19
  • 靴型ウェアラブルセンサによる通行路状況推定手法の提案, Vol. 2015, No. 9, p. 1-8, 2015/01/19
  • 靴型ウェアラブルセンサによる通行路状況推定手法の提案, Vol. 2015, No. 9, p. 1-8, 2015/01/19
  • Low-cost Indoor Crowd Density Sensing with Smartphones, 西村 友洋,樋口 雄大,山口 弘純,東野 輝夫, IPSJ Journal, Information Processing Society of Japan (IPSJ), Vol. 55, No. 12, p. 2511-2523, 2014/12/15
  • 密に設置されるITS路側機群の運用シナリオに適した無線相互干渉調停アルゴリズム, Vol. 2014, No. 28, p. 1-8, 2014/11/13
  • 密に設置されるITS路側機群の運用シナリオに適した無線相互干渉調停アルゴリズム, Vol. 2014, No. 28, p. 1-8, 2014/11/13
  • 多数の訪問者が滞留する展示会場における群衆検出システムの設計開発, Vol. 2014, No. 20, p. 1-9, 2014/08/20
  • Environmental Sensing and Data Analysis in Exhibition Space, YAMAGUCHI Hirozumi,HIROMORI Akihito,HIGASHINO Teruo,SHIMOJO Shinji, IEICE technical report. MoNA, Mobile network and applications, The Institute of Electronics, Information and Communication Engineers, Vol. 114, No. 160, p. 81-81, 2014/07/22
  • スマートフォンと靴センサを活用した災害時通行路の状況推定, No. 2014, p. 258-265, 2014/07/02
  • 都市部における無線LANチャネルの相対的な干渉レベルの推定手法, No. 2014, p. 595-604, 2014/07/02
  • スマートハウス内センシングを活用した生活行動推薦システム, No. 2014, p. 1557-1566, 2014/07/02
  • 車両プローブ情報に基づく信号待ち車列長変動の分析モデル, No. 2014, p. 1751-1759, 2014/07/02
  • トラッキングスキャナとモーションセンサを用いた高精度屋内位置推定手法の提案, No. 2014, p. 1767-1778, 2014/07/02
  • A Method of Supporting Passengers' Trips Using Public Transportation Systems, 前川 勇樹,内山 彰,山口 弘純,東野 輝夫, 情報処理学会論文誌, Vol. 55, No. 6, p. 1614-1624, 2014/06/15
  • 空間を共有する人々のためのソーシャルイベント可視化プラットフォーム「ひとなび」の設計開発 (モバイルネットワークとアプリケーション), Vol. 113, No. 495, p. 275-283, 2014/03/14
  • 空間を共有する人々のためのソーシャルイベント可視化プラットフォーム「ひとなび」の設計開発, Vol. 2014, No. 49, p. 1-9, 2014/03/07
  • 空間を共有する人々のためのソーシャルイベント可視化プラットフォーム「ひとなび」の設計開発, Vol. 2014, No. 49, p. 1-9, 2014/03/07
  • STDMA Scheduling for Densely-deployed Wireless Base Stations, 山口 弘純,廣森 聡仁,東野 輝夫,梅原 茂樹,浦山 博史,山田 雅也,前野 誉,金田 茂,高井 峰生, 情報処理学会論文誌, Vol. 55, No. 2, p. 826-837, 2014/02/15
  • A Performance Improvement of Large-scale ITS Wireless System Simulations by Abstract Interference Model, 金田 茂,前野 誉,高井 峰生,山口 弘純,東野 輝夫, 情報処理学会論文誌, Vol. 55, No. 1, p. 354-365, 2014/01/15
  • Location Accuracy Enhancement Using GPS Line-of-sight Detection in City Sections, 内山 彰,勝田 悦子,上嶋 祐紀,山口 弘純,東野 輝夫, 情報処理学会論文誌, Vol. 55, No. 1, p. 389-398, 2014/01/15
  • Design and Development of Sensing System Simulator with Realistic City Modeling, 金谷 拓実,廣森 聡仁,山口 弘純,東野 輝夫, 情報処理学会論文誌, Vol. 54, No. 11, p. 2371-2382, 2013/11/15
  • Repairing Floating Car Data Based on Location and Velocity Error Characteristics, No. 2013, 2013/09/18
  • Walkability Estimation using Smartphones in Buildings at the Time of Disaster, No. 2013, 2013/09/18
  • Relative Position Estimation Using Dead Reckoning and Received Signal Strength of Bluetooth, 樋口 雄大,山口 弘純,東野 輝夫, 情報処理学会論文誌, Vol. 54, No. 8, p. 2048-2060, 2013/08/15
  • A Framework for Sensing, Understanding and Visualizing People in Indoor Space, YAMAGUCHI Hirozumi,HIROMORI Akihito,HIGUCHI Takamasa,UCHIYAMA Akira,UMEDU Takaaki,HIGASHINO Teruo,SUN Weihua,SHIMOJO Shinji,YAMAGUCHI Yohei,SHIMODA Yoshiyuki, IEICE technical report. MoNA, Mobile network and applications, The Institute of Electronics, Information and Communication Engineers, Vol. 113, No. 168, p. 13-18, 2013/08/01
  • 世帯におけるエネルギー消費行動の最適化支援システム, No. 2013, p. 1995-2007, 2013/07/03
  • ひとがつながるなび - 位置と気持ちと空間の共有 -, No. 2013, p. 2105-2115, 2013/07/03
  • スマートホームにおける電力コストと生活満足度を考慮した行動スケジューリング手法の提案 (モバイルマルチメディア通信), Vol. 112, No. 493, p. 41-49, 2013/03/14
  • Sensor Placement Optimization Method for Crowd of People Tracking, KANAYA Takumi,HIROMORI Akihito,YAMAGUCHI Hirozumi,HIGASHINO Teruo, IEICE technical report, The Institute of Electronics, Information and Communication Engineers, Vol. 112, No. 493, p. 323-328, 2013/03/14
  • スマートホームにおける電力コストと生活満足度を考慮した行動スケジューリング手法の提案 (アドホックネットワーク), Vol. 112, No. 494, p. 41-49, 2013/03/14
  • スマートホームにおける電力コストと生活満足度を考慮した行動スケジューリング手法の提案, Vol. 2013, No. 7, p. 1-8, 2013/03/07
  • スマートホームにおける電力コストと生活満足度を考慮した行動スケジューリング手法の提案, Vol. 2013, No. 7, p. 1-8, 2013/03/07
  • Design and Development of Service Execution Platform for Overlay Networks, 境 裕樹,廣森聡仁,山口 弘純,東野 輝夫, 情報処理学会論文誌, 情報処理学会, Vol. 53, No. 11, p. 2612-2623, 2012/11/15
  • A Method for Estimating Intersection Characteristics Using Floating Car Data, Vol. 2012, No. 4, p. 1-8, 2012/11/08
  • A Performance Study on Link Volume Estimation using Floating Car Data, Vol. 2012, No. 20, p. 1-8, 2012/11/08
  • A Method for Estimating Intersection Characteristics Using Floating Car Data, Vol. 2012, No. 4, p. 1-8, 2012/11/08
  • A Performance Study on Link Volume Estimation using Floating Car Data, Vol. 2012, No. 20, p. 1-8, 2012/11/08
  • 密な基地局群の無線相互干渉調停のための空間分割スケジューリング技術, Vol. 2012, No. 4, p. 169-177, 2012/10/10
  • 様々なセンサを利用する位置行動検出システムの設計支援環境, No. 2012, 2012/09/14
  • Outdoor Map Estimation by Using Laser Range Scanners and Moblie Terminals, 井ノ口 真樹,藤井 彩恵,山口 弘純,東野 輝夫, 情報処理学会論文誌, 情報処理学会, Vol. 53, No. 7, p. 1757-1767, 2012/07/15
  • Demographic Estimation of Twitter Users for Marketing Analysis, 池田 和史,服部 元,松本 一則,小野 智弘,東野 輝夫, 情報処理学会論文誌コンシューマ・デバイス&システム(CDS), 情報処理学会, Vol. 2, No. 1, p. 82-93, 2012/03/21
  • Performance Evaluation of Mobility-Based Energy-Saving to Control Air-conditioning and Lighting Equipments, NAKAHAMA Koji,KANAYA Takumi,HIROMORI Akihito,YAMAGUCHI Hirozumi,HIGASHINO Teruo,YAMAGUCHI Yohei,MURAI Ayaka,SHIMODA Yoshiyuki, IEICE technical report, The Institute of Electronics, Information and Communication Engineers, Vol. 111, No. 476, p. 117-122, 2012/03/05
  • A Waypoint Mobility Model with Various Node Distributions, 上野 瑛次郎,廣森聡仁,山口 弘純,東野 輝夫, 情報処理学会論文誌, 情報処理学会, Vol. 53, No. 1, p. 232-242, 2012/01/15
  • An extension of clustering algorithm for smart-antenna use in wireless mesh networks, p. 647-651, 2012
  • オーバレイネットワーク上でアプリケーションサービスを実行するプラットフォームの設計と実装, No. 2011, p. 757-770, 2011/06/30
  • モバイルワイヤレスネットワークに影響を与えるノード移動制約特定手法の提案, No. 2011, p. 1367-1375, 2011/06/30
  • 障害物の存在する空間におけるレンジスキャナを用いた人流モデル化手法の提案, Vol. 2011, p. 1183-1192, 2011/06/30
  • Evaluation of Localization Algorithms Based on Accuracy of Relative Positions, 木山 昇,内山 彰,山口 弘純,東野 輝夫, 情報処理学会論文誌, Vol. 52, No. 1, p. 209-219, 2011/01/15
  • Efficient Localization for Intermittently Moving Nodes, 樋口 雄大,藤井 彩恵,山口 弘純,東野 輝夫, 情報処理学会論文誌, Vol. 52, No. 1, p. 197-208, 2011/01/15
  • A throughput evaluation of wireless Internet-access mesh network using MIMO and adaptive array antenna, p. 79-84, 2011
  • A proposal of fixed backoff-time switching method by link activation rate for wireless mesh networks, Shigeto Tajima,Nobuo Funabiki,Teruo Higashino, Proceedings of the International Conference on Complex, Intelligent and Software Intensive Systems, CISIS 2011, p. 647-652, 2011
  • Estimating Disaster Situation Using Mobile Nodes' Position and Wireless Link Information, 南本 真一,藤井 彩恵,山口 弘純,東野 輝夫, 情報処理学会論文誌, Vol. 51, No. 12, p. 2169-2183, 2010/12/15
  • Map estimation using GPS-equipped mobile wireless nodes, Shinichi Minamimoto,Sae Fujii,Hirozumi Yamaguchi,Teruo Higashino, PERVASIVE AND MOBILE COMPUTING, ELSEVIER SCIENCE BV, Vol. 6, No. 6, p. 623-641, 2010/12
  • Map estimation using GPS-equipped mobile wireless nodes, Shinichi Minamimoto,Sae Fujii,Hirozumi Yamaguchi,Teruo Higashino, PERVASIVE AND MOBILE COMPUTING, ELSEVIER SCIENCE BV, Vol. 6, No. 6, p. 623-641, 2010/12
  • IT Keys:ITリスク軽減のための情報セキュリティ技術者・管理者育成, p. 411-416, 2010/10
  • 様々な無線通信インフラを用いた協調移動支援システム評価のための行動シミュレータ, No. 2010, 2010/09/22
  • An Advanced Electronic Triage System for Rescue Operations in Disasters, KIYAMA N., 情報処理学会論文誌, Vol. 51, No. 9, p. 1916-1929, 2010/09/15
  • A Method for Automated Generation of Distributed Cooperative Programs for Wireless Sensor Nodes, MORI SHUNSUKE,INAGAKI AKIHIRO,UMEDU TAKAAKI,HIROMORI AKIHITO,YAMAGUCHI HIROZUMI,HIGASHINO TERUO, Vol. 54, p. R1-R8, 2010/05/20
  • A Method for Automated Generation of Distributed Cooperative Programs for Wireless Sensor Nodes, MORI SHUNSUKE,INAGAKI AKIHIRO,UMEDU TAKAAKI,HIROMORI AKIHITO,YAMAGUCHI HIROZUMI,HIGASHINO TERUO, Vol. 143, p. R1-R8, 2010/05/20
  • A WDS Clustering Algorithm for Wireless Mesh Networks, Shigeto Tajima,Nobuo Funabiki,Teruo Higashino, IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, IEICE-INST ELECTRONICS INFORMATION COMMUNICATIONS ENG, Vol. E93D, No. 4, p. 800-810, 2010/04
  • Fast Simulation Method for Wireless Network using Stochastic Event-driven Mode of CSMA/CA Protocols, MURANAKA SHINJI,HIROMORI AKIHITO,YAMAGUCHI HIROZUMI,HIGASHINO TERUO, Vol. 16, p. u1-u8, 2010/03/26
  • Fast Simulation Method for Wireless Network using Stochastic Event-driven Mode of CSMA/CA Protocols, MURANAKA SHINJI,HIROMORI AKIHITO,YAMAGUCHI HIROZUMI,HIGASHINO TERUO, Vol. 53, p. u1-u8, 2010/03/26
  • Fast Simulation Method for Wireless Network using Stochastic Event-driven Mode of CSMA/CA Protocols, MURANAKA SHINJI,HIROMORI AKIHITO,YAMAGUCHI HIROZUMI,HIGASHINO TERUO, Vol. 144, p. u1-u8, 2010/03/26
  • Fast Simulation Method for Wireless Network using Stochastic Event-driven Mode of CSMA/CA Protocols, MURANAKA SHINJI,HIROMORI AKIHITO,YAMAGUCHI HIROZUMI,HIGASHINO TERUO, Vol. 25, p. u1-u8, 2010/03/26
  • Automated Generation of Wireless Sensor Nodes' Programs for Monitoring Applications, MORI Shunsuke,UMEDU Takaaki,HIROMORI Akihito,YAMAGUCHI Hirozumi,HIGASHINO Teruo, Vol. 72, No. 0, p. 231-232, 2010/03/08
  • A Proposal of Mobility Model with Designated Node Density Distribution and Fairness of Waypoint Selection, UENO Eijiro,HIROMORI Akihito,YAMAGUCHI Hirozumi,HIGASHINO Teruo, IEICE technical report, The Institute of Electronics, Information and Communication Engineers, Vol. 109, No. 441, p. 7-12, 2010/02/24
  • An Intervehicular-Communication Protocol for Distributed Detection of Dangerous Vehicles, Takaaki Umedu,Kumiko Isu,Teruo Higashino,C. K. Toh, IEEE TRANSACTIONS ON VEHICULAR TECHNOLOGY, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, Vol. 59, No. 2, p. 627-637, 2010/02
  • An Intervehicular-Communication Protocol for Distributed Detection of Dangerous Vehicles, Takaaki Umedu,Kumiko Isu,Teruo Higashino,C. K. Toh, IEEE TRANSACTIONS ON VEHICULAR TECHNOLOGY, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, Vol. 59, No. 2, p. 627-637, 2010/02
  • An Electronic Triage System for Patient Monitoring, UCHIYAMA Akira,KIYAMA Noboru,KUSUDA Junko,HIROMORI Akihito,UMEDU Takaaki,YAMAGUCHI Hirozumi,HIGASHINO Teruo, IEICE technical report, The Institute of Electronics, Information and Communication Engineers, Vol. 109, No. 380, p. 35-36, 2010/01/14
  • An Electronic Triage System for Patient Monitoring, UCHIYAMA Akira,KIYAMA Noboru,KUSUDA Junko,HIROMORI Akihito,UMEDU Takaaki,YAMAGUCHI Hirozumi,HIGASHINO Teruo, IEICE technical report, The Institute of Electronics, Information and Communication Engineers, Vol. 109, No. 382, p. 35-36, 2010/01/14
  • A proposal of secure session provider service over NGN, Tadashi Kaji,Takahiro Fujishiro,Seiichi Susaki,Eri Kawai,Kazuyoshi Hoshino,Teruo Higashino, IEEJ Transactions on Electronics, Information and Systems, Institute of Electrical Engineers of Japan, Vol. 130, No. 8, p. 21-1463, 2010
  • Local Map Generation using Position and Communication History of Mobile Nodes, Vol. pp.2-10, 2010
  • Geographic routing on vehicular ad hoc networks, Hirozumi Yamaguchi,Weihua Sun,Teruo Higashino, Advances in Vehicular Ad-Hoc Networks: Developments and Challenges, IGI Global, p. 171-199, 2010
  • 負傷者の状態をリアルタイムに監視する電子トリアージ・タッグの評価, Vol. Vol. 2010-EMB-16, No. 5, pp. 1-8,, 2010
  • 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), Vol. pp.2-10, 2010
  • Geographic routing on vehicular ad hoc networks, Hirozumi Yamaguchi,Weihua Sun,Teruo Higashino, Advances in Vehicular Ad-Hoc Networks: Developments and Challenges, IGI Global, p. 171-199, 2010
  • Evaluation of Electronic Triage Tag to observe injured person's condition in Real Time, IPSJ SIG Technical Report, Vol. Vol. 2010-EMB-16, No. 5, pp. 1-8,, 2010
  • A WDS clustering algorithm for wireless mesh networks, Shigeto Tajima,Nobuo Funabiki,Teruo Higashino, IEICE Transactions on Information and Systems, Institute of Electronics, Information and Communication, Engineers, IEICE, Vol. E93-D, No. 4, p. 800-810, 2010
  • アドホック通信を用いた移動ノードの密度推定法(アドホックネットワーク1), Vol. 2009, No. 8, p. 17-24, 2009/12/20
  • 通信履歴と地理情報を併用した無線端末の移動軌跡推定(モバイルP2P,ユビキタスネットワーク,アドホックネットワーク,センサネットワーク,一般), Vol. 108, No. 398, p. 77-82, 2009/11
  • リクエスト振り分け機能を持つサーバ群による分散協調サービスの実現手法の検討, No. 2009, 2009/09/29
  • Triage Device Slightly Injured Person in Disaster Medical Assistant Network, SAKANUSHI Keishi,HIROMORI Akihito,IMAMURA Taichiro,OKAMOTO Junya,HIEDA Takuji,TAKEUCHI Yoshinori,IMAI Masaharu,KITAMICHI Junji,HIGASHINO Teruo, IEICE technical report, The Institute of Electronics, Information and Communication Engineers, Vol. 109, No. 201, p. 45-50, 2009/09/17
  • 無線センサーネットワークを利用した電子トリアージシステムの実現(学生特別セッション,モバイル/放送融合アプリケーション,モバイルコンテンツ,モバイル映像配信,一般), Vol. 109, No. 204, p. 33-38, 2009/09/17
  • B-15-19 Realizing Cooperative Monitoring for Wireless Sensor Networks, Mori Shunsuke,Umedu Takaaki,Hiromori Akihito,Yamaguchi Hirozumi,Higashino Teruo, Proceedings of the Society Conference of IEICE, The Institute of Electronics, Information and Communication Engineers, Vol. 2009, No. 1, p. 509-509, 2009/09/01
  • Wireless network simulation using communication models with different abstract levels, MURANAKA Shinji,HIROMORI Akihito,YAMAGUCHI Hirozumi,HIGASHINO Teruo, IEICE technical report, The Institute of Electronics, Information and Communication Engineers, Vol. 109, No. 122, p. 7-12, 2009/07/02
  • BP-7-5 An Overlay Agent Platform PIAX and Its Applications, Proceedings of the IEICE General Conference, The Institute of Electronics, Information and Communication Engineers, Vol. 2009, No. 2, p. "SS-24"-"SS-25", 2009/03/04
  • Design and Development of Electronic Triage System Using Wireless Sensor Networks, KUSUDA Junko,KIYAMA Noboru,UTIYAMA Akira,HIROMORI Akihito,UMEDU Takaaki,YAMAGUCHI Hirozumi,HIGASHINO Teruo, ITE Technical Report, The Institute of Image Information and Television Engineers, Vol. 33, No. 0, p. 33-38, 2009
  • Adaptive Location Based TDM Protocol for Inter-Vehicle Communication, Vol. pp. 1-8, 2009
  • Self-Estimation of Neighborhood Density for Mobile Wireless Nodes, 2009
  • Optimal Assignment of Periodic Real-time Systems into Dynamically Reconfigurable Processors, 2009
  • An Algorithm for Assigning Real-time Tasks with Timing Constraints into Dynamically Reconfigurable Processor, 2009
  • Real-time Trajectory Estimation in Mobile Ad Hoc Networks, 2009
  • ワイヤレスセンサネットワークの設計開発支援環境D-sense, Vol. Vol.50, No. 10, 2009
  • Urban pedestrian mobility for mobile wireless network simulation, Kumiko Maeda,Akira Uchiyama,Takaaki Umedu,Hirozumi Yamaguchi,Keiichi Yasumoto,Teruo Higashino, AD HOC NETWORKS, ELSEVIER SCIENCE BV, Vol. 7, No. 1, p. 153-170, 2009/01
  • Adaptive Location Based TDM Protocol for Inter-Vehicle Communication, Proceedings of IEEE Vehicular Networking Conference 2009 (VNC 2009), Vol. pp. 1-8, 2009
  • Self-estimation of neighborhood density for mobile wireless nodes, Junji Hamada,Akira Uchiyama,Hirozumi Yamaguchi,Shinji Kusumoto,Teruo Higashino, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 5585, p. 178-192, 2009
  • 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), 2009
  • An Algorithm for Assigning Real-time Tasks with Timing Constraints into Dynamically Reconfigurable Processor, Proceedings of the 3rd International Workshop on Infomatics (IWIN 2009), 2009
  • A Design Support Environment for Wireless Sensor Networks, IPSJ Transactions, Vol. Vol.50, No. 10, 2009
  • Real-time Trajectory Estimation in Mobile Ad Hoc Networks, Proceedings of the 12th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems, 2009
  • Urban pedestrian mobility for mobile wireless network simulation, Kumiko Maeda,Akira Uchiyama,Takaaki Umedu,Hirozumi Yamaguchi,Keiichi Yasumoto,Teruo Higashino, AD HOC NETWORKS, ELSEVIER SCIENCE BV, Vol. 7, No. 1, p. 153-170, 2009/01
  • Distributed Task Execution with Minimum Execution Time over Collaborative Peers, Vol. 2008, No. 14, p. 219-224, 2008/12/03
  • A Supporting Tool for Performance Test and Analysis of Mobile Wireless Networks, Vol. 2008, No. 14, p. 239-240, 2008/12/03
  • Hybrid Testbed enabling Run-time Operations for Wireless Applications, Kumiko Maeda,Keisuke Nakata,Takaaki Umedu,Hirozumi Yamaguchi,Keiichi Yasumotot,Teruo Higashino, PADS 2008: 22ND INTERNATIONAL WORKSHOP ON PRINCIPLES OF ADVANCED AND DISTRIBUTED SIMULATION, PROCEEDINGS, IEEE COMPUTER SOC, p. 135-+, 2008
  • A Contact-based Hybrid Routing Protocol for Mobile Ad Hoc Networks, Vol. 49(6), pp.2169-2179, 2008
  • A Study on Efficient Performance Tests of Wireless Networks by Finding Dominant Factors, Vol. 1121-1134, 2008
  • P2Pオーバレイネットワーク上での協調サービス実行を支援する統合システムの設計と実装, Vol. 149-160, 2008
  • ワイヤレスセンサネットワークの設計開発支援環境D-sense, Vol. 127-136, 2008
  • Neighbor selection algorithm for ad hoc networks with highly dynamic urban mobility, Akira Uchiyama,Sae Fujii,Takaaki Umedu,Hirozumi Yamaguchi,Teruo Higashino, IWCMC 2008 - International Wireless Communications and Mobile Computing Conference, p. 165-170, 2008
  • D-sense: An Integrated Environment for Algorithm Design and Protocol Implementation in Wireless Sensor Networks, 2008
  • アドホック無線通信を用いた位置推定法の現実環境を想定した性能評価, Vol. 49(10), pp.3612-3621, 2008
  • 無線端末の遭遇履歴情報を用いた移動軌跡推定手法の提案, Vol. 49(10), pp.3601-3611, 2008
  • 時刻により変化する都市歩行流を再現するモビリティモデルの提案と評価, Vol. 49(10), pp.3622-3630, 2008
  • Design and Deployment of Large-Scale Software-Intensive Systems in Urban Districts -Research Challenges toward Future Affluent Ambient Society-, Vol. Vol.5380, 2008
  • Certification of Secure Encounter History Among Low Power Mobile Sensors, 2008
  • メッセージフェリーと車車間通信を併用した渋滞情報収集システムの情報伝播効率の改善, Vol. Vol.49, No.1, pp.189-198, 2008
  • 車車間通信を用いた危険車両の検出手法の提案, 2008
  • 都市部における無線端末の移動特性を利用した情報共有方式, 2008
  • An Off-line Algorithm to Estimate Trajectories of Mobile Nodes Using Ad-hoc Communication, 2008
  • Realistic Mobility Aware Information Gathering in Disaster Areas, 2008
  • Realistic Mobility Aware Information Gathering in Disaster Areas, 2008
  • Stability Oriented Overlay Multicast for Multimedia Streaming in Multiple Source Context, 2008
  • Efficient VANET-based Traffic Information Sharing using Buses on Regular Routes, 2008
  • Hybrid Testbed enabling Run-time Operations for Wireless Applications, Kumiko Maeda,Keisuke Nakata,Takaaki Umedu,Hirozumi Yamaguchi,Keiichi Yasumotot,Teruo Higashino, PADS 2008: 22ND INTERNATIONAL WORKSHOP ON PRINCIPLES OF ADVANCED AND DISTRIBUTED SIMULATION, PROCEEDINGS, IEEE COMPUTER SOC, p. 135-+, 2008
  • A Study on Efficient Performance Tests of Wireless Networks by Finding Dominant Factors, Vol. 1121-1134, 2008
  • A Contact-based Hybrid Routing Protocol for Mobile Ad Hoc Networks, IPSJ Transactions, Vol. 49(6), pp.2169-2179, 2008
  • Neighbor selection algorithm for ad hoc networks with highly dynamic urban mobility, Akira Uchiyama,Sae Fujii,Takaaki Umedu,Hirozumi Yamaguchi,Teruo Higashino, IWCMC 2008 - International Wireless Communications and Mobile Computing Conference, p. 165-170, 2008
  • D-sense: An Integrated Environment for Algorithm Design and Protocol Implementation in Wireless Sensor Networks, Proc. of IFIP/IEEE MMNS 2008 (Proceedings of the 11th IFIP/IEEE International Conference on Management of Multimedia and Mobile Networks and Services), 2008
  • Evaluation of an Ad-hoc Based Positioning Technique in Realistic Environment, IPSJ Transactions, Vol. 49(10), pp.3612-3621, 2008
  • Estimating Movement of Wireless Terminals Using Ad hoc Communication History, IPSJ Transactions, Vol. 49(10), pp.3601-3611, 2008
  • Representing Temporal Density Variation in Urban Pedestrian Flows, IPSJ Transactions, Vol. 49(10), pp.3622-3630, 2008
  • Design and deployment of large-scale software-intensive systems in Urban districts: Research challenges toward future affluent ambient society, Teruo Higashino, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 5380, p. 116-131, 2008
  • Detecting Dangerous Vehicles Using Inter-vehicle Communication, 2008
  • Mobility-aware Data Management on Mobile Terminals in Urban Areas, 2008
  • Certification of Secure Encounter History Among Low Power Mobile Sensors, 2008
  • A Traffic Information Sharing System Using Inter-vehicle Communication together with Message Ferrying Technique, Vol. Vol.49, No.1, pp.189-198, 2008
  • An Off-line Algorithm to Estimate Trajectories of Mobile Nodes Using Ad-hoc Communication, 2008
  • Realistic Mobility Aware Information Gathering in Disaster Areas, Proceedings of IEEE Wireless Communications & Networking Conference(WCNC2008), 2008
  • Realistic Mobility Aware Information Gathering in Disaster Areas, 2008
  • Efficient VANET-based Traffic Information Sharing using Buses on Regular Routes, 2008
  • Stability Oriented Overlay Multicast for Multimedia Streaming in Multiple Source Context, 2008
  • MANETにおける位置推定法UPLを用いたデータ転送プロトコルの検討(セッション1:モバイル通信プロトコル), Vol. 2007, No. 98, p. 25-32, 2007/09/27
  • Design and evaluation of intervehicle dissemination protocol for propagation of preceding traffic information, Masashi Saito,Jun Tsukamoto,Takaaki Umedu,Teruo Higashino, IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, Vol. 8, No. 3, p. 379-390, 2007/09
  • Design and evaluation of intervehicle dissemination protocol for propagation of preceding traffic information, Masashi Saito,Jun Tsukamoto,Takaaki Umedu,Teruo Higashino, IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, Vol. 8, No. 3, p. 379-390, 2007/09
  • 現実的モビリティを考慮した災害時における情報収集法(セッション3), Vol. 2007, No. 28, p. 47-54, 2007/03/16
  • Design of a Sensor-based Certification Technique for Anonymous Encountering Information, SAKAI Takurou,UCHIYAMA Akira,NAKAMURA Yoshitaka,HIGASHINO Teruo, IPSJ SIG Notes, Information Processing Society of Japan (IPSJ), Vol. 2007, No. 16, p. 83-88, 2007/03/01
  • Deriving protocol specifications from service specifications written as Predicate/Transition-nets, Hirozumi Yamaguchi,Khaled El-Fakih,Gregor v. Bochmann,Teruo Higashino, COMPUTER NETWORKS, ELSEVIER SCIENCE BV, Vol. 51, No. 1, p. 258-284, 2007/01
  • Mobility-aware Data Management on Mobile Wireless Networks, 2007
  • Efficient VANET-based Traffic Information Sharing using Buses on Regular Routes, 2007
  • Ad-hoc Localization in Urban District, 2007
  • Efficient Parallel Simulation of Mobile Wireless Networks by Run-time Prediction of Multi-hop Propagation Delay, 2007
  • A Middleware for Implementation and Evaluation of Application Layer Multicast Protocols in Real Environments, 2007
  • A WDS Clustering Algorithm for Wireless Mesh Networks, 2007
  • ネットワークシミュレータMobiREALを用いたモバイルアドホックネットワークシステムの開発環境, Vol. Vol.48, No.7, pp.2238-224, 2007
  • Efficient acquisition of local traffic information using inter-vehicle communication with queries, 2007
  • Performance Evaluation of Mobile Wireless Communication and Services with Modelling of Real Environment, Vol. Vol.2, No. 4, pp.239-249, 2007
  • Efficient acquisition of local traffic information using inter-vehicle communication with queries, 2007
  • Automated Technology for Verification and Analysis, 2007
  • 大規模都市空間における人や車の行動モデルとリアルタイム予測・可視化技術, 2007
  • 少数の基準位置情報を移動無線端末間で補完する位置推定手法の提案と評価, Vol. Vol.48, No.12, pp.3977-3986, 2007
  • Synthesizing Realistic Vehicular Mobility for Precise Simulation of Inter-vehicle Communication, 2007
  • Deriving Protocol Specifications from Service Specifications Written as Predicate/Transition-Nets, Vol. Vol. 51, pp.258-284, 2007
  • 安全な多重帰属制御を実現する VPN 分散管理プロトコルの提案, Vol. Vol.48, No.2, pp.412-421, 2007
  • Deriving protocol specifications from service specifications written as Predicate/Transition-nets, Hirozumi Yamaguchi,Khaled El-Fakih,Gregor v. Bochmann,Teruo Higashino, COMPUTER NETWORKS, ELSEVIER SCIENCE BV, Vol. 51, No. 1, p. 258-284, 2007/01
  • Mobility-aware data management on mobile wireless networks, Akiko Yamasaki,Hirozumi Yamaguchi,Shinji Kusumoto,Teruo Higashino, IEEE Vehicular Technology Conference, p. 679-683, 2007
  • Ad-hoc Localization in Urban District, Proceedings of the 26th Annual IEEE Conference on Computer Communications (Infocom2007) Minisymposium, 2007
  • Efficient VANET-based Traffic Information Sharing using Buses on Regular Routes, 2007
  • Efficient Parallel Simulation of Mobile Wireless Networks by Run-time Prediction of Multi-hop Propagation Delay, 2007
  • A Middleware for Implementation and Evaluation of Application Layer Multicast Protocols in Real Environments, 2007
  • A WDS Clustering Algorithm for Wireless Mesh Networks, 2007
  • Development Environment for Mobile Ad-hoc Network Systems Using Network Simulator MobiREAL, Vol. Vol.48, No.7, pp.2238-224, 2007
  • Performance evaluation of mobile wireless communication and services with modelling of real environment, Akira Uchiyama,Kumiko Maeda,Takaaki Umedu,Hirozumi Yamaguchi,Teruo Higashino, International Journal of Ad Hoc and Ubiquitous Computing, Vol. 2, No. 4, p. 239-249, 2007
  • Efficient acquisition of local traffic information using inter-vehicle communication with queries, Takeshi Fujiki,Masayuki Kirimura,Takaaki Umedu,Teruo Higashino, IEEE Conference on Intelligent Transportation Systems, Proceedings, ITSC, p. 241-246, 2007
  • Efficient acquisition of local traffic information using inter-vehicle communication with queries, Takeshi Fujiki,Masayuki Kirimura,Takaaki Umedu,Teruo Higashino, IEEE Conference on Intelligent Transportation Systems, Proceedings, ITSC, p. 241-246, 2007
  • Automated Technology for Verification and Analysis, Springer, 2007
  • Proposal and Evaluation of Localization Algorithm for Mobile Nodes and Sparsely Deployed Landmarks, Vol. Vol.48, No.12, pp.3977-3986, 2007
  • Synthesizing Realistic Vehicular Mobility for Precise Simulation of Inter-vehicle Communication, 2007
  • Deriving protocol specifications from service specifications written as Predicate/Transition-nets, Hirozumi Yamaguchi,Khaled El-Fakih,Gregor v. Bochmann,Teruo Higashino, COMPUTER NETWORKS, ELSEVIER SCIENCE BV, Vol. 51, No. 1, p. 258-284, 2007/01
  • Design of Incentive Mechanism for Constructing Minimum Delay Multicast among Selfish End Users, Shimizu Yoshinori,Nakamura Yoshitaka,Yamaguchi Hirozumi,Higashino Teruo, IPSJ SIG Notes, Information Processing Society of Japan (IPSJ), Vol. 2006, No. 96, p. 55-60, 2006/09/15
  • 車車間通信を用いた渋滞情報収集システムにおける情報伝播方法の改善, SHINKAWA TAKASHI,TERAUCHI TAKASHI,KITANI TOMOYA,SHIBATA NAOKI,YASUMOTO KEIICHI,HIGASHINO TERUO,ITO MINORU, 情報処理学会シンポジウム論文集, Vol. 2006, No. 6-1, p. 225-228, 2006/07/05
  • MANET上での情報検索のための需要に基づいた情報複製配置方式, ENOMOTO MAKOTO,SHIBATA NAOKI,YASUMOTO KEIICHI,ITO MINORU,HIGASHINO TERUO, 情報処理学会シンポジウム論文集, Vol. 2006, No. 6-1, p. 137-140, 2006/07/05
  • Petri net-based protocol synthesis with minimum communication costs, Khaled El-Fakih,Hirozumi Yamaguchi,Gregor v. Bochmann,Teruo Higashino, JOURNAL OF THE FRANKLIN INSTITUTE-ENGINEERING AND APPLIED MATHEMATICS, PERGAMON-ELSEVIER SCIENCE LTD, Vol. 343, No. 4-5, p. 501-520, 2006/07
  • Petri net-based protocol synthesis with minimum communication costs, Khaled El-Fakih,Hirozumi Yamaguchi,Gregor v. Bochmann,Teruo Higashino, JOURNAL OF THE FRANKLIN INSTITUTE-ENGINEERING AND APPLIED MATHEMATICS, PERGAMON-ELSEVIER SCIENCE LTD, Vol. 343, No. 4-5, p. 501-520, 2006/07
  • 遭遇端末の位置情報と地理情報を併用した高精度な位置推定手法の提案と評価(ユビキタスネットワーク,ITS,センサーネットワーク,アドホックネットワーク), Vol. 2006, No. 50, p. 13-18, 2006/05/18
  • 遭遇端末の位置情報と地理情報を併用した高精度な位置推定手法の提案と評価(ユビキタスネットワーク,ITS,センサーネットワーク,アドホックネットワーク), Vol. 106, No. 44, p. 13-18, 2006/05/11
  • An optimal access-point allocation for wireless infrastrcuture mesh netwroks, 2006
  • トポロジの多重化によりトラヒック分散を実現した階層型論理トポロジの構成法とそのルーティングアルゴリズム, 2006
  • 無線メッシュネットワークにおけるゲートウエイ用アクセスポイント選択問題, 2006
  • MANETにおける複数共謀ノードによるパケットドロップ攻撃の検出手法の提案(MBL6: Ad Hoc Network2), Vol. 2006, No. 14, p. 257-262, 2006
  • 現実的なシミュレーションシナリオが記述可能な無線ネットワークシミュレータMobiREAL, Vol. Vol.47, No.2, pp.405-414, 2006
  • 広域ネットワークにおける自律的なグループ形成機構を用いた分散ネットワークモニタ方式の提案, Vol. Vol.47, No.2, pp.446-454, 2006
  • A MANET Protocol for Information Gathering from Disaster Victims, Vol. pp.447-451, 2006
  • A MANET Protocol for Information Gathering from Disaster Victims, Vol. pp.447-451, 2006
  • シミュレーションによるバス通信構造の設計改善を容易化するバスシステム設計支援ツールの提案, Vol. Vol.47, No.3, pp.884-896, 2006
  • An Internet Gateway Access-Point Selection Problem for Wireless Infrastructure Mesh Networks, Vol. CD-ROM, 2006
  • A Technique for Information Sharing Using Inter-Vehicle Communication with Message Ferrying, Vol. CD-ROM, 2006
  • Efficient and Robust Distributed Network Monitoring using Dynamic Group Formation, Vol. CD-ROM, 2006
  • 先行道路情報取得プロトコルRMDPの設計と評価, Vol. Vol.47, No. 4, PP.1248-1257, 2006
  • Maximizing User Gain in Multi-flow Multicast Streaming on Overlay Networks, Vol. CD-ROM, 2006
  • A Demand-Oriented Information Retrieval Method on MANET, Vol. CD-ROM, 2006
  • Execution Time Analysis for Binary Code Executed on a Pipelined Processor Using Parametric Model Checking, Vol. PRO-2006-1-(5), pp.1-12, 2006
  • P2Pアプリケーションの開発と性能評価のための統合開発環境の提案”, 情報処理学会論文誌, Vol. Vol. 47, No. 7, pp. 2194-2201, 2006
  • A Method for Sharing Traffic Jam Information using Inter-Vehicle Communication, Vol. CD-ROM, 2006
  • A Real Time Budgeting Method for Module-Level-Pipelined Bus Based System using Bus Scenarios, 2006
  • A Timed Failure Equivalence Preserving Abstraction for Parametric Time-Interval Automata, Vol. Vol.17, No.4, pp.833-850, 2006
  • 豊かで高信頼なアンビエントネットワークの構築をめざして, 2006
  • Detecting Dangerous Vehicles on Intelligent Transportation Systems, Vol. CD-ROM, no2.pdf, 2006
  • 現実的なシミュレーションシナリオが記述可能な無線ネットワークシミュレータMobiREAL, Vol. Vol.47, No.2, pp.405-414/,, 2006
  • 広域ネットワークにおける自律的なグループ形成機構を用いた分散ネットワークモニタ方式の提案, Vol. Vol.47, No.2, pp.446-454/,, 2006
  • A MANET Protocol for Information Gathering from Disaster Victims, Vol. pp.447-451, 2006
  • シミュレーションによるバス通信構造の設計改善を容易化するバスシステム設計支援ツールの提案, Vol. Vol.47, No.3, pp.884-896/,, 2006
  • MobiREAL Simulator Achieving Realistic Performance Evaluation of MANET, Vol. Vol.47, No.2, pp.405-414, 2006
  • A MANET Protocol for Information Gathering from Disaster Victims, Proceedings of the 2nd IEEE PerCom Workshop on Pervasive Wireless Networking (PWN 2006), Vol. pp.447-451, 2006
  • A MANET Protocol for Information Gathering from Disaster Victims, Vol. pp.447-451, 2006
  • A CAD Tool for Modeling and Simulation of Bus Systems to Facilitate Refinement of Bus Communication Structure, IPSJ Journal, Vol. Vol.47, No.3, pp.884-896, 2006
  • An Internet Gateway Access-Point Selection Problem for Wireless Infrastructure Mesh Networks, Proceedings of 2006 International Workshop on Future Mobile and Ubiquitous Information Technologies (FMUIT'06), Vol. CD-ROM, 2006
  • Efficient and Robust Distributed Network Monitoring using Dynamic Group Formation, Vol. CD-ROM, 2006
  • A Technique for Information Sharing Using Inter-Vehicle Communication with Message Ferrying, Proceedings of 2006 International Workshop on Future Mobile and Ubiquitous Information Technologies (FMUIT'06), Vol. CD-ROM, 2006
  • Maximizing User Gain in Multi-flow Multicast Streaming on Overlay Networks, Proceedings of 2006 International Workshop on Future Mobile and Ubiquitous Information Technologies (FMUIT'06), Vol. CD-ROM, 2006
  • A Demand-Oriented Information Retrieval Method on MANET, Proceedings of 2006 International Workshop on Future Mobile and Ubiquitous Information Technologies (FMUIT'06), Vol. CD-ROM, 2006
  • 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), Vol. CD-ROM, 2006
  • A Real Time Budgeting Method for Module-Level-Pipelined Bus Based System using Bus Scenarios, Proc. of the 43rd ACM/IEEE Annual Design Automation Conference (DAC 2006), 2006
  • A Timed Failure Equivalence Preserving Abstraction for Parametric Time-Interval Automata, International Journal of Foundations of Computer Science,, Vol. Vol.17, No.4, pp.833-850, 2006
  • Detecting Dangerous Vehicles on Intelligent Transportation Systems, Vol. CD-ROM, no2.pdf, 2006
  • MobiREAL Simulator Achieving Realistic Performance Evaluation of MANET, Vol. Vol.47, No.2, pp.405-414/,, 2006
  • A MANET Protocol for Information Gathering from Disaster Victims, Proceedings of the 2nd IEEE PerCom Workshop on Pervasive Wireless Networking (PWN 2006), Vol. pp.447-451, 2006
  • A CAD Tool for Modeling and Simulation of Bus Systems to Facilitate Refinement of Bus Communication Structure, IPSJ Journal, Vol. Vol.47, No.3, pp.884-896/,, 2006
  • Double depth first search based parametric analysis for parametric time-interval automata, T Tanimoto,A Nakata,H Hashimoto,T Higashino, IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, IEICE-INST ELECTRONICS INFORMATION COMMUNICATIONS ENG, Vol. E88A, No. 11, p. 3007-3021, 2005/11
  • Double depth first search based parametric analysis for parametric time-interval automata, T Tanimoto,A Nakata,H Hashimoto,T Higashino, IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, IEICE-INST ELECTRONICS INFORMATION COMMUNICATIONS ENG, Vol. E88A, No. 11, p. 3007-3021, 2005/11
  • Double depth first search based parametric analysis for parametric time-interval automata, T Tanimoto,A Nakata,H Hashimoto,T Higashino, IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, IEICE-INST ELECTRONICS INFORMATION COMMUNICATIONS ENG, Vol. E88A, No. 11, p. 3007-3021, 2005/11
  • Double depth first search based parametric analysis for parametric time-interval automata, T Tanimoto,A Nakata,H Hashimoto,T Higashino, IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, IEICE-INST ELECTRONICS INFORMATION COMMUNICATIONS ENG, Vol. E88A, No. 11, p. 3007-3021, 2005/11
  • A propagation method of congestion information using inter-vehicle communication for alleviation of traffic jam, TERAUCHI Takashi,SHIBATA Naoki,YASUMOTO Keiichi,HIGASHINO Teruo,ITO Minoru, Information Processing Society of Japan (IPSJ), Vol. 2005, No. 89, p. 71-76, 2005/09/05
  • Proposal of Service Design Technique to Achieve Service by Component Cooperation on Overlay Network, Nakamura Yoshitaka,Yamaguchi Hirozumi,Hiromori Akihito,Higashino Teruo, IPSJ SIG Notes, Information Processing Society of Japan (IPSJ), Vol. 2005, No. 33, p. 321-326, 2005/03/22
  • Proposal of a Navigation System for Dissolving Traffic Congestion with Inter-Vehicle Communication, Terauchi Takashi,Shibata Naoki,Yasumoto Keiichi,Higashino Teruo,Ito Minoru, IPSJ SIG Notes, Information Processing Society of Japan (IPSJ), Vol. 2005, No. 33, p. 7-12, 2005/03/22
  • Implementation of Group Navigation System for Mobile Terminals, NAKAMURA Masatoshi,REN Gui-Quan,NAKAMURA Yoshitaka,UMEDU Takaaki,HIGASHINO Teruo, 情報処理学会研究報告高度交通システム(ITS), 一般社団法人情報処理学会, Vol. 2005, No. 21, p. 83-88, 2005/03/11
  • 階層型コーダルリングネットワークにおけるコンパクトルーティングアルゴリズム, 2005
  • マルチホップ WDM ネットワークにおけるトラヒック分散のための静的トポロジ構成法の改善, 2005
  • 無線LANのWDSにおけるAP間通信へのリンクスケジューリングアルゴリズムの適用, 2005
  • Evaluation of inter-vehicle ad-hoc communication protocol, Masashi Saito,Jun Tsukamoto,Takaaki Umedu,Teruo Higashino, Proceedings - International Conference on Advanced Information Networking and Applications, AINA, Vol. 1, p. 78-83, 2005
  • Automatic Decomposition of Java Program for Implementation on Mobile Terminals, Vol. p.544-549, 2005
  • Optical-drop wavelength assignment problem for wavelength reuse in WDM ring metropolitan area networks, Vol. pp. 999-1004, 2005
  • Personally Customizable Group Navigation System using Cellular Phones and Wireless Ad-hoc Communication, Vol. CD-ROM, cr1738.pdf, 2005
  • An Efficient Overlay Multicast Protocol for Heterogeneous Users, Vol. Vol.46, No.11, pp.2614-2622, 2005
  • 先行経路上の道路情報取得用アドホック通信プロトコルの開発, Vol. Vol.46, No.11, pp.2695-2703, 2005
  • Future of Mobile and Ubiquitous Computing, 2005
  • リアルタイム組込みシステムの動的再構成可能プロセッサへの一実装方法の提案, Vol. RECONF2005-53~58, pp.31-36, 2005
  • 帯域制約のもとで遅延最小のオーバレイマルチキャスト木を構築する分散アルゴリズム, Vol. Vol.J88-D-I, No.11, pp.1648-1658, 2005
  • シナリオを用いたタスク及びバス転送へのサイクル割り当ての一手法, Vol. 2005-SLDM-122, pp.157-162, 2005
  • A proposal of a node configuration algorithm for WDM ring networks, 2005
  • リアルタイム組込みシステムを対象とした高信頼性ハードウェア設計のための一 手法, Vol. Vol.J88-A, No.12, pp.1487-1496, 2005
  • Optical-drop wavelength assignment problem for wavelength reuse in WDM ring metropolitan area networks, Vol. pp. 999-1004, 2005
  • An Efficient Overlay Multicast Protocol for Heterogeneous Users, Vol. Vol.46, No.11, pp.2614-2622/,, 2005
  • 先行経路上の道路情報取得用アドホック通信プロトコルの開発, Vol. Vol.46, No.11, pp.2695-2703/,, 2005
  • Future of Mobile and Ubiquitous Computing, 2005
  • 帯域制約のもとで遅延最小のオーバレイマルチキャスト木を構築する分散アルゴリズム, Vol. Vol.J88-D-I, No.11, pp.1648-1658/,, 2005
  • A proposal of a node configuration algorithm for WDM ring networks, 2005
  • リアルタイム組込みシステムを対象とした高信頼性ハードウェア設計のための一 手法, Vol. Vol.J88-A, No.12, pp.1487-1496/,, 2005
  • オーバレイネットワーク上で遅延最小木を動的に構築する分散型プロトコルMODEの提案と評価, Vol. Vol.46,No.2,pp.482-492/,, 2005
  • Evaluation of Inter-Vehicle Ad-hoc Communication Protocol, Vol. pp.78-83, 2005
  • Automatic Decomposition of Java Program based on Simulation and its Implementation on Mobile Terminals, 2005
  • Toward Future Innovation of Mobile Communication Systems - Current Requirements for Research -, Vol. pp. 2-7, 2005
  • Toward Future Innovation of Mobile Communication Systems - Current Requirements for Research -, 2005
  • MODE for Mobile - An Efficient Overlay Multicast Protocol for Heterogeneous Users, Vol. pp. 96-101, 2005
  • FLEXA: Distributed and Flexible Network Monitoring with Autonomous Group Formation, 2005
  • A Formal Approach to Design Optimized Multimedia Service Overlay, Vol. pp.57-62, 2005
  • Framework and Rule-based Language for Facilitating Context-aware Computing using Information Appliances, 2005
  • Design and Implemetation of Overlay Multicast Protocol for Multimedia Streaming, Vol. pp.41-48, 2005
  • Personally Customizable Group Navigation System using Cellular Phones and Wireless Ad-hoc Communication, 2005
  • Automatic Decomposition of Java Program for Implementation on Mobile Terminals, Vol. p.544-549, 2005
  • Evaluation of Inter-Vehicle Ad-hoc Communication Protocol, Vol. p. 78-83, 2005
  • Personally Customizable Group Navigation System using Cellular Phones and Wireless Ad-hoc Communication, Vol. CD-ROM, cr1738.pdf, 2005
  • Future of Mobile and Ubiquitous Computing, Proceedings of the First International Workshop on Network Architecture and Service Models (NASM 2005), 2005
  • A proposal of a node configuration algorithm for WDM ring networks, Proceedings of International Conference on Optical Communications and Networks (ICOCN-2005), 2005
  • Future of Mobile and Ubiquitous Computing, Proceedings of the First International Workshop on Network Architecture and Service Models (NASM 2005), 2005
  • A proposal of a node configuration algorithm for WDM ring networks, Proceedings of International Conference on Optical Communications and Networks (ICOCN-2005), 2005
  • A Decentralized Protocol MODE for Minimum Delay Spanning Trees on Overlay Networks, IPSJ Transactions, Vol. Vol.46,No.2,pp.482-492/,, 2005
  • Toward Future Innovation of Mobile Communication Systems - Current Requirements for Research -, Proceedings of the 2nd International Conference on Mobile Computing and Ubiquitous Networking (ICMU2005), Vol. pp. 2-7, 2005
  • MODE for Mobile - An Efficient Overlay Multicast Protocol for Heterogeneous Users, Proceedings of the 2nd International Conference on Mobile Computing and Ubiquitous Networking (ICMU2005), Vol. pp. 96-101, 2005
  • A Formal Approach to Design Optimized Multimedia Service Overlay, Proceedings of the ACM 15th International Workshop on Network and Operating Systems Support for Digital Audio and Video, Vol. pp.57-62, 2005
  • Design and Implemetation of Overlay Multicast Protocol for Multimedia Streaming, Vol. pp.41-48, 2005
  • A Study on a Realistic Network Simulator for MANET Applications, Konishi Kazuki,Uchiyama Akira,Hiromori Akihito,Yamaguchi Hirozumi,Yasumoto Keiichi,Higashino Teruo,Taniguchi Kenichi, Information Processing Society of Japan (IPSJ), Vol. 2004, No. 114, p. 55-62, 2004/11/11
  • 携帯端末の現実的な移動モデルを表現可能なネットワークシミュレータの設計と実装(マルチメディアアプリケーション), Vol. 2004, No. 89, p. 21-27, 2004/09/02
  • Reducing the Size of Routing Tables for Large-scale Network Simulation, HIROMORI AKIHITO,YAMAGUCHI HIROZUMI,YASUMOTO KEIICHI,HIGASHINO TERUO,TANIGUCHI KENICHI, IPSJ journal, Information Processing Society of Japan (IPSJ), Vol. 45, No. 4, p. 1134-1143, 2004/04/15
  • An application level multicast protocol for multi-party visual communication systems, YAMAGUCHI Hirozumi,NAKAMURA Yoshitaka,HIROMORI Akihito,YASUMOTO Keiichi,HIGASHINO Teruo,TANIGUCHI Kenichi,Hirozumi Yamaguchi,Yoshitaka Nakamura,Akihito Hiromori,Keiichi Yasumoto,Teruo Higashino,Kenichi Taniguchi,Graduate School of Information Science and Technology Osaka University・,Graduate School of Information Science and Technology Osaka University・,Graduate School of Information Science and Technology Osaka University・,Graduate School of Information Science Nara Institute of Science and Technology,Graduate School of Information Science and Technology Osaka University・,Graduate School of Information Science and Technology Osaka University・, Computer Software, Japan Society for Software Science and Technology, Vol. 21, No. 2, p. 83-93, 2004/03/25
  • Middleware Providing Dynamic Group Communication Facility for Cellular Phone Applications, Vol. p.170, 2004
  • 無線ネットワークのリンクスケジューリング問題に対するヒューリスティック解法の提案, 2004
  • Middleware Providing Group Communication Facility Based on Muliti-way Synchronization for Cellular Phone Applications, 2004
  • 外部入力のみを保持できる整数変数を持つFSMに対する記号モデル検査法, Vol. Vol.J87-D1, No.4, pp.462-470, 2004
  • Compact tree plus algorithms for application-level multicast communications in multihome networks, Vol. pp. 139-144, 2004
  • A Minimum Dead Space Algorithm for Wavelength Reuse Problems in WDM Ring Metropolitan Area Networks, Vol. pp. 371-374, 2004
  • Middleware Providing Dynamic Group Communication Facility for Cellular Phone Applications, Vol. p.170, 2004
  • 無線ネットワークのリンクスケジューリング問題に対するヒューリスティック解法の提案, 2004
  • Middleware Providing Group Communication Facility Based on Muliti-way Synchronization for Cellular Phone Applications, 2004
  • 外部入力のみを保持できる整数変数を持つFSMに対する記号モデル検査法, Vol. Vol.J87-D1, No.4, pp.462-470/,, 2004
  • Compact tree plus algorithms for application-level multicast communications in multihome networks, Vol. pp. 139-144, 2004
  • A Minimum Dead Space Algorithm for Wavelength Reuse Problems in WDM Ring Metropolitan Area Networks, Vol. pp. 371-374, 2004
  • An Autonomous and Decentralized Protocol for Delay Sensitive Overlay Multicast Tree, 2004
  • バスアクセス方式およびバス調停方式の最適化を支援するバスシステム設計支援ツールの提案, 2004
  • A Method for Designing Multimedia Protocols using Both Parametric Model Checking and Functional Testing, 2004
  • P2PMM router: a Two-Stage Heuristic Algorithm to Peer-to-Peer Multicast Routing Problems in Multihome Networks, 2004
  • アサーションベース設計原著2版「監訳」, 2004
  • A Minumum Dead Space Algorithm for Generalized Isochronous Channel Reuse Problem in DQDB Networks, 2004
  • 外部入力値のみを保持できる整数変数を持つFSMに対する記号モデル検査法, Vol. Vol.J87-DI, No.4, pp.462-470/,, 2004
  • Inter-vehicle Ad-hoc Communication Protocol for Acquiring Local Traffic Information, 2004
  • A Global Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata, Vol. Vol. 3299, 2004
  • A Proposal of Hierarchical Chordal Ring Network Topology for WDM Networks, 2004
  • コンテキストに基づいたグループ形成とグループ通信機能を提供する携帯電話向けミドルウェア, Vol. Vol.45, No. 12, pp.2666-2677/,, 2004
  • マルチランデブに基づくグループ通信機能を提供するJavaミドルウェアの提案, 2004
  • A Flexible and High-Reliable HW/SW Co-Design Method for Real-Time Embedded Systems, 2004
  • エンドホストの動画像フィルタリングによるアプリケーション層でのQoSマルチキャストの実現, Vol. Vol.45,No.2/,, 2004
  • 大規模シミュレーション向けのルーティングテーブル容量の削減, Vol. Vol.45,No.4/,, 2004
  • A Heuristic Algorithm for Link Scheduling Problems in Packet Radio Networks, 2004
  • 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, 2004
  • Compact tree plus algorithms for application-level multicast communications in multihome networks, Proceedings of the IEEE International Conference on Networks 2004 (ICON 2004), Vol. pp. 139-144, 2004
  • A Minimum Dead Space Algorithm for Wavelength Reuse Problems in WDM Ring Metropolitan Area Networks, Proceedings of International Conference on Optical Communications and Networks (ICOCN-2004), Vol. pp. 371-374, 2004
  • A Heuristic Algorithm for Link Scheduling Problems in Packet Radio Networks, 2004
  • 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, 2004
  • Compact tree plus algorithms for application-level multicast communications in multihome networks, Proceedings of the IEEE International Conference on Networks 2004 (ICON 2004), Vol. pp. 139-144, 2004
  • A Minimum Dead Space Algorithm for Wavelength Reuse Problems in WDM Ring Metropolitan Area Networks, Proceedings of International Conference on Optical Communications and Networks (ICOCN-2004), Vol. pp. 371-374, 2004
  • An Autonomous and Decentralized Protocol for Delay Sensitive Overlay Multicast Tree, Proceedings of the 24th International Conference on Distributed Computing Systems (ICDCS2004), 2004
  • A CAD Tool for Modeling and Simulation of Bus Systems to Optimize Bus Access and Bus Arbitration, 2004
  • A Method for Designing Multimedia Protocols using Both Parametric Model Checking and Functional Testing, STUDIA INFORMATICA UNIVERSALIS, 2004
  • P2PMM router: a Two-Stage Heuristic Algorithm to Peer-to-Peer Multicast Routing Problems in Multihome Networks, 2004
  • Assertion-Based Design Second Edition (Japanese Translated), Maruzen (Japanese Edition) , Kluwer Academic Publishers (Original), 2004
  • A Minumum Dead Space Algorithm for Generalized Isochronous Channel Reuse Problem in DQDB Networks, IEICE Transactions on Communications, 2004
  • Symbolic Model Checking of Extended Finite State Machines with Linear Constraints over Integer Variables, Vol. Vol.J87-DI, No.4, pp.462-470/,, 2004
  • Inter-vehicle Ad-hoc Communication Protocol for Acquiring Local Traffic Information, Proceedings of 11th World Congress on ITS, 2004
  • A Global Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata, Proceedings of 2nd International Symposium on Automated Technology for Verification and Analysis, Lecture Notes in Computer Science, Vol. 3299, Vol. Vol. 3299, 2004
  • A proposal of hierarchical chordal ring network topology for WDM networks, Tomoya Kitani,Nobuo Funabiki,Teruo Higashino, Proceedings - IEEE International Conference on Networks, ICON, Vol. 2, p. 605-609, 2004
  • A Flexible and High-Reliable HW/SW Co-Design Method for Real-Time Embedded Systems, 2004
  • 自律的なグループ形成機構を用いた分散型ネットワークモニタの実装とその評価(セッション5:分散処理), Vol. 2003, No. 113, p. 51-56, 2003/11/30
  • An Adaptive Routing Table Reconstruction Method for Mobile Ad-Hoc Network Simulation, HIROMORI AKIHITO,YAMAGUCHI HIROZUMI,YASUMOTO KEIICHI,HIGASHINO TERUO,TANIGUCHI KENICHI, IPSJ SIG technical reports, Information Processing Society of Japan (IPSJ), No. 27, p. 137-143, 2003/11/13
  • An Autonomous and Decentralized Protocol for Delay Sensitive Overlay Multicast Tree, MALINDA Thilmee,HIROMORI Akihito,YAMAGUCHI Hirozumi,HIGASHINO Teruo, IPSJ SIG Notes, Information Processing Society of Japan (IPSJ), Vol. 115, p. 33-38, 2003/11/13
  • An Adaptive Routing Table Reconstruction Method for Mobile Ad-Hoc Network Simulation, HIROMORI AKIHITO,YAMAGUCHI HIROZUMI,YASUMOTO KEIICHI,HIGASHINO TERUO,TANIGUCHI KENICHI, Information Processing Society of Japan (IPSJ), Vol. 2003, No. 114, p. 137-143, 2003/11/13
  • 大規模ネットワークシミュレーション向けのルーティングテーブルの容量削減法の提案と実装, Vol. 2003, No. 1, p. 277-278, 2003/03/25
  • Protocol synthesis and re-synthesis with optimal allocation of resources based on extended Petri nets, H Yamaguchi,K El-Fakih,G von Bochmann,T Higashino, DISTRIBUTED COMPUTING, SPRINGER, Vol. 16, No. 1, p. 21-35, 2003/02
  • Deformable-Templateマッチング法による眼の輪郭線抽出に関する研究, 2003
  • A proposal of a two-stage heuristic algorithm for peer-to-peer multicast routing problems in multihome networks, 2003
  • On Designing End-user Multicast for Multiple Video Sources, 2003
  • Deformable Templateマッチング法による唇輪郭抽出法の改良と歯科医療応用を目的とした評価, Vol. Vol.J86-D-II, No.8, pp.1177-1185 (Aug. 2003), 2003
  • Decomposing Service Definition in Predicate/Transition-Nets for Designing Distributed Systems, 2003
  • Emma Middleware: Application-level Multicast Infrastructure for Multi-party Video Communication, 2003
  • Deformable Templateマッチング法による唇輪郭抽出法の改良と歯科医療応用を目的とした評価, Vol. J86-D-II(8), 1177-1185, 2003
  • On Designing End-user Multicast for Multiple Video Sources, 2003
  • Deformable Templateマッチング法による唇輪郭抽出法の改良と歯科医療応用を目的とした評価, Vol. Vol.J86-D-II, No.8, pp.1177-1185 (Aug. 2003)/,, 2003
  • Decomposing Service Definition in Predicate/Transition-Nets for Designing Distributed Systems, 2003
  • Emma Middleware: Application-level Multicast Infrastructure for Multi-party Video Communication, 2003
  • Deformable Templateマッチング法による唇輪郭抽出法の改良と歯科医療応用を目的とした評価, Vol. J86-D-II(8), 1177-1185/,, 2003
  • 高速ネットワーク向けネットワークモニタ回路の設計と実装, Vol. 44, No. 6, p. 1593-1603, 2003
  • 双方向マンハッタンストリートネットワークのノード配置問題に対する階層型近似アルゴリズムの提案, Vol. J86-D-I, No. 2, p. 99-107, 2003
  • 並行周期EFSMに対するパラメトリックモデル検査手法, Vol. J86-D-I, No. 2, p. 75-87, 2003
  • On Designing End-user Multicast for Multiple Video Sources, Proceedings of the 2003 IEEE International Conference on Multimedia & Expo (ICME2003), 2003
  • Decomposing Service Definition in Predicate/Transition-Nets for Designing Distributed Systems, 2003
  • Emma Middleware: Application-level Multicast Infrastructure for Multi-party Video Communication, Proceedings of the 15th IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS2003), 2003
  • On Designing End-user Multicast for Multiple Video Sources, Proceedings of the 2003 IEEE International Conference on Multimedia & Expo (ICME2003), 2003
  • Decomposing Service Definition in Predicate/Transition-Nets for Designing Distributed Systems, 2003
  • Emma Middleware: Application-level Multicast Infrastructure for Multi-party Video Communication, Proceedings of the 15th IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS2003), 2003
  • Emma Middleware: An Application-level Multicast Infrastructure for Multi-party Video Communication, Proc. of PDCS2003, 2003
  • Design of Media Synchronization Protocols using Parametric Model Checking and Functional Testing, Proc. of WTRTES 2003, p. 51-62, 2003
  • A Two-stage Hierarchical Algorithm for Wavelength Assignment in WDM-based Bidirectional Manhattan Street Networks, Proc. of ICON2003, p. 417-424, 2003
  • Decomposing Service Definition in Predicate/Transition-Nets for Designing Distributed Systems, Proc of IFIP FORTE2003, p. 399-414, 2003
  • QoS Functional Testing for Multi-media Systems, Proc. of IFIP FORTE2003, p. 319-334, 2003
  • Design and Implementation of Priority Queuing Mechanism on FPGA using Concurrent Periodic EFSMs and Parametric Model Checking, Proc. of FPL2003, p. 1145-1148, 2003
  • On Designing End-user Multicast for Multiple Video Sources, Proc. of IEEE ICME2003, Vol. III, p. 497-500, 2003
  • Reducing the Size of Routing Tables for Large-scale Network Simulation, Proc. of IEEE PADS'03 (selected as one of three best papers), p. 115-122, 2003
  • A Receiver Coordination Protocol for the Efficient Use of Bandwidth in Distributed Multimedia Applications, Proc. of MNSA2003, p. 531-536, 2003
  • A Proposal of a Minimal-state Processing Search Algorithm for Isochronous Channel Reuse Problems in DQDB Networks, Proc. of AINA2003, p. 229-232, 2003
  • A proposal of a minimal-state processing search algorithm for link scheduling problems in packet radio networks, Proc. of SAINT 2003, p. 128-135, 2003
  • Improving Robustness of Application Layer Multicast Protocol Emma, NAKAMURA Yoshitaka,HIROMORI Akihito,YAMAGUCHI Hirozumi,YASUMOTO Keiichi,HIGASHINO Teruo, IPSJ SIG Notes, Information Processing Society of Japan (IPSJ), Vol. 110, No. 108, p. 7-12, 2002/11/21
  • A quasi-solution state evolution algorithm for channel assignment problems in cellular networks, N Funabiki,T Nakanishi,T Yokohira,S Tajima,T Higashino, IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, IEICE-INST ELECTRONICS INFORMATION COMMUNICATIONS ENG, Vol. E85A, No. 5, p. 977-987, 2002/05
  • ユーザの移動情報を利用したモバイル・マルチキャストルーティング問題の一解法, 2002
  • ネットワークのリンクスケジューリングにおけるタイムスロット数下限値算出法の改善, 2002
  • 通信プロトコルの試験系列生成問題に対するSATアルゴリズム適用法の提案, Vol. J85-D-I, No. 11, p. 1038-1046, 2002
  • 静的およびモバイル・マルチキャストルーティング問題に対する最適パス選択解法の提案, Vol. J85-A, No. 3, p. 358-369, 2002
  • マルチランデブチャネルの動的確立機構を持つモバイルアプリケーション記述言語の提案, Vol. 19, No. 2, p. 35-46, 2002
  • IPマルチキャスト環境における複製動画像サーバ選択アルゴリズム, Vol. 43, No. 2, p. 408-417, 2002
  • Middleware for Synchronous Group Communication in Wireless Ad Hoc Networks, Proc. of CCN2002, p. 48-53, 2002
  • Design and Implementation of FPGA Circuits for High Speed Network Monitors, Proc. of FPL2002, p. 393-403, 2002
  • A Server Selection Algorithm for Replicated Video Multicast Based on Packet Monitoring, Proc. of ICPP2002, p. 556-563, 2002
  • A Language for Describing Wireless Mobile Applications with Dynamic Establishment of Multi-way Synchronization Channels, Proc. of FME2002, p. 607-624, 2002
  • Protocol Animation based on Event-driven Visualization Scenarios in Real-time LOTOS, Computer Networks, Vol. 40, No. 5, p. 639-663, 2002
  • 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, p. 125-136, 2002
  • A Method for Functional Testing of Media Synchronization Protocols, Proc. of ICOIN16, 2002
  • An Optimal Path Selection Algorithm for Static and Mobile Multicast Routing Problems, Proc. of ICOIN16, 2002
  • A Proposal of a Quasi-solution State Evolution Algorithm for Channel Assignment Problems, Proc of IEEE 16th International Conference on Information Networking (ICOIN-16), 2002
  • A Protocol for Application Layer Multicast Based on Users' Preference, YAMAGUCHI Hirozumi,NAKAMURA Yoshitaka,HIROMORI Akihito,YASUMOTO Keiichi,HIGASHINO Teruo,TANIGUCHI Kenichi, IPSJ SIG Notes, Information Processing Society of Japan (IPSJ), Vol. 107, No. 32, p. 43-48, 2001/10/19
  • A compiler to implement LOTOS specifications in distributed environments, K Yasumoto,T Higashino,K Taniguchi, COMPUTER NETWORKS, ELSEVIER SCIENCE BV, Vol. 36, No. 2-3, p. 291-310, 2001/07
  • Improving Scalability in Monitoring-based Multicast Server Selection, HIROMORI Akihito,YAMAGUCHI Hirozumi,YASUMOTO Keiichi,HIGASHINO Teruo,TANIGUCHI Kenichi, IPSJ SIG Notes, Information Processing Society of Japan (IPSJ), Vol. 105, p. 31-36, 2001/05/26
  • 複数のマルチキャストストリーム配送における品質満足度を考慮した中継サーバ選択方式の提案, Vol. 2001, No. 1, p. 419-420, 2001/03/13
  • ネットワークのリンクスケジューリングへのグラフ彩色アプローチ, 2001
  • Deformable-Templateマッチング法による唇輪郭抽出法の改良としきい値自動調整アルゴリズムの提案, 2001
  • モバイル・マルチキャストルーティング問題に対する最適パス選択解法の提案, 2001
  • タイマシステムコールを用いるDFSMプロトコルに対する試験系列生成手法, Vol. 42-12,3072-3081/,, 2001
  • 観測不可能な非決定動作を含む並行DFSM群としてモデル化される通信 プロトコルの適合性試験法, Vol. 42, No. 12, p. 3063-3071, 2001
  • 制約指向モデルで記述された対称性を持つ並行システムの形式的検証, Vol. 42, No. 12, p. 3054-3062, 2001
  • 環境適応型のQoS制御を行うネットワーク資源管理システム, Vol. 18, No. 3, p. 243-249, 2001
  • 同期通信可能な周期EFSM群のハードウェア構成法, Vol. 42, No. 3, p. 542-551, 2001
  • 関数合成による唇輪郭抽出法の提案, Vol. J84-D-(]G0002[), No. 3, p. 459-470, 2001
  • SMILへのQoS保証文の導入とその柔軟な実装法, Vol. 42, No. 2, p. 116-125, 2001
  • A minimal-state processing serch algorithm for satisfiability problems, Proc. of ICSMC, p. 2769-2774, 2001
  • Relaxation of coefficient sensitiveness to performance forneural networks using neuron filter through total coloring problems neural networks using neuron filter through total coloring problems, IEICE Transactions on Fundamentals, Vol. E84-A, No. 9, p. 2367-2370, 2001
  • Perspectives in Developing Distributed Cooperative Systems, Proc. of SNPD'01 (Invited Paper, Keynote Speech), 2001
  • Quality Requirement Coordination in Rate Adaptation of Multiple Layered Video, Proc. of SNPD'01, p. 540-547, 2001
  • Constraint-Oriented Model for Describing Distributed Cooperative Systems and Efficient Deadlock Detection Using Symmetries, Proc. of SNPD'01, p. 584-591, 2001
  • Formal Verification of CPU in Laboratory Work, Proc. of ICMSE2001, p. 32-35, 2001
  • Protocol Synthesis from SMIL-Based Scenarios and Its Implementation in Distributed Environment, Proc. of ICOIN-15, p. 163-170, 2001
  • A Conformance Testing Method for Communication Protocols Modeled as Concurrent DFSMs, Proc. of ICOIN-15, p. 155-162, 2001
  • An Adaptive Bandwidth Management System for Guaranteeing QoS Requirements, Computer Software, Vol. 18, No. 3, p. 243-249, 2001
  • Hardware Implementation of Concurrent Periodic EFSMs with Multi-way Synchronization, Trans. of IPSJ, Vol. 42, No. 3, p. 542-551, 2001
  • A proposal of Lip Contour Approximation Method Using the Function Synthesis, Trans. of IEICE, Vol. J84-D-(]G0002[), No. 3, p. 459-470, 2001
  • Integration of QoS Requirements into SMIL and Its Flexible Implementation, Trans. of IPSJ, Vol. 42, No. 2, p. 116-125, 2001
  • 静的マルチキャストルーティング問題に対する2段階解法の提案, 2000
  • 既存のプログラムコードを容易に流用できるマルチスレッドプログラミング方式, Vol. 41, No. 9, p. 2063-2613, 2000
  • データ付時間オートマトンの双模倣等価性の記号的検証法, Vol. 41, No. 9, p. 2487-2497, 2000
  • FPGAの論理ブロックの端子割当問題の定式化と2段階離散最適化法の提案, Vol. J83-A, No. 8, p. 976-988, 2000
  • 遺伝的プログラミングを用いた関数合成アルゴリズムの改良法の提案, Vol. J83-D-(]G0001[), No. 4, p. 407-417, 2000
  • 時間拡張LOTOSコンパイラの作成とマルチメディアアプリケーションへの応用, Vol. 41, No. 2, p. 424-434, 2000
  • Fast and Optimal Multicast-Server Selection Based on Receivers' Preference, Proc. of 7th IDMS, Vol. LNCS 1905, p. 40-52, 2000
  • Extension of SMIL with QoS Control and its Implementation, Proc. of 2000 IEEE ICME, 2000
  • A greedy digital neural-network algorithm for subgraph isomorphism problems, Proc. World Conf. on Sys. Cyb. and Info., p. 546-551, 2000
  • A greedy-neural combined discrete optimization algorithm for triangle and Kn-subgraph partition problem, Proc. World Conf. on Sys. Cyb. and Info., p. 557-562, 2000
  • Hardware Implementation of Concurrent Periodic EFSMs, Proc. IFIP FORTE/PSTV2000, p. 280-300, 2000
  • Automatic Derivation of Petri Net Based Distributed Specification with Optimal Allocation of Resources, Proc. IEEE ASE' 2000, p. 305-308, 2000
  • Protocol Re-synthesis Based on Extended Petri Nets, Proc. SEPN-2000, p. 173-188, 2000
  • Extension of SMIL with QoS Control and its Implementation, Proc. IEEE ICME2000, Vol. CD, 2000
  • Hardware Implementation of Communication Protocols modeled by Concurrent EFSMs with Multi-way Synchronization, Proc. 37th ACM/IEEE DAC, p. 726-767, 2000
  • Integration of QoS Guarantees into SMIL and its Flexible Implementation, Proc. 8th IWQoS, p. 164-166, 2000
  • A Petri Net Based Method for Deriving Distributed Specification with Optimal Allocation of Resources, Proc. SNPD' 00, p. 19-26, 2000
  • A Method to Execute Existing Program Codes in Multi-Threaded Environments and Its Implementation, Trans. of IPSJ, Vol. 41, No. 9, p. 2063-2613, 2000
  • A Proposal of Neuron Filter a Constraint Resolution Scheme of Neural networks for Combinatorial Optimization Problems, Trans. of IEICE, Vol. E83-A, No. 9, p. 1815-1823, 2000
  • A Minimal State Processing Search Algorithm for Graph Coloring Problems, Trans. of IEICE, Vol. E83-A, No. 7, p. 1420-1430, 2000
  • A Proposal of an Improved Function Synthesis Algorithm Using Genetic Programming, Trans. of IEICE, Vol. J83-D-(]G0001[), No. 4, p. 407-417, 2000
  • Development of Realtime LOTOS Compiler and Its Application to Multimedia Systems, Trans. of IPSJ, Vol. 41, No. 2, p. 424-434, 2000
  • A Study of Relation between Quality and Bandwidth Requirements on Dynamic Bandwidth Control Method, Vol. 59, No. 0, p. 535-536, 1999/09/28
  • A proposal of a two-stage discrete optimization method for the maximum clique problem, 1999
  • A gradual neural network approach for broadcast scheduling in packet radio networks, 1999
  • 設計検証技術-知らないと損する検証技術-, p. 237-260, 1999
  • 冠頭標準形有理数プレスブルガー文の真偽判定アルゴリズムの提案, Vol. J82-D-1, No. 6, p. 691-700, 1999
  • 分散環境でのLOTOS仕様の実現とその評価, Vol. 40, No. 1, p. 333-342, 1999
  • 多人数参加型アプリケーションにおける品質要求を考慮した帯域制御の一方式, Vol. 40, No. 1, p. 132-141, 1999
  • あるクラスの時間オートマトンに対する適合性試験系列生成の一手法, Vol. 40, No. 1, p. 85-94, 1999
  • Receiver-Cooperative Bandwidth Management for Layered Multicast, Proc. 1999 IEEE ICNP-99, p. 43-50, 1999
  • Design Verification Methodology-Key design methoddogy to be covered! -, Proc. 7th FPGA/PLD Design Conference, p. 237-260, 1999
  • Specification of Real-time Systems Using a Timed Automata Model with Shared Variables and Verification of Partial-deadlock Freeness, Proc. of 1999 MMNS'99, p. 576-581, 1999
  • Generating test cases for a timedI/O automaton model, Proc. IFIP IWTCS'99, p. 197-214, 1999
  • A decision algorithm for prenex normal form rational Presburger sentences by means of combinatorial geometry, Proc. of DMT CS'99+CATS'99, p. 344-359, 1999
  • Formal design verification for correctness of pipelined microprocessors with out-of-order instruction execution, T Takenaka,J Kitamichi,T Higashino,K Taniguchi, PROCEEDINGS OF ASP-DAC '99, IEEE, p. 177-180, 1999
  • A Decision Algorithm for Prenex Normal Form Rational Presburger Sentences, Trans. of IEICE, Vol. J82-D-1, No. 6, p. 691-700, 1999
  • Deriving Concurrent Synchronous EFSMs from Protocol Specifications in LOTOS, Trans. of IEICE, Vol. E82-A, No. 4, p. 487-494, 1999
  • Implementation of LOTOS Specifications on Distribuled Environments and its Execution, Trans. of IPSJ, Vol. 40, No. 1, p. 333-342, 1999
  • Bandwidth Allocation for Quality of Service Guarantees in Multi-Party Multimedia Application, Trans. of IPSJ, Vol. 40, No. 1, p. 132-141, 1999
  • Generation of Test Cases with Timing Constraints from TimedI/O Automata, Trans. of IPSJ, Vol. 40, No. 1, p. 85-94, 1999
  • A Technique for Redusing Computation Time of Projection in a Decision Procedure for Rational Presburger Sentences, Shibata Naoki,Okano Kozo,Higashino Teruo,Taniguchi Kenichi, Information Processing Society of Japan (IPSJ), Vol. 57, No. 1, p. 127-128, 1998/10/05
  • 有理数プレスブルガー文の真偽判定 アルゴリズムの提案とその高速化手法, p. 4.1-4.6, 1998
  • FDTって何?, Vol. 39, No. 9, p. 926-930, 1998
  • 形式的手法による分散システムへの取り組み-プログラム生成とテスト-, Vol. 15, p. 57-82, 1998
  • 入力が競合する有限状態機械群からなる通信ソフトウェアの適合性試験の一手法, Vol. 39, No. 8, p. 2519-2527, 1998
  • 代数的手法を用いたin-order実行パイプラインCPUの自動設計検証, Vol. 39, No. 6, p. 1999-2008, 1998
  • 時間ペトリネットの拡張モデルを用いたプロトコル合成, Vol. 39, No. 3, p. 769-778, 1998
  • 遷移の選択が状態訪問回数で決まる有限状態機械対からなる通信系に対する生存性の検証, Vol. 39, No. 3, p. 750-759, 1998
  • マルチスレッド化された目的コードを生成するLOTOSコンパイラの実現, Vol. 39, No. 2, p. 283-292, 1998
  • 共有メモリ型並列計算機上での正則な項書換え系の一実装法, Vol. J81-D-I, No. 1, p. 28-37, 1998
  • FDTs in Computer and Communication Areas, Vol. 39, No. 9, p. 926-930, 1998
  • Tutorial : Formal Methods for Designing Distributed Systems, Vol. 15, p. 57-82, 1998
  • Hardware synthesis form protocol specifications in LOTOS, Proc. IFIP FORTE/PSTV'98, p. 405-420, 1998
  • Design and Implementation of an efficient I/O Method for a Real-time User Level Thread Library, Proc. IEEE RTCSA'98, p. 117-120, 1998
  • Protocol Synthesis from Context-Free Processes using Event Structures, Proc. IEEE RTCSA'98, p. 173-180, 1998
  • Resource Management for Quality of Service Guarantees in Multi-party Multimedia Application, Proc. 1998 IEEE ICNP-98, p. 189-196, 1998
  • A Conformance Testing for Communication Protocols Modeled as a Set of DFSMs, Trans. of IPSJ, Vol. 39, No. 8, p. 2519-2527, 1998
  • Automatic Correctness Proof of Pipelined CPUs with In-order Execution, Trans. of IPSJ, Vol. 39, No. 6, p. 1999-2008, 1998
  • Method to Convert Concurrent EFSMs with Multi-Rendezvous into Synchronous Sequential Circuit, Trans. of IEICE, Vol. E81-A, No. 4, p. 566-575, 1998
  • Protocol Synthesis in a Time Petri Net Model with Registers, Trans. of IPSJ, Vol. 39, No. 3, p. 769-778, 1998
  • Verification of Liveness Property for C-FSM's with Transitions depending on State Visiting Numbers, Trans. of IPSJ, Vol. 39, No. 3, p. 750-759, 1998
  • Design and Implementation of a LOTOS Compiler Generating Multi-threaded Object Codes, Trans. of IPSJ, Vol. 39, No. 2, p. 283-292, 1998
  • An Implementation of Orhogonal TRS on Multi-Processor Machine with Shared Memory, Trans. of IEICE, Vol. J81-D-I, No. 1, p. 28-37, 1998
  • すべての変数が存在記号で束縛された冠頭標準形プレスブルガー文の真偽判定の高速化手法, Vol. 38, No. 12, p. 2419-2426, 1997
  • レジスタ付きペトリネットを用いた全体動作仕様から分散動作仕様の自動合成とその応用, Vol. J80-A, No. 7, p. 1064-1072, 1997
  • Protocol Synthesis from Time Petri Net Based Service Specifications, Prof. 1997 IEEE ICPADS'97, p. 236-243, 1997
  • Implementation of Distributed Systems described with LOTOS Multi-rendezvous on Bus Topology Networks, Proc. IFIP FORTE/PSTV'97, p. 161-176, 1997
  • A Conformance Testing for Communication Protocols Modeled as A Set of DFSMs with Common Inputs, Proc. IFIP IWTCS'97, p. 239-254, 1997
  • Techniques to Reduce Computation Time in Decision Procedure for Prenex Normal Form Presburger Sentences Bounded only by Existential Quantifiers, Trans. of IPSJ, Vol. 38, No. 12, p. 2419-2426, 1997
  • Protocol Synthesis in a Petri Net Model with Register and Its Application, Trans. IEICE, Vol. J80-A, No. 7, p. 1064-1072, 1997
  • Time Action Altemating Model for Timed Processes and its Symbolic Verification of Bisimulation Equivalence, Trans. IEICE, Vol. E80-A, No. 2, p. 400-406, 1997
  • Automatic Verification of Arithmetic Circuits using a Decision Procedure for Presburger Arithmetic, MORIOKA Sumio,SHIBATA Naoki,HIGASHINO Teruo,TANIGUCHI Kenichi, Technical report of IEICE. VLD, The Institute of Electronics, Information and Communication Engineers, Vol. 96, No. 299, p. 49-56, 1996/10/18
  • Deriving protocol specifications from service specifications written in LOTOS, C Kant,T Higashino,G vonBochmann, DISTRIBUTED COMPUTING, SPRINGER VERLAG, Vol. 10, No. 1, p. 29-47, 1996/07
  • プレスブルガー文真偽判定手続きに おける多元連立1次合同式の求解処理の高速化, 1996
  • 代表的手法を用いたCPU KUE-CHIP2の段階的設計の正しさの自動証明, Vol. J79-D-I, No. 12, p. 1017-1029, 1996
  • 時間制約の記述されたLOTOS仕様からのプロトコル合成, Vol. 37, No. 5/, p. 672-686, 1996
  • マルチランデブを用いたLOTOS仕様の可視化, Vol. 37, No. 5/, p. 687-697, 1996
  • 拡張有限状態機械モデルで書かれた通信プロトコルの適合性試験系列の自動生成の一手法, Vol. J79-B-1, No. 4/, p. 137-147, 1996
  • Time-Action Altemating Model for Timed LOTOS and its Symbolic Verification of Bisimulation Equivalence, Proc. IFIP FORTE/PSTV '96, p. 279-294, 1996
  • Automatic Correctness Proof of Step-by-Step Design of a CPU KUE-CHIP2 based on Algebraic Methods, Trans.IEICE, Vol. J79-D-I, No. 12, p. 1017-1029, 1996
  • Deriving Protocol Specifications from Timed Service Specifications Written in LOTOS, Trans. IPSJ, Vol. 37, No. 5/, p. 672-686, 1996
  • Visualizing Dynamic Behaviors of LOTOS Specifications Using Multi-rendezvous Mechanism, Trans. IPSJ, Vol. 37, No. 5/, p. 687-697, 1996
  • An Automatic Test Case Derivation for Communication Protocols in An Extended FSM Model, Trans. IEICE, Vol. J79-B-1, No. 4/, p. 137-147, 1996
  • 隣接しない動作間の時間制約を記述するためのLOTOS言語の拡張とその等価性の検証, Vol. 12, No. 6/, p. 521-534, 1995
  • 代数的言語で記述した抽象的順序機械型プログラムの設計検証の自動化, Vol. 36, No. 10/, p. 2409-2421, 1995
  • あるスタイルに基づく順序機械型記述における詳細化の正しさの証明方法, Vol. J78-D-1, p. 622-633, 1995
  • グループワークを考慮した協調計算システムにおける動作プログラム群の生成と分散実行, Vol. 36, No. 6/, p. 1367-1378, 1995
  • 関係データベースを用いた在庫管理プログラムの記述とその詳細化の正しさの証明, Vol. 36, No. 5, p. 1091-1103, 1995
  • リンクの故障を考慮に入れた分散システムの動作仕様の自動導出, Vol. 36, No. 1, p. 70-83, 1995
  • LOTOSによるソフトウェアプロセスの記述とその実行, Vol. 12, No. 1, p. 16-30, 1995
  • An Extension of LOTOS for Specifying Time Constraints among Nonadjacent Actions and Verification of equivalence, Computer Software, Vol. 12, No. 6/, p. 521-534, 1995
  • Protocol Visualization using LOTOS Multi-Rendezvous Mechanism, Proc. IEEE ICNP-95, p. 118-125, 1995
  • Protocol Synthesis from Timed and Structured Specifications, Proc. IEEE ICNP-95, p. 74-81, 1995
  • A LOTOS Compiler Generating Multi-threaded Object Codes, Proc. IFIP FORTE'95, p. 271-286, 1995
  • Verification of Liveness Property for Communicating FSM's with Conditional Transitions depending on State Visiting Numbers, Proc. IFIP FORTE'95, p. 431-438, 1995
  • Automatic Verification of Abstract Sequential Machine Style Program Written in Algebraic Language, Trans. IPSJ, Vol. 36, No. 10/, p. 2409-2421, 1995
  • Handling Redundant and Additional States in Protocol Testing, Proc. IFIP 8th IWPTS, p. 307-322, 1995
  • Proof Method for Correctness of Refinements of Algebraic Specification in Abstract Sequential Machine Style, Trans. IEICE, Vol. J78-D-1, p. 622-633, 1995
  • Derivation of Protocol Entities' Specifications of Distributed system for Groupwork and Their Parallel Execution, Trans. IPSJ, Vol. 36, No. 6/, p. 1367-1378, 1995
  • Synthesis of Protocol Entities' Specifications from service Specifications in a Petri Net Model with Registers, Proc. of IEEE ICDCS-15, p. 510-517, 1995
  • Hierarchical Design of Stock Management Program using Relational Algebra and Its Correctness Proof, Trans. IPSJ, Vol. 36, No. 5, p. 1091-1103, 1995
  • Synthesis of Protocol Specifications from Service Specifications in Distributed Systems with Communication Link Errors, Trans. IPSJ, Vol. 36, No. 1, p. 70-83, 1995
  • Software Process Description in LOTOS And Its Enaction, Computer Software, Vol. 12, No. 1, p. 16-30, 1995
  • 代数的手法を用いた同期式順序回路の段階的設計法, Vol. J77-A, No. 3, p. 420-429, 1994
  • Automatic Generation of Extended UIO Sequences for Communication Protocols in an EFSM Model, Proc. IFIP 7th IWPTS, p. 225-240, 1994
  • Synthesis of Protocol Specifications from Service Specifications of Distributed Systems in A Marked Graph Model, Trans. IEICE, Vol. E77-A, No. 10, p. 1623-1633, 1994
  • Automatic Correctness Proof of Implementation of Synchronous Sequential Circuits Using Algebraic Approach, Proc. TPCD'94, LNCS 901, p. 165-184, 1994
  • Hardware Synthesis from a Restricted Class of LOTOS Expressions, Proc. IFIP 14th PSTV, p. 379-386, 1994
  • Software Process Description using LOTOS and Its Enaction, Proc. 16th IEEE Int. Conf. on Soft. Eng., p. 169-178, 1994
  • Top-Down Design Method for Synchronous Sequential Logic Circuits Based on Algebraic Technique, Trans. IEICE, Vol. J77-A, No. 3, p. 420-429, 1994
  • Automatic Analysis and Test Case Derivation for a Restricted Class of LOTOS Expressions with Data Parameters, IEEE Trans. on Soft. Eng., Vol. 20, No. 1, p. 29-42, 1994
  • 抽象的順序機械型プログラムの階層的設計と在庫管理プログラムへの応用, Vol. J76-D-I, No. 7, p. 354-363, 1993
  • 拡張有限状態機械モデルを用いた分散システムの要求仕様から各ノードの動作仕様の自動導出, Vol. 34, No. 6, p. 1290-1301, 1993
  • LOTOS Enhancement to Specify Time Constraints among Non-adjacent Actions using 1st order Logic, Proc. IFIP FORTE '93, Vol. 453-468, 1993
  • Deriving Protocol Specifications from Service Specifications in Extended FSM Models, Proc. of IEEE ICDCS-13, Vol. 141-148, 1993
  • Deriving Protocol Specifications from Service Specifications Written in LOTOS, Proc. of 12th IEEE Phoenix Conf. (IPCCC-93), Vol. 310-318, 1993
  • Hierarchical Design of Abstract Sequential Machine Style Program and Its Application to Development of Stock Management, Trans. IEIEC of Japan, Vol. J76-D-I, No. 7, p. 354-363, 1993
  • Synthesis of Protocol Entities' Specification from Service Specification of Distributed System in Extended Finite State Machine Model, Trans. IPSJ, Vol. 34, No. 6, p. 1290-1301, 1993
  • PROSPEX - A GRAPHICAL LOTOS SIMULATOR FOR PROTOCOL SPECIFICATIONS WITH N-NODES, K YASUMOTO,T HIGASHINO,T MATSUURA,K TANIGUCHI, IEICE TRANSACTIONS ON COMMUNICATIONS, IEICE-INST ELECTRONICS INFORMATION COMMUNICATIONS ENG, Vol. E75B, No. 10, p. 1015-1023, 1992/10
  • SERVICE SPECIFICATION AND ITS PROTOCOL SPECIFICATIONS IN LOTOS - A SURVEY FOR SYNTHESIS AND EXECUTION, T HIGASHINO, IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, IEICE-INST ELECTRONICS INFORMATION COMMUNICATIONS ENG, Vol. E75A, No. 3, p. 330-338, 1992/03
  • データを含むLOTOS記述に対するテスト系列の自動生成の一手法, Vol. J75-B-I, No. 11, 1992
  • 整数上の線形制約の処理と応用, Vol. 9, No. 6, 1992
  • An Automatic Derivation of test Cases for LOTOS Expressions with Data Parameters, Trans. IEICE, Vol. J75-B-I, No. 11, 1992
  • Presburger Arithmetic and its Application to Program Developments, Computer Software, Vol. 9, No. 6, 1992
  • A Test System for a Restricted Class of LOTOS expressions with data Parameters, Proc. IFIP 5th Protocol Test Systems, 1992
  • VTM - A GRAPH EDITOR FOR LARGE TREES, T MATSUURA,T NAKAMURA,T HIGASHINO,K TANIGUCHI,S MASUDA, ALGORITHMS, SOFTWARE, ARCHITECTURE : INFORMATION PROCESSING 92, VOL 1, ELSEVIER SCIENCE PUBL B V, Vol. 12, p. 210-216, 1992
  • A System for the Refinements of Algebraic Specifications and their Efficient Executions, Proc. 24th HICSS, Vol. 2, 1991
  • 通信プロトコルにおけるエラーリカバリ性の自動検証の一方式, Vol. J73-D-I, No. 5, 1990
  • Mechanical Verification of Error Recoverability for Communication Protocols, Trans IEICE, Vol. J73-D-I, No. 5, 1990
  • AUTOMATED VERIFICATION OF EQUIVALENCE OF PROTOCOL MACHINES, T HIGASHINO,K NINOMIYA,T KIMOTO,K TANIGUCHI,M MORI, PROTOCOL SPECIFICATION, TESTING, AND VERIFICATION, IX, ELSEVIER SCIENCE PUBL B V, p. 235-246, 1990
  • プロトコルマシンの等価性証明の一方法, Vol. J71-D, No. 12, p. 2630-2639, 1988
  • トークンリング方式LANの代数的手法による「安全性」と「相互排他性」の検証, Vol. J71-D, No. 3, p. 577-586, 1988
  • 代数的に記述された通信プロトコルの動的性質の検証, Vol. J69-D, No. 10, p. 1471-1480, 1986
  • 代数的仕様検証支援系及びそれを用いた検証例, Vol. J67-D, No. 4, p. 472-479, 1984
  • An Algebraic Specification of HDLC Procedures and Its Verification, IEEE Transactions on Software Engineering, Vol. SE-10, No. 6, p. 825-837, 1984
  • 代数的に記述されたHDLCプロトコルの検証, Vol. J66-D, No. 7, p. 773-780, 1983
  • HDLC手順の代数的記述, Vol. J64-D, No. 2, p. 124-131, 1981

Publications

  • 分散システム 原理とパラダイム, ピアソン・エデュケーション, 2003
  • コンピュータネットワーク第3版, プレンティスホール出版, 1999
  • Computer Networks Third Edition-Japanese Edition-, Prentice-Hall, 1999
  • プロトコル技術(9・2・4節), 新版情報処理ハンドブック, 1995
  • Protocol Engineering, New Handbook for Info. Proc., 1995
  • Protocol Test Systems 7th Workshop(編), Chapman&Hall, 1995
  • コンピュータプロトコルの設計法, カットシステム社, 1994
  • プロトコル言語, カットシステム社, 1994
  • Designing and Validation of Computer Protocols-Japanese Edition-, Cutt System Co. Ltd., 1994
  • Protocol Languages, Cutt System Co. Ltd., 1994
  • An Algebraic Method for Verifying Progress Property of Communication Protocols, World Scientific Services in Computer Science, 1991

Works

  • 災害時救命救急支援を目指した人間情報センシングシステム, 2009 -
  • 都市空間上での大規模モバイルワイヤレスネットワークにおける効率的な情報共有方式, 2009 -
  • Advanced Wireless Communication Technology for Efficient Rescue Operations, 2009 -
  • 災害時救命救急支援を目指した人間情報センシングシステム, 2008 -
  • 少数の基準位置情報をモバイルセンサー間で補完する位置推定技法に関する研究, 2008 -
  • 災害時救命救急支援を目指した人間情報センシングシステム, 2007 -
  • Advanced Wireless Communication Technology for Efficient Rescue Operations, 2007 -
  • 現実世界の行動モデルに即した大規模ネットワークシミュレーションに関する研究, 2006 -
  • 有線・無線混在型ネットワーク上での分散協調アプリケーションの設計開発に関する研究, 2005 -
  • 車々間での自立的アドホック通信に基づく行き先経路の道路情報取得プロトコルの開発, 2005 -
  • 実時間制約を含むネットワークシステムのHW/SWコデザインに関する研究, 2005 -
  • 現実世界の行動モデルに即した大規模ネットワークシミュレーションに関する研究, 2005 -
  • 現実世界の行動モデルに基づく大規模ネットワークシミュレーションに関する研究, 2004 -
  • 車々間での自立的アドホック通信に基づく行き先経路の道路情報取得プロトコルの開発, 2004 -
  • 有線・無線混在型ネットワーク上での分散協調アプリケーションの設計開発に関する研究, 2004 -
  • 現実世界の行動モデルに即した大規模ネットワークシミュレーションに関する研究, 2004 -
  • 実時間制約を含むネットワークシステムのHW/SWコデザインに関する研究, 2004 -
  • サイバーソサエティ実現のための仮想網技術, 2004 -
  • 通信プロトコルの実装と試験, 2001 -
  • 高信頼性実時間並行システムの設計と検証, 2001 -
  • Implementation and testing of communication protocols, 2001 -
  • Design and Verification of high reliable real-time concurrent systems, 2001 -

Awards

  • Fellow, Teruo Higashino, the Japan Federation of Engineering Societies, 2019/06
  • IPSJ Contribution Award, Teruo Higashino, Information Processing Society of Japan, 2019/06
  • Commendation for Science and Technology, Teruo Higashino,Hirozumi Yamaguchi, Ministry of Education, Culture, Sports, Science and Technology, 2018/04
  • マルチメディア,分散,協調とモバイル (DICOMO2010) シンポジウム優秀論文賞, 2010
  • 情報処理学会50周年記念論文賞, 2010
  • Annual Report of Osaka University -Academic chievement- 2009-2010 論文100選, 2010
  • Annual Report of Osaka University -Academic chievement- 2009-2010 論文100選, 2010
  • 第17回マルチメディア通信と分散処理ワークショップ優秀論文賞, 2009
  • N/A, 2009
  • Annual Report of Osaka University -Academic chievement- 2007-2008 論文100選, 2008
  • マルチメディア,分散,協調とモバイル (DICOMO2008) シンポジウム優秀論文賞, 2008
  • 電子情報通信学会MoMuC研究会 2007年度 若手研究奨励賞, 2008
  • Annual Report of Osaka University -Academic chievement- 2007-2008 論文100選, 2008
  • N/A, 2008
  • マルチメディア,分散,協調とモバイル (DICOMO2007) シンポジウム最優秀論文賞, 2007
  • マルチメディア,分散,協調とモバイル (DICOMO2007) シンポジウム優秀論文賞, 2007
  • マルチメディア,分散,協調とモバイル (DICOMO2007) シンポジウム優秀論文賞, 2007
  • 平成18年度応用セキュリティフォーラム優秀賞, 2006
  • 平成17年度情報処理学会学会活動貢献賞, 2006
  • 第14回マルチメディア通信と分散処理ワークショップ 最優秀論文賞, 2006
  • 平成17年度情報処理学会学会活動貢献賞, 2006
  • Best Paper Award, 2006
  • 高度交通システム研究会平成16年優秀論文賞, 2005
  • High Honor Paper Award of IEEE 19th Int. Conf. on Advanced Information Networking and Applications (AINA 2005), 2005
  • 第20回電気通信普及財団賞(テレコムシステム技術賞), 2005
  • High Honor Paper Award of IEEE 19th Int. Conf. on Advanced Information Networking and Applications (AINA 2005), 2005
  • マルチメディア,分散,協調とモバイルシンポジウム優秀論文賞, 2004
  • マルチメディア,分散,協調とモバイルシンポジウム優秀論文賞, 2004
  • DICOMO 2004ヤングリサーチャ賞, 2004
  • 情報学ワークショップ2004 優秀論文賞, 2004
  • 情報学ワークショップ2004 優秀論文賞, 2004
  • Excellent Paper of 17th ACM/IEEE International Workshop on Parallel and Distributed Simulation (PADS'03), 2003
  • 情報処理学会フェロー, 2003
  • Excellent Paper of 17th ACM/IEEE International Workshop on Parallel and Distributed Simulation (PADS'03), 2003
  • Fellow, Information Processing Society of Japan, 2003
  • Senior member, IEEE, 1999
  • IEEE Senior Member, 1998
  • IEEE シニアメンバ-, 1998
  • 電子情報通信学会第4回ネットワーク研究賞, 1998
  • IEEE Senior Member, 1998
  • 第11回電気通信普及財団テレコムシステム技術賞奨励賞, 1996

Committee Memberships

  • Science Council of Japan (SCJ), Council Member, 2014/10 - 2020/09
  • Information Processing Society of Japan, Vice President, 2016/05 - 2018/05
  • Japan Society for the Promotion of Science (JSPS), Senior Program Officer, Research Center for Science Systems, 2013/04 - 2016/03
  • Information Processing Society of Japan, Auditor, 2009/05 - 2011/05
  • Information Processing Society of Japan, Member of the Board of Directors, 2001/05 - 2003/05