BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Daisuke Ishii
SearchCollections
Map detail
Daisuke Ishii14 visible / 14 total nodes / 30 links

Drag to move · Scroll or pinch to zoom · Select a node for details

Related contextRelated contextRelated contextRelated contextRelated contextCo-authorshipRelated contextAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onAuthorshipAuthorshipTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalDaisuke IshiiADaisuke IshiiResearcherThe Accessibility Capability Boundary: Operational Limits and Expansion Potential of AI-Generated Browser-Native Accessibility SystemsWThe Accessibility Capab...preprint / 2026Rizwan JahangirARizwan JahangirResearcherFormalizing the Soundness of the Encoding Methods of SAT-based Model CheckingWFormalizing the Soundne...preprint / 2022SMT-Based Model Checking of Industrial Simulink ModelsWSMT-Based Model Checkin...preprint / 2022Computer-Assisted Verification of Four Interval Arithmetic OperatorsWComputer-Assisted Verif...preprint / 2020Scalable Parallel Numerical CSP SolverWScalable Parallel Numer...preprint / 2014Scalable Parallel Numerical Constraint Solver Using Global Load BalancingWScalable Parallel Numer...preprint / 2015Monitoring Bounded LTL Properties Using Interval AnalysisWMonitoring Bounded LTL ...preprint / 2015Monitoring Temporal Properties using Interval AnalysisWMonitoring Temporal Pro...preprint / 2016Human-Computer InteractionTHuman-Computer Interaction3971 worksArtificial IntelligenceTArtificial Intelligence22915 workscs.CYTcs.CY4196 worksSoftware EngineeringTSoftware Engineering3620 works
Person13 links

Daisuke Ishii

Researcher

PaperThe Accessibility Capability Boundary: Operational Limits and Expansion Potential of AI-Generated Browser-Native Accessibility SystemsAuthorship / preprint / 2026PersonRizwan JahangirCo-authorship / ResearcherPaperFormalizing the Soundness of the Encoding Methods of SAT-based Model CheckingAuthorship / preprint / 2022PaperSMT-Based Model Checking of Industrial Simulink ModelsAuthorship / preprint / 2022PaperComputer-Assisted Verification of Four Interval Arithmetic OperatorsAuthorship / preprint / 2020PaperScalable Parallel Numerical CSP SolverAuthorship / preprint / 2014PaperScalable Parallel Numerical Constraint Solver Using Global Load BalancingAuthorship / preprint / 2015PaperMonitoring Bounded LTL Properties Using Interval AnalysisAuthorship / preprint / 2015

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)