Naoto Sato
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
13
Venues
12
Active years
2002–2025
Best venue rank
A*
Where they publish
Papers
13 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | EASE | Evaluating Mutation-based Fault Localization for Quantum Programs. | Yuta Ishimoto, Masanari Kondo, Naoyasu Ubayashi, Yasutaka Kamei, Ryota Katsube, Naoto Sato, Hideto Ogawa |
| 2024 | APSEC | 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 |
| 2024 | ICSE | Locating Buggy Segments in Quantum Program Debugging. | Naoto Sato, Ryota Katsube |
| 2019 | Tencon | Point-of-care functional and molecular imaging using LED-based photoacoustics. | Mithun Kuniyil Ajith Singh, Naoto Sato, Fumiyuki Ichihashi, Yoshiyuki Sankai |
| 2018 | APSEC | Simplified Influence Evaluation of Additional Training on Deep Neural Networks. | Naoto Sato, Hironobu Kuruma, Yuichiroh Nakagawa, Hideto Ogawa |
| 2015 | FM | Separation of Considerations in Event-B Refinement toward Industrial Use. | Naoto Sato, Fuyuki Ishikawa |
| 2015 | ICFEM | Consistency Verification of Specification Rules. | Thai Son Hoang, Shinji Itoh, Kyohei Oyama, Kunihiko Miyazaki, Hironobu Kuruma, Naoto Sato |
| 2014 | IFM | Code Generation for Event-B. | Andreas Frst, Thai Son Hoang, David A. Basin, Krishnaji Desai, Naoto Sato, Kunihiko Miyazaki |
| 2012 | FLOPS | A Data Flow Language for Hybrid Query and Programming Languages. | Kristoffer Hgsbro Rose, Lionel Villard, Naoto Sato |
| 2011 | RANLP | Negation Naive Bayes for Categorization of Product Pages on the Web. | Kanako Komiya, Naoto Sato, Koji Fujimoto, Yoshiyuki Kotani |
| 2009 | ICWS | Static vs. Dynamic Validation of BSP Conformance. | Stefan Prennschtz-Schtzenau, Nirmal Mukhi, Satoshi Hada, Naoto Sato, Fumiko Satoh, Naohiko Uramoto |
| 2006 | DATE | An efficient and portable scheduler for RTOS simulation and its certified integration to SystemC. | Hiroaki Nakamura, Naoto Sato, Naoshi Tabuchi |
| 2002 | EDOC | Optimizing Composite Web Services through Parallelization of Service Invocations. | Naoto Sato, Shin Saito, Kinichi Mitsui |