default search action
Teruo Higashino
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j75]Srikant Manas Kala, Malvika Mishra, Vanlin Sathya, Tatsuya Amano, Monisha Ghosh, Teruo Higashino, Hirozumi Yamaguchi:
Cellular Operator Data Meets Counterfactual Machine Learning. IEEE Access 12: 64633-64653 (2024) - [j74]Srikant Manas Kala, Malvika Mishra, Amogh Biju, Vanlin Sathya, Tatsuya Amano, Teruo Higashino, Hirozumi Yamaguchi, Bheemarjuna Reddy Tamma:
Architecture, Performance, and Usability of Mobile Cellular Network Monitoring Applications for Data-Driven Analysis. IEEE Access 12: 88426-88444 (2024) - [j73]Hikoto Iseda, Keiichi Yasumoto, Akira Uchiyama, Teruo Higashino:
Daily Living Activity Recognition with Frequency-Shift WiFi Backscatter Tags. Sensors 24(11): 3277 (2024) - [c224]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:
Exploring Effective Sensing Indicators of Loneliness For Elderly Community in US and Japan. CHI Extended Abstracts 2024: 518:1-518:9 - [c223]Hikoto Iseda, Keiichi Yasumoto, Akira Uchiyama, Teruo Higashino:
Feasibility of Living Activity Recognition with Frequency-Shift WiFi Backscatter Tags in Homes. IE 2024: 9-16 - [c222]Yudai Yamaguchi, Viktor Erdélyi, Akira Uchiyama, Teruo Higashino:
A Preliminary Study on Angle of Arrival Estimation by MUSIC Algorithm Using Backscatter Tags. PerCom Workshops 2024: 696-701 - 2023
- [j72]Srikant Manas Kala, Vanlin Sathya, Kunal Dahiya, Teruo Higashino, Hirozumi Yamaguchi:
Mitigating Trade-Off in Unlicensed Network Optimization Through Machine Learning and Context Awareness. IEEE Access 11: 7873-7891 (2023) - [j71]Teruo Higashino, Hidetoshi Kotera, Yasushi Yagi:
MEXT Society 5.0 Realization Research Support Project. Commun. ACM 66(7): 94-95 (2023) - [j70]Hamada Rizk, Hirozumi Yamaguchi, Moustafa Youssef, Teruo Higashino:
Laser Range Scanners for Enabling Zero-overhead WiFi-based Indoor Localization System. ACM Trans. Spatial Algorithms Syst. 9(1): 4:1-4:25 (2023) - [c221]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:
Short: Integrated Sensing Platform for Detecting Social Isolation and Loneliness In the Elderly Community. CHASE 2023: 148-152 - [c220]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:
iCareLoop: Closed-Loop Sensing and Intervention for Gerontological Social Isolation and Loneliness. ICCPS 2023: 272-273 - [c219]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:
iCareLoop: Data Management System for Monitoring Gerontological Social Isolation and Loneliness. ICMU 2023: 1-6 - [d1]Srikant Manas Kala, Vanlin Sathya, Monisha Ghosh, Teruo Higashino, Hirozumi Yamaguchi:
Unlicensed Cellular Operator Dataset From Public LAA Networks. IEEE DataPort, 2023 - 2022
- [j69]Ryosuke Hasegawa, Akira Uchiyama, Fumio Okura, Daigo Muramatsu, Issei Ogasawara, Hiromi Takahata, Ken Nakata, Teruo Higashino:
Close-Contact Detection Using a Single Camera for Sports Considering Occlusion. IEEE Access 10: 15457-15468 (2022) - [j68]Srikant Manas Kala, Vanlin Sathya, Kunal Dahiya, Teruo Higashino, Hirozumi Yamaguchi:
Identification and Analysis of a Unique Cell Selection Phenomenon in Public Unlicensed Cellular Networks Through Machine Learning. IEEE Access 10: 87282-87301 (2022) - [j67]Hidetsugu Asano, Eiji Hirakawa, Hayato Hayashi, Keisuke Hamada, Yuto Asayama, Masaaki Oohashi, Akira Uchiyama, Teruo Higashino:
A method for improving semantic segmentation using thermographic images in infants. BMC Medical Imaging 22(1): 1 (2022) - [j66]Yoshihiro Nakagawa, Toru Maeda, Akira Uchiyama, Teruo Higashino:
BAAS: Backscatter as a Sensor for Ultra-Low-Power Context Recognition. J. Inf. Process. 30: 130-139 (2022) - [j65]Srikant Manas Kala, Kunal Dahiya, Vanlin Sathya, Teruo Higashino, Hirozumi Yamaguchi:
LTE-LAA cell selection through operator data learning and numerosity reduction. Pervasive Mob. Comput. 83: 101586 (2022) - 2021
- [j64]Hiroki Yoshikawa, Akira Uchiyama, Teruo Higashino:
TSVNet: Combining Time-Series and Opportunistic Sensing by Transfer Learning for Dynamic Thermal Sensation Estimation. IEEE Access 9: 102835-102846 (2021) - [j63]Akira Uchiyama, Shunsuke Saruwatari, Takuya Maekawa, Kazuya Ohara, Teruo Higashino:
Context Recognition by Wireless Sensing: A Comprehensive Survey. J. Inf. Process. 29: 46-57 (2021) - [j62]Ryosuke Hasegawa, Akira Uchiyama, Takuya Magome, Juri Tatsumi, Teruo Higashino:
Maneuver and Turn Classification in Wheelchair Basketball Using Inertial Sensors. J. Inf. Process. 29: 70-80 (2021) - [c218]Srikant Manas Kala, Vanlin Sathya, Winston K. G. Seah, Hirozumi Yamaguchi, Teruo Higashino:
Evaluation of Theoretical Interference Estimation Metrics for Dense Wi-Fi Networks. COMSNETS 2021: 351-359 - [c217]Viktor Erdélyi, Hamada Rizk, Hirozumi Yamaguchi, Teruo Higashino:
Learn to See: A Microwave-based Object Recognition System Using Learning Techniques. ICDCN (Adjunct Volume) 2021: 145-150 - [c216]Yoshihiro Nakagawa, Toru Maeda, Akira Uchiyama, Teruo Higashino:
Design and Evaluation of a Frequency Shift Backscatter Tag for Context Recognition. ICDCN (Adjunct Volume) 2021: 157-162 - [c215]Srikant Manas Kala, Vanlin Sathya, Eitaro Yamatsuta, Hirozumi Yamaguchi, Teruo Higashino:
Operator Data Driven Cell-Selection in LTE-LAA Coexistence Networks. ICDCN 2021: 206-214 - [c214]Hiroki Yoshikawa, Masayuki Hayashi, Akira Uchiyama, Teruo Higashino:
Reliability Estimation of Heart Rate Measurement Using Wrist-Worn Devices. ICMU 2021: 1-6 - [c213]Srikant Manas Kala, Vanlin Sathya, Kunal Dahiya, Teruo Higashino, Hirozumi Yamaguchi:
Optimizing Unlicensed Coexistence Network Performance Through Data Learning. MobiQuitous 2021: 128-149 - [c212]Fumika Beppu, Hiroki Yoshikawa, Akira Uchiyama, Teruo Higashino, Keisuke Hamada, Eiji Hirakawa:
Body Part Detection from Neonatal Thermal Images Using Deep Learning. MobiQuitous 2021: 438-450 - [c211]Ryosuke Hasegawa, Akira Uchiyama, Fumio Okura, Daigo Muramatsu, Issei Ogasawara, Hiromi Takahata, Ken Nakata, Teruo Higashino:
Human Localization Using a Single Camera Towards Social Distance Monitoring During Sports. MobiQuitous 2021: 481-486 - [c210]Hiroki Yoshikawa, Akira Uchiyama, Teruo Higashino:
Data balancing for thermal comfort datasets using conditional wasserstein GAN with a weighted loss function. BuildSys@SenSys 2021: 264-267 - [c209]Teruo Higashino, Akira Uchiyama, Hirozumi Yamaguchi, Shunsuke Saruwatari, Takashi Watanabe, Toshimitsu Masuzawa:
A New Problem Setting for Mobile Robots Based on Backscatter-Based Communication and Sensing. SSS 2021: 141-153 - [c208]Yukihiro Tsukamoto, Tatsuya Amano, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino:
Road Segment Re-Identification in Dashcam Videos. WiMob 2021: 19-24 - [i2]Srikant Manas Kala, Vanlin Sathya, Kunal Dahiya, Teruo Higashino, Hirozumi Yamaguchi:
Optimizing Unlicensed Coexistence Network Performance Through Data Learning. CoRR abs/2111.07583 (2021) - 2020
- [j61]Khaled El-Fakih, Teruhiro Mizumoto, Keiichi Yasumoto, Teruo Higashino:
Energy aware simulation and testing of smart-spaces. Inf. Softw. Technol. 118 (2020) - [j60]Tatsuya Amano, Hirozumi Yamaguchi, Teruo Higashino:
Connected AR for Combating COVID-19. IEEE Internet Things Mag. 3(3): 46-51 (2020) - [j59]Shigeto Tajima, Nobuo Funabiki, Teruo Higashino:
Application of IEEE802.11ac/n Link Throughput Estimation Model in Holding Access-Point Assignment Algorithm for Wireless Local-Area Network. J. Commun. 15(1): 81-87 (2020) - [j58]Yusuke Hara, Ryosuke Hasegawa, Akira Uchiyama, Takaaki Umedu, Teruo Higashino:
FlowScan: Estimating People Flows on Sidewalks Using Dashboard Cameras Based on Deep Learning. J. Inf. Process. 28: 55-64 (2020) - [c207]Hamada Rizk, Hirozumi Yamaguchi, Teruo Higashino, Moustafa Youssef:
A Ubiquitous and Accurate Floor Estimation System Using Deep Representational Learning. SIGSPATIAL/GIS 2020: 540-549 - [c206]Hamada Rizk, Hirozumi Yamaguchi, Moustafa Youssef, Teruo Higashino:
Gain Without Pain: Enabling Fingerprinting-based Indoor Localization using Tracking Scanners. SIGSPATIAL/GIS 2020: 550-559 - [c205]Motoki Ougida, Hirozumi Yamaguchi, Teruo Higashino:
Trajectory-Assisted Robust RFID-tagged Object Tracking and Recognition in Room Environment. MSWiM 2020: 11-15 - [c204]Ryota Akikawa, Akira Uchiyama, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino, Masaki Suzuki, Yasuhiko Hiehata, Takeshi Kitahara:
Smartphone-based Risky Traffic Situation Detection and Classification. PerCom Workshops 2020: 1-6 - [c203]Tatsuya Amano, Teruo Higashino:
3-D Localization of Indoor Access Points via Opportunistic Crowdsensing. PerCom Workshops 2020: 1-2 - [c202]Masahide Mizutani, Akira Uchiyama, Tomoki Murakami, Hirantha Abeysekera, Teruo Higashino:
Towards People Counting Using Wi-Fi CSI of Mobile Devices. PerCom Workshops 2020: 1-6 - [c201]Kotaro Ishizu, Teruhiro Mizumoto, Hirozumi Yamaguchi, Teruo Higashino:
Home Activity Recognition Using Aggregated Electricity Consumption Data. SMARTCOMP 2020: 302-307 - [c200]Yukihiro Tsukamoto, Masahiro Ishizaki, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino:
Multi-Lane Detection and Tracking Using Vision for Traffic Situation Awareness. WiMob 2020: 1-6
2010 – 2019
- 2019
- [j57]Sunyanan Choochotkaew, Hirozumi Yamaguchi, Teruo Higashino:
A Self-Organized Task Distribution Framework for Module-Based Event Stream Processing. IEEE Access 7: 6493-6509 (2019) - [j56]Zhishu Shen, Tiehua Zhang, Jiong Jin, Kenji Yokota, Atsushi Tagami, Teruo Higashino:
ICCF: An Information-Centric Collaborative Fog Platform for Building Energy Management Systems. IEEE Access 7: 40402-40415 (2019) - [j55]Katsuya Ogura, Yuma Yamada, Shugo Kajita, Hirozumi Yamaguchi, Teruo Higashino, Mineo Takai:
Ground object recognition and segmentation from aerial image-based 3D point cloud. Comput. Intell. 35(3): 625-642 (2019) - [j54]Nathavuth Kitbutrawat, Hirozumi Yamaguchi, Teruo Higashino:
EasyTrack: Zero-Calibration Smart-Home Tracking System. J. Inf. Process. 27: 445-455 (2019) - [j53]Moustafa Elhamshary, Moustafa Youssef, Akira Uchiyama, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino:
CrowdMeter: Gauging congestion level in railway stations using smartphones. Pervasive Mob. Comput. 58 (2019) - [j52]Hiroki Yoshikawa, Akira Uchiyama, Teruo Higashino:
ThermalWrist: Smartphone Thermal Camera Correction Using a Wristband Sensor. Sensors 19(18): 3826 (2019) - [c199]Yoshiki Honda, Hirozumi Yamaguchi, Teruo Higashino:
Daily Activity Recognition based on Markov Logic Network for Elderly Monitoring. CCNC 2019: 1-6 - [c198]Nathavuth Kitbutrawat, François Portet, Hirozumi Yamaguchi, Teruo Higashino:
Automatic Localization of Passive Infra-Red Binary Sensors in Home: from Dense to Scattered Network. DASC/PiCom/DataCom/CyberSciTech 2019: 848-853 - [c197]Songwei Li, Yixin Gu, Bishrut Subedi, Chenyuan He, Yan Wan, Atsuko Miyaji, Teruo Higashino:
Beyond Visual Line of Sight UAV Control for Remote Monitoring Using Directional Antennas. GLOBECOM Workshops 2019: 1-6 - [c196]Hiroki Yoshikawa, Akira Uchiyama, Yuki Nishikawa, Teruo Higashino:
Combining a thermal camera and a wristband sensor for thermal comfort estimation. UbiComp/ISWC Adjunct 2019: 238-241 - [c195]Teruo Higashino, Akira Uchiyama, Shunsuke Saruwatari, Hirozumi Yamaguchi, Takashi Watanabe:
Context Recognition of Humans and Objects by Distributed Zero-Energy IoT Devices. ICDCS 2019: 1787-1796 - [c194]Ryosuke Hasegawa, Akira Uchiyama, Teruo Higashino:
Maneuver Classification in Wheelchair Basketball Using Inertial Sensors. ICMU 2019: 1-6 - [c193]Chuanhsin Chen, Nathavuth Kitbutrawat, Shugo Kajita, Hirozumi Yamaguchi, Teruo Higashino:
Modeling BLE Propagation Above the Ceiling for Smart HVAC Systems. Intelligent Environments 2019: 68-71 - [c192]Takayuki Saki, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino:
Occlusion-based trajectory estimation for pedestrians using LiDAR sensors. IPIN (Short Papers/Work-in-Progress Papers) 2019: 400-407 - [c191]Tatsuya Amano, Ryota Akikawa, Akira Uchiyama, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino, Masaki Suzuki, Yasuhiko Hiehata, Takeshi Kitahara:
VR Application Framework for Collecting Sensor Data in Risky Situations. Middleware Demos/Posters 2019: 31-32 - [c190]Masayuki Hayashi, Hiroki Yoshikawa, Akira Uchiyama, Teruo Higashino:
Preliminary Investigation on Band Tightness Estimation of Wrist-Worn Devices Using Inertial Sensors. MobiHealth 2019: 256-266 - [c189]Hiroki Yoshikawa, Akira Uchiyama, Teruo Higashino:
Dynamic Offset Correction for Smartphone Thermal Cameras Using a Wristband Sensor. PerCom Workshops 2019: 165-170 - [c188]Yusuke Nishimura, Atsushi Fujita, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino, Akira Suwa, Hirofumi Urayama, Susumu Takeshima, Mineo Takai:
A Study on Behavior of Autonomous Vehicles Cooperating with Manually-Driven Vehicles. PerCom 2019: 212-219 - [c187]Tatsuya Amano, Teruo Higashino:
Outdoor Wi-Fi RSSI Map Construction Based on Crowdsourcing and Simulation. PerCom Workshops 2019: 443-444 - [c186]Toru Maeda, Akira Uchiyama, Teruo Higashino:
A Feasibility Study on Battery-Less Travel Context Estimation Using Ambient Backscatter. PerCom Workshops 2019: 664-669 - [c185]Sunyanan Choochotkaew, Hirozumi Yamaguchi, Teruo Higashino:
Automatic Deadline-Oriented Sampling Method for Coarse-Grained Stream Processing. PerCom Workshops 2019: 790-795 - [c184]Yoshiki Honda, Hirozumi Yamaguchi, Teruo Higashino:
Enabling Low Cost Elderly Monitoring for Connected Communities in Depopulated Area. SMARTCOMP 2019: 401-408 - [c183]Zhishu Shen, Kenji Yokota, Atsushi Tagami, Teruo Higashino:
Energy-Efficient Activation/Inactivation Strategy for Long-term IoT Network Operation. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI 2019: 747-752 - 2018
- [j51]Shigeto Tajima, Nobuo Funabiki, Teruo Higashino:
A holding access-point assignment algorithm for IEEE802.11 wireless local-area networks. Int. J. Space Based Situated Comput. 8(1): 50-58 (2018) - [j50]Takashi Hamatani, Moustafa Elhamshary, Akira Uchiyama, Teruo Higashino:
FluidMeter: Gauging the Human Daily Fluid Intake Using Smartwatches. Proc. ACM Interact. Mob. Wearable Ubiquitous Technol. 2(3): 113:1-113:25 (2018) - [c182]Ryosuke Narimoto, Shugo Kajita, Hirozumi Yamaguchi, Teruo Higashino:
Wayfinding Behavior Detection by Smartphone. AINA 2018: 488-495 - [c181]Zhishu Shen, Kenji Yokota, Jiong Jin, Atsushi Tagami, Teruo Higashino:
In-network Self-Learning Algorithms for BEMS Through a Collaborative Fog Platform. AINA 2018: 1162-1169 - [c180]Tatsuya Amano, Shugo Kajita, Hirozumi Yamaguchi, Teruo Higashino, Mineo Takai:
VRing: Bring Your Mobile App to Virtual Space. UbiComp/ISWC Adjunct 2018: 327-330 - [c179]Hirozumi Yamaguchi, Akihito Hiromori, Teruo Higashino:
A human tracking and sensing platform for enabling smart city applications. ICDCN Workshops 2018: 13:1-13:6 - [c178]Teruo Higashino, Hirozumi Yamaguchi, Akihito Hiromori, Akira Uchiyama, Takaaki Umedu:
Re-Thinking: Design and Development of Mobility Aware Applications in Smart and Connected Communities. ICDCS 2018: 1171-1179 - [c177]Sunyanan Choochotkaew, Hirozumi Yamaguchi, Teruo Higashino:
A Motivation-based Partnership Decision Model on Event-Stream Knowledge in Real-time Business. ICMU 2018: 1-6 - [c176]Yusuke Hara, Akira Uchiyama, Takaaki Umedu, Teruo Higashino:
Sidewalk-level People Flow Estimation Using Dashboard Cameras Based on Deep Learning. ICMU 2018: 1-6 - [c175]Katsuya Ogura, Yuma Yamada, Shugo Kajita, Hirozumi Yamaguchi, Teruo Higashino, Mineo Takai:
Ground Object Recognition from Aerial Image-based 3D Point Cloud. ICMU 2018: 1-8 - [c174]Zhishu Shen, Atsushi Tagami, Teruo Higashino:
An Efficient Data Processing Scheme for Wireless Sensor Network Monitoring Using a Machine Learning Model. ICMU 2018: 1-4 - [c173]Nathavuth Kitbutrawat, Shugo Kajita, Hirozumi Yamaguchi, Teruo Higashino:
Location Identification of BLE-Embedded HVACs for Smart Building Management. Intelligent Environments 2018: 79-82 - [c172]Tatsuya Amano, Shugo Kajita, Hirozumi Yamaguchi, Teruo Higashino, Mineo Takai:
Smartphone Applications Testbed Using Virtual Reality. MobiQuitous 2018: 422-431 - [c171]Tomoki Imai, Akira Uchiyama, Takuya Magome, Teruo Higashino:
Play Recognition Using Soccer Tracking Data Based on Machine Learning. NBiS 2018: 875-884 - [c170]Moustafa Elhamshary, Moustafa Youssef, Akira Uchiyama, Hirozumi Yamaguchi, Teruo Higashino:
CrowdMeter: Congestion Level Estimation in Railway Stations Using Smartphones. PerCom 2018: 1-12 - [c169]Sunyanan Choochotkaew, Hirozumi Yamaguchi, Teruo Higashino, Dominik Schäfer, Janick Edinger, Christian Becker:
Self-adaptive Resource Allocation for Continuous Task Offloading in Pervasive Computing. PerCom Workshops 2018: 663-668 - [c168]Zhishu Shen, Kenji Yokota, Atsushi Tagami, Teruo Higashino:
Development of Energy-efficient Sensor Networks by Minimizing Sensors Numbers with a Machine Learning Model. PerCom Workshops 2018: 741-746 - [c167]Teruhiro Mizumoto, Khaled El-Fakih, Keiichi Yasumoto, Teruo Higashino:
An Energy Aware Testing Framework for Smart-Spaces. ICTSS 2018: 85-101 - [c166]Hikaru Yoshisada, Yuma Yamada, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino:
Indoor Map Generation from Multiple LIDAR Point Clouds. SMARTCOMP 2018: 73-80 - [c165]Yuta Fukushima, Daiki Miura, Takashi Hamatani, Hirozumi Yamaguchi, Teruo Higashino:
MicroDeep: In-network Deep Learning by Micro-Sensor Coordination for Pervasive Computing. SMARTCOMP 2018: 163-170 - [c164]Sunyanan Choochotkaew, Hirozumi Yamaguchi, Teruo Higashino:
BALANCE: A Robust Routing Protocol in Self-Organized Civilian DTN. WiMob 2018: 1-8 - 2017
- [j49]Tatsuaki Osafune, Toshimitsu Takahashi, Noboru Kiyama, Tsuneo Sobue, Hirozumi Yamaguchi, Teruo Higashino:
Analysis of Accident Risks from Driving Behaviors. Int. J. Intell. Transp. Syst. Res. 15(3): 192-202 (2017) - [j48]Sunyanan Choochotkaew, Hirozumi Yamaguchi, Teruo Higashino:
Two-Tier VoI Prioritization System on Requirement-Based Data Streaming toward IoT. Mob. Inf. Syst. 2017: 7892545:1-7892545:16 (2017) - [c163]Sunyanan Choochotkaew, Hirozumi Yamaguchi, Teruo Higashino, Megumi Shibuya, Teruyuki Hasegawa:
EdgeCEP: Fully-Distributed Complex Event Processing on IoT Edges. DCOSS 2017: 121-129 - [c162]Teruo Higashino, Hirozumi Yamaguchi, Akihito Hiromori, Akira Uchiyama, Keiichi Yasumoto:
Edge Computing and IoT Based Research for Building Safe Smart Cities Resistant to Disasters. ICDCS 2017: 1729-1737 - [c161]Tomoki Irnai, Akira Uchiyama, Takuya Magome, Teruo Higashino:
Play recognition using spatio-temporal relationship of football tracking data. ICMU 2017: 1-2 - [c160]Nathavuth Kitbutrawat, Hirozumi Yamaguchi, Teruo Higashino:
Localization of binary motion sensors in house. IWCMC 2017: 1132-1137 - [c159]Takashi Hamatani, Moustafa Elhamshary, Akira Uchiyama, Teruo Higashino:
Poster: Smartwatch Knows How Much You Drink. MobiSys 2017: 162 - [c158]Tatsuya Amano, Shugo Kajita, Hirozumi Yamaguchi, Teruo Higashino, Mineo Takai:
A crowdsourcing and simulation based approach for fast and accurate Wi-Fi radio map construction in urban environment. Networking 2017: 1-9 - [c157]Sohei Kojima, Akira Uchiyama, Masumi Shirakawa, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino:
Crowd and event detection by fusion of camera images and micro blogs. PerCom Workshops 2017: 213-218 - [c156]Takashi Hamatani, Akira Uchiyama, Teruo Higashino:
HeatWatch: Preventing heatstroke using a smart watch. PerCom Workshops 2017: 661-666 - [c155]Yusuke Nishimura, Tatsuaki Osafune, Seiya Kato, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino:
Vehicle Proximity Awareness by Inter-Vehicle Communication for Surface Mine Operation Safety. VTC Spring 2017: 1-7 - [e8]Aibek Musaev, João Eduardo Ferreira, Teruo Higashino:
37th IEEE International Conference on Distributed Computing Systems Workshops, ICDCS Workshops 2017, Atlanta, GA, USA, June 5-8, 2017. IEEE Computer Society 2017, ISBN 978-1-5386-3292-5 [contents] - 2016
- [j47]Takamasa Higuchi, Hirozumi Yamaguchi, Teruo Higashino:
Trajectory identification based on spatio-temporal proximity patterns between mobile phones. Wirel. Networks 22(2): 563-577 (2016) - [c154]Yoshiaki Adachi, Hirozumi Yamaguchi, Teruo Higashino, Takaaki Umedu:
Cloud-Assisted Dynamic Content Sharing among Vehicles. CIT 2016: 516-523 - [c153]Takashi Hamatani, Yudai Sakaguchi, Akira Uchiyama, Teruo Higashino:
Player identification by motion features in sport videos using wearable sensors. ICMU 2016: 1-6 - [c152]Keita Nakahara, Hirozumi Yamaguchi, Teruo Higashino:
In-home Activity and Micro-motion Logging Using Mobile Robot with Kinect. MobiQuitous (Adjunct Proceedings) 2016: 106-111 - [c151]Shugo Kajita, Tatsuya Amano, Hirozumi Yamaguchi, Teruo Higashino, Mineo Takai:
Wi-Fi Channel Selection Based on Urban Interference Measurement. MobiQuitous 2016: 143-150 - [c150]Atsushi Fujita, Hirozumi Yamaguchi, Teruo Higashino, Mineo Takai:
A Method for Identifying Laser-tracked Vehicles Using Velocity Data from V2V Messages. MobiQuitous 2016: 276-277 - [c149]Sunyanan Choochotkaew, Hirozumi Yamaguchi, Teruo Higashino:
Poster: Two-Steps Independent Solution for Rule-based CEP. MobiSys (Companion Volume) 2016: 19 - [c148]Takashi Hamatani, Akira Uchiyama, Teruo Higashino:
Poster: Core Temperature Estimation During Exercise Using Wearable Sensors. MobiSys (Companion Volume) 2016: 29 - [c147]Moustafa Elhamshary, Moustafa Youssef, Akira Uchiyama, Hirozumi Yamaguchi, Teruo Higashino:
TransitLabel: A Crowd-Sensing System for Automatic Labeling of Transit Stations Semantics. MobiSys 2016: 193-206 - [c146]Yuma Yamada, Akira Uchiyama, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino:
Travel estimation using Control Signal Records in cellular networks and geographical information. WMNC 2016: 138-144 - [c145]Masao Chiguchi, Hirozumi Yamaguchi, Teruo Higashino, Yoshiyuki Shimoda:
Human thermal comfort estimation in indoor space by crowd sensing. SmartGridComm 2016: 45-50 - [c144]Atsushi Fujita, Hirozumi Yamaguchi, Teruo Higashino, Mineo Takai:
A study on identification of laser-tracked vehicles using V2V-based velocity information. WoWMoM 2016: 1-6 - [i1]Moustafa Elhamshary, Moustafa Youssef, Akira Uchiyama, Hirozumi Yamaguchi, Teruo Higashino:
TransitLabel: A Crowd-Sensing System for Automatic Labeling of Transit Stations Semantics. CoRR abs/1606.03302 (2016) - 2015
- [j46]Ana R. Cavalli, Teruo Higashino, Manuel Núñez:
Special issue on formal active and passive testing of distributed and networked systems. Ann. des Télécommunications 70(3-4): 83-84 (2015) - [j45]Ana R. Cavalli, Teruo Higashino, Manuel Núñez:
A survey on formal active and passive testing with applications to the cloud. Ann. des Télécommunications 70(3-4): 85-93 (2015) - [j44]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:
Edge-centric Computing: Vision and Challenges. Comput. Commun. Rev. 45(5): 37-42 (2015) - [j43]Takamasa Higuchi, Hirozumi Yamaguchi, Teruo Higashino:
Mobile Devices as an Infrastructure: A Survey of Opportunistic Sensing Technology. J. Inf. Process. 23(2): 94-104 (2015) - [j42]Hirozumi Yamaguchi, Akihito Hiromori, Teruo Higashino, Shigeki Umehara, Hirofumi Urayama, Masaya Yamada, Taka Maeno, Shigeru Kaneda, Mineo Takai:
Scalable and robust channel allocation for densely-deployed urban wireless stations. Perform. Evaluation 87: 74-91 (2015) - [c143]Akira Uchiyama, Takashi Hamatani, Teruo Higashino:
Estimation of core temperature based on a human thermal model using a wearable sensor. GCCE 2015: 605-609 - [c142]Moustafa Elhamshary, Moustafa Youssef, Akira Uchiyama, Hirozumi Yamaguchi, Teruo Higashino:
Activity recognition of railway passengers by fusion of low-power sensors in mobile phones. SIGSPATIAL/GIS 2015: 57:1-57:2 - [c141]Shoko Nakamura, Saeko Shigaki, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino:
A model-based approach to support smart and social home living. UbiComp 2015: 1101-1105 - [c140]Shigeru Kaneda, Teruhiro Mizumoto, Taka Maeno, Mineo Takai, Shigeru Kashihara, Hirozumi Yamaguchi, Teruo Higashino:
A cross validation of network system models for delay tolerant networks. ICMU 2015: 185-190 - [c139]Kenji Yoi, Hirozumi Yamaguchi, Akihito Hiromori, Akira Uchiyama, Teruo Higashino, Naohisa Yanagiya, Toshikazu Nakatani, Atsuo Tachibana, Teruyuki Hasegawa:
Multi-dimensional sensor data aggregator for adaptive network management in M2M communications. IM 2015: 1047-1052 - [c138]Kazuhisa Fujita, Takamasa Higuchi, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino, Shinji Shimojo:
Human crowd detection for physical sensing assisted geo-social multimedia mining. INFOCOM Workshops 2015: 642-647 - [c137]Takamasa Higuchi, Hirozumi Yamaguchi, Teruo Higashino:
Tracking motion context of railway passengers by fusion of low-power sensors in mobile devices. ISWC 2015: 163-170 - [c136]Ryosuke Tanimura, Akihito Hiromori, Takaaki Umedu, Hirozumi Yamaguchi, Teruo Higashino:
Prediction of Deceleration Amount of Vehicle Speed in Snowy Urban Roads Using Weather Information and Traffic Data. ITSC 2015: 2268-2273 - [c135]Takamasa Higuchi, Hiroki Iwahashi, Hirozumi Yamaguchi, Teruo Higashino:
TweetGlue: Leveraging a crowd tracking infrastructure for mobile social augmented reality. IWCMC 2015: 1030-1035 - [c134]Takashi Hamatani, Akira Uchiyama, Teruo Higashino:
Real-Time Calibration of a Human Thermal Model with Solar Radiation Using Wearable Sensors. WearSys@MobiSys 2015: 45-50 - [c133]Akira Uchiyama, Kazumasa Kitada, Teruo Higashino:
A Scheduling Algorithm of Cell Zooming for Energy Efficiency in Disasters. MobiWac 2015: 63-68 - [c132]Shugo Kajita, Hirozumi Yamaguchi, Teruo Higashino, Hirofumi Urayama, Masaya Yamada, Mineo Takai:
Throughput and Delay Estimator for 2.4GHz WiFi APs: A Machine Learning-Based Approach. WMNC 2015: 223-226 - [c131]Takumi Satoh, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino:
A novel estimation method of road condition for pedestrian navigation. PerCom Workshops 2015: 427-432 - [c130]Takashi Hamatani, Akira Uchiyama, Teruo Higashino:
Estimating core body temperature based on human thermal model using wearable sensors. SAC 2015: 521-526 - [c129]Sunyanan Choochotkaew, Hirozumi Yamaguchi, Teruo Higashino, Megumi Shibuya:
Requirement-based prioritization system in multi-user IoT. WF-IoT 2015: 122-127 - 2014
- [j41]Takamasa Higuchi, Hirozumi Yamaguchi, Teruo Higashino:
Context-supported local crowd mapping via collaborative sensing with mobile phones. Pervasive Mob. Comput. 13: 26-51 (2014) - [j40]Takamasa Higuchi, Sae Fujii, Hirozumi Yamaguchi, Teruo Higashino:
Mobile Node Localization Focusing on Stop-and-Go Behavior of Indoor Pedestrians. IEEE Trans. Mob. Comput. 13(7): 1564-1578 (2014) - [c128]Yuki Maekawa, Akira Uchiyama, Hirozumi Yamaguchi, Teruo Higashino:
Car-level congestion and position estimation for railway trips using mobile phones. UbiComp 2014: 939-950 - [c127]Takamasa Higuchi, Hirozumi Yamaguchi, Teruo Higashino, Mineo Takai:
A neighbor collaboration mechanism for mobile crowd sensing in opportunistic networks. ICC 2014: 42-47 - [c126]Takaaki Umedu, Yasuhide Otsubo, Teruo Higashino:
Cooperative positioning method using on-board LED communication and distance measurement devices. ICCE-TW 2014: 141-142 - [c125]Tomoyuki Tange, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino, Takaaki Umedu:
An analysis model of queue length fluctuation at signals using vehicle trajectories. ICCVE 2014: 577-583 - [c124]Tomohiro Nishimura, Takamasa Higuchi, Hirozumi Yamaguchi, Teruo Higashino:
Detecting smoothness of pedestrian flows by participatory sensing with mobile phones. ISWC 2014: 15-18 - [c123]Takumi Takafuji, Kazuhisa Fujita, Takamasa Higuchi, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino:
Indoor Localization Utilizing Tracking Scanners and Motion Sensors. UIC/ATC/ScalCom 2014: 112-119 - [c122]Shugo Kajita, Hirozumi Yamaguchi, Teruo Higashino, Shigeki Umehara, Fumiya Saitou, Hirofumi Urayama, Masaya Yamada, Taka Maeno, Shigeru Kaneda, Mineo Takai:
A channel selection strategy for WLAN in urban areas by regression analysis. WiMob 2014: 642-647 - 2013
- [j39]Yuki Sakai, Akira Uchiyama, Hirozumi Yamaguchi, Teruo Higashino:
Self-Estimation of Neighborhood Distribution for Mobile Wireless Nodes. Inf. Media Technol. 8(2): 538-545 (2013) - [j38]Keishi Sakanushi, Takuji Hieda, Taichiro Shiraishi, Yasumasa Ode, Yoshinori Takeuchi, Masaharu Imai, Teruo Higashino, Hiroshi Tanaka:
Electronic triage system for continuously monitoring casualties at disaster scenes. J. Ambient Intell. Humaniz. Comput. 4(5): 547-558 (2013) - [j37]Yuki Sakai, Akira Uchiyama, Hirozumi Yamaguchi, Teruo Higashino:
Self-Estimation of Neighborhood Distribution for Mobile Wireless Nodes. J. Inf. Process. 21(2): 198-205 (2013) - [j36]Kazushi Ikeda, Gen Hattori, Chihiro Ono, Hideki Asoh, Teruo Higashino:
Twitter user profiling based on text and community mining for market analysis. Knowl. Based Syst. 51: 35-47 (2013) - [j35]Akira Uchiyama, Sae Fujii, Kumiko Maeda, Takaaki Umedu, Hirozumi Yamaguchi, Teruo Higashino:
UPL: Opportunistic Localization in Urban Districts. IEEE Trans. Mob. Comput. 12(5): 1009-1022 (2013) - [j34]Noboru Kiyama, Akira Uchiyama, Hirozumi Yamaguchi, Teruo Higashino:
Quantifying relationship between relative position error of localization algorithms and object identification. Wirel. Networks 19(6): 1037-1049 (2013) - [c121]Kazushi Ikeda, Gen Hattori, Chihiro Ono, Hideki Asoh, Teruo Higashino:
Early Detection Method of Service Quality Reduction Based on Linguistic and Time Series Analysis of Twitter. AINA Workshops 2013: 825-830 - [c120]Shigeto Tajima, Nobuo Funabiki, Teruo Higashino:
An extension of clustering algorithm for considering link speed in wireless mesh networks. GCCE 2013: 500-504 - [c119]Shunsuke Mori, Takaaki Umedu, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino:
Data-centric programming environment for cooperative applications in WSN. IM 2013: 856-859 - [c118]Yuma Akai, Akihito Hiromori, Takaaki Umedu, Hirozumi Yamaguchi, Teruo Higashino:
Mitigating location and speed errors in floating car data using context-based accuracy estimation. ITST 2013: 104-110 - [c117]Hirozumi Yamaguchi, Akihito Hiromori, Teruo Higashino, Shigeki Umehara, Hirofumi Urayama, Masaya Yamada, Taka Maeno, Shigeru Kaneda, Mineo Takai:
A novel scheduling algorithm for densely-deployed wireless stations in urban areas. MSWiM 2013: 317-326 - [c116]Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino:
Sensor Placement Optimization Method for People Tracking. NGMAST 2013: 62-67 - [c115]Yusuke Wada, Takamasa Higuchi, Hirozumi Yamaguchi, Teruo Higashino:
Accurate positioning of mobile phones in a crowd using laser range scanners. WiMob 2013: 430-435 - [e7]Teruo Higashino, Yoshiaki Katayama, Toshimitsu Masuzawa, Maria Potop-Butucaru, Masafumi Yamashita:
Stabilization, Safety, and Security of Distributed Systems - 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings. Lecture Notes in Computer Science 8255, Springer 2013, ISBN 978-3-319-03088-3 [contents] - 2012
- [j33]Chai-Keong Toh, Teruo Higashino, Juan-Carlos Cano, Michele C. Weigle:
Highlights: IEEE ITS Society Technical Committee on Mobile Communications Networks for ITS [Technical Committees]. IEEE Intell. Transp. Syst. Mag. 4(1): 33-35 (2012) - [j32]Sae Fujii, Akira Uchiyama, Takaaki Umedu, Hirozumi Yamaguchi, Teruo Higashino:
Trajectory estimation algorithm for mobile nodes using encounter information and geographical information. Pervasive Mob. Comput. 8(2): 249-270 (2012) - [c114]Nobuo Funabiki, Shigeto Tajima, Teruo Higashino, Toru Nakanishi, Kan Watanabe:
An Extension of Wireless Internet-Access Mesh Network Simulator for Use of Smart Antenna. BWCCA 2012: 517-522 - [c113]Masaki Inokuchi, Takamasa Higuchi, Hirozumi Yamaguchi, Teruo Higashino:
Autonomous Recognition of Emergency Site by Wearable Sensors. GreenCom 2012: 400-409 - [c112]Akihito Hiromori, Takumi Kanaya, Hirozumi Yamaguchi, Teruo Higashino, Yohei Yamaguchi, Ayaka Murai, Yoshiyuki Shimoda:
Performance evaluation of mobility-based energy-saving to control air-conditioning and lighting equipments. SustainIT 2012: 1-6 - [c111]Teruo Higashino, Akira Uchiyama:
A Study for Human Centric Cyber Physical System Based Sensing - Toward Safe and Secure Urban Life -. ISIP 2012: 61-70 - [c110]Takaaki Umedu, Yuji Togashi, Teruo Higashino:
A self-learning traffic signal control method for CO2 reduction using prediction of vehicle arrivals. ITSC 2012: 421-426 - [c109]Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino:
Simulating CSMA/CA behavior for performance evaluation of multi-hop wireless networks. IWQoS 2012: 1-4 - [c108]Ayaka Kashiyama, Akira Uchiyama, Teruo Higashino:
Depth Limited Treatment Planning and Scheduling for Electronic Triage System in MCI. MobiHealth 2012: 224-233 - [c107]Shunsuke Mori, Yu-Chih Wang, Takaaki Umedu, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino:
Design and Architecture of Cloud-Based Mobile Phone Sensing Middleware. NCCA 2012: 102-109 - [c106]Takumi Kanaya, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino:
HumanS: A Human Mobility Sensing Simulator. NTMS 2012: 1-4 - [c105]Takamasa Higuchi, Hirozumi Yamaguchi, Teruo Higashino:
Clearing a Crowd: Context-Supported Neighbor Positioning for People-Centric Navigation. Pervasive 2012: 325-342 - [c104]Akihito Hiromori, Takaaki Umedu, Hirozumi Yamaguchi, Teruo Higashino:
Protocol Testing and Performance Evaluation for MANETs with Non-uniform Node Density Distribution. ICTSS 2012: 231-246 - 2011
- [j31]Kazushi Ikeda, Thilmee M. Baduge, Takaaki Umedu, Hirozumi Yamaguchi, Teruo Higashino:
ALMware: A middleware for application layer multicast protocols. Comput. Commun. 34(14): 1673-1684 (2011) - [c103]Keishi Sakanushi, Takuji Hieda, Taichiro Shiraishi, Yasumasa Ode, Yoshinori Takeuchi, Masaharu Imai, Teruo Higashino, Hiroshi Tanaka:
Electronic Triage System: Casualties Monitoring System in the Disaster Scene. 3PGCIC 2011: 317-322 - [c102]Shigeto Tajima, Nobuo Funabiki, Teruo Higashino:
A Proposal of Fixed Backoff-time Switching Method by Link Activation Rate for Wireless Mesh Networks. CISIS 2011: 647-652 - [c101]Anuj Ratna Bajracharya, Akira Uchiyama, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino:
Implementation of a data collection mechanism in electronic triage system using wireless sensor devices. LCN 2011: 986-989 - [c100]Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino:
A Comprehensive Test Strategy for Network Protocols in Diverse Environment. MASCOTS 2011: 188-196 - [c99]Eijiro Ueno, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino:
A Simple Mobility Model Realizing Designated Node Distributions and Natural Node Movement. MASS 2011: 302-311 - [c98]Takamasa Higuchi, Sae Fujii, Hirozumi Yamaguchi, Teruo Higashino:
An efficient localization algorithm focusing on stop-and-go behavior of mobile nodes. PerCom 2011: 205-212 - [c97]Sae Fujii, Atsushi Fujita, Takaaki Umedu, Shigeru Kaneda, Hirozumi Yamaguchi, Teruo Higashino, Mineo Takai:
Cooperative Vehicle Positioning via V2V Communications and Onboard Sensors. VTC Fall 2011: 1-5 - [e6]Tohru Asami, Teruo Higashino:
2011 IEEE International Conference on Peer-to-Peer Computing, P2P 2011, Kyoto, Japan, August 31 - September 2, 2011. IEEE 2011, ISBN 978-1-4577-0150-4 [contents] - 2010
- [j30]Shigeto Tajima, Nobuo Funabiki, Teruo Higashino:
A WDS Clustering Algorithm for Wireless Mesh Networks. IEICE Trans. Inf. Syst. 93-D(4): 800-810 (2010) - [j29]Masashi Saito, Jun Tsukamoto, Takaaki Umedu, Teruo Higashino:
Evaluation of dissemination-based inter-vehicle ad-hoc communication protocols for local traffic information services. Int. J. Wirel. Mob. Comput. 4(2): 76-87 (2010) - [j28]Shinichi Minamimoto, Sae Fujii, Hirozumi Yamaguchi, Teruo Higashino:
Map estimation using GPS-equipped mobile wireless nodes. Pervasive Mob. Comput. 6(6): 623-641 (2010) - [j27]Takaaki Umedu, Kumiko Isu, Teruo Higashino, Chai-Keong Toh:
An Intervehicular-Communication Protocol for Distributed Detection of Dangerous Vehicles. IEEE Trans. Veh. Technol. 59(2): 627-637 (2010) - [c96]Teruo Higashino, Kenji Suzuki:
Message from the General Co-Chairs. ICNP 2010: 1-2 - [c95]Shinichi Minamimoto, Sae Fujii, Hirozumi Yamaguchi, Teruo Higashino:
Local map generation using position and communication history of mobile nodes. PerCom 2010: 2-10
2000 – 2009
- 2009
- [j26]Kumiko Maeda, Akira Uchiyama, Takaaki Umedu, Hirozumi Yamaguchi, Keiichi Yasumoto, Teruo Higashino:
Urban pedestrian mobility for mobile wireless network simulation. Ad Hoc Networks 7(1): 153-170 (2009) - [c94]Sae Fujii, Takashi Nomura, Takaaki Umedu, Hirozumi Yamaguchi, Teruo Higashino:
Real-time trajectory estimation in mobile ad hoc networks. MSWiM 2009: 163-172 - [c93]Keisuke Nakata, Kumiko Maeda, Takaaki Umedu, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino:
Modeling and Evaluation of Rescue Operations Using Mobile Communication Devices. PADS 2009: 64-71 - [c92]Tomoya Kitani, Ryo Nakahashi, Khaled El-Fakih, Teruo Higashino:
Optimal Assignment of Real-Time Systems into Multi-context Dynamically Reconfigurable Processors. RTCSA 2009: 109-118 - [c91]Yuki Sakai, Akihito Hiromori, Hirozumi Yamaguchi, Khaled El-Fakih, Teruo Higashino:
An integrated tool for development of overlay services. SimuTools 2009: 61 - [c90]Junji Hamada, Akira Uchiyama, Hirozumi Yamaguchi, Shinji Kusumoto, Teruo Higashino:
Self-estimation of Neighborhood Density for Mobile Wireless Nodes. UIC 2009: 178-192 - [c89]Masaya Ohmori, Takaaki Umedu, Teruo Higashino:
Adaptive location based TDM protocol for inter-vehicle communication. VNC 2009: 1-8 - 2008
- [j25]Weihua Sun, Junya Fukumoto, Hirozumi Yamaguchi, Shinji Kusumoto, Teruo Higashino:
A Contact-based Hybrid Routing Protocol for Mobile Ad Hoc Networks. Inf. Media Technol. 3(3): 576-586 (2008) - [j24]Weihua Sun, Junya Fukumoto, Hirozumi Yamaguchi, Shinji Kusumoto, Teruo Higashino:
A Contact-based Hybrid Routing Protocol for Mobile Ad Hoc Networks. J. Inf. Process. 16: 27-37 (2008) - [c88]Thilmee M. Baduge, Kazushi Ikeda, Hirozumi Yamaguchi, Teruo Higashino:
Stability Oriented Overlay Multicast for Multimedia Streaming in Multiple Source Context. ICC 2008: 5708-5714 - [c87]Kazushi Ikeda, Shunsuke Mori, Yuya Ota, Takaaki Umedu, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino:
D-Sense: An Integrated Environment for Algorithm Design and Protocol Implementation in Wireless Sensor Networks. MMNS 2008: 20-32 - [c86]Tomoya Kitani, Nobuo Funabiki, Hirozumi Yamaguchi, Teruo Higashino:
Hierarchical Logical Topology in WDM Ring Networks with Limited ADMs. Networking 2008: 326-337 - [c85]Kumiko Maeda, Keisuke Nakata, Takaaki Umedu, Hirozumi Yamaguchi, Keiichi Yasumoto, Teruo Higashino:
Hybrid Testbed Enabling Run-Time Operations for Wireless Applications. PADS 2008: 135-143 - [c84]Sae Fujii, Akira Uchiyama, Takaaki Umedu, Hirozumi Yamaguchi, Teruo Higashino:
An Off-line Algorithm to Estimate Trajectories of Mobile Nodes Using Ad-hoc Communication (concise contribution). PerCom 2008: 117-124 - [c83]Tomoya Kitani, Takashi Shinkawa, Naoki Shibata, Keiichi Yasumoto, Minoru Ito, Teruo Higashino:
Efficient VANET-Based Traffic Information Sharing using Buses on Regular Routes. VTC Spring 2008: 3031-3036 - [c82]Masatoshi Nakamura, Hiroaki Urabe, Akira Uchiyama, Takaaki Umedu, Teruo Higashino:
Realistic Mobility Aware Information Gathering in Disaster Areas. WCNC 2008: 3267-3272 - [p2]Teruo Higashino:
Design and Deployment of Large-Scale Software-Intensive Systems in Urban Districts. Software-Intensive Systems and New Computing Paradigms 2008: 116-131 - [e5]Kenji Suzuki, Teruo Higashino, Keiichi Yasumoto, Khaled El-Fakih:
Formal Techniques for Networked and Distributed Systems - FORTE 2008, 28th IFIP WG 6.1 International Conference, Tokyo, Japan, June 10-13, 2008, Proceedings. Lecture Notes in Computer Science 5048, Springer 2008, ISBN 978-3-540-68854-9 [contents] - [e4]Kenji Suzuki, Teruo Higashino, Andreas Ulrich, Toru Hasegawa:
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. Lecture Notes in Computer Science 5047, Springer 2008, ISBN 978-3-540-68514-2 [contents] - 2007
- [j23]Hirozumi Yamaguchi, Khaled El-Fakih, Gregor von Bochmann, Teruo Higashino:
Deriving protocol specifications from service specifications written as Predicate/Transition-nets. Comput. Networks 51(1): 258-284 (2007) - [j22]Akira Uchiyama, Kumiko Maeda, Takaaki Umedu, Hirozumi Yamaguchi, Teruo Higashino:
Performance evaluation of mobile wireless communication and services with modelling of real environment. Int. J. Ad Hoc Ubiquitous Comput. 2(4): 239-249 (2007) - [j21]Masataka Yonezu, Nobuo Funabiki, Tomoya Kitani, Tokumi Yokohira, Toru Nakanishi, Teruo Higashino:
Proposal of a hierarchical heuristic algorithm for node assignment in bidirectional Manhattan street networks. Syst. Comput. Jpn. 38(4): 74-83 (2007) - [j20]Yujin Yokogawa, Nobuo Funabiki, Teruo Higashino, Masashi Oda, Yoshihide Mori:
A proposal of improved lip contour extraction method using deformable template matching and its application to dental treatment. Syst. Comput. Jpn. 38(5): 80-89 (2007) - [j19]Masashi Saito, Jun Tsukamoto, Takaaki Umedu, Teruo Higashino:
Design and Evaluation of Intervehicle Dissemination Protocol for Propagation of Preceding Traffic Information. IEEE Trans. Intell. Transp. Syst. 8(3): 379-390 (2007) - [c81]Akira Uchiyama, Sae Fujii, Kumiko Maeda, Takaaki Umedu, Hirozumi Yamaguchi, Teruo Higashino:
Ad-hoc Localization in Urban District. INFOCOM 2007: 2306-2310 - [c80]Takeshi Fujiki, Masayuki Kirimura, Takaaki Umedu, Teruo Higashino:
Efficient Acquisition of Local Traffic Information using Inter-Vehicle Communication with Queries. ITSC 2007: 241-246 - [c79]Hirozumi Yamaguchi, Kazuki Konishi, Teruo Higashino:
Efficient Parallel Simulation of Mobile Wireless Networks by Run-time Prediction of Multi-hop Propagation Delay. TRIDENTCOM 2007: 1-9 - [c78]Akiko Yamasaki, Hirozumi Yamaguchi, Shinji Kusumoto, Teruo Higashino:
Mobility-Aware Data Management on Mobile Wireless Networks. VTC Spring 2007: 679-683 - [e3]Kedar S. Namjoshi, Tomohiro Yoneda, Teruo Higashino, Yoshio Okamura:
Automated Technology for Verification and Analysis, 5th International Symposium, ATVA 2007, Tokyo, Japan, October 22-25, 2007, Proceedings. Lecture Notes in Computer Science 4762, Springer 2007, ISBN 978-3-540-75595-1 [contents] - 2006
- [j18]Akio Nakata, Tadaaki Tanimoto, Suguru Sasaki, Teruo Higashino:
A Timed Failure Equivalence Preserving Abstraction for Parametric Time-interval Automata. Int. J. Found. Comput. Sci. 17(4): 833-850 (2006) - [j17]Khaled El-Fakih, Hirozumi Yamaguchi, Gregor von Bochmann, Teruo Higashino:
Petri net-based protocol synthesis with minimum communication costs. J. Frankl. Inst. 343(4-5): 501-520 (2006) - [j16]Takashi Takenaka, Kozo Okano, Teruo Higashino, Kenichi Taniguchi:
Symbolic model checking of extended finite state machines with linear constraints over integer variables. Syst. Comput. Jpn. 37(6): 64-72 (2006) - [j15]Thilmee M. Baduge, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino:
A distributed algorithm for constructing minimum delay spanning trees under bandwidth constraints on overlay networks. Syst. Comput. Jpn. 37(14): 15-24 (2006) - [c77]Tadaaki Tanimoto, Seiji Yamaguchi, Akio Nakata, Teruo Higashino:
A real time budgeting method for module-level-pipelined bus based system using bus scenarios. DAC 2006: 37-42 - [c76]Kumiko Maeda, Takaaki Umedu, Hirozumi Yamaguchi, Keiichi Yasumoto, Teruo Higashino:
MobiREAL : Scenario Generation and Toolset for MANET Simulation with Realistic Node Mobility. MDM 2006: 55 - [c75]Kouji Nishigaki, Keiichi Yasumoto, Takaaki Umedu, Teruo Higashino, Minoru Ito:
Demonstration of a Cellular Phone Application Based on Context-Aware Group Formation. MDM 2006: 59 - [c74]Makoto Enomoto, Naoki Shibata, Keiichi Yasumoto, Minoru Ito, Teruo Higashino:
Demand-Oriented Information Retrieval Method on MANET. MDM 2006: 104 - [c73]Shigeto Tajima, Teruo Higashino, Nobuo Funabiki, Shoji Yoshida:
An Internet Gateway Access-Point Selection Problem forWireless Infrastructure Mesh Networks. MDM 2006: 112 - [c72]Yoshitaka Nakamura, Hirozumi Yamaguchi, Teruo Higashino:
Maximizing User Gain in Multi-flow Multicast Streaming on Overlay Networks. MDM 2006: 117 - [c71]Takashi Shinkawa, Takashi Terauchi, Tomoya Kitani, Naoki Shibata, Keiichi Yasumoto, Minoru Ito, Teruo Higashino:
A Technique for Information Sharing using Inter-Vehicle Communication with Message Ferrying. MDM 2006: 130 - [c70]Naoki Shibata, Takashi Terauchi, Tomoya Kitani, Keiichi Yasumoto, Minoru Ito, Teruo Higashino:
A Method for Sharing Traffic Jam Information using Inter-Vehicle Communication. MobiQuitous 2006: 1-7 - [c69]Akira Uchiyama, Takaaki Umedu, Keiichi Yasumoto, Teruo Higashino:
Efficient and Robust Distributed Network Monitoring using Dynamic Group Formation. NOMS 2006 - [c68]Takaaki Umedu, Hiroaki Urabe, Jun Tsukamoto, Kazuki Sato, Teruo Higashino:
MANET Protocol for Information Gathering from Disaster Victims. PerCom Workshops 2006: 442-446 - 2005
- [j14]Nobuo Funabiki, Jun Kawashima, Toru Nakanishi, Kiyohiko Okayama, Teruo Higashino:
An Optical-Drop Wavelength Assignment Algorithm for Efficient Wavelength Reuse under Heterogeneous Traffic in WDM Ring Networks. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 88-A(5): 1234-1240 (2005) - [j13]Tadaaki Tanimoto, Akio Nakata, Hideaki Hashimoto, Teruo Higashino:
Double Depth First Search Based Parametric Analysis for Parametric Time-Interval Automata. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 88-A(11): 3007-3021 (2005) - [c67]Masashi Saito, Jun Tsukamoto, Takaaki Umedu, Teruo Higashino:
Evaluation of Inter-Vehicle Ad Hoc Communication Protocol. AINA 2005: 78-83 - [c66]Takaaki Umedu, Shigeharu Urata, Akio Nakata, Teruo Higashino:
Automatic Decomposition of Java Program for Implementation on Mobile Terminals. AINA 2005: 544-549 - [c65]Nobuo Funabiki, Megumi Isogai, Toru Nakanishi, Teruo Higashino:
Optical-Drop Wavelength Assignment Problem for Wavelength Reuse in WDM Ring Metropolitan Area Networks. AINA 2005: 999-1004 - [c64]Teruo Higashino, Hirozumi Yamaguchi:
A Testing Architecture for Designing High-Reliable MANET Protocols. FORTE 2005: 20-23 - [c63]Kouji Nishigaki, Keiichi Yasumoto, Naoki Shibata, Minoru Ito, Teruo Higashino:
Framework and Rule-Based Language for Facilitating Context-Aware Computing Using Information Appliances. ICDCS Workshops 2005: 345-351 - [c62]Yoshitaka Nakamura, Guiquan Ren, Masatoshi Nakamura, Takaaki Umedu, Teruo Higashino:
Personally Customizable Group Navigation System Using Cellular Phones and Wireless Ad-Hoc Communication. ICME 2005: 1342-1345 - [c61]Thilmee M. Baduge, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino:
Design and Implementation of Overlay Multicast Protocol for Multimedia Streaming. ICPP 2005: 41-48 - [c60]Kazuki Konishi, Kumiko Maeda, Kazuki Sato, Akiko Yamasaki, Hirozumi Yamaguchi, Teruo Higashino, Keiichi Yasumoto:
MobiREAL Simulator Evaluating MANET Applications in Real Environments. MASCOTS 2005: 499-502 - [c59]Kumiko Maeda, Kazuki Sato, Kazuki Konishi, Akiko Yamasaki, Akira Uchiyama, Hirozumi Yamaguchi, Keiichi Yasumoto, Teruo Higashino:
Getting urban pedestrian flow from simple observation: realistic mobility generation in wireless network simulation. MSWiM 2005: 151-158 - [c58]Hirozumi Yamaguchi, Khaled El-Fakih, Akihito Hiromori, Teruo Higashino:
A formal approach to design optimized multimedia service overlay. NOSSDAV 2005: 57-62 - [e2]Teruo Higashino:
Principles of Distributed Systems, 8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers. Lecture Notes in Computer Science 3544, Springer 2005, ISBN 3-540-27324-7 [contents] - 2004
- [j12]Takanori Mori, Akio Nakata, Teruo Higashino:
A Method for Designing Multimedia Protocols using Both Parametric Model Checking and Functional Testing. Stud. Inform. Univ. 3(2): 231- (2004) - [c57]Tadaaki Tanimoto, Suguru Sasaki, Akio Nakata, Teruo Higashino:
A Global Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata. ATVA 2004: 179-195 - [c56]Hirozumi Yamaguchi, Akihito Hiromori, Teruo Higashino, Kenichi Taniguchi:
An Autonomous and Decentralized Protocol for Delay Sensitive Overlay Multicast Tree. ICDCS 2004: 662-669 - [c55]Kouji Nishigaki, Keiichi Yasumoto, Takaaki Umedu, Teruo Higashino, Minoru Ito:
Middleware Providing Group Communication Facility Based on Muliti-Way Synchronization for Cellular Phone Applications. ICDCS Workshops 2004: 434-437 - [c54]Tomoya Kitani, Nobuo Funabiki, Teruo Higashino:
A proposal of hierarchical chordal ring network topology for WDM networks. ICON 2004: 605-609 - [c53]Kouji Nishigaki, Keiichi Yasumoto, Takaaki Umedu, Teruo Higashino, Minoru Ito:
Middleware Providing Dynamic Group Communication Facility for Cellular Phone Applications. Mobile Data Management 2004: 170 - [c52]Tomoya Kitani, Yoshifumi Takamoto, Keiichi Yasumoto, Akio Nakata, Teruo Higashino:
A Flexible and High-Reliable HW/SW Co-Design Method for Real-Time Embedded Systems. RTSS 2004: 437-446 - 2003
- [j11]Hirozumi Yamaguchi, Khaled El-Fakih, Gregor von Bochmann, Teruo Higashino:
Protocol synthesis and re-synthesis with optimal allocation of resources based on extended Petri nets. Distributed Comput. 16(1): 21-35 (2003) - [j10]Takanori Mori, Hirotaka Otsuka, Nobuo Funabiki, Akio Nakata, Teruo Higashino:
A test sequence generation method for communication protocols using the SAT algorithm. Syst. Comput. Jpn. 34(11): 20-29 (2003) - [c51]Nobuo Funabiki, Ayako Sugano, Teruo Higashino:
A Proposal of a Minimal-State Processing Search Algorithm for Isochronous Channel Reuse Problems in DQDB Networks. AINA 2003: 229-232 - [c50]Tao Sun, Keiichi Yasumoto, Masaaki Mori, Teruo Higashino:
QoS Functional Testing for Multi-media Systems. FORTE 2003: 319-334 - [c49]Hirozumi Yamaguchi, Gregor von Bochmann, Teruo Higashino:
Decomposing Service Definition in Predicate/Transition-Nets for Designing Distributed Systems. FORTE 2003: 399-414 - [c48]Tomoya Kitani, Yoshifumi Takamoto, Isao Naka, Keiichi Yasumoto, Akio Nakata, Teruo Higashino:
Design and Implementation of Priority Queuing Mechanism on FPGA Using Concurrent Periodic EFSMs and Parametric Model Checking. FPL 2003: 1145-1148 - [c47]Hirozumi Yamaguchi, Cao Man Letan, Akihito Hiromori, Takeshi Yamashita, Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi:
A Receiver Coordination Protocol for the Efficient Use of Bandwidth in Distributed Multimedia Applications. ICDCS Workshops 2003: 531-536 - [c46]Yoshitaka Nakamura, Hirozumi Yamaguchi, Akihito Hiromori, Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi:
On designing end-user multicast for multiple video sources. ICME 2003: 497-500 - [c45]Tomoya Kitani, Masataka Yonedu, Nobuo Funabiki, Tom Nakanishi, Kiyohiko Okayama, Teruo Higashino:
A two-stage hierarchical algorithm for wavelength assignment in WDM-based Bidirectional Manhattan Street Networks. ICON 2003: 419-424 - [c44]Akihito Hiromori, Hirozumi Yamaguchi, Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi:
Reducing the Size of Routing Tables for Large-scale Network Simulation. PADS 2003: 115-122 - [c43]Shigeto Tajima, Ayako Sugano, Nobuo Funabiki, Teruo Higashino:
A Proposal of a Minimal-State Processing Search Algorithm for Link Scheduling Problems in Packet Radio Networks. SAINT 2003: 128-135 - 2002
- [j9]Keiichi Yasumoto, Takaaki Umedu, Hirozumi Yamaguchi, Akio Nakata, Teruo Higashino:
Protocol animation based on event-driven visualization scenarios in real-time LOTOS. Comput. Networks 40(5): 639-663 (2002) - [j8]Nobuo Funabiki, Toru Nakanishi, Tokumi Yokohira, Shigeto Tajima, Teruo Higashino:
A Quasi-Solution State Evolution Algorithm for Channel Assignment Problems in Cellular Networks. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 85-A(5): 977-987 (2002) - [c42]Takaaki Umedu, Yoshiki Terashima, Keiichi Yasumoto, Akio Nakata, Teruo Higashino, Kenichi Taniguchi:
A Language for Describing Wireless Mobile Applications with Dynamic Establishment of Multi-way Synchronization Channels. FME 2002: 607-624 - [c41]Masayuki Kirimura, Yoshifumi Takamoto, Takanori Mori, Keiichi Yasumoto, Akio Nakata, Teruo Higashino:
Design and Implementation of FPGA Circuits for High Speed Network Monitors. FPL 2002: 393-403 - [c40]Nobuo Funabiki, Toru Nakanishi, Tokumi Yokohira, Shigeto Tajima, Teruo Higashino:
A Proposal of a Quasi-Solution State Evolution Algorithm for Channel Assignment Problems. ICOIN (2) 2002: 32-41 - [c39]Shigeto Tajima, Masakazu Fujii, Nobuo Funabiki, Tokumi Yokohira, Kazufumi Tsunemura, Teruo Higashino:
An Optimal Path Selection Algorithm for Static and Mobile Multicast Routing Problems. ICOIN (1) 2002: 193-202 - [c38]Makoto Yamada, Takanori Mori, Atsushi Fukada, Akio Nakata, Teruo Higashino:
A Method for Functional Testing of Media Synchronization Protocols. ICOIN (2) 2002: 539-550 - [c37]Akihito Hiromori, Hirozumi Yamaguchi, Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi:
A Selection Technique for Replicated Multicast Video Servers. ICPP 2002: 556-566 - 2001
- [j7]Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi:
A compiler to implement LOTOS specifications in distributed environments. Comput. Networks 36(2/3): 291-310 (2001) - [c36]Akio Nakata, Teruo Higashino:
Deriving Parameter Conditions for Periodic Timed Automata Satisfying Real-Time Temporal Logic Formulas. FORTE 2001: 151-168 - [c35]Takanori Mori, K. Tokuda, Harumasa Tada, Masahiro Higuchi, Teruo Higashino:
A Method to Generate Conformance Test Sequences for FSM with Timer System Call. FORTE 2001: 301-318 - [c34]Atsushi Fukada, Akio Nakata, Junji Kitamichi, Teruo Higashino, Ana R. Cavalli:
A Conformance Testing Method for Communication Protocols Modeled as Concurrent DFSMs. ICOIN 2001: 155-162 - [c33]Takaaki Umedu, Hirozumi Yamaguchi, Keiichi Yasumoto, Teruo Higashino:
Protocol Synthesis from SMIL-Based Scenarios and Its Implementation in Distributed Environment. ICOIN 2001: 163-170 - [c32]Kozo Okano, Yuko Kitahama, Akira Kitajima, Teruo Higashino, Kenichi Taniguchi:
Formal Verification of CPU in Laboratory Work. MSE 2001: 32-34 - [c31]Nobuo Funabiki, Tokumi Yokohira, Tom Nakanishi, Shigeto Tajima, Teruo Higashino:
A minimal-state processing search algorithm for satisfiability problems. SMC 2001: 2769-2774 - 2000
- [c30]Hisaaki Katagiri, Keiichi Yasumoto, Akira Kitajima, Teruo Higashino, Kenichi Taniguchi:
Hardware implementation of communication protocols modeled by concurrent EFSMs with multi-way synchronization. DAC 2000: 762-767 - [c29]Hisaaki Katagiri, Masayuki Kirimura, Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi:
Hardware implementation of Concurrent Periodic EFSM's. FORTE 2000: 285-300 - [c28]Yoshiki Terashima, Keiichi Yasumoto, Teruo Higashino, Kota Abe, Toshio Matsuura, Kenichi Taniguchi:
Extension of SMIL with QoS Control and its Implementation. IEEE International Conference on Multimedia and Expo (III) 2000: 1683-1686 - [c27]Akihito Hiromori, Hirozumi Yamaguchi, Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi:
Fast and Optimal Multicast-Server Selection Based on Receivers' Preference. IDMS 2000: 40-52 - [c26]Khaled El-Fakih, Hirozumi Yamaguchi, Gregor von Bochmann, Teruo Higashino:
Automatic Derivation of Petri Net Based Distributed Specification with Optimal Allocation of Resources. ASE 2000: 305-308
1990 – 1999
- 1999
- [c25]Takashi Takenaka, Junji Kitamichi, Teruo Higashino, Kenichi Taniguchi:
Formal Design Verification for Correctness of Pipelined Microprocessors with Out-of-order Instruction Execution. ASP-DAC 1999: 177-180 - [c24]Hirozumi Yamaguchi, Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi:
Receiver-Cooperative Bandwidth Management for Layered Multicast. ICNP 1999: 43-50 - [c23]Kozo Okano, Satoshi Hattori, Akira Yamamoto, Teruo Higashino, Kenichi Taniguchi:
Specification of Real-Time Systems Using a Timed Automata Model with Shared Variables and Verification of Partial-Deadlock Freeness. ICPP Workshops 1999: 576-581 - [c22]Nobuo Funabiki, Yoichi Takenaka, Teruo Higashino:
A gradual neural network approach for broadcast scheduling in packet radio networks. IJCNN 1999: 3952-3957 - [c21]Teruo Higashino, Akio Nakata, Kenichi Taniguchi, Ana R. Cavalli:
Generating Test Cases for a Timed I/O Automaton Model. IWTCS 1999: 197-214 - 1998
- [c20]Keiichi Yasumoto, Akira Kitajima, Teruo Higashino, Kenichi Taniguchi:
Hardware synthesis from protocol specifications in LOTOS. FORTE 1998: 405-420 - [c19]Hiroharu Sakate, Hirozumi Yamaguchi, Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi:
Resource Management for Quality of Service Guarantees in Multi-Party Multimedia Application. ICNP 1998: 189- - [c18]Kota Abe, Toshio Matsuura, Keiichi Yasumoto, Teruo Higashino:
Design and Implementation of an Efficient I/O Method for a Real-Time User Level Thread Library. RTCSA 1998: 117-120 - [c17]Akio Nakata, Teruo Higashino, Kenichi Taniguchi:
Protocol Synthesis from Context-Free Processes Using Event Structures. RTCSA 1998: 173-180 - [e1]Atsushi Togashi, Tadanori Mizuno, Norio Shiratori, Teruo Higashino:
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. IFIP Conference Proceedings 107, Chapman & Hall 1998, ISBN 0-412-82060-9 [contents] - 1997
- [c16]Keiichi Yasumoto, Kazuhiro Gotoh, Hiroki Tatsumoto, Teruo Higashino, Kenichi Taniguchi:
Implementation of Distributed Systems described with LOTOS Multi-rendezvous on Bus Topology Networks. FORTE 1997: 161-176 - [c15]Hirozumi Yamaguchi, Kozo Okano, Teruo Higashino, Kenichi Taniguchi:
Protocol Synthesis from Time Petri Net Based Service Specification. ICPADS 1997: 236-243 - 1996
- [j6]Christian Kant, Teruo Higashino, Gregor von Bochmann:
Deriving Protocol Specifications from Service Specifications Written in LOTOS. Distributed Comput. 10(1): 29-47 (1996) - [j5]Kozo Okano, Teruo Higashino, Kenichi Taniguchi:
Proof method for correctness of refinements of algebraic specification in abstract sequential machine style. Syst. Comput. Jpn. 27(5): 25-38 (1996) - [c14]Akio Nakata, Teruo Higashino, Kenichi Taniguchi:
Time-Action Alternating Model for Timed LOTOS and its Symbolic Verification of Bisimulation Equivalence. FORTE 1996: 279-294 - 1995
- [c13]Keiichi Yasumoto, Teruo Higashino, Kota Abe, Toshio Matsuura, Kenichi Taniguchi:
A LOTOS Compiler Generating Multi-threaded Object Codes. FORTE 1995: 271-286 - [c12]Teruo Higashino, Akio Nakata, Tatsuo Itoh, Kenichi Taniguchi:
Verification of Liveness Property for Communicating FSM's with Conditional Transitions Depending on State Visiting Numbers. FORTE 1995: 433-440 - [c11]Hirozumi Yamaguchi, Kozo Okano, Teruo Higashino, Kenichi Taniguchi:
Synthesis of Protocol Entities' Specifications from Service Specifications in a Petri Net Model with Registers. ICDCS 1995: 510-517 - [c10]Akio Nakata, Teruo Higashino, Kenichi Taniguchi:
Protocol synthesis from timed and structured specifications. ICNP 1995: 74- - [c9]Keiichi Yasumoto, Teruo Higashino, Toshio Matsuura, Kenichi Taniguchi:
Protocol visualization using LOTOS multi-rendezvous mechanism. ICNP 1995: 118-125 - 1994
- [j4]Teruo Higashino, Gregor von Bochmann:
Automatic Analysis and Test Case Derivation for a Restricted Class of LOTOS Expressions with Data Parameters. IEEE Trans. Software Eng. 20(1): 29-42 (1994) - [c8]Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi:
Software Process Description Using LOTOS and Its Enaction. ICSE 1994: 169-178 - [c7]Teruo Higashino, Keiichi Yasumoto, Junji Kitamichi, Kenichi Taniguchi:
Hardware synthesis from a restricted class of LOTOS expressions. PSTV 1994: 379-386 - [c6]Junji Kitamichi, Sumio Morioka, Teruo Higashino, Kenichi Taniguchi:
Automatic Correctness Proof of the Implementation of Synchronous Sequential Circuits Using an Algebraic Approach. TPCD 1994: 165-184 - 1993
- [c5]Akio Nakata, Teruo Higashino, Kenichi Taniguchi:
LOTOS enhancement to specify time constraint among non-adjacent actions using first order logic. FORTE 1993: 451-466 - [c4]Teruo Higashino, Kozo Okano, Hiroshi Imajo, Kenichi Taniguchi:
Deriving Protocol Specifications from Service Specifications in Extended FSM Models. ICDCS 1993: 141-148 - 1992
- [c3]Toshio Matsuura, Tohru Nakamura, Teruo Higashino, Kenichi Taniguchi, Sumio Masuda:
VTM: A Graph Editor for Large Trees. IFIP Congress (1) 1992: 210-216 - [c2]Teruo Higashino, Gregor von Bochmann, Xiangdong Li, Keiichi Yasumoto, Kenichi Taniguchi:
Test System for a Restricted Class of LOTOS Expressions with Data Parameters. Protocol Test Systems 1992: 205-216 - 1991
- [p1]Teruo Higashino, Kenichi Taniguchi, Tadao Kasami, Mamoru Fujii, Masaaki Mori:
An Algebraic Method For Verifying Progress Property of Communication Protocols. Software Science and Engineering 1991: 39-59
1980 – 1989
- 1989
- [j3]Teruo Higashino, Mamoru Fujii, Kenichi Taniguchi, Tadao Kasami, Masaaki Mori:
Verification of safeness and mutual exclusion properties of algebraically specified token ring LAN protocol. Syst. Comput. Jpn. 20(5): 57-68 (1989) - [c1]Teruo Higashino, Kiyoshi Ninomiya, Tomohisa Kimoto, Kenichi Taniguchi, Masaaki Mori:
Automated Verification of Equivalence of Protocol Machines. PSTV 1989: 235-246 - 1987
- [j2]Teruo Higashino, Kenichi Taniguchi, Tadao Kasami, Mamoru Fujii, Masaaki Mori:
Verification of progress property of algebraically specified communication protocols. Syst. Comput. Jpn. 18(9): 96-107 (1987) - 1984
- [j1]Teruo Higashino, Masaaki Mori, Yuji Sugiyama, Kenichi Taniguchi, Tadao Kasami:
An Algebraic Specification of HDLC Procedures and Its Verification. IEEE Trans. Software Eng. 10(6): 825-836 (1984)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:11 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint