List of Publications

Research Papers (March 17, 2020)

English Journal papers

  1. Khaled El-Fakih, Teruhiro Mizumoto, Keiichi Yasumoto, Teruo Higashino: "Energy aware simulation and testing of smart-spaces", Information & Software Technology, Vol.118, Article No.106201 (Feb., 2020).

  2. 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", Journal of Communications, Vol.15, No.1, pp.81-87 (Jan., 2020).

  3. Yusuke Hara, Ryosuke Hasegawa, Akira Uchiyama, Takaaki Umedu, Teruo Higashino: "FlowScan: Estimating People Flows on Sidewalks Using Dashboard Cameras Based on Deep Learning", Journal of Information Processing, Vol.28, pp.55-64 (Jan., 2020).

  4. Hiroki Yoshikawa, Akira Uchiyama, Teruo Higashino: "ThermalWrist: Smartphone Thermal Camera Correction Using a Wristband Sensor", Sensors, Vol.19, No.18, Article No.3826 (Sept., 2019).

  5. Moustafa Elhamshary, Moustafa Youssef, Akira Uchiyama, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino: "CrowdMeter: Gauging congestion level in railway stations using smartphones", Pervasive Mobile Computing, Vol.58, Article No.101014 (Aug., 2019).

  6. Katsuya Ogura, Yuma Yamada, Shugo Kajita, Hirozumi Yamaguchi, Teruo Higashino, Mineo Takai: "Ground object recognition and segmentation from aerial image-based 3D point cloud", Computational Intelligence, Vol.35, No.3, pp.625-642 (Aug. 2019)

  7. Nathavuth Kitbutrawat, Hirozumi Yamaguchi, Teruo Higashino: "EasyTrack: Zero-Calibration Smart-Home Tracking System", Journal of Information Processing, Vol.27, pp.445-455 (July, 2019)

  8. 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, pp.40402-40415 (April, 2019).

  9. Sunyanan Choochotkaew, Hirozumi Yamaguchi, Teruo Higashino: "A Self-Organized Task Distribution Framework for Module-Based Event Stream Processing", IEEE Access, Vol.7, pp.6493-6509 (Jan., 2019).

  10. Takashi Hamatani, Moustafa Elhamshary, Akira Uchiyama, and Teruo Higashino: "FluidMeter: Gauging the Human Daily Fluid Intake Using Smartwatches", PACM on Interactive, Mobile, Wearable and Ubiquitous Technologies (IMWUT), Vol. 2, No.3, Article No.113 (Sept., 2018).

  11. Shigeto Tajima, Nobuo Funabiki, Teruo Higashino: "A holding access-point assignment algorithm for IEEE802.11 wireless local-area networks", International Journal of Space-Based and Situated Computing, Vol.8, No.1, pp.50-58 (April, 2018).

  12. Tatsuaki Osafune, Toshimitsu Takahashi, Noboru Kiyama, Tsuneo Sobue, Hirozumi Yamaguchi and Teruo Higashino: "Analysis of Accident Risks from Driving Behaviors", Intelligent Transportation Systems Research, Vol.15, Issue 3, pp.192-202 (Sept., 2017).

  13. Sunyanan Choochotkaew, Hirozumi Yamaguchi and Teruo Higashino: "Two-tier VoI Prioritization System on Requirement-based Data Streaming toward IoT", Mobile Information Systems, Vol. 2017, Article ID 7892545 (Aug., 2017).

  14. Takamasa Higuchi, Hirozumi Yamaguchi and Teruo Higashino: "Trajectory identification based on spatio-temporal proximity patterns between mobile phones", Wireless Networks, Vol.22, No.2, pp.563-577 (Feb., 2016).

  15. Pedro Garcia Lopez, Alberto Montresor, Dick Epema, Anwitaman Datta, Teruo Higashino, Adriana Iamnitchi, Marinho Barcellos, Pascal Felber, Etienne Riviere: "Edge-centric Computing: Vision and Challenges", ACM SIGCOMM Computer Communication Review, Volume 45, Issue 5, pp.37-42, (Oct. 2015).

  16. 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", Performance Evaluation, Vol.87, pp.74-91 (May, 2015).

  17. Ana R. Cavalli, Teruo Higashino, Manuel Núñez:"Special issue on formal active and passive testing of distributed and networked systems", Annales des Télécommunications, Vol.70, No.3-4, pp.83-84 (Feb. 2015).

  18. Ana R. Cavalli, Teruo Higashino, Manuel Núñez:"A survey on formal active and passive testing with applications to the cloud", Annales des Télécommunications, Vol.70, No.3-4, pp.85-93 (Feb. 2015).

  19. Takamasa Higuchi, Hirozumi Yamaguchi, Teruo Higashino:"Mobile Devices as an Infrastructure: A Survey of Opportunistic Sensing Technology", Journal of Information Processing (JIP), Vol.23, No.2, pp.94-104 (Feb. 2015). (Invited Paper)

  20. Takamasa Higuchi, Sae Fujii, Hirozumi Yamaguchi and Teruo Higashino :"Context-Supported Local Crowd Mapping via Collaborative Sensing with Mobile Phones",Pervasive and Mobile Computing (Elsevier), Vol.13, pp.26-51 (Aug. 2014).

  21. Takamasa Higuchi, Hirozumi Yamaguchi and Teruo Higashino :"Mobile Node Localization Focusing on Stop-and-Go Behavior of Indoor Pedestrians",IEEE Transactions on Mobile Computing, Vol.13, No.7, pp.1564-1578 (2014).

  22. Kazushi Ikeda, Gen Hattori, Chihiro Ono, Hideki Asoh andTeruo Higashino :"Twitter User Profiling based on Text and Community Mining forMarket Analysis", Knowledge-Based Systems, Vol.51, pp.35-47 (Oct., 2013).

  23. Teruo Higashino and Akira Uchiyama :"A Study for Human Centric Cyber Physical System Based Sensing- Toward Safe and Secure Urban Life - ",Communications in Computer and Information Science, Vol.146, pp.61-70(Oct., 2013).

  24. Noboru Kiyama, Akira Uchiyama, Hirozumi Yamaguchi and Teruo Higashino :"Quantifying Relationship between Relative Position Error of Localization Algorithms and Object Identification",Wireless Networks (Springer), Vol. 19, No. 6, pp.1037-1049, (Aug., 2013).

  25. Akira Uchiyama, Sae Fujii, Kumiko Maeda, Takaaki Umedu, HirozumiYamaguchi and Teruo Higashino :"UPL: Opportunistic Localization in Urban Districts",IEEE Transactions on Mobile Computing, Vol. 12, No. 5, pp.1009-1021, (May, 2013).

  26. 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", Journal of Ambient Intelligence and Humanized Computing, Vol.4, No.5, pp.547-558 (Feb. 2013).

  27. Yuki Sakai, Akira Uchiyama, Hirozumi Yamaguchi and Teruo Higashino :"Self-Estimation of Neighborhood Distribution for Mobile Wireless Nodes",Journal of Information Processing, Vol. 21, No. 2, pp. 198-205, (Feb., 2013).

  28. 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. Transport. Syst. Mag., 4(1): 33-35, (Apr., 2012).

  29. Sae Fujii, Akira Uchiyama, Takaaki Umedu, Hirozumi Yamaguchi, Teruo Higashino :"Trajectory Estimation Algorithm for Mobile Nodes Using Encounter Information and Geographical Information",Pervasive and Mobile Computing, Vol.8, No.2, pp.249-270, (Apr., 2012).

  30. Kazushi Ikeda, Thilmee M. Baduge, Takaaki Umedu, Hirozumi Yamaguchi and Teruo Higashino :"ALMware: A Middleware for Application Layer Multicast Protocols",Computer Communications, Vol.34, No. 14, pp. 1673-1684 (Sept., 2011).

  31. Shinichi Minamimoto, Sae Fujii, Hirozumi Yamaguchi and Teruo Higashino :"Map Estimation Using GPS-equipped Mobile Wireless Nodes",Pervasive and Mobile Computing, (Dec., 2010).

  32. Shigeto TAJIMA, Nobuo FUNABIKI, Teruo HIGASHINO :"A WDS Clustering Algorithm for Wireless Mesh Networks",IEICE TRANSACTIONS on Information and Systems,Vol.E93-D, NO.4, pp.800-810, Vol.E93-D, NO.4, pp.800-810, (Apr., 2010).

  33. Masashi Saito, Jun Tsukamoto, Takaaki Umedu and Teruo Higashino :"Evaluation of dissemination-based inter-vehicle ad-hoc communication protocols for local traffic information services",International Journal of Wireless and Mobile Computing, vol. 4, no. 2, pp. 76-87, (Mar., 2010).

  34. Takaaki Umedu, Kumiko Isu, Teruo Higashino and C. K. Toh :"An Intervehicular-Communication Protocol for Distributed Detection of Dangerous Vehicles",IEEE TRANSACTIONS ON VEHICULAR TECHNOLOGY, vol. 59, no. 2, pp. 627, (Feb., 2010).

  35. Kumiko Maeda, Akira Uchiyama, Takaaki Umedu, Hirozumi Yamaguchi, Keiichi Yasumoto and Teruo Higashino :"Urban Pedestrian Mobility for Mobile Wireless Network Simulation",Ad Hoc Networks, Elsevier, Vol.7, No.1, pp. 153-170 (Jan. 2009).

  36. Teruo Higashino :"Design and Deployment of Large-Scale Software-Intensive Systems in Urban Districts -Research Challenges toward Future Affluent Ambient Society-",Software-Intensive Systems and New Computing Paradigms - Challengesand Visions, Lecture Notes in Computer Science, Vol.5048, pp.116-131(Oct. 2008).

  37. Masashi Saito, Jun Tsukamoto, Takaaki Umedu and Teruo Higashino :"Design and Evaluation of Inter-Vehicle Dissemination Protocol forPropagation of Preceding Traffic Information",IEEE Transactions on Intelligent Transportation Systems, Vol. 8, No.3, pp.379-390 (Sept. 2007).

  38. Akira Uchiyama, Kumiko Maeda, Takaaki Umedu, Hirozumi Yamaguchi and Teruo Higashino :"Performance Evaluation of Mobile Wireless Communication and Services with Modelling of Real Environment",International Journal of Ad Hoc and Ubiquitous Computing, Vol.2, No. 4, pp.239-249 (Sept. 2007).

  39. Hirozumi Yamaguchi, Khaled El-Fakih, Gregor v. Bochmann and Teruo Higashino :"Deriving Protocol Specifications from Service Specifications Written as Predicate/Transition-Nets", Computer Networks, Vol. 51, No.1, pp.258-284 (Jan. 2007).

  40. Khaled El-Fakih, Hirozumi Yamaguchi, Gregor v. Bochmann and Teruo Higashino:"Petri Net Based Protocol Synthesis with Minimum Communication Costs",Journal of the Franklin Institute, Vol.343, No.4-5, pp.501-520 (July-Aug. 2006).

  41. Akio Nakata, Tadaaki Tanimoto, Suguru Sasaki, Teruo Higashino :"A Global Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata",International Journal of Foundations of Computer Science, Vol.17, No.4, pp.833-850(Aug. 2006).

  42. Tadaaki Tanimoto, Akio Nakata, Hideaki Hashimoto and Teruo Higashino:"Double Depth First Search Based Parametric Analysis for Parametric Time-Interval Automata",IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences,Vol. E88-A, No. 11, pp.3007-3021 (Nov. 2005)

  43. Thilmee M. Baduge, Hirozumi Yamaguchi and Teruo Higashino:"An Efficient Overlay Multicast Protocol for Heterogeneous Users",Journal of Information Processing Society of Japan, Vol.46, No.11, pp.2614-2622 (Nov. 2005).

  44. Nobuo Funabiki, Jun Kawashima, Kiyohiko Okayama, Toru Nakanishi and Teruo Higashino:"A Minumum Dead Space Algorithm for Generalized Isochronous Channel Reuse Problem in DQDBNetworks",IEICE Transactions on Fundamentals, Vol.E87-B, No.9, pp.2692-2698(Sept. 2004).

  45. Nobuo Funabiki, Jun Kawashima, Shoji Yoshida, Kiyohiko Okayama, Toru Nakanishi and Teruo Higashino:"P2PMM router: a Two-Stage Heuristic Algorithm to Peer-to-Peer Multicast Routing Problems in Multihome Networks",IEICE Transactions on Fundamentals, Vol.E87-A, No.5,pp.1070-1076(May 2004).

  46. Takanori Mori, Akio Nakata and Teruo Higashino:"A Method for Designing Multimedia Protocols using Both Parametric Model Checking and Functional Testing",STUDIA INFORMATICA UNIVERSALIS,Vol.3, No.2, pp. 169-192 (April 2004).

  47. Hirozumi Yamaguchi, Khaled El-Fakih,Gregor von Bochmann andTeruo Higashino: "ProtocolSynthesis and Re-synthesis with Optimal Allocation of Resources Based onExtended Petri Nets", Distributed Computing, Vol16, No. 1, pp.21-35 (Feb. 2003).

  48. Keiichi Yasumoto,Takaaki Umedu,Hirozumi Yamaguchi, Akio Nakata and TeruoHigashino:"Protocol Animation based on Event-driven Visualization Scenarios inReal-time LOTOS", Computer Networks, Vol.40, No.5, pp. 639-663 (Dec.2002).

  49. Takaaki Umedu, Hirozumi Yamaguchi, Keiichi Yasumoto,Akio Nakata and Teruo Higashino:"A Constraint-Oriented Design Method for Distributed Cooperative Systemsand Efficient Verification Using Symmetries", International Journal ofComputer and Information Science, Vol. 3, No. 2, pp. 125-136 (Jun. 2002).

  50. NobuoFunabiki, Toru Nakanishi, TokumiYokohira, Shigeto Tajima andTeruo Higashino: "AQuasi-Solution State Evolution Algorithm for Channel Assignment Problems inCellular Networks", IEICE Transactions on Fundamentals, Vol.E85-A, No.5,pp.977-987 (May. 2002).

  51. YoichiTakenaka, NubuoFunabiki and TeruoHigashino: "Relaxation of coefficient sensitiveness toperformance forneural networks using neuron filterthrough total coloring problems neural networks using neuron filter throughtotal coloring problems", IEICE Transactions on Fundamentals, Vol.E84-A,No.9, pp.2367-2370 (Sep. 2001).

  52. KeiichiYasumoto, TeruoHigashino and Kenichi Taniguchi: "A compiler toimplement LOTOS specifications in distributed environments", ComputerNetworks, Vol.36, No.2-3, pp.291-310 (Jul. 2001).

  53. YoichiTakenaka, Nobuo Funabiki andTeruo Higashino: "A proposalof neuron filter a constraint resolution scheme of neural networks forcombinatorial optimization problems", IEICE Transactions on Fundamentals,Vol. E83-A, No.9, pp.1815-1823 (Sep. 2000).

  54. NobuoFunabiki and TeruoHigashino: "A Minimal State Processing SearchAlgorithm for Graph Coloring Problems", IEICE Transactions onFundamentals, Vol. E83-A, No.7, pp.1420-1430 (Jul. 2000).

  55. AkiraKitajima, Keiichi Yasumoto,Teruo Higashino and KenichiTaniguchi: "Deriving Concurrent Synchronous EFSMsfrom Protocol Specifications in LOTOS", IEICE Transactions onFundamentals, Vol. E82-A, No.4, pp.487-494 (Apr. 1999).

  56. AkiraKitajima, Keiichi Yasumoto,Teruo Higashino and KenichiTaniguchi: "Method to Convert Concurrent EFSMswith Multi-Rendezvous into Synchronous Sequential Circuit", IEICETransactions on Fundamentals, Vol.E81-A, No.4, pp.566-575 (Apr. 1998).

  57. Christian Kant,Teruo Higashino andGregor von Bochmann:"Deriving Protocol Specifications from Service Specifications Written inLOTOS", Distributed Computing, Vol. 10, No. 1, pp.29-47 (Jun. 1997).

  58. Akio Nakata,Teruo Higashino and KenichiTaniguchi: "Time-Action Alternating Model for Timed Processes and itsSymbolic Verification of BisimulationEquivalence", IEICE Transactions on Fundamentals, Vol.E80-A, No.2, pp.400-406(Feb. 1997).

  59. HirozumiYamaguchi, Kozo Okano,Teruo Higashino and KenichiTaniguchi: "Synthesis of Protocol Specifications from ServiceSpecifications of Distributed Systems in A Marked Graph Model", IEICETransactions on Fundamentals, Vol.E77-A, No.10, pp.1623-1633 (Oct. 1994).

  60. KeiichiYasumoto, TeruoHigashino, Toshio Matsuura and Kenichi Taniguchi:"PROSPEX: A Graphical LOTOS Simulator for Protocol Specifications with NNodes", IEICE Transactions on Communications, Vol.E75-B, No.10,pp.1015-1023 (Oct. 1992).

  61. TeruoHigashino:"Service Specification and its Protocol Specifications in LOTOS - A Surveyfor Synthesis and Execution -", IEICE Transactions on Fundamentals,Vol.E75-A, No.3, pp.330-338 (Mar. 1992).

  62. TeruoHigashino,Masaaki Mori, Yuuji Sugiyama, Kenichi Taniguchi andTadao Kasami: "An AlgebraicSpecification of HDLC Procedures and Its Verification", IEEE Transactionson Software Engineering, Vol.SE-10, No. 6, pp.825-837 (Nov. 1984).

Conference Papers

  1. 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", Proceedings of 2019 IEEE GLOBECOM Workshops, pp.1-6 (Dec., 2019).

  2. 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", Proceedings of the 20th International Middleware Conference Demos and Posters (Middleware Demos/Posters 2019), pp.31-32 (Dec., 2019).

  3. Ryosuke Hasegawa, Akira Uchiyama, Teruo Higashino: "Maneuver Classification in Wheelchair Basketball Using Inertial Sensors", Proceedings of 12th International Conference on Mobile Computing and Ubiquitous Network (ICMU 2019), pp.1-6 (Nov., 2019).

  4. Takayuki Saki, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino: "Occlusion-based trajectory estimation for pedestrians using LiDAR sensors", Proceedings of the 10th International Conference on Indoor Positioning and Indoor Navigation (IPIN 2019, Short Papers/Work-in-Progress Papers), pp.400-407 (Sept., 2019).

  5. Hiroki Yoshikawa, Akira Uchiyama, Yuki Nishikawa, Teruo Higashino: "Combining a thermal camera and a wristband sensor for thermal comfort estimation", Proceedings of the 2019 ACM International Joint Conference on Pervasive and Ubiquitous Computing and Proceedings of the 2019 ACM International Symposium on Wearable Computers (UbiComp/ISWC Adjunct 2019), pp.238-241 (Sept., 2019).

  6. Nathavuth Kitbutrawat, François Portet, Hirozumi Yamaguchi, Teruo Higashino: "Automatic Localization of Passive Infra-Red Binary Sensors in Home: from Dense to Scattered Network", Proceedings of 2019 IEEE International Conference on Pervasive Intelligence and Computing (PICom 2019), pp.848-853 (Aug., 2019).

  7. Teruo Higashino, Akira Uchiyama, Shunsuke Saruwatari, Hirozumi Yamaguchi, Takashi Watanabe: "Context Recognition of Humans and Objects by Distributed Zero-Energy IoT Devices", Proceedings of 39th IEEE International Conference on Distributed Computing Systems (ICDCS 2019), pp.1787-1796 (July, 2019).

  8. Yoshiki Honda, Hirozumi Yamaguchi, Teruo Higashino: "Enabling Low Cost Elderly Monitoring for Connected Communities in Depopulated Area", Proceedings of 2019 IEEE International Conference on Smart Computing (SMARTCOMP 2019), pp.401-408 (June, 2019).

  9. 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", Proceedings of the 17th IEEE International Conference on Pervasive Computing and Communications (PerCom2019), pp.212-219 (March, 2019).

  10. Hiroki Yoshikawa, Akira Uchiyama, Teruo Higashino: "Dynamic Offset Correction for Smartphone Thermal Cameras Using a Wristband Sensor", Proceedings of the 17th IEEE International Conference on Pervasive Computing and Communications Workshops, (PerCom Workshops 2019), pp.165-170 (March, 2019).

  11. Tatsuya Amano, Teruo Higashino: "Outdoor Wi-Fi RSSI Map Construction Based on Crowdsourcing and Simulation", Proceedings of the 17th IEEE International Conference on Pervasive Computing and Communications Workshops, (PerCom Workshops 2019), pp.443-444 (March, 2019).

  12. Toru Maeda, Akira Uchiyama, Teruo Higashino: "A Feasibility Study on Battery-Less Travel Context Estimation Using Ambient Backscatter", Proceedings of the 17th IEEE International Conference on Pervasive Computing and Communications Workshops, (PerCom Workshops 2019), pp.664-669 (March, 2019).

  13. Sunyanan Choochotkaew, Hirozumi Yamaguchi, Teruo Higashino: "Automatic Deadline-Oriented Sampling Method for Coarse-Grained Stream Processing.", Proceedings of the 17th IEEE International Conference on Pervasive Computing and Communications Workshops, (PerCom Workshops 2019), pp.790-795 (March, 2019).

  14. Yoshiki Honda, Hirozumi Yamaguchi, Teruo Higashino: "Daily Activity Recognition based on Markov Logic Network for Elderly Monitoring", Proceedings of the 16th IEEE Annual Consumer Communications & Networking Conference (CCNC 2019), pp.1-6 (Jan., 2019).

  15. Tatsuya Amano, Shugo Kajita, Hirozumi Yamaguchi, Teruo Higashino, Mineo Takai: "VRing: Bring Your Mobile App to Virtual Space", Proceedings of the 2018 ACM International Joint Conference and 2018 International Symposium on Pervasive and Ubiquitous Computing and Wearable Computers (UbiComp/ISWC 2018 Adjunct), pp.327-330 (Oct., 2018).

  16. Tatsuya Amano, Shugo Kajita, Hirozumi Yamaguchi, Teruo Higashino, Mineo Takai: "Smartphone Applications Testbed Using Virtual Reality", Proceedings of the 15th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (MobiQuitous 2018), pp.422-431 (Nov., 2018).

  17. Teruhiro Mizumoto, Khaled El-Fakih, Keiichi Yasumoto, Teruo Higashino: "An Energy Aware Testing Framework for Smart-Spaces", Proceedings of the 30th IFIP WG 6.1 International Conference on Testing Software and Systems (ICTSS 2018), pp.85-101 (Oct., 2018).

  18. Yusuke Hara, Akira Uchiyama, Takaaki Umedu, Teruo Higashino: "Sidewalk-level People Flow Estimation Using Dashboard Cameras Based on Deep Learning", Proceedings of the 11th International Conference on Mobile Computing and Ubiquitous Network (ICMU 2018), pp.1-6 (Oct., 2018).

  19. Katsuya Ogura, Yuma Yamada, Shugo Kajita, Hirozumi Yamaguchi, Teruo Higashino, Mineo Takai: "Ground Object Recognition from Aerial Image-based 3D Point Cloud", Proceedings of the 11th International Conference on Mobile Computing and Ubiquitous Network (ICMU 2018), pp.1-8 (Oct., 2018).

  20. Zhishu Shen, Atsushi Tagami, Teruo Higashino: "An Efficient Data Processing Scheme for Wireless Sensor Network Monitoring Using a Machine Learning Model", Proceedings of the 11th International Conference on Mobile Computing and Ubiquitous Network (ICMU 2018), pp.1-4 (Oct., 2018).

  21. Sunyanan Choochotkaew, Hirozumi Yamaguchi, Teruo Higashino: "A Motivation-based Partnership Decision Model on Event-Stream Knowledge in Real-time Business", Proceedings of the 11th International Conference on Mobile Computing and Ubiquitous Network (ICMU 2018), pp.1-6 (Oct., 2018).

  22. Sunyanan Choochotkaew, Hirozumi Yamaguchi, Teruo Higashino: "BALANCE: A Robust Routing Protocol in Self-Organized Civilian DTN", Proceedings of the 14th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob 2018), pp.1-8 (Oct., 2018).

  23. Tomoki Imai, Akira Uchiyama, Takuya Magome, Teruo Higashino: "Play Recognition Using Soccer Tracking Data Based on Machine Learning", Proceedings of the 21st International Conference on Network-Based Information Systems (NBiS-2018), pp.875-884 (Sept., 2018).

  24. Yuta Fukushima, Daiki Miura, Takashi Hamatani, Hirozumi Yamaguchi, Teruo Higashino: "MicroDeep: In-network Deep Learning by Micro-Sensor Coordination for Pervasive Computing", Proceedings of the 2018 IEEE International Conference on Smart Computing (SMARTCOMP 2018), pp.163-170 (June, 2018).

  25. Teruo Higashino, Hirozumi Yamaguchi, Akihito Hiromori, Akira Uchiyama and Takaaki Umedu: "Re-thinking: Design and Development of Mobility Aware Applications in Smart and Connected Community Research", Proceedings of the 38th IEEE International Conference on Distributed Computing Systems (ICDCS 2018), pp.1171-1179 (June, 2018).

  26. Nathavuth Kitbutrawat, Shugo Kajita, Hirozumi Yamaguchi, Teruo Higashino: Location Identification of BLE-Embedded HVACs for Smart Building Management. Intelligent Environments 2018: 79-82 Proceedings of the 4th International Conference on Intelligent Environments (IE 2018), pp.79-82 (June, 2018).

  27. Ryosuke Narimoto, Shugo Kajita, Hirozumi Yamaguchi, Teruo Higashino: "Wayfinding Behavior Detection by Smartphone", Proceedings of the 32nd IEEE International Conference on Advanced Information Networking and Applications (AINA 2018), pp.488-495 (May, 2018).

  28. Zhishu Shen, Kenji Yokota, Jiong Jin, Atsushi Tagami, Teruo Higashino: "In-network Self-Learning Algorithms for BEMS Through a Collaborative Fog Platform", Proceedings of the 32nd IEEE International Conference on Advanced Information Networking and Applications (AINA 2018), pp.1162-1169 (May, 2018).

  29. Moustafa Elhamshary, Moustafa Youssef, Akira Uchiyama, Hirozumi Yamaguchi and Teruo Higashino: "CrowdMeter: Congestion Level Estimation in Railway Stations Using Smartphones", Proceedings of the 16th IEEE International Conference on Pervasive Computing and Communication (PerCom 2018), pp.1-12 (March 2018).

  30. Sunyanan Choochotkaew, Hirozumi Yamaguchi, Teruo Higashino, Dominik Schäfer, Janick Edinger, Christian Becker: "Self-adaptive Resource Allocation for Continuous Task Offloading in Pervasive Computing", Proceedings of the 2018 IEEE International Conference on Pervasive Computing and Communications Workshops, pp.663-668 (March 2018).

  31. Zhishu Shen, Kenji Yokota, Atsushi Tagami, Teruo Higashino: "Development of Energy-efficient Sensor Networks by Minimizing Sensors Numbers with a Machine Learning Model", Proceedings of the 2018 IEEE International Conference on Pervasive Computing and Communications Workshops, pp.741-746 (March 2018).

  32. Hirozumi Yamaguchi, Akihito Hiromori, Teruo Higashino: "A human tracking and sensing platform for enabling smart city applications", Proceedings of the Workshop Program of the 19th International Conference on Distributed Computing and Networking (CDCN Workshops 2018), pp.13:1-13:6 (Jan., 2018).

  33. Tomoki Irnai, Akira Uchiyama, Takuya Magome, Teruo Higashino: "Play recognition using spatio-temporal relationship of football tracking data", Proceedings of the 10th International Conference on Mobile Computing and Ubiquitous Network (ICMU 2017), pp.1-2 (2017).

  34. Yusuke Nishimura, Tatsuaki Osafune, Seiya Kato, Akihito Hiromori, Hirozumi Yamaguchi and Teruo Higashino: "Vehicle Proximity Awareness by Inter-Vehicle Communication for Surface Mine Operation Safety",Proceedings of the IEEE 85th Vehicular Technology Conference (VTC Spring 2017), pp.1-7 (June 2017).

  35. Tatsuya Amano, Shugo Kajita, Hirozumi Yamaguchi, Teruo Higashino and Mineo Takai: "A Crowdsourcing and Simulation based Approach for Fast and Accurate Wi-Fi Radio Map Construction in Urban Environment", Proceedings of the IFP Networking Conference (Networking 2017), pp.1-9 (June 2017).

  36. Sunyanan Choochotkaew, Hirozumi Yamaguchi, Teruo Higashino, Megumi Shibuya and Teruyuki Hasegawa: "EdgeCEP: Fully-distributed Complex Event Processing on IoT Edges", Proceedings of the 13th International Conference on Distributed Computing in Sensor Systems (DCOSS 2017), pp.121-129 (June 2017).

  37. Nathavuth Kitbutrawat, Hirozumi Yamaguchi and Teruo Higashino: "Localization of Binary Motion Sensors in House", Proceedings of the 13th International Wireless Communications and Mobile Computing Conference (IWCMC 2017), pp.1132-1137 (June 2017).

  38. Teruo Higashino, Hirozumi Yamaguchi, Akihito Hiromori, Akira Uchiyama, Keiichi Yasumoto: "Edge Computing and IoT Based Research for Building Safe Smart Cities Resistant to Disasters", Proceedings of the 37th IEEE International Conference on Distributed Computing Systems (ICDCS 2017),pp.1729-1737 (June 2017).

  39. Takashi Hamatani, Moustafa Elhamshary, Akira Uchiyama, Teruo Higashino: "Poster: Smartwatch Knows How Much You Drink", Proceedings of the 15th Annual International Conference on Mobile Systems, Applications, and Services (MobiSys 2017), (June 2017). (Poster)

  40. Sohei Kojima, Akira Uchiyama, Akihito Hiromori, Hirozumi Yamaguchi and Teruo Higashino: "Crowd and Event Detection by Fusion of Camera Images and Micro Blogs", Proceedings of the 2017 IEEE International Conference on Pervasive Computing and Communications Workshops (PerCom Workshops, CASPer2017), pp.213-218 (March 2017).

  41. Takashi Hamatani, Akira Uchiyama, Teruo Higashino: "HeatWatch: Preventing Heatstroke Using a Smart Watch", Proceedings of the 2017 IEEE International Conference on Pervasive Computing and Communications Workshops (PerCom Workshops, WristSense’17), pp.661-666 (March 2017).

  42. Yoshiaki Adachi, Hirozumi Yamaguchi, Teruo Higashino and Takaaki Umedu: "Cloud-assisted Dynamic Content Sharing among Vehicles", 2016 IEEE International Conference on Computer and Information Technology (CIT 2016), pp.1-8 (Dec., 2016). (Best Paper Award)

  43. Keita Nakahara, Hirozumi Yamaguchi and Teruo Higashino: "In-home Activity and Micro-motion Logging Using Mobile Robot with Kinect", Adjunct Proceedings of the 13th International Conference on Mobile and Ubiquitous Systems: Computing Networking and Services (MUSICAL2016), pp.106-111 (Nov., 2016).

  44. Shugo Kajita, Hirozumi Yamaguchi, Teruo Higashino and Mineo Takai: "Wi-Fi Channel Selection Based on Urban Interference Measurement", Proceedings of the 13th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (Mobiquitous 2016), pp.143-150 (Nov., 2016).

  45. Masao Chiguchi, Hirozumi Yamaguchi, Teruo Higashino and Yoshiyuki Shimoda: "Human Thermal Comfort Estimation in Indoor Space by Crowd Sensing", Proceedings of the 2016 IEEE International Conference on Smart Grid Communications (SmartGridComm 2016), (Nov., 2016).

  46. Takashi Hamatani, Yudai Sakaguchi, Akira Uchiyama, Teruo Higashino: "Player Identification by Motion Features in Sport Videos Using Wearable Senosors", Proceedings of the 2016 9th International Conference on Mobile Computing and Ubiquitous Networking (ICMU 2016), (Oct., 2016).

  47. Yuma Yamada, Akira Uchiyama, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino: "Travel estimation using Control Signal Records in cellular networks and geographical information", Proceedings of the 9th IFIP Wireless and Mobile Networking Conference (WMNC 2016), pp.138-144 (July 2016).

  48. Atsushi Fujita, Hirozumi Yamaguchi, Teruo Higashino, Mineo Takai: "A study on identification of laser-tracked vehicles using V2V-based velocity information", Proceedings of the 17th IEEE International Symposium on A World of Wireless, Mobile and Multimedia Networks (WoWMoM 2016), pp.1-6 (June 2016).

  49. Moustafa Elhamshary, Moustafa Youssef, Akira Uchiyama, Hirozumi Yamaguchi, Teruo Higashino: "TransitLabel: A Crowd-Sensing System for Automatic Labeling of Transit Stations Semantics", Proceedings of the 14th Annual International Conference on Mobile Systems, Applications, and Services (MobiSys 2016), pp.193-206 (June 2016).

  50. Moustafa Elhamshary, Moustafa Youssef, Akira Uchiyama, Hirozumi Yamaguchi, Teruo Higashino: "Activity recognition of railway passengers by fusion of low-power sensors in mobile phones", Proceedings of the 23rd SIGSPATIAL International Conference on Advances in Geographic Information Systems (SIGSPATIAL/GIS 2015), pp.57:1-57:2 (Nov. 2015).

  51. Shoko Nakamura, Saeko Shigaki, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino:"A model-based approach to support smart and social home living", Proceedings of the 2015 ACM International Joint Conference on Pervasive and Ubiquitous Computing (UbiComp 2015), pp.1101-1105 (Sept., 2015).

  52. 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", Proceedings of the 8th International Conference on Mobile Computing and Ubiquitous Networking (ICMU 2015), pp.185-190 (Jan. 2015).

  53. 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", Proceedings of IFIP/IEEE International Symposium on Integrated Network Management (IM 2015), pp.1047-1052 (May 2015).

  54. Kazuhisa Fujita, Takamasa Higuchi, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino, Shinji Shimojo:"Human crowd detection for physical sensing assisted geo-social multimedia mining",Proceedings of 2015 IEEE Conference on Computer Communications Workshops (INFOCOM Workshops 2015), pp.642-647 (April 2015).

  55. Takamasa Higuchi, Hirozumi Yamaguchi, Teruo Higashino:"Tracking motion context of railway passengers by fusion of low-power sensors in mobile devices", Proceedings of the 2015 ACM International Symposium on Wearable Computers (ISWC 2015), pp.163-170 (Sept. 2015).

  56. Takamasa Higuchi, Hiroki Iwahashi, Hirozumi Yamaguchi, Teruo Higashino:"TweetGlue: Leveraging a crowd tracking infrastructure for mobile social augmented reality", Proceedings of the International Wireless Communications and Mobile Computing Conference (IWCMC 2015), pp.1030-1035 (Aug. 2015).

  57. Takashi Hamatani, Akira Uchiyama, Teruo Higashino:"Real-Time Calibration of a Human Thermal Model with Solar Radiation Using Wearable Sensors", Proceedings of the 2015 workshop on Wearable Systems and Applications (WearSys 2015), pp.45-50 (May 2015).

  58. Akira Uchiyama, Kazumasa Kitada, Teruo Higashino:"A Scheduling Algorithm of Cell Zooming for Energy Efficiency in Disasters", Proceedings of the 13th ACM International Symposium on Mobility Management and Wireless Access (MobiWac 2015), pp.63-68 (Nov. 2015).

  59. 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", Proceedings of the 2015 IEEE 18th International Conference on Intelligent Transportation Systems (ITSC 2015), pp.2268-2273 (Nov. 2015).

  60. 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", Proceedings of IFIP Wireless and Mobile Networking Conference (WMNC 2015), pp.223-226 (Nov. 2015).

  61. Takumi Satoh, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino:"A novel estimation method of road condition for pedestrian navigation", Proceedings of the 2015 IEEE International Conference on Pervasive Computing and Communication Workshops (PerCom Workshops 2015), pp.427-432 (March 2015).

  62. Takashi Hamatani, Akira Uchiyama, Teruo Higashino:"Estimating core body temperature based on human thermal model using wearable sensors", Proceedings of the 30th Annual ACM Symposium on Applied Computing (SAC 2015), pp.521-526 (April 2015).

  63. Sunyanan Choochotkaew, Hirozumi Yamaguchi, Teruo Higashino, Megumi Shibuya:"Requirement-based prioritization system in multi-user IoT", Proceedings of the 2nd IEEE World Forum on Internet of Things (WF-IoT 2015), pp.122-127 (Dec. 2015).

  64. Yuki Maekawa, Akira Uchiyama, Hirozumi Yamaguchi, Teruo Higashino:"Car-level congestion and position estimation for railway trips using mobile phones", Proceedings of the 2014 ACM Conference on Ubiquitous Computing (UbiComp 2014), pp.939-950 (Sept. 2014).

  65. Takamasa Higuchi, Hirozumi Yamaguchi, Teruo Higashino, Mineo Takai:"A neighbor collaboration mechanism for mobile crowd sensing in opportunistic networks", Proceedings of the IEEE International Conference on Communications (ICC 2014), pp.42-47 (June 2014).

  66. Tomoyuki Tange, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino, Takaaki Umedu:"An analysis model of queue length fluctuation at signals using vehicle trajectories", Proceedings of the International Conference on Connected Vehicles and Expo (ICCVE 2014), pp.577-583 (Nov. 2014).

  67. Tomohiro Nishimura, Takamasa Higuchi, Hirozumi Yamaguchi, Teruo Higashino:"Detecting smoothness of pedestrian flows by participatory sensing with mobile phones", Proceedings of the 2014 ACM International Symposium on Wearable Computers (ISWC 2014), pp.15-18 (Sept. 2014).

  68. Takumi Takafuji, Kazuhisa Fujita, Takamasa Higuchi, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino:"Indoor Localization Utilizing Tracking Scanners and Motion Sensors",Proceedings of the 2014 IEEE 11th Intl Conf on Ubiquitous Intelligence and Computing and 2014 IEEE 11th Intl Conf on Autonomic and Trusted Computing and 2014 IEEE 14th Intl Conf on Scalable Computing and Communications and Its Associated Workshops (UIC/ATC/ScalCom 2014), pp.112-119 (Dec. 2014).

  69. 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

  70. Hirozumi Yamaguchi, Akihito Hiromori, Teruo Higashino, ShigekiUmehara, Hirofumi Urayama, Masaya Yamada, Taka Maeno, Shigeru Kanedaand Mineo Takai :"A Novel Scheduling Algorithm for Densely-Deployed Wireless Stations in Urban Areas",Proceedings of the 16th ACM International Conference on Modeling,Analysis and Simulation of Wireless and Mobile Systems, pp. 317-326, (Nov., 2013).

  71. Yuma Akai, Akihito Hiromori, Takaaki Umedu, Hirozumi Yamaguchi andTeruo Higashino :"Mitigating Location and Speed Errors in Floating Car Data using Context-based Accuracy Estimation",Proceedings of the 13th International Conference on ITS Telecommunications, (Nov., 2013).

  72. Akira Uchiyama, Etsuko Katsuda, Yuki Uejima, Hirozumi Yamaguchiand Teruo Higashino :"GPS Line-Of-Sight Fingerprinting for Enhancing Location Accuracy in Urban Areas",Proceedings of the 4th International Conference on Indoor Positioningand Indoor Navigation, pp. 827-830, (Oct., 2013).

  73. Yusuke Wada, Takamasa Higuchi, Hirozumi Yamaguchi and TeruoHigashino :"Accurate Positioning of Mobile Phones in a Crowd using Laser Range Scanners",Proceedings of the IEEE 9th International Conference on Wireless and Mobile Computing, Networking and Communications, pp.430-435, (Oct., 2013).

  74. Akihito Hiromori, Hirozumi Yamaguchi and Teruo Higashino :"Sensor Placement Optimization Method for People Tracking",Proceedings of the 7th International Conference on Next Generation Mobile Applications, Services, and Technologies 2013, pp.62-67, (Sep., 2013).

  75. Shunsuke Mori, Takaaki Umedu, Akihito Hiromori, Hirozumi Yamaguchiand Teruo Higashino :"Data-Centric Programming Environment for Cooperative Applications in WSN",Proceedings of the IFIP/IEEE International Symposium on Integrated Network Management, pp. 856-859, (May, 2013).

  76. Youngtae Noh, Hirozumi Yamaguchi, Uichin Lee, Prerna Vij, JoshuaJoy and Mario Gerla :"CLIPS: Infrastructure-free Collaborative Indoor Positioning Scheme for Time-critical Team Operations",Proceedings of the 11th Annual IEEE International Conference on Pervasive Computing and Communications, pp. 171-177, (Mar. 2013).

  77. Shunsuke Mori, Yu-Chih Wang, Takaaki Umedu, Akihito Hiromori,Hirozumi Yamaguchi and Teruo Higashino :"Design and Architecture of Cloud-based Mobile Phone Sensing Middleware",Proceedings of the 2nd IEEE Symposium on Network Cloud Computing and Applications, pp. 102-109, (Dec. 2012).

  78. Masaki Inokuchi, Takamasa Higuchi, Hirozumi Yamaguchi and TeruoHigashino :"Autonomous Recognition of Emergency Site by Wearable Sensors",Proceedings of the 10th IEEE International Conference on Cyber, Physical and Social Computing, pp. 400-409, (Nov., 2012).

  79. Akira Uchiyama, Takanori Hirao, Hirozumi Yamaguchi and TeruoHigashino :"Image Sensor Communication for Patient ID Recognition Using Mobile Devices",Proceedings of the 3rd International Workshop on Sensing Applications on Mobile Phones, pp. 1-5, (Nov., 2012).

  80. Ayaka Murai, Yohei Yamaguchi, Yoshiyuki Shimoda, Takumi Kanaya, Akihito Hiromori, Hirozumi Yamaguchi and Teruo Higashino :"Evaluation Of Energy-Saving Performance of Office Building Task/Ambient Systems Considering Dynamic Worker’S Behaviour",Proceedings of the 1st Asia conference of International Building Performance Simulation Association, (Dec., 2012).

  81. Ayaka Kashiyama, Akira Uchiyama and Teruo Higashino :"Depth Limited Treatment Planning and Scheduling for Electronic TriageSystem in MCI",Proceedings of International Conference on Wireless MobileCommunication and Healthcare, pp. 224-233, (Nov., 2012).

  82. Akihito Hiromori, Takaaki Umedu, Hirozumi Yamaguchi and Teruo Higashino :"Protocol Testing and Performance Evaluation for MANETs with Non-uniform Node Density Distribution",Proceedings of the 24th IFIP International Conference on Testing Software and Systems, (Nov., 2012).

  83. Akihito Hiromori, Takumi Kanaya, Hirozumi Yamaguchi and TeruoHigashino :"Performance Evaluation of Mobility-Based Energy-Saving to Control Air-conditioning and Lighting Equipments",Proceedings of the 2nd IFIP Conference on Sustainable Internet and ICT for Sustainability, pp. 1-6, (Oct., 2012).

  84. Akihito Hiromori, Takumi Kanaya, Hirozumi Yamaguchi, Teruo Higashino, Yohei Yamaguchi, Ayaka Murai and Yoshiyuki Shimoda :"Performance evaluation of mobility-based energy-saving to control air-conditioning and lighting equipments",Proceedings of the Sustainable Internet and ICT for Sustainability, (Oct., 2012).

  85. Akihito Hiromori, Hirozumi Yamaguchi and Teruo Higashino :"Simulating CSMA/CA Behavior for Performance Evaluation of Multi-hop Wireless Networks",Proceedings of the 20th International Workshop on Quality of Service, (Jun., 2012).

  86. Takamasa Higuchi, Hirozumi Yamaguchi and Teruo Higashino :"Clearing a Crowd: Context-supported Neighbor Positioning for People-centric Navigation",Proceedings of the 10th IEEE International Conference on Pervasive Computing, (Jun., 2012).

  87. Takumi Kanaya, Akihito Hiromori, Hirozumi Yamaguchi and Teruo Higashino :"HumanS: A Human Mobility Sensing Simulator",Proceedings of the 5th IFIP International Conference on New Technologies, Mobility and Security, (May, 2012).

  88. DAIKI NOGAMI, AKIRA UCHIYAMA, YASUKI NAKATA, TERUO HIGASHINO :"Proposal of a Multi-player Simulator for Training in Electronic Triage System",Proceedings of the 10th Asia Pacific Conference on Disaster Medicine, p.215, (Aug., 2010).

  89. Teruo Higashino :"E-triage: Designing Advanced Electronic Triage System for Efficient Rescue Operations",Proc. of IEEE Int. Conf. on Advances and Emerging Trends in Computing Technology (ICAET’10), (June, 2010).

  90. Shinichi Minamimoto, Sae Fujii, Hirozumi Yamaguchi, Teruo Higashino :"Local Map Generation using Position and Communication History of Mobile Nodes",Proceedings of the 8th Annual IEEE International Conference on Pervasive Computing and Communications (IEEE PerCom 2010), pp.2-10, (Mar., 2010).

  91. Teruo Higashino, Akira Uchiyama, Keiichi Yasumoto :"eTriage: A Wireless Communication Service Platform for Advanced Rescue Operations",Proceedings of ACM Workshop on Internet of Things and Service Platforms (IoTSP 2011), (Dec., 2011).

  92. Sae Fujii, Atsushi Fujita, Takaaki Umedu, Hirozumi Yamaguchi, Teruo Higashino, Shigeru Kaneda and Mineo Takai :"Cooperative Vehicle Positioning via V2V Communications and Onboard Sensors",Proceedings of the 4th International Symposium on Wireless Vehicular Communications (WiVeC2011), (Sep., 2011).

  93. Akihito Hiromori, Hirozumi Yamaguchi, and Teruo Higashino :"A Comprehensive Test Strategy for Network Protocols in Diverse Environment",Proceedings of The 19th IEEE International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems(MASCOTS 2011), (July, 2011).

  94. Shigeto Tajima, Nobuo Funabiki, Teruo Higashino :"A Proposal of Fixed Backoff-time Switching Method by Link Activation Rate for Wireless Mesh Networks",2011 International Conference on Complex, Intelligent and Software Intensive Systems (CISIS), pp. 647-652, (June, 2011).

  95. Takamasa Higuchi, Sae Fujii, Hirozumi Yamaguchi and Teruo Higashino :"An Efficient Localization Algorithm Focusing on Stop-and-Go Behavior of Mobile Nodes",Proceedings of the 9th Annual IEEE International Conference on Pervasive Computing and Communications (PerCom2011), (Mar., 2011).

  96. Eijiro Ueno, Akihito Hiromori, Hirozumi Yamaguchi, and Teruo Higashino :"A Simple Mobility Model Realizing Designated Node Distributions and Natural Node Movement",Proceedings of 8th IEEE International Conference on Mobile Ad-hoc and Sensor Systems, (Jan., 2011).

  97. Keishi Sakanushi, Takuji Hieda, Taichiro Shiraishi,, Yasumasa Ode, Yoshinori Takeuchi, Masaharu Imai, Teruo Higashino, and Hiroshi Tanaka :"Electronic Triage System: Casualties Monitoring System in the Disaster Scene",Proceedings of First International Workshop on Smart Environments for Disaster Management (SEDM-2011), (Jan., 2011).

  98. Anuj Bajracharya, Akira Uchiyama, Akihito Hiromori, Hirozumi Yamaguchi and Teruo Higashino :"Implementation of a Data Collection Mechanism in Electronic Triage System using Wireless Sensor Devices",Proceedings of the 6th IEEE International Workshop on Practical Issues in Building Sensor Network Applications(SenseApp2011), (Jan., 2011).

  99. Sae Fujii, Takashi Nomura, Takaaki Umedu, Hirozumi Yamaguchi and Teruo Higashino :"Real-time Trajectory Estimation in Mobile Ad Hoc Networks",Proceedings of the 12-th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWiM 2009), (Oct. 2009).

  100. Masaya Ohmori, Takaaki Umedu and Teruo Higashino :"Adaptive Location Based TDM Protocol for Inter-Vehicle Communication",Proceedings of the 1st IEEE Vehicular Networking Conference (IEEE VNC 2009), (Oct., 2009).

  101. Tomoya Kitani, Keisuke Nishi and Teruo Higashino :"An Algorithm for Assigning Real-time Tasks with Timing Constraints into Dynamically Reconfigurable Processor",Proceedings of the 3rd International Workshop on Infomatics (IWIN 2009), (Sept., 2009).

  102. Tomoya Kitani, Ryo Nakahashi, Khaled El-Fakih and Teruo Higashino :"Optimal Assignment of Periodic Real-time Systems into Dynamically Reconfigurable Processors",Proceedings of the 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2009), (Aug. 2009).

  103. Junji Hamada, Akira Uchiyama, Hirozumi Yamaguchi, Shinji Kusumoto and Teruo Higashino :"Self-Estimation of Neighborhood Density for Mobile Wireless Nodes",Proceedings of the Sixth International Conference on Ubiquitous Intelligence and Computing (UIC-09), pp.178-192 (July 2009).

  104. Keisuke Nakata, Kumiko Maeda, Takaaki Umedu,Akihito Hiromori, Hirozumi Yamaguchi and Teruo Higashino :"Modeling and Evaluation of Rescue Operations usingMobile Communication Devices",Proceedings of the 23rd ACM/IEEE/SCS Workshop on Principles of Advanced and Distributed Simulation (PADS 2009), pp.64-71 (June 2009).

  105. Yuki Sakai, Akihito Hiromori, Hirozumi Yamaguchi, Khaled El-Fakihand Teruo Higashino :"An Integrated Tool for Development of Overlay Services",Proceedings of the 2nd International Conference on SimulationTools and Techniques (SIMUTOOLS 2009), (March 2009).

  106. Kazushi Ikeda, Shunsuke Mori, Yuya Ota, Takaaki Umedu, Akihito Hiromori, Hirozumi Yamaguchi and Teruo Higashino :"D-sense: An Integrated Environment for Algorithm Design and Protocol Implementation in Wireless Sensor Networks",Proceedings of the 11th IFIP/IEEE International Conference on Management of Multimedia and Mobile Networks and Services (MMNS 2008),pp.20-32 (Sept. 2008).

  107. Akira Uchiyama, Sae Fujii, Takaaki Umedu, Hirozumi Yamaguchi andTeruo Higashino :"Neighbor Selection Algorithm for Ad hoc Networks with Highly Dynamic Urban Mobility",Proceedings of IEEE International Wireless Communications and Mobile Computing Conference 2008 (IWCMC 2008), pp.165-170 (Aug. 2008).

  108. Kumiko Maeda, Keisuke Nakata, Takaaki Umedu, Hirozumi Yamaguchi, Keiichi Yasumoto and Teruo Higashino :"Hybrid Testbed Enabling Run-time Operations for Wireless Applications",Proceedings of the 22nd ACM/IEEE/SCS Workshop on Principles of Advanced and Distributed Simulation (PADS 2008), pp.135-143(June 2008).

  109. Thilmee M. Baduge, Kazushi Ikeda, Hirozumi Yamaguchi and Teruo Higashino"Stability Oriented Overlay Multicast for Multimedia Streaming in Multiple Source Context",Proceedings of the 2008 IEEE International Conference on Communications (ICC 2008), pp.5708-5714(May 2008).

  110. Tomoya Kitani, Nobuo Funabiki, Hirozumi Yamaguchi and Teruo Higashino"Hierarchical Logical Topology in WDM Ring Networks with Limited ADM'',Proceedings of the IFIP Networking 2008 (Networking 2008),pp.326-337 (May 2008).

  111. Tomoya Kitani, Takashi Shinkawa, Naoki Shibata, Keiichi Yasumoto, Minoru Ito and Teruo Higashino :"Efficient VANET-based Traffic Information Sharing using Buses on Regular Routes",Proceedings of the 2008 IEEE 67th Vehicular Technology Conference (VTC2008-Spring), pp.3031-3036(May 2008).

  112. Masatoshi Nakamura, Hiroaki Urabe, Akira Uchiyama, Takaaki Umedu and Teruo Higashino :"Realistic Mobility Aware Information Gathering in Disaster Areas",Proceedings of the IEEE Wireless Communications and Networking Conference2008 (WCNC 2008), pp.3267-3272 (April 2008).

  113. Sae Fujii, Akira Uchiyama, Takaaki Umedu, Hirozumi Yamaguchi and Teruo Higashino :"An Off-line Algorithm to Estimate Trajectories of Mobile Nodes Using Ad-hoc Communication",Proceedings of the Sixth Annual IEEE International Conference on Pervasive Computing and Communications (PerCom 2008), (March 2008).

  114. Takurou Sakai Akira Uchiyama Yoshitaka Nakamura and Teruo Higashino :"Certification of Secure Encounter History Among Low Power Mobile Sensors",Short Paper Proceedings of the 4th Annual IFIP WG 11.9 International Conference on Digital Forensics (ICDF2008), (Jan. 2008).

  115. Kazuhiro Nakanishi, Takaaki Umedu, Teruo Higashino, Hiroko Mori and Hironobu Kitaoka :"Synthesizing Realistic Vehicular Mobility for Precise Simulation of Inter-vehicle Communication",Proceedings of the 2nd IEEE Workshop on Automotive Networking and Applications (AutoNet 2007), (Dec. 2007).

  116. Takeshi Fujiki, Masayuki Kirimura, Takaaki Umedu and Teruo Higashino : "Efficient acquisition of local traffic information using inter-vehicle communication with queries", Proceedings of the 10th IEEE International Conference on Intelligent TransportationSystems (ITSC 2007), pp.241-246 (Sept. 2007).

  117. Shigeto Tajima, Teruo Higashino, Nobuo Funabik and Toru Nakanishi :"A WDS Clustering Algorithm for Wireless Mesh Networks",Proceedings of the 4th International Conference on Wireless andOptical Communications Networks (WOCN 2007), (July 2007).

  118. Kazushi Ikeda, Thilmee M. Baduge, Takaaki Umedu, Hirozumi Yamaguchi and Teruo Higashino :"A Middleware for Implementation and Evaluation of Application LayerMulticast Protocols in Real Environments",Proceedings of the 17th International Workshop on Network and Operating Systems Support for Digital Audio and Video (NOSSDAV 2007), (June 2007).

  119. Junya Fukumoto, Hirozumi Yamaguchi and Shinji Kusumoto :"A Contact-based Hybrid Routing Strategy for Mobile Wireless Networks: Protocol Design and Applications",IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (IEEE WoWMoM2007), (June 2007).

  120. Kazuki Konishi, Hirozumi Yamaguchi and Teruo Higashino :"Efficient Parallel Simulation of Mobile Wireless Networks byRun-time Prediction of Multi-hop Propagation Delay",Proceedings of the 3rd International Conference on Testbeds and Research Infrastructures for the Development of Networks and Communities (TridentCom 2007), (May 2007).

  121. Akira Uchiyama, Sae Fujii, Kumiko Maeda, Takaaki Umedu,Hirozumi Yamaguchi and Teruo Higashino :"Ad-hoc Localization in Urban District",Proceedings of the 26th Annual IEEE Conference on Computer Communications(INFOCOM 2007 Mini-Symp.), CD-ROM (May 2007).

  122. Akiko Yamasaki, Hirozumi Yamaguchi, Shinji Kusumoto and Teruo Higashino :"Mobility-aware Data Management on Mobile Wireless Networks",Proceedings of the IEEE 65th Vehicular Technology Conference VTC2007-Spring,(April 2007).

  123. Kumiko Isu, Takaaki Umedu, Teruo Higashino and C K Toh :"Detecting Dangerous Vehicles on Intelligent Transportation Systems",Proceedings of the 1st IEEE Workshop on Automotive Networking andApplications (AutoNet 2006), pp.17-22 (Dec. 2006).

  124. Naoki Shibata, Takashi Terauchi, Tomoya Kitani, Keiichi Yasumoto,Minoru Ito and Teruo Higashino :"A Method for Sharing Traffic Jam Information using Inter-Vehicle Communication",Proceedings of the 2nd International Workshop on Vehicle-to-Vehicle Communications 2006(V2VCOM 2006), CD-ROM (July 2006). (Invited Paper)

  125. Tadaaki Tanimoto, Seiji Yamaguchi, Akio Nakata and Teruo Higashino :"A Real Time Budgeting Method for Module-Level-Pipelined Bus Based System using Bus Scenarios",Proceedings of the 43rd ACM/IEEE Design Automation Conference (DAC-2006),pp.37-42 (July 2006).

  126. Weihua Sun, Hirozumi Yamaguchi, Koji Yukimasa and Shinji Kusumoto : "GVGrid: A QoS Routing Protocol for Vehicular Ad Hoc Networks", Proceedings of the 14th IEEE Int. Workshop on Quality of Service (IWQoS 2006), pp.130-139 (June 2006).

  127. Weihua Sun, Hirozumi Yamaguchi and Shinji Kusumoto : "A Study on Performance Evaluation of Real-time Data Transmission on Vehicular Ad Hoc Networks", Proceedings of the 2006 International Workshop on Future Mobile and Ubiquitous Information Technologies (FMUIT'06), CD-ROM (May 2006).

  128. Makoto Enomoto, Naoki Shibata, Keiichi Yasumoto, Minoru Ito and Teruo Higashino :"A Demand-Oriented Information Retrieval Method on MANET",Proceedings of the 2006 International Workshop on Future Mobile and Ubiquitous Information Technologies (FMUIT'06), CD-ROM (May 2006).

  129. Shigeto Tajima, Nobuo Funabiki, Teruo Higashino and Shoji Yoshida :"An Internet Gateway Access-Point Selection Problem for Wireless Infrastructure Mesh Networks",Proceedings of the 2006 International Workshop on Future Mobile and Ubiquitous Information Technologies (FMUIT'06) , CD-ROM (May 2006).

  130. Yoshitaka Nakamura, Hirozumi Yamaguchi and Teruo Higashino :"Maximizing User Gain in Multi-flow Multicast Streaming on Overlay Networks",Proceedings of the 2006 International Workshop on Future Mobile and Ubiquitous Information Technologies (FMUIT'06) , CD-ROM (May 2006).

  131. Takashi Shinkawa, Takashi Terauchi, Tomoya Kitani, Naoki Shibata, Keiichi Yasumoto, Miroru Ito and Teruo Higashino :"A Technique for Information Sharing Using Inter-Vehicle Communication with Message Ferrying",Proceedings of the 2006 International Workshop on Future Mobile and Ubiquitous Information Technologies (FMUIT'06) , CD-ROM (May 2006).

  132. Akira Uchiyama, Takaaki Umedu, Keiichi Yasumoto and Teruo Higashino :"Efficient and Robust Distributed Network Monitoring using Dynamic Group Formation",Proceedings of the 10th IEEE/IFIP Network Operations and Management Symposium(NOMS 2006), CD-ROM (April 2006).

  133. Takaaki Umedu, Hiroaki Urabe, Jun Tsukamoto, Kazuki Sato and Teruo Higashino :"A MANET Protocol for Information Gathering from Disaster Victims",Proceedings of the 4th IEEE International Conference on Pervasive Computing and Communications Workshops (PERCOMW'06),pp.442-446 (March 2006) (Invited Paper)

  134. Megumi Isogai, Nobuo Funabiki, Toru Nakanishi, and Teruo Higashino :"A proposal of a node configuration algorithm for WDM ring networks",Proceedings of International Conference on Optical Communications and Networks(ICOCN-2005), pp. 188-191 (Dec. 2005).

  135. Teruo Higashino :"Future of Mobile and Ubiquitous Computing",Proceedings of the First International Workshop on Network Architectureand Service Models (NASM 2005),(Nov. 2005) (Keynote Speech)

  136. Teruo Higashino and Hirozumi Yamaguchi :"A Testing Architecture for Designing High-Reliable MANET Protocol",Proceedings of the 25th IFIP International Conference on Formal Techniquesfor Networked and Distributed Systems (FORTE 2005),Lecture Notes in Computer Science, Vol.3731, pp.20-23 (Oct. 2005)(Invited Paper/Keynote Speech)

  137. Kumiko Maeda, Kazuki Sato, Kazuki Konishi, Akiko Yamasaki,Akira Uchiyama, Hirozumi Yamaguchi, Keiichi Yasumoto and Teruo Higashino :"Getting Urban Pedestrian Flow from Simple Observation : Realistic Mobility Generationin Wireless Network Simulation",Proceedings of the 8th ACM/IEEE International Symposium on Modeling,Analysis and Simulation of Wireless and Mobile Systems (MSWiM2005),pp.151-158 (Oct. 2005).

  138. Kazuki Konishi, Kumiko Maeda, Kazuki Sato, Akiko Yamasaki,Hirozumi Yamaguchi, Keiichi Yasumoto and Teruo Higashino :"MobiREAL Simulator - Evaluating MANET Applications in Real Environments -",Proceedings of the 13th IEEE International Symposium on Modeling, Analysis,and Simulation of Computer and Telecommunication Systems (MASCOTS 2005),pp.499-502 (Sept. 2005).

  139. Yoshitaka Nakamura, Guiquan Ren, Masatoshi Nakamura, Takaaki Umedu, Teruo Higashino :"Personally Customizable Group Navigation System using Cellular Phones andWireless Ad-hoc Communication",Proceedings of the 2005 IEEE International Conference on Multimedia & Expo (ICME2005),CD-ROM (July 2005).

  140. Hirozumi Yamaguchi, Khaled El-Fakih, Akihito Hiromori and Teruo Higashino :"A Formal Approach to Design Optimized Service Overlay",Proceedings of the ACM 15th International Workshop on Network and Operating SystemsSupport for Digital Audio and Video (NOSSDAV 2005), pp.57-62(June 2005).

  141. Thilmee M. Baduge, Akihito Hiromori, Hirozumi Yamaguchi and Teruo Higashino :"Design and Implemetation of Overlay Multicast Protocol for Multimedia Streaming",Proceedings of the 34th International Conference on Parallel Processing (ICPP2005),pp.41-48 (June 2005).

  142. Kouji Nishigaki, Keiichi Yasumoto, Naoki Shibata, Minoru Ito and Teruo Higashino :"Framework and Rule-based Language for Facilitating Context-aware Computingusing Information Appliances",Proceedings of the First International Workshop on Services and Infrastructuresfor the Ubiquitous and Mobile Internet (SIUMI'05), pp. 345-351(May 2005).

  143. Akira Uchiyama, Takaaki Umedu, Keiichi Yasumoto and Teruo Higashino :"FLEXA: Distributed and Flexible Network Monitoring with Autonomous Group Formation",Proceedings of the 9th IFIP/IEEE International Symposium onIntegrated Network Management (IM 2005), CD-ROM(May 2005).

  144. Teruo Higashino, Hirozumi Yamaguchi, Keiichi Yasumoto and Keiichi Shimada :"Toward Future Innovation of Mobile Communication Systems- Current Requirements for Research -",Proceedings of the 2nd International Conference on Mobile Computing andUbiquitous Networking (ICMU 2005), pp.2-7 (April 2005). (Invited Paper/Keynote Speech)

  145. Thilmee Malinda Baduge, Hirozumi Yamaguchi and Teruo Higashino :"MODE for Mobile - An Efficient Overlay Multicast Protocol for Heterogeneous Users -",Proceedings of the 2nd International Conference on Mobile Computing andUbiquitous Networking (ICMU 2005),pp.96-101 (April 2005).

  146. Takaaki Umedu, Shigeharu Urata, Akio Nakata and Teruo Higashino :"Automatic Decomposition of Java Program based on Simulation andits Implementation on Mobile Terminals",Proceedings of the 19th International Conference on Advanced Information Networking and Applications (AINA2005), pp.544-549 (March 2005).

  147. Masashi Saito, Jun Tsukamoto, Takaaki Umedu and Teruo Higashino :"Evaluation of Inter-Vehicle Ad-hoc Communication Protocol",Proceedings of the 19th International Conference on Advanced Information Networking and Applications (AINA2005), pp.78-83 (March 2005). (THE HIGH HONOR PAPER AWARD)

  148. Nobuo Funabiki, Megumi Isogai, Toru Nakanishi, and Teruo Higashino :"Optical-drop wavelength assignment problem for wavelength reuse inWDM ring metropolitan area networks",Proceedings of the 19th International Conference on Advanced Information Networking and Applications (AINA2005), pp. 999-1004 (March 2005).

  149. Tomoya Kitani, Yoshifumi Takamoto, Keiichi Yasumoto, Akio Nakata and Teruo Higashino :"A Flexible and High-Reliable HW/SW Co-Design Method for Real-Time Embedded Systems",Proceedings of the 25th IEEE International Real-Time Systems Symposium(RTSS 2004), pp.437-446 (Dec. 2004).

  150. Nobuo Funabiki, Toru Nakanishi, Yoshitaka Toyota, Jun Kawashima, and Teruo Higashino :"A Minimum Dead Space Algorithm for Wavelength Reuse Problemsin WDM Ring Metropolitan Area Networks",Proceedings of International Conference on Optical Communicationsand Networks (ICOCN-2004),pp. 371-374 (Nov. 2004).

  151. Tomoya Kitani, Nobuo Funabiki and Teruo Higashino:"A Proposal of Hierarchical Chordal Ring Network Topology for WDM Networks",Proceedings of the IEEE International Conference on Networks 2004 (ICON 2004),pp.605-609 (Nov. 2004).

  152. Nobuo Funabiki, Megumi Isogai, Toru Nakanishi, and Teruo Higashino :"Compact tree plus algorithms for application-level multicastcommunications in multihome networks",Proceedings of the IEEE International Conference on Networks 2004 (ICON 2004),pp. 139-144 (Nov. 2004).

  153. Tadaaki Tanimoto, Suguru Sasaki, Akio Nakata, Teruo Higashino :"A Global Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata",Proceedings of the 2nd International Synposium on Automated Technology for Verification andAnalysis (ATVA 2004), pp.179-195 (Nov. 2004).

  154. Akira Mizumoto, Hirozumi Yamaguchi, Kenichi Taniguchi ""Cost-Conscious Geographic Multicast on MANET",Proceedings of the 1st International Conference on Sensor and Ad Hoc Communications and Networks (SECON2004), pp. 44-53 (Oct. 2004).

  155. Masashi Saito, Mayuko Funai, Takaaki Umedu and Teruo Higashino :“Inter-vehicle Ad-hoc Communication Protocol for Acquiring Local Traffic Information”,Proceedings of the 11th World Congress on ITS, Session SP05, No. 3 (CD-ROM)(Oct. 2004).

  156. Kouji Nishigaki, Keiichi Yasumoto, Takaaki Umedu, Teruo Higashino and Minoru Ito:"Middleware Providing Group Communication Facility Based on Muliti-way Synchronization for Cellular Phone Applications",Proceedings of the 4th International Workshop on Smart Appliances and Wearable Computing, pp.434-437(Mar. 2004).

  157. Hirozumi Yamaguchi, Akihito Hiromori, Teruo Higashino and Kenichi Taniguchi:"An Autonomous and Decentralized Protocol for Delay Sensitive Overlay Multicast Tree",Proceedings of the 24th IEEE International Conference on Distributed Computing Systems(ICDCS-24), pp.662-669 (Mar. 2004).

  158. Kouji Nishigaki, Keiichi Yasumoto, Takaaki Umedu, Teruo Higashino and Minoru Ito:"Middleware Providing Dynamic Group Communication Facility for Cellular Phone Applications",Proceedings of the 2004 IEEE International Conference on Mobile Data Management (MDM 2004),p.170 (Jan. 2004). (Poster)

  159. Takeshi Yamashita, Hirozumi Yamaguchi, Keiichi Yasumoto, Teruo Higashino and Kenichi Taniguchi:"Emma Middleware: An Application-level Multicast Infrastructure for Multi-party Video Communication", Proceedings of the 15th International Conference on Parallel and Distributed Computing and Systems (PDCS 2003), pp. 416-421 (Nov. 2003).

  160. Hirozumi Yamaguchi, Gregor von Bochmannand Teruo Higashino: "Decomposing Service Definition inPredicate/Transition-Nets for Designing Distributed Systems", Proceedings ofthe 23rd IFIP International Conference on Formal Techniques for Networked andDistributed Systems (FORTE 2003), pp.399-414 (Sep. 2003).

  161. Tao Sun, Keiichi Yasumoto, Masaaki Moriand Teruo Higashino: "QoS Functional Testing for Multi-media Systems",Proceedings of the 23rd IFIP International Conference on Formal Techniques forNetworked and Distributed Systems (FORTE 2003), pp.319-334 (Sep. 2003).

  162. Tomoya Kitani, Masataka Yonedu, NobuoFunabiki, Toru Nakanishi, Kiyohiko Okayama and Teruo Higashino: "A Two-stageHierarchical Algorithm for Wavelength Assignment in WDM-based BidirectionalManhattan Street Networks", Proceedings of the 11th IEEE InternationalConference on Networks (ICON 2003), pp.417-424 (Sep. 2003).

  163. Tomoya Kitani, Yoshifumi Takamoto, IsaoNaka, Keiichi Yasumoto, Akio Nakata and Teruo Higashino: "Design andImplementation of Priority Queuing Mechanism on FPGA using Concurrent PeriodicEFSMs and Parametric Model Checking", Proceedings of the 13th InternationalConference on Field Programmable Logic and Applications (FPL 2003), pp.1145-1148(Sep. 2003).

  164. Takanori Mori, Akio Nakata and TeruoHigashino: "Design of Media Synchronization Protocols using Parametric ModelChecking and Functional Testing", Proceedings of the 2003 InternationalWorkshop On Testing Real-Time and Embedded Systems (WTRTES 2003), pp.51-62(Sep. 2003).

  165. Nobuo Funabiki, Jun Kawashima, Akihito Kubo, Kiyohiko Okayama, and Teruo Higashino:"A proposal of a two-stage heuristic algorithm for peer-to-peer multicast routing problems in multihome networks",Proceedings of the Fifth Metaheuristics International Conference (MIC-2003), pp. 20-1-6(Aug. 2003).

  166. Yoshitaka Nakamura, Hirozumi Yamaguchi,Akihito Hiromori, Keiichi Yasumoto, Teruo Higashino and Kenichi Taniguchi: "OnDesigning End-user Multicast for Multiple Video Sources", Proceedings of the2003 IEEE International Conference on Multimedia & Expo (ICME2003),Vol.III, pp.497-500 (Jul. 2003).

  167. Akihito Hiromori, Hirozumi Yamaguchi,Keiichi Yasumoto, Teruo Higashino and Kenichi Taniguchi: "Reducing the Size ofRouting Tables for Large-scale Network Simulation", Proceedings of 17thWorkshop on Parallel and Distributed Simulation (PADS '03), pp.115-122 (Jun.2003).(This paper is selected as one of three best papers in this conference proceedings.)

  168. Hirozumi Yamaguchi, Cao Man Letan,Akihito Hiromori, Takeshi Yamashita, Keiichi Yasumoto, Teruo Higashino andKenichi Taniguchi: "A Receiver Coordination Protocol for the Efficient Use ofBandwidth in Distributed Multimedia Applications", Proceedings of the 5thInternational Workshop on Multimedia Network Systems and Applications(MNSA2003), pp.531-536 (May. 2003).

  169. Nobuo Funabiki,Ayako Sugano and TeruoHigashino: "A Proposal of a Minimal-state Processing Search Algorithm forIsochronous Channel Reuse Problems in DQDB Networks", Proceedings of the 2003International Conference on Advanced Information Networking and Applications(AINA-2003), pp. 229-232 (Mar. 2003).

  170. Shigeto Tajima,Nobuo Funabiki,AyakoSugano and Teruo Higashino: "A proposal of a minimal-state processing searchalgorithm for link scheduling problems in packet radio networks", Proceedingsof the 2003 International Symposium on Applications and theInternet(SAINT-2003), pp.128-135 (Jan. 2003).

  171. Takaaki Umedu, Keiichi Yasumoto, AkioNakata, Hirozumi Yamaguchi and Teruo Higashino: "Middleware for SynchronousGroup Communication in Wireless Ad Hoc Networks", Proceedings of theInternational Conference on Communications and Computer Networks 2002 (CCN2002), pp. 48-53 (Nov. 2002).

  172. Masayuki Kirimura, Yoshifumi Takamoto,Takanori Mori,Keiichi Yasumoto, Akio Nakata and Teruo Higashino: "Design andImplementation of FPGA Circuits for High Speed Network Monitors", Proceedingsof the 12th International Conference on Field Programmable Logic andApplications (FPL 2002), Lecture Notes in Computer Science, Vol.2438, pp.393-403 (Sep. 2002).

  173. Akihito Hiromori, Hirozumi Yamaguchi,Keiichi Yasumoto, Teruo Higashino and Kenichi Taniguchi: "A Server SelectionAlgorithm for Replicated Video Multicast Based on Packet Monitoring",Proceedings of the 2002 International Conference on Parallel Processing(ICPP-2002), pp. 556-563 (Aug. 2002).

  174. Takaaki Umedu, Yoshiki Terashima,Keiichi Yasumoto, Akio Nakata,Teruo Higashino and Kenichi Taniguchi: "ALanguage for Describing Wireless Mobile Applications with Dynamic Establishmentof Multi-way Synchronization Channels",Proceedings of the 11th International Conference onFormal Methods Europe (FME2002), Lecture Notes in Computer Science,Vol.2391,pp.607-624 (Jul. 2002).

  175. Nobuo Funabiki, Toru Nakanishi, TokumiYokohira, Shigeto Tajima and Teruo Higashino: "A Proposal of aEvolution Algorithm for ChannelAssignment Problems", Proceedings of IEEE 16th International Conference onInformation Networking (ICOIN-16), pp. 3C1.1-1.10 (Jan. 2002).

  176. Makoto Yamada, Takanori Mori, AtsushiFukada, Akio Nakata and Teruo Higashino: "A Method for Functional Testing ofMedia Synchronization Protocols", Proceedings of IEEE 16th InternationalConference on Information Networking(ICOIN-16), pp.539-550 (Jan. 2002).

  177. Masakazu Fujii, Nobuo Funabiki, ShigetoTajima, Akio Nakata, Tokumi Yokohira and Teruo Higashino: "An Optimal PathSelection Algorithm for Static and Mobile Multicast Routing Problems",Proceedings of IEEE 16th International Conference on InformationNetworking(ICOIN-16), pp.6B2.1-2.10 (Jan. 2002).

  178. Nobuo Funabiki,Tokumi Yokohira,ToruNakanishi,Shigeto Tajima and Teruo Higashino: "A minimal-state processing serchalgorithm for satisfiability problems", Proceedings of the InternationalConference on Systems, Man and Cybernetics, pp. 2769-2774 (Oct. 2001).

  179. Akio Nakata and Teruo Higashino: "DerivingParameter Conditions for Periodic Timed Automata Satisfying Real-Time TemporalLogic Formulas", Proceedings of 21st IFIP WG 6.1 International Conference onFormal Techniques for Networked and Distributed Systems, pp.151-166 (Aug.2001).

  180. Takaaki Umedu, Hirozumi Yamaguchi,Keiichi Yasumoto and Teruo Higashino: "Constraint-Oriented Model for DescribingDistributed Cooperative Systems and Efficient Deadlock Detection UsingSymmetries", Proceedings of 2nd International Conference on SoftwareEngineering, Artificial Intelligence, Networking & Parallel/DistributedComputing, pp.584-591 (Aug. 2001).

  181. Akihito Hiromori, Takeshi Yamashita,Hirozumi Yamaguchi, Keiichi Yasumoto, Teruo Higashino and Kenichi Taniguchi: "QualityRequirement Coordination in Rate Adaptation of Multiple Layered Video",Proceedings of 2nd International Conference on Software Engineering, ArtificialIntelligence, Networking & Parallel/Distributed Computing, pp. 540-547(Aug. 2001).

  182. Teruo Higashino, Hirozumi Yamaguchi,Akio Nakata and Keiichi Yasumoto: "Perspectives in Developing DistributedCooperative Systems", Proceedings of 2nd International Conference on SoftwareEngineering, Artificial Intelligence, Networking & Parallel/DistributedComputing, pp.xi-xix (invited paper) (Aug. 2001).

  183. Takanori Mori, Kohei Tokuda, HarumasaTada, Masahiro Higuchi and Teruo Higashino: "A method to generate conformancetest sequences for FSM with timer system call", Proceedings of 21st IFIP WG 6.1International Conference on Formal Techniques for Networked and DistributedSystems, pp.301-316 (Aug. 2001).

  184. Kozo Okano, Yuko Kitahama, AkiraKitajima, Teruo Higashino and Kenichi Taniguchi: "Formal Verification of CPU inLaboratory Work", Proceedings of 2001 International Conference on MicroelectronicSystems Education, pp.32-35 (Jun. 2001).

  185. Atsushi Fukada, Akio Nakata, JunjiKitamichi, Teruo Higashino and Ana Cavalli: "A Conformance Testing Method forCommunication Protocols Modeled as Concurrent DFSMs -Treatment ofNon-observable Non-determinism-", Proceedings of 15th International Conferenceon Information Networking (ICOIN-15), pp.155-162 (Jan. 2001).

  186. Takaaki Umedu, Hirozumi Yamaguchi,Keiichi Yasumoto and Teruo Higashino: "Protocol Synthesis from SMIL-BasedScenarios and Its Implementation in Distributed Environmen", Proceedings of15th International Conference on Information Networking (ICOIN-15), pp.163-170(Jan. 2001).

  187. Hisaaki Katagiri, Masayuki Kirimura,Keiichi Yasumoto, Teruo Higashino and Kenichi Taniguchi: "HardwareImplementation of Concurrent Periodic EFSMs", Proceedings of JointInternational Conference on 13th Formal Description Techniques and 20thProtocol Specification, Testing,and Verification (FORTE/PSTV2000), pp.285-300(Oct. 2000).

  188. Akihito Hiromori, Hirozumi Yamaguchi,Keiichi Yasumoto, Teruo Higashino and Kenichi Taniguchi: "Fast and OptimalMulticast-Server Selection Based on Receivers' Preference", Proceedings of 7thInternational Workshop on Interactive Distributed Multimedia Systems andTelecommunication Services (IDMS'2000),(LNCS 1905), pp. 40-52 (Oct. 2000).

  189. Khaled El-Fakih, Hirozumi Yamaguchi,Gregor von Bochmann and Teruo Higashino: "Automatic Derivation of Petri NetBased Distributed Specification with Optimal Allocation of Resources",Proceedings of IEEE International Conference on Automated Software Engineering2000 (ASE'2000), pp.305-308 (Sep. 2000).

  190. Hirotaka Ohtsuka, Nobuo Funabiki andTeruo Higashino: "A greedy-neural combined discrete optimization algorithm fortriangle and Kn-subgraph partition problem", World Multiconference onSystemics, Cybernetics, and Informatics, pp. 557-562 (Jul. 2000).

  191. Nobuo Funabiki and Teruo Higashino: "A greedydigital neural-network algorithm for subgraph isomorphism problems", WorldMulticonference on Systemics, Cybernetics, and Informatics, pp. 546-551 (Jul.2000).

  192. Yoshiki Terashima, Keiichi Yasumoto,Teruo Higashino, Kota Abe,Toshio Matsuura and Kenichi Taniguchi: "Extensionof SMIL with QoS Control and its Implementaion", Proceedings of 2000 IEEEInternational Conference on Multimedia and Expo (ICME2000), CD-ROM (Jul. 2000).

  193. Hisaaki Katagiri, Keiichi Yasumoto,Akira Kitajima, Teruo Higashino and Kenichi Taniguchi: "Hardware Implementationof Communication Protocols modeled by Concurrent EFSMs with Multi-waySynchronization", Proceedings of the 37th ACM/IEEE Design Automation Conference(DAC-2000), pp. 762-767 (Jun. 2000).

  194. Yoshiki Terashima, Keiichi Yasumoto,Teruo Higashino, Kota Abe,Toshio Matsuura and Kenichi Taniguchi: "Integrationof QoS Guarantees into SMIL and its Flexible Implementation", Proceedings ofEighth International Workshop on Quality of Service (IWQoS 2000), pp.164-166(Jun. 2000).

  195. Khaled El-Fakih, Hirozumi Yamaguchi,Gregor von Bochmann and Teruo Higashino: "Protocol Re-synthesis Based onExtended Petri Nets", Proceedings of International Workshop on SoftwareEngineering and Petri Nets (SEPN-2000), pp. 173-188 (Jun. 2000).

  196. Hirozumi Yamaguchi, Khaled El-Fakih,Gregor von Bochmann and Teruo Higashino: "A Petri Net Based Method for DerivingDistributed Specification with Optimal Allocation ofResources", Proceedings ofASIC International Conference on Software Engineering Applied to Networking andParallel/ Distributed Computing (SNPD'00), pp.19-26 (May. 2000).

  197. Hirozumi Yamaguchi, Keiichi Yasumoto,Teruo Higashino and Kenichi Taniguchi: "Receiver-Cooperative BandwidthManagement for Layered Multicast", Proceedings of the 1999 IEEE InternationalConference on Network Protocols (ICNP-99), pp.43-50 (Nov. 1999).

  198. Nobuo Funabiki and Teruo Higashino: "Aproposal of a two-stage discrete optimization method for the maximum clique problem",International Symposium on Nonlinear Theory and Its Applications, pp. 163-166(Nov. 1999).

  199. Teruo Higashino, Akio Nakata, KenichiTaniguchi and Ana R. Cavalli: "Generating test cases for a timed I/O automatonmodel", Proceedings of the Twelfth IFIP Workshop on Testing of CommunicatingSystems (IWTCS'99), pp. 197-214 (Sep. 1999).

  200. Kozo Okano, Satoshi Hattori, AkiraYamamoto, Teruo Higashino and Kenichi Taniguchi: "Specification of Real-timeSystems Using a Timed Automata Model with Shared Variables and Verification ofPartial-deadlock Freeness", International Workshop on Multimedia NetworkSystems (MMNS'99), pp. 576-581 (Sep. 1999).

  201. Nobuo Funabiki, Yoichi Takenaka, andTeruo Higashino: "A gradual neural network approach for broadcast scheduling inpacket radio networks", IEEE International Joint Conference on NeuralNetworks,, pp. 3952-3957 (Jul. 1999).

  202. Takashi Takenaka, Junji Kitamichi,Teruo Higashino and Kenichi Taniguchi: "Formal Design Verification forCorrectness of Pipelined Microprocessors with Out-of-order InstructionExecution", Proceedings of 1998Asia and South Pacific Design Automation Conference(ASP-DAC '98), pp.177-180 (Jan. 1999).

  203. Naoki Shibata, Kozo Okano, TeruoHigashino and Kenichi Taniguchi: "A decision algorithm for prenex normal formrational Presburger sentences by means of combinatorial geometry", Proceedingsof the 2nd Conference of the Centre for Discrete Mathematics and TheoreticalComputer Science and the 5th Australasian Theory Symposium (DMTCS'99+CATS'99),pp.344-359 (Jan. 1999).

  204. Keiichi Yasumoto, Akira Kitajima, TeruoHigashino and Kenichi Taniguchi: "Hardware synthesis from protocolspecifications in LOTOS", Proceedings of Joint International Conference on 11thFormal Description Techniques and 18th Protocol Specification, Testing, andVerification (FORTE/PSTV'98), pp.405-420 (Nov. 1998).

  205. Hiroharu Sakate, Hirozumi Yamaguchi,Keiichi Yasumoto, Teruo Higashino and Kenichi Taniguchi: "Resource Managementfor Quality of Service Guarantees in Multi-party Multimedia Application",Proceedings of the 1998 IEEE International Conference on Network Protocols(ICNP-98), pp.189-196 (Oct. 1998).

  206. Akio Nakata, Teruo Higashino andKenichi Taniguchi: "Protocol Synthesis from Context-Free Processes using EventStructures", Proceedings of IEEE 5th International Workshop on Real-TimeComputing Systems and Applications (RTCSA'98), pp.173-180 (Oct. 1998).

  207. Kota Abe, Toshio Matsuura, KeiichiYasumoto and Teruo Higashino: "Design and Implementation of an efficient I/OMethod for a Real-timeUser Level Thread Library", Proceedings of IEEE 5thInternational Workshop on Real-Time Computing Systems and Applications(RTCSA'98), pp.117-120 (Oct. 1998).

  208. Hirozumi Yamaguchi, Kozo Okano, TeruoHigashino and Kenichi Taniguchi: "Protocol Synthesis from Time Petri Net BasedService Specifications", 1997 International Conference on Parallel andDistributed Systems (ICPADS'97), pp.236-243 (Dec. 1997).

  209. Keiichi Yasumoto, Kazuhiro Gotoh,Hiroki Tatsumoto, Teruo Higashino and Kenichi Taniguchi: "Implementation ofDistributed Systems described with LOTOS Multi-rendezvous on Bus TopologyNetworks", Proceedings of Joint International Conference on 10th Formal DescriptionTechniques and 17th Protocol Specification, Testing, and Verification(FORTE/PSTV'97), pp.161-176 (Nov. 1997).

  210. Atsushi Fukada, Tadashi Kaji, TeruoHigashino, Kenichi Taniguchi and Masaaki Mori: "A Conformance Testing forCommunication Protocols Modeled as A Set of DFSMs with Common Inputs",Proceedings of the Tenth IFIP Workshop on Testing of CommunicatingSystems(IWTCS'97), pp. 239-254 (Sep. 1997).

  211. Akio Nakata, Teruo Higashino andKenichi Taniguchi: "Time-Action Alternating Model for Timed LOTOS and itsSymbolic Verification of Bisimulation Equivalence", Proceedings of JointInternational Conference on 9th Formal Description Techniques and 16th ProtocolSpecification, Testing and Verification (FORTE/PSTV'96), pp.279-294 (Oct.1996).

  212. Keiichi Yasumoto, Teruo Higashino,Toshio Matsuura and Kenichi Taniguchi: "Protocol Visualization using LOTOSMulti-Rendezvous Mechanism", Proceedings of the 1995 IEEE InternationalConference on Network Protocols (ICNP-95), pp.118-125 (Nov. 1995).

  213. Akio Nakata, Teruo Higashino andKenichi Taniguchi: "Protocol Synthesis from Timed and Structured Specifications",Proceedings of the 1995 IEEE International Conference on Network Protocols(ICNP-95), pp.74-81 (Nov. 1995).

  214. Teruo Higashino, Akio Nakata, TatsuoItoh and Kenichi Taniguchi: "Verification of Liveness Property forCommunicating FSM's with Conditional Transitions depending on State VisitingNumbers", Proceedings of the 8th International Conference on Formal DescriptionTechniques (FORTE'95), pp.433-440 (Oct. 1995).

  215. Keiichi Yasumoto, Teruo Higashino, KotaAbe, Toshio Matsuura and Kenichi Taniguchi: "A LOTOS Compiler GeneratingMulti-threaded Object Codes", Proceedings of the 8th International Conferenceon Formal Description Techniques (FORTE'95), pp.271-286 (Oct. 1995).

  216. Alexandre Petrenko, Teruo Higashino andTadashi Kaji: "Handling Redundant and Additional States in Protocol Testing",Proceedings of the Eighth IFIP Workshop on Protocol Test Systems (IWPTS'95),pp.307-322 (Sep. 1995).

  217. Hirozumi Yamaguchi, Kozo Okano, TeruoHigashino and Kenichi Taniguchi: "Synthesis of Protocol Entities'Specifications from Service Specifications in a Petri Net Model with Registers",Proceedings of the 15th IEEE International Conference on Distributed ComputingSystems (ICDCS-15), pp.510-517 (May. 1995).

  218. Xiangdong Li, Teruo Higashino, MasahiroHiguchi and Kenichi Taniguchi: "Automatic Generation of Extended UIO Sequencesfor Communication Protocols in an EFSM Model", Proceedings of the Seventh IFIPWorkshop on Protocol Test Systems (IWPTS'94), pp.225-240 (Nov. 1994).

  219. Junji Kitamichi, Sumio Morioka, TeruoHigashino and Kenichi Taniguchi: "Automatic Correctness Proof of Implementationof Synchronous Sequential Circuits Using Algebraic Approach", Proceedings ofthe Second International Conference on Theorem Provers in Circuit Design(TPCD'94), Lecture Notes in Computer Science, Vol.901,, pp.165-184 (Sep. 1994).

  220. Teruo Higashino, Keiichi Yasumoto,Junji Kitamichi and Kenichi Taniguchi: "Hardware Synthesis from a RestrictedClass of LOTOS Expressions", Proceedings of the 14th International Symposium onProtocol Specification,Testing, and Verification (PSTV-XIV), pp.379-386 (Jun.1994).

  221. Keiichi Yasumoto, Teruo Higashino andKenichi Taniguchi: "Software Process Description using LOTOS and Its Enaction",Proceedings of the 16th International Conference on Software Engineering(ICSE-16), pp.169-178 (May. 1994).

  222. Akio Nakata, Teruo Higashino andKenichi Taniguchi: "LOTOS Enhancement to Specify Time Constraints amongNon-adjacent Actions using 1st-order Logic", Proceedings of the SixthInternational Conference on Formal Description Techniques (FORTE'93),pp.451-466 (Oct. 1993).

  223. Christian Kant, Teruo Higashino andGregor von Bochmann: "Deriving Protocol Specifications from ServiceSpecifications Written in LOTOS", Proceedings of the 12th International IEEEPhoenix Conference on Computers and Communications (IPCCC-93), pp.310-318 (May.1993).

  224. Teruo Higashino, Kozo Okano, HiroshiImajo and Kenichi Taniguchi: "Deriving Protocol Specifications from ServiceSpecifications in Extended FSM Models", Proceedings of the 13th IEEEInternational Conference on Distributed Computing Systems (ICDCS-13),pp.141-148 (May. 1993).

  225. Toshio Matsuura, Tohru Nakamura, TeruoHigashino, Kenichi Taniguchi and Sumio Masuda: "VTM : A Graph Editor for LargeTrees", Proceedings of the IFIP 12th World Computer Congress, Vol.1, pp.210-216(Sep. 1992).

  226. Teruo Higashino, Gregor von Bochmann,Xiangdong Li, Keiichi Yasumoto and Kenichi Taniguchi: "A Test System for aRestricted Class of LOTOS Expressions with Data Parameters", Proceedings of theFifth IFIP Workshop on Protocol Test Systems (IWPTS'92), North Holland,pp.205-216 (Sep. 1992).

  227. Teruo Higashino, Kenichi Taniguchi,Tadao Kasami, Mamoru Fujii and Masaaki Mori: "An Algebraic Method for VerifyingProgress Property of Communication Protocols", World Scientific Series inComputer Science,Vol.31, pp.39-59 (Apr. 1991).

  228. Teruo Higashino and Kenichi Taniguchi: "ASystem for the Refinements of Algebraic Specifications and thier EfficientExecutions", Proceedings of the 24-th Hawaii International Conference on SystemSciences (HICSS-24), Vol.II, pp.186-195 (Jan. 1991).

  229. Teruo Higashino, Kiyoshi Ninomiya,Tomohisa Kimoto, Kenichi Taniguchi and Masaaki Mori: "Automated Verification ofEquivalence of Protocol Machines", Proceedings of the Ninth InternationalSymposium on Protocol Specification (PSTV-IX), Testing, and Verification,pp.235-246 (Jun. 1989).

  230. Teruo Higashino, Masahiro Higuchi,Kenichi Taniguchi, Tadao Kasami,Mamoru Fujii and Masaaki Mori: "AutomatedVerification of Token Ring LAN Protocols", Proceedings of the FirstInternational Conference on Supercomputing Systems, pp.361-368 (Dec. 1985).

Invited Talk in English

  1. Teruo Higashino: "Humans in the CPS Loop: ICT Research for Smart & Connected Communities/Health", 2020 International Conference on Advanced Computing Technology (ICACT 2020), (Jan., 2020). (Keynote Speech)

  2. Teruo Higashino: "IIoT4: Leading for Industrial IoT Revolution", The 2nd Philippine IPv6+5G Global Summit, (Sept., 2019). (Keynote Speech)

  3. Teruo Higashino: "Society 5.0: CPS Research for New Smart Society using AI, Big Data and IoT", International Conference on 9th IoTWeek 2019, (June, 2019). (Keynote Speech)

  4. Teruo Higashino: "IoT based Social CPS Research for Smart Cities Resilient to Disasters", The 3rd IEEE International Conference on Smart Computing (SMARTCOMP 2017), (May 2017). (Keynote Speech)

  5. Teruo Higashino: "IoT based Social CPS Research for Smart Cities Resilient to Disasters", The 2017 IEEE International Electrical Engineering Congress (iEECON2017), (March 2017). (Keynote Speech)

  6. Teruo Higashino and Rin-Ichiro Taniguchi: “Recent Research for Social CPS in Japan", The 6th annual NSF Cyber-Physical Systems Principal Investigators' Meeting, (Oct., 2016).

  7. Teruo Higashino: “Formal Modeling and Testing for Designing Future IoT based Systems”, The 27th International Conference on Testing Software and Systems (ICTSS2015), (Nov., 2015). (Keynote Speech)

  8. Teruo Higashino: “Edge Computing for Cooperative Real-Time Controls using Geospatial Big Data”, The 3rd Asian Workshop on Smart Sensor Systems (Mar., 2015). (Invited Talk)

  9. Teruo Higashino :"ICT Research for Constructing Disaster Resilient Urban Environments",NSF/JST Workshop: Examining and Prioritizing Collaborative ResearchOpportunities in BigData and Disaster Response (May, 2013).

  10. Teruo Higashino, Akira Uchiyama and Kenichi Yasumoto: “eTriage: A Wireless Communication Service Platform for Advanced Rescue Operations”, 2011 ACM Int. Workshop on Internet of Things and Service Platforms (2011). (Keynote Speech)

  11. Teruo Higashino: “E-triage: Designing Advanced Electronic Triage System for Efficient Rescue Operations”, IEEE Int. Conf. on Advances and Emerging Trends in Computing Technology (ICAET’10), (2010). (Keynote Speech)

  12. Teruo Higashino :"Future of Mobile and Ubiquitous Computing",Proceedings of the First International Workshop on Network Architectureand Service Models (NASM 2005),(Nov. 2005) (Keynote Speech)

  13. Teruo Higashino and Hirozumi Yamaguchi :"A Testing Architecture for Designing High-Reliable MANET Protocol",Proceedings of the 25th IFIP International Conference on Formal Techniquesfor Networked and Distributed Systems (FORTE 2005),Lecture Notes in Computer Science, Vol.3731, pp.20-23 (Oct. 2005)(Invited Paper/Keynote Speech)

  14. Teruo Higashino, Hirozumi Yamaguchi, Keiichi Yasumoto and Keiichi Shimada :"Toward Future Innovation of Mobile Communication Systems- Current Requirements for Research -",Proceedings of the 2nd International Conference on Mobile Computing andUbiquitous Networking (ICMU 2005), pp.2-7 (April 2005). (Invited Paper/Keynote Speech)

  15. Teruo Higashino, Hirozumi Yamaguchi, Akio Nakata and KeiichiYasumoto: "Perspectives in Developing DistributedCooperative Systems", Proceedings of 2nd International Conference onSoftware Engineering, Artificial Intelligence, Networking &Parallel/Distributed Computing (Aug. 2001).(Invited Paper/Keynote Speech)

Edited Books

  1. Edited by Kedar S. Namjoshi, Tomohiro Yoneda, Teruo Higashino and Yoshio Okamura :"Automated Technology for Verification and Analysis",Lecture Notes in Computer Sciences, Vol. 4762 (Oct. 2007)

  2. Edited by Teruo Higashino :"OPODIS 2004 : 8th International Conference on Principles of Distributed Systems",Lecture Notes in Computer Sciences, Vol. 3544 (Oct. 2005)

  3. Edited by T.Mizuno, N. Shiratori, T. Higashinoand A. Togashi: "Formal Description Techniques -FORTE/PSTV'97 - ", Chapman & Hall (Nov. 1997).

  4. Edited by T.Mizuno, T. Higashino and N. Shiratori:"Protocol Test Systems 7th workshop", Chapman & Hall (Jun. 1995).