Software Prototyping with MENDEL. - Shinichi Honiden; Naoshi Uchihira; Toshiaki Kasuya (LP, 1985)

MENDEL: Prolog Based Concurrent Object Oriented Language. - Shinichi Honiden; Naoshi Uchihira; Toshiaki Kasuya (COMPCON, 1986)

MENDELS: Concurrent Program Synthesis System Using Temporal Logic. - Naoshi Uchihira; Kazunori Matsumoto; Shinichi Honiden; Hideo Nakamura (LP, 1987)

An Application of Structural Modeling and Automated Reasoning to Real-Time Systems Design. - Shinichi Honiden; Naoshi Uchihira; Kazunori Matsumoto; Kazuo Matsumura; Masahiko Arai (Real Time Syst., 1989)

An Application of Artifical Intelligence to Prototyping Process in Performance Design for Real-time Systems. - Shinichi Honiden; Naoshi Uchihira; Kiyoshi Itoh (ESEC, 1991)

An integration environment to put formal specifications into practical use in real-time systems. - Shinichi Honiden; Akihiko Ohsuga; Naoshi Uchihira (IWSSD, 1991)

PQL: Modal logic for compositional verification of concurrent programs. - Naoshi Uchihira (Syst. Comput. Jpn., 1994)

An Application of Artificial Intelligence to Object-Oriented Performance Design for Real-Time Systems. - Shinichi Honiden; Kazuhiko Nishimura; Naoshi Uchihira; Kiyoshi Itoh (IEEE Trans. Software Eng., 1994)

Hypersequential programming - a novel paradigm for concurrent programming. - Naoshi Uchihira; Shinichi Honiden; Toshibumi Seki (Software Engineering for Parallel and Distributed Systems, 1996)

MENDELS ZONE: A parallel program development system based on formal specifications. - Shinichi Honiden; Akihiko Ohsuga; Naoshi Uchihira (Inf. Softw. Technol., 1996)

Compositional adjustment of concurrent programs to satisfy temporal logic constraints in MENDELS ZONE. - Naoshi Uchihira; Shinichi Honiden (J. Syst. Softw., 1996)

Scenario-Based Hypersequential Programming: Formulation of Parallelization. - Naoshi Uchihira; Hideji Kawata; Fumitaka Tamura (ISHPC, 1997)

Scenario-Based Hypersequential Programming: Concept and Example. - Naoshi Uchihira; Hideji Kawata (PDSE, 1997)

Hypersequential programming: a new way to develop concurrent programs. - Naoshi Uchihira; Shinichi Honiden; Toshibumi Seki (IEEE Concurrency, 1997)

How to Make Concurrent Programs Highly Reliable- More than State Space Analysis. - Naoshi Uchihira (ACSD, 1998)

Engineering Safe, Real-Time Distributed Control Systems. - Peter R. Croll; Chris Rudram; Colin Chambers; Naoshi Uchihira (EUROMICRO, 1998)

Building Test Cases for Use in Hypersequential Programming. - Chris Rudram; Peter R. Croll; Naoshi Uchihira (PDSE, 1999)

Scenario-Based Hypersequential Programming. - Naoshi Uchihira; Hideji Kawata; Fumitaka Tamura (Int. J. Parallel Program., 2000)

Foreword. - Naoshi Uchihira (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2003)

An Optimization Method for Investment and Maintenance Planning of Power Plants under Uncertain Environments. - Keiichi Handa; Shigeru Matsumoto; Masashi Nakamoto; Naoshi Uchihira (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2005)

Making Reactive Systems Highly Reliable by Hypersequential Programming. - Naoshi Uchihira (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2005)

Analysis and Design Methodology for Product-Based Services. - Naoshi Uchihira; Yuji Kyoya; Sun K. Kim; Katsuhiro Maeda; Masanori Ozawa; Kosuke Ishii (JSAI, 2007)

Future Direction and Roadmap of Concurrent System Technology. - Naoshi Uchihira (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2007)

Analysis and Design Methodology for Recognizing Opportunities and Difficulties for Product-based Services. - Naoshi Uchihira; Yuji Kyoya; Sun K. Kim; Katsuhiro Maeda; Masanori Ozawa; Kosuke Ishii (J. Inf. Process., 2008)

Design for service innovation: a methodology for designing service as a business for manufacturing companies. - Sun K. Kim; Kosuke Ishii; Kurt A. Beiter; Naoshi Uchihira; Yuji Kyoya (Int. J. Serv. Technol. Manag., 2010)

Modeling of complex processes in nursing and caregiving services. - Kunihiko Hiraishi; Sunseong Choe; Kentaro Torii; Naoshi Uchihira; Toshiaki Tanaka (SMC, 2012)

Work and Speech Interactions among Staff at an Elderly Care Facility. - Tetsuro Chino; Kentaro Torii; Naoshi Uchihira; Yuji Hirabayashi (HWID, 2013)

Speech Interaction Analysis on Collaborative Work at an Elderly Care Facility. - Tetsuro Chino; Kentaro Torii; Naoshi Uchihira; Yuji Hirabayashi (Int. J. Sociotechnology Knowl. Dev., 2013)

Behavior modeling in physical and adaptive intelligent services. - Kunihiko Hiraishi; Koichi Kobayashi; Sunseong Choe; Naoshi Uchihira (CogSIMA, 2014)

A Pilot Study in Using a Smart Voice Messaging System to Create a Reflection-in-Caregiving Workshop. - Taro Sugihara; Yuji Hirabayashi; Kentaro Torii; Tetsuro Chino; Naoshi Uchihira (HCI (6), 2014)

Improvement of Sharing of Observations and Awareness in Nursing and Caregiving by Voice Tweets. - Kentaro Torii; Naoshi Uchihira; Yuji Hirabayashi; Tetsuro Chino; Takanori Yamamoto; Satoko Tsuru (ICServ, 2014)

How can we get "lessons learned" from real cases? - Kenji Hisazumi; Shigeru Ishida; Mitsuhiro Matsuda; Yukihiro Mihara; Naoshi Uchihira (WESE, 2016)

Innovation design and its verification & validation in the era of the Internet of Things. - Naoshi Uchihira (GCCE, 2016)

Information supervisory control of human behavior - Experiments and formal modeling. - Kunihiko Hiraishi; Naoshi Uchihira; Sunseong Choe; Koichi Kobayashi (ASCC, 2017)

Model-based approach to analysis of human behavior with applications to nursing and caregiving services. - Koichi Kobayashi; Kunihiko Hiraishi; Sunseong Choe; Naoshi Uchihira (GCCE, 2017)

Game theoretical modeling of information supervisory control. - Yasuo Sasaki; Naoshi Uchihira (SMC, 2017)

Information Supervisory Control of Human Behavior - A Formal Model and Simulation. - Kunihiko Hiraishi; Naoshi Uchihira; Sunseong Choe; Koichi Kobayashi (SMC, 2018)

Balancing the trade-off between accuracy and interpretability in software defect prediction. - Toshiki Mori; Naoshi Uchihira (Empir. Softw. Eng., 2019)

Smart SE: Smart Systems and Services Innovative Professional Education Program. - Hironori Washizaki; Kenji Tei; Kazunori Ueda; Hayato Yamana; Yoshiaki Fukazawa; Shinichi Honiden; Shoichi Okazaki; Nobukazu Yoshioka; Naoshi Uchihira (COMPSAC, 2020)

Agricultural Knowledge Management Using Smart Voice Messaging Systems: Combination of Physical and Human Sensors. - Naoshi Uchihira; Masami Yoshida (CoRR, 2020)

Service Design Based on Customer Value Classification in IoT Systems. - Sadaaki Shinjo; Naoshi Uchihira (AHFE (8), 2021)

Dialogue Tool for Value Creation in Digital Transformation: Roadmapping for Machine Learning Applications. - Naoshi Uchihira (AHFE (8), 2021)

Bayesian Optimization Methods for Inventory Control with Agent-Based Supply-Chain Simulator. - Takahiro Ogura; Haiyan Wang 003; Qiyao Wang; Atsuki Kiuchi; Chetan Gupta 001; Naoshi Uchihira (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2022)

Digital Business Model Analysis Using a Large Language Model. - Masahiro Watanabe; Naoshi Uchihira (CoRR, 2024)