| 2025 | VMCAI | A Real-Blasting Extension of cvc5 for Reasoning About Floating-Point Arithmetic. | Daisuke Ishii |
| 2023 | VTC | Clustering Method in Downlink Cell-Free MIMO Using Layered Partially Non-orthogonal ZF-Based Beamforming. | Daisuke Ishii, Takanori Hara, Nobuhide Nonaka, Kenichi Higuchi |
| 2022 | ICFEM | SMT-Based Model Checking of Industrial Simulink Models. | Daisuke Ishii, Takashi Tomita, Toshiaki Aoki, The Quyen Ngo, Thi Bich Ngoc Do, Hideaki Takai |
| 2022 | MODELSWARD | A Method for Detecting Common Weaknesses in Self-Sovereign Identity Systems Using Domain-Specific Models and Knowledge Graph. | Charnon Pattiyanon, Toshiaki Aoki, Daisuke Ishii |
| 2022 | QRS | Coverage Testing of Industrial Simulink Models using Monte-Carlo and SMT-Based Methods. | Daisuke Ishii, Takashi Tomita, Toshiaki Aoki, The Quyen Ngo, Thi Bich Ngoc Do, Hideaki Takai |
| 2020 | TASE | Formalizing the Soundness of the Encoding Methods of SAT-based Model Checking. | Daisuke Ishii, Saito Fujii |
| 2019 | ICSE | A scalable Monte-Carlo test-case generation tool for large and complex simulink models. | Takashi Tomita, Daisuke Ishii, Toru Murakami, Shigeki Takeuchi, Toshiaki Aoki |
| 2017 | RV | HySIA: Tool for Simulating and Monitoring Hybrid Automata Based on Interval Analysis. | Daisuke Ishii, Alexandre Goldsztejn |
| 2015 | PLDI | Scalable parallel numerical constraint solver using global load balancing. | Daisuke Ishii, Kazuki Yoshizoe, Toyotaro Suzumura |
| 2014 | CP | Scalable Parallel Numerical CSP Solver. | Daisuke Ishii, Kazuki Yoshizoe, Toyotaro Suzumura |
| 2013 | IFM | Inductive Verification of Hybrid Automata with Strongest Postcondition Calculus. | Daisuke Ishii, Guillaume Melquiond, Shin Nakajima |
| 2012 | CP | A Branch and Prune Algorithm for the Computation of Generalized Aspects of Parallel Robots. | Stphane Caro, Damien Chablat, Alexandre Goldsztejn, Daisuke Ishii, Christophe Jermann |
| 2010 | HPSR | Efficient singlecast / multicast method For active optical access network using PLZT high-speed optical switches. | Kunitaka Ashizawa, Kazumasa Tokuhashi, Daisuke Ishii, Satoru Okamoto, Naoaki Yamanaka, Eiji Oki |