Follow
Naoki Nishida
Naoki Nishida
Graduate School of Informatics, Nagoya University
Verified email at is.nagoya-u.ac.jp - Homepage
Title
Cited by
Cited by
Year
CauDEr: a causal-consistent reversible debugger for Erlang
I Lanese, N Nishida, A Palacios, G Vidal
International Symposium on Functional and Logic Programming, 247-263, 2018
742018
Partial inversion of constructor term rewriting systems
N Nishida, M Sakai, T Sakabe
Term Rewriting and Applications: 16th International Conference, RTA 2005 …, 2005
652005
A theory of reversibility for Erlang
I Lanese, N Nishida, A Palacios, G Vidal
Journal of Logical and Algebraic Methods in Programming 100, 71-97, 2018
622018
Term rewriting with logical constraints
C Kop, N Nishida
International Symposium on Frontiers of Combining Systems, 343-358, 2013
512013
Verifying procedural programs via constrained rewriting induction
C Fuhs, C Kop, N Nishida
ACM Transactions on Computational Logic (TOCL) 18 (2), 1-50, 2017
362017
A reversible semantics for Erlang
N Nishida, A Palacios, G Vidal
International Symposium on Logic-Based Program Synthesis and Transformation …, 2016
362016
Program inversion for tail recursive functions
N Nishida, G Vidal
22nd International Conference on Rewriting Techniques and Applications (RTA'11), 2011
292011
Narrowing-based simulation of term rewriting systems with extra variables and its termination proof
N Nishida, M Sakai, T Sakabe
Electronic Notes in Theoretical Computer Science 86 (3), 52-69, 2003
262003
Soundness of Unravelings for Conditional Term Rewriting Systems via Ultra-Properties Related to Linearity
N Nishida, M Sakai, T Sakabe
Logical Methods in Computer Science 8 (3), 1-49, 2012
252012
対数変換 CCD ラインセンサ
高田謙二, 石田耕一, 中村里之, 草鹿泰, 岩本剛志, 野村慶一, 鮫島幸一, ...
テレビジョン学会誌 49 (2), 169-175, 1995
241995
Proving confluence of conditional term rewriting systems via unravelings
K Gmeiner, N Nishida, B Gramlich
Proc. IWC, 35-39, 2013
232013
Confluence competition 2019
A Middeldorp, J Nagele, K Shintani
International Conference on Tools and Algorithms for the Construction and …, 2019
222019
Confluence competition 2015
T Aoto, N Hirokawa, J Nagele, N Nishida, H Zankl
Automated Deduction-CADE-25: 25th International Conference on Automated …, 2015
212015
Constrained term rewriting tool
C Kop, N Nishida
Logic for Programming, Artificial Intelligence, and Reasoning: 20th …, 2015
212015
Termination of narrowing via termination of rewriting
N Nishida, G Vidal
Applicable Algebra in Engineering, Communication and Computing 21 (3), 177-225, 2010
212010
Automatic constrained rewriting induction towards verifying procedural programs
C Kop, N Nishida
Asian Symposium on Programming Languages and Systems, 334-353, 2014
202014
Approach to procedural-program verification based on implicit induction of constrained term rewriting systems
Y Furuichi, N Nishida, M Sakai, K Kusakari, T Sakabe
IPSJ Transactions on Programming 1 (2), 100-121, 2008
202008
Transformational approach to inverse computation in term rewriting
N Nishida
Doctor thesis, Nagoya University, Nagoya, Japan, 2004
182004
Generation of InÚerse Term Rewriting SÝstems for Pure Treeless Functions
N Nishida, M Sakai, T Sakabe
182001
Reforma, interiorismo y diseno de mobiliario para una vivienda antigua
PC Marchante
Ph. D. dissertation, 2011
17*2011
The system can't perform the operation now. Try again later.
Articles 1–20