Daisuke Kimura

Publication Activity (10 Years)

Years Active: 2007-2023
Publications (10 Years): 14

Top Topics

Natural Deduction

Top Venues

J. Log. Comput.

Publications

Tatsuya Abe, Daisuke Kimura
Extending a Call-by-Value Calculus Based on Bilateralism with Dynamic Binding. FLAP 10 (4) (2023)
Tatsuya Abe, Daisuke Kimura
A typed lambda-calculus with first-class configurations. J. Log. Comput. 33 (7) (2023)
Yukihiro Masuoka, Daisuke Kimura
A study for recovering the cut-elimination property in cyclic proof systems by restricting the arity of inductive predicates. CoRR (2022)
Kenji Saotome, Koji Nakazawa, Daisuke Kimura
Failure of Cut-Elimination in the Cyclic Proof System of Bunched Logic with Inductive Propositions. FSCD (2021)
Daisuke Kimura, Makoto Tatsuta
Decidability for Entailments of Symbolic Heaps with Arrays. Log. Methods Comput. Sci. 17 (2) (2021)
Tatsuya Abe, Daisuke Kimura
A Symmetric Lambda-Calculus Corresponding to the Negation-Free Bilateral Natural Deduction. CoRR (2021)
Daisuke Kimura, Mahmudul Faisal Al Ameen, Makoto Tatsuta, Koji Nakazawa
Function Pointer Eliminator for C Programs. APLAS (2021)
Kenji Saotome, Koji Nakazawa, Daisuke Kimura
Restriction on Cut in Cyclic Proof System for Symbolic Heaps. FLOPS (2020)
Makoto Tatsuta, Koji Nakazawa, Daisuke Kimura
Completeness of Cyclic Proofs for Symbolic Heaps with Inductive Definitions. APLAS (2019)
Daisuke Kimura, Makoto Tatsuta
Decidability for Entailments of Symbolic Heaps with Arrays. CoRR (2018)
Makoto Tatsuta, Koji Nakazawa, Daisuke Kimura
Completeness of Cyclic Proofs for Symbolic Heaps. CoRR (2018)
Daisuke Kimura, Makoto Tatsuta
Decision Procedure for Entailment of Symbolic Heaps with Arrays. APLAS (2017)
Daisuke Kimura, Makoto Tatsuta
Decision Procedure for Entailment of Symbolic Heaps with Arrays. CoRR (2017)
Makoto Tatsuta, Daisuke Kimura
Separation Logic with Monadic Inductive Definitions and Implicit Existentials. APLAS (2015)
Daisuke Kimura, Kumiko Tanaka-Ishii
Study on Constants of Natural Language Texts. Inf. Media Technol. 9 (4) (2014)
Yoshihiko Kakutani, Daisuke Kimura
Induction by Coinduction and Control Operators in Call-by-Name. COS (2013)
Daisuke Kimura, Makoto Tatsuta
Call-by-Value and Call-by-Name Dual Calculi with Inductive and Coinductive Types Log. Methods Comput. Sci. 9 (1) (2013)
Daisuke Kimura, Hisashi Kashima
Fast Computation of Subpath Kernel for Trees CoRR (2012)
Daisuke Kimura, Hisashi Kashima
Fast Computation of Subpath Kernel for Trees. ICML (2012)
Daisuke Kimura, Yoshihiko Kakutani
Classical Natural Deduction for S4 Modal Logic. New Gener. Comput. 29 (1) (2011)
Daisuke Kimura, Toshimichi Saito
A Trade-Off between the Maximum Power Point and Stability. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (7) (2011)
Daisuke Kimura, Tetsuji Kuboyama, Tetsuo Shibuya, Hisashi Kashima
A Subpath Kernel for Rooted Unordered Trees. PAKDD (1) (2011)
Daisuke Kimura, Makoto Tatsuta
Dual Calculus with Inductive and Coinductive Types. RTA (2009)
Toshimichi Saito, Daisuke Kimura
Synchronization and Hyperchaos in Switched Dynamical Systems Based on Parallel Buck Converters. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (8) (2009)
Daisuke Kimura, Yoshihiko Kakutani
Classical Natural Deduction for S4 Modal Logic. APLAS (2009)
Yuki Ishikawa, Daisuke Kimura, Yasuhide Ishige, Toshimichi Saito
Analysis of Simple Single/Parallel Switched Dynamical Systems Based on Two Switching Strategies. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (8) (2008)
Daisuke Kimura
Duality between Call-by-value Reductions and Call-by-name Reductions. Inf. Media Technol. 2 (2) (2007)
Daisuke Kimura
Call-by-Value Is Dual to Call-by-Name, Extended. APLAS (2007)