Sign in
Misaki Kojima
ORCID
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 3
Top Topics
Term Rewriting
Bit Vectors
Application Domains
Top Venues
J. Log. Algebraic Methods Program.
PADL
CoRR
</>
Publications
</>
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)