An Embedded Type Debugger. - Kanae Tsushima; Kenichi Asai (IFL, 2012)

A Common Framework Using Expected Types for Several Type Debugging Approaches. - Kanae Tsushima; Olaf Chitil (FLOPS, 2018)

A View-based Programmable Architecture for Controlling and Integrating Decentralized Data. - Yasuhito Asano; Soichiro Hidaka; Zhenjiang Hu; Yasunori Ishihara; Hiroyuki Kato; Hsiang-Shang Ko; Keisuke Nakano 001; Makoto Onizuka; Yuya Sasaki 001; Toshiyuki Shimizu; Kanae Tsushima; Masatoshi Yoshikawa (CoRR, 2018)

Making View Update Strategies Programmable - Toward Controlling and Sharing Distributed Data -. - Yasuhito Asano; Soichiro Hidaka; Zhenjiang Hu; Yasunori Ishihara; Hiroyuki Kato; Hsiang-Shang Ko; Keisuke Nakano 001; Makoto Onizuka; Yuya Sasaki 001; Toshiyuki Shimizu; Van-Dang Tran; Kanae Tsushima; et al. (CoRR, 2018)

Type debugging with counter-factual type error messages using an existing type checker. - Kanae Tsushima; Olaf Chitil; Joanna Sharrad (IFL, 2019)

An Efficient Composition of Bidirectional Programs by Memoization and Lazy Update. - Kanae Tsushima; Bach Nguyen Trong; Robert Glück; Zhenjiang Hu (FLOPS, 2020)

On the Legal Revision in PROLEG Program. - Wachara Fungwacharakorn; Kanae Tsushima; Ken Satoh (JSAI, 2020)

On semantics-based minimal revision for legal reasoning. - Wachara Fungwacharakorn; Kanae Tsushima; Ken Satoh (ICAIL, 2021)

Resolving counterintuitive consequences in law using legal debugging. - Wachara Fungwacharakorn; Kanae Tsushima; Ken Satoh (Artif. Intell. Law, 2021)

On Complexity and Generality of Contrary Prioritized Defeasible Theory. - Wachara Fungwacharakorn; Kanae Tsushima; Ken Satoh (JSAI-isAI Workshops, 2022)

Fundamental Revisions on Constraint Hierarchies for Ethical Norms. - Wachara Fungwacharakorn; Kanae Tsushima; Ken Satoh (JURIX, 2022)

Diagnosing and Treating Effect of Legal Rule-Based Revision. - Wachara Fungwacharakorn; Kanae Tsushima; Ken Satoh (New Gener. Comput., 2022)

Beyond Code Generation: The Need for Type-Aware Language Models. - Francisco Ribeiro; José Nuno Macedo; Kanae Tsushima (APR@ICSE, 2023)

Connecting Rule-Based and Case-Based Representations of Soft-Constraint Norms. - Wachara Fungwacharakorn; Kanae Tsushima; Hiroshi Hosobe; Hideaki Takeda 001; Ken Satoh (JURIX, 2023)

Design Datalog Templates for Synthesizing Bidirectional Programs from Tabular Examples. - Bach Nguyen Trong; Kanae Tsushima; Zhenjiang Hu (LOPSTR, 2023)

Multi-agent Online Planning Architecture for Real-time Compliance. - Hisashi Hayashi; Theodoros Mitsikas; Yousef Taheri; Kanae Tsushima; Ralph Schäfermeier; Gauvain Bourgne; Jean-Gabriel Ganascia; Adrian Paschke; Ken Satoh (RuleML+RR (Companion), 2023)

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 001; João Saraiva (SLE, 2023)

Distributed Component Interoperation and Execution for Norm-Based Real-time Compliance. - Theodoros Mitsikas; Ralph Schäfermeier; Yousef Taheri; Kanae Tsushima; Hisashi Hayashi; Jean-Gabriel Ganascia; Gauvain Bourgne; Ken Satoh; Adrian Paschke (RuleML+RR (Companion), 2024)

Experiment Using Partial Evaluation for Transformational Debugging. - Kanae Tsushima; Robert Glück (SCAM, 2024)

An Argumentative Approach for Explaining Preemption in Soft-Constraint Based Norms. - Wachara Fungwacharakorn; Kanae Tsushima; Hiroshi Hosobe; Hideaki Takeda 001; Ken Satoh (CoRR, 2024)

Synthesis of Bidirectional Programs from Examples with Functional Dependencies. - Bach Nguyen Trong; Kanae Tsushima; Zhenjiang Hu (J. Inf. Process., 2024)

SYNTHBX: An Example-guided Synthesizer for Bidirectional Programs on Relations. - Bach Nguyen Trong; Kanae Tsushima; Zhenjiang Hu (J. Inf. Process., 2024)

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 (ICAART (1), 2025)

On the Normative Status and Argumentation Semantics of Soft-Constraint Norms. - Wachara Fungwacharakorn; Kanae Tsushima; Hiroshi Hosobe; Hideaki Takeda 001; Ken Satoh (JSAI-isAI, 2025)