| Transformation from PROLEG to a Bipolar Argumentation Framework T KAWASAKI, S MORIGUCHI, K TAKAHASHI SAFA@ COMMA, 36-47, 2018 | 7 | 2018 |
| 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 |
| 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 | 3 | 2021 |
| 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 | 2 | 2021 |
| 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 |
| 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 | 1 | 2023 |
| 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 |
| Check for updates Event by Timing: Periodic and Time-Sequencing S Moriguchi, T Watanabe Springer Nature, 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 |
| Implementation and Evaluation of an Interpreter for Functional Reactive Programming on Small Embedded Devices G Suzuki, T Watanabe, S Moriguchi Companion Proceedings of the 7th International Conference on the Art …, 2023 | | 2023 |
| 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 | | 2022 |
