Teruo Higashino

312 papers A* 10A 16B 61C 28Misc 10Journal 78Unranked 104

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	IoT-Based Loneliness Monitoring for Older Adults: Lessons From Japanese and US Communities. IEEE Access Teruhiro Mizumoto, Viktor Erdélyi, Xiayan Ji, Ahhyun Yuh, Takeshi Nakagawa, Takashi Suehiro, Hajime Nagahara, Yasuyuki Gondo, George Demiris, Oleg Sokolsky, Insup Lee, Teruo Higashino
2026	J	`jnl`	SMILE: Sensor Data-driven Detection and Counterfactual Pattern Analysis for Loneliness in Older Adults. ACM Trans. Comput. Heal. Xiayan Ji, Ahhyun Yuh, Viktor Erdélyi, Teruhiro Mizumoto, Hyonyoung Choi, Sean Lee Harrison, Emma Cho, Takashi Suehiro, Takeshi Nakagawa, Yutian Cheng, Yasuyuki Gondo, Hajime Nagahara, Teruo Higashino, George Demiris, Oleg Sokolsky, Insup Lee
2025	J	`jnl`	Detecting Subtle Signs of School Attendance Issues Using Smartphone-Based Sensing. IEEE Access Viktor Erdélyi, Teruhiro Mizumoto, Yuichiro Kitai, Daiki Ishimaru, Hiroyoshi Adachi, Teruo Higashino, Manabu Ikeda
2025	J	`jnl`	Reference-Free 3D WiFi AP Localization by Outdoor-to-Indoor Bridging. IEEE Open J. Comput. Soc. Tatsuya Amano, Hirozumi Yamaguchi, Teruo Higashino
2024	—	`conf`	A Preliminary Study on Angle of Arrival Estimation by MUSIC Algorithm Using Backscatter Tags. PerCom Workshops Yudai Yamaguchi, Viktor Erdélyi, Akira Uchiyama, Teruo Higashino
2024	J	`jnl`	Architecture, Performance, and Usability of Mobile Cellular Network Monitoring Applications for Data-Driven Analysis. IEEE Access Srikant Manas Kala, Malvika Mishra, Amogh Biju, Vanlin Sathya, Tatsuya Amano, Teruo Higashino, Hirozumi Yamaguchi, Bheemarjuna Reddy Tamma
2024	J	`jnl`	Cellular Operator Data Meets Counterfactual Machine Learning. IEEE Access Srikant Manas Kala, Malvika Mishra, Vanlin Sathya, Tatsuya Amano, Monisha Ghosh, Teruo Higashino, Hirozumi Yamaguchi
2024	J	`jnl`	Daily Living Activity Recognition with Frequency-Shift WiFi Backscatter Tags. Sensors Hikoto Iseda, Keiichi Yasumoto, Akira Uchiyama, Teruo Higashino
2024	—	`conf`	Exploring Effective Sensing Indicators of Loneliness For Elderly Community in US and Japan. CHI Extended Abstracts Xiayan Ji, Ahhyun Yuh, Viktor Erdélyi, Teruhiro Mizumoto, Hyonyoung Choi, Sean Lee Harrison, Emma Cho, James Weimer, Hajime Nagahara, Teruo Higashino, George Demiris, Oleg Sokolsky, Insup Lee
2024	Misc	`conf`	Feasibility of Living Activity Recognition with Frequency-Shift WiFi Backscatter Tags in Homes. IE Hikoto Iseda, Keiichi Yasumoto, Akira Uchiyama, Teruo Higashino
2023	J	`jnl`	Laser Range Scanners for Enabling Zero-overhead WiFi-based Indoor Localization System. ACM Trans. Spatial Algorithms Syst. Hamada Rizk, Hirozumi Yamaguchi, Moustafa Youssef, Teruo Higashino
2023	J	`jnl`	MEXT Society 5.0 Realization Research Support Project. Commun. ACM Teruo Higashino, Hidetoshi Kotera, Yasushi Yagi
2023	J	`jnl`	Mitigating Trade-Off in Unlicensed Network Optimization Through Machine Learning and Context Awareness. IEEE Access Srikant Manas Kala, Vanlin Sathya, Kunal Dahiya, Teruo Higashino, Hirozumi Yamaguchi
2023	B	`conf`	Short: Integrated Sensing Platform for Detecting Social Isolation and Loneliness In the Elderly Community. CHASE Xiayan Ji, Xian Li, Ahhyun Yuh, Amanda Watson, Claire Kendell, James Weimer, Hajime Nagahara, Teruo Higashino, Teruhiro Mizumoto, Viktor Erdélyi, George Demiris, Oleg Sokolsky, Insup Lee
2023	—	`conf`	iCareLoop: Closed-Loop Sensing and Intervention for Gerontological Social Isolation and Loneliness. ICCPS Xiayan Ji, Ahhyun Yuh, Hyon-Young Choi, Amanda Watson, Claire Kendell, Xian Li, James Weimer, Hajime Nagahara, Teruo Higashino, Teruhiro Mizumoto, Viktor Erdélyi, George Demiris, Oleg Sokolsky, Insup Lee
2023	—	`conf`	iCareLoop: Data Management System for Monitoring Gerontological Social Isolation and Loneliness. ICMU Xiayan Ji, Ahhyun Yuh, Hyon-Young Choi, Viktor Erdélyi, Teruhiro Mizumoto, Sean Lee Harrison, James Weimer, George Demiris, Takeshi Nakagawa, Takashi Suehiro, Yasuyuki Gondo, Hajime Nagahara, Oleg Sokolsky, Teruo Higashino, Insup Lee
2022	J	`jnl`	A method for improving semantic segmentation using thermographic images in infants. BMC Medical Imaging Hidetsugu Asano, Eiji Hirakawa, Hayato Hayashi, Keisuke Hamada, Yuto Asayama, Masaaki Oohashi, Akira Uchiyama, Teruo Higashino
2022	J	`jnl`	Close-Contact Detection Using a Single Camera for Sports Considering Occlusion. IEEE Access Ryosuke Hasegawa, Akira Uchiyama, Fumio Okura, Daigo Muramatsu, Issei Ogasawara, Hiromi Takahata, Ken Nakata, Teruo Higashino
2022	J	`jnl`	Identification and Analysis of a Unique Cell Selection Phenomenon in Public Unlicensed Cellular Networks Through Machine Learning. IEEE Access Srikant Manas Kala, Vanlin Sathya, Kunal Dahiya, Teruo Higashino, Hirozumi Yamaguchi
2022	J	`jnl`	LTE-LAA cell selection through operator data learning and numerosity reduction. Pervasive Mob. Comput. Srikant Manas Kala, Kunal Dahiya, Vanlin Sathya, Teruo Higashino, Hirozumi Yamaguchi
2021	C	`conf`	A New Problem Setting for Mobile Robots Based on Backscatter-Based Communication and Sensing. SSS Teruo Higashino, Akira Uchiyama, Hirozumi Yamaguchi, Shunsuke Saruwatari, Takashi Watanabe, Toshimitsu Masuzawa
2021	C	`conf`	Body Part Detection from Neonatal Thermal Images Using Deep Learning. MobiQuitous Fumika Beppu, Hiroki Yoshikawa, Akira Uchiyama, Teruo Higashino, Keisuke Hamada, Eiji Hirakawa
2021	J	`jnl`	Context Recognition by Wireless Sensing: A Comprehensive Survey. J. Inf. Process. Akira Uchiyama, Shunsuke Saruwatari, Takuya Maekawa, Kazuya Ohara, Teruo Higashino
2021	—	`conf`	Data balancing for thermal comfort datasets using conditional wasserstein GAN with a weighted loss function. BuildSys Hiroki Yoshikawa, Akira Uchiyama, Teruo Higashino
2021	—	`conf`	Design and Evaluation of a Frequency Shift Backscatter Tag for Context Recognition. ICDCN (Adjunct Volume) Yoshihiro Nakagawa, Toru Maeda, Akira Uchiyama, Teruo Higashino
2021	Misc	`conf`	Evaluation of Theoretical Interference Estimation Metrics for Dense Wi-Fi Networks. COMSNETS Srikant Manas Kala, Vanlin Sathya, Winston K. G. Seah, Hirozumi Yamaguchi, Teruo Higashino
2021	C	`conf`	Human Localization Using a Single Camera Towards Social Distance Monitoring During Sports. MobiQuitous Ryosuke Hasegawa, Akira Uchiyama, Fumio Okura, Daigo Muramatsu, Issei Ogasawara, Hiromi Takahata, Ken Nakata, Teruo Higashino
2021	—	`conf`	Learn to See: A Microwave-based Object Recognition System Using Learning Techniques. ICDCN (Adjunct Volume) Viktor Erdélyi, Hamada Rizk, Hirozumi Yamaguchi, Teruo Higashino
2021	J	`jnl`	Maneuver and Turn Classification in Wheelchair Basketball Using Inertial Sensors. J. Inf. Process. Ryosuke Hasegawa, Akira Uchiyama, Takuya Magome, Juri Tatsumi, Teruo Higashino
2021	Misc	`conf`	Operator Data Driven Cell-Selection in LTE-LAA Coexistence Networks. ICDCN Srikant Manas Kala, Vanlin Sathya, Eitaro Yamatsuta, Hirozumi Yamaguchi, Teruo Higashino
2021	C	`conf`	Optimizing Unlicensed Coexistence Network Performance Through Data Learning. MobiQuitous Srikant Manas Kala, Vanlin Sathya, Kunal Dahiya, Teruo Higashino, Hirozumi Yamaguchi
2021	J	`jnl`	Optimizing Unlicensed Coexistence Network Performance Through Data Learning. CoRR Srikant Manas Kala, Vanlin Sathya, Kunal Dahiya, Teruo Higashino, Hirozumi Yamaguchi
2021	—	`conf`	Reliability Estimation of Heart Rate Measurement Using Wrist-Worn Devices. ICMU Hiroki Yoshikawa, Masayuki Hayashi, Akira Uchiyama, Teruo Higashino
2021	B	`conf`	Road Segment Re-Identification in Dashcam Videos. WiMob Yukihiro Tsukamoto, Tatsuya Amano, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino
2021	J	`jnl`	TSVNet: Combining Time-Series and Opportunistic Sensing by Transfer Learning for Dynamic Thermal Sensation Estimation. IEEE Access Hiroki Yoshikawa, Akira Uchiyama, Teruo Higashino
2020	—	`conf`	3-D Localization of Indoor Access Points via Opportunistic Crowdsensing. PerCom Workshops Tatsuya Amano, Teruo Higashino
2020	—	`conf`	A Ubiquitous and Accurate Floor Estimation System Using Deep Representational Learning. SIGSPATIAL/GIS Hamada Rizk, Hirozumi Yamaguchi, Teruo Higashino, Moustafa Youssef
2020	J	`jnl`	Application of IEEE802.11ac/n Link Throughput Estimation Model in Holding Access-Point Assignment Algorithm for Wireless Local-Area Network. J. Commun. Shigeto Tajima, Nobuo Funabiki, Teruo Higashino
2020	J	`jnl`	Connected AR for Combating COVID-19. IEEE Internet Things Mag. Tatsuya Amano, Hirozumi Yamaguchi, Teruo Higashino
2020	J	`jnl`	Energy aware simulation and testing of smart-spaces. Inf. Softw. Technol. Khaled El-Fakih, Teruhiro Mizumoto, Keiichi Yasumoto, Teruo Higashino
2020	—	`conf`	Gain Without Pain: Enabling Fingerprinting-based Indoor Localization using Tracking Scanners. SIGSPATIAL/GIS Hamada Rizk, Hirozumi Yamaguchi, Moustafa Youssef, Teruo Higashino
2020	B	`conf`	Home Activity Recognition Using Aggregated Electricity Consumption Data. SMARTCOMP Kotaro Ishizu, Teruhiro Mizumoto, Hirozumi Yamaguchi, Teruo Higashino
2020	B	`conf`	Multi-Lane Detection and Tracking Using Vision for Traffic Situation Awareness. WiMob Yukihiro Tsukamoto, Masahiro Ishizaki, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino
2020	—	`conf`	Smartphone-based Risky Traffic Situation Detection and Classification. PerCom Workshops Ryota Akikawa, Akira Uchiyama, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino, Masaki Suzuki, Yasuhiko Hiehata, Takeshi Kitahara
2020	—	`conf`	Towards People Counting Using Wi-Fi CSI of Mobile Devices. PerCom Workshops Masahide Mizutani, Akira Uchiyama, Tomoki Murakami, Hirantha Abeysekera, Teruo Higashino
2020	A	`conf`	Trajectory-Assisted Robust RFID-tagged Object Tracking and Recognition in Room Environment. MSWiM Motoki Ougida, Hirozumi Yamaguchi, Teruo Higashino
2019	—	`conf`	A Feasibility Study on Battery-Less Travel Context Estimation Using Ambient Backscatter. PerCom Workshops Toru Maeda, Akira Uchiyama, Teruo Higashino
2019	J	`jnl`	A Self-Organized Task Distribution Framework for Module-Based Event Stream Processing. IEEE Access Sunyanan Choochotkaew, Hirozumi Yamaguchi, Teruo Higashino
2019	A*	`conf`	A Study on Behavior of Autonomous Vehicles Cooperating with Manually-Driven Vehicles. PerCom Yusuke Nishimura, Atsushi Fujita, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino, Akira Suwa, Hirofumi Urayama, Susumu Takeshima, Mineo Takai
2019	—	`conf`	Automatic Deadline-Oriented Sampling Method for Coarse-Grained Stream Processing. PerCom Workshops Sunyanan Choochotkaew, Hirozumi Yamaguchi, Teruo Higashino
2019	—	`conf`	Automatic Localization of Passive Infra-Red Binary Sensors in Home: from Dense to Scattered Network. DASC/PiCom/DataCom/CyberSciTech Nathavuth Kitbutrawat, François Portet, Hirozumi Yamaguchi, Teruo Higashino
2019	—	`conf`	Beyond Visual Line of Sight UAV Control for Remote Monitoring Using Directional Antennas. GLOBECOM Workshops Songwei Li, Yixin Gu, Bishrut Subedi, Chenyuan He, Yan Wan, Atsuko Miyaji, Teruo Higashino
2019	—	`conf`	Combining a thermal camera and a wristband sensor for thermal comfort estimation. UbiComp/ISWC Adjunct Hiroki Yoshikawa, Akira Uchiyama, Yuki Nishikawa, Teruo Higashino
2019	A	`conf`	Context Recognition of Humans and Objects by Distributed Zero-Energy IoT Devices. ICDCS Teruo Higashino, Akira Uchiyama, Shunsuke Saruwatari, Hirozumi Yamaguchi, Takashi Watanabe
2019	J	`jnl`	CrowdMeter: Gauging congestion level in railway stations using smartphones. Pervasive Mob. Comput. Moustafa Elhamshary, Moustafa Youssef, Akira Uchiyama, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino
2019	—	`conf`	Daily Activity Recognition based on Markov Logic Network for Elderly Monitoring. CCNC Yoshiki Honda, Hirozumi Yamaguchi, Teruo Higashino
2019	—	`conf`	Dynamic Offset Correction for Smartphone Thermal Cameras Using a Wristband Sensor. PerCom Workshops Hiroki Yoshikawa, Akira Uchiyama, Teruo Higashino
2019	J	`jnl`	EasyTrack: Zero-Calibration Smart-Home Tracking System. J. Inf. Process. Nathavuth Kitbutrawat, Hirozumi Yamaguchi, Teruo Higashino
2019	B	`conf`	Enabling Low Cost Elderly Monitoring for Connected Communities in Depopulated Area. SMARTCOMP Yoshiki Honda, Hirozumi Yamaguchi, Teruo Higashino
2019	—	`conf`	Energy-Efficient Activation/Inactivation Strategy for Long-term IoT Network Operation. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI Zhishu Shen, Kenji Yokota, Atsushi Tagami, Teruo Higashino
2019	J	`jnl`	Ground object recognition and segmentation from aerial image-based 3D point cloud. Comput. Intell. Katsuya Ogura, Yuma Yamada, Shugo Kajita, Hirozumi Yamaguchi, Teruo Higashino, Mineo Takai
2019	J	`jnl`	ICCF: An Information-Centric Collaborative Fog Platform for Building Energy Management Systems. IEEE Access Zhishu Shen, Tiehua Zhang, Jiong Jin, Kenji Yokota, Atsushi Tagami, Teruo Higashino
2019	—	`conf`	Maneuver Classification in Wheelchair Basketball Using Inertial Sensors. ICMU Ryosuke Hasegawa, Akira Uchiyama, Teruo Higashino
2019	B	`conf`	Modeling BLE Propagation Above the Ceiling for Smart HVAC Systems. Intelligent Environments Chuanhsin Chen, Nathavuth Kitbutrawat, Shugo Kajita, Hirozumi Yamaguchi, Teruo Higashino
2019	—	`conf`	Occlusion-based trajectory estimation for pedestrians using LiDAR sensors. IPIN (Short Papers/Work-in-Progress Papers) Takayuki Saki, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino
2019	—	`conf`	Outdoor Wi-Fi RSSI Map Construction Based on Crowdsourcing and Simulation. PerCom Workshops Tatsuya Amano, Teruo Higashino
2019	—	`conf`	Preliminary Investigation on Band Tightness Estimation of Wrist-Worn Devices Using Inertial Sensors. MobiHealth Masayuki Hayashi, Hiroki Yoshikawa, Akira Uchiyama, Teruo Higashino
2019	—	`conf`	VR Application Framework for Collecting Sensor Data in Risky Situations. Middleware Demos/Posters Tatsuya Amano, Ryota Akikawa, Akira Uchiyama, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino, Masaki Suzuki, Yasuhiko Hiehata, Takeshi Kitahara
2018	—	`conf`	A Motivation-based Partnership Decision Model on Event-Stream Knowledge in Real-time Business. ICMU Sunyanan Choochotkaew, Hirozumi Yamaguchi, Teruo Higashino
2018	J	`jnl`	A holding access-point assignment algorithm for IEEE802.11 wireless local-area networks. Int. J. Space Based Situated Comput. Shigeto Tajima, Nobuo Funabiki, Teruo Higashino
2018	—	`conf`	A human tracking and sensing platform for enabling smart city applications. ICDCN Workshops Hirozumi Yamaguchi, Akihito Hiromori, Teruo Higashino
2018	—	`conf`	An Efficient Data Processing Scheme for Wireless Sensor Network Monitoring Using a Machine Learning Model. ICMU Zhishu Shen, Atsushi Tagami, Teruo Higashino
2018	C	`conf`	An Energy Aware Testing Framework for Smart-Spaces. ICTSS Teruhiro Mizumoto, Khaled El-Fakih, Keiichi Yasumoto, Teruo Higashino
2018	B	`conf`	BALANCE: A Robust Routing Protocol in Self-Organized Civilian DTN. WiMob Sunyanan Choochotkaew, Hirozumi Yamaguchi, Teruo Higashino
2018	A*	`conf`	CrowdMeter: Congestion Level Estimation in Railway Stations Using Smartphones. PerCom Moustafa Elhamshary, Moustafa Youssef, Akira Uchiyama, Hirozumi Yamaguchi, Teruo Higashino
2018	—	`conf`	Development of Energy-efficient Sensor Networks by Minimizing Sensors Numbers with a Machine Learning Model. PerCom Workshops Zhishu Shen, Kenji Yokota, Atsushi Tagami, Teruo Higashino
2018	J	`jnl`	FluidMeter: Gauging the Human Daily Fluid Intake Using Smartwatches. Proc. ACM Interact. Mob. Wearable Ubiquitous Technol. Takashi Hamatani, Moustafa Elhamshary, Akira Uchiyama, Teruo Higashino
2018	—	`conf`	Ground Object Recognition from Aerial Image-based 3D Point Cloud. ICMU Katsuya Ogura, Yuma Yamada, Shugo Kajita, Hirozumi Yamaguchi, Teruo Higashino, Mineo Takai
2018	B	`conf`	In-network Self-Learning Algorithms for BEMS Through a Collaborative Fog Platform. AINA Zhishu Shen, Kenji Yokota, Jiong Jin, Atsushi Tagami, Teruo Higashino
2018	B	`conf`	Indoor Map Generation from Multiple LIDAR Point Clouds. SMARTCOMP Hikaru Yoshisada, Yuma Yamada, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino
2018	B	`conf`	Location Identification of BLE-Embedded HVACs for Smart Building Management. Intelligent Environments Nathavuth Kitbutrawat, Shugo Kajita, Hirozumi Yamaguchi, Teruo Higashino
2018	B	`conf`	MicroDeep: In-network Deep Learning by Micro-Sensor Coordination for Pervasive Computing. SMARTCOMP Yuta Fukushima, Daiki Miura, Takashi Hamatani, Hirozumi Yamaguchi, Teruo Higashino
2018	—	`conf`	Play Recognition Using Soccer Tracking Data Based on Machine Learning. NBiS Tomoki Imai, Akira Uchiyama, Takuya Magome, Teruo Higashino
2018	A	`conf`	Re-Thinking: Design and Development of Mobility Aware Applications in Smart and Connected Communities. ICDCS Teruo Higashino, Hirozumi Yamaguchi, Akihito Hiromori, Akira Uchiyama, Takaaki Umedu
2018	—	`conf`	Self-adaptive Resource Allocation for Continuous Task Offloading in Pervasive Computing. PerCom Workshops Sunyanan Choochotkaew, Hirozumi Yamaguchi, Teruo Higashino, Dominik Schäfer, Janick Edinger, Christian Becker
2018	—	`conf`	Sidewalk-level People Flow Estimation Using Dashboard Cameras Based on Deep Learning. ICMU Yusuke Hara, Akira Uchiyama, Takaaki Umedu, Teruo Higashino
2018	C	`conf`	Smartphone Applications Testbed Using Virtual Reality. MobiQuitous Tatsuya Amano, Shugo Kajita, Hirozumi Yamaguchi, Teruo Higashino, Mineo Takai
2018	—	`conf`	VRing: Bring Your Mobile App to Virtual Space. UbiComp/ISWC Adjunct Tatsuya Amano, Shugo Kajita, Hirozumi Yamaguchi, Teruo Higashino, Mineo Takai
2018	B	`conf`	Wayfinding Behavior Detection by Smartphone. AINA Ryosuke Narimoto, Shugo Kajita, Hirozumi Yamaguchi, Teruo Higashino
2017	—	`ed.`	37th IEEE International Conference on Distributed Computing Systems Workshops, ICDCS Workshops 2017, Atlanta, GA, USA, June 5-8, 2017 ICDCS Workshops Aibek Musaev, João Eduardo Ferreira, Teruo Higashino
2017	B	`conf`	A crowdsourcing and simulation based approach for fast and accurate Wi-Fi radio map construction in urban environment. Networking Tatsuya Amano, Shugo Kajita, Hirozumi Yamaguchi, Teruo Higashino, Mineo Takai
2017	J	`jnl`	Analysis of Accident Risks from Driving Behaviors. Int. J. Intell. Transp. Syst. Res. Tatsuaki Osafune, Toshimitsu Takahashi, Noboru Kiyama, Tsuneo Sobue, Hirozumi Yamaguchi, Teruo Higashino
2017	—	`conf`	Crowd and event detection by fusion of camera images and micro blogs. PerCom Workshops Sohei Kojima, Akira Uchiyama, Masumi Shirakawa, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino
2017	A	`conf`	Edge Computing and IoT Based Research for Building Safe Smart Cities Resistant to Disasters. ICDCS Teruo Higashino, Hirozumi Yamaguchi, Akihito Hiromori, Akira Uchiyama, Keiichi Yasumoto
2017	B	`conf`	EdgeCEP: Fully-Distributed Complex Event Processing on IoT Edges. DCOSS Sunyanan Choochotkaew, Hirozumi Yamaguchi, Teruo Higashino, Megumi Shibuya, Teruyuki Hasegawa
2017	—	`conf`	HeatWatch: Preventing heatstroke using a smart watch. PerCom Workshops Takashi Hamatani, Akira Uchiyama, Teruo Higashino
2017	B	`conf`	Localization of binary motion sensors in house. IWCMC Nathavuth Kitbutrawat, Hirozumi Yamaguchi, Teruo Higashino
2017	—	`conf`	Play recognition using spatio-temporal relationship of football tracking data. ICMU Tomoki Irnai, Akira Uchiyama, Takuya Magome, Teruo Higashino
2017	A	`conf`	Poster: Smartwatch Knows How Much You Drink. MobiSys Takashi Hamatani, Moustafa Elhamshary, Akira Uchiyama, Teruo Higashino
2017	J	`jnl`	Two-Tier VoI Prioritization System on Requirement-Based Data Streaming toward IoT. Mob. Inf. Syst. Sunyanan Choochotkaew, Hirozumi Yamaguchi, Teruo Higashino
2017	—	`conf`	Vehicle Proximity Awareness by Inter-Vehicle Communication for Surface Mine Operation Safety. VTC Spring Yusuke Nishimura, Tatsuaki Osafune, Seiya Kato, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino
2016	C	`conf`	A Method for Identifying Laser-tracked Vehicles Using Velocity Data from V2V Messages. MobiQuitous Atsushi Fujita, Hirozumi Yamaguchi, Teruo Higashino, Mineo Takai
2016	C	`conf`	A study on identification of laser-tracked vehicles using V2V-based velocity information. WoWMoM Atsushi Fujita, Hirozumi Yamaguchi, Teruo Higashino, Mineo Takai
2016	C	`conf`	Cloud-Assisted Dynamic Content Sharing among Vehicles. CIT Yoshiaki Adachi, Hirozumi Yamaguchi, Teruo Higashino, Takaaki Umedu
2016	—	`conf`	Human thermal comfort estimation in indoor space by crowd sensing. SmartGridComm Masao Chiguchi, Hirozumi Yamaguchi, Teruo Higashino, Yoshiyuki Shimoda
2016	—	`conf`	In-home Activity and Micro-motion Logging Using Mobile Robot with Kinect. MobiQuitous (Adjunct Proceedings) Keita Nakahara, Hirozumi Yamaguchi, Teruo Higashino
2016	—	`conf`	Player identification by motion features in sport videos using wearable sensors. ICMU Takashi Hamatani, Yudai Sakaguchi, Akira Uchiyama, Teruo Higashino
2016	—	`conf`	Poster: Core Temperature Estimation During Exercise Using Wearable Sensors. MobiSys (Companion Volume) Takashi Hamatani, Akira Uchiyama, Teruo Higashino
2016	—	`conf`	Poster: Two-Steps Independent Solution for Rule-based CEP. MobiSys (Companion Volume) Sunyanan Choochotkaew, Hirozumi Yamaguchi, Teruo Higashino
2016	J	`jnl`	Trajectory identification based on spatio-temporal proximity patterns between mobile phones. Wirel. Networks Takamasa Higuchi, Hirozumi Yamaguchi, Teruo Higashino
2016	A	`conf`	TransitLabel: A Crowd-Sensing System for Automatic Labeling of Transit Stations Semantics. MobiSys Moustafa Elhamshary, Moustafa Youssef, Akira Uchiyama, Hirozumi Yamaguchi, Teruo Higashino
2016	J	`jnl`	TransitLabel: A Crowd-Sensing System for Automatic Labeling of Transit Stations Semantics. CoRR Moustafa Elhamshary, Moustafa Youssef, Akira Uchiyama, Hirozumi Yamaguchi, Teruo Higashino
2016	—	`conf`	Travel estimation using Control Signal Records in cellular networks and geographical information. WMNC Yuma Yamada, Akira Uchiyama, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino
2016	C	`conf`	Wi-Fi Channel Selection Based on Urban Interference Measurement. MobiQuitous Shugo Kajita, Tatsuya Amano, Hirozumi Yamaguchi, Teruo Higashino, Mineo Takai
2015	—	`conf`	A Scheduling Algorithm of Cell Zooming for Energy Efficiency in Disasters. MobiWac Akira Uchiyama, Kazumasa Kitada, Teruo Higashino
2015	—	`conf`	A cross validation of network system models for delay tolerant networks. ICMU Shigeru Kaneda, Teruhiro Mizumoto, Taka Maeno, Mineo Takai, Shigeru Kashihara, Hirozumi Yamaguchi, Teruo Higashino
2015	Misc	`conf`	A model-based approach to support smart and social home living. UbiComp Shoko Nakamura, Saeko Shigaki, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino
2015	—	`conf`	A novel estimation method of road condition for pedestrian navigation. PerCom Workshops Takumi Satoh, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino
2015	J	`jnl`	A survey on formal active and passive testing with applications to the cloud. Ann. des Télécommunications Ana R. Cavalli, Teruo Higashino, Manuel Núñez
2015	—	`conf`	Activity recognition of railway passengers by fusion of low-power sensors in mobile phones. SIGSPATIAL/GIS Moustafa Elhamshary, Moustafa Youssef, Akira Uchiyama, Hirozumi Yamaguchi, Teruo Higashino
2015	J	`jnl`	Edge-centric Computing: Vision and Challenges. Comput. Commun. Rev. Pedro García López, Alberto Montresor, Dick H. J. Epema, Anwitaman Datta, Teruo Higashino, Adriana Iamnitchi, Marinho P. Barcellos, Pascal Felber, Etienne Rivière
2015	Misc	`conf`	Estimating core body temperature based on human thermal model using wearable sensors. SAC Takashi Hamatani, Akira Uchiyama, Teruo Higashino
2015	—	`conf`	Estimation of core temperature based on a human thermal model using a wearable sensor. GCCE Akira Uchiyama, Takashi Hamatani, Teruo Higashino
2015	—	`conf`	Human crowd detection for physical sensing assisted geo-social multimedia mining. INFOCOM Workshops Kazuhisa Fujita, Takamasa Higuchi, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino, Shinji Shimojo
2015	J	`jnl`	Mobile Devices as an Infrastructure: A Survey of Opportunistic Sensing Technology. J. Inf. Process. Takamasa Higuchi, Hirozumi Yamaguchi, Teruo Higashino
2015	B	`conf`	Multi-dimensional sensor data aggregator for adaptive network management in M2M communications. IM Kenji Yoi, Hirozumi Yamaguchi, Akihito Hiromori, Akira Uchiyama, Teruo Higashino, Naohisa Yanagiya, Toshikazu Nakatani, Atsuo Tachibana, Teruyuki Hasegawa
2015	—	`conf`	Prediction of Deceleration Amount of Vehicle Speed in Snowy Urban Roads Using Weather Information and Traffic Data. ITSC Ryosuke Tanimura, Akihito Hiromori, Takaaki Umedu, Hirozumi Yamaguchi, Teruo Higashino
2015	—	`conf`	Real-Time Calibration of a Human Thermal Model with Solar Radiation Using Wearable Sensors. WearSys@MobiSys Takashi Hamatani, Akira Uchiyama, Teruo Higashino
2015	—	`conf`	Requirement-based prioritization system in multi-user IoT. WF-IoT Sunyanan Choochotkaew, Hirozumi Yamaguchi, Teruo Higashino, Megumi Shibuya
2015	J	`jnl`	Scalable and robust channel allocation for densely-deployed urban wireless stations. Perform. Evaluation Hirozumi Yamaguchi, Akihito Hiromori, Teruo Higashino, Shigeki Umehara, Hirofumi Urayama, Masaya Yamada, Taka Maeno, Shigeru Kaneda, Mineo Takai
2015	J	`jnl`	Special issue on formal active and passive testing of distributed and networked systems. Ann. des Télécommunications Ana R. Cavalli, Teruo Higashino, Manuel Núñez
2015	—	`conf`	Throughput and Delay Estimator for 2.4GHz WiFi APs: A Machine Learning-Based Approach. WMNC Shugo Kajita, Hirozumi Yamaguchi, Teruo Higashino, Hirofumi Urayama, Masaya Yamada, Mineo Takai
2015	Misc	`conf`	Tracking motion context of railway passengers by fusion of low-power sensors in mobile devices. ISWC Takamasa Higuchi, Hirozumi Yamaguchi, Teruo Higashino
2015	B	`conf`	TweetGlue: Leveraging a crowd tracking infrastructure for mobile social augmented reality. IWCMC Takamasa Higuchi, Hiroki Iwahashi, Hirozumi Yamaguchi, Teruo Higashino
2014	B	`conf`	A channel selection strategy for WLAN in urban areas by regression analysis. WiMob Shugo Kajita, Hirozumi Yamaguchi, Teruo Higashino, Shigeki Umehara, Fumiya Saitou, Hirofumi Urayama, Masaya Yamada, Taka Maeno, Shigeru Kaneda, Mineo Takai
2014	—	`conf`	A neighbor collaboration mechanism for mobile crowd sensing in opportunistic networks. ICC Takamasa Higuchi, Hirozumi Yamaguchi, Teruo Higashino, Mineo Takai
2014	—	`conf`	An analysis model of queue length fluctuation at signals using vehicle trajectories. ICCVE Tomoyuki Tange, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino, Takaaki Umedu
2014	Misc	`conf`	Car-level congestion and position estimation for railway trips using mobile phones. UbiComp Yuki Maekawa, Akira Uchiyama, Hirozumi Yamaguchi, Teruo Higashino
2014	J	`jnl`	Context-supported local crowd mapping via collaborative sensing with mobile phones. Pervasive Mob. Comput. Takamasa Higuchi, Hirozumi Yamaguchi, Teruo Higashino
2014	—	`conf`	Cooperative positioning method using on-board LED communication and distance measurement devices. ICCE-TW Takaaki Umedu, Yasuhide Otsubo, Teruo Higashino
2014	Misc	`conf`	Detecting smoothness of pedestrian flows by participatory sensing with mobile phones. ISWC Tomohiro Nishimura, Takamasa Higuchi, Hirozumi Yamaguchi, Teruo Higashino
2014	—	`conf`	Indoor Localization Utilizing Tracking Scanners and Motion Sensors. UIC/ATC/ScalCom Takumi Takafuji, Kazuhisa Fujita, Takamasa Higuchi, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino
2014	J	`jnl`	Mobile Node Localization Focusing on Stop-and-Go Behavior of Indoor Pedestrians. IEEE Trans. Mob. Comput. Takamasa Higuchi, Sae Fujii, Hirozumi Yamaguchi, Teruo Higashino
2013	A	`conf`	A novel scheduling algorithm for densely-deployed wireless stations in urban areas. MSWiM Hirozumi Yamaguchi, Akihito Hiromori, Teruo Higashino, Shigeki Umehara, Hirofumi Urayama, Masaya Yamada, Taka Maeno, Shigeru Kaneda, Mineo Takai
2013	B	`conf`	Accurate positioning of mobile phones in a crowd using laser range scanners. WiMob Yusuke Wada, Takamasa Higuchi, Hirozumi Yamaguchi, Teruo Higashino
2013	—	`conf`	An extension of clustering algorithm for considering link speed in wireless mesh networks. GCCE Shigeto Tajima, Nobuo Funabiki, Teruo Higashino
2013	B	`conf`	Data-centric programming environment for cooperative applications in WSN. IM Shunsuke Mori, Takaaki Umedu, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino
2013	—	`conf`	Early Detection Method of Service Quality Reduction Based on Linguistic and Time Series Analysis of Twitter. AINA Workshops Kazushi Ikeda, Gen Hattori, Chihiro Ono, Hideki Asoh, Teruo Higashino
2013	J	`jnl`	Electronic triage system for continuously monitoring casualties at disaster scenes. J. Ambient Intell. Humaniz. Comput. Keishi Sakanushi, Takuji Hieda, Taichiro Shiraishi, Yasumasa Ode, Yoshinori Takeuchi, Masaharu Imai, Teruo Higashino, Hiroshi Tanaka
2013	—	`conf`	Mitigating location and speed errors in floating car data using context-based accuracy estimation. ITST Yuma Akai, Akihito Hiromori, Takaaki Umedu, Hirozumi Yamaguchi, Teruo Higashino
2013	J	`jnl`	Quantifying relationship between relative position error of localization algorithms and object identification. Wirel. Networks Noboru Kiyama, Akira Uchiyama, Hirozumi Yamaguchi, Teruo Higashino
2013	J	`jnl`	Self-Estimation of Neighborhood Distribution for Mobile Wireless Nodes. Inf. Media Technol. Yuki Sakai, Akira Uchiyama, Hirozumi Yamaguchi, Teruo Higashino
2013	J	`jnl`	Self-Estimation of Neighborhood Distribution for Mobile Wireless Nodes. J. Inf. Process. Yuki Sakai, Akira Uchiyama, Hirozumi Yamaguchi, Teruo Higashino
2013	—	`conf`	Sensor Placement Optimization Method for People Tracking. NGMAST Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino
2013	C	`ed.`	Stabilization, Safety, and Security of Distributed Systems - 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings SSS Teruo Higashino, Yoshiaki Katayama, Toshimitsu Masuzawa, Maria Potop-Butucaru, Masafumi Yamashita
2013	J	`jnl`	Twitter user profiling based on text and community mining for market analysis. Knowl. Based Syst. Kazushi Ikeda, Gen Hattori, Chihiro Ono, Hideki Asoh, Teruo Higashino
2013	J	`jnl`	UPL: Opportunistic Localization in Urban Districts. IEEE Trans. Mob. Comput. Akira Uchiyama, Sae Fujii, Kumiko Maeda, Takaaki Umedu, Hirozumi Yamaguchi, Teruo Higashino
2012	—	`conf`	A Study for Human Centric Cyber Physical System Based Sensing - Toward Safe and Secure Urban Life -. ISIP Teruo Higashino, Akira Uchiyama
2012	—	`conf`	A self-learning traffic signal control method for CO2 reduction using prediction of vehicle arrivals. ITSC Takaaki Umedu, Yuji Togashi, Teruo Higashino
2012	—	`conf`	An Extension of Wireless Internet-Access Mesh Network Simulator for Use of Smart Antenna. BWCCA Nobuo Funabiki, Shigeto Tajima, Teruo Higashino, Toru Nakanishi, Kan Watanabe
2012	—	`conf`	Autonomous Recognition of Emergency Site by Wearable Sensors. GreenCom Masaki Inokuchi, Takamasa Higuchi, Hirozumi Yamaguchi, Teruo Higashino
2012	—	`conf`	Clearing a Crowd: Context-Supported Neighbor Positioning for People-Centric Navigation. Pervasive Takamasa Higuchi, Hirozumi Yamaguchi, Teruo Higashino
2012	—	`conf`	Depth Limited Treatment Planning and Scheduling for Electronic Triage System in MCI. MobiHealth Ayaka Kashiyama, Akira Uchiyama, Teruo Higashino
2012	—	`conf`	Design and Architecture of Cloud-Based Mobile Phone Sensing Middleware. NCCA Shunsuke Mori, Yu-Chih Wang, Takaaki Umedu, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino
2012	J	`jnl`	Highlights: IEEE ITS Society Technical Committee on Mobile Communications Networks for ITS [Technical Committees]. IEEE Intell. Transp. Syst. Mag. Chai-Keong Toh, Teruo Higashino, Juan-Carlos Cano, Michele C. Weigle
2012	—	`conf`	HumanS: A Human Mobility Sensing Simulator. NTMS Takumi Kanaya, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino
2012	—	`conf`	Performance evaluation of mobility-based energy-saving to control air-conditioning and lighting equipments. SustainIT Akihito Hiromori, Takumi Kanaya, Hirozumi Yamaguchi, Teruo Higashino, Yohei Yamaguchi, Ayaka Murai, Yoshiyuki Shimoda
2012	C	`conf`	Protocol Testing and Performance Evaluation for MANETs with Non-uniform Node Density Distribution. ICTSS Akihito Hiromori, Takaaki Umedu, Hirozumi Yamaguchi, Teruo Higashino
2012	B	`conf`	Simulating CSMA/CA behavior for performance evaluation of multi-hop wireless networks. IWQoS Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino
2012	J	`jnl`	Trajectory estimation algorithm for mobile nodes using encounter information and geographical information. Pervasive Mob. Comput. Sae Fujii, Akira Uchiyama, Takaaki Umedu, Hirozumi Yamaguchi, Teruo Higashino
2011	—	`ed.`	2011 IEEE International Conference on Peer-to-Peer Computing, P2P 2011, Kyoto, Japan, August 31 - September 2, 2011 Peer-to-Peer Computing Tohru Asami, Teruo Higashino
2011	B	`conf`	A Comprehensive Test Strategy for Network Protocols in Diverse Environment. MASCOTS Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino
2011	Misc	`conf`	A Proposal of Fixed Backoff-time Switching Method by Link Activation Rate for Wireless Mesh Networks. CISIS Shigeto Tajima, Nobuo Funabiki, Teruo Higashino
2011	B	`conf`	A Simple Mobility Model Realizing Designated Node Distributions and Natural Node Movement. MASS Eijiro Ueno, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino
2011	J	`jnl`	ALMware: A middleware for application layer multicast protocols. Comput. Commun. Kazushi Ikeda, Thilmee M. Baduge, Takaaki Umedu, Hirozumi Yamaguchi, Teruo Higashino
2011	A*	`conf`	An efficient localization algorithm focusing on stop-and-go behavior of mobile nodes. PerCom Takamasa Higuchi, Sae Fujii, Hirozumi Yamaguchi, Teruo Higashino
2011	—	`conf`	Cooperative Vehicle Positioning via V2V Communications and Onboard Sensors. VTC Fall Sae Fujii, Atsushi Fujita, Takaaki Umedu, Shigeru Kaneda, Hirozumi Yamaguchi, Teruo Higashino, Mineo Takai
2011	—	`conf`	Electronic Triage System: Casualties Monitoring System in the Disaster Scene. 3PGCIC Keishi Sakanushi, Takuji Hieda, Taichiro Shiraishi, Yasumasa Ode, Yoshinori Takeuchi, Masaharu Imai, Teruo Higashino, Hiroshi Tanaka
2011	B	`conf`	Implementation of a data collection mechanism in electronic triage system using wireless sensor devices. LCN Anuj Ratna Bajracharya, Akira Uchiyama, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino
2010	J	`jnl`	A WDS Clustering Algorithm for Wireless Mesh Networks. IEICE Trans. Inf. Syst. Shigeto Tajima, Nobuo Funabiki, Teruo Higashino
2010	J	`jnl`	An Intervehicular-Communication Protocol for Distributed Detection of Dangerous Vehicles. IEEE Trans. Veh. Technol. Takaaki Umedu, Kumiko Isu, Teruo Higashino, Chai-Keong Toh
2010	J	`jnl`	Evaluation of dissemination-based inter-vehicle ad-hoc communication protocols for local traffic information services. Int. J. Wirel. Mob. Comput. Masashi Saito, Jun Tsukamoto, Takaaki Umedu, Teruo Higashino
2010	A*	`conf`	Local map generation using position and communication history of mobile nodes. PerCom Shinichi Minamimoto, Sae Fujii, Hirozumi Yamaguchi, Teruo Higashino
2010	J	`jnl`	Map estimation using GPS-equipped mobile wireless nodes. Pervasive Mob. Comput. Shinichi Minamimoto, Sae Fujii, Hirozumi Yamaguchi, Teruo Higashino
2010	B	`conf`	Message from the General Co-Chairs. ICNP Teruo Higashino, Kenji Suzuki
2009	—	`conf`	Adaptive location based TDM protocol for inter-vehicle communication. VNC Masaya Ohmori, Takaaki Umedu, Teruo Higashino
2009	—	`conf`	An integrated tool for development of overlay services. SimuTools Yuki Sakai, Akihito Hiromori, Hirozumi Yamaguchi, Khaled El-Fakih, Teruo Higashino
2009	B	`conf`	Modeling and Evaluation of Rescue Operations Using Mobile Communication Devices. PADS Keisuke Nakata, Kumiko Maeda, Takaaki Umedu, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino
2009	B	`conf`	Optimal Assignment of Real-Time Systems into Multi-context Dynamically Reconfigurable Processors. RTCSA Tomoya Kitani, Ryo Nakahashi, Khaled El-Fakih, Teruo Higashino
2009	A	`conf`	Real-time trajectory estimation in mobile ad hoc networks. MSWiM Sae Fujii, Takashi Nomura, Takaaki Umedu, Hirozumi Yamaguchi, Teruo Higashino
2009	C	`conf`	Self-estimation of Neighborhood Density for Mobile Wireless Nodes. UIC Junji Hamada, Akira Uchiyama, Hirozumi Yamaguchi, Shinji Kusumoto, Teruo Higashino
2009	J	`jnl`	Urban pedestrian mobility for mobile wireless network simulation. Ad Hoc Networks Kumiko Maeda, Akira Uchiyama, Takaaki Umedu, Hirozumi Yamaguchi, Keiichi Yasumoto, Teruo Higashino
2008	J	`jnl`	A Contact-based Hybrid Routing Protocol for Mobile Ad Hoc Networks. Inf. Media Technol. Weihua Sun, Junya Fukumoto, Hirozumi Yamaguchi, Shinji Kusumoto, Teruo Higashino
2008	J	`jnl`	A Contact-based Hybrid Routing Protocol for Mobile Ad Hoc Networks. J. Inf. Process. Weihua Sun, Junya Fukumoto, Hirozumi Yamaguchi, Shinji Kusumoto, Teruo Higashino
2008	A*	`conf`	An Off-line Algorithm to Estimate Trajectories of Mobile Nodes Using Ad-hoc Communication (concise contribution). PerCom Sae Fujii, Akira Uchiyama, Takaaki Umedu, Hirozumi Yamaguchi, Teruo Higashino
2008	—	`conf`	D-Sense: An Integrated Environment for Algorithm Design and Protocol Implementation in Wireless Sensor Networks. MMNS Kazushi Ikeda, Shunsuke Mori, Yuya Ota, Takaaki Umedu, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino
2008	—	`ch.`	Design and Deployment of Large-Scale Software-Intensive Systems in Urban Districts. Software-Intensive Systems and New Computing Paradigms Teruo Higashino
2008	—	`conf`	Efficient VANET-Based Traffic Information Sharing using Buses on Regular Routes. VTC Spring Tomoya Kitani, Takashi Shinkawa, Naoki Shibata, Keiichi Yasumoto, Minoru Ito, Teruo Higashino
2008	C	`ed.`	Formal Techniques for Networked and Distributed Systems - FORTE 2008, 28th IFIP WG 6.1 International Conference, Tokyo, Japan, June 10-13, 2008, Proceedings FORTE Kenji Suzuki, Teruo Higashino, Keiichi Yasumoto, Khaled El-Fakih
2008	B	`conf`	Hierarchical Logical Topology in WDM Ring Networks with Limited ADMs. Networking Tomoya Kitani, Nobuo Funabiki, Hirozumi Yamaguchi, Teruo Higashino
2008	B	`conf`	Hybrid Testbed Enabling Run-Time Operations for Wireless Applications. PADS Kumiko Maeda, Keisuke Nakata, Takaaki Umedu, Hirozumi Yamaguchi, Keiichi Yasumoto, Teruo Higashino
2008	B	`conf`	Realistic Mobility Aware Information Gathering in Disaster Areas. WCNC Masatoshi Nakamura, Hiroaki Urabe, Akira Uchiyama, Takaaki Umedu, Teruo Higashino
2008	—	`conf`	Stability Oriented Overlay Multicast for Multimedia Streaming in Multiple Source Context. ICC Thilmee M. Baduge, Kazushi Ikeda, Hirozumi Yamaguchi, Teruo Higashino
2008	—	`ed.`	Testing of Software and Communicating Systems, 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008, 8th International Workshop, FATES 2008, Tokyo, Japan, June 10-13, 2008, Proceedings TestCom/FATES Kenji Suzuki, Teruo Higashino, Andreas Ulrich, Toru Hasegawa
2007	J	`jnl`	A proposal of improved lip contour extraction method using deformable template matching and its application to dental treatment. Syst. Comput. Jpn. Yujin Yokogawa, Nobuo Funabiki, Teruo Higashino, Masashi Oda, Yoshihide Mori
2007	A*	`conf`	Ad-hoc Localization in Urban District. INFOCOM Akira Uchiyama, Sae Fujii, Kumiko Maeda, Takaaki Umedu, Hirozumi Yamaguchi, Teruo Higashino
2007	B	`ed.`	Automated Technology for Verification and Analysis, 5th International Symposium, ATVA 2007, Tokyo, Japan, October 22-25, 2007, Proceedings ATVA Kedar S. Namjoshi, Tomohiro Yoneda, Teruo Higashino, Yoshio Okamura
2007	J	`jnl`	Deriving protocol specifications from service specifications written as Predicate/Transition-nets. Comput. Networks Hirozumi Yamaguchi, Khaled El-Fakih, Gregor von Bochmann, Teruo Higashino
2007	J	`jnl`	Design and Evaluation of Intervehicle Dissemination Protocol for Propagation of Preceding Traffic Information. IEEE Trans. Intell. Transp. Syst. Masashi Saito, Jun Tsukamoto, Takaaki Umedu, Teruo Higashino
2007	—	`conf`	Efficient Acquisition of Local Traffic Information using Inter-Vehicle Communication with Queries. ITSC Takeshi Fujiki, Masayuki Kirimura, Takaaki Umedu, Teruo Higashino
2007	Misc	`conf`	Efficient Parallel Simulation of Mobile Wireless Networks by Run-time Prediction of Multi-hop Propagation Delay. TRIDENTCOM Hirozumi Yamaguchi, Kazuki Konishi, Teruo Higashino
2007	—	`conf`	Mobility-Aware Data Management on Mobile Wireless Networks. VTC Spring Akiko Yamasaki, Hirozumi Yamaguchi, Shinji Kusumoto, Teruo Higashino
2007	J	`jnl`	Performance evaluation of mobile wireless communication and services with modelling of real environment. Int. J. Ad Hoc Ubiquitous Comput. Akira Uchiyama, Kumiko Maeda, Takaaki Umedu, Hirozumi Yamaguchi, Teruo Higashino
2007	J	`jnl`	Proposal of a hierarchical heuristic algorithm for node assignment in bidirectional Manhattan street networks. Syst. Comput. Jpn. Masataka Yonezu, Nobuo Funabiki, Tomoya Kitani, Tokumi Yokohira, Toru Nakanishi, Teruo Higashino
2006	C	`conf`	A Method for Sharing Traffic Jam Information using Inter-Vehicle Communication. MobiQuitous Naoki Shibata, Takashi Terauchi, Tomoya Kitani, Keiichi Yasumoto, Minoru Ito, Teruo Higashino
2006	B	`conf`	A Technique for Information Sharing using Inter-Vehicle Communication with Message Ferrying. MDM Takashi Shinkawa, Takashi Terauchi, Tomoya Kitani, Naoki Shibata, Keiichi Yasumoto, Minoru Ito, Teruo Higashino
2006	J	`jnl`	A Timed Failure Equivalence Preserving Abstraction for Parametric Time-interval Automata. Int. J. Found. Comput. Sci. Akio Nakata, Tadaaki Tanimoto, Suguru Sasaki, Teruo Higashino
2006	J	`jnl`	A distributed algorithm for constructing minimum delay spanning trees under bandwidth constraints on overlay networks. Syst. Comput. Jpn. Thilmee M. Baduge, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino
2006	A*	`conf`	A real time budgeting method for module-level-pipelined bus based system using bus scenarios. DAC Tadaaki Tanimoto, Seiji Yamaguchi, Akio Nakata, Teruo Higashino
2006	B	`conf`	An Internet Gateway Access-Point Selection Problem forWireless Infrastructure Mesh Networks. MDM Shigeto Tajima, Teruo Higashino, Nobuo Funabiki, Shoji Yoshida
2006	B	`conf`	Demand-Oriented Information Retrieval Method on MANET. MDM Makoto Enomoto, Naoki Shibata, Keiichi Yasumoto, Minoru Ito, Teruo Higashino
2006	B	`conf`	Demonstration of a Cellular Phone Application Based on Context-Aware Group Formation. MDM Kouji Nishigaki, Keiichi Yasumoto, Takaaki Umedu, Teruo Higashino, Minoru Ito
2006	B	`conf`	Efficient and Robust Distributed Network Monitoring using Dynamic Group Formation. NOMS Akira Uchiyama, Takaaki Umedu, Keiichi Yasumoto, Teruo Higashino
2006	—	`conf`	MANET Protocol for Information Gathering from Disaster Victims. PerCom Workshops Takaaki Umedu, Hiroaki Urabe, Jun Tsukamoto, Kazuki Sato, Teruo Higashino
2006	B	`conf`	Maximizing User Gain in Multi-flow Multicast Streaming on Overlay Networks. MDM Yoshitaka Nakamura, Hirozumi Yamaguchi, Teruo Higashino
2006	B	`conf`	MobiREAL : Scenario Generation and Toolset for MANET Simulation with Realistic Node Mobility. MDM Kumiko Maeda, Takaaki Umedu, Hirozumi Yamaguchi, Keiichi Yasumoto, Teruo Higashino
2006	J	`jnl`	Petri net-based protocol synthesis with minimum communication costs. J. Frankl. Inst. Khaled El-Fakih, Hirozumi Yamaguchi, Gregor von Bochmann, Teruo Higashino
2006	J	`jnl`	Symbolic model checking of extended finite state machines with linear constraints over integer variables. Syst. Comput. Jpn. Takashi Takenaka, Kozo Okano, Teruo Higashino, Kenichi Taniguchi
2005	C	`conf`	A Testing Architecture for Designing High-Reliable MANET Protocols. FORTE Teruo Higashino, Hirozumi Yamaguchi
2005	B	`conf`	A formal approach to design optimized multimedia service overlay. NOSSDAV Hirozumi Yamaguchi, Khaled El-Fakih, Akihito Hiromori, Teruo Higashino
2005	J	`jnl`	An Optical-Drop Wavelength Assignment Algorithm for Efficient Wavelength Reuse under Heterogeneous Traffic in WDM Ring Networks. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. Nobuo Funabiki, Jun Kawashima, Toru Nakanishi, Kiyohiko Okayama, Teruo Higashino
2005	B	`conf`	Automatic Decomposition of Java Program for Implementation on Mobile Terminals. AINA Takaaki Umedu, Shigeharu Urata, Akio Nakata, Teruo Higashino
2005	B	`conf`	Design and Implementation of Overlay Multicast Protocol for Multimedia Streaming. ICPP Thilmee M. Baduge, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino
2005	J	`jnl`	Double Depth First Search Based Parametric Analysis for Parametric Time-Interval Automata. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. Tadaaki Tanimoto, Akio Nakata, Hideaki Hashimoto, Teruo Higashino
2005	B	`conf`	Evaluation of Inter-Vehicle Ad Hoc Communication Protocol. AINA Masashi Saito, Jun Tsukamoto, Takaaki Umedu, Teruo Higashino
2005	—	`conf`	Framework and Rule-Based Language for Facilitating Context-Aware Computing Using Information Appliances. ICDCS Workshops Kouji Nishigaki, Keiichi Yasumoto, Naoki Shibata, Minoru Ito, Teruo Higashino
2005	A	`conf`	Getting urban pedestrian flow from simple observation: realistic mobility generation in wireless network simulation. MSWiM Kumiko Maeda, Kazuki Sato, Kazuki Konishi, Akiko Yamasaki, Akira Uchiyama, Hirozumi Yamaguchi, Keiichi Yasumoto, Teruo Higashino
2005	B	`conf`	MobiREAL Simulator Evaluating MANET Applications in Real Environments. MASCOTS Kazuki Konishi, Kumiko Maeda, Kazuki Sato, Akiko Yamasaki, Hirozumi Yamaguchi, Teruo Higashino, Keiichi Yasumoto
2005	B	`conf`	Optical-Drop Wavelength Assignment Problem for Wavelength Reuse in WDM Ring Metropolitan Area Networks. AINA Nobuo Funabiki, Megumi Isogai, Toru Nakanishi, Teruo Higashino
2005	A	`conf`	Personally Customizable Group Navigation System Using Cellular Phones and Wireless Ad-Hoc Communication. ICME Yoshitaka Nakamura, Guiquan Ren, Masatoshi Nakamura, Takaaki Umedu, Teruo Higashino
2005	B	`ed.`	Principles of Distributed Systems, 8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers OPODIS Teruo Higashino
2004	A	`conf`	A Flexible and High-Reliable HW/SW Co-Design Method for Real-Time Embedded Systems. RTSS Tomoya Kitani, Yoshifumi Takamoto, Keiichi Yasumoto, Akio Nakata, Teruo Higashino
2004	B	`conf`	A Global Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata. ATVA Tadaaki Tanimoto, Suguru Sasaki, Akio Nakata, Teruo Higashino
2004	J	`jnl`	A Method for Designing Multimedia Protocols using Both Parametric Model Checking and Functional Testing. Stud. Inform. Univ. Takanori Mori, Akio Nakata, Teruo Higashino
2004	—	`conf`	A proposal of hierarchical chordal ring network topology for WDM networks. ICON Tomoya Kitani, Nobuo Funabiki, Teruo Higashino
2004	A	`conf`	An Autonomous and Decentralized Protocol for Delay Sensitive Overlay Multicast Tree. ICDCS Hirozumi Yamaguchi, Akihito Hiromori, Teruo Higashino, Kenichi Taniguchi
2004	B	`conf`	Middleware Providing Dynamic Group Communication Facility for Cellular Phone Applications. Mobile Data Management Kouji Nishigaki, Keiichi Yasumoto, Takaaki Umedu, Teruo Higashino, Minoru Ito
2004	—	`conf`	Middleware Providing Group Communication Facility Based on Muliti-Way Synchronization for Cellular Phone Applications. ICDCS Workshops Kouji Nishigaki, Keiichi Yasumoto, Takaaki Umedu, Teruo Higashino, Minoru Ito
2003	B	`conf`	A Proposal of a Minimal-State Processing Search Algorithm for Isochronous Channel Reuse Problems in DQDB Networks. AINA Nobuo Funabiki, Ayako Sugano, Teruo Higashino
2003	—	`conf`	A Proposal of a Minimal-State Processing Search Algorithm for Link Scheduling Problems in Packet Radio Networks. SAINT Shigeto Tajima, Ayako Sugano, Nobuo Funabiki, Teruo Higashino
2003	—	`conf`	A Receiver Coordination Protocol for the Efficient Use of Bandwidth in Distributed Multimedia Applications. ICDCS Workshops Hirozumi Yamaguchi, Cao Man Letan, Akihito Hiromori, Takeshi Yamashita, Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi
2003	J	`jnl`	A test sequence generation method for communication protocols using the SAT algorithm. Syst. Comput. Jpn. Takanori Mori, Hirotaka Otsuka, Nobuo Funabiki, Akio Nakata, Teruo Higashino
2003	—	`conf`	A two-stage hierarchical algorithm for wavelength assignment in WDM-based Bidirectional Manhattan Street Networks. ICON Tomoya Kitani, Masataka Yonedu, Nobuo Funabiki, Tom Nakanishi, Kiyohiko Okayama, Teruo Higashino
2003	C	`conf`	Decomposing Service Definition in Predicate/Transition-Nets for Designing Distributed Systems. FORTE Hirozumi Yamaguchi, Gregor von Bochmann, Teruo Higashino
2003	B	`conf`	Design and Implementation of Priority Queuing Mechanism on FPGA Using Concurrent Periodic EFSMs and Parametric Model Checking. FPL Tomoya Kitani, Yoshifumi Takamoto, Isao Naka, Keiichi Yasumoto, Akio Nakata, Teruo Higashino
2003	A	`conf`	On designing end-user multicast for multiple video sources. ICME Yoshitaka Nakamura, Hirozumi Yamaguchi, Akihito Hiromori, Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi
2003	J	`jnl`	Protocol synthesis and re-synthesis with optimal allocation of resources based on extended Petri nets. Distributed Comput. Hirozumi Yamaguchi, Khaled El-Fakih, Gregor von Bochmann, Teruo Higashino
2003	C	`conf`	QoS Functional Testing for Multi-media Systems. FORTE Tao Sun, Keiichi Yasumoto, Masaaki Mori, Teruo Higashino
2003	B	`conf`	Reducing the Size of Routing Tables for Large-scale Network Simulation. PADS Akihito Hiromori, Hirozumi Yamaguchi, Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi
2002	—	`conf`	A Language for Describing Wireless Mobile Applications with Dynamic Establishment of Multi-way Synchronization Channels. FME Takaaki Umedu, Yoshiki Terashima, Keiichi Yasumoto, Akio Nakata, Teruo Higashino, Kenichi Taniguchi
2002	—	`conf`	A Method for Functional Testing of Media Synchronization Protocols. ICOIN (2) Makoto Yamada, Takanori Mori, Atsushi Fukada, Akio Nakata, Teruo Higashino
2002	—	`conf`	A Proposal of a Quasi-Solution State Evolution Algorithm for Channel Assignment Problems. ICOIN (2) Nobuo Funabiki, Toru Nakanishi, Tokumi Yokohira, Shigeto Tajima, Teruo Higashino
2002	J	`jnl`	A Quasi-Solution State Evolution Algorithm for Channel Assignment Problems in Cellular Networks. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. Nobuo Funabiki, Toru Nakanishi, Tokumi Yokohira, Shigeto Tajima, Teruo Higashino
2002	B	`conf`	A Selection Technique for Replicated Multicast Video Servers. ICPP Akihito Hiromori, Hirozumi Yamaguchi, Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi
2002	—	`conf`	An Optimal Path Selection Algorithm for Static and Mobile Multicast Routing Problems. ICOIN (1) Shigeto Tajima, Masakazu Fujii, Nobuo Funabiki, Tokumi Yokohira, Kazufumi Tsunemura, Teruo Higashino
2002	B	`conf`	Design and Implementation of FPGA Circuits for High Speed Network Monitors. FPL Masayuki Kirimura, Yoshifumi Takamoto, Takanori Mori, Keiichi Yasumoto, Akio Nakata, Teruo Higashino
2002	J	`jnl`	Protocol animation based on event-driven visualization scenarios in real-time LOTOS. Comput. Networks Keiichi Yasumoto, Takaaki Umedu, Hirozumi Yamaguchi, Akio Nakata, Teruo Higashino
2001	—	`conf`	A Conformance Testing Method for Communication Protocols Modeled as Concurrent DFSMs. ICOIN Atsushi Fukada, Akio Nakata, Junji Kitamichi, Teruo Higashino, Ana R. Cavalli
2001	C	`conf`	A Method to Generate Conformance Test Sequences for FSM with Timer System Call. FORTE Takanori Mori, K. Tokuda, Harumasa Tada, Masahiro Higuchi, Teruo Higashino
2001	J	`jnl`	A compiler to implement LOTOS specifications in distributed environments. Comput. Networks Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi
2001	B	`conf`	A minimal-state processing search algorithm for satisfiability problems. SMC Nobuo Funabiki, Tokumi Yokohira, Tom Nakanishi, Shigeto Tajima, Teruo Higashino
2001	C	`conf`	Deriving Parameter Conditions for Periodic Timed Automata Satisfying Real-Time Temporal Logic Formulas. FORTE Akio Nakata, Teruo Higashino
2001	—	`conf`	Formal Verification of CPU in Laboratory Work. MSE Kozo Okano, Yuko Kitahama, Akira Kitajima, Teruo Higashino, Kenichi Taniguchi
2001	—	`conf`	Protocol Synthesis from SMIL-Based Scenarios and Its Implementation in Distributed Environment. ICOIN Takaaki Umedu, Hirozumi Yamaguchi, Keiichi Yasumoto, Teruo Higashino
2000	A*	`conf`	Automatic Derivation of Petri Net Based Distributed Specification with Optimal Allocation of Resources. ASE Khaled El-Fakih, Hirozumi Yamaguchi, Gregor von Bochmann, Teruo Higashino
2000	A	`conf`	Extension of SMIL with QoS Control and its Implementation. IEEE International Conference on Multimedia and Expo (III) Yoshiki Terashima, Keiichi Yasumoto, Teruo Higashino, Kota Abe, Toshio Matsuura, Kenichi Taniguchi
2000	—	`conf`	Fast and Optimal Multicast-Server Selection Based on Receivers' Preference. IDMS Akihito Hiromori, Hirozumi Yamaguchi, Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi
2000	C	`conf`	Hardware implementation of Concurrent Periodic EFSM's. FORTE Hisaaki Katagiri, Masayuki Kirimura, Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi
2000	A*	`conf`	Hardware implementation of communication protocols modeled by concurrent EFSMs with multi-way synchronization. DAC Hisaaki Katagiri, Keiichi Yasumoto, Akira Kitajima, Teruo Higashino, Kenichi Taniguchi
1999	B	`conf`	A gradual neural network approach for broadcast scheduling in packet radio networks. IJCNN Nobuo Funabiki, Yoichi Takenaka, Teruo Higashino
1999	—	`conf`	Formal Design Verification for Correctness of Pipelined Microprocessors with Out-of-order Instruction Execution. ASP-DAC Takashi Takenaka, Junji Kitamichi, Teruo Higashino, Kenichi Taniguchi
1999	—	`conf`	Generating Test Cases for a Timed I/O Automaton Model. IWTCS Teruo Higashino, Akio Nakata, Kenichi Taniguchi, Ana R. Cavalli
1999	B	`conf`	Receiver-Cooperative Bandwidth Management for Layered Multicast. ICNP Hirozumi Yamaguchi, Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi
1999	—	`conf`	Specification of Real-Time Systems Using a Timed Automata Model with Shared Variables and Verification of Partial-Deadlock Freeness. ICPP Workshops Kozo Okano, Satoshi Hattori, Akira Yamamoto, Teruo Higashino, Kenichi Taniguchi
1998	B	`conf`	Design and Implementation of an Efficient I/O Method for a Real-Time User Level Thread Library. RTCSA Kota Abe, Toshio Matsuura, Keiichi Yasumoto, Teruo Higashino
1998	C	`ed.`	Formal Description Techniques and Protocol Specification, Testing and Verification, FORTE X / PSTV XVII'97, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification, Testing and Verification (PSTV XVII), 18-21 November, 1997, Osaka, Japan FORTE Atsushi Togashi, Tadanori Mizuno, Norio Shiratori, Teruo Higashino
1998	C	`conf`	Hardware synthesis from protocol specifications in LOTOS. FORTE Keiichi Yasumoto, Akira Kitajima, Teruo Higashino, Kenichi Taniguchi
1998	B	`conf`	Protocol Synthesis from Context-Free Processes Using Event Structures. RTCSA Akio Nakata, Teruo Higashino, Kenichi Taniguchi
1998	B	`conf`	Resource Management for Quality of Service Guarantees in Multi-Party Multimedia Application. ICNP Hiroharu Sakate, Hirozumi Yamaguchi, Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi
1997	C	`conf`	Implementation of Distributed Systems described with LOTOS Multi-rendezvous on Bus Topology Networks. FORTE Keiichi Yasumoto, Kazuhiro Gotoh, Hiroki Tatsumoto, Teruo Higashino, Kenichi Taniguchi
1997	B	`conf`	Protocol Synthesis from Time Petri Net Based Service Specification. ICPADS Hirozumi Yamaguchi, Kozo Okano, Teruo Higashino, Kenichi Taniguchi
1996	J	`jnl`	Deriving Protocol Specifications from Service Specifications Written in LOTOS. Distributed Comput. Christian Kant, Teruo Higashino, Gregor von Bochmann
1996	J	`jnl`	Proof method for correctness of refinements of algebraic specification in abstract sequential machine style. Syst. Comput. Jpn. Kozo Okano, Teruo Higashino, Kenichi Taniguchi
1996	C	`conf`	Time-Action Alternating Model for Timed LOTOS and its Symbolic Verification of Bisimulation Equivalence. FORTE Akio Nakata, Teruo Higashino, Kenichi Taniguchi
1995	C	`conf`	A LOTOS Compiler Generating Multi-threaded Object Codes. FORTE Keiichi Yasumoto, Teruo Higashino, Kota Abe, Toshio Matsuura, Kenichi Taniguchi
1995	B	`conf`	Protocol synthesis from timed and structured specifications. ICNP Akio Nakata, Teruo Higashino, Kenichi Taniguchi
1995	B	`conf`	Protocol visualization using LOTOS multi-rendezvous mechanism. ICNP Keiichi Yasumoto, Teruo Higashino, Toshio Matsuura, Kenichi Taniguchi
1995	A	`conf`	Synthesis of Protocol Entities' Specifications from Service Specifications in a Petri Net Model with Registers. ICDCS Hirozumi Yamaguchi, Kozo Okano, Teruo Higashino, Kenichi Taniguchi
1995	C	`conf`	Verification of Liveness Property for Communicating FSM's with Conditional Transitions Depending on State Visiting Numbers. FORTE Teruo Higashino, Akio Nakata, Tatsuo Itoh, Kenichi Taniguchi
1994	J	`jnl`	Automatic Analysis and Test Case Derivation for a Restricted Class of LOTOS Expressions with Data Parameters. IEEE Trans. Software Eng. Teruo Higashino, Gregor von Bochmann
1994	—	`conf`	Automatic Correctness Proof of the Implementation of Synchronous Sequential Circuits Using an Algebraic Approach. TPCD Junji Kitamichi, Sumio Morioka, Teruo Higashino, Kenichi Taniguchi
1994	—	`conf`	Hardware synthesis from a restricted class of LOTOS expressions. PSTV Teruo Higashino, Keiichi Yasumoto, Junji Kitamichi, Kenichi Taniguchi
1994	A*	`conf`	Software Process Description Using LOTOS and Its Enaction. ICSE Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi
1993	A	`conf`	Deriving Protocol Specifications from Service Specifications in Extended FSM Models. ICDCS Teruo Higashino, Kozo Okano, Hiroshi Imajo, Kenichi Taniguchi
1993	C	`conf`	LOTOS enhancement to specify time constraint among non-adjacent actions using first order logic. FORTE Akio Nakata, Teruo Higashino, Kenichi Taniguchi
1992	—	`conf`	Test System for a Restricted Class of LOTOS Expressions with Data Parameters. Protocol Test Systems Teruo Higashino, Gregor von Bochmann, Xiangdong Li, Keiichi Yasumoto, Kenichi Taniguchi
1992	—	`conf`	VTM: A Graph Editor for Large Trees. IFIP Congress (1) Toshio Matsuura, Tohru Nakamura, Teruo Higashino, Kenichi Taniguchi, Sumio Masuda
1991	—	`ch.`	An Algebraic Method For Verifying Progress Property of Communication Protocols. Software Science and Engineering Teruo Higashino, Kenichi Taniguchi, Tadao Kasami, Mamoru Fujii, Masaaki Mori
1989	—	`conf`	Automated Verification of Equivalence of Protocol Machines. PSTV Teruo Higashino, Kiyoshi Ninomiya, Tomohisa Kimoto, Kenichi Taniguchi, Masaaki Mori
1989	J	`jnl`	Verification of safeness and mutual exclusion properties of algebraically specified token ring LAN protocol. Syst. Comput. Jpn. Teruo Higashino, Mamoru Fujii, Kenichi Taniguchi, Tadao Kasami, Masaaki Mori
1987	J	`jnl`	Verification of progress property of algebraically specified communication protocols. Syst. Comput. Jpn. Teruo Higashino, Kenichi Taniguchi, Tadao Kasami, Mamoru Fujii, Masaaki Mori
1984	J	`jnl`	An Algebraic Specification of HDLC Procedures and Its Verification. IEEE Trans. Software Eng. Teruo Higashino, Masaaki Mori, Yuji Sugiyama, Kenichi Taniguchi, Tadao Kasami