default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDNaoto Sato
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2020
[j5]Naoto Sato, Hironobu Kuruma, Yuichiroh Nakagawa, Hideto Ogawa:
Formal Verification of a Decision-Tree Ensemble Model and Detection of Its Violation Ranges. IEICE Trans. Inf. Syst. 103-D(2): 363-378 (2020)- [j4]Yunhao Zhu, Ting Feng, Qian Cheng
, Xueding Wang, Sidan Du, Naoto Sato, Jie Yuan, Mithun Kuniyil Ajith Singh:
Towards Clinical Translation of LED-Based Photoacoustic Imaging: A Review. Sensors 20(9): 2484 (2020) - 2019
- [j3]Takaaki Tateishi, Sachiko Yoshihama, Naoto Sato, Shin Saito:
Automatic smart contract generation using controlled natural language and template. IBM J. Res. Dev. 63(2/3): 6:1-6:12 (2019) - 2018
- [j2]Wenfeng Xia, Mithun Kuniyil Ajith Singh, Efthymios Maneas, Naoto Sato, Yusuke Shigeta, Toshitaka Agano, Sébastien Ourselin, Simeon J. West, Adrien E. Desjardins:
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. Sensors 18(5): 1394 (2018) - 2016
- [j1]Andreas Fürst, Thai Son Hoang, David A. Basin, Naoto Sato, Kunihiko Miyazaki:
Large-scale system development using Abstract Data Types and refinement. Sci. Comput. Program. 131: 59-75 (2016)
Conference and Workshop Papers
- 2024
- [c18]Naoya Tanabe, Takumi Sakai, Naoto Sato, Yuki Mochida, Masami Iwase:
Inverted Stabilization Control of Electric Wheelchairs with Tristar Wheel Mechanism. AMC 2024: 1-6 - [c17]Naoto Sato, Ryota Katsube:
Locating Buggy Segments in Quantum Program Debugging. NIER@ICSE 2024: 26-31 - 2019
- [c16]Mithun Kuniyil Ajith Singh, Naoto Sato, Fumiyuki Ichihashi, Yoshiyuki Sankai:
Point-of-care functional and molecular imaging using LED-based photoacoustics. TENCON 2019: 109-113 - 2018
- [c15]Naoto Sato, Hironobu Kuruma, Yuichiroh Nakagawa, Hideto Ogawa:
Simplified Influence Evaluation of Additional Training on Deep Neural Networks. WESPr-iMLSE@APSEC 2018: 34-39 - [c14]Naoto Sato, Takaaki Tateishi, Shunichi Amano:
Formal Requirement Enforcement on Smart Contracts Based on Linear Dynamic Logic. iThings/GreenCom/CPSCom/SmartData 2018: 945-954 - 2015
- [c13]Naoto Sato, Fuyuki Ishikawa:
Separation of Considerations in Event-B Refinement toward Industrial Use. FMSEE&T@FM 2015: 43-50 - [c12]Taishi Nomiyama, Naoto Sato, Kou Yamamoto, Shigeki Matsubara, Makoto Nakashima, Takao Sugimoto:
T4: A two-tap based user interface system using a touch-type device for motor-impaired company employees. ICCE-TW 2015: 122-123 - [c11]Thai Son Hoang, Shinji Itoh, Kyohei Oyama, Kunihiko Miyazaki, Hironobu Kuruma, Naoto Sato:
Consistency Verification of Specification Rules. ICFEM 2015: 50-66 - 2014
- [c10]Andreas Fürst, Thai Son Hoang, David A. Basin, Naoto Sato, Kunihiko Miyazaki:
Formal System Modelling Using Abstract Data Types in Event-B. ABZ 2014: 222-237 - [c9]Andreas Fürst, Thai Son Hoang, David A. Basin, Krishnaji Desai, Naoto Sato, Kunihiko Miyazaki:
Code Generation for Event-B. IFM 2014: 323-338 - 2013
- [c8]Michiharu Kudo, Ai Ishida, Naoto Sato:
Business Process Discovery by Using Process Skeletonization. SITIS 2013: 976-982 - 2012
- [c7]Kristoffer Høgsbro Rose, Lionel Villard, Naoto Sato:
A Data Flow Language for Hybrid Query and Programming Languages. FLOPS 2012: 228-242 - 2011
- [c6]Kanako Komiya, Naoto Sato, Koji Fujimoto, Yoshiyuki Kotani:
Negation Naive Bayes for Categorization of Product Pages on the Web. RANLP 2011: 586-591 - 2009
- [c5]Stefan Prennschütz-Schützenau, Nirmal Mukhi, Satoshi Hada, Naoto Sato, Fumiko Satoh, Naohiko Uramoto:
Static vs. Dynamic Validation of BSP Conformance. ICWS 2009: 919-927 - 2006
- [c4]Hiroaki Nakamura, Naoto Sato, Naoshi Tabuchi:
An efficient and portable scheduler for RTOS simulation and its certified integration to SystemC. DATE 2006: 1157-1158 - 2005
- [c3]Naoshi Tabuchi, Naoto Sato, Hiroaki Nakamura:
Model-Driven Performance Analysis of UML Design Models Based on Stochastic Process Algebra. ECMDA-FA 2005: 41-58 - 2002
- [c2]Naoto Sato, Shin Saito, Kinichi Mitsui:
Optimizing Composite Web Services through Parallelization of Service Invocations. EDOC 2002: 305- - [c1]Akira Namatame, Naoto Sato, Kazuyuki Murakami:
Co-Evolutionary Learning in Strategic Environments. SEAL 2002: 1-19
Informal and Other Publications
- 2024
- [i8]Naoto Sato, Tomonori Sekiguchi, Takeru Utsugi, Hiroyuki Mizuno:
Generating Shuttling Procedures for Constrained Silicon Quantum Dot Array. CoRR abs/2401.14683 (2024) - [i7]Naoto Sato:
Fast Evaluation of DNN for Past Dataset in Incremental Learning. CoRR abs/2405.06296 (2024) - [i6]Naoto Sato, Ryota Katsube:
Bug-locating Method based on Statistical Testing for Quantum Programs. CoRR abs/2409.20011 (2024) - 2023
- [i5]Naoto Sato, Ryota Katsube:
Locating Buggy Segments in Quantum Program Debugging. CoRR abs/2309.04266 (2023) - 2020
- [i4]Naoto Sato, Hironobu Kuruma, Hideto Ogawa:
Unsupposable Test-data Generation for Machine-learned Software. CoRR abs/2005.10442 (2020) - 2019
- [i3]Naoto Sato, Hironobu Kuruma, Yuichiroh Nakagawa, Hideto Ogawa:
Formal Verification of Decision-Tree Ensemble Model and Detection of its Violating-input-value Ranges. CoRR abs/1904.11753 (2019) - 2018
- [i2]Naoto Sato, Hironobu Kuruma, Masanori Kaneko, Yuichiroh Nakagawa, Hideto Ogawa, Thai Son Hoang, Michael J. Butler:
DeepSaucer: Unified Environment for Verifying Deep Neural Networks. CoRR abs/1811.03752 (2018) - 2012
- [i1]David A. Basin, Andreas Fürst, Thai Son Hoang, Kunihiko Miyazaki, Naoto Sato:
Abstract Data Types in Event-B - An Application of Generic Instantiation. CoRR abs/1210.7283 (2012)
Coauthor Index
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-10-21 21:27 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
