Edit Profile (opens in new tab) Kimura, Daisuke Co-Author Distance Author ID: kimura.daisuke Published as: Kimura, Daisuke Documents Indexed: 14 Publications since 2007 Co-Authors: 5 Co-Authors with 10 Joint Publications 41 Co-Co-Authors all top 5 Co-Authors 1 single-authored 5 Tatsuta, Makoto 3 Kohyama, Hiroaki 2 Kakutani, Yoshihiko 2 Nakazawa, Koji 2 Saotome, Kenji 1 Abe, Tatsuya Serials 2 Nuclear Physics. B 2 Logical Methods in Computer Science 1 International Journal of Modern Physics A 1 New Generation Computing 1 Journal of Applied Logics - IfCoLog Journal of Logics and their Applications Fields 11 Computer science (68-XX) 9 Mathematical logic and foundations (03-XX) 3 Quantum theory (81-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 9 Publications have been cited 12 times in 10 Documents Cited by ▼ Year ▼ Separation logic with monadic inductive definitions and implicit existentials. Zbl 1329.03070Tatsuta, Makoto; Kimura, Daisuke 3 2015 Dual calculus with inductive and coinductive types. Zbl 1242.03085Kimura, Daisuke; Tatsuta, Makoto 2 2009 Call-by-value and call-by-name dual calculi with inductive and coinductive types. Zbl 1280.03054Kimura, Daisuke; Tatsuta, Makoto 2 2013 Parameter fitting in three-flavor Nambu-Jona-Lasinio model with various regularizations. Zbl 1334.81135Kohyama, H.; Kimura, D.; Inagaki, T. 2 2016 Call-by-value is dual to call-by-name, extended. Zbl 1138.68025Kimura, Daisuke 2 2007 Classical natural deduction for S4 modal logic. Zbl 1251.68071Kimura, Daisuke; Kakutani, Yoshihiko 1 2011 Decision procedure for entailment of symbolic heaps with arrays. Zbl 1503.68045Kimura, Daisuke; Tatsuta, Makoto 1 2017 Regularization dependence on phase diagram in Nambu-Jona-Lasinio model. Zbl 1331.81410Kohyama, H.; Kimura, D.; Inagaki, T. 1 2015 Decidability for entailments of symbolic heaps with arrays. Zbl 07350781Kimura, Daisuke; Tatsuta, Makoto 1 2021 Decidability for entailments of symbolic heaps with arrays. Zbl 07350781Kimura, Daisuke; Tatsuta, Makoto 1 2021 Decision procedure for entailment of symbolic heaps with arrays. Zbl 1503.68045Kimura, Daisuke; Tatsuta, Makoto 1 2017 Parameter fitting in three-flavor Nambu-Jona-Lasinio model with various regularizations. Zbl 1334.81135Kohyama, H.; Kimura, D.; Inagaki, T. 2 2016 Separation logic with monadic inductive definitions and implicit existentials. Zbl 1329.03070Tatsuta, Makoto; Kimura, Daisuke 3 2015 Regularization dependence on phase diagram in Nambu-Jona-Lasinio model. Zbl 1331.81410Kohyama, H.; Kimura, D.; Inagaki, T. 1 2015 Call-by-value and call-by-name dual calculi with inductive and coinductive types. Zbl 1280.03054Kimura, Daisuke; Tatsuta, Makoto 2 2013 Classical natural deduction for S4 modal logic. Zbl 1251.68071Kimura, Daisuke; Kakutani, Yoshihiko 1 2011 Dual calculus with inductive and coinductive types. Zbl 1242.03085Kimura, Daisuke; Tatsuta, Makoto 2 2009 Call-by-value is dual to call-by-name, extended. Zbl 1138.68025Kimura, Daisuke 2 2007 all cited Publications top 5 cited Publications all top 5 Cited by 17 Authors 5 Kimura, Daisuke 4 Tatsuta, Makoto 1 Chin, Wei-Ngan 1 Devesas Campos, Marco 1 Eades, Harley III 1 Faisal Al Ameen, Mahmudul 1 Fiore, Marcelo P. 1 Kakutani, Yoshihiko 1 Litak, Tadeusz 1 Mccleeary, Ryan 1 Nakazawa, Koji 1 Pagel, Jens 1 Polzer, Miriam 1 Rabenstein, Ulrich 1 Saotome, Kenji 1 Stump, Aaron 1 Zuleger, Florian Cited in 2 Serials 2 Logical Methods in Computer Science 1 Information and Computation Cited in 2 Fields 8 Mathematical logic and foundations (03-XX) 7 Computer science (68-XX) Citations by Year