Naoki Nishida
Naoki Nishida
Graduate School of Information Science, Nagoya University
Verified email at is.nagoya-u.ac.jp
Title
Cited by
Cited by
Year
Partial inversion of constructor term rewriting systems
N Nishida, M Sakai, T Sakabe
International Conference on Rewriting Techniques and Applications, 264-278, 2005
512005
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
352018
Term rewriting with logical constraints
C Kop, N Nishida
International Symposium on Frontiers of Combining Systems, 343-358, 2013
302013
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
262018
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
242003
対数変換 CCD ラインセンサ
高田謙二, 石田耕一, 中村里之, 草鹿泰, 岩本剛志, 野村慶一, 鮫島幸一, ...
テレビジョン学会誌 49 (2), 169-175, 1995
241995
Soundness of Unravelings for Deterministic Conditional Term Rewriting Systems via Ultra-Properties Related to Linearity
N Nishida, M Sakai, T Sakabe
Proceedings of the 22nd International Conference on Rewriting Techniques and …, 2011
23*2011
A reversible semantics for Erlang
N Nishida, A Palacios, G Vidal
International Symposium on Logic-Based Program Synthesis and Transformation …, 2016
222016
Termination of narrowing via termination of rewriting
N Nishida, G Vidal
Applicable Algebra in Engineering, Communication and Computing 21 (3), 177-225, 2010
222010
Program inversion for tail recursive functions
N Nishida, G Vidal
22nd International Conference on Rewriting Techniques and Applications (RTA'11), 2011
212011
Automatic constrained rewriting induction towards verifying procedural programs
C Kop, N Nishida
Asian Symposium on Programming Languages and Systems, 334-353, 2014
192014
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
192012
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
192008
On Proving Termination of Constrained Term Rewrite Systems by Eliminating Edges from Dependency Graphs
T Sakata, N Nishida, T Sakabe
the 20th International Workshop on Functional and (Constraint) Logic …, 2011
182011
Generation of InÚerse Term Rewriting SÝstems for Pure Treeless Functions
N Nishida, M Sakai, T Sakabe
182001
Generation of InÚerse Term Rewriting SÝstems for Pure Treeless Functions
N Nishida, M Sakai, T Sakabe
182001
Constrained term rewriting tool
C Kop, N Nishida
Logic for Programming, Artificial Intelligence, and Reasoning, 549-557, 2015
172015
Reforma, interiorismo y diseno de mobiliario para una vivienda antigua
PC Marchante
Ph. D. dissertation, 2011
17*2011
Confluence competition 2015
T Aoto, N Hirokawa, J Nagele, N Nishida, H Zankl
International Conference on Automated Deduction, 101-104, 2015
162015
Proving confluence of conditional term rewriting systems via unravelings
K Gmeiner, N Nishida, B Gramlich
Proc. IWC, 35-39, 2013
162013
The system can't perform the operation now. Try again later.
Articles 1–20