Transformation from PROLEG to a Bipolar Argumentation Framework T KAWASAKI, S MORIGUCHI, K TAKAHASHI SAFA@ COMMA, 36-47, 2018 | 7 | 2018 |
A functional reactive programming language for small-scale embedded systems with recursive data types A Yokoyama, S Moriguchi, T Watanabe Journal of Information Processing 29, 685-706, 2021 | 4 | 2021 |
Hybrid reasoning on a bipolar argumentation framework T Kawasaki, S Moriguchi, K Takahashi Scalable Uncertainty Management: 13th International Conference, SUM 2019 …, 2019 | 4 | 2019 |
An interactive extension mechanism for reusing verified programs S Moriguchi, T Watanabe Proceedings of the 28th Annual ACM Symposium on Applied Computing, 1236-1243, 2013 | 4 | 2013 |
Functional reactive programming for embedded systems with GPGPUs Y Sakurai, S Moriguchi, T Watanabe Proceedings of the 2021 10th International Conference on Software and …, 2021 | 3 | 2021 |
Periodic and aperiodic task description mechanisms in an frp language for small-scale embedded systems K Sogo, Y Tsuji, S Moriguchi, T Watanabe Proceedings of the 10th ACM SIGPLAN International Workshop on Reactive and …, 2023 | 2 | 2023 |
Qualitative shape representation and reasoning based on concavity and tangent point M Tosue, S Moriguchi, K Takahashi Proceedings of the 31st International Workshop on Qualitative Reasoning, 2018 | 2 | 2018 |
Towards Introducing Asynchronous Tasks to an FRP Language for Small-Scale Embedded Systems A Yokoyama, S Moriguchi, T Watanabe Proceedings of the 9th ACM SIGPLAN International Workshop on Reactive and …, 2022 | 1 | 2022 |
Operations for Shape Transformations based on Angles. M Tosue, S Moriguchi, K Takahashi ICAART (2), 576-583, 2019 | 1 | 2019 |
Reasoning by a Bipolar Argumentation Framework for PROLEG T Kawasaki, S Moriguchi, K Takahashi New Frontiers in Artificial Intelligence: JSAI-isAI 2018 Workshops, JURISIN …, 2019 | 1 | 2019 |
Expressing the Characteristics of an Argumentation Framework. S Moriguchi, K Takahashi SAFA@ COMMA, 60-71, 2018 | 1 | 2018 |
Towards Verified Construction for Planar Class of a Qualitative Spatial Representation. S Moriguchi, M Goto, K Takahashi SCSS, 117-129, 2016 | 1 | 2016 |
Formalization of a surface subdivision allowing a region with holes without coordinates K Takahashi, S Moriguchi, M Goto ADG2016, 190-207, 2016 | 1 | 2016 |
Formalization of the behavior of content-centric networking S Moriguchi, T Morishima, M Goto, K Takahashi Procedia Computer Science 56, 197-204, 2015 | 1 | 2015 |
Event by Timing: Periodic and Time-Sequencing Responses S Moriguchi, T Watanabe Workshop on Computation: Theory and Practice (WCTP 2023), 139-154, 2024 | | 2024 |
Switching Mechanism for Update Timing of Time-Varying Values in an FRP Language for Small-Scale Embedded Systems A Yokoyama, S Moriguchi, T Watanabe Proceedings of the 2024 13th International Conference on Software and …, 2024 | | 2024 |
Check for updates Event by Timing: Periodic and Time-Sequencing S Moriguchi, T Watanabe Proceedings of the Workshop on Computation: Theory and Practice (WCTP 2023 …, 2024 | | 2024 |
Developing Distributed Systems with Multiparty Functional Reactive Programming S Moriguchi, T Watanabe Proceedings of the 2023 5th World Symposium on Software Engineering, 61-66, 2023 | | 2023 |
小規模組込みシステム向け FRP 言語における時変値更新タイミングの切り替え機構 横山陽彦, 森口草介, 渡部卓雄 情報処理学会論文誌プログラミング (PRO) 16 (3), 35-35, 2023 | | 2023 |
小規模組込みシステム向け FRP 言語における離散イベント機構の導入とその評価 十河健人, 辻裕太, 森口草介, 渡部卓雄 研究報告組込みシステム (EMB) 2023 (2), 1-8, 2023 | | 2023 |