Naoshi Uchihira

47 papers B 4Misc 1Journal 20Unranked 22
YearRankTypeTitle / Venue / Authors
2026 J jnl
Tacit Knowledge Management with Generative AI: Proposal of the GenAI SECI Model.
CoRR
Naoshi Uchihira
2024 J jnl
Digital Business Model Analysis Using a Large Language Model.
CoRR
Masahiro Watanabe, Naoshi Uchihira
2022 J jnl
Bayesian Optimization Methods for Inventory Control with Agent-Based Supply-Chain Simulator.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Takahiro Ogura, Haiyan Wang, Qiyao Wang, Atsuki Kiuchi, Chetan Gupta, Naoshi Uchihira
2021 — conf
Dialogue Tool for Value Creation in Digital Transformation: Roadmapping for Machine Learning Applications.
AHFE (8)
Naoshi Uchihira
2021 — conf
Service Design Based on Customer Value Classification in IoT Systems.
AHFE (8)
Sadaaki Shinjo, Naoshi Uchihira
2020 J jnl
Agricultural Knowledge Management Using Smart Voice Messaging Systems: Combination of Physical and Human Sensors.
CoRR
Naoshi Uchihira, Masami Yoshida
2020 B conf
Smart SE: Smart Systems and Services Innovative Professional Education Program.
COMPSAC
Hironori Washizaki, Kenji Tei, Kazunori Ueda, Hayato Yamana, Yoshiaki Fukazawa, Shinichi Honiden, Shoichi Okazaki, Nobukazu Yoshioka, Naoshi Uchihira
2019 J jnl
Balancing the trade-off between accuracy and interpretability in software defect prediction.
Empir. Softw. Eng.
Toshiki Mori, Naoshi Uchihira
2018 B conf
Information Supervisory Control of Human Behavior - A Formal Model and Simulation.
SMC
Kunihiko Hiraishi, Naoshi Uchihira, Sunseong Choe, Koichi Kobayashi
2017 B conf
Game theoretical modeling of information supervisory control.
SMC
Yasuo Sasaki, Naoshi Uchihira
2017 — conf
Information supervisory control of human behavior - Experiments and formal modeling.
ASCC
Kunihiko Hiraishi, Naoshi Uchihira, Sunseong Choe, Koichi Kobayashi
2017 — conf
Model-based approach to analysis of human behavior with applications to nursing and caregiving services.
GCCE
Koichi Kobayashi, Kunihiko Hiraishi, Sunseong Choe, Naoshi Uchihira
2016 — conf
How can we get "lessons learned" from real cases?
WESE
Kenji Hisazumi, Shigeru Ishida, Mitsuhiro Matsuda, Yukihiro Mihara, Naoshi Uchihira
2016 — conf
Innovation design and its verification & validation in the era of the Internet of Things.
GCCE
Naoshi Uchihira
2014 — conf
A Pilot Study in Using a Smart Voice Messaging System to Create a Reflection-in-Caregiving Workshop.
HCI (6)
Taro Sugihara, Yuji Hirabayashi, Kentaro Torii, Tetsuro Chino, Naoshi Uchihira
2014 Misc conf
Behavior modeling in physical and adaptive intelligent services.
CogSIMA
Kunihiko Hiraishi, Koichi Kobayashi, Sunseong Choe, Naoshi Uchihira
2014 — conf
Improvement of Sharing of Observations and Awareness in Nursing and Caregiving by Voice Tweets.
ICServ
Kentaro Torii, Naoshi Uchihira, Yuji Hirabayashi, Tetsuro Chino, Takanori Yamamoto, Satoko Tsuru
2013 J jnl
Speech Interaction Analysis on Collaborative Work at an Elderly Care Facility.
Int. J. Sociotechnology Knowl. Dev.
Tetsuro Chino, Kentaro Torii, Naoshi Uchihira, Yuji Hirabayashi
2013 — conf
Work and Speech Interactions among Staff at an Elderly Care Facility.
HWID
Tetsuro Chino, Kentaro Torii, Naoshi Uchihira, Yuji Hirabayashi
2012 B conf
Modeling of complex processes in nursing and caregiving services.
SMC
Kunihiko Hiraishi, Sunseong Choe, Kentaro Torii, Naoshi Uchihira, Toshiaki Tanaka
2010 J jnl
Design for service innovation: a methodology for designing service as a business for manufacturing companies.
Int. J. Serv. Technol. Manag.
Sun K. Kim, Kosuke Ishii, Kurt A. Beiter, Naoshi Uchihira, Yuji Kyoya
2008 J jnl
Analysis and Design Methodology for Recognizing Opportunities and Difficulties for Product-based Services.
Inf. Media Technol.
Naoshi Uchihira, Yuji Kyoya, Sun K. Kim, Katsuhiro Maeda, Masanori Ozawa, Kosuke Ishii
2008 J jnl
Analysis and Design Methodology for Recognizing Opportunities and Difficulties for Product-based Services.
J. Inf. Process.
Naoshi Uchihira, Yuji Kyoya, Sun K. Kim, Katsuhiro Maeda, Masanori Ozawa, Kosuke Ishii
2007 — conf
Analysis and Design Methodology for Product-Based Services.
JSAI
Naoshi Uchihira, Yuji Kyoya, Sun K. Kim, Katsuhiro Maeda, Masanori Ozawa, Kosuke Ishii
2007 J jnl
Future Direction and Roadmap of Concurrent System Technology.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Naoshi Uchihira
2005 J jnl
An Optimization Method for Investment and Maintenance Planning of Power Plants under Uncertain Environments.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Keiichi Handa, Shigeru Matsumoto, Masashi Nakamoto, Naoshi Uchihira
2005 J jnl
Making Reactive Systems Highly Reliable by Hypersequential Programming.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Naoshi Uchihira
2003 J jnl
Foreword.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Naoshi Uchihira
2000 J jnl
Scenario-Based Hypersequential Programming.
Int. J. Parallel Program.
Naoshi Uchihira, Hideji Kawata, Fumitaka Tamura
1999 — conf
Building Test Cases for Use in Hypersequential Programming.
PDSE
Chris Rudram, Peter R. Croll, Naoshi Uchihira
1998 — conf
Engineering Safe, Real-Time Distributed Control Systems.
EUROMICRO
Peter R. Croll, Chris Rudram, Colin Chambers, Naoshi Uchihira
1998 — conf
How to Make Concurrent Programs Highly Reliable- More than State Space Analysis.
ACSD
Naoshi Uchihira
1997 J jnl
Hypersequential programming: a new way to develop concurrent programs.
IEEE Concurrency
Naoshi Uchihira, Shinichi Honiden, Toshibumi Seki
1997 — conf
Scenario-Based Hypersequential Programming: Concept and Example.
PDSE
Naoshi Uchihira, Hideji Kawata
1997 — conf
Scenario-Based Hypersequential Programming: Formulation of Parallelization.
ISHPC
Naoshi Uchihira, Hideji Kawata, Fumitaka Tamura
1996 J jnl
Compositional adjustment of concurrent programs to satisfy temporal logic constraints in MENDELS ZONE.
J. Syst. Softw.
Naoshi Uchihira, Shinichi Honiden
1996 — conf
Hypersequential programming - a novel paradigm for concurrent programming.
Software Engineering for Parallel and Distributed Systems
Naoshi Uchihira, Shinichi Honiden, Toshibumi Seki
1996 J jnl
MENDELS ZONE: A parallel program development system based on formal specifications.
Inf. Softw. Technol.
Shinichi Honiden, Akihiko Ohsuga, Naoshi Uchihira
1995 — conf
Compositional adjustment of concurrent programs to satisfy temporal logic constraints in MENDELS ZONE.
HICSS (2)
Naoshi Uchihira, Shinichi Honiden
1994 J jnl
An Application of Artificial Intelligence to Object-Oriented Performance Design for Real-Time Systems.
IEEE Trans. Software Eng.
Shinichi Honiden, Kazuhiko Nishimura, Naoshi Uchihira, Kiyoshi Itoh
1994 J jnl
PQL: Modal logic for compositional verification of concurrent programs.
Syst. Comput. Jpn.
Naoshi Uchihira
1991 — conf
An Application of Artifical Intelligence to Prototyping Process in Performance Design for Real-time Systems.
ESEC
Shinichi Honiden, Naoshi Uchihira, Kiyoshi Itoh
1991 — conf
An integration environment to put formal specifications into practical use in real-time systems.
IWSSD
Shinichi Honiden, Akihiko Ohsuga, Naoshi Uchihira
1989 J jnl
An Application of Structural Modeling and Automated Reasoning to Real-Time Systems Design.
Real Time Syst.
Shinichi Honiden, Naoshi Uchihira, Kazunori Matsumoto, Kazuo Matsumura, Masahiko Arai
1987 — conf
MENDELS: Concurrent Program Synthesis System Using Temporal Logic.
LP
Naoshi Uchihira, Kazunori Matsumoto, Shinichi Honiden, Hideo Nakamura
1986 — conf
MENDEL: Prolog Based Concurrent Object Oriented Language.
COMPCON
Shinichi Honiden, Naoshi Uchihira, Toshiaki Kasuya
1985 — conf
Software Prototyping with MENDEL.
LP
Shinichi Honiden, Naoshi Uchihira, Toshiaki Kasuya