
Daisuke ISHII
(石井 大輔)
Modified on: 2020/11/05
Papers
25
Entries per page
-
Journal of Computational and Applied Mathematics 377 Oct, 2020 Peer-reviewedLead authorCorresponding author
-
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E103-A(2) 451 - 461 Feb, 2020 Peer-reviewed
-
International Symposium on Theoretical Aspects of Software Engineering (TASE) 2020 Peer-reviewedLead authorCorresponding author
-
Proceedings of the 11th International Workshop on Modelling in Software Engineerings, MiSE@ICSE 2019, Montreal, QC, Canada, May 26-27, 2019 39 - 46 2019 Peer-reviewed
-
組込みシステムシンポジウム2018論文集 (2018) 83 - 90 Aug 23, 2018 Peer-reviewed
-
Cyber Physical Systems. Design, Modeling, and Evaluation - 7th International Workshop, CyPhy 2017, Revised Selected Papers LNCS 11267 63 - 78 Oct, 2017 Peer-reviewed
-
Runtime Verification - 17th International Conference, RV 2017 LNCS 10548 370 - 379 2017 Peer-reviewed
-
Reliable Computing 23 163 - 185 2016 Peer-reviewed
-
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences 99-A(2) 442 - 453 2016 Peer-reviewedLead authorCorresponding author
-
Proceedings of the ACM SIGPLAN Workshop on X10 33 - 38 2015 Peer-reviewedLead authorCorresponding author
-
NSV Workshop ENTCS 317 85 - 100 2015 Peer-reviewedLead authorCorresponding author
-
Principles and Practice of Constraint Programming - 20th International Conference, CP 2014 LNCS 8656 398 - 406 2014 Peer-reviewedLead authorCorresponding author
-
Artificial Intelligence 211 34 - 50 2014 Peer-reviewed
-
Integrated Formal Methods, 10th International Conference, iFM 2013 LNCS 7940 139 - 153 2013 Peer-reviewedLead authorCorresponding author
-
The 2nd Workshop on Logics for System Analysis (LfSA2012) 3 - 17 Jul, 2012 Peer-reviewed
-
Principles and Practice of Constraint Programming - 18th International Conference, CP 2012 LNCS 7514 867 - 882 2012 Peer-reviewed
-
Constraints 17(4) 432 - 460 2012 Peer-reviewedLead authorCorresponding author
-
Computer Software 28(1) 306 - 311 2011 Peer-reviewed
-
International Journal on Software Tools for Technology Transfer (STTT) 13(5) 449 - 461 2011 Peer-reviewedLead authorCorresponding author
-
Workshop on Verified Software: Theory, Tools, and Experiments (VSTTE2009) 1 - 9 Nov, 2009 Peer-reviewed