conf.researchr.org / Toshiharu Kato
Registered user since Thu 5 Feb 2026
Name:Toshiharu Kato
Country:Japan
Affiliation:Surugadai University
Contributions
2026
inSTA
- Author of Towards Extraction of Ambiguous Expressions in Requirements Using Neuro-Symbolic AI within the InSTA 2026-track
- Committee Member in Program Committee within the InSTA 2026-track
- Author of Graph-based Similarity Filtering as a Preprocessing Step for SMT-based Verification of Cloud Access Policy Configuration within the InSTA 2026-track