Daisuke Kimura

32 papers A* 1B 7Misc 1Journal 20Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
A Core Calculus for Type-safe Product Lines of C Programs.
CoRR
Ferruccio Damiani, Daisuke Kimura, Luca Paolini, Makoto Tatsuta
2026 J jnl
Failure of cut-elimination in cyclic-proof systems of logic of bunched implications with inductive propositions.
Arch. Math. Log.
Kenji Saotome, Koji Nakazawa, Daisuke Kimura, Ayumu Kawasaki
2025 J jnl
Explainable Multimodal Machine Learning for Revealing Structure-Property Relationships in Carbon Nanotube Fibers.
CoRR
Daisuke Kimura, Naoko Tajima, Toshiya Okazaki, Shun Muroga
2024 J jnl
Restriction on cut rule in cyclic-proof system for symbolic heaps.
Theor. Comput. Sci.
Kenji Saotome, Koji Nakazawa, Daisuke Kimura
2023 J jnl
A typed lambda-calculus with first-class configurations.
J. Log. Comput.
Tatsuya Abe, Daisuke Kimura
2023 J jnl
Extending a Call-by-Value Calculus Based on Bilateralism with Dynamic Binding.
FLAP
Tatsuya Abe, Daisuke Kimura
2022 J jnl
A study for recovering the cut-elimination property in cyclic proof systems by restricting the arity of inductive predicates.
CoRR
Yukihiro Masuoka, Daisuke Kimura
2021 J jnl
A Symmetric Lambda-Calculus Corresponding to the Negation-Free Bilateral Natural Deduction.
CoRR
Tatsuya Abe, Daisuke Kimura
2021 J jnl
Decidability for Entailments of Symbolic Heaps with Arrays.
Log. Methods Comput. Sci.
Daisuke Kimura, Makoto Tatsuta
2021 B conf
Failure of Cut-Elimination in the Cyclic Proof System of Bunched Logic with Inductive Propositions.
FSCD
Kenji Saotome, Koji Nakazawa, Daisuke Kimura
2021 B conf
Function Pointer Eliminator for C Programs.
APLAS
Daisuke Kimura, Mahmudul Faisal Al Ameen, Makoto Tatsuta, Koji Nakazawa
2020 Misc conf
Restriction on Cut in Cyclic Proof System for Symbolic Heaps.
FLOPS
Kenji Saotome, Koji Nakazawa, Daisuke Kimura
2019 B conf
Completeness of Cyclic Proofs for Symbolic Heaps with Inductive Definitions.
APLAS
Makoto Tatsuta, Koji Nakazawa, Daisuke Kimura
2018 J jnl
Completeness of Cyclic Proofs for Symbolic Heaps.
CoRR
Makoto Tatsuta, Koji Nakazawa, Daisuke Kimura
2018 J jnl
Decidability for Entailments of Symbolic Heaps with Arrays.
CoRR
Daisuke Kimura, Makoto Tatsuta
2017 B conf
Decision Procedure for Entailment of Symbolic Heaps with Arrays.
APLAS
Daisuke Kimura, Makoto Tatsuta
2017 J jnl
Decision Procedure for Entailment of Symbolic Heaps with Arrays.
CoRR
Daisuke Kimura, Makoto Tatsuta
2015 B conf
Separation Logic with Monadic Inductive Definitions and Implicit Existentials.
APLAS
Makoto Tatsuta, Daisuke Kimura
2014 J jnl
Study on Constants of Natural Language Texts.
Inf. Media Technol.
Daisuke Kimura, Kumiko Tanaka-Ishii
2013 J jnl
Call-by-Value and Call-by-Name Dual Calculi with Inductive and Coinductive Types
Log. Methods Comput. Sci.
Daisuke Kimura, Makoto Tatsuta
2013 — conf
Induction by Coinduction and Control Operators in Call-by-Name.
COS
Yoshihiko Kakutani, Daisuke Kimura
2012 J jnl
Fast Computation of Subpath Kernel for Trees
CoRR
Daisuke Kimura, Hisashi Kashima
2012 A* conf
Fast Computation of Subpath Kernel for Trees.
ICML
Daisuke Kimura, Hisashi Kashima
2011 — conf
A Subpath Kernel for Rooted Unordered Trees.
PAKDD (1)
Daisuke Kimura, Tetsuji Kuboyama, Tetsuo Shibuya, Hisashi Kashima
2011 J jnl
A Trade-Off between the Maximum Power Point and Stability.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Daisuke Kimura, Toshimichi Saito
2011 J jnl
Classical Natural Deduction for S4 Modal Logic.
New Gener. Comput.
Daisuke Kimura, Yoshihiko Kakutani
2009 B conf
Classical Natural Deduction for S4 Modal Logic.
APLAS
Daisuke Kimura, Yoshihiko Kakutani
2009 — conf
Dual Calculus with Inductive and Coinductive Types.
RTA
Daisuke Kimura, Makoto Tatsuta
2009 J jnl
Synchronization and Hyperchaos in Switched Dynamical Systems Based on Parallel Buck Converters.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Toshimichi Saito, Daisuke Kimura
2008 J jnl
Analysis of Simple Single/Parallel Switched Dynamical Systems Based on Two Switching Strategies.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Yuki Ishikawa, Daisuke Kimura, Yasuhide Ishige, Toshimichi Saito
2007 B conf
Call-by-Value Is Dual to Call-by-Name, Extended.
APLAS
Daisuke Kimura
2007 J jnl
Duality between Call-by-value Reductions and Call-by-name Reductions.
Inf. Media Technol.
Daisuke Kimura