Concepedia

Naoki Nishida

NN

Statistics

Publications

10

Citations

207

H-Index

10

Active since

2001

Affiliations

Nagoya University(Current)

Universitat Politècnica de València

Naoki Nishida is an author at Nagoya University specializing in formal methods, engineering, and formal verification.

Top concepts

Formal MethodsEngineeringComputer ScienceFormal VerificationAutomated ReasoningProgram AnalysisMathematical ProgrammingComputational ComplexitySyntaxGrammar

Publications per year

2001–2018

10

Publications

10

A theory of reversibility for Erlang

Ivan Lanese, Naoki Nishida, Adrián Palacios et al. · Journal of Logical and Algebraic Methods in Programming · 2018 · 54 citations · Full text

Formal Methods, Automaton Operation, Linguistics +2

Verifying Procedural Programs via Constrained Rewriting Induction

Carsten Fuhs, Cynthia Kop, Naoki Nishida · ACM Transactions on Computational Logic · 2017 · 33 citations

Program Checking, Engineering, Verification +16

Termination of narrowing via termination of rewriting

Naoki Nishida, Germán Vidal · Applicable Algebra in Engineering Communication and Computing · 2010 · 23 citations

Engineering, Automated Reasoning, Regulated Rewriting +3

Program Inversion for Tail Recursive Functions

Naoki Nishida, Germán Vidal · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2011 · 19 citations · Full text

Mathematical Programming, Engineering, Software Engineering +17

Soundness of Unravelings for Conditional Term Rewriting Systems via Ultra-Properties Related to Linearity

Naoki Nishida, Masahiko Sakai, Toshiki Sakabe · Logical Methods in Computer Science · 2012 · 17 citations · Full text

Engineering, Computational Complexity, Formal Verification +18

1–5 of 10