Optimizing Composite Web Services through Parallelization of Service Invocations. - Naoto Sato; Shin Saito; Kinichi Mitsui (EDOC, 2002)

Co-Evolutionary Learning in Strategic Environments. - Akira Namatame; Naoto Sato; Kazuyuki Murakami (SEAL, 2002)

Model-Driven Performance Analysis of UML Design Models Based on Stochastic Process Algebra. - Naoshi Tabuchi; Naoto Sato; Hiroaki Nakamura (ECMDA-FA, 2005)

An efficient and portable scheduler for RTOS simulation and its certified integration to SystemC. - Hiroaki Nakamura; Naoto Sato; Naoshi Tabuchi (DATE, 2006)

Static vs. Dynamic Validation of BSP Conformance. - Stefan Prennschütz-Schützenau; Nirmal Mukhi; Satoshi Hada; Naoto Sato; Fumiko Satoh; Naohiko Uramoto (ICWS, 2009)

Negation Naive Bayes for Categorization of Product Pages on the Web. - Kanako Komiya; Naoto Sato; Koji Fujimoto; Yoshiyuki Kotani (RANLP, 2011)

A Data Flow Language for Hybrid Query and Programming Languages. - Kristoffer Høgsbro Rose; Lionel Villard; Naoto Sato (FLOPS, 2012)

Abstract Data Types in Event-B - An Application of Generic Instantiation - David A. Basin; Andreas Fürst; Thai Son Hoang; Kunihiko Miyazaki; Naoto Sato (CoRR, 2012)

Business Process Discovery by Using Process Skeletonization. - Michiharu Kudo; Ai Ishida; Naoto Sato (SITIS, 2013)

Formal System Modelling Using Abstract Data Types in Event-B. - Andreas Fürst; Thai Son Hoang; David A. Basin; Naoto Sato; Kunihiko Miyazaki (ABZ, 2014)

Code Generation for Event-B. - Andreas Fürst; Thai Son Hoang; David A. Basin; Krishnaji Desai; Naoto Sato; Kunihiko Miyazaki (IFM, 2014)

Separation of Considerations in Event-B Refinement toward Industrial Use. - Naoto Sato; Fuyuki Ishikawa (FMSEE&T@FM, 2015)

T4: A two-tap based user interface system using a touch-type device for motor-impaired company employees. - Taishi Nomiyama; Naoto Sato; Kou Yamamoto; Shigeki Matsubara; Makoto Nakashima; Takao Sugimoto (ICCE-TW, 2015)

Consistency Verification of Specification Rules. - Thai Son Hoang; Shinji Itoh; Kyohei Oyama; Kunihiko Miyazaki; Hironobu Kuruma; Naoto Sato (ICFEM, 2015)

Large-scale system development using Abstract Data Types and refinement. - Andreas Fürst; Thai Son Hoang; David A. Basin; Naoto Sato; Kunihiko Miyazaki (Sci. Comput. Program., 2016)

Simplified Influence Evaluation of Additional Training on Deep Neural Networks. - Naoto Sato; Hironobu Kuruma; Yuichiroh Nakagawa; Hideto Ogawa (WESPr-iMLSE@APSEC, 2018)

Formal Requirement Enforcement on Smart Contracts Based on Linear Dynamic Logic. - Naoto Sato; Takaaki Tateishi; Shunichi Amano (iThings/GreenCom/CPSCom/SmartData, 2018)

DeepSaucer: Unified Environment for Verifying Deep Neural Networks. - Naoto Sato; Hironobu Kuruma; Masanori Kaneko; Yuichiroh Nakagawa; Hideto Ogawa; Thai Son Hoang; Michael J. Butler (CoRR, 2018)

Handheld Real-Time LED-Based Photoacoustic and Ultrasound Imaging System for Accurate Visualization of Clinical Metal Needles and Superficial Vasculature to Guide Minimally Invasive Procedures. - Wenfeng Xia 001; Mithun Kuniyil Ajith Singh; Efthymios Maneas; Naoto Sato; Yusuke Shigeta; Toshitaka Agano; Sébastien Ourselin; Simeon J. West; Adrien E. Desjardins (Sensors, 2018)

Point-of-care functional and molecular imaging using LED-based photoacoustics. - Mithun Kuniyil Ajith Singh; Naoto Sato; Fumiyuki Ichihashi; Yoshiyuki Sankai (TENCON, 2019)

Formal Verification of Decision-Tree Ensemble Model and Detection of its Violating-input-value Ranges. - Naoto Sato; Hironobu Kuruma; Yuichiroh Nakagawa; Hideto Ogawa (CoRR, 2019)

Automatic smart contract generation using controlled natural language and template. - Takaaki Tateishi; Sachiko Yoshihama; Naoto Sato; Shin Saito (IBM J. Res. Dev., 2019)

Unsupposable Test-data Generation for Machine-learned Software. - Naoto Sato; Hironobu Kuruma; Hideto Ogawa (CoRR, 2020)

Formal Verification of a Decision-Tree Ensemble Model and Detection of Its Violation Ranges. - Naoto Sato; Hironobu Kuruma; Yuichiroh Nakagawa; Hideto Ogawa (IEICE Trans. Inf. Syst., 2020)

Towards Clinical Translation of LED-Based Photoacoustic Imaging: A Review. - Yunhao Zhu; Ting Feng; Qian Cheng; Xueding Wang; Sidan Du; Naoto Sato; Jie Yuan; Mithun Kuniyil Ajith Singh (Sensors, 2020)

Inverted Stabilization Control of Electric Wheelchairs with Tristar Wheel Mechanism. - Naoya Tanabe; Takumi Sakai; Naoto Sato; Yuki Mochida; Masami Iwase (AMC, 2024)

An Empirical Study on Self-Admitted Technical Debt in Quantum Software. - Yuta Ishimoto; Yuto Nakamura; Ryota Katsube; Naoto Sato; Hideto Ogawa; Masanari Kondo; Yasutaka Kamei; Naoyasu Ubayashi (APSEC, 2024)

Locating Buggy Segments in Quantum Program Debugging. - Naoto Sato; Ryota Katsube (NIER@ICSE, 2024)

Generating Shuttling Procedures for Constrained Silicon Quantum Dot Array. - Naoto Sato; Tomonori Sekiguchi; Takeru Utsugi; Hiroyuki Mizuno (CoRR, 2024)

Fast Evaluation of DNN for Past Dataset in Incremental Learning. - Naoto Sato (CoRR, 2024)

Bug-locating Method based on Statistical Testing for Quantum Programs. - Naoto Sato; Ryota Katsube (CoRR, 2024)

Evaluating Mutation-based Fault Localization for Quantum Programs. - Yuta Ishimoto; Masanari Kondo; Naoyasu Ubayashi; Yasutaka Kamei; Ryota Katsube; Naoto Sato; Hideto Ogawa (CoRR, 2025)