![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Naoshi Uchihira
Person information
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [i2]Masahiro Watanabe, Naoshi Uchihira:
Digital Business Model Analysis Using a Large Language Model. CoRR abs/2406.05741 (2024) - 2022
- [j17]Takahiro Ogura
, Haiyan Wang, Qiyao Wang, Atsuki Kiuchi, Chetan Gupta, Naoshi Uchihira:
Bayesian Optimization Methods for Inventory Control with Agent-Based Supply-Chain Simulator. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 105-A(9): 1348-1357 (2022) - 2021
- [c27]Sadaaki Shinjo, Naoshi Uchihira:
Service Design Based on Customer Value Classification in IoT Systems. AHFE (8) 2021: 493-502 - [c26]Naoshi Uchihira:
Dialogue Tool for Value Creation in Digital Transformation: Roadmapping for Machine Learning Applications. AHFE (8) 2021: 518-526 - 2020
- [c25]Hironori Washizaki, Kenji Tei, Kazunori Ueda, Hayato Yamana
, Yoshiaki Fukazawa, Shinichi Honiden, Shoichi Okazaki, Nobukazu Yoshioka, Naoshi Uchihira:
Smart SE: Smart Systems and Services Innovative Professional Education Program. COMPSAC 2020: 1113-1114 - [i1]Naoshi Uchihira, Masami Yoshida:
Agricultural Knowledge Management Using Smart Voice Messaging Systems: Combination of Physical and Human Sensors. CoRR abs/2008.03711 (2020)
2010 – 2019
- 2019
- [j16]Toshiki Mori, Naoshi Uchihira:
Balancing the trade-off between accuracy and interpretability in software defect prediction. Empir. Softw. Eng. 24(2): 779-825 (2019) - 2018
- [c24]Kunihiko Hiraishi, Naoshi Uchihira, Sunseong Choe, Koichi Kobayashi:
Information Supervisory Control of Human Behavior - A Formal Model and Simulation. SMC 2018: 2025-2030 - 2017
- [c23]Kunihiko Hiraishi, Naoshi Uchihira, Sunseong Choe, Koichi Kobayashi:
Information supervisory control of human behavior - Experiments and formal modeling. ASCC 2017: 1351-1356 - [c22]Koichi Kobayashi, Kunihiko Hiraishi, Sunseong Choe, Naoshi Uchihira:
Model-based approach to analysis of human behavior with applications to nursing and caregiving services. GCCE 2017: 1-4 - [c21]Yasuo Sasaki, Naoshi Uchihira:
Game theoretical modeling of information supervisory control. SMC 2017: 2285-2290 - 2016
- [c20]Kenji Hisazumi
, Shigeru Ishida, Mitsuhiro Matsuda, Yukihiro Mihara, Naoshi Uchihira:
How can we get "lessons learned" from real cases? WESE 2016: 5:1-5:6 - [c19]Naoshi Uchihira:
Innovation design and its verification & validation in the era of the Internet of Things. GCCE 2016: 1-4 - 2014
- [c18]Kunihiko Hiraishi, Koichi Kobayashi, Sunseong Choe, Naoshi Uchihira:
Behavior modeling in physical and adaptive intelligent services. CogSIMA 2014: 244-249 - [c17]Taro Sugihara, Yuji Hirabayashi, Kentaro Torii, Tetsuro Chino, Naoshi Uchihira:
A Pilot Study in Using a Smart Voice Messaging System to Create a Reflection-in-Caregiving Workshop. HCI (6) 2014: 387-394 - [c16]Kentaro Torii, Naoshi Uchihira, Yuji Hirabayashi, Tetsuro Chino, Takanori Yamamoto, Satoko Tsuru:
Improvement of Sharing of Observations and Awareness in Nursing and Caregiving by Voice Tweets. ICServ 2014: 161-175 - 2013
- [j15]Tetsuro Chino, Kentaro Torii, Naoshi Uchihira, Yuji Hirabayashi:
Speech Interaction Analysis on Collaborative Work at an Elderly Care Facility. Int. J. Sociotechnology Knowl. Dev. 5(2): 18-33 (2013) - [c15]Tetsuro Chino, Kentaro Torii, Naoshi Uchihira, Yuji Hirabayashi:
Work and Speech Interactions among Staff at an Elderly Care Facility. HWID 2013: 35-45 - 2012
- [c14]Kunihiko Hiraishi, Sunseong Choe, Kentaro Torii, Naoshi Uchihira, Toshiaki Tanaka:
Modeling of complex processes in nursing and caregiving services. SMC 2012: 1449-1454 - 2010
- [j14]Sun K. Kim, Kosuke Ishii, Kurt A. Beiter, Naoshi Uchihira, Yuji Kyoya:
Design for service innovation: a methodology for designing service as a business for manufacturing companies. Int. J. Serv. Technol. Manag. 13(1/2): 40-62 (2010)
2000 – 2009
- 2008
- [j13]Naoshi Uchihira, Yuji Kyoya, Sun K. Kim, Katsuhiro Maeda, Masanori Ozawa, Kosuke Ishii:
Analysis and Design Methodology for Recognizing Opportunities and Difficulties for Product-based Services. Inf. Media Technol. 3(3): 616-629 (2008) - [j12]Naoshi Uchihira, Yuji Kyoya, Sun K. Kim, Katsuhiro Maeda, Masanori Ozawa, Kosuke Ishii:
Analysis and Design Methodology for Recognizing Opportunities and Difficulties for Product-based Services. J. Inf. Process. 16: 13-26 (2008) - 2007
- [j11]Naoshi Uchihira:
Future Direction and Roadmap of Concurrent System Technology. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 90-A(11): 2443-2448 (2007) - [c13]Naoshi Uchihira, Yuji Kyoya, Sun K. Kim, Katsuhiro Maeda, Masanori Ozawa, Kosuke Ishii:
Analysis and Design Methodology for Product-Based Services. JSAI 2007: 13-25 - 2005
- [j10]Naoshi Uchihira:
Making Reactive Systems Highly Reliable by Hypersequential Programming. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 88-A(4): 941-947 (2005) - [j9]Keiichi Handa, Shigeru Matsumoto, Masashi Nakamoto, Naoshi Uchihira:
An Optimization Method for Investment and Maintenance Planning of Power Plants under Uncertain Environments. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 88-A(6): 1481-1486 (2005) - 2003
- [j8]Naoshi Uchihira:
Foreword. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 86-A(11): 2721 (2003) - 2000
- [j7]Naoshi Uchihira, Hideji Kawata, Fumitaka Tamura:
Scenario-Based Hypersequential Programming. Int. J. Parallel Program. 28(2): 155-157 (2000)
1990 – 1999
- 1999
- [c12]Chris Rudram, Peter R. Croll, Naoshi Uchihira:
Building Test Cases for Use in Hypersequential Programming. PDSE 1999: 205-209 - 1998
- [c11]Naoshi Uchihira:
How to Make Concurrent Programs Highly Reliable- More than State Space Analysis. ACSD 1998: 16-23 - [c10]Peter R. Croll, Chris Rudram, Colin Chambers, Naoshi Uchihira:
Engineering Safe, Real-Time Distributed Control Systems. EUROMICRO 1998: 10445-10452 - 1997
- [j6]Naoshi Uchihira, Shinichi Honiden, Toshibumi Seki:
Hypersequential programming: a new way to develop concurrent programs. IEEE Concurrency 5(3): 44-54 (1997) - [c9]Naoshi Uchihira, Hideji Kawata, Fumitaka Tamura:
Scenario-Based Hypersequential Programming: Formulation of Parallelization. ISHPC 1997: 267-280 - [c8]Naoshi Uchihira, Hideji Kawata:
Scenario-Based Hypersequential Programming: Concept and Example. PDSE 1997: 277-283 - 1996
- [j5]Shinichi Honiden, Akihiko Ohsuga, Naoshi Uchihira:
MENDELS ZONE: A parallel program development system based on formal specifications. Inf. Softw. Technol. 38(3): 181-189 (1996) - [j4]Naoshi Uchihira, Shinichi Honiden:
Compositional adjustment of concurrent programs to satisfy temporal logic constraints in MENDELS ZONE. J. Syst. Softw. 33(3): 207-221 (1996) - [c7]Naoshi Uchihira, Shinichi Honiden, Toshibumi Seki:
Hypersequential programming - a novel paradigm for concurrent programming. Software Engineering for Parallel and Distributed Systems 1996: 62-73 - 1995
- [c6]Naoshi Uchihira, Shinichi Honiden:
Compositional adjustment of concurrent programs to satisfy temporal logic constraints in MENDELS ZONE. HICSS (2) 1995: 359-368 - 1994
- [j3]Naoshi Uchihira:
PQL: Modal logic for compositional verification of concurrent programs. Syst. Comput. Jpn. 25(1): 1-16 (1994) - [j2]Shinichi Honiden, Kazuhiko Nishimura, Naoshi Uchihira, Kiyoshi Itoh:
An Application of Artificial Intelligence to Object-Oriented Performance Design for Real-Time Systems. IEEE Trans. Software Eng. 20(11): 849-867 (1994) - 1991
- [c5]Shinichi Honiden, Naoshi Uchihira, Kiyoshi Itoh:
An Application of Artifical Intelligence to Prototyping Process in Performance Design for Real-time Systems. ESEC 1991: 189-209 - [c4]Shinichi Honiden, Akihiko Ohsuga, Naoshi Uchihira:
An integration environment to put formal specifications into practical use in real-time systems. IWSSD 1991: 102-109
1980 – 1989
- 1989
- [j1]Shinichi Honiden, Naoshi Uchihira, Kazunori Matsumoto, Kazuo Matsumura, Masahiko Arai:
An Application of Structural Modeling and Automated Reasoning to Real-Time Systems Design. Real Time Syst. 1(4): 313-331 (1989) - 1987
- [c3]Naoshi Uchihira, Kazunori Matsumoto, Shinichi Honiden, Hideo Nakamura:
MENDELS: Concurrent Program Synthesis System Using Temporal Logic. LP 1987: 50-68 - 1986
- [c2]Shinichi Honiden, Naoshi Uchihira, Toshiaki Kasuya:
MENDEL: Prolog Based Concurrent Object Oriented Language. COMPCON 1986: 230-234 - 1985
- [c1]Shinichi Honiden, Naoshi Uchihira, Toshiaki Kasuya:
Software Prototyping with MENDEL. LP 1985: 108-116
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-29 20:59 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint