Naoki Nishida
Orcid: 0000-0001-8697-4970Affiliations:
- Nagoya University, Japan
According to our database1,
Naoki Nishida
authored at least 54 papers
between 2003 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2023
Reducing non-occurrence of specified runtime errors to all-path reachability problems of constrained rewriting.
J. Log. Algebraic Methods Program., October, 2023
CoRR, 2023
Proceedings of the Practical Aspects of Declarative Languages, 2023
2022
Transforming orthogonal inductive definition sets into confluent term rewrite systems.
J. Log. Algebraic Methods Program., 2022
On Transforming Cut- and Quantifier-Free Cyclic Proofs into Rewriting-Induction Proofs.
Proceedings of the Functional and Logic Programming - 16th International Symposium, 2022
2021
J. Log. Algebraic Methods Program., 2021
2020
Proceedings of the Reversible Computation: Extending Horizons of Computing, 2020
Proceedings of the Reversible Computation - 12th International Conference, 2020
2019
Proceedings of the Reversible Computation - 11th International Conference, 2019
2018
On Transforming Narrowing Trees into Regular Tree Grammars Generating Ranges of Substitutions.
Proceedings of the Proceedings Fifth International Workshop on Rewriting Techniques for Program Transformations and Evaluation, 2018
On Transforming Functions Accessing Global Variables into Logically Constrained Term Rewriting Systems.
Proceedings of the Proceedings Fifth International Workshop on Rewriting Techniques for Program Transformations and Evaluation, 2018
Proceedings of the Verified Software. Theories, Tools, and Experiments, 2018
Proceedings of the 3rd International Conference on Formal Structures for Computation and Deduction, 2018
Proceedings of the 3rd International Conference on Formal Structures for Computation and Deduction, 2018
Proceedings of the Functional and Logic Programming - 14th International Symposium, 2018
2017
ACM Trans. Comput. Log., 2017
Transforming Dependency Chains of Constrained TRSs into Bounded Monotone Sequences of Integers.
Proceedings of the Proceedings Fourth International Workshop on Rewriting Techniques for Program Transformations and Evaluation, 2017
Transforming Proof Tableaux of Hoare Logic into Inference Sequences of Rewriting Induction.
Proceedings of the Proceedings Fourth International Workshop on Rewriting Techniques for Program Transformations and Evaluation, 2017
2016
Sound Structure-Preserving Transformation for Weakly-Left-Linear Deterministic Conditional Term Rewriting Systems.
Proceedings of the Proceedings Third International Workshop on Rewriting Techniques for Program Transformations and Evaluation, 2016
Proceedings of the 1st International Conference on Formal Structures for Computation and Deduction, 2016
Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, 2016
Proceedings of the Logic-Based Program Synthesis and Transformation, 2016
2015
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015
Proceedings of the Automated Deduction - CADE-25, 2015
2014
J. Log. Algebraic Methods Program., 2014
CoRR, 2014
On Proving Soundness of the Computationally Equivalent Transformation for Normal Conditional Term Rewriting Systems by Using Unravelings.
Proceedings of the First International Workshop on Rewriting Techniques for Program Transformations and Evaluation, 2014
Proceedings of the First International Workshop on Rewriting Techniques for Program Transformations and Evaluation, 2014
Proceedings of the First International Workshop on Rewriting Techniques for Program Transformations and Evaluation, 2014
Proceedings of the Programming Languages and Systems - 12th Asian Symposium, 2014
2013
On Constructing Constrained Tree Automata Recognizing Ground Instances of Constrained Terms.
Proceedings of the Proceedings Second International Workshop on Trends in Tree Automata and Tree Transducers, 2013
Proceedings of the Logic-Based Program Synthesis and Transformation, 2013
Proceedings of the Frontiers of Combining Systems, 2013
2012
Soundness of Unravelings for Conditional Term Rewriting Systems via Ultra-Properties Related to Linearity
Log. Methods Comput. Sci., 2012
Proceedings of the Logic-Based Program Synthesis and Transformation, 2012
Proceedings of the Logic-Based Program Synthesis and Transformation, 2012
2011
On Proving Termination of Constrained Term Rewrite Systems by Eliminating Edges from Dependency Graphs.
Proceedings of the Functional and Constraint Logic Programming, 2011
Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, 2011
Soundness of Unravelings for Deterministic Conditional Term Rewriting Systems via Ultra-Properties Related to Linearity.
Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, 2011
2010
Appl. Algebra Eng. Commun. Comput., 2010
Proceedings of the Functional and Logic Programming, 10th International Symposium, 2010
2009
Goal-Directed and Relative Dependency Pairs for Proving the Termination of Narrowing.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2009
2008
Proceedings of the 8th International Workshop on Reduction Strategies in Rewriting and Programming, 2008
2006
Proceedings of the Sixth International Workshop on Reduction Strategies in Rewriting and Programming, 2006
2005
Proceedings of the Term Rewriting and Applications, 16th International Conference, 2005
2003
Proceedings of the 12th International Workshop on Functional and Constraint Logic Programming, 2003