Misaki Kojima

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 4

Top Topics

Asymptotic Stability

Top Venues

J. Log. Algebraic Methods Program.

J. Inf. Process.

Publications

Misaki Kojima, Naoki Nishida
A Sufficient Condition of Logically Constrained Term Rewrite Systems for Decidability of All-path Reachability Problems with Constant Destinations. J. Inf. Process. 32 (2024)
Misaki Kojima, Naoki Nishida
From Starvation Freedom to All-Path Reachability Problems in Constrained Rewriting. PADL (2023)
Misaki Kojima, Naoki Nishida
Reducing non-occurrence of specified runtime errors to all-path reachability problems of constrained rewriting. J. Log. Algebraic Methods Program. 135 (2023)
Ayuka Matsumi, Naoki Nishida, Misaki Kojima, Donghoon Shin
On Singleton Self-Loop Removal for Termination of LCTRSs with Bit-Vector Arithmetic. CoRR (2023)