オープン アクセスを義務付けられた論文 - Naoki Nishida詳細
一般公開: 28 件
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
委任: European Commission, Government of Spain
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
委任: European Commission, Government of Spain, Government of Italy
Term rewriting with logical constraints
C Kop, N Nishida
International Symposium on Frontiers of Combining Systems, 343-358, 2013
委任: Austrian Science Fund
Verifying procedural programs via constrained rewriting induction
C Fuhs, C Kop, N Nishida
ACM Transactions on Computational Logic (TOCL) 18 (2), 1-50, 2017
委任: Austrian Science Fund, European Commission
A reversible semantics for Erlang
N Nishida, A Palacios, G Vidal
International Symposium on Logic-Based Program Synthesis and Transformation …, 2016
委任: European Commission, Government of Spain
Constrained term rewriting tool
C Kop, N Nishida
Logic for Programming, Artificial Intelligence, and Reasoning: 20th …, 2015
委任: Austrian Science Fund
Confluence competition 2019
A Middeldorp, J Nagele, K Shintani
International Conference on Tools and Algorithms for the Construction and …, 2019
委任: Austrian Science Fund
Automatic constrained rewriting induction towards verifying procedural programs
C Kop, N Nishida
Asian Symposium on Programming Languages and Systems, 334-353, 2014
委任: Austrian Science Fund
Loop detection by logically constrained term rewriting
N Nishida, S Winkler
Working Conference on Verified Software: Theories, Tools, and Experiments …, 2018
委任: Austrian Science Fund
Reversible computation in term rewriting
N Nishida, A Palacios, G Vidal
Journal of Logical and Algebraic Methods in Programming 94, 128-149, 2018
委任: European Commission, Government of Spain
Reversible term rewriting
N Nishida, A Palacios Corella, GF Vidal Oriola
Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, 2016
委任: European Commission, Government of Spain
Notes on structure-preserving transformations of conditional term rewrite systems
K Gmeiner, N Nishida
First International Workshop on Rewriting Techniques for Program …, 2014
委任: Austrian Science Fund
On proving confluence of conditional term rewriting systems via the computationally equivalent transformation
N Nishida, M Yanagisawa, K Gmeiner
Proc. IWC 2014, 2014
委任: Austrian Science Fund
Computing more specific versions of conditional rewriting systems
N Nishida, G Vidal
International Symposium on Logic-Based Program Synthesis and Transformation …, 2012
委任: Government of Spain
Characterizing compatible view updates in syntactic bidirectionalization
N Nishida, G Vidal
International Conference on Reversible Computation, 67-83, 2019
委任: European Commission, Government of Spain
Relative termination via dependency pairs
J Iborra, N Nishida, G Vidal, A Yamada
Journal of Automated Reasoning 58, 391-411, 2017
委任: Austrian Science Fund, Government of Spain
A framework for computing finite SLD trees
N Nishida, G Vidal
Journal of Logical and Algebraic Methods in Programming 84 (2), 197-217, 2015
委任: Government of Spain
ReverCSP: Time-travelling in CSP computations
C Galindo, N Nishida, J Silva, S Tamarit
International Conference on Reversible Computation, 239-245, 2020
委任: Government of Spain
Towards verifying procedural programs using constrained rewriting induction
C Kop, N Nishida
arXiv preprint arXiv:1409.0166, 2014
委任: Austrian Science Fund
On proving soundness of the computationally equivalent transformation for normal conditional term rewriting systems by using unravelings
N Nishida, M Yanagisawa, K Gmeiner
First International Workshop on Rewriting Techniques for Program …, 2014
委任: Austrian Science Fund
公開と助成金に関する情報は、コンピュータ プログラムによって自動的に決定されます