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
Partial inversion of constructor term rewriting systems
N Nishida, M Sakai, T Sakabe
International Conference on Rewriting Techniques and Applications, 264-278, 2005
622005
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
592018
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
462018
Term rewriting with logical constraints
C Kop, N Nishida
International Symposium on Frontiers of Combining Systems, 343-358, 2013
362013
A reversible semantics for Erlang
N Nishida, A Palacios, G Vidal
International Symposium on Logic-Based Program Synthesis and Transformation …, 2016
302016
Program inversion for tail recursive functions
N Nishida, G Vidal
22nd International Conference on Rewriting Techniques and Applications (RTA'11), 2011
262011
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
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
252003
対数変換 CCD ラインセンサ
高田謙二, 石田耕一, 中村里之, 草鹿泰, 岩本剛志, 野村慶一, 鮫島幸一, ...
テレビジョン学会誌 49 (2), 169-175, 1995
241995
Verifying procedural programs via constrained rewriting induction
C Fuhs, C Kop, N Nishida
ACM Transactions on Computational Logic (TOCL) 18 (2), 1-50, 2017
212017
Confluence competition 2015
T Aoto, N Hirokawa, J Nagele, N Nishida, H Zankl
International Conference on Automated Deduction, 101-104, 2015
212015
Proving confluence of conditional term rewriting systems via unravelings
K Gmeiner, N Nishida, B Gramlich
Proc. IWC, 35-39, 2013
212013
Termination of narrowing via termination of rewriting
N Nishida, G Vidal
Applicable Algebra in Engineering, Communication and Computing 21 (3), 177-225, 2010
212010
Confluence competition 2019
A Middeldorp, J Nagele, K Shintani
International Conference on Tools and Algorithms for the Construction and …, 2019
202019
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
Constrained term rewriting tool
C Kop, N Nishida
Logic for Programming, Artificial Intelligence, and Reasoning, 549-557, 2015
192015
Generation of InÚerse Term Rewriting SÝstems for Pure Treeless Functions
N Nishida, M Sakai, T Sakabe
192001
Transformational approach to inverse computation in term rewriting
N Nishida
Doctor thesis, Nagoya University, Nagoya, Japan, 2004
182004
Automatic constrained rewriting induction towards verifying procedural programs
C Kop, N Nishida
Asian Symposium on Programming Languages and Systems, 334-353, 2014
172014
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