Analyzing Unsatisfiability in Bounded Model Checking Using Max-SMT and Dual Slicing. - Takuro Kutsuna; Yoshinao Ishii (FMICS-AVoCS, 2016)

Effective Fault Localization Using Dynamic Slicing and an SMT Solver. - Yoshinao Ishii; Takuro Kutsuna (ICST Workshops, 2016)

Abstraction and refinement of mathematical functions toward SMT-based test-case generation. - Takuro Kutsuna; Yoshinao Ishii; Akihiro Yamamoto (Int. J. Softw. Tools Technol. Transf., 2016)

Performance Improvement of Low-Latency V2I Uplink Using Superposed Cooperative V2V Transmission. - Eiji Okamoto; Hiraku Okada; Yoshinao Ishii; Satoshi Makido (VTC Fall, 2017)

Low-cost Unsupervised Outlier Detection by Autoencoders with Robust Estimation. - Yoshinao Ishii; Masaki Takanashi (J. Inf. Process., 2019)

Fault Diagnosis for Distributed Cooperative System Using Inductive Logic Programming. - Shuichi Sato; Yosuke Watanabe; Hiroyuki Seki; Yoshinao Ishii; Shoji Yuen (ICPHM, 2020)

Road-Deterioration Detection using Road Vibration Data with Machine-Learning Approach. - Masaki Takanashi; Yoshinao Ishii; Shuichi Sato; Noriyoshi Sano; Katsushi Sanda (ICPHM, 2020)

L0-norm Constrained Autoencoders for Unsupervised Outlier Detection. - Yoshinao Ishii; Satoshi Koide; Keiichiro Hayakawa (PAKDD (2), 2020)

Learning low-dimensional manifolds under the L0-norm constraint for unsupervised outlier detection. - Yoshinao Ishii; Satoshi Koide; Keiichiro Hayakawa (Int. J. Data Sci. Anal., 2022)

Estimating Reduction in Travel Time Based on Large Scale Driving Data from Connected Vehicles. - Yuta Fukasawa; Kota Yamada; Yoshinao Ishii; Takeyuki Sasai; Shintaro Fukushima (ITSC, 2024)

Network-Wide Traffic Volume Estimation Using Joint Matrix Factorization with Traffic Flow Conservation Law. - Yuma Taguchi; Yoshinao Ishii; Takeyuki Sasai; Shintaro Fukushima; Katsushi Sanda (ITSC, 2024)

Empirical Data-Driven Approach to Eco-Friendly Deceleration. - Yusuke Yamaura; Yuho Yokoi; Yoshinao Ishii; Shintaro Fukushima (ITSC, 2024)

A Case Study on Recommender Systems in Online Conferences: Behavioral Analysis through A/B Testing. - Ayano Okoso; Keisuke Otaki; Yoshinao Ishii; Satoshi Koide (IEICE Trans. Inf. Syst., 2024)