Scholar
Naoki Nishida
Google Scholar ID: DTkcoGUAAAAJ
Graduate School of Informatics, Nagoya University
Citations & Impact
Citations
604
H-index
14
i10-index
19
Publications
20
Co-authors
8
list available
Contact
No contact links provided.
Publications
Resume (English only)
Academic Achievements
- Published multiple papers in journals such as Journal of Logical and Algebraic Methods in Programming and Journal of Information Processing (2022–2025)
- Selected publications include:
- — 'Transforming imperative programs into bisimilar logically constrained term rewrite systems via injective functions from configurations to terms' (2025)
- — 'A nesting-preserving transformation of SIMP programs into logically constrained term rewrite systems' (2025)
- — 'Transforming concurrent programs with semaphores into logically constrained term rewrite systems' (2025)
- — 'Reducing Non-Occurrence of Specified Runtime Errors to All-Path Reachability Problems of Constrained Rewriting' (2023)
- — 'Transforming orthogonal inductive definition sets into confluent term rewrite systems' (2022)
