Future direction and roadmap of concurrent system technology
Naoshi Uchihira
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E90A, 11, 2443-2448, 2007

Scenario-based hypersequential programming
Naoshi Uchihira, Hideji Kawata, Fumitaka Tamura
International Journal of Parallel Programming, 28, 2, 155-177, 2000

Hypersequential programming - A new way to develop concurrent programs
N Uchihira, S Honiden, T Seki
IEEE CONCURRENCY, 5, 3, 44-&, 1997

Compositional adjustment of concurrent programs to satisfy temporal logic constraints in MENDELS ZONE
Naoshi Uchihira, Shinichi Honiden
Journal of Systems and Software, 33, 3, 207-221, 1996

Fusion of Physical and Human Sensors for Condition Prediction: Preliminary Experiments in Smart Agriculture
Moritaro Inoue, Kenta Toya, Riku Ogawa, Naoshi Uchihira
IIAI Letters on Informatics and Interdisciplinary Research, 4, 1-1, 2023

An Analysis of Knowledge Sharing between Academia and Venture Capital to establish a start-up company from the Perspective of Proof of Concept
Takayuki SAK, Naoshi UCHIHIRA
産学連携学, 20, 1, 1-13, 2023

作業者の気づきを活用した船舶保守のナレッジ・マネジメント手法の提案
井上杜太郎, 内平直志
ナレッジ・マネジメント研究, 21, 31-46, 2023

Human centric digital twin implementation concept utilizing kNeXaR and SVMS
Moritaro Inoue, Takuichi Nishimura, Naoshi Uchihira
ETLTC-ICETM2023 INTERNATIONAL CONFERENCE PROCEEDINGS: ICT Integration in Technical Education & Entertainment Technologies and Management, -, 2023

システム保守フェーズにおける組織間協働プラットフォームの提案 ― 製造業A社基幹システムの事例研究 ―
越智裕一, 内平直志
国際P2M学会誌, 18, 1, 1-19, 2023

Intellectual Property Strategy Required for Startups to Join a New Business Ecosystem: A Case Study of Tesla
Jun Oya, Naoshi Uchihira
IIAI Letters on Business and Decision Science, 3, 1-1, 2023

Mechanisms for Improving Investment Efficiency through Continuous Delivery in Internet Services
Masayoshi Ohshima, Naoshi Uchihira
2023 Portland International Conference on Management of Engineering and Technology (PICMET), -, 2023

Human-Centric Digital Twin Focused on “Gen-Ba” Knowledge: Conceptual Model and Examples by Smart Voice Messaging System
Naoshi Uchihira, Takuichi Nishimura, Koki Ijuin
2023 Portland International Conference on Management of Engineering and Technology (PICMET), -, 2023

Design Method Using Extended Business Model Canvas for IoT Platforms Considering Platform and Service Value
Taketo Yato, Naoshi Uchihira
The Human Side of Service Engineering, -, 2023

Digital Transformation Classification Types and Evolution Process for Established Companies
Satoshi Okuda, Naoshi Uchihira
The Human Side of Service Engineering, -, 2023

Requirements of Incentive Design for Promoting Data Utilization: Case Study of GAIA-X
Jun Oya, Naoshi Uchihira
IIAI Letters on Informatics and Interdisciplinary Research, 3, 1-10, 2023

Proposal for Management Method for Industry–Academia Collaborative Research using PoC Framework
Takayuki Sako, Naoshi Uchihira
IIAI Letters on Informatics and Interdisciplinary Research, 3, 1-11, 2023

Digital Transformation in the Use of Organizational Assets
Yasuhiro Shuto, Naoshi Uchihira
Journal of Intelligent Informatics and Smart Technology, 8, 14-1-14-5, 2022

インターネットサービスにおける アジャイル開発が持つ不確実性の低下メカニズム
大島 將義, 内平 直志
国際P2M学会誌, 17, 1, 124-140, 2022

Success Mechanisms of Smart Factories in Small and Medium-Sized Enterprises
Naoshi Uchihira
2022 IEEE Technology and Engineering Management Society Conference, -, 2022

Proposing R&D Bridge Manager Competency Development Framework
Nawarerk Chalarak, Naoshi Uchihira
2022 IEEE Technology and Engineering Management Society Conference, -, 2022

Resource Allocation Mechanism Considering Combination of Exploitation and Exploration in Ambidexterity with External Factors
Takashi Kitaguchi, Naoshi Uchihira
2022 IEEE Technology and Engineering Management Society Conference, -, 2022

Bayesian Optimization Methods for Inventory Control with Agent-based Supply-chain Simulator
Takahiro Ogura, Haiyan Wang, Qiyao Wang, Atsuki Kiuchi, Chetan Gupta, Naoshi Uchihira
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, E105.A, 9, 1348-1357, 2022

Smart City Indicators in ASEAN Cities
Masaaki Sakuraba, Naoshi Uchihira
37th International Technical Conference on Circuits/Systems, Computers, and Communications, -, 2022

Applying Nudges to Nemawashi: Consensus-building Without Losing Diversity
Nikka Ko, Youji Kohda, Naoshi Uchihira
13th International Conference on Applied Human Factors and Ergonomics (AHFE 2022), 62, 100-108, 2022

Maritime Engine Room Resource Management Extended to Remote Members Onshore: Conceptual Model using Internet of Everything (IoE)
Moritaro Inoue, Naoshi Uchihira
13th International Conference on Applied Human Factors and Ergonomics (AHFE 2022), 62, 117-125, 2022

Competency Development Workshop for Bridge Managers in Global R&D Projects
Nawarerk Chalarak, Naoshi Uchihira
JOURNAL OF INTELLIGENT INFORMATICS AND SMART TECHNOLOGY, 7, 03-1-03-5, 2022

Creativity in awareness communication
Masanori Okada, Naoshi Uchihira, Kunihiko Hiraishi, Susumu Kunifuji
JOURNAL OF INTELLIGENT INFORMATICS AND SMART TECHNOLOGY, 7, 11-1-11-4, 2022

The Nature of Digital Transformation Project Failures: Impeding Factors to Stakeholder Collaborations
Naoshi Uchihira, Tatsuya Eimura
JOURNAL OF INTELLIGENT INFORMATICS AND SMART TECHNOLOGY, 7, 16-1-16-6, 2022

Machine-in-the-Loop Process in Project Risk Management
Toshiki Mori, Naoshi Uchihira
JOURNAL OF INTELLIGENT INFORMATICS AND SMART TECHNOLOGY, 7, 01-1-01-6, 2022

後進層から期待されるベテラン経験知の価値とその移転ーIT企業A社SE部門におけるベテラン技術者と後進層の共創ー
細野一雄, 内平直志, 遠山亮子
ナレッジ・マネジメント研究, 19, 1-16, 2021

企業における新規事業提案制度への取り組み―組織行動変革を実現する動態モデルの提案ー
大崎達哉, 内平直志
ナレッジ・マネジメント研究, 19, 17-31, 2021

The Role and New Function of "NEMAWASHI" in Creative Justification of Resource Mobilization: Case Study of Japanese Large Company A
Nikka Ko, Naoshi Uchihira
Development Engineering, 41, 1, 115-123, 2021

Creativity in Awareness Communication
Masanori Okada, Naoshi Uchihira, Kunihiko Hiraishi, Susumu Kunifuji
The 16th International Conference on Knowledge, Information and Creativity Support Systems (KICSS 2021), -, 2021

Digital Transformation in the Use of Organizational Assets
Yasuhiro Shuto, Naoshi Uchihira
The 16th International Conference on Knowledge, Information and Creativity Support Systems (KICSS 2021), -, 2021

Competency Development Workshop for Bridge Managers in Global R&D Projects
Nawarerk Chalarak, Naoshi Uchihira
The 16th International Conference on Knowledge, Information and Creativity Support Systems (KICSS 2021), -, 2021

Machine-in-the-Loop Process in Project Risk Management
Toshiki Mori, Naoshi Uchihira
The 16th International Conference on Knowledge, Information and Creativity Support Systems (KICSS 2021), -, 2021

The Nature of Digital Transformation Project Failures: Impeding Factors to Stakeholder Collaboration
Naoshi Uchihira, Tatsuya Eimura
The 16th International Conference on Knowledge, Information and Creativity Support Systems (KICSS 2021), -, 2021

Difficulties of Global R&D Projects: A Bridge Manager’s Perspective
Nawarerk Chalarak, Yasuo Sasaki, Naoshi Uchihira
International Journal of Innovation and Technology Management, 18, 6, 2150030-2150030, 2021

Service Design Based on Customer Value Classification in IoT Systems
Sadaaki Shinjo, Naoshi Uchihira
Advances in the Human Side of Service Engineering, 266, 493-502, 2021

Dialogue Tool for Value Creation in Digital Transformation: Roadmapping for Machine Learning Applications
Naoshi Uchihira
Advances in the Human Side of Service Engineering, 518-526, 2021

Exploitation Pattern for Machine Learning Systems
Satoshi Okuda, Gaku Nemoto, Toshiki Mori, Norihiko Ishitani, Kazuhiko Nishimura, Naoshi Uchihira
2021 36th International Technical Conference on Circuits/Systems, Computers and Communications (ITC-CSCC), -, 2021

概念実証の観点から見た研究成果事業化のための知識共有の分析
酒匂 孝之, 内平 直志
産学連携学, 17, 2, 91-101, 2021

Dynamic Capability in Business Ecosystem: How to Obtain New Capabilities from Existing Environment
Kenichiro Banka, Naoshi Uchihira
2021 IEEE Technology & Engineering Management Conference - Europe (TEMSCON-EUR), -, 2021

Prediction of Arrival Time of Vessels Considering Future Weather Conditions
Takahiro Ogura, Teppei Inoue, Naoshi Uchihira
Applied Sciences, 11, 10, 4410-4410, 2021

シニア技術者から中堅層への経験知の伝え方の考察 ─ IT 企業A 社SE 部門における知の継承の課題と研究方法─
細野一雄, 内平直志, 遠山亮子
ナレッジ・マネジメント研究, 18, 17-30, 2020

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
2020 IEEE 44th Annual Computers, Software, and Applications Conference (COMPSAC), 1113-1114, 2020

Model of Tacit Knowledge Transfer in Lean Management Implementation in an Organization
Norani Nordin, Roshidah Mohamed, Naoshi Uchihira
Lean Manufacturing and Six Sigma - Behind the Mask, -, 2020

Understanding Cross-Cultural Team Building of Remote Multinational Offshore R&D Teams: Case study of OA Equipment Manufacturing and Vehicle Manufacturing
Yang Wang, Takata Yuizono, Naoshi Uchihira
The 14th International Conference on Knowledge, Information and Creativity Support Systems (KICSS2019), -, 2019

Requirement engineering in knowledge-intensive manufacturing shop floors: A knowledge-based approach
Le Anh Hoang, Naoshi Uchihira
The 14th International Conference on Knowledge, Information and Creativity Support Systems (KICSS2019), -, 2019

Innovation Design Method for the Internet of Things: Requirements and Perspectives
Naoshi Uchihira
2019 Portland International Conference on Management of Engineering and Technology (PICMET), 1-8, 2019

スクラム・ベースド・ラーニングにおける参加者の意識行動変容と知識創造に対する気づき分析
酒瀬川泰孝, 中鉢欣秀, 西原(廣瀬)文乃, 植木真理子, 内平 直志
ナレッジ・マネジメント研究年報, 17, 17, 17-49, 2019

事業部門長による組織知創造と知識リーダーシップの関係性の探索 ―IT企業の事業部門ナレッジマネジメントの事例研究―
細野一雄, 内平直志
ナレッジ・マネジメント研究年報, 17, -, 2019

Information Supervisory Control of Human Behavior - A Formal Model and Simulation
Kunihiko Hiraishi, Naoshi Uchihira, Sunseong Choe, Koichi Kobayashi
Proceedings - 2018 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2018, 2025-2030, 2019

An Integrated Approach of Machine Learning and Knowledge Creation in Project & Program Risk Management:A Proposal of Machine-in-the-loop Knowledge Creation process
MORI Toshiki, Uchihira Naoshi
Journal of International Association of P2M, 14, 1, 415-435, 2019

Competencies of Bridge Managers for Facilitating Global R&D Projects Toward Their Competency Development Framework
Nawarerk Chalarak, Yasuo Sasaki, Naoshi Uchihira
2019 PORTLAND INTERNATIONAL CONFERENCE ON MANAGEMENT OF ENGINEERING AND TECHNOLOGY (PICMET), -, 2019

UX-centric Design Method for Open Innovation
Tatsuya Suganuma, Naoshi Uchihira
2019 PORTLAND INTERNATIONAL CONFERENCE ON MANAGEMENT OF ENGINEERING AND TECHNOLOGY (PICMET), -, 2019

Systems intelligence and organizational knowledge creation
Yasuo Sasaki, Jader Zelaya, Naoshi Uchihira
PICMET 2018 - Portland International Conference on Management of Engineering and Technology: Managing Technological Entrepreneurship: The Engine for Economic Growth, Proceedings, -, 2018

A management model for making full use of personal ability in offshore RD: A case study of a company manufacturing office automation equipment
Yang Wang, Naoshi Uchihira, Yasushi Ogawa
PICMET 2018 - Portland International Conference on Management of Engineering and Technology: Managing Technological Entrepreneurship: The Engine for Economic Growth, Proceedings, -, 2018

An IT service development model based on a service ecosystem: Case studies of cloud service companies
Kenichiro Banka, Naoshi Uchihira
PICMET 2018 - Portland International Conference on Management of Engineering and Technology: Managing Technological Entrepreneurship: The Engine for Economic Growth, Proceedings, -, 2018

An evolution process of IT concept words : Case study of cloud computing
片岡 利枝子, 井川 康夫, 内平 直志
Technology and economy, 620, 58-72, 2018

作業スタッフの行動ログを用いた時空間状況認識の性能向上について
早貸 舜, 平石邦彦, 内平直志
信学技報, 117, 506, 67-72, 2018

Information supervisory control of human behavior - Experiments and formal modeling
Kunihiko Hiraishi, Naoshi Uchihira, Sunseong Choe, Koichi Kobayashi
2017 Asian Control Conference, ASCC 2017, 2018-, 1351-1356, 2018

Knowledge Classification Model for Applying AI to the Project Management:－Research for the Application of AI in an IT Company－
Oshima Takeshi, Uchihira Naoshi
Journal of International Association of P2M, 13, 1, 121-141, 2018

Model-based approach to analysis of human behavior with applications to nursing and caregiving services
Koichi Kobayashi, Kunihiko Hiraishi, Sunseong Choe, Naoshi Uchihira
2017 IEEE 6th Global Conference on Consumer Electronics, GCCE 2017, 2017-, 1-4, 2017

Difficulties of global R&D projects and role of bridge managers
Nawarerk Chalarak, Naoshi Uchihira, Yasuo Sasaki, Srigowtham Arunagiri
ISPIM Innovation Summi 2017, -, 2017

Assessing the Research Productivity of the Pharmaceutical Industry: Pipeline Analysis
Fumihito Ushiyama, Naoshi Uchihira
ISPIM Innovation Summit 2017, 1-13, 2017

Continual PM self-growth model: Utilizing the PM competency evaluation sheet
Yumiko Miyake, Naoshi Uchihira
PICMET 2017 - Portland International Conference on Management of Engineering and Technology: Technology Management for the Interconnected World, Proceedings, 2017-, 1-7, 2017

The role of bridge managers in global R & D projects
Naoshi Uchihira, Nawarerk Chalarak, Srigowtham Arunagiri
PICMET 2017 - Portland International Conference on Management of Engineering and Technology: Technology Management for the Interconnected World, Proceedings, 2017-, 1-6, 2017

Behavioral Analysis in Nursing and Caregiving Services Using Switched Linear Regression Models
Koichi Kobayashi, Kunihiko Hiraishi, Sunseong Choe, Naoshi Uchihira
IFAC-PapersOnLine, 50, 1, 4582-4587, 2017

Behavioral Analysis in Nursing and Caregiving Services Using Switched Linear Regression Models
Koichi Kobayashi, Kunihiko Hiraishi, Sunseong Choe, Naoshi Uchihira
Proc. of the 20th IFAC World Congress, 4668-4673, 2017

Matching potential customer needs to technology seeds: Using a virtual catalog to extract customer needs in B2B manufacturing companies
Tetsuro Sorabayashi, Yasuo Sasaki, Naoshi Uchihira
PICMET 2016 - Portland International Conference on Management of Engineering and Technology: Technology Management For Social Innovation, Proceedings, 2493-2498, 2017

PBL Activities Considering Human Resource Development of Small and Medium Enterprises and their Effects
MIYAKE Yumiko, Kamimura Takayuki, Uchihira Naoshi
Proceedings of International Association of P2M, 2017, 32-46, 2017

Factor of Knowledge Transformation in M&A:— Case Study of Global an Electronics Manufacturing Service Firm —
Segawa Yoshihisa, Uchihira Naoshi, Ikawa Yasuo
Development engineering, 37, 1, 41-47, 2017

PBL Activities Considering Human Resource Development of Small and Medium Enterprises and Their Effects::Enhancement of Visiting Nursing Station Support Program
MIYAKE Yumiko, KAMIMURA Takayuki, UCHIHIRA Naoshi
Journal of International Association of P2M, 12, 1, 36-54, 2017

Capability Model of Knowledge Transfer for PM in Information System Development
MIYAKE Yumiko, UCHIHIRA Naoshi
Journal of International Association of P2M, 11, 2, 47-61, 2017

Game Theoretical Modeling of Information Supervisory Control
Sasaki, Yasuo, Uchihira, Naoshi
2017 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS (SMC), 2017-January, 2285-2290, 2017

Innovation design and its verification & validation in the era of the Internet of Things
Naoshi Uchihira
2016 IEEE 5th Global Conference on Consumer Electronics, GCCE 2016, -, 2016

ケアスタッフ連携スケジューリング問題 ～ 通信手段による比較とソルバーによる最適解 ～
平石邦彦, 崔舜星, 小林孝一, 佐々木康朗, 内平直志
信学技報, 115, 480, 91-96, 2016

突発的イベント発生時の音声つぶやきシステムによるスタッフ間の連携効果
崔舜星, 平石邦彦, 内平直志
信学技報, 115, 480, 91-96, 2016

Information Supervisory Control of Human Behavior - Concept and Experiments Toward Realization -
Kunihiko Hiraishi, Naoshi Uchihira, Sunseong Choe, Koichi Kobayashi
Proc. of the 2016 IEEE International Conference on Systems, Man, and Cybernetics, 790-795, 2016

Study on Knowledge Transfer in Software Development Project Utilizing P2M
MIYAKE Yumiko, UCHIHIRA Naoshi
Journal of International Association of P2M, 11, 1, 122-135, 2016

Innovative Solution through Bifocal Thinking: A Case Study of Tacit Knowledge Creation to Optimize Contradictory Performances between Designs and Production Engineering
Yoshihisa Segawa, Naoshi Uchihira, Yasuo Ikawa
PORTLAND INTERNATIONAL CONFERENCE ON MANAGEMENT OF ENGINEERING AND TECHNOLOGY (PICMET 2016): TECHNOLOGY MANAGEMENT FOR SOCIAL INNOVATION, 2869-2875, 2016

The Evolutionary Process of IT Concept Words: A Case Study on Bigdata
Rieko Kataoka, Naoshi Uchihira, Yasuo Ikawa
PORTLAND INTERNATIONAL CONFERENCE ON MANAGEMENT OF ENGINEERING AND TECHNOLOGY (PICMET 2016): TECHNOLOGY MANAGEMENT FOR SOCIAL INNOVATION, 1983-1992, 2016

Innovation Design and Its Verification & Validation in the Era of the Internet of Things
Naoshi Uchihira
2016 IEEE 5TH GLOBAL CONFERENCE ON CONSUMER ELECTRONICS, 1-4, 2016

How can we get "lessons learned" from real cases?
Kenji Hisazumi, Shigeru Ishida, Mitsuhiro Matsuda, Yukihiro Mihara, Naoshi Uchihira
PROCEEDINGS OF THE 2016 WORKSHOP ON EMBEDDED AND CYBER-PHYSICAL SYSTEMS EDUCATION (WESE), 5:1-5:6-, 2016

Service Modeling Method for Machine-to-Machine Businesses to Overcome Difficulties
Naoshi Uchihira, Hirokazu Ishimatsu
PICMET '15 PORTLAND INTERNATIONAL CENTER FOR MANAGEMENT OF ENGINEERING AND TECHNOLOGY, 1596-1602, 2015

The Evolutionary Process from a Technology Concept to a Service Concept: A Cloud Computing Case Study
Rieko Kataoka, Yasuo Ikawa, Naoshi Uchihira
2014 PORTLAND INTERNATIONAL CONFERENCE ON MANAGEMENT OF ENGINEERING & TECHNOLOGY (PICMET), 1855-1865, 2014

Service Innovation Structure Analysis for Recognizing Opportunities and Difficulties of M2M Businesses
Naoshi Uchihira, Hirokazu Ishimatsu, Yoshiki Kageyama, Yuji Kakutani, Kazunori Mizushima, Hiroshi Naruse, Shigeaki Sakurai, Susumu Yoneda
2014 PORTLAND INTERNATIONAL CONFERENCE ON MANAGEMENT OF ENGINEERING & TECHNOLOGY (PICMET), 777-783, 2014

Behavior Modeling in Physical and Adaptive Intelligent Services
Kunihiko Hiraishi, Koichi Kobayashi, Sunseong Choe, Naoshi Uchihira
2014 IEEE INTERNATIONAL INTER-DISCIPLINARY CONFERENCE ON COGNITIVE METHODS IN SITUATION AWARENESS AND DECISION SUPPORT (COGSIMA), 244-249, 2014

Discourse Analysis of Voice-Based Computer-Mediated Communication in Distributed Work
T. Chino, K. Torii, N. Uchihira, K. Hiraishi, Y. Hirabayashi, T. Sugihara
Proc. 5th Int’l Conf. on Applied Human Factors and Ergonomics (AHFE) 2014 / 2nd Int’l Conf. on the Human Side of Service Engineering (HSSE) 2014, 3423-3434, 2014

Nursing work recognition using topic models from sensor data and knowledge
Tomoko Murakami, Kentaro Torii, Kenta Chiyo, Naoshi Uchihira
Transactions of the Japanese Society for Artificial Intelligence, 29, 5, 427-435, 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
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 8515, 3, 387-394, 2014

Knowledge transfer in product-based service design
Naoshi Uchihira
Progressive Trends in Knowledge and System-Based Science for Service Innovation, 258-272, 2013

音声つぶやきによる介護サービスの可視化と改善―見える化して改善を促すためのツールの提案と評価―
平林裕治, 内平直志, 鳥居健太郎
デジタルプラクティス, 4, 3, 212-217, 2013

Event-log Based Analysis of Physical and Adaptive Intelligent Services
JINDA Takanori, AOTO Wataru, MIYAZAKI Akikazu, CHOE Sunsoeog, KOBAYASHI Koichi, HIRAISHI Kunihiko, UCHIHIRA Naoshi
IEICE technical report, 113, 121, 1-8, 2013

Speech interaction analysis on collaborative work at an elderly care facility
Tetsuro Chino, Kentaro Torii, Naoshi Uchihira, Yuji Hirabayashi
International Journal of Sociotechnology and Knowledge Development, 5, 2, 18-33, 2013

ビッグデータによるサービス・イノベーションの分類とモデル化
内平 直志
映像情報メディア学会冬季大会講演予稿集, 2013, 5-4-1, 2013

Work and speech interactions among staff at an elderly care facility
Tetsuro Chino, Kentaro Torii, Naoshi Uchihira, Yuji Hirabayashi
IFIP Advances in Information and Communication Technology, 407, 35-45, 2013

Modeling of Complex Processes in Nursing and Caregiving Services
Kunihiko Hiraishi, Sunseong Choe, Kentaro Torii, Naoshi Uchihira, Toshiaki Tanaka
PROCEEDINGS 2012 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS (SMC), 1449-1454, 2012

Toward Modeling of Complex Processes in Nursing and Caregiving Services
HIRAISHI Kunihiko, Choe Sunseong, TORII Kentaro, UCHIHIRA Naoshi, TANAKA Toshiaki
Mathematical Systems Science and its Applications : IEICE technical report, 111, 294, 35-40, 2011

1-D-7 医療・介護サービスにおける音声つぶやきコミュニケーションによる連携業務のモデル化(特別セッション サービスサイエンス)
鳥居 健太郎, 内平 直志, 田中 俊明, 平石 邦彦, 平林 裕治
日本オペレーションズ・リサーチ学会秋季研究発表会アブストラクト集, 2011, 64-65, 2011

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
International Journal of Services, Technology and Management, 13, 1-2, 40-62, 2010

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
Journal of Information Processing, 16, 13-26, 2008

Analysis and design methodology for product-based services
Naoshi Uchihira, Yuji Kyoya, Sun K. Kim, Katsuhiro Maeda, Masanori Ozawa, Kosuke Ishii
NEW FRONTIERS IN ARTIFICIAL INTELLIGENCE, 4914, 13-+, 2008

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
PICMET '07: PORTLAND INTERNATIONAL CENTER FOR MANAGEMENT OF ENGINEERING AND TECHNOLOGY, VOLS 1-6, PROCEEDINGS, 2755-2762, 2007

Special section on concurrent/hybrid systems: Theory and applications
Atsushi Ohta, Haruo Hasegawa, Susumu Hashizume, Kunihiko Hiraishi, Shiro Masuda, Morikazu Nakamura, Hiroto Tanaka, Naoshi Uchihira, Shingo Yamaguchi, Satoshi Yamane
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, E89-A, 11, 3165-, 2006

An optimization method for investment and maintenance planning of power plants under uncertain environments
K Handa, S Matsumoto, M Nakamoto, N Uchihira
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E88A, 6, 1481-1486, 2005

Making reactive systems highly reliable by hypersequential programming
N Uchihira
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E88A, 4, 941-947, 2005

An Electric Powerplant Planning Method for Uncertain Environments
TAKEDA Akiko, UCHIHIRA Naoshi, NAKAMOTO Masashi, MATSUMOTO Shigeru
Journal of Japan Industrial Management Association, 56, 5, 366-376, 2005

Highly reliable concurrent systems by hypersequential programming
N Uchihira
SICE 2004 ANNUAL CONFERENCE, VOLS 1-3, 2779-2784, 2004

Special Section on Concurrent System Technology
Naoshi Uchihira
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, E86-A, 2721-, 2003

Building test cases for use in Hypersequential Programming
C Rudram, P Croll, N Uchihira
INTERNATIONAL SYMPOSIUM ON SOFTWARE ENGINEERING FOR PARALLEL AND DISTRIBUTED SYSTEMS, PROCEEDINGS, 205-209, 1999

Building test cases for use in Hypersequential Programming
C Rudram, P Croll, N Uchihira
INTERNATIONAL SYMPOSIUM ON SOFTWARE ENGINEERING FOR PARALLEL AND DISTRIBUTED SYSTEMS, PROCEEDINGS, 205-209, 1999

Engineering safe, real-time distributed control systems
P Croll, C Rudram, C Chambers, N Uchihira
24TH EUROMICRO CONFERENCE - PROCEEDING, VOLS 1 AND 2, 1, 445-452, 1998

How to make concurrent programs highly reliable - More than state space analysis
N Uchihira
1998 INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN, PROCEEDINGS, 1998-March, 16-23, 1998

Three Phase Net - oriented Software Design Method
UCHIHIRA Naoshi, HONIDEN Shinichi
Transactions of Information Processing Society of Japan, 38, 1, 101-113, 1997

Scenario-based hypersequential programming: Formulation of parallelization
Naoshi Uchihira, Hideji Kawata, Fumitaka Tamura
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 1336, 267-280, 1997

Scenario-based hypersequential programming: Concept and example
N Uchihira, H Kawata
SECOND INTERNATIONAL WORKSHOP ON SOFTWARE ENGINEERING FOR PARALLEL AND DISTRIBUTED SYSTEMS, PROCEEDINGS, 277-283, 1997

Hypersequential Programming-a novel paradigm for concurrent programming
Naoshi Uchihira, Shinichi Honiden, Toshibumi Seki
First IFIP Workshop on Software Engineering for Parallel and Distributed Systems, 62-73, 1996

A high-level Petri net for accurate modeling of reactive and concurrent systems
Naoshi Uchihira, Shinichi Honiden
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, E79-A, 1797-1808, 1996

MENDELS ZONE: A parallel program development system based on formal specifications
Shinichi Honiden, Akihiko Ohsuga, Naoshi Uchihira
Information and Software Technology, 38, 3, 181-189, 1996

Practical program validation for plant control systems using SFC and temporal logic
H Kawata, N Uchihira
INFORMATION INTELLIGENCE AND SYSTEMS, VOLS 1-4, 4, 3186-3191, 1996

PRACTICAL PROGRAM VALIDATION FOR STATE-BASED REACTIVE CONCURRENT SYSTEMS - HARMONIZATION OF SIMULATION AND VERIFICATION
N UCHIHIRA, H KAWATA
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E78A, 11, 1487-1497, 1995

Compositional adjustment of concurrent programs to satisfy temporal logic constraints in MENDELS ZONE
N. Uchihira, S. Honiden
Proceedings of the Annual Hawaii International Conference on System Sciences, 2, 359-368, 1995

PQL - MODAL LOGIC FOR COMPOSITIONAL VERIFICATION OF CONCURRENT PROGRAMS
Naoshi Uchihira
SYSTEMS AND COMPUTERS IN JAPAN, 25, 1, 1-16, 1994

An Application of Artificial Intelligence to Object-Oriented Performance Design for Real-Time Systems
Shinichi Honiden, Kazuhiko Nishimura, Naoshi Uchihira, Kiyoshi Itoh
IEEE Transactions on Software Engineering, 20, 11, 849-867, 1994

NET-ORIENTED ANALYSIS AND DESIGN
S HONIDEN, N UCHIHIRA
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E75A, 10, 1317-1325, 1992

A PETRI-NET-BASED PROGRAMMING ENVIRONMENT AND ITS DESIGN METHODOLOGY FOR COOPERATING DISCRETE EVENT SYSTEMS
N UCHIHIRA, M ARAMI, S HONIDEN
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E75A, 10, 1335-1347, 1992

COMPOSITIONAL SYNTHESIS FOR COOPERATING DISCRETE EVENT SYSTEMS FROM MODULAR TEMPORAL LOGIC SPECIFICATIONS
N UCHIHIRA
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E75A, 3, 380-391, 1992

PQL: Model Logic for Compositional Verification of Concurrent Programs
UCHIHIRA Naoshi
The Transactions of the Institute of Electronics,Information and Communication Engineers., 75, 2, 76-87, 1992

An Integration Method of Real Time SA and Object Oriented Design Using Algebraic and Temporal Logic Specifications
HONIDEN Shinichi, OHSUGA Akihiko, UCHIHIRA Naoshi
IPSJ Journal, 33, 2, 173-182, 1992

An integration environment to put formal specifications into practical use in real-time systems
Shinichi Honiden, Akihiko Ohsuga, Naoshi Uchihira
IWSSD 1991 - Proceedings of the 6th International Workshop on Software Specification and Design, 102-109, 1991

AN APPLICATION OF ARTIFICIAL-INTELLIGENCE TO PROTOTYPING PROCESS IN PERFORMANCE DESIGN FOR REAL-TIME SYSTEMS
S HONIDEN, N UCHIHIRA, K ITOH
LECTURE NOTES IN COMPUTER SCIENCE, 550, 189-209, 1991

AN APPLICATION OF ARTIFICIAL-INTELLIGENCE TO PROTOTYPING PROCESS IN PERFORMANCE DESIGN FOR REAL-TIME SYSTEMS
S HONIDEN, N UCHIHIRA, K ITOH
ESEC 91 : 3RD EUROPEAN SOFTWARE ENGINEERING CONFERENCE, 550, 189-209, 1991

Verification and Synthesis of Concurrent Programs Using Petri Nets and Temporal Logic
Naoshi Uchihira, Shinichi Honiden
IEICE Transactions on Fundamentals of Electronics, Communications, and Computer Sciences, E-23, 12, 2001-2010, 1990

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 Systems, 1, 4, 313-331, 1990

Synthesis of concurrent programs: Automated reasoning complements software reuse
Naoshi Uchihira, Hideji Kawata, Kazunori Matsumoto, Mikako Ito, Shinichi Honiden
Proceedings of the Hawaii International Conference on System Science, 2, 64-73, 1990

Application of structural modeling and automated reasoning to concurrent program design
S. Honiden, N. Uchihira, K. Matsumoto, K. Matsumura, M. Arai
Proceedings of the Hawaii International Conference on System Science, 2, 134-141, 1989

MENDELS - CONCURRENT PROGRAM SYNTHESIS SYSTEM USING TEMPORAL LOGIC
N UCHIHIRA, K MATSUMOTO, S HONIDEN, H NAKAMURA
LECTURE NOTES IN COMPUTER SCIENCE, 315, 50-68, 1988

CONCURRENT PROGRAM SYNTHESIS WITH REUSABLE COMPONENTS USING TEMPORAL LOGIC.
Naoshi Uchihira, Toshiaki Kasuya, Kazunori Matsumotot, Shinichi Honiden
Proceedings - IEEE Computer Society's International Computer Software & Applications Conference, 455-464, 1987

MENDELS:Concurrent Program Synthesis with Reusable Components using Temporal Logic
Naoshi Uchihira, Toshiaki Kasuya, Kazunori Matsumoto, Shinichi Honiden
IEEE Proc. of COMPSAC'87, 50-68, 1987

SOFTWARE PROTOTYPING WITH REUSABLE COMPONENTS.
Shinichi Honiden, Naomichi Sueda, Akira Hoshi, Naoshi Uchihira, Kazuo Mikame
Journal of information processing, 9, 123-129, 1986

MENDEL : Meta Inferential System Description Language
HONIDEN SHINICHI, UCHIHIRA NAOSHI, OSUGA AKIHIKO, KASUYA TOSHIAKI
IPSJ Journal, 27, 2, 219-227, 1986

MENDEL: PROLOG BASED CONCURRENT OBJECT ORIENTED LANGUAGE.
Shinichi Honiden, Naoshi Uchihira, Toshiaki Kasuya
Proceedings - IEEE Computer Society International Conference, 230-234, 1986

SOFTWARE PROTOTYPING WITH MENDEL
S HONIDEN, N UCHIHIRA, T KASUYA
LECTURE NOTES IN COMPUTER SCIENCE, 221, 108-116, 1986