| 2025 | ICAART | A Planning Agent Architecture that Interacts with Legal and Ethical Checkers. | Hisashi Hayashi, Yousef Taheri, Kanae Tsushima, Gauvain Bourgne, Jean-Gabriel Ganascia, Ken Satoh |
| 2025 | ICAART | A New Planning Agent Architecture that Efficiently Integrates an Online Planner with External Legal and Ethical Checkers. | Hisashi Hayashi, Yousef Taheri, Kanae Tsushima, Gauvain Bourgne, Jean-Gabriel Ganascia, Ken Satoh |
| 2024 | SCAM | Experiment Using Partial Evaluation for Transformational Debugging. | Kanae Tsushima, Robert Glck |
| 2023 | JURIX | Connecting Rule-Based and Case-Based Representations of Soft-Constraint Norms. | Wachara Fungwacharakorn, Kanae Tsushima, Hiroshi Hosobe, Hideaki Takeda, Ken Satoh |
| 2023 | LOPSTR | Design Datalog Templates for Synthesizing Bidirectional Programs from Tabular Examples. | Bach Nguyen Trong, Kanae Tsushima, Zhenjiang Hu |
| 2023 | SLE | GPT-3-Powered Type Error Debugging: Investigating the Use of Large Language Models for Code Repair. | Francisco Ribeiro, Jos Nuno Castro de Macedo, Kanae Tsushima, Rui Abreu, Joo Saraiva |
| 2022 | JURIX | Fundamental Revisions on Constraint Hierarchies for Ethical Norms. | Wachara Fungwacharakorn, Kanae Tsushima, Ken Satoh |
| 2021 | ICAIL | On semantics-based minimal revision for legal reasoning. | Wachara Fungwacharakorn, Kanae Tsushima, Ken Satoh |
| 2020 | FLOPS | An Efficient Composition of Bidirectional Programs by Memoization and Lazy Update. | Kanae Tsushima, Bach Nguyen Trong, Robert Glck, Zhenjiang Hu |
| 2018 | FLOPS | A Common Framework Using Expected Types for Several Type Debugging Approaches. | Kanae Tsushima, Olaf Chitil |