Naoki Nishida

Associate Professor

Nagoya University

Japan

Research Interests

Explore related searches

Professors in Japan

Contact this professor

Get a free first email built on one of their papers, ready for you to edit and send yourself.

About

Naoki Nishida is an Associate Professor at Nagoya University in Japan. His research focuses on term rewrite systems, including the transformation of imperative and concurrent programs into logically constrained frameworks. He has published recent articles on topics such as the decidability of all-path reachability problems and the determinization of inverted grammar programs.

Articles (8)

Year:

2025

Year:

2025

Year:

2025

Year:

2024

Year:

2023

Year:

2022

Year:

2021

Year:

2021

Collaborators (1)

Josep Silva

Professor

Universitat Politècnica de València

SPAIN

View details

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.

Naoki Nishida

Research Interests

Explore related searches

Contact this professor

About

Articles (8)

Transforming imperative programs into bisimilar logically constrained term rewrite systems via injective functions from configurations to terms

A nesting-preserving transformation of SIMP programs into logically constrained term rewrite systems

Transforming concurrent programs with semaphores into logically constrained term rewrite systems

A Sufficient Condition of Logically Constrained Term Rewrite Systems for Decidability of All-path Reachability Problems with Constant Destinations

Reducing non-occurrence of specified runtime errors to all-path reachability problems of constrained rewriting

Transforming orthogonal inductive definition sets into confluent term rewrite systems

Reversible CSP Computations

Determinization of inverted grammar programs via context-free expressions

Collaborators (1)

Josep Silva

Make your next move.