An Algebraic Specification of HDLC Procedures and Its Verification. - Teruo Higashino; Masaaki Mori; Yuji Sugiyama; Kenichi Taniguchi; Tadao Kasami (IEEE Trans. Software Eng., 1984)

Verification of progress property of algebraically specified communication protocols. - Teruo Higashino; Kenichi Taniguchi; Tadao Kasami; Mamoru Fujii; Masaaki Mori (Syst. Comput. Jpn., 1987)

Automated Verification of Equivalence of Protocol Machines. - Teruo Higashino; Kiyoshi Ninomiya; Tomohisa Kimoto; Kenichi Taniguchi; Masaaki Mori (PSTV, 1989)

Verification of safeness and mutual exclusion properties of algebraically specified token ring LAN protocol. - Teruo Higashino; Mamoru Fujii; Kenichi Taniguchi; Tadao Kasami; Masaaki Mori (Syst. Comput. Jpn., 1989)

An Algebraic Method For Verifying Progress Property of Communication Protocols. - Teruo Higashino; Kenichi Taniguchi; Tadao Kasami; Mamoru Fujii; Masaaki Mori (Software Science and Engineering, 1991)

VTM: A Graph Editor for Large Trees. - Toshio Matsuura; Tohru Nakamura; Teruo Higashino; Kenichi Taniguchi; Sumio Masuda (IFIP Congress (1), 1992)

Test System for a Restricted Class of LOTOS Expressions with Data Parameters. - Teruo Higashino; Gregor von Bochmann; Xiangdong Li; Keiichi Yasumoto; Kenichi Taniguchi (Protocol Test Systems, 1992)

LOTOS enhancement to specify time constraint among non-adjacent actions using first order logic. - Akio Nakata; Teruo Higashino; Kenichi Taniguchi (FORTE, 1993)

Deriving Protocol Specifications from Service Specifications in Extended FSM Models. - Teruo Higashino; Kozo Okano; Hiroshi Imajo; Kenichi Taniguchi (ICDCS, 1993)

Software Process Description Using LOTOS and Its Enaction. - Keiichi Yasumoto; Teruo Higashino; Kenichi Taniguchi (ICSE, 1994)

Hardware synthesis from a restricted class of LOTOS expressions. - Teruo Higashino; Keiichi Yasumoto; Junji Kitamichi; Kenichi Taniguchi (PSTV, 1994)

Automatic Correctness Proof of the Implementation of Synchronous Sequential Circuits Using an Algebraic Approach. - Junji Kitamichi; Sumio Morioka; Teruo Higashino; Kenichi Taniguchi (TPCD, 1994)

Automatic Analysis and Test Case Derivation for a Restricted Class of LOTOS Expressions with Data Parameters. - Teruo Higashino; Gregor von Bochmann (IEEE Trans. Software Eng., 1994)

Verification of Liveness Property for Communicating FSM's with Conditional Transitions Depending on State Visiting Numbers. - Teruo Higashino; Akio Nakata; Tatsuo Itoh; Kenichi Taniguchi (FORTE, 1995)

A LOTOS Compiler Generating Multi-threaded Object Codes. - Keiichi Yasumoto; Teruo Higashino; Kota Abe; Toshio Matsuura; Kenichi Taniguchi (FORTE, 1995)

Synthesis of Protocol Entities' Specifications from Service Specifications in a Petri Net Model with Registers. - Hirozumi Yamaguchi; Kozo Okano; Teruo Higashino; Kenichi Taniguchi (ICDCS, 1995)

Protocol synthesis from timed and structured specifications. - Akio Nakata; Teruo Higashino; Kenichi Taniguchi (ICNP, 1995)

Protocol visualization using LOTOS multi-rendezvous mechanism. - Keiichi Yasumoto; Teruo Higashino; Toshio Matsuura; Kenichi Taniguchi (ICNP, 1995)

Time-Action Alternating Model for Timed LOTOS and its Symbolic Verification of Bisimulation Equivalence. - Akio Nakata; Teruo Higashino; Kenichi Taniguchi (FORTE, 1996)

Deriving Protocol Specifications from Service Specifications Written in LOTOS. - Christian Kant; Teruo Higashino; Gregor von Bochmann (Distributed Comput., 1996)

Proof method for correctness of refinements of algebraic specification in abstract sequential machine style. - Kozo Okano; Teruo Higashino; Kenichi Taniguchi (Syst. Comput. Jpn., 1996)

Implementation of Distributed Systems described with LOTOS Multi-rendezvous on Bus Topology Networks. - Keiichi Yasumoto; Kazuhiro Gotoh; Hiroki Tatsumoto; Teruo Higashino; Kenichi Taniguchi (FORTE, 1997)

Protocol Synthesis from Time Petri Net Based Service Specification. - Hirozumi Yamaguchi; Kozo Okano; Teruo Higashino; Kenichi Taniguchi (ICPADS, 1997)

Hardware synthesis from protocol specifications in LOTOS. - Keiichi Yasumoto; Akira Kitajima; Teruo Higashino; Kenichi Taniguchi (FORTE, 1998)

Resource Management for Quality of Service Guarantees in Multi-Party Multimedia Application. - Hiroharu Sakate; Hirozumi Yamaguchi; Keiichi Yasumoto; Teruo Higashino; Kenichi Taniguchi (ICNP, 1998)

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 (RTCSA, 1998)

Protocol Synthesis from Context-Free Processes Using Event Structures. - Akio Nakata; Teruo Higashino; Kenichi Taniguchi (RTCSA, 1998)

Formal Design Verification for Correctness of Pipelined Microprocessors with Out-of-order Instruction Execution. - Takashi Takenaka; Junji Kitamichi; Teruo Higashino; Kenichi Taniguchi (ASP-DAC, 1999)

Receiver-Cooperative Bandwidth Management for Layered Multicast. - Hirozumi Yamaguchi; Keiichi Yasumoto; Teruo Higashino; Kenichi Taniguchi (ICNP, 1999)

Specification of Real-Time Systems Using a Timed Automata Model with Shared Variables and Verification of Partial-Deadlock Freeness. - Kozo Okano; Satoshi Hattori; Akira Yamamoto; Teruo Higashino; Kenichi Taniguchi (ICPP Workshops, 1999)

A gradual neural network approach for broadcast scheduling in packet radio networks. - Nobuo Funabiki; Yoichi Takenaka; Teruo Higashino (IJCNN, 1999)

Generating Test Cases for a Timed I/O Automaton Model. - Teruo Higashino; Akio Nakata; Kenichi Taniguchi; Ana R. Cavalli (IWTCS, 1999)

Hardware implementation of communication protocols modeled by concurrent EFSMs with multi-way synchronization. - Hisaaki Katagiri; Keiichi Yasumoto; Akira Kitajima; Teruo Higashino; Kenichi Taniguchi (DAC, 2000)

Hardware implementation of Concurrent Periodic EFSM's. - Hisaaki Katagiri; Masayuki Kirimura; Keiichi Yasumoto; Teruo Higashino; Kenichi Taniguchi (FORTE, 2000)

Extension of SMIL with QoS Control and its Implementation. - Yoshiki Terashima; Keiichi Yasumoto; Teruo Higashino; Kota Abe; Toshio Matsuura; Kenichi Taniguchi (IEEE International Conference on Multimedia and Expo (III), 2000)

Fast and Optimal Multicast-Server Selection Based on Receivers' Preference. - Akihito Hiromori; Hirozumi Yamaguchi; Keiichi Yasumoto; Teruo Higashino; Kenichi Taniguchi (IDMS, 2000)

Automatic Derivation of Petri Net Based Distributed Specification with Optimal Allocation of Resources. - Khaled El-Fakih; Hirozumi Yamaguchi; Gregor von Bochmann; Teruo Higashino (ASE, 2000)

A Method to Generate Conformance Test Sequences for FSM with Timer System Call. - Takanori Mori; K. Tokuda; Harumasa Tada; Masahiro Higuchi; Teruo Higashino (FORTE, 2001)

Deriving Parameter Conditions for Periodic Timed Automata Satisfying Real-Time Temporal Logic Formulas. - Akio Nakata; Teruo Higashino (FORTE, 2001)

A Conformance Testing Method for Communication Protocols Modeled as Concurrent DFSMs. - Atsushi Fukada; Akio Nakata; Junji Kitamichi; Teruo Higashino; Ana R. Cavalli (ICOIN, 2001)

Protocol Synthesis from SMIL-Based Scenarios and Its Implementation in Distributed Environment. - Takaaki Umedu; Hirozumi Yamaguchi; Keiichi Yasumoto; Teruo Higashino (ICOIN, 2001)

Formal Verification of CPU in Laboratory Work. - Kozo Okano; Yuko Kitahama; Akira Kitajima; Teruo Higashino; Kenichi Taniguchi (MSE, 2001)

A minimal-state processing search algorithm for satisfiability problems. - Nobuo Funabiki; Tokumi Yokohira; Tom Nakanishi; Shigeto Tajima; Teruo Higashino (SMC, 2001)

A compiler to implement LOTOS specifications in distributed environments. - Keiichi Yasumoto; Teruo Higashino; Kenichi Taniguchi (Comput. Networks, 2001)

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 (FME, 2002)

Design and Implementation of FPGA Circuits for High Speed Network Monitors. - Masayuki Kirimura; Yoshifumi Takamoto; Takanori Mori; Keiichi Yasumoto; Akio Nakata; Teruo Higashino (FPL, 2002)

A Proposal of a Quasi-Solution State Evolution Algorithm for Channel Assignment Problems. - Nobuo Funabiki; Toru Nakanishi 001; Tokumi Yokohira; Shigeto Tajima; Teruo Higashino (ICOIN (2), 2002)

An Optimal Path Selection Algorithm for Static and Mobile Multicast Routing Problems. - Shigeto Tajima; Masakazu Fujii; Nobuo Funabiki; Tokumi Yokohira; Kazufumi Tsunemura; Teruo Higashino (ICOIN (1), 2002)

A Method for Functional Testing of Media Synchronization Protocols. - Makoto Yamada; Takanori Mori; Atsushi Fukada; Akio Nakata; Teruo Higashino (ICOIN (2), 2002)

A Selection Technique for Replicated Multicast Video Servers. - Akihito Hiromori; Hirozumi Yamaguchi; Keiichi Yasumoto; Teruo Higashino; Kenichi Taniguchi (ICPP, 2002)

Protocol animation based on event-driven visualization scenarios in real-time LOTOS. - Keiichi Yasumoto; Takaaki Umedu; Hirozumi Yamaguchi; Akio Nakata; Teruo Higashino (Comput. Networks, 2002)

A Quasi-Solution State Evolution Algorithm for Channel Assignment Problems in Cellular Networks. - Nobuo Funabiki; Toru Nakanishi 001; Tokumi Yokohira; Shigeto Tajima; Teruo Higashino (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2002)

A Proposal of a Minimal-State Processing Search Algorithm for Isochronous Channel Reuse Problems in DQDB Networks. - Nobuo Funabiki; Ayako Sugano; Teruo Higashino (AINA, 2003)

QoS Functional Testing for Multi-media Systems. - Tao Sun; Keiichi Yasumoto; Masaaki Mori; Teruo Higashino (FORTE, 2003)

Decomposing Service Definition in Predicate/Transition-Nets for Designing Distributed Systems. - Hirozumi Yamaguchi; Gregor von Bochmann; Teruo Higashino (FORTE, 2003)

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 (FPL, 2003)

A Receiver Coordination Protocol for the Efficient Use of Bandwidth in Distributed Multimedia Applications. - Hirozumi Yamaguchi; Cao Man Letan; Akihito Hiromori; Takeshi Yamashita; Keiichi Yasumoto; Teruo Higashino; Kenichi Taniguchi (ICDCS Workshops, 2003)

On designing end-user multicast for multiple video sources. - Yoshitaka Nakamura; Hirozumi Yamaguchi; Akihito Hiromori; Keiichi Yasumoto; Teruo Higashino; Kenichi Taniguchi (ICME, 2003)

A two-stage hierarchical algorithm for wavelength assignment in WDM-based Bidirectional Manhattan Street Networks. - Tomoya Kitani; Masataka Yonedu; Nobuo Funabiki; Tom Nakanishi; Kiyohiko Okayama; Teruo Higashino (ICON, 2003)

Reducing the Size of Routing Tables for Large-scale Network Simulation. - Akihito Hiromori; Hirozumi Yamaguchi; Keiichi Yasumoto; Teruo Higashino; Kenichi Taniguchi (PADS, 2003)

A Proposal of a Minimal-State Processing Search Algorithm for Link Scheduling Problems in Packet Radio Networks. - Shigeto Tajima; Ayako Sugano; Nobuo Funabiki; Teruo Higashino (SAINT, 2003)

Protocol synthesis and re-synthesis with optimal allocation of resources based on extended Petri nets. - Hirozumi Yamaguchi; Khaled El-Fakih; Gregor von Bochmann; Teruo Higashino (Distributed Comput., 2003)

A test sequence generation method for communication protocols using the SAT algorithm. - Takanori Mori; Hirotaka Otsuka; Nobuo Funabiki; Akio Nakata; Teruo Higashino (Syst. Comput. Jpn., 2003)

A Global Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata. - Tadaaki Tanimoto; Suguru Sasaki; Akio Nakata; Teruo Higashino (ATVA, 2004)

An Autonomous and Decentralized Protocol for Delay Sensitive Overlay Multicast Tree. - Hirozumi Yamaguchi; Akihito Hiromori; Teruo Higashino; Kenichi Taniguchi (ICDCS, 2004)

Middleware Providing Group Communication Facility Based on Muliti-Way Synchronization for Cellular Phone Applications. - Kouji Nishigaki; Keiichi Yasumoto; Takaaki Umedu; Teruo Higashino; Minoru Ito (ICDCS Workshops, 2004)

A proposal of hierarchical chordal ring network topology for WDM networks. - Tomoya Kitani; Nobuo Funabiki; Teruo Higashino (ICON, 2004)

Middleware Providing Dynamic Group Communication Facility for Cellular Phone Applications. - Kouji Nishigaki; Keiichi Yasumoto; Takaaki Umedu; Teruo Higashino; Minoru Ito (Mobile Data Management, 2004)

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 (RTSS, 2004)

A Method for Designing Multimedia Protocols using Both Parametric Model Checking and Functional Testing. - Takanori Mori; Akio Nakata; Teruo Higashino (Stud. Inform. Univ., 2004)

Optical-Drop Wavelength Assignment Problem for Wavelength Reuse in WDM Ring Metropolitan Area Networks. - Nobuo Funabiki; Megumi Isogai; Toru Nakanishi 001; Teruo Higashino (AINA, 2005)

Evaluation of Inter-Vehicle Ad Hoc Communication Protocol. - Masashi Saito; Jun Tsukamoto; Takaaki Umedu; Teruo Higashino (AINA, 2005)

Automatic Decomposition of Java Program for Implementation on Mobile Terminals. - Takaaki Umedu; Shigeharu Urata; Akio Nakata; Teruo Higashino (AINA, 2005)

A Testing Architecture for Designing High-Reliable MANET Protocols. - Teruo Higashino; Hirozumi Yamaguchi (FORTE, 2005)

Framework and Rule-Based Language for Facilitating Context-Aware Computing Using Information Appliances. - Kouji Nishigaki; Keiichi Yasumoto; Naoki Shibata; Minoru Ito; Teruo Higashino (ICDCS Workshops, 2005)

Personally Customizable Group Navigation System Using Cellular Phones and Wireless Ad-Hoc Communication. - Yoshitaka Nakamura; Guiquan Ren; Masatoshi Nakamura; Takaaki Umedu; Teruo Higashino (ICME, 2005)

Design and Implementation of Overlay Multicast Protocol for Multimedia Streaming. - Thilmee M. Baduge; Akihito Hiromori; Hirozumi Yamaguchi; Teruo Higashino (ICPP, 2005)

MobiREAL Simulator Evaluating MANET Applications in Real Environments. - Kazuki Konishi; Kumiko Maeda; Kazuki Sato; Akiko Yamasaki; Hirozumi Yamaguchi; Teruo Higashino; Keiichi Yasumoto (MASCOTS, 2005)

Getting urban pedestrian flow from simple observation: realistic mobility generation in wireless network simulation. - Kumiko Maeda; Kazuki Sato; Kazuki Konishi; Akiko Yamasaki; Akira Uchiyama; Hirozumi Yamaguchi; Keiichi Yasumoto; Teruo Higashino (MSWiM, 2005)

A formal approach to design optimized multimedia service overlay. - Hirozumi Yamaguchi; Khaled El-Fakih; Akihito Hiromori; Teruo Higashino (NOSSDAV, 2005)

An Optical-Drop Wavelength Assignment Algorithm for Efficient Wavelength Reuse under Heterogeneous Traffic in WDM Ring Networks. - Nobuo Funabiki; Jun Kawashima; Toru Nakanishi 001; Kiyohiko Okayama; Teruo Higashino (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2005)

Double Depth First Search Based Parametric Analysis for Parametric Time-Interval Automata. - Tadaaki Tanimoto; Akio Nakata; Hideaki Hashimoto; Teruo Higashino (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2005)

A real time budgeting method for module-level-pipelined bus based system using bus scenarios. - Tadaaki Tanimoto; Seiji Yamaguchi; Akio Nakata; Teruo Higashino (DAC, 2006)

Demand-Oriented Information Retrieval Method on MANET. - Makoto Enomoto; Naoki Shibata; Keiichi Yasumoto; Minoru Ito; Teruo Higashino (MDM, 2006)

MobiREAL : Scenario Generation and Toolset for MANET Simulation with Realistic Node Mobility. - Kumiko Maeda; Takaaki Umedu; Hirozumi Yamaguchi; Keiichi Yasumoto; Teruo Higashino (MDM, 2006)

Maximizing User Gain in Multi-flow Multicast Streaming on Overlay Networks. - Yoshitaka Nakamura; Hirozumi Yamaguchi; Teruo Higashino (MDM, 2006)

Demonstration of a Cellular Phone Application Based on Context-Aware Group Formation. - Kouji Nishigaki; Keiichi Yasumoto; Takaaki Umedu; Teruo Higashino; Minoru Ito (MDM, 2006)

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 (MDM, 2006)

An Internet Gateway Access-Point Selection Problem forWireless Infrastructure Mesh Networks. - Shigeto Tajima; Teruo Higashino; Nobuo Funabiki; Shoji Yoshida (MDM, 2006)

A Method for Sharing Traffic Jam Information using Inter-Vehicle Communication. - Naoki Shibata; Takashi Terauchi; Tomoya Kitani; Keiichi Yasumoto; Minoru Ito; Teruo Higashino (MobiQuitous, 2006)

Efficient and Robust Distributed Network Monitoring using Dynamic Group Formation. - Akira Uchiyama; Takaaki Umedu; Keiichi Yasumoto; Teruo Higashino (NOMS, 2006)

MANET Protocol for Information Gathering from Disaster Victims. - Takaaki Umedu; Hiroaki Urabe; Jun Tsukamoto; Kazuki Sato; Teruo Higashino (PerCom Workshops, 2006)

A Timed Failure Equivalence Preserving Abstraction for Parametric Time-interval Automata. - Akio Nakata; Tadaaki Tanimoto; Suguru Sasaki; Teruo Higashino (Int. J. Found. Comput. Sci., 2006)

Petri net-based protocol synthesis with minimum communication costs. - Khaled El-Fakih; Hirozumi Yamaguchi; Gregor von Bochmann; Teruo Higashino (J. Frankl. Inst., 2006)

A distributed algorithm for constructing minimum delay spanning trees under bandwidth constraints on overlay networks. - Thilmee M. Baduge; Akihito Hiromori; Hirozumi Yamaguchi; Teruo Higashino (Syst. Comput. Jpn., 2006)

Symbolic model checking of extended finite state machines with linear constraints over integer variables. - Takashi Takenaka; Kozo Okano; Teruo Higashino; Kenichi Taniguchi (Syst. Comput. Jpn., 2006)

Ad-hoc Localization in Urban District. - Akira Uchiyama; Sae Fujii; Kumiko Maeda; Takaaki Umedu; Hirozumi Yamaguchi; Teruo Higashino (INFOCOM, 2007)

Efficient Acquisition of Local Traffic Information using Inter-Vehicle Communication with Queries. - Takeshi Fujiki; Masayuki Kirimura; Takaaki Umedu; Teruo Higashino (ITSC, 2007)

Efficient Parallel Simulation of Mobile Wireless Networks by Run-time Prediction of Multi-hop Propagation Delay. - Hirozumi Yamaguchi; Kazuki Konishi; Teruo Higashino (TRIDENTCOM, 2007)

Mobility-Aware Data Management on Mobile Wireless Networks. - Akiko Yamasaki; Hirozumi Yamaguchi; Shinji Kusumoto; Teruo Higashino (VTC Spring, 2007)

Deriving protocol specifications from service specifications written as Predicate/Transition-nets. - Hirozumi Yamaguchi; Khaled El-Fakih; Gregor von Bochmann; Teruo Higashino (Comput. Networks, 2007)

Performance evaluation of mobile wireless communication and services with modelling of real environment. - Akira Uchiyama; Kumiko Maeda; Takaaki Umedu; Hirozumi Yamaguchi; Teruo Higashino (Int. J. Ad Hoc Ubiquitous Comput., 2007)

A proposal of improved lip contour extraction method using deformable template matching and its application to dental treatment. - Yujin Yokogawa; Nobuo Funabiki; Teruo Higashino; Masashi Oda; Yoshihide Mori (Syst. Comput. Jpn., 2007)

Proposal of a hierarchical heuristic algorithm for node assignment in bidirectional Manhattan street networks. - Masataka Yonezu; Nobuo Funabiki; Tomoya Kitani; Tokumi Yokohira; Toru Nakanishi 001; Teruo Higashino (Syst. Comput. Jpn., 2007)

Design and Evaluation of Intervehicle Dissemination Protocol for Propagation of Preceding Traffic Information. - Masashi Saito; Jun Tsukamoto; Takaaki Umedu; Teruo Higashino (IEEE Trans. Intell. Transp. Syst., 2007)

Stability Oriented Overlay Multicast for Multimedia Streaming in Multiple Source Context. - Thilmee M. Baduge; Kazushi Ikeda; Hirozumi Yamaguchi; Teruo Higashino (ICC, 2008)

D-Sense: An Integrated Environment for Algorithm Design and Protocol Implementation in Wireless Sensor Networks. - Kazushi Ikeda; Shunsuke Mori; Yuya Ota; Takaaki Umedu; Akihito Hiromori; Hirozumi Yamaguchi; Teruo Higashino (MMNS, 2008)

Hierarchical Logical Topology in WDM Ring Networks with Limited ADMs. - Tomoya Kitani; Nobuo Funabiki; Hirozumi Yamaguchi; Teruo Higashino (Networking, 2008)

Hybrid Testbed Enabling Run-Time Operations for Wireless Applications. - Kumiko Maeda; Keisuke Nakata; Takaaki Umedu; Hirozumi Yamaguchi; Keiichi Yasumoto; Teruo Higashino (PADS, 2008)

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 (PerCom, 2008)

Efficient VANET-Based Traffic Information Sharing using Buses on Regular Routes. - Tomoya Kitani; Takashi Shinkawa; Naoki Shibata; Keiichi Yasumoto; Minoru Ito; Teruo Higashino (VTC Spring, 2008)

Realistic Mobility Aware Information Gathering in Disaster Areas. - Masatoshi Nakamura; Hiroaki Urabe; Akira Uchiyama; Takaaki Umedu; Teruo Higashino (WCNC, 2008)

A Contact-based Hybrid Routing Protocol for Mobile Ad Hoc Networks. - Weihua Sun; Junya Fukumoto; Hirozumi Yamaguchi; Shinji Kusumoto; Teruo Higashino (J. Inf. Process., 2008)

Design and Deployment of Large-Scale Software-Intensive Systems in Urban Districts. - Teruo Higashino (Software-Intensive Systems and New Computing Paradigms, 2008)

Real-time trajectory estimation in mobile ad hoc networks. - Sae Fujii; Takashi Nomura; Takaaki Umedu; Hirozumi Yamaguchi; Teruo Higashino (MSWiM, 2009)

Modeling and Evaluation of Rescue Operations Using Mobile Communication Devices. - Keisuke Nakata; Kumiko Maeda; Takaaki Umedu; Akihito Hiromori; Hirozumi Yamaguchi; Teruo Higashino (PADS, 2009)

Optimal Assignment of Real-Time Systems into Multi-context Dynamically Reconfigurable Processors. - Tomoya Kitani; Ryo Nakahashi; Khaled El-Fakih; Teruo Higashino (RTCSA, 2009)

An integrated tool for development of overlay services. - Yuki Sakai; Akihito Hiromori; Hirozumi Yamaguchi; Khaled El-Fakih; Teruo Higashino (SimuTools, 2009)

Self-estimation of Neighborhood Density for Mobile Wireless Nodes. - Junji Hamada; Akira Uchiyama; Hirozumi Yamaguchi; Shinji Kusumoto; Teruo Higashino (UIC, 2009)

Adaptive location based TDM protocol for inter-vehicle communication. - Masaya Ohmori; Takaaki Umedu; Teruo Higashino (VNC, 2009)

Urban pedestrian mobility for mobile wireless network simulation. - Kumiko Maeda; Akira Uchiyama; Takaaki Umedu; Hirozumi Yamaguchi; Keiichi Yasumoto; Teruo Higashino (Ad Hoc Networks, 2009)

Message from the General Co-Chairs. - Teruo Higashino; Kenji Suzuki (ICNP, 2010)

Local map generation using position and communication history of mobile nodes. - Shinichi Minamimoto; Sae Fujii; Hirozumi Yamaguchi; Teruo Higashino (PerCom, 2010)

A WDS Clustering Algorithm for Wireless Mesh Networks. - Shigeto Tajima; Nobuo Funabiki; Teruo Higashino (IEICE Trans. Inf. Syst., 2010)

Evaluation of dissemination-based inter-vehicle ad-hoc communication protocols for local traffic information services. - Masashi Saito; Jun Tsukamoto; Takaaki Umedu; Teruo Higashino (Int. J. Wirel. Mob. Comput., 2010)

Map estimation using GPS-equipped mobile wireless nodes. - Shinichi Minamimoto; Sae Fujii; Hirozumi Yamaguchi; Teruo Higashino (Pervasive Mob. Comput., 2010)

An Intervehicular-Communication Protocol for Distributed Detection of Dangerous Vehicles. - Takaaki Umedu; Kumiko Isu; Teruo Higashino; Chai-Keong Toh (IEEE Trans. Veh. Technol., 2010)

Electronic Triage System: Casualties Monitoring System in the Disaster Scene. - Keishi Sakanushi; Takuji Hieda; Taichiro Shiraishi; Yasumasa Ode; Yoshinori Takeuchi; Masaharu Imai; Teruo Higashino; Hiroshi Tanaka (3PGCIC, 2011)

A Proposal of Fixed Backoff-time Switching Method by Link Activation Rate for Wireless Mesh Networks. - Shigeto Tajima; Nobuo Funabiki; Teruo Higashino (CISIS, 2011)

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 (LCN, 2011)

A Comprehensive Test Strategy for Network Protocols in Diverse Environment. - Akihito Hiromori; Hirozumi Yamaguchi; Teruo Higashino (MASCOTS, 2011)

A Simple Mobility Model Realizing Designated Node Distributions and Natural Node Movement. - Eijiro Ueno; Akihito Hiromori; Hirozumi Yamaguchi; Teruo Higashino (MASS, 2011)

An efficient localization algorithm focusing on stop-and-go behavior of mobile nodes. - Takamasa Higuchi; Sae Fujii; Hirozumi Yamaguchi; Teruo Higashino (PerCom, 2011)

Cooperative Vehicle Positioning via V2V Communications and Onboard Sensors. - Sae Fujii; Atsushi Fujita; Takaaki Umedu; Shigeru Kaneda; Hirozumi Yamaguchi; Teruo Higashino; Mineo Takai (VTC Fall, 2011)

ALMware: A middleware for application layer multicast protocols. - Kazushi Ikeda; Thilmee M. Baduge; Takaaki Umedu; Hirozumi Yamaguchi; Teruo Higashino (Comput. Commun., 2011)

An Extension of Wireless Internet-Access Mesh Network Simulator for Use of Smart Antenna. - Nobuo Funabiki; Shigeto Tajima; Teruo Higashino; Toru Nakanishi 001; Kan Watanabe (BWCCA, 2012)

Autonomous Recognition of Emergency Site by Wearable Sensors. - Masaki Inokuchi; Takamasa Higuchi; Hirozumi Yamaguchi; Teruo Higashino (GreenCom, 2012)

Performance evaluation of mobility-based energy-saving to control air-conditioning and lighting equipments. - Akihito Hiromori; Takumi Kanaya; Hirozumi Yamaguchi; Teruo Higashino; Yohei Yamaguchi; Ayaka Murai; Yoshiyuki Shimoda (SustainIT, 2012)

A Study for Human Centric Cyber Physical System Based Sensing - Toward Safe and Secure Urban Life -. - Teruo Higashino; Akira Uchiyama (ISIP, 2012)

A self-learning traffic signal control method for CO2 reduction using prediction of vehicle arrivals. - Takaaki Umedu; Yuji Togashi; Teruo Higashino (ITSC, 2012)

Simulating CSMA/CA behavior for performance evaluation of multi-hop wireless networks. - Akihito Hiromori; Hirozumi Yamaguchi; Teruo Higashino (IWQoS, 2012)

Depth Limited Treatment Planning and Scheduling for Electronic Triage System in MCI. - Ayaka Kashiyama; Akira Uchiyama; Teruo Higashino (MobiHealth, 2012)

Design and Architecture of Cloud-Based Mobile Phone Sensing Middleware. - Shunsuke Mori; Yu-Chih Wang; Takaaki Umedu; Akihito Hiromori; Hirozumi Yamaguchi; Teruo Higashino (NCCA, 2012)

HumanS: A Human Mobility Sensing Simulator. - Takumi Kanaya; Akihito Hiromori; Hirozumi Yamaguchi; Teruo Higashino (NTMS, 2012)

Clearing a Crowd: Context-Supported Neighbor Positioning for People-Centric Navigation. - Takamasa Higuchi; Hirozumi Yamaguchi; Teruo Higashino (Pervasive, 2012)

Protocol Testing and Performance Evaluation for MANETs with Non-uniform Node Density Distribution. - Akihito Hiromori; Takaaki Umedu; Hirozumi Yamaguchi; Teruo Higashino (ICTSS, 2012)

Highlights: IEEE ITS Society Technical Committee on Mobile Communications Networks for ITS [Technical Committees]. - Chai-Keong Toh; Teruo Higashino; Juan-Carlos Cano; Michele C. Weigle (IEEE Intell. Transp. Syst. Mag., 2012)

Trajectory estimation algorithm for mobile nodes using encounter information and geographical information. - Sae Fujii; Akira Uchiyama; Takaaki Umedu; Hirozumi Yamaguchi; Teruo Higashino (Pervasive Mob. Comput., 2012)

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 (AINA Workshops, 2013)

An extension of clustering algorithm for considering link speed in wireless mesh networks. - Shigeto Tajima; Nobuo Funabiki; Teruo Higashino (GCCE, 2013)

Data-centric programming environment for cooperative applications in WSN. - Shunsuke Mori; Takaaki Umedu; Akihito Hiromori; Hirozumi Yamaguchi; Teruo Higashino (IM, 2013)

Mitigating location and speed errors in floating car data using context-based accuracy estimation. - Yuma Akai; Akihito Hiromori; Takaaki Umedu; Hirozumi Yamaguchi; Teruo Higashino (ITST, 2013)

A novel scheduling algorithm for densely-deployed wireless stations in urban areas. - Hirozumi Yamaguchi; Akihito Hiromori; Teruo Higashino; Shigeki Umehara; Hirofumi Urayama; Masaya Yamada; Taka Maeno; Shigeru Kaneda; Mineo Takai (MSWiM, 2013)

Sensor Placement Optimization Method for People Tracking. - Akihito Hiromori; Hirozumi Yamaguchi; Teruo Higashino (NGMAST, 2013)

Accurate positioning of mobile phones in a crowd using laser range scanners. - Yusuke Wada; Takamasa Higuchi; Hirozumi Yamaguchi; Teruo Higashino (WiMob, 2013)

Electronic triage system for continuously monitoring casualties at disaster scenes. - Keishi Sakanushi; Takuji Hieda; Taichiro Shiraishi; Yasumasa Ode; Yoshinori Takeuchi; Masaharu Imai; Teruo Higashino; Hiroshi Tanaka (J. Ambient Intell. Humaniz. Comput., 2013)

Self-Estimation of Neighborhood Distribution for Mobile Wireless Nodes. - Yuki Sakai; Akira Uchiyama; Hirozumi Yamaguchi; Teruo Higashino (J. Inf. Process., 2013)

Twitter user profiling based on text and community mining for market analysis. - Kazushi Ikeda; Gen Hattori; Chihiro Ono; Hideki Asoh; Teruo Higashino (Knowl. Based Syst., 2013)

UPL: Opportunistic Localization in Urban Districts. - Akira Uchiyama; Sae Fujii; Kumiko Maeda; Takaaki Umedu; Hirozumi Yamaguchi; Teruo Higashino (IEEE Trans. Mob. Comput., 2013)

Quantifying relationship between relative position error of localization algorithms and object identification. - Noboru Kiyama; Akira Uchiyama; Hirozumi Yamaguchi; Teruo Higashino (Wirel. Networks, 2013)

Car-level congestion and position estimation for railway trips using mobile phones. - Yuki Maekawa; Akira Uchiyama; Hirozumi Yamaguchi; Teruo Higashino (UbiComp, 2014)

A neighbor collaboration mechanism for mobile crowd sensing in opportunistic networks. - Takamasa Higuchi; Hirozumi Yamaguchi; Teruo Higashino; Mineo Takai (ICC, 2014)

Cooperative positioning method using on-board LED communication and distance measurement devices. - Takaaki Umedu; Yasuhide Otsubo; Teruo Higashino (ICCE-TW, 2014)

An analysis model of queue length fluctuation at signals using vehicle trajectories. - Tomoyuki Tange; Akihito Hiromori; Hirozumi Yamaguchi; Teruo Higashino; Takaaki Umedu (ICCVE, 2014)

Detecting smoothness of pedestrian flows by participatory sensing with mobile phones. - Tomohiro Nishimura; Takamasa Higuchi; Hirozumi Yamaguchi; Teruo Higashino (ISWC, 2014)

Indoor Localization Utilizing Tracking Scanners and Motion Sensors. - Takumi Takafuji; Kazuhisa Fujita; Takamasa Higuchi; Akihito Hiromori; Hirozumi Yamaguchi; Teruo Higashino (UIC/ATC/ScalCom, 2014)

A channel selection strategy for WLAN in urban areas by regression analysis. - Shugo Kajita; Hirozumi Yamaguchi; Teruo Higashino; Shigeki Umehara; Fumiya Saitou; Hirofumi Urayama; Masaya Yamada; Taka Maeno; Shigeru Kaneda; Mineo Takai (WiMob, 2014)

Context-supported local crowd mapping via collaborative sensing with mobile phones. - Takamasa Higuchi; Hirozumi Yamaguchi; Teruo Higashino (Pervasive Mob. Comput., 2014)

Mobile Node Localization Focusing on Stop-and-Go Behavior of Indoor Pedestrians. - Takamasa Higuchi; Sae Fujii; Hirozumi Yamaguchi; Teruo Higashino (IEEE Trans. Mob. Comput., 2014)

Estimation of core temperature based on a human thermal model using a wearable sensor. - Akira Uchiyama; Takashi Hamatani; Teruo Higashino (GCCE, 2015)

Activity recognition of railway passengers by fusion of low-power sensors in mobile phones. - Moustafa Elhamshary; Moustafa Youssef 001; Akira Uchiyama; Hirozumi Yamaguchi; Teruo Higashino (SIGSPATIAL/GIS, 2015)

A model-based approach to support smart and social home living. - Shoko Nakamura; Saeko Shigaki; Akihito Hiromori; Hirozumi Yamaguchi; Teruo Higashino (UbiComp, 2015)

A cross validation of network system models for delay tolerant networks. - Shigeru Kaneda; Teruhiro Mizumoto; Taka Maeno; Mineo Takai; Shigeru Kashihara; Hirozumi Yamaguchi; Teruo Higashino (ICMU, 2015)

Multi-dimensional sensor data aggregator for adaptive network management in M2M communications. - Kenji Yoi; Hirozumi Yamaguchi; Akihito Hiromori; Akira Uchiyama; Teruo Higashino; Naohisa Yanagiya; Toshikazu Nakatani; Atsuo Tachibana; Teruyuki Hasegawa (IM, 2015)

Human crowd detection for physical sensing assisted geo-social multimedia mining. - Kazuhisa Fujita; Takamasa Higuchi; Akihito Hiromori; Hirozumi Yamaguchi; Teruo Higashino; Shinji Shimojo (INFOCOM Workshops, 2015)

Tracking motion context of railway passengers by fusion of low-power sensors in mobile devices. - Takamasa Higuchi; Hirozumi Yamaguchi; Teruo Higashino (ISWC, 2015)

Prediction of Deceleration Amount of Vehicle Speed in Snowy Urban Roads Using Weather Information and Traffic Data. - Ryosuke Tanimura; Akihito Hiromori; Takaaki Umedu; Hirozumi Yamaguchi; Teruo Higashino (ITSC, 2015)

TweetGlue: Leveraging a crowd tracking infrastructure for mobile social augmented reality. - Takamasa Higuchi; Hiroki Iwahashi; Hirozumi Yamaguchi; Teruo Higashino (IWCMC, 2015)

Real-Time Calibration of a Human Thermal Model with Solar Radiation Using Wearable Sensors. - Takashi Hamatani; Akira Uchiyama; Teruo Higashino (WearSys@MobiSys, 2015)

A Scheduling Algorithm of Cell Zooming for Energy Efficiency in Disasters. - Akira Uchiyama; Kazumasa Kitada; Teruo Higashino (MobiWac, 2015)

Throughput and Delay Estimator for 2.4GHz WiFi APs: A Machine Learning-Based Approach. - Shugo Kajita; Hirozumi Yamaguchi; Teruo Higashino; Hirofumi Urayama; Masaya Yamada; Mineo Takai (WMNC, 2015)

A novel estimation method of road condition for pedestrian navigation. - Takumi Satoh; Akihito Hiromori; Hirozumi Yamaguchi; Teruo Higashino (PerCom Workshops, 2015)

Estimating core body temperature based on human thermal model using wearable sensors. - Takashi Hamatani; Akira Uchiyama; Teruo Higashino (SAC, 2015)

Requirement-based prioritization system in multi-user IoT. - Sunyanan Choochotkaew; Hirozumi Yamaguchi; Teruo Higashino; Megumi Shibuya (WF-IoT, 2015)

Special issue on formal active and passive testing of distributed and networked systems. - Ana R. Cavalli; Teruo Higashino; Manuel Núñez 001 (Ann. des Télécommunications, 2015)

A survey on formal active and passive testing with applications to the cloud. - Ana R. Cavalli; Teruo Higashino; Manuel Núñez 001 (Ann. des Télécommunications, 2015)

Edge-centric Computing: Vision and Challenges. - 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 (Comput. Commun. Rev., 2015)

Mobile Devices as an Infrastructure: A Survey of Opportunistic Sensing Technology. - Takamasa Higuchi; Hirozumi Yamaguchi; Teruo Higashino (J. Inf. Process., 2015)

Scalable and robust channel allocation for densely-deployed urban wireless stations. - Hirozumi Yamaguchi; Akihito Hiromori; Teruo Higashino; Shigeki Umehara; Hirofumi Urayama; Masaya Yamada; Taka Maeno; Shigeru Kaneda; Mineo Takai (Perform. Evaluation, 2015)

Cloud-Assisted Dynamic Content Sharing among Vehicles. - Yoshiaki Adachi; Hirozumi Yamaguchi; Teruo Higashino; Takaaki Umedu (CIT, 2016)

Player identification by motion features in sport videos using wearable sensors. - Takashi Hamatani; Yudai Sakaguchi; Akira Uchiyama; Teruo Higashino (ICMU, 2016)

A Method for Identifying Laser-tracked Vehicles Using Velocity Data from V2V Messages. - Atsushi Fujita; Hirozumi Yamaguchi; Teruo Higashino; Mineo Takai (MobiQuitous, 2016)

Wi-Fi Channel Selection Based on Urban Interference Measurement. - Shugo Kajita; Tatsuya Amano; Hirozumi Yamaguchi; Teruo Higashino; Mineo Takai (MobiQuitous, 2016)

In-home Activity and Micro-motion Logging Using Mobile Robot with Kinect. - Keita Nakahara; Hirozumi Yamaguchi; Teruo Higashino (MobiQuitous (Adjunct Proceedings), 2016)

Poster: Two-Steps Independent Solution for Rule-based CEP. - Sunyanan Choochotkaew; Hirozumi Yamaguchi; Teruo Higashino (MobiSys (Companion Volume), 2016)

TransitLabel: A Crowd-Sensing System for Automatic Labeling of Transit Stations Semantics. - Moustafa Elhamshary; Moustafa Youssef 001; Akira Uchiyama; Hirozumi Yamaguchi; Teruo Higashino (MobiSys, 2016)

Poster: Core Temperature Estimation During Exercise Using Wearable Sensors. - Takashi Hamatani; Akira Uchiyama; Teruo Higashino (MobiSys (Companion Volume), 2016)

Travel estimation using Control Signal Records in cellular networks and geographical information. - Yuma Yamada; Akira Uchiyama; Akihito Hiromori; Hirozumi Yamaguchi; Teruo Higashino (WMNC, 2016)

Human thermal comfort estimation in indoor space by crowd sensing. - Masao Chiguchi; Hirozumi Yamaguchi; Teruo Higashino; Yoshiyuki Shimoda (SmartGridComm, 2016)

A study on identification of laser-tracked vehicles using V2V-based velocity information. - Atsushi Fujita; Hirozumi Yamaguchi; Teruo Higashino; Mineo Takai (WoWMoM, 2016)

Trajectory identification based on spatio-temporal proximity patterns between mobile phones. - Takamasa Higuchi; Hirozumi Yamaguchi; Teruo Higashino (Wirel. Networks, 2016)

EdgeCEP: Fully-Distributed Complex Event Processing on IoT Edges. - Sunyanan Choochotkaew; Hirozumi Yamaguchi; Teruo Higashino; Megumi Shibuya; Teruyuki Hasegawa (DCOSS, 2017)

Edge Computing and IoT Based Research for Building Safe Smart Cities Resistant to Disasters. - Teruo Higashino; Hirozumi Yamaguchi; Akihito Hiromori; Akira Uchiyama; Keiichi Yasumoto (ICDCS, 2017)

Play recognition using spatio-temporal relationship of football tracking data. - Tomoki Irnai; Akira Uchiyama; Takuya Magome; Teruo Higashino (ICMU, 2017)

Localization of binary motion sensors in house. - Nathavuth Kitbutrawat; Hirozumi Yamaguchi; Teruo Higashino (IWCMC, 2017)

Poster: Smartwatch Knows How Much You Drink. - Takashi Hamatani; Moustafa Elhamshary; Akira Uchiyama; Teruo Higashino (MobiSys, 2017)

A crowdsourcing and simulation based approach for fast and accurate Wi-Fi radio map construction in urban environment. - Tatsuya Amano; Shugo Kajita; Hirozumi Yamaguchi; Teruo Higashino; Mineo Takai (Networking, 2017)

HeatWatch: Preventing heatstroke using a smart watch. - Takashi Hamatani; Akira Uchiyama; Teruo Higashino (PerCom Workshops, 2017)

Crowd and event detection by fusion of camera images and micro blogs. - Sohei Kojima; Akira Uchiyama; Masumi Shirakawa; Akihito Hiromori; Hirozumi Yamaguchi; Teruo Higashino (PerCom Workshops, 2017)

Vehicle Proximity Awareness by Inter-Vehicle Communication for Surface Mine Operation Safety. - Yusuke Nishimura; Tatsuaki Osafune; Seiya Kato; Akihito Hiromori; Hirozumi Yamaguchi; Teruo Higashino (VTC Spring, 2017)

Analysis of Accident Risks from Driving Behaviors. - Tatsuaki Osafune; Toshimitsu Takahashi; Noboru Kiyama; Tsuneo Sobue; Hirozumi Yamaguchi; Teruo Higashino (Int. J. Intell. Transp. Syst. Res., 2017)

Two-Tier VoI Prioritization System on Requirement-Based Data Streaming toward IoT. - Sunyanan Choochotkaew; Hirozumi Yamaguchi; Teruo Higashino (Mob. Inf. Syst., 2017)

Wayfinding Behavior Detection by Smartphone. - Ryosuke Narimoto; Shugo Kajita; Hirozumi Yamaguchi; Teruo Higashino (AINA, 2018)

In-network Self-Learning Algorithms for BEMS Through a Collaborative Fog Platform. - Zhishu Shen; Kenji Yokota; Jiong Jin; Atsushi Tagami; Teruo Higashino (AINA, 2018)

VRing: Bring Your Mobile App to Virtual Space. - Tatsuya Amano; Shugo Kajita; Hirozumi Yamaguchi; Teruo Higashino; Mineo Takai (UbiComp/ISWC Adjunct, 2018)

A human tracking and sensing platform for enabling smart city applications. - Hirozumi Yamaguchi; Akihito Hiromori; Teruo Higashino (ICDCN Workshops, 2018)

Re-Thinking: Design and Development of Mobility Aware Applications in Smart and Connected Communities. - Teruo Higashino; Hirozumi Yamaguchi; Akihito Hiromori; Akira Uchiyama; Takaaki Umedu (ICDCS, 2018)

A Motivation-based Partnership Decision Model on Event-Stream Knowledge in Real-time Business. - Sunyanan Choochotkaew; Hirozumi Yamaguchi; Teruo Higashino (ICMU, 2018)

Sidewalk-level People Flow Estimation Using Dashboard Cameras Based on Deep Learning. - Yusuke Hara; Akira Uchiyama; Takaaki Umedu; Teruo Higashino (ICMU, 2018)

Ground Object Recognition from Aerial Image-based 3D Point Cloud. - Katsuya Ogura; Yuma Yamada; Shugo Kajita; Hirozumi Yamaguchi; Teruo Higashino; Mineo Takai (ICMU, 2018)

An Efficient Data Processing Scheme for Wireless Sensor Network Monitoring Using a Machine Learning Model. - Zhishu Shen; Atsushi Tagami; Teruo Higashino (ICMU, 2018)

Location Identification of BLE-Embedded HVACs for Smart Building Management. - Nathavuth Kitbutrawat; Shugo Kajita; Hirozumi Yamaguchi; Teruo Higashino (Intelligent Environments, 2018)

Smartphone Applications Testbed Using Virtual Reality. - Tatsuya Amano; Shugo Kajita; Hirozumi Yamaguchi; Teruo Higashino; Mineo Takai (MobiQuitous, 2018)

Play Recognition Using Soccer Tracking Data Based on Machine Learning. - Tomoki Imai; Akira Uchiyama; Takuya Magome; Teruo Higashino (NBiS, 2018)

Self-adaptive Resource Allocation for Continuous Task Offloading in Pervasive Computing. - Sunyanan Choochotkaew; Hirozumi Yamaguchi; Teruo Higashino; Dominik Schäfer; Janick Edinger; Christian Becker 001 (PerCom Workshops, 2018)

CrowdMeter: Congestion Level Estimation in Railway Stations Using Smartphones. - Moustafa Elhamshary; Moustafa Youssef 001; Akira Uchiyama; Hirozumi Yamaguchi; Teruo Higashino (PerCom, 2018)

Development of Energy-efficient Sensor Networks by Minimizing Sensors Numbers with a Machine Learning Model. - Zhishu Shen; Kenji Yokota; Atsushi Tagami; Teruo Higashino (PerCom Workshops, 2018)

An Energy Aware Testing Framework for Smart-Spaces. - Teruhiro Mizumoto; Khaled El-Fakih; Keiichi Yasumoto; Teruo Higashino (ICTSS, 2018)

MicroDeep: In-network Deep Learning by Micro-Sensor Coordination for Pervasive Computing. - Yuta Fukushima; Daiki Miura; Takashi Hamatani; Hirozumi Yamaguchi; Teruo Higashino (SMARTCOMP, 2018)

Indoor Map Generation from Multiple LIDAR Point Clouds. - Hikaru Yoshisada; Yuma Yamada; Akihito Hiromori; Hirozumi Yamaguchi; Teruo Higashino (SMARTCOMP, 2018)

BALANCE: A Robust Routing Protocol in Self-Organized Civilian DTN. - Sunyanan Choochotkaew; Hirozumi Yamaguchi; Teruo Higashino (WiMob, 2018)

A holding access-point assignment algorithm for IEEE802.11 wireless local-area networks. - Shigeto Tajima; Nobuo Funabiki; Teruo Higashino (Int. J. Space Based Situated Comput., 2018)

FluidMeter: Gauging the Human Daily Fluid Intake Using Smartwatches. - Takashi Hamatani; Moustafa Elhamshary; Akira Uchiyama; Teruo Higashino (Proc. ACM Interact. Mob. Wearable Ubiquitous Technol., 2018)

Daily Activity Recognition based on Markov Logic Network for Elderly Monitoring. - Yoshiki Honda; Hirozumi Yamaguchi; Teruo Higashino (CCNC, 2019)

Automatic Localization of Passive Infra-Red Binary Sensors in Home: from Dense to Scattered Network. - Nathavuth Kitbutrawat; François Portet; Hirozumi Yamaguchi; Teruo Higashino (DASC/PiCom/DataCom/CyberSciTech, 2019)

Beyond Visual Line of Sight UAV Control for Remote Monitoring Using Directional Antennas. - Songwei Li 003; Yixin Gu; Bishrut Subedi; Chenyuan He; Yan Wan 001; Atsuko Miyaji; Teruo Higashino (GLOBECOM Workshops, 2019)

Combining a thermal camera and a wristband sensor for thermal comfort estimation. - Hiroki Yoshikawa; Akira Uchiyama; Yuki Nishikawa; Teruo Higashino (UbiComp/ISWC Adjunct, 2019)

Context Recognition of Humans and Objects by Distributed Zero-Energy IoT Devices. - Teruo Higashino; Akira Uchiyama; Shunsuke Saruwatari; Hirozumi Yamaguchi; Takashi Watanabe 001 (ICDCS, 2019)

Maneuver Classification in Wheelchair Basketball Using Inertial Sensors. - Ryosuke Hasegawa; Akira Uchiyama; Teruo Higashino (ICMU, 2019)

Modeling BLE Propagation Above the Ceiling for Smart HVAC Systems. - Chuanhsin Chen; Nathavuth Kitbutrawat; Shugo Kajita; Hirozumi Yamaguchi; Teruo Higashino (Intelligent Environments, 2019)

Occlusion-based trajectory estimation for pedestrians using LiDAR sensors. - Takayuki Saki; Akihito Hiromori; Hirozumi Yamaguchi; Teruo Higashino (IPIN (Short Papers/Work-in-Progress Papers), 2019)

VR Application Framework for Collecting Sensor Data in Risky Situations. - Tatsuya Amano; Ryota Akikawa; Akira Uchiyama; Akihito Hiromori; Hirozumi Yamaguchi; Teruo Higashino; Masaki Suzuki; Yasuhiko Hiehata; Takeshi Kitahara (Middleware Demos/Posters, 2019)

Preliminary Investigation on Band Tightness Estimation of Wrist-Worn Devices Using Inertial Sensors. - Masayuki Hayashi; Hiroki Yoshikawa; Akira Uchiyama; Teruo Higashino (MobiHealth, 2019)

Outdoor Wi-Fi RSSI Map Construction Based on Crowdsourcing and Simulation. - Tatsuya Amano; Teruo Higashino (PerCom Workshops, 2019)

Automatic Deadline-Oriented Sampling Method for Coarse-Grained Stream Processing. - Sunyanan Choochotkaew; Hirozumi Yamaguchi; Teruo Higashino (PerCom Workshops, 2019)

A Feasibility Study on Battery-Less Travel Context Estimation Using Ambient Backscatter. - Toru Maeda; Akira Uchiyama; Teruo Higashino (PerCom Workshops, 2019)

A Study on Behavior of Autonomous Vehicles Cooperating with Manually-Driven Vehicles. - Yusuke Nishimura; Atsushi Fujita; Akihito Hiromori; Hirozumi Yamaguchi; Teruo Higashino; Akira Suwa; Hirofumi Urayama; Susumu Takeshima; Mineo Takai (PerCom, 2019)

Dynamic Offset Correction for Smartphone Thermal Cameras Using a Wristband Sensor. - Hiroki Yoshikawa; Akira Uchiyama; Teruo Higashino (PerCom Workshops, 2019)

Enabling Low Cost Elderly Monitoring for Connected Communities in Depopulated Area. - Yoshiki Honda; Hirozumi Yamaguchi; Teruo Higashino (SMARTCOMP, 2019)

Energy-Efficient Activation/Inactivation Strategy for Long-term IoT Network Operation. - Zhishu Shen; Kenji Yokota; Atsushi Tagami; Teruo Higashino (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI, 2019)

A Self-Organized Task Distribution Framework for Module-Based Event Stream Processing. - Sunyanan Choochotkaew; Hirozumi Yamaguchi; Teruo Higashino (IEEE Access, 2019)

ICCF: An Information-Centric Collaborative Fog Platform for Building Energy Management Systems. - Zhishu Shen; Tiehua Zhang; Jiong Jin; Kenji Yokota; Atsushi Tagami; Teruo Higashino (IEEE Access, 2019)

Ground object recognition and segmentation from aerial image-based 3D point cloud. - Katsuya Ogura; Yuma Yamada; Shugo Kajita; Hirozumi Yamaguchi; Teruo Higashino; Mineo Takai (Comput. Intell., 2019)

EasyTrack: Zero-Calibration Smart-Home Tracking System. - Nathavuth Kitbutrawat; Hirozumi Yamaguchi; Teruo Higashino (J. Inf. Process., 2019)

CrowdMeter: Gauging congestion level in railway stations using smartphones. - Moustafa Elhamshary; Moustafa Youssef 001; Akira Uchiyama; Akihito Hiromori; Hirozumi Yamaguchi; Teruo Higashino (Pervasive Mob. Comput., 2019)

ThermalWrist: Smartphone Thermal Camera Correction Using a Wristband Sensor. - Hiroki Yoshikawa; Akira Uchiyama; Teruo Higashino (Sensors, 2019)

A Ubiquitous and Accurate Floor Estimation System Using Deep Representational Learning. - Hamada Rizk; Hirozumi Yamaguchi; Teruo Higashino; Moustafa Youssef 001 (SIGSPATIAL/GIS, 2020)

Gain Without Pain: Enabling Fingerprinting-based Indoor Localization using Tracking Scanners. - Hamada Rizk; Hirozumi Yamaguchi; Moustafa Youssef 001; Teruo Higashino (SIGSPATIAL/GIS, 2020)

Trajectory-Assisted Robust RFID-tagged Object Tracking and Recognition in Room Environment. - Motoki Ougida; Hirozumi Yamaguchi; Teruo Higashino (MSWiM, 2020)

Smartphone-based Risky Traffic Situation Detection and Classification. - Ryota Akikawa; Akira Uchiyama; Akihito Hiromori; Hirozumi Yamaguchi; Teruo Higashino; Masaki Suzuki; Yasuhiko Hiehata; Takeshi Kitahara (PerCom Workshops, 2020)

3-D Localization of Indoor Access Points via Opportunistic Crowdsensing. - Tatsuya Amano; Teruo Higashino (PerCom Workshops, 2020)

Towards People Counting Using Wi-Fi CSI of Mobile Devices. - Masahide Mizutani; Akira Uchiyama; Tomoki Murakami; Hirantha Abeysekera; Teruo Higashino (PerCom Workshops, 2020)

Home Activity Recognition Using Aggregated Electricity Consumption Data. - Kotaro Ishizu; Teruhiro Mizumoto; Hirozumi Yamaguchi; Teruo Higashino (SMARTCOMP, 2020)

Multi-Lane Detection and Tracking Using Vision for Traffic Situation Awareness. - Yukihiro Tsukamoto; Masahiro Ishizaki; Akihito Hiromori; Hirozumi Yamaguchi; Teruo Higashino (WiMob, 2020)

Energy aware simulation and testing of smart-spaces. - Khaled El-Fakih; Teruhiro Mizumoto; Keiichi Yasumoto; Teruo Higashino (Inf. Softw. Technol., 2020)

Connected AR for Combating COVID-19. - Tatsuya Amano; Hirozumi Yamaguchi; Teruo Higashino (IEEE Internet Things Mag., 2020)

Application of IEEE802.11ac/n Link Throughput Estimation Model in Holding Access-Point Assignment Algorithm for Wireless Local-Area Network. - Shigeto Tajima; Nobuo Funabiki; Teruo Higashino (J. Commun., 2020)

FlowScan: Estimating People Flows on Sidewalks Using Dashboard Cameras Based on Deep Learning. - Yusuke Hara; Ryosuke Hasegawa; Akira Uchiyama; Takaaki Umedu; Teruo Higashino (J. Inf. Process., 2020)

Evaluation of Theoretical Interference Estimation Metrics for Dense Wi-Fi Networks. - Srikant Manas Kala; Vanlin Sathya; Winston K. G. Seah; Hirozumi Yamaguchi; Teruo Higashino (COMSNETS, 2021)

Learn to See: A Microwave-based Object Recognition System Using Learning Techniques. - Viktor Erdélyi; Hamada Rizk; Hirozumi Yamaguchi; Teruo Higashino (ICDCN (Adjunct Volume), 2021)

Operator Data Driven Cell-Selection in LTE-LAA Coexistence Networks. - Srikant Manas Kala; Vanlin Sathya; Eitaro Yamatsuta; Hirozumi Yamaguchi; Teruo Higashino (ICDCN, 2021)

Design and Evaluation of a Frequency Shift Backscatter Tag for Context Recognition. - Yoshihiro Nakagawa; Toru Maeda; Akira Uchiyama; Teruo Higashino (ICDCN (Adjunct Volume), 2021)

Reliability Estimation of Heart Rate Measurement Using Wrist-Worn Devices. - Hiroki Yoshikawa; Masayuki Hayashi; Akira Uchiyama; Teruo Higashino (ICMU, 2021)

Body Part Detection from Neonatal Thermal Images Using Deep Learning. - Fumika Beppu; Hiroki Yoshikawa; Akira Uchiyama; Teruo Higashino; Keisuke Hamada; Eiji Hirakawa (MobiQuitous, 2021)

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 (MobiQuitous, 2021)

Optimizing Unlicensed Coexistence Network Performance Through Data Learning. - Srikant Manas Kala; Vanlin Sathya; Kunal Dahiya; Teruo Higashino; Hirozumi Yamaguchi (MobiQuitous, 2021)

Data balancing for thermal comfort datasets using conditional wasserstein GAN with a weighted loss function. - Hiroki Yoshikawa; Akira Uchiyama; Teruo Higashino (BuildSys, 2021)

A New Problem Setting for Mobile Robots Based on Backscatter-Based Communication and Sensing. - Teruo Higashino; Akira Uchiyama; Hirozumi Yamaguchi; Shunsuke Saruwatari; Takashi Watanabe 001; Toshimitsu Masuzawa (SSS, 2021)

Road Segment Re-Identification in Dashcam Videos. - Yukihiro Tsukamoto; Tatsuya Amano; Akihito Hiromori; Hirozumi Yamaguchi; Teruo Higashino (WiMob, 2021)

TSVNet: Combining Time-Series and Opportunistic Sensing by Transfer Learning for Dynamic Thermal Sensation Estimation. - Hiroki Yoshikawa; Akira Uchiyama; Teruo Higashino (IEEE Access, 2021)

Maneuver and Turn Classification in Wheelchair Basketball Using Inertial Sensors. - Ryosuke Hasegawa; Akira Uchiyama; Takuya Magome; Juri Tatsumi; Teruo Higashino (J. Inf. Process., 2021)

Context Recognition by Wireless Sensing: A Comprehensive Survey. - Akira Uchiyama; Shunsuke Saruwatari; Takuya Maekawa; Kazuya Ohara; Teruo Higashino (J. Inf. Process., 2021)

Close-Contact Detection Using a Single Camera for Sports Considering Occlusion. - Ryosuke Hasegawa; Akira Uchiyama; Fumio Okura; Daigo Muramatsu; Issei Ogasawara; Hiromi Takahata; Ken Nakata; Teruo Higashino (IEEE Access, 2022)

Identification and Analysis of a Unique Cell Selection Phenomenon in Public Unlicensed Cellular Networks Through Machine Learning. - Srikant Manas Kala; Vanlin Sathya; Kunal Dahiya; Teruo Higashino; Hirozumi Yamaguchi (IEEE Access, 2022)

A method for improving semantic segmentation using thermographic images in infants. - Hidetsugu Asano; Eiji Hirakawa; Hayato Hayashi; Keisuke Hamada; Yuto Asayama; Masaaki Oohashi; Akira Uchiyama; Teruo Higashino (BMC Medical Imaging, 2022)

BAAS: Backscatter as a Sensor for Ultra-Low-Power Context Recognition. - Yoshihiro Nakagawa; Toru Maeda; Akira Uchiyama; Teruo Higashino (J. Inf. Process., 2022)

LTE-LAA cell selection through operator data learning and numerosity reduction. - Srikant Manas Kala; Kunal Dahiya; Vanlin Sathya; Teruo Higashino; Hirozumi Yamaguchi (Pervasive Mob. Comput., 2022)

Short: Integrated Sensing Platform for Detecting Social Isolation and Loneliness In the Elderly Community. - Xiayan Ji; Xian Li 006; Ahhyun Yuh; Amanda Watson; Claire Kendell; James Weimer; Hajime Nagahara; Teruo Higashino; Teruhiro Mizumoto; Viktor Erdélyi; George Demiris; Oleg Sokolsky; et al. (CHASE, 2023)

iCareLoop: Closed-Loop Sensing and Intervention for Gerontological Social Isolation and Loneliness. - Xiayan Ji; Ahhyun Yuh; Hyon-Young Choi; Amanda Watson; Claire Kendell; Xian Li 006; James Weimer; Hajime Nagahara; Teruo Higashino; Teruhiro Mizumoto; Viktor Erdélyi; George Demiris; et al. (ICCPS, 2023)

iCareLoop: Data Management System for Monitoring Gerontological Social Isolation and Loneliness. - 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; et al. (ICMU, 2023)

Mitigating Trade-Off in Unlicensed Network Optimization Through Machine Learning and Context Awareness. - Srikant Manas Kala; Vanlin Sathya; Kunal Dahiya; Teruo Higashino; Hirozumi Yamaguchi (IEEE Access, 2023)

Unlicensed Cellular Operator Dataset From Public LAA Networks. - Srikant Manas Kala; Vanlin Sathya; Monisha Ghosh; Teruo Higashino; Hirozumi Yamaguchi (IEEE DataPort, 2023)

Laser Range Scanners for Enabling Zero-overhead WiFi-based Indoor Localization System. - Hamada Rizk; Hirozumi Yamaguchi; Moustafa Youssef 001; Teruo Higashino (ACM Trans. Spatial Algorithms Syst., 2023)

MEXT Society 5.0 Realization Research Support Project. - Teruo Higashino; Hidetoshi Kotera; Yasushi Yagi (Commun. ACM, 2023)

Exploring Effective Sensing Indicators of Loneliness For Elderly Community in US and Japan. - 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; et al. (CHI Extended Abstracts, 2024)

Feasibility of Living Activity Recognition with Frequency-Shift WiFi Backscatter Tags in Homes. - Hikoto Iseda; Keiichi Yasumoto; Akira Uchiyama; Teruo Higashino (IE, 2024)

A Preliminary Study on Angle of Arrival Estimation by MUSIC Algorithm Using Backscatter Tags. - Yudai Yamaguchi; Viktor Erdélyi; Akira Uchiyama; Teruo Higashino (PerCom Workshops, 2024)

Architecture, Performance, and Usability of Mobile Cellular Network Monitoring Applications for Data-Driven Analysis. - Srikant Manas Kala; Malvika Mishra; Amogh Biju; Vanlin Sathya; Tatsuya Amano; Teruo Higashino; Hirozumi Yamaguchi; Bheemarjuna Reddy Tamma (IEEE Access, 2024)

Cellular Operator Data Meets Counterfactual Machine Learning. - Srikant Manas Kala; Malvika Mishra; Vanlin Sathya; Tatsuya Amano; Monisha Ghosh; Teruo Higashino; Hirozumi Yamaguchi (IEEE Access, 2024)

Daily Living Activity Recognition with Frequency-Shift WiFi Backscatter Tags. - Hikoto Iseda; Keiichi Yasumoto; Akira Uchiyama; Teruo Higashino (Sensors, 2024)

Detecting Subtle Signs of School Attendance Issues Using Smartphone-Based Sensing. - Viktor Erdélyi; Teruhiro Mizumoto; Yuichiro Kitai; Daiki Ishimaru; Hiroyoshi Adachi; Teruo Higashino; Manabu Ikeda (IEEE Access, 2025)

Reference-Free 3D WiFi AP Localization by Outdoor-to-Indoor Bridging. - Tatsuya Amano; Hirozumi Yamaguchi; Teruo Higashino (IEEE Open J. Comput. Soc., 2025)