Daisuke Kimura

According to our database, Daisuke Kimura authored at least 22 papers between 2007 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2023

A typed lambda-calculus with first-class configurations.

Tatsuya Abe, Daisuke Kimura

J. Log. Comput., October, 2023

Extending a Call-by-Value Calculus Based on Bilateralism with Dynamic Binding.

Tatsuya Abe, Daisuke Kimura

FLAP, 2023

2022

A study for recovering the cut-elimination property in cyclic proof systems by restricting the arity of inductive predicates.

Yukihiro Masuoka, Daisuke Kimura

CoRR, 2022

2021

Decidability for Entailments of Symbolic Heaps with Arrays.

Daisuke Kimura, Makoto Tatsuta

Log. Methods Comput. Sci., 2021

A Symmetric Lambda-Calculus Corresponding to the Negation-Free Bilateral Natural Deduction.

Tatsuya Abe, Daisuke Kimura

CoRR, 2021

Failure of Cut-Elimination in the Cyclic Proof System of Bunched Logic with Inductive Propositions.

Kenji Saotome, Koji Nakazawa, Daisuke Kimura

Proceedings of the 6th International Conference on Formal Structures for Computation and Deduction, 2021

Function Pointer Eliminator for C Programs.

Daisuke Kimura, Mahmudul Faisal Al Ameen, Makoto Tatsuta, Koji Nakazawa

Proceedings of the Programming Languages and Systems - 19th Asian Symposium, 2021

2020

Restriction on Cut in Cyclic Proof System for Symbolic Heaps.

Kenji Saotome, Koji Nakazawa, Daisuke Kimura

Proceedings of the Functional and Logic Programming - 15th International Symposium, 2020

2019

Completeness of Cyclic Proofs for Symbolic Heaps with Inductive Definitions.

Makoto Tatsuta, Koji Nakazawa, Daisuke Kimura

Proceedings of the Programming Languages and Systems - 17th Asian Symposium, 2019

2018

Completeness of Cyclic Proofs for Symbolic Heaps.

Makoto Tatsuta, Koji Nakazawa, Daisuke Kimura

CoRR, 2018

2017

Decision Procedure for Entailment of Symbolic Heaps with Arrays.

Daisuke Kimura, Makoto Tatsuta

Proceedings of the Programming Languages and Systems - 15th Asian Symposium, 2017

2015

Separation Logic with Monadic Inductive Definitions and Implicit Existentials.

Makoto Tatsuta, Daisuke Kimura

Proceedings of the Programming Languages and Systems - 13th Asian Symposium, 2015

2013

Call-by-Value and Call-by-Name Dual Calculi with Inductive and Coinductive Types

Daisuke Kimura, Makoto Tatsuta

Log. Methods Comput. Sci., 2013

Induction by Coinduction and Control Operators in Call-by-Name.

Yoshihiko Kakutani, Daisuke Kimura

Proceedings of the Proceedings First Workshop on Control Operators and their Semantics, 2013

2012

Fast Computation of Subpath Kernel for Trees.

Daisuke Kimura, Hisashi Kashima

Proceedings of the 29th International Conference on Machine Learning, 2012

2011

Classical Natural Deduction for S4 Modal Logic.

Daisuke Kimura, Yoshihiko Kakutani

New Gener. Comput., 2011

A Trade-Off between the Maximum Power Point and Stability.

Daisuke Kimura, Toshimichi Saito

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2011

A Subpath Kernel for Rooted Unordered Trees.

Daisuke Kimura, Tetsuji Kuboyama, Tetsuo Shibuya, Hisashi Kashima

Proceedings of the Advances in Knowledge Discovery and Data Mining, 2011

2009

Synchronization and Hyperchaos in Switched Dynamical Systems Based on Parallel Buck Converters.

Toshimichi Saito, Daisuke Kimura

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2009

Dual Calculus with Inductive and Coinductive Types.

Daisuke Kimura, Makoto Tatsuta

Proceedings of the Rewriting Techniques and Applications, 20th International Conference, 2009

2008

Analysis of Simple Single/Parallel Switched Dynamical Systems Based on Two Switching Strategies.

Yuki Ishikawa, Daisuke Kimura, Yasuhide Ishige, Toshimichi Saito

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2008

2007

Call-by-Value Is Dual to Call-by-Name, Extended.

Daisuke Kimura

Proceedings of the Programming Languages and Systems, 5th Asian Symposium, 2007