Daisuke ISHII
(石井 大輔)
Modified on: 04/01
Papers
30
Entries per page
-
SPIN (to appear), 2024 Peer-reviewedLead authorLast authorCorresponding author
-
QRS, 422-433, Dec, 2022 Peer-reviewedLead authorCorresponding author
-
ICFEM, 13478 156-172, Oct, 2022 Peer-reviewedLead authorCorresponding author
-
NASA Formal Methods, 13260 733-751, May, 2022 Peer-reviewedLead authorCorresponding author
-
MODELSWARD, 219-226, Feb, 2022 Peer-reviewed
-
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
-
Proceedings of the 2nd International Conference on Simulation Tools and Techniques for Communications, Networks and Systems, SimuTools 2009, 37, 2009 Peer-reviewedLead author
-
3rd IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2009, 144-149, 2009 Peer-reviewedLead authorCorresponding author
-
情報処理学会論文誌数理モデル化と応用(TOM), 1(1) 149-159, Sep 26, 2008 Peer-reviewedLead author
-
Trends in Constraint Programming (Post-Proceedings of the CP2006 Workshops), 245-255, May, 2007 Peer-reviewed
-
情報科学技術レターズ, (4) 219-222, Aug 22, 2005 Peer-reviewedLead author