Daisuke Ishii

Identifiers

• name variant Daisuke Ishii 0.60 · backfill

Papers (7)

1. The Accessibility Capability Boundary: Operational Limits and Expansion Potential of AI-Generated Browser-Native Accessibility Systems cs.HC · 2026 · author #2
2. Explainable PQC: A Layered Interpretive Framework for Post-Quantum Cryptographic Security Assumptions cs.CR · 2026 · author #1
3. HySIA: Tool for Simulating and Monitoring Hybrid Automata Based on Interval Analysis cs.LO · 2017 · author #1
4. Monitoring Temporal Properties using Interval Analysis cs.LO · 2016 · author #1
5. Monitoring Bounded LTL Properties Using Interval Analysis cs.LO · 2015 · author #1
6. Scalable Parallel Numerical Constraint Solver Using Global Load Balancing cs.DC · 2015 · author #1
7. Scalable Parallel Numerical CSP Solver cs.AI · 2014 · author #1

Mentions

• 2605.19638 #2 · arxiv_oai · confidence 0.70 Daisuke Ishii

Frequent Coauthors

• Alexandre Goldsztejn 3 shared papers
• Kazuki Yoshizoe 2 shared papers
• Naoki Yonezaki 2 shared papers
• Rizwan Jahangir 2 shared papers
• Toyotaro Suzumura 2 shared papers