Daisuke Kimura
(木村 大輔)
Modified on: 02/10
Profile Information
- Affiliation
- Associate professor, Faculty of Science, Toho University
- J-GLOBAL ID
- 201101087296226801
- researchmap Member ID
- B000004363
Major Papers
29-
Computer Software, 41(1) 50-67, Jan, 2024 Peer-reviewedLead authorCorresponding author
-
Computer Software, 40(3) 2-15, Aug, 2023 Peer-reviewedCorresponding author
-
Journal of Applied Logics, 10(4) 511-530, Jul, 2023 Peer-reviewedInvited
-
Journal of Logic and Computation, (exac062), Oct, 2022 Peer-reviewed
-
RIMS Kokyuroku, 2228 59-72, Aug, 2022 Lead authorCorresponding author
-
Proceedings of PPL2022, Mar, 2022 Peer-reviewedLead authorCorresponding author
-
Proceedings of PPL2022, Mar, 2022 Peer-reviewedCorresponding author
-
The 19th Asian Symposium on Programming Languages and Systems (APLAS 2021), 2021 Peer-reviewedLead authorCorresponding author
-
The 5th International Conference on Formal Structures for Computation and Deduction (FSCD 2021), Leibniz International Proceedings in Informatics (LIPIcs), 195 11:1-11:14, 2021 Peer-reviewed
-
CoRR, abs/2101.12607, 2021 Corresponding author
-
Logical Methods in Computer Science, 17(2), 2021 Peer-reviewedLead authorCorresponding author
-
Functional and Logic Programming (FLOPS 2020), LNCS, 12073 88-105, 2020 Peer-reviewed
-
Computer Software, 37(1) 125-144, 2020 Peer-reviewed
-
Computer Software, 37(1) 39-52, 2020 Peer-reviewedLead authorCorresponding author
-
Proceedings of The 17th Asian Symposium on Programming Languages and Systems (APLAS2019), 367-387, 2019 Peer-reviewed
-
In First Workshop on Automated Deduction for Separation Logics (ADSL) at FLoC, Jul, 2018 Peer-reviewed
-
Proceedings of PPL2018, Mar, 2018 Peer-reviewedLead authorCorresponding author
-
CoRR, abs/1804.03938, 2018 Peer-reviewed
-
Proceedings of the 15th Asian Symposium on Programming Languages and Systems (APLAS2017), Lecture Notes in Computer Science, 10695 169-189, 2017 Peer-reviewedLead authorCorresponding author
-
Proceedings of PPL2016, Mar, 2016 Peer-reviewed
-
Proceedings of the 13th Asian Symposium on Programming Languages and Systems (APLAS2015), LNCS, 9458 69-89, 2015 Peer-reviewed
-
Proceedings of COS'13 workshop, EPTCS 127 101-112, 2013 Peer-reviewedCorresponding author
-
Logical Methods in Computer Science, 9(1), 2013 Peer-reviewedLead authorCorresponding author
-
Rewriting Techniques and Applications (RTA 2009), 5595 224-238, 2009 Peer-reviewedLead authorCorresponding author
-
New Generation Computing, 29(1) 243-258, 2009 Peer-reviewedLead authorCorresponding author
-
The 11th JSSST Workshop on Programming and Programming Languages (PPL2009), 2009 Peer-reviewedLead authorCorresponding author
-
2007 Peer-reviewedLead authorCorresponding author
Research Interests
6Research Areas
5Research History
8-
Apr, 2016 - Mar, 2023
-
Apr, 2010 - Mar, 2015
-
Apr, 2007 - Mar, 2009
-
Apr, 2001 - Mar, 2003
Awards
1Teaching Experience
3Professional Memberships
3Committee Memberships
10-
Oct, 2023 - Mar, 2024
-
Mar, 2023 - Mar, 2024
-
Sep, 2022 - Sep, 2022
-
Mar, 2020 - Mar, 2020
-
Mar, 2019 - Mar, 2020
-
Jan, 2019 - Aug, 2019
-
Mar, 2018 - Mar, 2019
-
Mar, 2016 - Mar, 2016
-
Mar, 2015 - Mar, 2015
-
Mar, 2015 - Mar, 2015