Advanced search: Search from
Select basic information for advanced search
| Free word |
|---|
| Details |   |
|---|---|
| Related links |  |
| Search |  |
Rchr
J-GLOBAL ID：200901085122962990
Update date: Dec. 18, 2024 Nishida Naoki
ニシダ ナオキ | Nishida Naoki
ClipsPapers (204)
- Carlos Galindo, Naoki Nishida, Josep Silva, Salvador Tamarit. ReverCSP: Time-Travelling in CSP Computations. Proceedings of the 12th International Conference on Reversible Computation, Lecture Notes in Computer Science. 2020. 12227. 239-245
- Misaki Kojima, Naoki Nishida, Yutaka Matsubara. Transforming Concurrent Programs with Semaphores into Logically Constrained Term Rewrite Systems. Informal Proceedings of the 7th International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2018). 2020. 1-12
- James Hoey, Ivan Lanese, Naoki Nishida, Irek Ulidowski, German Vidal. A Case Study for Reversible Computing: Reversible Debugging of Concurrent Programs. Reversible Computation: Extending Horizons of Computing, Lecture Notes in Computer Science. 2020. 12070. 108-127
- Misaki Kojima, Naoki Nishida, Yutaka Matsubara, Masahiko Sakai. Transforming Programs with Exclusive Control into Logically Constrained Term Rewrite Systems. IEICE Technical Rerport. 2020. 119. 451. 31-36
- Kazushi Nishie, Naoki Nishida, Masahiko Sakai. Extending rewriting induction to existentially quantified equations. IEICE Technical Rerport. 2019. 119. 246. 25-30
- Naoki Nishida, Yuya Maeda. CO3 (Version 2.0). Proceedings of the Joint Proceedings of HOR 2019 and IWC 2019 (with system descriptions from CoCo 2019). 2019. 50
- Naoki Nishida, German Vidal. Characterizing Compatible View Updates in Syntactic Bidirectionalization. Proceedings of the 11th International Conference on Reversible Computation, Lecture Notes in Computer Science. 2019. 11497. 67-83
- Ryota Nakayama, Naoki Nishida. On Formalizing a Transformation of IMP Programs into Logically Constrained Term Rewriting Systems in Isabelle/HOL. Informal Proceedings of the 6th International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2018). 2019. 1-15
- Naoki Nishida, Minami Niwa. On Determinization of Inverted Grammar Programs via Context-Free Expressions. Informal Proceedings of the 6th International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2018). 2019. 1-15
- Caarsten Fuhs, Cynthia Kop, Naoki Nishida. Proving Program Equivalence with Constrained Rewriting Induction and Ctrl. Informal Proceedings of the 3rd Workshop on Program Equivalence and Relational Reasoning. 2019. 1-2
- Genki Sakanashi, Masahiko Sakai, Naoki Nishida, Kenji Hashimoto. SQL queries for generating input constraints of SMT solvers from descriptions of combinatorial optimization problems. IEICE Technical Rerport. 2019. 118. 471. 85-90
- Naoki Nishida, Yuya Maeda. On Transforming Narrowing Trees into Regular Tree Grammars Generating Ranges of Substitutions. Electronic Proceedings in Theoretical Computer Science. 2019. 289. 68-87
- Yoshiaki Kanazawa, Naoki Nishida. On Transforming Functions Accessing Global Variables into Logically Constrained Term Rewriting Systems. Electronic Proceedings in Theoretical Computer Science. 2019. 289. 34-52
- Yuya Maeda, Naoki Nishida, Masahiko Sakai, Tomoya Kobayashi. Extending Narrowing Trees to Basic Narrowing in Term Rewriting. IEICE Technical Rerport. 2019. 118. 385. 73-78
- Yoshiaki Kanazawa, Naoki Nishida, Masahiko Sakai. On Representation of Structures and Unions in Logically Constrained Rewriting. IEICE Technical Rerport. 2019. 118. 385. 67-72
- Naoki Nishida, Sarah Winkler. Loop Detection by Logically Constrained Term Rewriting. Proceedings of the 10th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2018), Lecture Notes in Computer Science. 2018. 11294. 309-321
- Ivan Lanese, Naoki Nishida, Adrian Palacios, German Vidal. A theory of reversibility for Erlang. Journal of Logical and Algebraic Methods in Programming. 2018. 100. 71-97
- Yuya Maeda, Naoki Nishida, Masahiko Sakai. On extention of narrowing trees to basic narrowing. Record of 2018 Tokai-Section Joint Conference on Electrical, Electronics, Information, and Related Engineering. 2018. M1-56. 1
- Kazushi Nishie, Naoki Nishida, Masahiko Sakai. On Simplification of C Programs for Asymptotic Complexity Analysis via Rewriting Analysis Tools. Record of 2018 Tokai-Section Joint Conference on Electrical, Electronics, Information, and Related Engineering. 2018. M1-5. 1
- Naoki Nishida, Yuta Tsuruta, Yoshiaki Kanazawa. CO3 (Version 1.5). Proceedings of the 7th International Workshop on Confluence (IWC 2018). 2018. 64
Return to Previous Page
