| 2024 | CHI | Exploring Effective Sensing Indicators of Loneliness For Elderly Community in US and Japan. | Xiayan Ji, Ahhyun Yuh, Viktor Erdlyi, Teruhiro Mizumoto, Hyonyoung Choi, Sean Lee Harrison, Emma Cho, James Weimer, Hajime Nagahara, Teruo Higashino, George Demiris, Oleg Sokolsky, Insup Lee |
| 2024 | PERCOM | A Preliminary Study on Angle of Arrival Estimation by MUSIC Algorithm Using Backscatter Tags. | Yudai Yamaguchi, Viktor Erdlyi, Akira Uchiyama, Teruo Higashino |
| 2023 | CHASE | Short: Integrated Sensing Platform for Detecting Social Isolation and Loneliness In the Elderly Community. | Xiayan Ji, Xian Li, Ahhyun Yuh, Amanda Watson, Claire Kendell, James Weimer, Hajime Nagahara, Teruo Higashino, Teruhiro Mizumoto, Viktor Erdlyi, George Demiris, Oleg Sokolsky, Insup Lee |
| 2021 | COMSNETS | Evaluation of Theoretical Interference Estimation Metrics for Dense Wi-Fi Networks. | Srikant Manas Kala, Vanlin Sathya, Winston K. G. Seah, Hirozumi Yamaguchi, Teruo Higashino |
| 2021 | ICDCN | Learn to See: A Microwave-based Object Recognition System Using Learning Techniques. | Viktor Erdlyi, Hamada Rizk, Hirozumi Yamaguchi, Teruo Higashino |
| 2021 | ICDCN | Operator Data Driven Cell-Selection in LTE-LAA Coexistence Networks. | Srikant Manas Kala, Vanlin Sathya, Eitaro Yamatsuta, Hirozumi Yamaguchi, Teruo Higashino |
| 2021 | ICDCN | Design and Evaluation of a Frequency Shift Backscatter Tag for Context Recognition. | Yoshihiro Nakagawa, Toru Maeda, Akira Uchiyama, Teruo Higashino |
| 2021 | Mobiquitous | Body Part Detection from Neonatal Thermal Images Using Deep Learning. | Fumika Beppu, Hiroki Yoshikawa, Akira Uchiyama, Teruo Higashino, Keisuke Hamada, Eiji Hirakawa |
| 2021 | Mobiquitous | Human Localization Using a Single Camera Towards Social Distance Monitoring During Sports. | Ryosuke Hasegawa, Akira Uchiyama, Fumio Okura, Daigo Muramatsu, Issei Ogasawara, Hiromi Takahata, Ken Nakata, Teruo Higashino |
| 2021 | Mobiquitous | Optimizing Unlicensed Coexistence Network Performance Through Data Learning. | Srikant Manas Kala, Vanlin Sathya, Kunal Dahiya, Teruo Higashino, Hirozumi Yamaguchi |
| 2021 | SENSYS | Data balancing for thermal comfort datasets using conditional wasserstein GAN with a weighted loss function. | Hiroki Yoshikawa, Akira Uchiyama, Teruo Higashino |
| 2021 | WiMob | Road Segment Re-Identification in Dashcam Videos. | Yukihiro Tsukamoto, Tatsuya Amano, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino |
| 2021 | SSS | A New Problem Setting for Mobile Robots Based on Backscatter-Based Communication and Sensing. | Teruo Higashino, Akira Uchiyama, Hirozumi Yamaguchi, Shunsuke Saruwatari, Takashi Watanabe, Toshimitsu Masuzawa |
| 2020 | MSWIM | Trajectory-Assisted Robust RFID-tagged Object Tracking and Recognition in Room Environment. | Motoki Ougida, Hirozumi Yamaguchi, Teruo Higashino |
| 2020 | PERCOM | Smartphone-based Risky Traffic Situation Detection and Classification. | Ryota Akikawa, Akira Uchiyama, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino, Masaki Suzuki, Yasuhiko Hiehata, Takeshi Kitahara |
| 2020 | PERCOM | 3-D Localization of Indoor Access Points via Opportunistic Crowdsensing. | Tatsuya Amano, Teruo Higashino |
| 2020 | PERCOM | Towards People Counting Using Wi-Fi CSI of Mobile Devices. | Masahide Mizutani, Akira Uchiyama, Tomoki Murakami, Hirantha Abeysekera, Teruo Higashino |
| 2020 | WiMob | Multi-Lane Detection and Tracking Using Vision for Traffic Situation Awareness. | Yukihiro Tsukamoto, Masahiro Ishizaki, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino |
| 2020 | SmartComp | Home Activity Recognition Using Aggregated Electricity Consumption Data. | Kotaro Ishizu, Teruhiro Mizumoto, Hirozumi Yamaguchi, Teruo Higashino |
| 2019 | DASC | Automatic Localization of Passive Infra-Red Binary Sensors in Home: from Dense to Scattered Network. | Nathavuth Kitbutrawat, Franois Portet, Hirozumi Yamaguchi, Teruo Higashino |
| 2019 | GLOBECOM | Beyond Visual Line of Sight UAV Control for Remote Monitoring Using Directional Antennas. | Songwei Li, Yixin Gu, Bishrut Subedi, Chenyuan He, Yan Wan, Atsuko Miyaji, Teruo Higashino |
| 2019 | ICDCS | Context Recognition of Humans and Objects by Distributed Zero-Energy IoT Devices. | Teruo Higashino, Akira Uchiyama, Shunsuke Saruwatari, Hirozumi Yamaguchi, Takashi Watanabe |
| 2019 | IPIN | Occlusion-based trajectory estimation for pedestrians using LiDAR sensors. | Takayuki Saki, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino |
| 2019 | Middleware | VR Application Framework for Collecting Sensor Data in Risky Situations. | Tatsuya Amano, Ryota Akikawa, Akira Uchiyama, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino, Masaki Suzuki, Yasuhiko Hiehata, Takeshi Kitahara |
| 2019 | PERCOM | Outdoor Wi-Fi RSSI Map Construction Based on Crowdsourcing and Simulation. | Tatsuya Amano, Teruo Higashino |
| 2019 | PERCOM | Automatic Deadline-Oriented Sampling Method for Coarse-Grained Stream Processing. | Sunyanan Choochotkaew, Hirozumi Yamaguchi, Teruo Higashino |
| 2019 | PERCOM | A Feasibility Study on Battery-Less Travel Context Estimation Using Ambient Backscatter. | Toru Maeda, Akira Uchiyama, Teruo Higashino |
| 2019 | PERCOM | A Study on Behavior of Autonomous Vehicles Cooperating with Manually-Driven Vehicles. | Yusuke Nishimura, Atsushi Fujita, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino, Akira Suwa, Hirofumi Urayama, Susumu Takeshima, Mineo Takai |
| 2019 | PERCOM | Dynamic Offset Correction for Smartphone Thermal Cameras Using a Wristband Sensor. | Hiroki Yoshikawa, Akira Uchiyama, Teruo Higashino |
| 2019 | UIC | Energy-Efficient Activation/Inactivation Strategy for Long-term IoT Network Operation. | Zhishu Shen, Kenji Yokota, Atsushi Tagami, Teruo Higashino |
| 2019 | SmartComp | Enabling Low Cost Elderly Monitoring for Connected Communities in Depopulated Area. | Yoshiki Honda, Hirozumi Yamaguchi, Teruo Higashino |
| 2018 | AINA | Wayfinding Behavior Detection by Smartphone. | Ryosuke Narimoto, Shugo Kajita, Hirozumi Yamaguchi, Teruo Higashino |
| 2018 | AINA | In-network Self-Learning Algorithms for BEMS Through a Collaborative Fog Platform. | Zhishu Shen, Kenji Yokota, Jiong Jin, Atsushi Tagami, Teruo Higashino |
| 2018 | ICDCN | A human tracking and sensing platform for enabling smart city applications. | Hirozumi Yamaguchi, Akihito Hiromori, Teruo Higashino |
| 2018 | ICDCS | Re-Thinking: Design and Development of Mobility Aware Applications in Smart and Connected Communities. | Teruo Higashino, Hirozumi Yamaguchi, Akihito Hiromori, Akira Uchiyama, Takaaki Umedu |
| 2018 | Mobiquitous | Smartphone Applications Testbed Using Virtual Reality. | Tatsuya Amano, Shugo Kajita, Hirozumi Yamaguchi, Teruo Higashino, Mineo Takai |
| 2018 | PERCOM | Self-adaptive Resource Allocation for Continuous Task Offloading in Pervasive Computing. | Sunyanan Choochotkaew, Hirozumi Yamaguchi, Teruo Higashino, Dominik Schfer, Janick Edinger, Christian Becker |
| 2018 | PERCOM | CrowdMeter: Congestion Level Estimation in Railway Stations Using Smartphones. | Moustafa Elhamshary, Moustafa Youssef, Akira Uchiyama, Hirozumi Yamaguchi, Teruo Higashino |
| 2018 | PERCOM | Development of Energy-efficient Sensor Networks by Minimizing Sensors Numbers with a Machine Learning Model. | Zhishu Shen, Kenji Yokota, Atsushi Tagami, Teruo Higashino |
| 2018 | WiMob | BALANCE: A Robust Routing Protocol in Self-Organized Civilian DTN. | Sunyanan Choochotkaew, Hirozumi Yamaguchi, Teruo Higashino |
| 2018 | SmartComp | MicroDeep: In-network Deep Learning by Micro-Sensor Coordination for Pervasive Computing. | Yuta Fukushima, Daiki Miura, Takashi Hamatani, Hirozumi Yamaguchi, Teruo Higashino |
| 2018 | SmartComp | Indoor Map Generation from Multiple LIDAR Point Clouds. | Hikaru Yoshisada, Yuma Yamada, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino |
| 2017 | DCOSS | EdgeCEP: Fully-Distributed Complex Event Processing on IoT Edges. | Sunyanan Choochotkaew, Hirozumi Yamaguchi, Teruo Higashino, Megumi Shibuya, Teruyuki Hasegawa |
| 2017 | ICDCS | Edge Computing and IoT Based Research for Building Safe Smart Cities Resistant to Disasters. | Teruo Higashino, Hirozumi Yamaguchi, Akihito Hiromori, Akira Uchiyama, Keiichi Yasumoto |
| 2017 | IWCMC | Localization of binary motion sensors in house. | Nathavuth Kitbutrawat, Hirozumi Yamaguchi, Teruo Higashino |
| 2017 | Mobisys | Poster: Smartwatch Knows How Much You Drink. | Takashi Hamatani, Moustafa Elhamshary, Akira Uchiyama, Teruo Higashino |
| 2017 | Networking | A crowdsourcing and simulation based approach for fast and accurate Wi-Fi radio map construction in urban environment. | Tatsuya Amano, Shugo Kajita, Hirozumi Yamaguchi, Teruo Higashino, Mineo Takai |
| 2017 | PERCOM | HeatWatch: Preventing heatstroke using a smart watch. | Takashi Hamatani, Akira Uchiyama, Teruo Higashino |
| 2017 | PERCOM | Crowd and event detection by fusion of camera images and micro blogs. | Sohei Kojima, Akira Uchiyama, Masumi Shirakawa, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino |
| 2017 | VTC | Vehicle Proximity Awareness by Inter-Vehicle Communication for Surface Mine Operation Safety. | Yusuke Nishimura, Tatsuaki Osafune, Seiya Kato, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino |
| 2016 | Mobiquitous | A Method for Identifying Laser-tracked Vehicles Using Velocity Data from V2V Messages. | Atsushi Fujita, Hirozumi Yamaguchi, Teruo Higashino, Mineo Takai |
| 2016 | Mobiquitous | Wi-Fi Channel Selection Based on Urban Interference Measurement. | Shugo Kajita, Tatsuya Amano, Hirozumi Yamaguchi, Teruo Higashino, Mineo Takai |
| 2016 | Mobiquitous | In-home Activity and Micro-motion Logging Using Mobile Robot with Kinect. | Keita Nakahara, Hirozumi Yamaguchi, Teruo Higashino |
| 2016 | Mobisys | Poster: Two-Steps Independent Solution for Rule-based CEP. | Sunyanan Choochotkaew, Hirozumi Yamaguchi, Teruo Higashino |
| 2016 | Mobisys | TransitLabel: A Crowd-Sensing System for Automatic Labeling of Transit Stations Semantics. | Moustafa Elhamshary, Moustafa Youssef, Akira Uchiyama, Hirozumi Yamaguchi, Teruo Higashino |
| 2016 | Mobisys | Poster: Core Temperature Estimation During Exercise Using Wearable Sensors. | Takashi Hamatani, Akira Uchiyama, Teruo Higashino |
| 2016 | WoWMoM | A study on identification of laser-tracked vehicles using V2V-based velocity information. | Atsushi Fujita, Hirozumi Yamaguchi, Teruo Higashino, Mineo Takai |
| 2015 | IM | Multi-dimensional sensor data aggregator for adaptive network management in M2M communications. | Kenji Yoi, Hirozumi Yamaguchi, Akihito Hiromori, Akira Uchiyama, Teruo Higashino, Naohisa Yanagiya, Toshikazu Nakatani, Atsuo Tachibana, Teruyuki Hasegawa |
| 2015 | INFOCOM | Human crowd detection for physical sensing assisted geo-social multimedia mining. | Kazuhisa Fujita, Takamasa Higuchi, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino, Shinji Shimojo |
| 2015 | ISWC | Tracking motion context of railway passengers by fusion of low-power sensors in mobile devices. | Takamasa Higuchi, Hirozumi Yamaguchi, Teruo Higashino |
| 2015 | IWCMC | TweetGlue: Leveraging a crowd tracking infrastructure for mobile social augmented reality. | Takamasa Higuchi, Hiroki Iwahashi, Hirozumi Yamaguchi, Teruo Higashino |
| 2015 | Mobisys | Real-Time Calibration of a Human Thermal Model with Solar Radiation Using Wearable Sensors. | Takashi Hamatani, Akira Uchiyama, Teruo Higashino |
| 2015 | PERCOM | A novel estimation method of road condition for pedestrian navigation. | Takumi Satoh, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino |
| 2015 | SAC | Estimating core body temperature based on human thermal model using wearable sensors. | Takashi Hamatani, Akira Uchiyama, Teruo Higashino |
| 2014 | ISWC | Detecting smoothness of pedestrian flows by participatory sensing with mobile phones. | Tomohiro Nishimura, Takamasa Higuchi, Hirozumi Yamaguchi, Teruo Higashino |
| 2014 | UIC | Indoor Localization Utilizing Tracking Scanners and Motion Sensors. | Takumi Takafuji, Kazuhisa Fujita, Takamasa Higuchi, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino |
| 2014 | WiMob | A channel selection strategy for WLAN in urban areas by regression analysis. | Shugo Kajita, Hirozumi Yamaguchi, Teruo Higashino, Shigeki Umehara, Fumiya Saitou, Hirofumi Urayama, Masaya Yamada, Taka Maeno, Shigeru Kaneda, Mineo Takai |
| 2013 | AINA | Early Detection Method of Service Quality Reduction Based on Linguistic and Time Series Analysis of Twitter. | Kazushi Ikeda, Gen Hattori, Chihiro Ono, Hideki Asoh, Teruo Higashino |
| 2013 | IM | Data-centric programming environment for cooperative applications in WSN. | Shunsuke Mori, Takaaki Umedu, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino |
| 2013 | MSWIM | A novel scheduling algorithm for densely-deployed wireless stations in urban areas. | Hirozumi Yamaguchi, Akihito Hiromori, Teruo Higashino, Shigeki Umehara, Hirofumi Urayama, Masaya Yamada, Taka Maeno, Shigeru Kaneda, Mineo Takai |
| 2013 | WiMob | Accurate positioning of mobile phones in a crowd using laser range scanners. | Yusuke Wada, Takamasa Higuchi, Hirozumi Yamaguchi, Teruo Higashino |
| 2012 | IWQoS | Simulating CSMA/CA behavior for performance evaluation of multi-hop wireless networks. | Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino |
| 2011 | CISIS | A Proposal of Fixed Backoff-time Switching Method by Link Activation Rate for Wireless Mesh Networks. | Shigeto Tajima, Nobuo Funabiki, Teruo Higashino |
| 2011 | LCN | Implementation of a data collection mechanism in electronic triage system using wireless sensor devices. | Anuj Ratna Bajracharya, Akira Uchiyama, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino |
| 2011 | MASCOTS | A Comprehensive Test Strategy for Network Protocols in Diverse Environment. | Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino |
| 2011 | MASS | A Simple Mobility Model Realizing Designated Node Distributions and Natural Node Movement. | Eijiro Ueno, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino |
| 2011 | PERCOM | An efficient localization algorithm focusing on stop-and-go behavior of mobile nodes. | Takamasa Higuchi, Sae Fujii, Hirozumi Yamaguchi, Teruo Higashino |
| 2011 | VTC | Cooperative Vehicle Positioning via V2V Communications and Onboard Sensors. | Sae Fujii, Atsushi Fujita, Takaaki Umedu, Shigeru Kaneda, Hirozumi Yamaguchi, Teruo Higashino, Mineo Takai |
| 2010 | ICNP | Message from the General Co-Chairs. | Teruo Higashino, Kenji Suzuki |
| 2010 | PERCOM | Local map generation using position and communication history of mobile nodes. | Shinichi Minamimoto, Sae Fujii, Hirozumi Yamaguchi, Teruo Higashino |
| 2009 | MSWIM | Real-time trajectory estimation in mobile ad hoc networks. | Sae Fujii, Takashi Nomura, Takaaki Umedu, Hirozumi Yamaguchi, Teruo Higashino |
| 2009 | PADS | Modeling and Evaluation of Rescue Operations Using Mobile Communication Devices. | Keisuke Nakata, Kumiko Maeda, Takaaki Umedu, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino |
| 2009 | UIC | Self-estimation of Neighborhood Density for Mobile Wireless Nodes. | Junji Hamada, Akira Uchiyama, Hirozumi Yamaguchi, Shinji Kusumoto, Teruo Higashino |
| 2009 | RTCSA | Optimal Assignment of Real-Time Systems into Multi-context Dynamically Reconfigurable Processors. | Tomoya Kitani, Ryo Nakahashi, Khaled El-Fakih, Teruo Higashino |
| 2008 | Networking | Hierarchical Logical Topology in WDM Ring Networks with Limited ADMs. | Tomoya Kitani, Nobuo Funabiki, Hirozumi Yamaguchi, Teruo Higashino |
| 2008 | PADS | Hybrid Testbed Enabling Run-Time Operations for Wireless Applications. | Kumiko Maeda, Keisuke Nakata, Takaaki Umedu, Hirozumi Yamaguchi, Keiichi Yasumoto, Teruo Higashino |
| 2008 | PERCOM | An Off-line Algorithm to Estimate Trajectories of Mobile Nodes Using Ad-hoc Communication (concise contribution). | Sae Fujii, Akira Uchiyama, Takaaki Umedu, Hirozumi Yamaguchi, Teruo Higashino |
| 2008 | VTC | Efficient VANET-Based Traffic Information Sharing using Buses on Regular Routes. | Tomoya Kitani, Takashi Shinkawa, Naoki Shibata, Keiichi Yasumoto, Minoru Ito, Teruo Higashino |
| 2008 | WCNC | Realistic Mobility Aware Information Gathering in Disaster Areas. | Masatoshi Nakamura, Hiroaki Urabe, Akira Uchiyama, Takaaki Umedu, Teruo Higashino |
| 2007 | INFOCOM | Ad-hoc Localization in Urban District. | Akira Uchiyama, Sae Fujii, Kumiko Maeda, Takaaki Umedu, Hirozumi Yamaguchi, Teruo Higashino |
| 2007 | VTC | Mobility-Aware Data Management on Mobile Wireless Networks. | Akiko Yamasaki, Hirozumi Yamaguchi, Shinji Kusumoto, Teruo Higashino |
| 2007 | TridentCom | Efficient Parallel Simulation of Mobile Wireless Networks by Run-time Prediction of Multi-hop Propagation Delay. | Hirozumi Yamaguchi, Kazuki Konishi, Teruo Higashino |
| 2006 | DAC | A real time budgeting method for module-level-pipelined bus based system using bus scenarios. | Tadaaki Tanimoto, Seiji Yamaguchi, Akio Nakata, Teruo Higashino |
| 2006 | MDM | Demand-Oriented Information Retrieval Method on MANET. | Makoto Enomoto, Naoki Shibata, Keiichi Yasumoto, Minoru Ito, Teruo Higashino |
| 2006 | MDM | MobiREAL : Scenario Generation and Toolset for MANET Simulation with Realistic Node Mobility. | Kumiko Maeda, Takaaki Umedu, Hirozumi Yamaguchi, Keiichi Yasumoto, Teruo Higashino |
| 2006 | MDM | Maximizing User Gain in Multi-flow Multicast Streaming on Overlay Networks. | Yoshitaka Nakamura, Hirozumi Yamaguchi, Teruo Higashino |
| 2006 | MDM | Demonstration of a Cellular Phone Application Based on Context-Aware Group Formation. | Kouji Nishigaki, Keiichi Yasumoto, Takaaki Umedu, Teruo Higashino, Minoru Ito |
| 2006 | MDM | A Technique for Information Sharing using Inter-Vehicle Communication with Message Ferrying. | Takashi Shinkawa, Takashi Terauchi, Tomoya Kitani, Naoki Shibata, Keiichi Yasumoto, Minoru Ito, Teruo Higashino |
| 2006 | MDM | An Internet Gateway Access-Point Selection Problem forWireless Infrastructure Mesh Networks. | Shigeto Tajima, Teruo Higashino, Nobuo Funabiki, Shoji Yoshida |
| 2006 | Mobiquitous | A Method for Sharing Traffic Jam Information using Inter-Vehicle Communication. | Naoki Shibata, Takashi Terauchi, Tomoya Kitani, Keiichi Yasumoto, Minoru Ito, Teruo Higashino |
| 2006 | NOMS | Efficient and Robust Distributed Network Monitoring using Dynamic Group Formation. | Akira Uchiyama, Takaaki Umedu, Keiichi Yasumoto, Teruo Higashino |
| 2006 | PERCOM | MANET Protocol for Information Gathering from Disaster Victims. | Takaaki Umedu, Hiroaki Urabe, Jun Tsukamoto, Kazuki Sato, Teruo Higashino |
| 2005 | AINA | Optical-Drop Wavelength Assignment Problem for Wavelength Reuse in WDM Ring Metropolitan Area Networks. | Nobuo Funabiki, Megumi Isogai, Toru Nakanishi, Teruo Higashino |
| 2005 | AINA | Evaluation of Inter-Vehicle Ad Hoc Communication Protocol. | Masashi Saito, Jun Tsukamoto, Takaaki Umedu, Teruo Higashino |
| 2005 | AINA | Automatic Decomposition of Java Program for Implementation on Mobile Terminals. | Takaaki Umedu, Shigeharu Urata, Akio Nakata, Teruo Higashino |
| 2005 | FORTE | A Testing Architecture for Designing High-Reliable MANET Protocols. | Teruo Higashino, Hirozumi Yamaguchi |
| 2005 | ICPP | Design and Implementation of Overlay Multicast Protocol for Multimedia Streaming. | Thilmee M. Baduge, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino |
| 2005 | MASCOTS | MobiREAL Simulator Evaluating MANET Applications in Real Environments. | Kazuki Konishi, Kumiko Maeda, Kazuki Sato, Akiko Yamasaki, Hirozumi Yamaguchi, Teruo Higashino, Keiichi Yasumoto |
| 2005 | MSWIM | Getting urban pedestrian flow from simple observation: realistic mobility generation in wireless network simulation. | Kumiko Maeda, Kazuki Sato, Kazuki Konishi, Akiko Yamasaki, Akira Uchiyama, Hirozumi Yamaguchi, Keiichi Yasumoto, Teruo Higashino |
| 2005 | NOSSDAV | A formal approach to design optimized multimedia service overlay. | Hirozumi Yamaguchi, Khaled El-Fakih, Akihito Hiromori, Teruo Higashino |
| 2004 | ATVA | A Global Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata. | Tadaaki Tanimoto, Suguru Sasaki, Akio Nakata, Teruo Higashino |
| 2004 | ICDCS | An Autonomous and Decentralized Protocol for Delay Sensitive Overlay Multicast Tree. | Hirozumi Yamaguchi, Akihito Hiromori, Teruo Higashino, Kenichi Taniguchi |
| 2004 | MDM | Middleware Providing Dynamic Group Communication Facility for Cellular Phone Applications. | Kouji Nishigaki, Keiichi Yasumoto, Takaaki Umedu, Teruo Higashino, Minoru Ito |
| 2004 | RTSS | A Flexible and High-Reliable HW/SW Co-Design Method for Real-Time Embedded Systems. | Tomoya Kitani, Yoshifumi Takamoto, Keiichi Yasumoto, Akio Nakata, Teruo Higashino |
| 2003 | AINA | A Proposal of a Minimal-State Processing Search Algorithm for Isochronous Channel Reuse Problems in DQDB Networks. | Nobuo Funabiki, Ayako Sugano, Teruo Higashino |
| 2003 | FORTE | QoS Functional Testing for Multi-media Systems. | Tao Sun, Keiichi Yasumoto, Masaaki Mori, Teruo Higashino |
| 2003 | FORTE | Decomposing Service Definition in Predicate/Transition-Nets for Designing Distributed Systems. | Hirozumi Yamaguchi, Gregor von Bochmann, Teruo Higashino |
| 2003 | FPL | Design and Implementation of Priority Queuing Mechanism on FPGA Using Concurrent Periodic EFSMs and Parametric Model Checking. | Tomoya Kitani, Yoshifumi Takamoto, Isao Naka, Keiichi Yasumoto, Akio Nakata, Teruo Higashino |
| 2003 | PADS | Reducing the Size of Routing Tables for Large-scale Network Simulation. | Akihito Hiromori, Hirozumi Yamaguchi, Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi |
| 2002 | FM | A Language for Describing Wireless Mobile Applications with Dynamic Establishment of Multi-way Synchronization Channels. | Takaaki Umedu, Yoshiki Terashima, Keiichi Yasumoto, Akio Nakata, Teruo Higashino, Kenichi Taniguchi |
| 2002 | FPL | Design and Implementation of FPGA Circuits for High Speed Network Monitors. | Masayuki Kirimura, Yoshifumi Takamoto, Takanori Mori, Keiichi Yasumoto, Akio Nakata, Teruo Higashino |
| 2002 | ICPP | A Selection Technique for Replicated Multicast Video Servers. | Akihito Hiromori, Hirozumi Yamaguchi, Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi |
| 2001 | FORTE | A Method to Generate Conformance Test Sequences for FSM with Timer System Call. | Takanori Mori, K. Tokuda, Harumasa Tada, Masahiro Higuchi, Teruo Higashino |
| 2001 | FORTE | Deriving Parameter Conditions for Periodic Timed Automata Satisfying Real-Time Temporal Logic Formulas. | Akio Nakata, Teruo Higashino |
| 2001 | SMC | A minimal-state processing search algorithm for satisfiability problems. | Nobuo Funabiki, Tokumi Yokohira, Tom Nakanishi, Shigeto Tajima, Teruo Higashino |
| 2000 | DAC | Hardware implementation of communication protocols modeled by concurrent EFSMs with multi-way synchronization. | Hisaaki Katagiri, Keiichi Yasumoto, Akira Kitajima, Teruo Higashino, Kenichi Taniguchi |
| 2000 | FORTE | Hardware implementation of Concurrent Periodic EFSM's. | Hisaaki Katagiri, Masayuki Kirimura, Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi |
| 1999 | ASPDAC | Formal Design Verification for Correctness of Pipelined Microprocessors with Out-of-order Instruction Execution. | Takashi Takenaka, Junji Kitamichi, Teruo Higashino, Kenichi Taniguchi |
| 1999 | ICNP | Receiver-Cooperative Bandwidth Management for Layered Multicast. | Hirozumi Yamaguchi, Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi |
| 1999 | IJCNN | A gradual neural network approach for broadcast scheduling in packet radio networks. | Nobuo Funabiki, Yoichi Takenaka, Teruo Higashino |
| 1998 | FORTE | Hardware synthesis from protocol specifications in LOTOS. | Keiichi Yasumoto, Akira Kitajima, Teruo Higashino, Kenichi Taniguchi |
| 1998 | ICNP | Resource Management for Quality of Service Guarantees in Multi-Party Multimedia Application. | Hiroharu Sakate, Hirozumi Yamaguchi, Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi |
| 1998 | RTCSA | Design and Implementation of an Efficient I/O Method for a Real-Time User Level Thread Library. | Kota Abe, Toshio Matsuura, Keiichi Yasumoto, Teruo Higashino |
| 1998 | RTCSA | Protocol Synthesis from Context-Free Processes Using Event Structures. | Akio Nakata, Teruo Higashino, Kenichi Taniguchi |
| 1997 | FORTE | Implementation of Distributed Systems described with LOTOS Multi-rendezvous on Bus Topology Networks. | Keiichi Yasumoto, Kazuhiro Gotoh, Hiroki Tatsumoto, Teruo Higashino, Kenichi Taniguchi |
| 1997 | ICPADS | Protocol Synthesis from Time Petri Net Based Service Specification. | Hirozumi Yamaguchi, Kozo Okano, Teruo Higashino, Kenichi Taniguchi |
| 1996 | FORTE | Time-Action Alternating Model for Timed LOTOS and its Symbolic Verification of Bisimulation Equivalence. | Akio Nakata, Teruo Higashino, Kenichi Taniguchi |
| 1995 | FORTE | Verification of Liveness Property for Communicating FSM's with Conditional Transitions Depending on State Visiting Numbers. | Teruo Higashino, Akio Nakata, Tatsuo Itoh, Kenichi Taniguchi |
| 1995 | FORTE | A LOTOS Compiler Generating Multi-threaded Object Codes. | Keiichi Yasumoto, Teruo Higashino, Kota Abe, Toshio Matsuura, Kenichi Taniguchi |
| 1995 | ICDCS | Synthesis of Protocol Entities' Specifications from Service Specifications in a Petri Net Model with Registers. | Hirozumi Yamaguchi, Kozo Okano, Teruo Higashino, Kenichi Taniguchi |
| 1995 | ICNP | Protocol synthesis from timed and structured specifications. | Akio Nakata, Teruo Higashino, Kenichi Taniguchi |
| 1995 | ICNP | Protocol visualization using LOTOS multi-rendezvous mechanism. | Keiichi Yasumoto, Teruo Higashino, Toshio Matsuura, Kenichi Taniguchi |
| 1994 | ICSE | Software Process Description Using LOTOS and Its Enaction. | Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi |
| 1993 | FORTE | LOTOS enhancement to specify time constraint among non-adjacent actions using first order logic. | Akio Nakata, Teruo Higashino, Kenichi Taniguchi |
| 1993 | ICDCS | Deriving Protocol Specifications from Service Specifications in Extended FSM Models. | Teruo Higashino, Kozo Okano, Hiroshi Imajo, Kenichi Taniguchi |